Topology

Characteristic Classes of Fiber Bundles

Цели урока

  • Compute Chern classes via the Chern-Weil formula and understand their axiomatic characterization
  • Understand Stiefel-Whitney classes as obstructions to orientability and spin structure
  • Learn Pontryagin classes and the Hirzebruch signature theorem
  • Connect characteristic classes to gauge theory and physical applications

Предварительные знания

  • Homology and cohomology groups
  • Vector bundles
  • Differential forms
  • Homology Groups

How can one tell whether a manifold admits fermions without explicitly constructing them? The Stiefel-Whitney class w_2 answers this question purely in terms of the topology of the tangent bundle.

  • CERN: Chern classes are topological quantum numbers of Yang-Mills instantons in gauge theory
  • Topological insulators: w_2 and spin structures classify topological phases of matter
  • String theory: anomaly cancellation in compactifications requires specific Chern number conditions
  • Algebraic geometry: Hirzebruch-Riemann-Roch computes dimensions of spaces of holomorphic sections

From Differential Geometry to Particle Physics

Shiing-Shen Chern in 1945 constructed global topological invariants from curvature, linking local differential geometry to global cohomology. Yang and Mills in 1954 introduced gauge fields without knowing that their fields were connections on principal bundles. In 1975 physicists realized that Chern classes are the topological quantum numbers of their theories. One mathematical structure, discovered independently in two worlds.

Chern Classes and the Chern-Weil Theorem

CERN physicists use Chern classes to classify instantons in gauge theories: c_1 = 1 distinguishes a Dirac monopole from the vacuum. Topology protects this distinction from any continuous field deformation. The same mathematics appears in topological insulators and quantum computing.

The Chern character ch: K(X) -> H^even(X; Q) is the ring homomorphism that converts K-theory multiplicativity into additive cohomology. ch(E + F) = ch(E) + ch(F) (additive), ch(E tensor F) = ch(E) * ch(F) (multiplicative).

What does the Whitney formula state for the Chern classes of a direct sum of bundles?

Stiefel-Whitney Classes and Real Bundles

Real vector bundles have richer topological structure than complex ones. The class w_1(E) = 0 characterizes orientability. The class w_2(E) = 0 is the condition for the existence of a spin structure - essential for defining fermions on a manifold. These two conditions appear constantly in physics.

Bundlew1w2Consequence
S^n tangent (n>=1)00Orientable, spin structure exists
RP^2 tangent10Non-orientable
CP^2 as real bundle01 (mod 2)Orientable, no spin structure
T^2 tangent00Orientable, spin structure exists

What does w_2(TM) = 0 mean for a smooth oriented manifold M?

Pontryagin Classes and Hirzebruch Signature

In 1953 Hirzebruch proved that the signature of a 4-manifold - an integer - equals the integral of an explicit polynomial in Pontryagin classes. This bridge between analysis (intersection forms) and topology (characteristic classes) was the precursor to the Atiyah-Singer index theorem.

Signature of CP^2

Direct computation via L-class

CP^2 has p_1(TCP^2) = 3h^2 where h is the hyperplane class. The L-class gives L = 1 + p_1/3 + .... Evaluating on the fundamental class: sigma(CP^2) = integral(p_1/3) = 1. Direct verification: H^2(CP^2) = Z with intersection matrix [1], signature = 1.

In which cohomology group does the k-th Pontryagin class p_k(E) live?

Connections to other topics

Characteristic classes permeate modern geometry, topology, and mathematical physics.

  • Gauge theories — Related topic
  • Atiyah-Singer theorem — Related topic
  • Superstring theory — Related topic
  • Algebraic geometry — Related topic

Итоги

  • c_k(E) in H^{2k}(B;Z) - Chern classes of complex bundle; multiplicative: c(E+F)=c(E)*c(F)
  • w_k(E) in H^k(B;Z/2) - Stiefel-Whitney classes; w_1=0 iff orientable, w_2=0 iff spin structure
  • p_k(E) in H^{4k}(B;Z) - Pontryagin classes; p_k = (-1)^k c_{2k}(E tensor C)
  • Chern-Weil: c(E) = det(I + iF/2pi) connects curvature to cohomological invariants
  • Hirzebruch signature theorem: sigma(M^{4k}) = integral over M of L(TM)
  • Characteristic numbers are complete cobordism invariants (Pontryagin-Thom theorem)

Вопросы для размышления

  • Why does the Chern-Weil formula express a global topological invariant through local curvature? What is the key independence result?
  • How does the condition w_2 = 0 protect quantum field theories from fermionic anomalies?
  • What is the relationship between Chern classes in topology and quantum numbers in particle physics?

Связанные уроки

  • top-23 — Characteristic classes live in cohomology groups
  • top-25-cobordism — Cobordism invariants are characteristic numbers
  • top-26-k-theory — K-theory generalizes characteristic classes via virtual bundles
  • aa-14-representations
Characteristic Classes of Fiber Bundles

0

1

Sign In