Characteristic Classes

Characteristic classes are cohomology classes that measure the topological non-triviality of vector and principal bundles. Chern classes classify complex bundles, Pontryagin classes classify real bundles, and the Euler class is the obstruction to the existence of a nowhere-vanishing section. These invariants are central to both topology and theoretical physics.

Historical Context

Characteristic classes originated in the work of Stiefel and Whitney (1935) for real vector bundles and were developed for complex bundles by Shiing-Shen Chern (1946). Chern's approach, using differential forms and the curvature of connections, revolutionized the field by providing explicit representatives computable via the Chern-Weil homomorphism.

Lev Pontryagin introduced his classes for real bundles in 1947. Friedrich Hirzebruch established deep connections between characteristic classes and topology through his signature theorem (1954), a precursor to the Atiyah-Singer index theorem.

In physics, characteristic classes appear as topological charges: the first Chern class is the magnetic monopole number, the second Chern class is the instanton number in Yang-Mills theory, and Pontryagin classes govern gravitational anomalies.

Derivation 1: Chern Classes

For a complex vector bundle $E \to M$ of rank $n$ with connection and curvature $F$, the total Chern class is defined via the characteristic polynomial:

$c(E) = \det\left(I + \frac{i}{2\pi}F\right) = 1 + c_1(E) + c_2(E) + \cdots + c_n(E)$

Individual Chern Classes

$c_1(E) = \frac{i}{2\pi}\text{Tr}(F) \in H^2(M, \mathbb{Z})$

First Chern class: trace of curvature

$c_2(E) = \frac{1}{2}\left[c_1^2 - \frac{1}{(2\pi)^2}\text{Tr}(F \wedge F)\right] \in H^4(M, \mathbb{Z})$

Second Chern class: instanton number for SU(n)

Properties

$c(E \oplus F) = c(E) \smile c(F) \quad \text{(Whitney product formula)}$

$c_k(\bar{E}) = (-1)^k c_k(E) \quad \text{(conjugation)}$

$c_k(E) = 0 \text{ for } k > \text{rank}(E) \quad \text{(vanishing)}$

Monopole quantization: For a U(1) line bundle over $S^2$,$c_1 = \frac{1}{2\pi}\int_{S^2} F \in \mathbb{Z}$. This is Dirac's quantization condition: magnetic charge must be an integer (in appropriate units), ensuring the wave function is single-valued.

Derivation 2: Pontryagin Classes

For a real vector bundle $E \to M$ of rank $n$, the Pontryagin classes are defined via the complexification $E_\mathbb{C} = E \otimes \mathbb{C}$:

$p_k(E) = (-1)^k c_{2k}(E_\mathbb{C}) \in H^{4k}(M, \mathbb{Z})$

In terms of the SO(n) curvature $R$:

$p(E) = \det\left(I + \frac{R}{2\pi}\right) = 1 + p_1 + p_2 + \cdots$

First Pontryagin Class

$p_1(E) = -\frac{1}{8\pi^2}\int \text{Tr}(R \wedge R)$

Hirzebruch Signature Theorem

For a closed oriented 4-manifold:

$\boxed{\sigma(M) = \frac{1}{3}p_1(TM)}$

where $\sigma$ is the signature (the difference between the number of positive and negative eigenvalues of the intersection form on $H^2(M)$).

Gravitational anomalies: In quantum field theory, Pontryagin classes determine gravitational anomalies. A chiral fermion in $4k+2$ dimensions has a gravitational anomaly proportional to $p_{k+1}(TM)$. Anomaly cancellation in string theory requires the Green-Schwarz mechanism, relating Pontryagin classes of the tangent and gauge bundles.

Derivation 3: The Euler Class

For an oriented real vector bundle $E$ of even rank $2k$, the Euler class $e(E) \in H^{2k}(M, \mathbb{Z})$ is defined using the Pfaffian of the curvature:

$e(E) = \text{Pf}\left(\frac{R}{2\pi}\right)$

The key relationship between Euler and Pontryagin classes:

$e(E) \smile e(E) = p_k(E) \quad \text{(Euler squared is Pontryagin)}$

Obstruction Theory Interpretation

The Euler class is the primary obstruction to the existence of a nowhere-vanishing section of $E$. For the tangent bundle:

$\int_M e(TM) = \chi(M) \quad \text{(Gauss-Bonnet-Chern)}$

A non-vanishing vector field exists if and only if $\chi(M) = 0$. This explains the hairy ball theorem ($\chi(S^{2n}) = 2 \neq 0$) and why vector fields exist on odd spheres and tori ($\chi = 0$).

Derivation 4: The Splitting Principle

The splitting principle states that any rank-$n$ complex bundle can be pulled back to a space where it splits into a direct sum of line bundles:

$f^*E \cong L_1 \oplus L_2 \oplus \cdots \oplus L_n$

with $f^*: H^*(M) \to H^*(F(E))$ injective. Setting $x_i = c_1(L_i)$ (the Chern roots), the Chern classes become elementary symmetric polynomials:

