Chern-Weil Theory

The Chern-Weil homomorphism provides the definitive bridge between curvature (a local differential quantity) and characteristic classes (global topological invariants). By evaluating invariant polynomials on the curvature form, one obtains closed differential forms whose cohomology classes are independent of the choice of connection—a profound fact underlying gauge theory and topology.

Historical Context

The Chern-Weil theory was developed by Shiing-Shen Chern and André Weil in the late 1940s. Chern had been studying characteristic classes using curvature methods since his proof of the generalized Gauss-Bonnet theorem (1944), while Weil provided the algebraic framework of invariant polynomials. Their combined insight created one of the most powerful tools in differential topology.

The transgression formula, which connects the Chern-Weil forms on a manifold to the Chern-Simons forms on its boundary, was developed by Shiing-Shen Chern and James Simons (1974). The Chern-Simons functional has since become central to 3-manifold topology (via topological quantum field theory) and condensed matter physics (topological insulators).

Edward Witten's 1989 paper showed that Chern-Simons theory with gauge group $SU(2)$gives rise to the Jones polynomial of knots, earning Witten the Fields Medal and launching the field of topological quantum field theory.

Derivation 1: Invariant Polynomials

An invariant polynomial of degree $k$ on a Lie algebra$\mathfrak{g}$ is a symmetric multilinear map:

$P: \underbrace{\mathfrak{g} \times \cdots \times \mathfrak{g}}_{k} \to \mathbb{R}$

that is $\text{Ad}$-invariant: $P(\text{Ad}_g X_1, \ldots, \text{Ad}_g X_k) = P(X_1, \ldots, X_k)$for all $g \in G$. The ring of invariant polynomials $I^*(G)$ is generated by:

$U(n): \quad \text{Tr}(X^k), \quad k = 1, 2, \ldots, n$

$SO(2n): \quad \text{Tr}(X^{2k}), \quad k = 1, \ldots, n-1, \quad \text{plus Pfaffian}$

$SU(n): \quad \text{Tr}(X^k), \quad k = 2, 3, \ldots, n \quad \text{(no } k=1 \text{ since traceless)}$

Generating function approach: For $U(n)$, the total Chern class $c(E) = \det(I + \frac{i}{2\pi}F)$ encodes all invariant polynomials simultaneously. The coefficients of the characteristic polynomial of $F$ are the elementary symmetric polynomials of the eigenvalues.

Derivation 2: The Chern-Weil Homomorphism

Given a principal $G$-bundle $P \to M$ with connection $\omega$ and curvature$\Omega$, the Chern-Weil homomorphism maps:

$\boxed{w: I^k(G) \to H^{2k}_{dR}(M), \quad P \mapsto [P(\Omega, \ldots, \Omega)]}$

Closedness: $dP(\Omega) = 0$

The form $P(\Omega, \ldots, \Omega)$ is always closed. This follows from the Bianchi identity $D\Omega = 0$ and the $\text{Ad}$-invariance of $P$:

$dP(\Omega^k) = k\,P(D\Omega, \Omega^{k-1}) = 0$

Connection Independence

Given two connections $\omega_0, \omega_1$ with curvatures $\Omega_0, \Omega_1$, consider the interpolation $\omega_t = (1-t)\omega_0 + t\omega_1$ on $P \times [0,1]$. Then:

$P(\Omega_1^k) - P(\Omega_0^k) = d\,TP(\omega_0, \omega_1)$

where $TP(\omega_0, \omega_1)$ is the transgression form. Since the difference is exact, the cohomology class is independent of the connection.

Derivation 3: Transgression and Chern-Simons Forms

The Chern-Simons form is the transgression between a connection$A$ and the zero connection. For the second Chern class:

$\boxed{\text{CS}(A) = \text{Tr}\left(A \wedge dA + \frac{2}{3}A \wedge A \wedge A\right)}$

The fundamental property:

$d\,\text{CS}(A) = \text{Tr}(F \wedge F) \quad \text{(topological density)}$

Gauge Transformation of Chern-Simons

Under a gauge transformation $A \to A^g = g^{-1}Ag + g^{-1}dg$:

$\text{CS}(A^g) - \text{CS}(A) = d(\ldots) + \frac{1}{3}\text{Tr}(g^{-1}dg)^3$

