Characteristic Classes

Characteristic classes are cohomology classes naturally associated to vector bundles (or principal bundles) that measure their global twisting and obstruct triviality. The central families are the Chern classes (complex bundles), Stiefel–Whitney classes (real bundles,

Z /2

coefficients), Pontryagin classes (real bundles, integral), and the Euler class (oriented bundles). They live in

H^{*} (X)

, are natural under pullback, and are computed via the Chern–Weil homomorphism from curvature. Introduced by Stiefel, Whitney, Pontryagin, and Chern (1935–1948).

A characteristic class assigns, to each vector bundle $E \to X$ over a topological space, a cohomology class $c (E) \in H^{*} (X; R)$ that is natural: for any continuous map $f : Y \to X$ , one has $c (f^{*} E) = f^{*} c (E)$ . Because every bundle is pulled back from a universal bundle over a classifying space $B G$ , characteristic classes are completely encoded by the cohomology $H^{*} (B G)$ . They matter because they are the primary computable obstructions: a nonzero characteristic class certifies that a bundle is nontrivial, that a manifold does not embed or immerse in a given dimension, or that a section fails to exist. The surprising fact is that these purely topological invariants can be computed analytically from the curvature of any connection (Chern–Weil theory) — geometry feeds topology, and the answer is independent of the connection chosen.

The Core Insight

The classification of vector bundles is hard, but it factors through homotopy: isomorphism classes of rank- $n$ bundles over $X$ are in bijection with homotopy classes of maps $X \to B G$ (the classifying space). Characteristic classes are nothing more than the image of $H^{*} (B G)$ under this correspondence. Thus understanding all natural invariants of bundles reduces to computing the cohomology ring of a single space $B G$ — and these rings are polynomial algebras on the characteristic classes.

Formal Statement

Characteristic Class

Let $G$ be a topological group and $R$ a commutative ring. A characteristic class of degree $k$ for principal $G$ -bundles with coefficients in $R$ is a natural transformation

c : Bun_{G} (-) ⟶ H^{k} (-; R)

⟳

Bun_{G} (X)

is the set of isomorphism classes of principal

G

-bundles on

X

; "natural" means

c (f^{*} P) = f^{*} c (P)

for all maps

f

Concretely, for each space $X$ we have an assignment $P \mapsto c (P) \in H^{k} (X; R)$ satisfying, for every continuous $f : Y \to X$ ,

c (f^{*} P) = f^{*} (c (P)) .

⟳naturality is the single defining axiom; everything else (e.g. Whitney sum formulas) is a theorem about specific classes.

Classification by the Classifying Space

For each topological group $G$ there exists a space $B G$ with a universal principal $G$ -bundle $E G \to B G$ (where $E G$ is contractible) such that for every paracompact space $X$ :

Bun_{G} (X) ≅ [X, B G],

the set of homotopy classes of maps. Under this bijection the bundle

P

corresponds to a classifying map

f_{P} : X \to B G

with

P ≅ f_{P}^{*} (E G)

. Consequently

{characteristic classes of degree k} ≅ H^{k} (B G; R) .

⟳

E G

contractible forces all higher homotopy of the fibration to live in

B G

; naturality (eq. 2) plus the Yoneda-type argument identifies natural transformations into

H^{k}

with elements of

H^{k} (B G)

via

c \mapsto c (E G)

Chern Classes

For a complex vector bundle $E \to X$ of rank $n$ , the total Chern class is

c (E) = 1 + c_{1} (E) + c_{2} (E) + \dots + c_{n} (E), c_{i} (E) \in H^{2 i} (X; Z),

characterized uniquely by: (i) naturality; (ii) the Whitney sum formula

c (E \oplus F) = c (E) ⌣ c (F)

; (iii) normalization

c_{1} (O (1))

equals the generator of

H^{2} (CP^{\infty}; Z)

for the tautological line bundle.

⟳

B U (n)

has

H^{*} (B U (n); Z) = Z [c_{1}, \dots, c_{n}]

; the

c_{i}

are the universal classes, and the three axioms pin them down.

Stiefel–Whitney, Pontryagin, Euler

For a real vector bundle $E \to X$ of rank $n$ :