$c_1 = \sum x_i, \quad c_2 = \sum_{i<j} x_i x_j, \quad \ldots, \quad c_n = \prod x_i$

This allows us to express any characteristic class as a symmetric function of the Chern roots. For example, the Chern character:

$\text{ch}(E) = \sum_{i=1}^n e^{x_i} = n + c_1 + \frac{1}{2}(c_1^2 - 2c_2) + \cdots$

K-theory: The Chern character provides a ring homomorphism$\text{ch}: K(M) \to H^{\text{even}}(M, \mathbb{Q})$ that becomes an isomorphism after tensoring with $\mathbb{Q}$. This connects the topological K-theory of vector bundles to ordinary cohomology.

Derivation 5: Stiefel-Whitney Classes and Spin Structures

Stiefel-Whitney classes $w_i(E) \in H^i(M, \mathbb{Z}_2)$are mod-2 characteristic classes for real bundles. The two most important are:

$w_1(E) = 0 \iff E \text{ is orientable}$

Obstruction to choosing a consistent orientation

$w_2(E) = 0 \iff E \text{ admits a spin structure}$

Obstruction to lifting from SO(n) to Spin(n)

Spin Structures

A spin structure on an oriented manifold $M$ is a lift of the orthonormal frame bundle from $SO(n)$ to $\text{Spin}(n)$ (the double cover):

$\text{Spin}(n) \to \tilde{P} \to M \quad \text{with} \quad \tilde{P}/\mathbb{Z}_2 = O(M)$

Spin structures exist if and only if $w_2(TM) = 0$. When they exist, the set of spin structures is a torsor for $H^1(M, \mathbb{Z}_2)$.

Fermions need spin structure: Spinor fields (electrons, quarks, neutrinos) are sections of the spinor bundle, which only exists when $w_2 = 0$. All known spacetimes in physics are spin manifolds. The choice of spin structure on topologically nontrivial spacetimes leads to different fermionic sectors of the theory.

Interactive Simulation

This simulation computes Chern classes for monopole bundles over $S^2$, instanton numbers for SU(2) bundles over $S^4$, Pontryagin numbers and Euler characteristics of 4-manifolds, and visualizes the relationship between topological charge and curvature density.

Characteristic Classes: Chern, Pontryagin & Euler Classes

Python

script.py177 lines

#!/usr/bin/env python3
"""
characteristic_classes.py - Chern, Pontryagin, and Euler Classes
Computes topological invariants of vector bundles over various base spaces
"""
import numpy as np
import matplotlib
matplotlib.use('Agg')
import matplotlib.pyplot as plt
import base64
from io import BytesIO

# ============================================================
# 1. Chern classes of line bundles over S^2
# ============================================================
print("=" * 72)
print("  CHARACTERISTIC CLASSES: TOPOLOGICAL INVARIANTS OF BUNDLES")
print("=" * 72)
print()

print("  CHERN CLASSES OF U(1) BUNDLES OVER S^2")
print("  " + "-" * 50)
print()
print("  First Chern class c_1 in H^2(S^2, Z) = Z")
print("  c_1 = (1/2pi) integral_M F")
print()

# Monopole bundles: c_1 = n (monopole charge)
for n in range(-3, 4):
    flux = 2 * np.pi * n
    print("    Monopole charge n = {}: flux = {:.4f}, c_1 = {}".format(n, flux, n))
print()

# ============================================================
# 2. Chern classes of higher-rank bundles
# ============================================================
print("  CHERN CLASSES OF U(n) BUNDLES")
print("  " + "-" * 50)
print()
print("  Total Chern class: c(E) = det(I + (i/2pi) F)")
print("  c_0 = 1")
print("  c_1 = (i/2pi) Tr(F)")
print("  c_2 = (1/2)(c_1^2 - (1/2pi)^2 Tr(F^2))")
print()
print("  For SU(n) bundles: c_1 = 0 (traceless)")
print("  The first nontrivial class is c_2 (instanton number)")
print()

# SU(2) instanton on S^4: c_2 = k (instanton number)
print("  SU(2) instantons on S^4:")
print("    c_2 = k = (1/8pi^2) integral Tr(F ^ F)")
for k in range(1, 5):
    action = 8 * np.pi**2 * k
    print("    k = {}: action = 8 pi^2 k = {:.4f}".format(k, action))
print()

# ============================================================
# 3. Pontryagin classes
# ============================================================
print("  PONTRYAGIN CLASSES")
print("  " + "-" * 50)
print()
print("  For a real vector bundle E:")
print("    p_k(E) = (-1)^k c_{2k}(E_C) in H^{4k}(M, Z)")
print("  where E_C = E tensor C is the complexification.")
print()
print("  First Pontryagin class:")
print("    p_1 = -(1/8pi^2) integral Tr(R ^ R)")
print("  where R is the SO(n) curvature.")
print()

