Singular homology

Singular homology
Name	Singular homology
Field	Algebraic topology
Introduced	1930s
Contributors	Eilenberg, Steenrod, Hurewicz
Related	Homotopy theory, Simplicial homology, de Rham cohomology

Singular homology

Singular homology is a foundational construction in algebraic topology that assigns to each topological space a sequence of abelian groups called homology groups, capturing global features such as connectivity and holes. Developed through work by Samuel Eilenberg, Norman Steenrod, and Witold Hurewicz, it provides tools used across research associated with Henri Poincaré conjectures, applications in René Thom's cobordism theory, and computational methods tied to algorithms from Donald Knuth-era combinatorics.

Introduction

Singular homology formalizes the idea of counting cycles and boundaries in a topological space using maps from standard simplexes; this approach complements earlier geometric intuitions by figures like Poincaré and algebraic frameworks advanced by Emmy Noether and David Hilbert. It bridges constructions from Simplicial homology, techniques appearing in Homology theory expositions by Hatcher and axiomatic treatments in the work of Eilenberg and Steenrod. The theory underlies proofs of the Brouwer fixed-point theorem, supports invariants used in Morse theory by Marston Morse, and informs index calculations appearing in the Atiyah–Singer index theorem by Michael Atiyah and Isadore Singer.

Singular chains and homology groups

A singular n-simplex is a continuous map from the standard n-simplex (a simplex studied by Bernhard Riemann in geometric contexts) into a space; chains form free abelian groups generated by such maps, paralleling algebraic structures in the work of Emmy Noether and André Weil. The boundary operator, inspired by orientation conventions used by Hermann Weyl and constructions appearing in Lefschetz fixed-point theorem proofs, yields a chain complex whose homology groups are the quotient of cycles by boundaries. Exact sequences, as formalized in the algebraic settings of Samuel Eilenberg and Saunders Mac Lane, allow for manipulations analogous to those in the Five-lemma context from category-theoretic treatments by Mac Lane.

Computation techniques and examples

Practical computation uses simplicial approximation theorems linked to ideas from Poincaré and algorithmic reductions influenced by A. A. Markov and computational topology developments associated with Herbert Edelsbrunner. For CW complexes introduced by J. H. C. Whitehead, cellular homology simplifies calculations for spaces like spheres, tori, and lens spaces classified by work of Johann Benedikt Listing-era topology; Hurewicz theorem computations relate homology to homotopy groups as studied by Witold Hurewicz and extended in contexts by J. P. Serre. Examples: homology of the n-sphere recovers results connected to Euler characteristic computations used by Leonhard Euler in polyhedral studies, and torus homology computations reflect structures prominent in Carl Friedrich Gauss's topology-influenced work.

Algebraic properties and functoriality

Homology groups are functorial with respect to continuous maps, a perspective tied to category theory introduced by Eilenberg and Mac Lane, permitting induced homomorphisms used in classification problems studied by Jean-Pierre Serre and G. H. Hardy-era analysts. Long exact sequences of pairs and Mayer–Vietoris sequences, inspired by decomposition ideas in Henri Lebesgue measure theory contexts, enable algebraic control over attachments akin to methods in Seifert–van Kampen theorem proofs attributed to Heinz Seifert and Egbert van Kampen. Universal coefficient theorems and Künneth formulas, emergent from homological algebra advanced by Cartan and Eilenberg, connect homology with cohomology and tensor operations prominent in work by Alexander Grothendieck.

Relative and reduced homology

Relative homology groups, defined for pairs of spaces, encapsulate information about attachments and quotients appearing in constructions by J. H. C. Whitehead and manifest in excision results used in proofs influenced by Norman Steenrod. Reduced homology adjusts degree-zero behavior to align invariants with pointed spaces, facilitating computations in suspension contexts as studied by S. P. Novikov and enabling formulations of suspension isomorphisms evident in stable homotopy investigations by J. F. Adams and in phenomena examined by Michael J. Hopkins.

Connections to other homology theories and applications

Singular homology relates to simplicial, cellular, and singular cohomology via duality theorems such as Poincaré duality central to manifold theory explored by Hermann Minkowski-influenced geometry and applications to cobordism by René Thom. Comparison with de Rham cohomology, as proved in de Rham's theorem and utilized by Georges de Rham, links differential forms to singular chains through integration techniques employed in proofs by Jean Leray. Applications span fixed-point results like the Brouwer fixed-point theorem, data analysis methods in Topological data analysis rooted in persistent homology algorithms developed by Herbert Edelsbrunner and Gunnar Carlsson, and influences on modern fields investigated at institutions such as Institute for Advanced Study and projects in computational topology led by researchers affiliated with Massachusetts Institute of Technology and University of Cambridge.

Category:Algebraic topology