Surface Fundamental Groups

Algebraic Topology · Axiom Academy

EXAMPLE Surface Fundamental Groups Computing π₁ for orientable surfaces of genus g Excellent work! You've computed the fundamental group for orientable surfaces. Here's what we learned: Genus Classification: The genus g counts the number of "holes" in a surface. A sphere has g = 0, a torus has g = 1, and higher genus surfaces are "multi-holed toruses". Systematic Computation: Using polygon representation and CW complex structure, we can compute π₁ for any orientable surface by tracking edge identifications. Commutator Relation: The single relation [a₁,b₁]⋯[aₘ,bₘ] = e captures all dependencies. Each handle contributes a commutator [aᵢ,bᵢ] = aᵢbᵢaᵢ⁻¹bᵢ⁻¹. Special Cases: For g = 0 (sphere): π₁ = e . For g = 1 (torus): π₁ = ⟨a,b | [a,b]⟩ ≅ ℤ². For g ≥ 2: π₁ is a non-abelian group with 2g generators. This formula demonstrates the beautiful connection between topology (genus) and algebra (fundamental group presentation)!

This is the written version of the interactive lesson above. See the full Algebraic Topology course.