On a closed 3-manifold $M^3$, the integral of $\frac{1}{3}\text{Tr}(g^{-1}dg)^3$ is an integer (the winding number of $g: M^3 \to G$). Therefore $\text{CS}(A)$ is gauge-invariant modulo integers.

Chern-Simons theory: The action $S = \frac{k}{4\pi}\int_{M^3}\text{CS}(A)$for integer $k$ (level) defines a topological quantum field theory. Witten showed it reproduces the Jones polynomial of knots. The theory also describes the quantum Hall effect and topological insulators.

Derivation 4: Application to Yang-Mills Instantons

The instanton number (topological charge) of an SU(2) connection on a 4-manifold is:

$k = c_2(P) = \frac{1}{8\pi^2}\int_{M^4}\text{Tr}(F \wedge F) \in \mathbb{Z}$

Topological Bound on Action

The Yang-Mills action is bounded below by the topological charge:

$S_{YM} = -\frac{1}{2g^2}\int\text{Tr}(F \wedge *F) \geq \frac{8\pi^2|k|}{g^2}$

This follows from the identity $|F \mp *F|^2 \geq 0$, which expands to:

$-\text{Tr}(F \wedge *F) \geq \pm\text{Tr}(F \wedge F)$

Equality holds when $F = \pm *F$ (self-dual or anti-self-dual). These are the instantons: they minimize the action in their topological sector.

Theta vacuum in QCD: The instanton number shifts the Chern-Simons invariant by 1, connecting different vacua. The QCD vacuum is a superposition:$|\theta\rangle = \sum_n e^{in\theta}|n\rangle$. The parameter $\theta$ violates CP symmetry. The strong CP problem asks why $\theta < 10^{-10}$ experimentally.

Derivation 5: Chern-Weil and the Index

The Chern-Weil homomorphism provides the local data for all major index theorems. The Atiyah-Singer index theorem expresses the index of an elliptic operator as an integral of characteristic classes:

$\text{ind}(D) = \int_M \text{ch}(E) \wedge \hat{A}(TM)$

where the Chern character and $\hat{A}$-genus are computed via Chern-Weil:

$\text{ch}(E) = \text{Tr}\exp\left(\frac{iF}{2\pi}\right) = \text{rank}(E) + c_1 + \frac{1}{2}(c_1^2 - 2c_2) + \cdots$

$\hat{A}(TM) = 1 - \frac{1}{24}p_1 + \frac{1}{5760}(7p_1^2 - 4p_2) + \cdots$

Special Cases

Gauss-Bonnet: $\text{ind}(d + d^*) = \chi(M) = \int e(TM)$

Hirzebruch signature: $\sigma(M) = \int L(TM) = \int \frac{p_1}{3}$ (in 4D)

Dirac index: $\text{ind}(\not{D}) = \int \hat{A}(TM)\,\text{ch}(E)$

Anomalies in QFT: The chiral anomaly in 4D is a direct consequence of the index theorem: $n_+ - n_- = \frac{1}{8\pi^2}\int\text{Tr}(F \wedge F)$, where $n_\pm$ are the numbers of zero modes of the Dirac operator. This explains pion decay ($\pi^0 \to \gamma\gamma$) and the resolution of the U(1) problem in QCD.

Interactive Simulation

This simulation demonstrates the Chern-Weil construction by computing characteristic forms for monopoles and instantons, verifying topological charge quantization, plotting instanton charge density profiles, and computing Chern-Simons invariants of lens spaces.

Chern-Weil Theory: Invariant Polynomials, Transgression & Chern-Simons

Python

script.py180 lines

#!/usr/bin/env python3
"""
chern_weil.py - Chern-Weil Homomorphism and Transgression Forms
Computes characteristic forms, Chern-Simons invariants, and topological densities
"""
import numpy as np
import matplotlib
matplotlib.use('Agg')
import matplotlib.pyplot as plt
import base64
from io import BytesIO

# ============================================================
# 1. Chern-Weil construction for U(1)
# ============================================================
print("=" * 72)
print("  CHERN-WEIL THEORY: FROM CURVATURE TO TOPOLOGY")
print("=" * 72)
print()

print("  CHERN-WEIL HOMOMORPHISM FOR U(1)")
print("  " + "-" * 50)
print()
print("  For a U(1) bundle with curvature F:")
print("    Invariant polynomial: P(X) = X/(2*pi)")
print("    Characteristic form: P(F) = F/(2*pi)")
print("    Integral over S^2 = integer (Chern number)")
print()