Stiefel–Whitney: $w (E) = 1 + w_{1} + \dots + w_{n}$ , with $w_{i} \in H^{i} (X; Z /2)$ , satisfying Whitney sum and $w_{1} (γ_{1}^{1}) \neq = 0$ on $RP^{\infty}$ .
Pontryagin: $p_{i} (E) = (- 1)^{i} c_{2 i} (E \otimes C) \in H^{4 i} (X; Z)$ .
Euler class (oriented $E$ , rank $n$ ): $e (E) \in H^{n} (X; Z)$ , with $e (E)^{2} = (- 1)^{?} \dots$ related to the top Pontryagin class and $w_{n} \equiv e (mod 2)$ .

p_{i} (E) = (- 1)^{i} c_{2 i} (E \otimes_{R} C), e (E) ⌣ e (E) = p_{n /2} (E) (n even) .

⟳complexifying a real bundle and applying Chern classes, then noting

\overline{E \otimes C} ≅ E \otimes C

kills odd Chern classes mod torsion, leaving Pontryagin in degrees

4 i

Why It Holds / Derivation: Chern–Weil Theory

Curvature Computes Characteristic Classes

Step 1 — Connection and curvature. Let

π : P \to X

be a principal

G

-bundle with connection 1-form

ω \in Ω^{1} (P; g)

. Its curvature is

Ω = d ω + \frac{1}{2} [ω, ω] \in Ω^{2} (P; g) .

⟳the structure equation;

[ω, ω]

combines Lie bracket on

g

with wedge on forms.

Step 2 — Invariant polynomials. Let

P^{k} : g \to C

be an

Ad

-invariant symmetric polynomial of degree

k

. Evaluate it on the curvature to get a

2 k

-form on

X

(it descends because of invariance):

P^{k} (Ω) \in Ω^{2 k} (X) .

⟳

Ad

-invariance under the gauge group makes

P^{k} (Ω)

basic, hence a form on the base

X

Step 3 — Closedness. By the Bianchi identity

d Ω + [ω, Ω] = 0

and invariance of

P^{k}

d P^{k} (Ω) = 0.

⟳differentiate

P^{k} (Ω, \dots, Ω)

, use the derivation property and Bianchi; the bracket terms cancel by

Ad

-invariance.

Step 4 — Independence of connection. If

ω_{0}, ω_{1}

are two connections with curvatures

Ω_{0}, Ω_{1}

, the difference of

P^{k} (Ω_{i})

is exact:

P^{k} (Ω_{1}) - P^{k} (Ω_{0}) = d (T P^{k}),

where

T P^{k}

is the transgression (Chern–Simons) form built from

ω_{t} = ω_{0} + t (ω_{1} - ω_{0})

⟳interpolate connections, differentiate

P^{k} (Ω_{t})

t

, integrate over

[0, 1]

; the integrand is exact.

Step 5 — Chern–Weil homomorphism. Hence

[P^{k} (Ω)] \in H_{d R}^{2 k} (X)

is independent of the connection, defining a ring homomorphism

w : (Sym^{∙} g^{*})^{G} ⟶ H_{d R}^{*} (X), P^{k} \mapsto [P^{k} (Ω)] .

For

G = U (n)

the elementary symmetric/Newton polynomials in the curvature eigenvalues yield exactly the (real) Chern classes:

c (E) = det (I + \frac{i}{2 π} Ω) = 1 + \frac{i}{2 π} tr Ω + \dots .

⟳expand the determinant in powers of

Ω

; the

\frac{i}{2 π}

normalizes so the classes are integral, matching the topological definition over

Z

Real vs. de Rham coefficients

Chern–Weil produces classes in $H^{*} (X; R)$ only. It sees Chern and Pontryagin classes up to torsion but cannot detect torsion classes, and it cannot produce $Z /2$ -valued Stiefel–Whitney classes at all. The integrality of Chern classes (that $\frac{i}{2 π} det (\dots)$ is an integral class) is an extra theorem, not a consequence of Chern–Weil.

Shiing-Shen Chern | 1911–2004

Chern, building on Whitney and Pontryagin, introduced the complex characteristic classes now bearing his name in his 1946 Annals paper, and with André Weil developed the curvature-theoretic (Chern–Weil) formulation that unified the differential-geometric and topological viewpoints. His intrinsic proof of the generalized Gauss–Bonnet theorem (1944) — expressing the Euler characteristic as the integral of a curvature Pfaffian — was the conceptual seed: a local geometric density integrating to a global topological invariant. Chern's later work (Chern–Simons invariants, 1974, with James Simons) extended these ideas to secondary characteristic classes that became central in gauge theory and 3-manifold topology.

