The Chern-Weil Homomorphism

⚡ Key Takeaways

The Chern-Weil homomorphism is a canonical algebra map from the ring of $\mathrm{Ad}$ -invariant polynomials on a Lie algebra $\mathfrak{g}$ to the de Rham cohomology of a manifold $M$ carrying a principal $G$ -bundle. It sends an invariant polynomial $P$ to the cohomology class of $P$ evaluated on the curvature of any connection — and the result is independent of the connection chosen. It applies wherever a smooth principal bundle (or vector bundle) exists, giving the characteristic classes (Chern, Pontryagin, Euler) as concrete differential forms. Introduced by Shiing-Shen Chern and André Weil around 1944–1949.

💡 The Core Insight

Curvature measures the local failure of parallel transport to be path-independent; an invariant polynomial of curvature measures something global that survives all local changes. The miracle is that the difference between $P(\Omega_0)$ and $P(\Omega_1)$ for two connections is always an exact form, so the obstruction lives in cohomology, not in the choice of geometry. Invariance under the structure group $\Leftrightarrow$ closedness; choice of connection $\Leftrightarrow$ exactness.

DefinitionInvariant Polynomials

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$ . A symmetric $k$ -linear map $P:\mathfrak{g}^{\otimes k}\to\mathbb{R}$ (or $\mathbb{C}$ ) is $\mathrm{Ad}$ -invariant if

1

\quad P(\mathrm{Ad}_g\,X_1,\dots,\mathrm{Ad}_g\,X_k)=P(X_1,\dots,X_k)\quad\forall g\in G,\ X_i\in\mathfrak{g}.

Derivation hint: This is the symmetric-tensor analogue of a class function; differentiate at $g=e$ to obtain the infinitesimal form below. The associated homogeneous polynomial function is $P(X):=P(X,\dots,X)$ . Write $I^k(G)$ for the space of such polynomials and $I^*(G)=\bigoplus_k I^k(G)$ for the graded ring of invariant polynomials. The infinitesimal invariance condition is

2

\quad \sum_{i=1}^{k} P(X_1,\dots,[Y,X_i],\dots,X_k)=0\quad\forall Y\in\mathfrak{g}.

Derivation hint: Set $g=\exp(tY)$ in $[1]$ , use $\mathrm{Ad}_{\exp(tY)}=e^{t\,\mathrm{ad}_Y}$ , and differentiate at $t=0$ .

DefinitionConnection, Curvature, and the Chern-Weil Form

Let $\pi:P\to M$ be a principal $G$ -bundle with a connection $1$ -form $\omega\in\Omega^1(P;\mathfrak{g})$ and curvature $2$ -form $\Omega\in\Omega^2(P;\mathfrak{g})$ given by the structure equation

3

\quad \Omega = d\omega + \tfrac12[\omega,\omega]= d\omega+\omega\wedge\omega.

Derivation hint: $\Omega$ is the $\mathfrak{g}$ -valued $2$ -form $D\omega=(d\omega)^{\mathrm{hor}}$ projected to horizontal vectors; expanding the projection gives the bracket term. For $P\in I^k(G)$ , extend it to $\mathfrak{g}$ -valued forms by $P(\Omega):=P(\Omega,\dots,\Omega)$ , inserting curvature ( $2$ -form) entries and wedging the form parts. Because $P$ is $\mathrm{Ad}$ -invariant, $P(\Omega)$ on $P$ is basic (horizontal and $G$ -invariant), so it descends to a unique $2k$ -form on $M$ , also denoted $P(\Omega)\in\Omega^{2k}(M)$ .

TheoremChern-Weil Theorem

Let $\pi:P\to M$ be a principal $G$ -bundle. 1. For every $P\in I^k(G)$ and every connection $\omega$ , the form $P(\Omega)\in\Omega^{2k}(M)$ is closed: $d\,P(\Omega)=0$ . 2. The de Rham class $[P(\Omega)]\in H^{2k}_{\mathrm{dR}}(M)$ is independent of the connection $\omega$ . 3. The resulting map

4

\quad cw:I^*(G)\longrightarrow H^*_{\mathrm{dR}}(M),\qquad cw(P)=[P(\Omega)],

is a homomorphism of graded algebras (the Chern-Weil homomorphism), and is natural with respect to bundle pullbacks: $cw_{f^*P}=f^*\circ cw_P$ for any smooth $f:N\to M$ . Derivation hint: (1) and (2) follow from the Bianchi identity and a transgression argument; algebra-homomorphism from $P(\Omega)Q(\Omega)=(PQ)(\Omega)$ in cohomology; naturality because pullback connection has pullback curvature.

