Aleksandrov–Čech cohomology

Aleksandrov–Čech cohomology
Name	Aleksandrov–Čech cohomology
Field	Algebraic topology
Introduced	1930s
Founders	Pavel Aleksandrov; Eduard Čech
Related	Čech cohomology; Alexander duality; sheaf cohomology

Aleksandrov–Čech cohomology is an early form of cohomology theory developed in the 1930s through collaborations and parallel work by Pavel Aleksandrov and Eduard Čech that influenced later developments in algebraic topology, sheaf theory, and homological algebra. It provides an approach to assign graded abelian groups to topological spaces using inverse limits over covers, and it played a role in motivating formalisms used by researchers associated with institutions such as Steklov Institute of Mathematics, Princeton University, and Institut des Hautes Études Scientifiques. The construction contributed to techniques later formalized by mathematicians at École Normale Supérieure, University of Göttingen, and Harvard University.

Definition and basic construction

The definition proceeds by choosing an open cover of a topological space X and forming the Čech nerve associated to that cover, then computing cohomology of the nerve with coefficients in an abelian group such as ℤ. Foundational contributors including Pavel Aleksandrov and Eduard Čech described taking direct systems or inverse limits over refinements of covers, a procedure that resonated with work at Moscow State University and in correspondence with researchers at University of Cambridge and University of Warsaw. The basic construction uses simplicial cochains on nerves akin to constructions appearing in the work of Hassler Whitney and was later compared with singular theory developed by figures associated with Lebesgue and Oswald Veblen.

Formally, for an open cover U of X one forms groups C^p(N(U); G) of p-cochains on the nerve N(U) with coefficients in an abelian group G, and the cohomology H^p(N(U); G) is taken; Aleksandrov–Čech cohomology is the colimit (or limit, depending on convention) of these groups over refinements of covers. This procedure parallels inverse limit constructions studied at Institute for Advanced Study and influenced expositions at University of Chicago.

Properties and axioms

Aleksandrov–Čech cohomology satisfies Eilenberg–Steenrod style properties in many contexts and exhibits excision-like behavior for suitable classes of spaces, connecting historically to axiomatics developed by Samuel Eilenberg and Norman Steenrod. It is homotopy invariant for paracompact or locally contractible spaces, a property analyzed in seminars at Massachusetts Institute of Technology and in lectures by scholars associated with Princeton University Press. The theory admits Mayer–Vietoris sequences related to classical sequences attributed to work at Cambridge University Press and ties into duality theorems resembling Alexander duality as studied by researchers at Columbia University.

Contrasts with other cohomology theories were highlighted in correspondence among mathematicians at University of Göttingen, University of Paris, and University of Warsaw; for pathological spaces constructed by figures connected to Sierpiński and Menger, Aleksandrov–Čech cohomology can differ from singular cohomology. Its functoriality under continuous maps is consistent with transformations studied by contributors to Transactions of the American Mathematical Society and respects group structures explored at Institute of Mathematics of the Romanian Academy.

Relation to Čech and singular cohomology

Aleksandrov–Čech cohomology prefigures and overlaps with what later became standard Čech cohomology: both use nerves of covers, but Aleksandrov’s and Čech’s original formulations emphasized inverse-limit processes and certain cover families chosen in concrete applications at Moscow State University and Charles University in Prague. In many classical settings — notably for CW complexes and manifolds studied at University of Oxford and Sorbonne — Aleksandrov–Čech cohomology agrees with singular cohomology developed in the context of Henri Lebesgue-style measure-theoretic foundations and later formalized by researchers at Princeton University.

Deviations occur for non-paracompact or highly pathological spaces; counterexamples trace to constructions influenced by work of Wacław Sierpiński, Karl Menger, and pathological continua analyzed at University of Warsaw. Sheaf-theoretic reinterpretations by scholars affiliated with École Normale Supérieure and University of Göttingen recast Čech-type theories as derived functors, linking Aleksandrov–Čech constructions to sheaf cohomology and to categorical frameworks promoted at Institute for Advanced Study.

Computation and examples

Computations for compact manifolds follow classical patterns: for an n-dimensional closed oriented manifold M studied at University of Cambridge or Harvard University, the Aleksandrov–Čech groups recover cohomology groups isomorphic to those computed by singular theory, with Betti numbers matching invariants investigated by Henri Poincaré and later authors at University of Bonn. For simplicial complexes and CW complexes used by researchers at Princeton University and Institute for Advanced Study, nerve computations reduce to simplicial cohomology calculations familiar from projects at University of Chicago.

Explicit examples showing divergence involve spaces like the Čech–Stone compactification related constructions examined at University of California, Berkeley and exotic examples crafted by members of schools at Moscow State University and University of Warsaw. Aleksandrov–Čech cohomology computations for inverse limits of spaces — a topic treated in seminars at Humboldt University of Berlin — illustrate behavior under inverse systems, with spectral sequences analogous to those used in research at Princeton University and University of Oxford facilitating calculations.

Applications and significance

Aleksandrov–Čech cohomology influenced the development of sheaf theory as formalized by researchers at École Normale Supérieure and Institute for Advanced Study, and it informed duality theorems and calculations in geometric topology pursued at University of Chicago and Columbia University. The approach has been used historically in classification problems for continua studied by mathematicians associated with University of Warsaw and in the study of compactifications investigated at University of California, Berkeley.

Its conceptual legacy appears in modern treatments of cohomology in algebraic and differential settings taught at Harvard University, University of Cambridge, and Princeton University, and in the integration of cover-based techniques into categorical and homological frameworks promoted by scholars at Institute for Advanced Study and École Polytechnique. Category:Algebraic topology