Künneth theorem

Künneth theorem
Name	Künneth theorem
Field	Algebraic topology
Introduced	1920s
Contributors	Hermann Künneth

Künneth theorem The Künneth theorem provides fundamental formulae relating the homology and cohomology of a product space to the homology and cohomology of its factors, with applications across Lefschetz fixed-point theorem, Poincaré duality, Alexander duality and computations in Cech cohomology, de Rham cohomology, and Hochschild homology. It connects constructions used in work of Henri Cartan, Samuel Eilenberg, Samuel Mac Lane, Jean-Pierre Serre and the development of spectral sequences by Jean Leray and John Milnor.

Statement

The classic statement gives an isomorphism for singular homology and singular cohomology of a product of topological spaces: under suitable finiteness or field-coefficient hypotheses, there is a natural splitting expressing H_*(X × Y) or H^*(X × Y) in terms of tensor products and Tor or Ext pieces built from H_*(X), H_*(Y), H^*(X), H^*(Y). This formulation arises in the classical corpus alongside results of Émile Borel and complements results like Mayer–Vietoris sequence, Universal Coefficient Theorem, and foundational categories such as Abelian category theory developed by Alexander Grothendieck.

Algebraic topology applications

The theorem is routinely used in calculations related to Homotopy groups of spheres, computations on products of manifolds such as those appearing in Poincaré conjecture discussions and in the study of configuration spaces that feature in work by Michael Farber and Raoul Bott. It underpins formulas in manifold theory used by William Thurston and Mikhail Gromov and appears in analyses of fibrations considered by Serre spectral sequence users like Jean-Pierre Serre and J. H. C. Whitehead. Within algebraic K-theory settings related to Daniel Quillen and cyclic homology contexts studied by Jean-Louis Loday, the Künneth phenomena influence product decompositions and dualities exploited in the work of Max Karoubi.

Homological and cohomological versions

There are parallel homological and cohomological statements: the homological version expresses H_n(X×Y;R) via ⊕_{p+q=n} H_p(X;R) ⊗_R H_q(Y;R) plus Tor_R terms, while the cohomological version provides a map from H^*(X;R) ⊗_R H^*(Y;R) to H^*(X×Y;R) that is an isomorphism under flatness or field-coefficient hypotheses. These formulations tie into the Universal Coefficient Theorem, interact with cup and cap products studied in Élie Cartan-style algebraic topology, and are utilized by researchers such as John Morgan and Dennis Sullivan in rational homotopy and differential forms frameworks derived from de Rham theorem techniques.

Proofs and methods

Proofs employ algebraic techniques from homological algebra developed by Samuel Eilenberg and Samuel Mac Lane, including projective resolutions, Tor and Ext functors, and the Künneth spectral sequence introduced in the lineage of Cartan–Eilenberg homological algebra. Alternative proofs use cellular homology for CW complexes as in texts by J. H. C. Whitehead and Allen Hatcher, simplicial methods appearing in the work of Henri Cartan and Jean-Pierre Serre, or de Rham methods associated with Élie Cartan and W. V. D. Hodge for smooth manifolds. Derived category approaches inspired by Grothendieck and applied by Joseph Bernstein and Pierre Deligne reframe the theorem as an instance of tensor-hom adjunction and derived functor computations.

Examples and computations

Concrete computations include H_*(S^m × S^n) and H^*(CP^n × CP^m), where classical calculations appearing in Élie Cartan-era literature and modern expositions by Bott and Tu illustrate the tensor decomposition and the emergence of Tor terms over integer coefficients. Applications compute cohomology rings of Lie group products such as SU(n) × SO(m), and examples involving tori, lens spaces studied in work by P. A. Smith, and products of complex projective varieties encountered in research by André Weil and Alexander Grothendieck show how the theorem interfaces with intersection theory and the Hodge conjecture-related structures.

Generalizations and spectral sequences

Generalizations include the Künneth spectral sequence, the Eilenberg–Moore spectral sequence for pullbacks used by Graham Whitehead-style homotopy theorists and computations in rational homotopy theory by Dennis Sullivan, and Künneth-type results in K-theory and cyclic homology developed by Connes and Quillen. Derived functor generalizations live in the derived category frameworks of Grothendieck and Bernstein–Deligne contexts, while equivariant and parametrized versions appear in studies involving Atiyah–Bott localization, equivariant cohomology by Michael Atiyah and Raoul Bott, and analyses of sheaf cohomology on products in the style of Serre duality and Grothendieck duality.

Category:Theorems in algebraic topology