Characteristic Classes — Chern and Pontryagin

A characteristic class is a natural transformation from the functor "isomorphism classes of vector bundles over $M$" to the functor "cohomology of $M$." Concretely, to each complex vector bundle $E\to M$ one assigns Chern classes $c_i(E)$, and to each real bundle one assigns Pontryagin classes $p_i(E)$, in a way compatible with pullbacks. These classes are the fundamental invariants distinguishing bundles up to isomorphism, and they underpin the Atiyah–Singer index theorem, cobordism theory, and gauge theory. The surprising fact: although defined topologically (via classifying spaces $BU(n)$, $BO(n)$), they can be computed analytically from the curvature of any connection — the answer is independent of the connection chosen, a deep manifestation of de Rham theory.

The Core Insight

A vector bundle's "twisting" is encoded by how transition functions glue local trivializations. The classifying space $BU(n)$ (resp. $BO(n)$) is a universal object: every rank-$n$ bundle is a pullback of a universal bundle by a map $f:M\to BU(n)$. Therefore all natural invariants of bundles are pullbacks of universal cohomology classes. Since $H^{\ast }(BU(n);\mathbb{Z})=\mathbb{Z}[c_1,\dots ,c_n]$ is a polynomial ring on the Chern classes, these classes generate everything. The Chern–Weil homomorphism then makes this concrete: invariant polynomials of curvature give de Rham representatives.

Formal Statement

Chern Classes via Classifying Space

Let $E\to M$ be a complex vector bundle of rank $n$. There is a classifying map $f_E:M\to BU(n)$, unique up to homotopy, with $E\cong f_E^{\ast }(EU(n))$. The total Chern class is

Axioms for Chern Classes

The Chern classes are uniquely characterized by:

1. Naturality: $c(f^{\ast }E)=f^{\ast }c(E)$ for $f:N\to M$.
2. Whitney sum: $c(E\oplus F)=c(E)⌣c(F)$, i.e.

1. Normalization: for the tautological line bundle $\mathcal{O}(-1)\to {\mathbb{CP}}^1$, $c_1$ evaluated on the fundamental class is $-1$ (equivalently $c_1(\mathcal{O}(1))=[{\mathbb{CP}}^1{]}^{\vee }$).
2. Rank bound: $c_i(E)=0$ for $i>{\mathrm{rank}}_{\mathbb{C}}E$.

Pontryagin Classes

For a real vector bundle $E\to M$ of rank $r$, complexify $E{\otimes }_{\mathbb{R}}\mathbb{C}$ and define

Chern–Weil Homomorphism

Let $E\to M$ be a complex bundle with connection $\nabla$ and curvature $F={\nabla }^2\in {\Omega }^2(M;\mathrm{End}E)$. For any $\mathrm{Ad}$-invariant polynomial $P$ on ${\mathfrak{gl}}_n(\mathbb{C})$, the differential form $P(F)$ is closed and its de Rham class is independent of $\nabla$. The total Chern class is represented by

Why It Holds / Derivation

Chern–Weil: closedness and independence

Splitting Principle

For any complex bundle $E\to M$, there exists $\pi :F(E)\to M$ (the flag/projective bundle) such that:

1. ${\pi }^{\ast }:H^{\ast }(M)\to H^{\ast }(F(E))$ is injective, and
2. ${\pi }^{\ast }E\cong L_1\oplus \cdots \oplus L_n$ splits into line bundles.

Chern roots and the splitting principle: a rank-2 bundle pulled back to its projectivization splits into line bundles

Shiing-Shen Chern | 1911–2004

Chern, working at Princeton and later Chicago and Berkeley, gave in 1946 the intrinsic, curvature-based construction of the classes now bearing his name, unifying earlier work of Stiefel and Whitney on real bundles. His proof of the generalized Gauss–Bonnet theorem (1944) via the Pfaffian was a landmark, providing the local-to-global bridge that became Chern–Weil theory. He founded modern global differential geometry, mentored generations, and established the MSRI. The marriage of Élie Cartan's moving frames with topology — fiber bundles seen through curvature — is his enduring legacy.

Building Intuition