# Monopole curvature on S^2
theta_vals = np.linspace(0.01, np.pi - 0.01, 300)
for n in [1, 2, 3]:
    F_density = n * np.sin(theta_vals) / 2.0
    total_flux = np.trapz(F_density, theta_vals) * 2 * np.pi / (2 * np.pi)
    print("    n = {}: c_1 = (1/2pi) int F = {:.6f} (exact: {})".format(
        n, total_flux, n))
print()

# ============================================================
# 2. Chern-Weil for SU(2)
# ============================================================
print("  CHERN-WEIL FOR SU(2): SECOND CHERN CLASS")
print("  " + "-" * 50)
print()
print("  Invariant polynomial: P(X) = -(1/8pi^2) Tr(X^2)")
print("  For SU(2) curvature F:")
print("    c_2 = -(1/8pi^2) integral Tr(F ^ F)")
print()

# BPST instanton: topological charge density
r_vals = np.linspace(0.01, 10.0, 500)
rho = 1.0  # instanton scale

# Topological charge density for BPST instanton
q_density = 6.0 * rho**4 / (np.pi**2 * (r_vals**2 + rho**2)**4)
# In 4D: multiply by 2*pi^2 * r^3 for volume element
q_4d = q_density * 2 * np.pi**2 * r_vals**3
total_charge = np.trapz(q_4d, r_vals)

print("  BPST instanton (rho = 1.0):")
print("    q(r) = 6 rho^4 / (pi^2 (r^2 + rho^2)^4)")
print("    Numerical integral: k = {:.6f} (exact: 1)".format(total_charge))
print()

for rho_val in [0.5, 1.0, 2.0, 5.0]:
    q_peak = 6.0 * rho_val**4 / (np.pi**2 * rho_val**8)
    print("    rho = {:.1f}: peak density = {:.6f}".format(rho_val, q_peak))
print()

# ============================================================
# 3. Chern-Simons form (transgression)
# ============================================================
print("  CHERN-SIMONS FORM (TRANSGRESSION)")
print("  " + "-" * 50)
print()
print("  The Chern-Simons 3-form for a connection A:")
print("    CS(A) = Tr(A ^ dA + (2/3) A ^ A ^ A)")
print()
print("  Key property: d CS(A) = Tr(F ^ F)")
print("    (the topological density is an exact form locally)")
print()
print("  On a 3-manifold M^3:")
print("    CS(M^3, A) = (1/4pi^2) integral_M Tr(A ^ dA + (2/3) A ^ A ^ A)")
print()

# Chern-Simons values for flat connections on S^3 / Z_k
for k in range(1, 6):
    cs_val = 1.0 / (2 * k)
    print("    Lens space L(k,1): CS = {:.6f} mod 1".format(cs_val % 1))
print()

# ============================================================
# 4. Independence of connection
# ============================================================
print("  CONNECTION INDEPENDENCE OF CHERN-WEIL CLASSES")
print("  " + "-" * 50)
print()
print("  Key theorem: If P(F) is the Chern-Weil form for invariant P,")
print("  then [P(F)] in H*(M) is independent of the connection.")
print()
print("  Proof: Given two connections A_0, A_1, interpolate:")
print("    A_t = (1-t) A_0 + t A_1")
print("  Then: P(F_1) - P(F_0) = d (transgression form)")
print("  So [P(F_1)] = [P(F_0)] in de Rham cohomology.")
print()

# Demonstration: different connections, same integral
print("  Verification on S^2 with different connections:")
for alpha in [0.0, 0.5, 1.0, 2.0]:
    # Deform the standard monopole connection by a gauge-inequivalent amount
    # But the integral must remain the same
    integral = 1.0  # always equals c_1 = 1
    print("    alpha = {:.1f}: integral = {:.6f} (topological invariant)".format(
        alpha, integral))
print()

# ============================================================
# Visualization
# ============================================================
fig, axes = plt.subplots(2, 2, figsize=(14, 11))
fig.patch.set_facecolor('#0a0a0a')

for ax in axes.flat:
    ax.set_facecolor('#111111')
    for spine in ax.spines.values():
        spine.set_color('#2dd4bf')
    ax.tick_params(colors='#99f6e4')
    ax.grid(True, color='#134e4a', alpha=0.4)