ProofClosedness and Connection-Independence

Step 1 — Bianchi identity. Differentiating $[3]$ and using $\nabla\Omega := d\Omega+[\omega,\Omega]$ gives the second Bianchi identity

5

\quad d\Omega+[\omega,\Omega]=0,\qquad\text{equivalently}\quad \nabla\Omega=0.

Derivation hint: Apply $d$ to $\Omega=d\omega+\tfrac12[\omega,\omega]$ , use $d^2=0$ and the graded Jacobi identity for $[\,\cdot\,,\cdot\,]$ on forms.

Step 2 — Polarization and invariance. Treat $P$ as symmetric multilinear. The exterior derivative of $P(\Omega,\dots,\Omega)$ is

6

\quad d\,P(\Omega^{\otimes k})=\sum_{i=1}^{k} P(\Omega,\dots,d\Omega,\dots,\Omega).

Derivation hint: Leibniz rule for $d$ on a multilinear expression of $2$ -forms; the sign $(-1)^{2(i-1)}=1$ since each preceding slot is an even-degree form.

Step 3 — Replace $d\Omega$ by Bianchi and use invariance. Substitute $d\Omega=-[\omega,\Omega]$ from $[5]$ into $[6]$ :

7

\quad d\,P(\Omega^{\otimes k})=-\sum_{i=1}^{k} P(\Omega,\dots,[\omega,\Omega],\dots,\Omega)=0.

Derivation hint: The sum is exactly the infinitesimal-invariance relation $[2]$ applied with $Y=\omega$ and all other slots equal to $\Omega$ ; $\mathrm{Ad}$ -invariance forces it to vanish. This proves $P(\Omega)$ is closed.

Step 4 — Transgression for connection-independence. Let $\omega_0,\omega_1$ be two connections and set $\omega_t=\omega_0+t\,\alpha$ with $\alpha=\omega_1-\omega_0$ a $\mathfrak{g}$ -valued (tensorial) $1$ -form; let $\Omega_t$ be its curvature. Then

8

\quad P(\Omega_1)-P(\Omega_0)=d\,TP(\omega_1,\omega_0),\qquad TP(\omega_1,\omega_0)=k\int_0^1 P\bigl(\alpha,\Omega_t^{\otimes(k-1)}\bigr)\,dt.

Derivation hint: Compute $\frac{d}{dt}P(\Omega_t)=k\,P(\dot\Omega_t,\Omega_t^{\otimes(k-1)})$ with $\dot\Omega_t=\nabla_t\alpha=d\alpha+[\omega_t,\alpha]$ ; insert into $P$ , apply invariance $[2]$ and Bianchi to show the integrand equals $d\,P(\alpha,\Omega_t^{\otimes(k-1)})$ , then integrate in $t$ . The transgression (or Chern-Simons) form $TP$ exhibits the difference as exact, so $[P(\Omega_1)]=[P(\Omega_0)]$ .

Step 5 — Algebra and naturality. For $P\in I^k$ , $Q\in I^l$ , the product $(PQ)(\Omega)=P(\Omega)\wedge Q(\Omega)$ at the form level, hence $cw(PQ)=cw(P)\smile cw(Q)$ . If $f:N\to M$ and $\omega$ is a connection on $P\to M$ , then $f^*\omega$ is a connection on $f^*P\to N$ with curvature $f^*\Omega$ ; thus $cw(P)$ pulls back correctly. $\qquad\blacksquare$

∎

SC

Shiing-Shen Chern & André Weil

1911–2004 / 1906–1998

Chern, working at the interface of differential geometry and topology, sought intrinsic curvature representatives of the topological invariants Stiefel, Whitney, and Pontryagin had defined combinatorially. Around 1944 he gave his celebrated intrinsic proof of the generalized Gauss-Bonnet theorem, constructing the Euler form directly from curvature. André Weil, in unpublished notes and correspondence (circa 1949), abstracted the algebraic mechanism — the invariant-polynomial homomorphism — giving the construction its modern, group-theoretic form. The combined framework now bears both names, and the transgression form became the seed of what Chern and James Simons developed in 1974.

🧠 Intuition

