homology group

homology group
Name	Homology group
Field	Algebraic topology
Introduced	1930s
Notable	Henri Poincaré; Emmy Noether; Solomon Lefschetz

homology group

A homology group is an algebraic invariant assigning to a topological space a sequence of abelian groups that detect global features such as holes and connectivity. Introduced in the early 20th century by pioneers like Henri Poincaré, Solomon Lefschetz, and refined by Emmy Noether, homology groups link topological spaces with algebraic objects to enable classification, computation, and comparison across contexts from Poincaré conjecture discussions to computations in Algebraic topology and applications in Morse theory, K-theory, Singularity theory, and Algebraic geometry.

Definition and intuition

Intuitively, a homology group measures cycles modulo boundaries: closed subspaces that fail to bound higher-dimensional pieces represent nontrivial elements. Building on ideas of Henri Poincaré and formalized by Emmy Noether and Hermann Weyl, the construction uses chain complexes, boundary operators, and the passage to quotient groups to produce H_n for each integer n. These groups are central in results like the Poincaré duality theorem, computations in Lefschetz fixed-point theorem, and constraints in the Hurewicz theorem relating homotopy groups to homology groups. Homology groups are functorial and are used alongside invariants such as the Euler characteristic and Betti numbers in classification problems encountered by mathematicians like John Milnor and Raoul Bott.

Singular and simplicial homology

Two standard constructions are singular homology and simplicial homology. Singular homology uses singular simplices—continuous maps from standard simplices—reflecting work of Samuel Eilenberg and Norman Steenrod and interfacing with homological algebra developed by Hermann Weyl and Emmy Noether. Simplicial homology applies to simplicial complexes and is computationally convenient for complexes arising from triangulations studied by J. H. C. Whitehead and Alfred H. Stone. Both theories produce isomorphic homology groups for triangulable spaces by the triangulation results of Raoul Bott and techniques attributed to André Weil and H. Hopf. The equivalence underlies comparisons in proofs such as the Alexander duality theorem and in algorithmic topology approaches used by researchers following the traditions of Steve Smale and William Thurston.

Computation and examples

Concrete computations illustrate the power of homology groups. For the n-sphere S^n, classical calculations by Henri Poincaré and Solomon Lefschetz yield H_0 ≅ Z and H_n ≅ Z with all other H_k = 0, giving rise to Betti numbers used by Élie Cartan and H. Cartan in differential topology. For the torus T^2, homology detects two independent 1-cycles and one 2-cycle, a computation appearing in texts by John Milnor and James Munkres. Cellular homology, introduced in the work influenced by J. H. C. Whitehead and applied by Raoul Bott, simplifies calculations for CW complexes such as projective spaces Real projective space, Complex projective space, and lens spaces studied by John Milnor and William Browder. Knot complements and link complements, central to the work of Vaughan Jones and William Thurston, yield homology groups carrying information used alongside invariants like the Alexander polynomial.

Algebraic properties and functoriality

Homology groups are functors from the category of topological spaces (with continuous maps) to the category of abelian groups, preserving composition and identities; this functoriality is foundational in developments by Samuel Eilenberg and Saunders Mac Lane. Exact sequences, such as the long exact sequence in homology for pairs, arise from short exact sequences of chain complexes and are tools used by Henri Cartan and Jean-Pierre Serre. Additional algebraic properties include Mayer–Vietoris sequences, cup and cap product structures interacting with cohomology theories developed by Norman Steenrod and Jean Leray, and finiteness results important in the work of Alexander Grothendieck and Serre on finiteness and duality. Functorial maps induced by continuous maps are used in fixed-point results like the Lefschetz fixed-point theorem and in classification results pursued by Frederick Almgren and Dennis Sullivan.

Relative and reduced homology

Relative homology groups H_n(X,A) compare a space X with a subspace A and were formalized in the algebraic framework advanced by Samuel Eilenberg and Norman Steenrod. They fit into long exact sequences relating H_n(A), H_n(X), and H_n(X,A), enabling excision arguments used in proofs attributed to P. A. Smith and in computations on pairs such as (disk, boundary) giving the fundamental computation for spheres. Reduced homology groups ~H_n adjust H_0 to make connectedness behave uniformly and are standard in treatments by James Munkres and Allen Hatcher. Both variants are indispensable in duality theorems like Poincaré duality for manifolds studied by L. Pontryagin and in spectral sequence arguments used by Jean Leray and J. H. C. Whitehead.

Homology with coefficients and universal coefficient theorem

Replacing integer coefficients by modules over a ring or a field yields homology with coefficients, a flexibility exploited in computations across algebraic topology, algebraic geometry, and topological data analysis by figures like Beno Eckmann and Gunnar Carlsson. The universal coefficient theorem, developed in the algebraic traditions of Emmy Noether and Samuel Eilenberg, relates homology with arbitrary coefficients to integral homology via Ext and Tor functors; this theorem appears in treatments by John Milnor and Hatcher. Working modulo primes or over fields such as Z/pZ simplifies structure via vector space methods and connects to cohomology operations like Steenrod squares developed by Norman Steenrod and to spectral sequences such as the Serre spectral sequence introduced by Jean-Pierre Serre.

Category:Algebraic topology