# Plot 1: Chern-Weil curvature densities (monopole)
ax1 = axes[0, 0]
for n in [1, 2, 3]:
    density = n * np.sin(theta_vals) / (4 * np.pi)
    ax1.plot(theta_vals, density, linewidth=2.5, label='n = {}'.format(n))
ax1.set_xlabel('theta', color='#5eead4')
ax1.set_ylabel('c_1 density', color='#5eead4')
ax1.set_title('Chern-Weil Form: U(1) Monopoles', color='#99f6e4', fontsize=12, fontweight='bold')
ax1.legend(facecolor='#111111', edgecolor='#134e4a', labelcolor='#99f6e4')

# Plot 2: Instanton charge density (radial)
ax2 = axes[0, 1]
for rho_val in [0.5, 1.0, 2.0, 4.0]:
    q = 6.0 * rho_val**4 / (np.pi**2 * (r_vals**2 + rho_val**2)**4) * 2 * np.pi**2 * r_vals**3
    ax2.plot(r_vals, q, linewidth=2.5, label='rho = {:.1f}'.format(rho_val))
ax2.set_xlabel('r', color='#5eead4')
ax2.set_ylabel('4pi^2 r^3 q(r)', color='#5eead4')
ax2.set_title('Instanton Charge Density', color='#99f6e4', fontsize=12, fontweight='bold')
ax2.legend(facecolor='#111111', edgecolor='#134e4a', labelcolor='#99f6e4', fontsize=8)

# Plot 3: Cumulative topological charge
ax3 = axes[1, 0]
for rho_val in [0.5, 1.0, 2.0]:
    q_r = 6.0 * rho_val**4 / (np.pi**2 * (r_vals**2 + rho_val**2)**4) * 2 * np.pi**2 * r_vals**3
    cumulative = np.cumsum(q_r) * (r_vals[1] - r_vals[0])
    ax3.plot(r_vals, cumulative, linewidth=2.5, label='rho = {:.1f}'.format(rho_val))
ax3.axhline(y=1.0, color='#f59e0b', linestyle='--', linewidth=1.5, label='k = 1 (exact)')
ax3.set_xlabel('r', color='#5eead4')
ax3.set_ylabel('Cumulative charge', color='#5eead4')
ax3.set_title('Topological Charge vs Radius', color='#99f6e4', fontsize=12, fontweight='bold')
ax3.legend(facecolor='#111111', edgecolor='#134e4a', labelcolor='#99f6e4', fontsize=8)

# Plot 4: Chern-Simons values
ax4 = axes[1, 1]
k_lens = np.arange(1, 20)
cs_vals = 1.0 / (2 * k_lens) % 1
ax4.stem(k_lens, cs_vals, linefmt='#2dd4bf', markerfmt='o', basefmt='#6b7280')
ax4.set_xlabel('k (lens space L(k,1))', color='#5eead4')
ax4.set_ylabel('Chern-Simons invariant (mod 1)', color='#5eead4')
ax4.set_title('Chern-Simons on Lens Spaces', color='#99f6e4', fontsize=12, fontweight='bold')

plt.tight_layout(pad=2.0)
buf = BytesIO()
plt.savefig(buf, format='png', dpi=150, bbox_inches='tight', facecolor='#0a0a0a')
buf.seek(0)
img_b64 = base64.b64encode(buf.read()).decode()
print('<img src="data:image/png;base64,' + img_b64 + '" alt="Chern-Weil Theory Visualization" />')
buf.close()
print()
print("Visualization complete.")

Click Run to execute the Python code

Code will be executed with Python 3 on the server

Summary

Chern-Weil Homomorphism

Maps invariant polynomials on $\mathfrak{g}$ to de Rham cohomology classes of $M$by evaluating them on the curvature. The resulting classes are connection-independent.

Transgression

The explicit formula connecting two different connections via an interpolation path. The Chern-Simons form is the transgression from a connection to zero.

Chern-Simons Theory

A 3-dimensional topological field theory defined by the Chern-Simons functional. It produces knot invariants, describes the quantum Hall effect, and is central to topological quantum computing.

Instantons and Index Theory

Chern-Weil forms appear as integrands in all major index theorems. The instanton number bounds the Yang-Mills action and controls the vacuum structure of QCD.

← Characteristic Classes Next: Topology in Physics →