# Pontryagin numbers for 4-manifolds
manifolds_4d = [
    ("S^4", 0, 2),
    ("CP^2", 3, 3),
    ("S^2 x S^2", 0, 4),
    ("K3 surface", 48, 24),
]

print("  4-manifold Pontryagin and Euler numbers:")
for name, p1, chi in manifolds_4d:
    sigma = p1 / 3  # Hirzebruch signature
    print("    {}: p_1 = {}, chi = {}, signature = {:.1f}".format(
        name, p1, chi, sigma))
print()

# ============================================================
# 4. Euler class
# ============================================================
print("  EULER CLASS")
print("  " + "-" * 50)
print()
print("  For an oriented rank-2k real bundle E:")
print("    e(E) in H^{2k}(M, Z)")
print("    e(E) ^ e(E) = p_k(E)  (Euler squared = top Pontryagin)")
print()
print("  For the tangent bundle:")
print("    integral_M e(TM) = chi(M) (Euler characteristic)")
print()

surfaces = [
    ("S^2", 2), ("T^2", 0), ("RP^2", 1),
    ("Sigma_2", -2), ("Sigma_3", -4),
]

for name, chi in surfaces:
    print("    {}: chi = {}, integral e(TM) = {}".format(name, chi, chi))
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 numbers (monopole flux quantization)
ax1 = axes[0, 0]
n_vals = np.arange(-5, 6)
fluxes = 2 * np.pi * n_vals
colors_bar = ['#f472b6' if n < 0 else '#34d399' if n > 0 else '#6b7280' for n in n_vals]
ax1.bar(n_vals, fluxes, color=colors_bar, alpha=0.7, edgecolor='#2dd4bf')
ax1.set_xlabel('Chern number c_1', color='#5eead4')
ax1.set_ylabel('Magnetic flux', color='#5eead4')
ax1.set_title('Flux Quantization: c_1 = n', color='#99f6e4', fontsize=12, fontweight='bold')

# Plot 2: Instanton action vs topological charge
ax2 = axes[0, 1]
k_vals = np.arange(0, 8)
actions = 8 * np.pi**2 * k_vals
ax2.plot(k_vals, actions, 'o-', color='#2dd4bf', linewidth=2, markersize=8)
ax2.set_xlabel('Instanton number k', color='#5eead4')
ax2.set_ylabel('Yang-Mills action', color='#5eead4')
ax2.set_title('SU(2) Instanton Action = 8pi^2 k', color='#99f6e4', fontsize=12, fontweight='bold')

# Plot 3: Curvature density for monopole on S^2
ax3 = axes[1, 0]
theta_plot = np.linspace(0.01, np.pi - 0.01, 300)
for n in [1, 2, 3]:
    F_density = n * np.sin(theta_plot) / (4 * np.pi)
    ax3.plot(theta_plot, F_density, linewidth=2.5, label='n = {}'.format(n))
ax3.set_xlabel('theta', color='#5eead4')
ax3.set_ylabel('Curvature density', color='#5eead4')
ax3.set_title('Monopole Curvature on S^2', color='#99f6e4', fontsize=12, fontweight='bold')
ax3.legend(facecolor='#111111', edgecolor='#134e4a', labelcolor='#99f6e4')

# Plot 4: Pontryagin numbers of 4-manifolds
ax4 = axes[1, 1]
names = [m[0] for m in manifolds_4d]
p1_vals = [m[1] for m in manifolds_4d]
chi_vals = [m[2] for m in manifolds_4d]
x_pos = np.arange(len(names))
width = 0.35
ax4.bar(x_pos - width/2, p1_vals, width, color='#2dd4bf', alpha=0.7, label='p_1')
ax4.bar(x_pos + width/2, chi_vals, width, color='#f59e0b', alpha=0.7, label='chi')
ax4.set_xticks(x_pos)
ax4.set_xticklabels(names, color='#99f6e4', fontsize=9)
ax4.set_ylabel('Topological invariant', color='#5eead4')
ax4.set_title('4-Manifold Invariants', color='#99f6e4', fontsize=12, fontweight='bold')
ax4.legend(facecolor='#111111', edgecolor='#134e4a', labelcolor='#99f6e4')

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="Characteristic Classes 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 Classes

Integer cohomology classes of complex bundles, computed from $\det(I + \frac{i}{2\pi}F)$. The first Chern class quantizes magnetic charge; the second counts instantons.

Pontryagin Classes

Characteristic classes of real bundles in degrees $4k$. The Hirzebruch signature theorem relates $p_1$ to the intersection form. They control gravitational anomalies.

Euler Class

Built from the Pfaffian of curvature. Its integral over the manifold gives the Euler characteristic. It is the obstruction to a nowhere-vanishing section.

Stiefel-Whitney Classes

Mod-2 classes detecting orientability ($w_1$) and spin structure existence ($w_2$). Essential for defining fermion fields on a manifold.

← Gauge Connections Next: Chern-Weil Theory →