Čech cohomology

Čech cohomology
Name	Čech cohomology
Field	Algebraic topology
Introduced	1930s
Introduced by	Eduard Čech

Čech cohomology.

Introduction

Čech cohomology was developed in the 1930s by Eduard Čech and emerged within the milieu of Prague and Czechoslovakia mathematical activity influenced by contemporaries such as Hermann Weyl, Emil Artin, André Weil, and institutions like the University of Prague, University of Göttingen, and École Normale Supérieure; it provided a sheaf-theoretic and open-cover approach that intertwined with work at the Institute for Advanced Study, the University of Cambridge, and the French Academy of Sciences while later interacting with projects at the Institute of Mathematics of the Polish Academy of Sciences, the Massachusetts Institute of Technology, and the University of Chicago.

Definitions and Constructions

A standard construction uses open covers: for a topological space X choose an open cover indexed by a set I and form the nerve complex related to the cover as in constructions appearing in work at the University of Göttingen and the École Polytechnique, drawing on combinatorial ideas related to the Sperner's lemma and methods familiar to researchers at the Courant Institute and the Steklov Institute; one then defines cochain groups, cocycles, and coboundaries that echo algebraic frameworks studied at the Institute for Advanced Study and formalized in seminars at the Institute des Hautes Études Scientifiques.

The passage to direct limits over refinements of covers mirrors categorical techniques coming from the Category Theory program advanced by people connected to the University of Chicago and the Université Paris-Sud, and the use of coefficients in a presheaf or sheaf reflects the influence of sheaf theory as developed by contributors associated with the École Normale Supérieure, the University of Paris, and the Collège de France.

Computation and Examples

Classic computations include the Čech cohomology of spheres, tori, and projective spaces—examples computed in texts associated with the Princeton University Press and taught in courses at Harvard University, Stanford University, and University of California, Berkeley—where nerves of good covers reduce computations to simplicial cohomology methods familiar from courses at the University of Oxford and the University of Cambridge.

Counterexamples showing divergence from singular cohomology for pathological spaces were discussed in seminars at the University of Michigan and counterexample catalogs maintained by researchers affiliated with the American Mathematical Society, and explicit computations for fractal sets or non-paracompact spaces appear in expositions linked to the London Mathematical Society and the Russian Academy of Sciences.

Examples using sheaves of continuous functions, locally constant sheaves, and constant coefficient systems appear in lecture notes from the Courant Institute, the Max Planck Institute for Mathematics, and the Mathematical Sciences Research Institute, where Čech cohomology groups are computed for line bundles and principal bundles constructed in the tradition of the Institut des Hautes Études Scientifiques and the University of Bonn.

Relations to Other Cohomology Theories

Čech cohomology relates to singular cohomology through comparison maps treated in monographs published by the American Mathematical Society and compared in courses at the University of Cambridge, the University of Oxford, and the École Polytechnique; for paracompact Hausdorff spaces these maps are isomorphisms, a fact emphasized in expositions linked to the Princeton University and the Institute for Advanced Study.

Its relationship with sheaf cohomology is central: seminal developments at the École Normale Supérieure, the University of Paris, and the Institut des Hautes Études Scientifiques showed equivalence under appropriate conditions, and connections to de Rham cohomology were clarified in the context of work associated with the Institute for Advanced Study, the École Normale Supérieure, and research groups at the University of Bonn.

Comparisons with Alexander–Spanier cohomology and Čech–de Rham isomorphisms were examined in research programs at the Max Planck Institute for Mathematics, the Mathematical Sciences Research Institute, and the Institut des Hautes Études Scientifiques, and influenced later interactions with étale cohomology as developed within projects connected to the Institute for Advanced Study, Grothendieck, and the Université de Paris.

Properties and Functoriality

Čech cohomology is contravariant and functorial for continuous maps, properties discussed in lecture series at the University of Cambridge, Harvard University, and the University of Chicago, and these functorial maps interact with long exact sequences in ways elaborated in treatises from the American Mathematical Society and the London Mathematical Society.

Under hypotheses such as paracompactness or finiteness conditions often assumed in seminars at the Courant Institute and the Max Planck Institute, Čech cohomology satisfies excision-like properties and Mayer–Vietoris sequences used in computations at the École Normale Supérieure and the University of Oxford; cup product structures and graded-commutativity reflect algebraic features emphasized in courses at the Institute for Advanced Study and the Mathematical Sciences Research Institute.

Applications and Uses

Applications span classification problems for fiber bundles and line bundles treated in expositions from the Princeton University Press and applied topology projects at the Massachusetts Institute of Technology and the University of California, Berkeley; Čech cohomology also appears in obstruction theory discussions at the Institute for Advanced Study, the Courant Institute, and seminars organized by the American Mathematical Society.

It plays a role in analytic contexts connecting to Hodge theory and complex geometry explored at the Institute des Hautes Études Scientifiques and the École Normale Supérieure, and in algebraic geometry through analogues like étale cohomology developed in the schools of Alexandre Grothendieck associated with the Institut des Hautes Études Scientifiques and the Université de Paris.

Category:Algebraic topology