Building Intuition

Think of a characteristic class as a "twist meter." A trivial bundle $X \times C^{n}$ has total Chern class $c = 1$ : no twisting. The first Chern class $c_{1}$ of a complex line bundle is precisely the obstruction to finding a nonvanishing section — for line bundles over a surface, $\int_{Σ} c_{1}$ counts the signed zeros of a generic section. The Euler class generalizes this: $e (E)$ is the primary obstruction to a nowhere-zero section, and its top-dimensional integral over a closed manifold gives the Euler characteristic (Poincaré–Hopf). The Whitney sum formula $c (E \oplus F) = c (E) c (F)$ reflects that twisting "adds up multiplicatively" when you stack bundles, just as the determinant of a block-diagonal matrix is the product of the blocks. The deepest intuition is the classifying space: every bundle is a snapshot of the one universal bundle, and characteristic classes are the universal "coordinates" $H^{*} (B G)$ read off through your particular snapshot.

Curvature of a line bundle integrating to its first Chern number over a sphere

Worked Examples

Chern Class of the Tautological Bundle over $\mathbb{CP}^1$

Given: The tautological line bundle

γ \to CP^{1} = S^{2}

, whose fiber over a line

ℓ \subset C^{2}

ℓ

itself. Steps:

$H^{2} (CP^{1}; Z) ≅ Z$ , generated by the dual of the fundamental class $[CP^{1}]$ .
The hyperplane bundle $O (1) = γ^{*}$ has $c_{1} (O (1)) = h$ , the positive generator, by normalization.
Therefore $c_{1} (γ) = c_{1} (O (1)^{*}) = - h$ .
Integrate: $\int_{CP^{1}} c_{1} (γ) = - 1$ .
Check via Chern–Weil: with the Fubini–Study connection, $\frac{i}{2 π} \int_{CP^{1}} Ω = - 1$ .

Answer:

c_{1} (γ) = - h, \int_{CP^{1}} c_{1} (γ) = - 1

(dimensionless degree / Chern number).

Stiefel–Whitney Obstruction to Parallelizability of $\mathbb{RP}^2$

Given: Real projective plane

RP^{2}

; its tangent bundle

T RP^{2}

. We test whether

RP^{2}

is parallelizable and orientable. Steps:

$H^{*} (RP^{2}; Z /2) = Z /2 [a] / (a^{3})$ , $∣ a ∣ = 1$ .
For $RP^{n}$ , $w (T RP^{n}) = (1 + a)^{n + 1}$ . For $n = 2$ : $w = (1 + a)^{3} = 1 + 3 a + 3 a^{2} = 1 + a + a^{2}$ (mod 2).
So $w_{1} = a \neq = 0 \Rightarrow$ non-orientable.
$w_{2} = a^{2} \neq = 0 \Rightarrow$ tangent bundle is nontrivial; $RP^{2}$ is not parallelizable.
$w_{2} \neq = 0$ also obstructs a spin structure.

Answer:

w (T RP^{2}) = 1 + a + a^{2}, w_{1} \neq = 0, w_{2} \neq = 0

RP^{2}

is non-orientable, non-parallelizable, and admits no spin structure.

Common Misconceptions

Vanishing classes do not imply triviality

A bundle with all characteristic classes zero need not be trivial. Characteristic classes are necessary but not sufficient: they capture only the part of the classifying map $X \to B G$ seen by ordinary cohomology. For example, the tangent bundle $T S^{n}$ for $n$ even has $e (T S^{n}) = χ (S^{n}) = 2 \neq = 0$ , but for $n$ odd $e = 0$ and yet $T S^{n}$ is nontrivial for $n \neq = 1, 3, 7$ (these are the only parallelizable spheres, by Adams). Higher invariants (K-theory, secondary operations) are needed.

Stably trivial but nontrivial

The tangent bundle of $S^{2}$ satisfies $T S^{2} \oplus R ≅ R^{3}$ (the normal bundle of $S^{2} \subset R^{3}$ is trivial, and $T S^{2} \oplus ν = T R^{3} ∣_{S^{2}}$ ). Thus $T S^{2}$ is stably trivial, so all its Pontryagin and stable classes vanish. Nonetheless $T S^{2}$ is nontrivial — its Euler class $e (T S^{2}) = 2 [S^{2}]^{\lor} \neq = 0$ detects it. Stable invariants alone are blind here; the unstable Euler class is essential.

Connections

