Cohomology Groups

Algebraic Topology · Axiom Academy

Understanding the dual theory to homology through cocycles and coboundaries 1. Definition of Cohomology Groups Given a cochain complex with coboundary maps δ, the n-th cohomology group measures cocycles modulo coboundaries: where Ker(δ n ) consists of cocycles and Im(δ n-1 ) consists of coboundaries . The cochain complex flows in the opposite direction from the chain complex: Understanding the elements that form cohomology groups: A cochain φ ∈ C n (X; G) is a cocycle if δ n (φ) = 0. Coboundaries: Elements of Im(δ) A cochain φ ∈ C n (X; G) is a coboundary if φ = δ n-1 (ψ) for some ψ ∈ C n-1 (X; G). The animation shows how coboundaries are always cocycles (since δ ∘ δ = 0): Cohomology and homology are dual theories with parallel structures but different behaviors: Measures cycles mod boundaries Measures cocycles mod coboundaries 4. H 0 (X) and Basic Computations The zeroth cohomology group has a concrete interpretation: This counts the number of path-connected components of X. For a space with k components: H 0 (S 1 ; Z) ≅ Z (one component) H 1 (S 1 ; Z) ≅ Z (one independent loop)

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