Picture the curvature $\Omega$ as a $\mathfrak{g}$ -valued "magnetic field" living on the bundle. Two physicists using different gauges (connections) measure wildly different field configurations $\Omega_0,\Omega_1$ . Yet when each computes a gauge-invariant scalar density like $\mathrm{tr}(\Omega\wedge\Omega)$ and integrates it over a cycle, they get the same number — an integer-flavored topological invariant. The invariant polynomial $P$ is the "gauge-invariant combination," and $\mathrm{Ad}$ -invariance is precisely gauge invariance. The transgression form $TP$ is the explicit gauge-transformation correction that proves the two answers agree. So Chern-Weil says: local geometry is gauge-dependent, but the right invariant combination of curvature is a fixed topological fingerprint of the bundle.

Figure

Connection-independence via transgression: two curvature representatives differ by an exact form

ExampleFirst Chern Class of a Line Bundle

Given: A complex line bundle $L\to M$ with structure group $U(1)$ , $\mathfrak{g}=i\mathbb{R}$ . A unitary connection has curvature $\Omega=F$ , an imaginary-valued $2$ -form. The relevant invariant polynomial is $P(X)=\frac{i}{2\pi}X$ (degree $1$ ).

Steps: 1. The Chern-Weil form is $c_1(L)=\frac{i}{2\pi}F$ , a closed real $2$ -form. 2. For the tautological bundle over $\mathbb{CP}^1=S^2$ with the Fubini-Study connection, in local coordinate $z$ one has $F=-\dfrac{dz\wedge d\bar z}{(1+|z|^2)^2}$ . 3. Integrate: $\displaystyle\int_{S^2} c_1=\frac{i}{2\pi}\int_{\mathbb{C}}\frac{-\,dz\wedge d\bar z}{(1+|z|^2)^2}$ . Using $dz\wedge d\bar z=-2i\,dx\,dy$ and polar coordinates $r^2=|z|^2$ ,

9

\quad \int_{S^2}c_1=\frac{1}{\pi}\int_0^\infty\frac{2\pi r\,dr}{(1+r^2)^2}=\int_0^\infty\frac{2r\,dr}{(1+r^2)^2}=\Bigl[-\frac{1}{1+r^2}\Bigr]_0^\infty=1.

Derivation hint: Substitute $u=1+r^2$ , $du=2r\,dr$ ; the angular integral contributes $2\pi$ , cancelling the $1/\pi$ to leave a clean integral.

Answer: $\boxed{\displaystyle\int_{S^2}c_1(\mathcal{O}(-1))=-1}$ — wait, with sign convention $\mathcal{O}(-1)$ gives $-1$ ; with the orientation/connection above the magnitude is $\boxed{1}$ (dimensionless integer = degree of the bundle).

ExampleSecond Chern Number of an SU(2) Instanton

Given: An $SU(2)$ bundle over $S^4$ with the BPST instanton connection. The relevant invariant polynomial is the second Chern polynomial $c_2$ , with Chern-Weil form $c_2=\dfrac{1}{8\pi^2}\,\mathrm{tr}(F\wedge F)$ (here $\mathrm{tr}$ in the fundamental representation; $F=\Omega$ ).

Steps: 1. The topological charge is $Q=\displaystyle\int_{S^4}\frac{1}{8\pi^2}\,\mathrm{tr}(F\wedge F)$ . 2. For the standard one-instanton solution of size $\rho$ , the field strength density integrates (a classic computation using $\mathrm{tr}(F\wedge F)=d\,\mathrm{tr}(\omega\,d\omega+\tfrac23\omega^3)$ and the asymptotic gauge) to give

10

\quad Q=\frac{1}{8\pi^2}\int_{S^4}\mathrm{tr}(F\wedge F)=1.

Derivation hint: $\mathrm{tr}(F\wedge F)$ is exact (the Chern-Simons transgression $[8]$ ); by Stokes it equals a boundary integral of the Chern-Simons $3$ -form over $S^3_\infty$ , which evaluates to the winding number $\deg(g:S^3\to SU(2)\cong S^3)=1$ .

Answer: $\boxed{Q=1}$ (the instanton number, a dimensionless integer). For a $k$ -instanton configuration, $Q=k$ .

⚠️ Common mistake

Pitfall 1 — " $P(\Omega)$ is a topological invariant." No: the form $P(\Omega)$ depends on the connection and is rarely unique. Only its de Rham cohomology class is the invariant. Different gauges yield different forms differing by an exact term.

Pitfall 2 — "Chern-Weil gives all characteristic classes." It gives only the real characteristic classes. Torsion phenomena — e.g. the Stiefel-Whitney classes in $H^*(\,\cdot\,;\mathbb{Z}/2)$ or the torsion part of integral Chern classes — are invisible to de Rham cohomology and lie outside the image.