Think of a vector bundle as a family of vector spaces that may "twist" as you move around the base. A trivial bundle $M\times {\mathbb{C}}^n$ has no twisting and all characteristic classes vanish. Characteristic classes are obstructions: $c_n(E)$ is the obstruction to a nowhere-zero section, $c_1$ measures the failure of the determinant line bundle to be trivial. The Chern–Weil viewpoint says: pick any connection, look at its curvature $F$ (the local "rotation" of fibers under parallel transport), and form invariant combinations. Because $F$ measures infinitesimal holonomy, integrating its invariant polynomials over cycles counts the global twisting — and crucially the count is connection-independent, like how the Gauss–Bonnet integral of curvature equals the topological Euler characteristic regardless of the metric.

The gauge-theory dictionary

In gauge theory the connection $\nabla$ is the gauge potential $A_{\mu }$ and the curvature $F$ is the field strength $F_{\mu \nu }$. Chern classes are then quantized topological charges: the first Chern number $\frac{1}{2\pi }{\int }_{\Sigma }F$ counts magnetic flux (Dirac monopole quantization), and the second Chern class $\frac{1}{8{\pi }^2}\int \mathrm{tr}(F\wedge F)$ is the instanton number in Yang–Mills. The integrality of these numbers — that a continuous field integral lands in $\mathbb{Z}$ — is exactly the topological content of characteristic classes, explaining flux quantization and the $\theta$-vacuum structure of QCD.

Worked Examples

Chern classes of $\mathbb{CP}^n$ via the Euler sequence

1. Whitney sum on the exact sequence: $c(T{\mathbb{CP}}^n)\cdot c(\mathbb{C})=c(\mathcal{O}(1{)}^{\oplus (n+1)})$.
2. Since $c(\mathbb{C})=1$ (trivial line) and $c(\mathcal{O}(1))=1+h$,

1. For $n=2$: $c(T{\mathbb{CP}}^2)=(1+h{)}^3=1+3h+3h^2$, so $c_1=3h$, $c_2=3h^2$.
2. Euler characteristic check: $c_2[{\mathbb{CP}}^2]=3\cdot (h^2[{\mathbb{CP}}^2])=3=\chi ({\mathbb{CP}}^2)$. ✓

Pontryagin class and signature of $\mathbb{CP}^2$

1. For a complex bundle $E$, the underlying real bundle's Pontryagin class is $p(E_{\mathbb{R}})=c(E)c(\bar{E})$ since $E_{\mathbb{R}}\otimes \mathbb{C}\cong E\oplus \bar{E}$. With Chern roots $x_1,x_2$ ($\bar{E}$ has roots $-x_1,-x_2$):

1. From the previous example, $c_1=3h$, $c_2=3h^2$, so

1. Evaluate: $p_1[{\mathbb{CP}}^2]=3(h^2[{\mathbb{CP}}^2])=3$.
2. Signature: $H^2({\mathbb{CP}}^2)$ is $1$-dimensional with positive cup-square, so $\sigma =+1$. Check: $\frac{1}{3}{p}_1[{\mathbb{CP}}^2]=\frac{1}{3}\cdot 3=1=\sigma$. ✓

Common Misconceptions

Non-isomorphic bundles with equal Chern classes

Over $S^5$, complex rank-$2$ bundles are classified by ${\pi }_4(U(2))={\pi }_4(SU(2))={\mathbb{Z}}_2$. Since $H^{\text{even}}(S^5;\mathbb{Z})$ vanishes in positive degrees, all Chern classes are zero for both bundles, yet the nontrivial bundle is not isomorphic to the trivial one. Thus characteristic classes fail to distinguish them — torsion in homotopy groups of the classifying space carries information invisible to ordinary characteristic classes.

Pontryagin classes do not detect exotic smooth structures directly

Milnor's exotic $7$-spheres are total spaces of $S^3$-bundles over $S^4$ that are homeomorphic but not diffeomorphic to $S^7$. The invariant distinguishing them ($\lambda (M)\in {\mathbb{Z}}_7$) is built from $p_1$ of a bounding $8$-manifold via the signature formula, not from $p_1$ of the $7$-manifold itself (which vanishes for dimension reasons). This shows characteristic numbers must be deployed cleverly — via cobordism — to capture smooth structure.

Connections

