Office Hours/📐 Mathematics/05
Mathematics · Document 6

Algebraic Topology

Homology, cohomology, and counting holes with algebra

1. What is Algebraic Topology?

Algebraic topology converts topological problems into algebraic ones. Instead of asking "what shape is this?", we ask "what algebraic invariants does it have?"

Topology:
Are these two spaces the same shape?
Algebraic Topology:
Compare their homology groups!
Key idea: If two spaces have different algebraic invariants (like Betti numbers), they cannot be topologically equivalent!

2. Homology: Counting Holes

Homology counts the "holes" in a space systematically. The n-th Betti number bₙ counts n-dimensional holes.

🎮 Interactive: Betti Numbers
b₀ (connected components)
1
b₁ (1-cycles / holes)
2
b₂ (2-cycles / voids)
1
Euler χ
0
αβ
Key formula: χ = b₀ - b₁ + b₂ - b₃ + ... (alternating sum of Betti numbers)

What Betti Numbers Count

Betti #CountsExample
b₀Connected componentsTwo separate circles: b₀ = 2
b₁1D holes (loops that can't shrink)Torus: b₁ = 2
b₂2D holes (voids, cavities)Sphere: b₂ = 1
b₁(T³)= 3Three generations!
b₁(T³) = 3
The first Betti number of T³ gives three particle generations

3. Cohomology: Dual Perspective

Cohomology is the dual of homology — instead of counting cycles, we study differential forms. Cohomology classes are closed forms modulo exact forms.

🎮 Interactive: Forms and Their Duals
p-form (cohomology)
1-forms
f dx + g dy
Dual p-chain (homology)
curves
Integrate p-forms over curves
Hᵖ(M)Hₚ(M)(Poincaré duality)
Exterior derivative: d raises degree by 1
df = (∂f/∂x)dx + (∂f/∂y)dy + (∂f/∂z)dz
Closed forms: dω = 0. Exact forms: ω = dα.
Hᵖ(M) = {closed p-forms} / {exact p-forms} = ker(d) / im(d)
Cohomology group

The Exterior Derivative

d²= 0: Applying d twice always gives zero

Closed: dω = 0 (ω has no "boundary")

Exact: ω = dα (ω is a "boundary")

Cohomology: Closed forms that aren't exact

4. De Rham Theorem

The de Rham theorem is a profound connection: differential forms (analysis) encode the same information as homology (topology)!

🎮 Interactive: Integration Pairs Forms with Cycles
γ (cycle)
De Rham Theorem
H*_dR(M)H*(M; ℝ)
Differential forms ↔ Topology (via integration over cycles)
Pairing: The integral ∮_γ ω pairs a 1-form ω with a 1-cycle γ. If ω is closed (dω = 0) and γ is a cycle (∂γ = 0), the result depends only on cohomology/homology classes!
H*_dR(M) ≅ H*(M; ℝ)
De Rham Theorem
Integration connects analysis and topology: The integral ∮_γ ω of a closed form over a cycle gives a topological invariant.

5. Homology of the 3-Torus

The 3-torus T³ = S¹ × S¹ × S¹ has rich homological structure:

H₀(T³)
b₀ = 1
H₁(T³)
ℤ³
b₁ = 3
H₂(T³)
ℤ³
b₂ = 3
H₃(T³)
b₃ = 1

The Three 1-Cycles

The three independent 1-cycles on T³ correspond to going around each of the three S¹ factors:

γ₁
Around first S¹
γ₂
Around second S¹
γ₃
Around third S¹

6. Connection to Z² Framework

b₁(T³) = 3
Three 1-cycles on T³ give three generations of quarks and leptons
H₁(T³/Z₂)
Orbifold projection modifies homology, selecting chiral spectrum
∮ A
Wilson lines (integrals of gauge fields over cycles) give masses

Why Algebraic Topology Matters

  • Betti numbers: b₁(T³) = 3 explains three generations
  • Cohomology: Differential forms describe gauge fields
  • De Rham theory: Connects field equations to topology
  • Intersection numbers: Count D-brane intersections

Exercises

  1. Calculate the Betti numbers of a Klein bottle. (Hint: b₁ = 1)
  2. Show that χ = b₀ - b₁ + b₂ gives χ = 0 for the torus T².
  3. Why is b₁(T³) = 3 while b₁(T²) = 2? (Hint: product rule)
  4. If df = 0 on a simply connected space, show f is constant.
  5. The sphere S² has b₁ = 0. What does this mean for loops on S²?