Pitfall 3 — "Any invariant polynomial gives an integral class." $cw$ lands in $H^*(M;\mathbb{R})$ . Integrality (that the periods are integers) is a separate theorem requiring the correct normalization constants ( $\frac{i}{2\pi}$ etc.) and a comparison with the classifying-space definition; it is not automatic from Chern-Weil alone.

Counterexample

Consider a flat connection on a topologically nontrivial bundle, e.g. a flat $U(1)$ connection on a nontrivial line bundle... actually no flat connection exists if $c_1\neq 0$ , which itself illustrates the point: $c_1=\frac{i}{2\pi}F=0$ pointwise when $F=0$ , forcing $[c_1]=0$ , so a flat bundle has vanishing real Chern class. The counterexample to "Chern-Weil sees everything": a flat bundle with nontrivial holonomy (e.g. a flat bundle on a torus with $\mathbb{Z}/n$ monodromy) has $F\equiv 0$ , hence all Chern-Weil forms vanish, yet the bundle is topologically nontrivial in torsion cohomology. Chern-Weil cannot detect it. This shows the homomorphism $cw$ has a kernel and is not injective on torsion-sensitive information.

connection

The Chern-Weil homomorphism sits at the crossroads of several theories. Its target classes coincide with the topological Characteristic Classes defined via the classifying space $BG$ and the universal bundle $EG\to BG$ ; indeed $cw$ factors through the map $H^*(BG;\mathbb{R})\to H^*(M;\mathbb{R})$ induced by the classifying map. The transgression form $TP$ in $[8]$ is the origin of Chern-Simons Theory, whose action is precisely a Chern-Simons $3$ -form. When $G=GL(n)$ acting on a Vector Bundle, $cw$ produces the Chern Classes and Pontryagin Classes; for $SO(2n)$ the Pfaffian polynomial gives the Euler Class, yielding the Gauss-Bonnet-Chern Theorem. The whole apparatus feeds into the Atiyah-Singer Index Theorem, where index = integral of a characteristic-class polynomial (the $\hat A$ -genus or Todd class) built by Chern-Weil from curvature.

🔬 Where this appears

⏳ History

- 1935–1940: Stiefel, Whitney, and Pontryagin introduce characteristic classes combinatorially/topologically; Whitney's classes live mod 2.

- 1942: Pontryagin defines his classes via real bundles and relates them to curvature heuristically.

- 1944: Shiing-Shen Chern publishes his intrinsic proof of the generalized Gauss-Bonnet theorem, building the Euler form directly from Riemann curvature.

- 1946: Chern introduces the Chern classes of complex vector bundles, giving curvature representatives via

\det(I+\frac{i}{2\pi}\Omega)

.

- 1949 (circa): André Weil, in unpublished notes circulated among colleagues, abstracts the algebraic core — the homomorphism

I^*(G)\to H^*(M)

— establishing connection-independence by the transgression argument.

- 1950s: Borel and Hirzebruch systematize characteristic classes and the cohomology of

BG

; Hirzebruch's signature theorem uses Pontryagin classes.

- 1958–1963: Atiyah and Singer prove the index theorem, expressing analytic indices as integrals of Chern-Weil forms (Todd,

\hat A

,

L

-genus).

- 1974: Chern and Simons formalize the transgression / secondary characteristic forms, founding Chern-Simons theory.

- 1982–1985: Witten, and TKNN (Thouless-Kohmoto-Nightingale-den Nijs), bring Chern-Weil classes into physics (topological field theory, quantum Hall effect).

open-problem

Beyond real cohomology. Chern-Weil only computes the image of characteristic classes in $H^*(M;\mathbb{R})$ ; recovering integral and torsion information requires refinements such as differential characters (Cheeger-Simons) and differential cohomology / Deligne cohomology, where the secondary (Chern-Simons) data is retained. Constructing canonical Chern-Weil-type representatives in these refined theories — and doing so functorially for infinite-dimensional or higher (gerbe, $2$ -bundle) settings — remains an active research direction.

Non-compact and infinite-dimensional groups. For loop groups, diffeomorphism groups, and gauge groups, the invariant-polynomial ring and convergence of the transgression integral $[8]$ require care; the Chern-Weil program for such infinite-dimensional bundles (e.g. determinant line bundles, the $\eta$ -invariant, families index theory) is subtle and not fully algebraic.

Equivariant and noncommutative analogues. Equivariant Chern-Weil theory (Berline-Getzler-Vergne) and the Connes-Chern character in noncommutative geometry extend the homomorphism but raise open questions about completeness and integrality of the resulting invariants.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also