Characteristic classes sit at the crossroads of several theories. Via Chern–Weil Theory they are computed from curvature, linking to Riemannian Geometry and Connections on Fiber Bundles. The classifying-space picture connects them to Homotopy Theory and Classifying Spaces BG. The Euler class $e(E)\in H^r(M)$ of an oriented real rank-$r$ bundle satisfies $e(E{)}^2=p_{r/2}(E)$ in even rank and refines $c_n$ for complex bundles ($e=c_n$). The Chern character $\mathrm{ch}(E)=\sum e^{x_j}$ and Todd class are the protagonists of the Atiyah–Singer Index Theorem and Hirzebruch–Riemann–Roch Theorem. Characteristic numbers are the values defining ring homomorphisms out of Cobordism Theory, by Thom's theorem.

Real-World Applications

1. Dirac monopole quantization (physics): the magnetic charge $g$ satisfies $\frac{1}{2\pi }{\int }_{S^2}F=c_1\in \mathbb{Z}$, so charge is quantized — a direct physical reading of the first Chern class of a $U(1)$ bundle over $S^2$.
2. Quantum Hall effect (condensed matter): the integer Hall conductance ${\sigma }_{xy}=\frac{e^2}{h}C$ where $C$ is the first Chern number (TKNN invariant) of the Bloch bundle over the Brillouin torus $T^2$.
3. Topological insulators / band theory: Chern numbers and ${\mathbb{Z}}_2$ invariants classify gapped phases; nonzero Chern number forces protected edge states (bulk–boundary correspondence).
4. Yang–Mills instantons (gauge theory): the instanton number $\frac{1}{8{\pi }^2}\int \mathrm{tr}(F\wedge F)=c_2\in \mathbb{Z}$ classifies finite-action self-dual connections; Donaldson used these to probe $4$-manifold smooth structures.
5. Anomalies in QFT: the chiral and gravitational anomalies are governed by characteristic-class densities (the index density), via the Atiyah–Singer family index theorem.
6. Obstruction theory in robotics/data: nonvanishing Euler/Chern classes obstruct global frame fields, relevant to nonholonomic constraints and the hairy-ball obstruction $e(T{S}^2)=2$.
7. Cobordism and bordism invariants: Pontryagin/Stiefel–Whitney numbers determine whether a manifold bounds — applied in classification of manifolds and in TQFT partition functions.

Historical Development

• 1935 — Eduard Stiefel (thesis under Hopf) introduces obstruction classes to frame fields on real manifolds.
• 1936 — Hassler Whitney independently defines what become the Stiefel–Whitney classes via embeddings and the Whitney sum formula.
• 1942 — Lev Pontryagin defines the Pontryagin classes of real bundles, studying homotopy of Grassmannians and characteristic cycles.
• 1944 — Chern proves the intrinsic generalized Gauss–Bonnet theorem using the Pfaffian of curvature, isolating the Euler class.
• 1946 — Chern's landmark paper "Characteristic classes of Hermitian manifolds" gives the curvature definition of Chern classes; André Weil develops the invariant-polynomial formalism (Chern–Weil).
• 1953 — René Thom's cobordism theory shows Stiefel–Whitney and Pontryagin numbers are complete cobordism invariants (mod torsion).
• 1954 — Friedrich Hirzebruch proves the signature theorem $\sigma =L[M]$ and Riemann–Roch via the Todd class, deploying characteristic classes massively.
• 1956 — Milnor uses Pontryagin numbers (via signature defect) to detect exotic $7$-spheres.
• 1963 — Atiyah and Singer prove the index theorem, expressing analytic indices through $\mathrm{ch}$, Todd, and $\hat{A}$ classes — the apotheosis of the theory.

Subtleties & Limits

Several deep issues persist. (1) Integral characteristic classes and torsion: the integral cohomology of $BO(n)$ and $BSpin(n)$ is intricate, and detecting torsion characteristic classes (Stiefel–Whitney, secondary classes) remains computationally hard for high-dimensional structure groups. (2) Differential refinements: $\hat{H}$ (Cheeger–Simons / differential cohomology) refines characteristic classes to capture secondary invariants like Chern–Simons forms; the full functorial picture for general gauge groups and its relation to anomalies in QFT is an active area. (3) Beyond ordinary cohomology: characteristic classes in generalized cohomology theories ($K$-theory, elliptic cohomology, $tmf$) — the Chern character, Adams operations, the Witten genus — feed open conjectures linking geometry, physics (string theory), and homotopy theory. (4) Classification gaps: as the $S^5$ example shows, characteristic classes are incomplete invariants; the precise relation between unstable homotopy of $BG$ and "computable" invariants is unresolved in general.

See Also