Characteristic classes sit at a crossroads of geometry, topology, and analysis. Via Chern–Weil Theory they are computed from Connections on Principal Bundles and curvature. Through Classifying Spaces $B G$ they are equivalent to computing $H^{*} (B G)$ , linking to Cohomology of Lie Groups. They are the building blocks of Index Theory: the Atiyah–Singer index theorem expresses an analytic index as $\int_{X} ch (E) Td (T X)$ in characteristic classes. In K-Theory the Chern character $ch : K (X) \otimes Q \sim H^{e v} (X; Q)$ is a ring isomorphism. They control Cobordism Theory (Thom): Stiefel–Whitney and Pontryagin numbers are complete cobordism invariants. The Euler class connects to Poincaré–Hopf Theorem and the Gauss–Bonnet Theorem.

Real-World Applications

Gauge theory / Yang–Mills: The second Chern number $\frac{1}{8 π ^{2}} \int tr (F \land F)$ is the instanton number, classifying topological sectors of $S U (2)$ gauge fields; it underlies the $θ$ -vacuum structure of QCD.
Quantum Hall effect: The quantized Hall conductance equals a first Chern number (TKNN invariant) of the Bloch bundle over the Brillouin torus — a Nobel-recognized topological invariant.
Topological insulators & band theory: $Z /2$ invariants (Kane–Mele) and Chern numbers classify electronic band structures, predicting protected edge states.
Anomalies in QFT: Chiral and gravitational anomalies are computed via characteristic classes through the descent equations and the index theorem (Stora–Zumino).
String theory: The anomaly cancellation in heterotic strings requires $tr R^{2} = tr F^{2}$ at the level of Pontryagin/Chern classes (Green–Schwarz mechanism).
Obstruction theory in engineering/robotics: Euler-class obstructions determine when continuous nonvanishing vector fields (e.g., consistent frame assignments, hairy-ball constraints in fluid/antenna design) can exist.
Data science / topological signal processing: Persistent characteristic-class-type invariants and vector-bundle learning detect global twists in fibered datasets.

Historical Development

1935 — Eduard Stiefel (in his thesis under Hopf) and Hassler Whitney independently introduce the mod-2 classes of tangent bundles and manifolds, now Stiefel–Whitney classes.
1936 — Whitney develops the general theory of sphere bundles and their characteristic cohomology classes; states the duality/sum ideas.
1942 — Lev Pontryagin introduces real characteristic classes via Grassmannian cycles, the Pontryagin classes, studying real bundles.
1944 — S.-S. Chern gives an intrinsic proof of the generalized Gauss–Bonnet theorem, expressing $χ (M)$ as a curvature integral — the germ of Chern–Weil.
1946 — Chern defines the complex characteristic classes (Chern classes) in Characteristic classes of Hermitian manifolds (Annals of Math.).
1947–1949 — André Weil and Chern formalize the curvature/invariant-polynomial construction: the Chern–Weil homomorphism.
1953 — René Thom relates Stiefel–Whitney and Pontryagin numbers to cobordism, proving they are complete unoriented/oriented cobordism invariants.
1958 — Hirzebruch's signature theorem and Riemann–Roch express invariants as polynomials in Pontryagin/Chern classes (Todd, $\hat{A}$ , $L$ -genera).
1963 — Atiyah and Singer prove the index theorem, with the index expressed in characteristic classes; the canonical reference text is Milnor–Stasheff, Characteristic Classes (1974).

Subtleties & Limits

Characteristic classes are incomplete invariants, and pinning down exactly what they miss remains active. Open and subtle directions include: (1) Detecting torsion and unstable phenomena — ordinary characteristic classes miss torsion in $H^{*} (B G)$ and the finer homotopy of classifying maps; secondary and higher operations are only partially understood. (2) Integral characteristic classes for $Spin$ , $String$ , and higher structures — the cohomology of $B String$ and the theory of differential cohomology / characteristic classes refining $R$ -valued data (Cheeger–Simons, differential cohomology) are still being developed for higher categorical bundles (gerbes, 2-bundles). (3) The Hopf invariant / parallelizability — although solved for spheres (Adams), the existence of various structures (almost-complex, etc.) on general manifolds is constrained but not determined by characteristic classes. (4) Equivariant and motivic refinements — characteristic classes in equivariant cohomology and in motivic/algebraic settings (Chow groups, algebraic cobordism) raise integrality and comparison questions that are not fully resolved.