Kunneth theorem

Let $X$, $Y$ be topological spaces. One can ask a question: how homology of $X\times Y$ are related to homologies of $X$ and $Y$. The answer to this question depends on the homology theory we’re talking about and also the coefficients ring. On the other hand, it is well known, that all homology theories are isomorphic on CW-complexes. Thus we may restrict to CW-complexes. Nevertheless the following theorem is more general:

Theorem. (Kunneth) Assume, that $X$, $Y$ are topological spaces and $R$ is a principal ideal domain. Denote by $H_{\mathrm{*}}\mathit{}\mathrm{(}X\mathrm{,}R\mathrm{)}$ the singular homology with coefficients in $R$. Then, for any $k\mathrm{>}\mathrm{0}$ there exists following short exact sequence in the category of $R$-modules:

$$0\to \underset{i+j=k}{\oplus }{H}_i(X,R){\otimes }_R{H}_j(Y,R)\to H_k(X\times Y,R)\to \underset{i+j=k-1}{\oplus }{\mathrm{Tor}}_1^R(H_i(X,R),H_j(Y,R))\to 0,$$

where $\mathrm{Tor}$ denotes the Tor functor. Furthermore this sequence splits, i.e. the middle term is a direct sum (up to an isomorphism) of left and right term.

It should be mentioned, that if $R=𝔽$ is a field, then the Tor functor is always trivial (i.e. ${\mathrm{Tor}}_1^{𝔽}(M,N)=0$ for all vector spaces $M,N$ over $𝔽$) and in this case Kunneth formula can be stated as

$$H_k(X\times Y,𝔽)\simeq \underset{i+j=k}{\oplus }{H}_i(X,𝔽){\otimes }_{𝔽}{H}_j(Y,𝔽)$$

for any $k>0$.

Title	Kunneth theorem
Canonical name	KunnethTheorem
Date of creation	2013-03-22 19:13:57
Last modified on	2013-03-22 19:13:57
Owner	joking (16130)
Last modified by	joking (16130)
Numerical id	7
Author	joking (16130)
Entry type	Theorem
Classification	msc 55N10
Synonym	Kunneth formula
Synonym	Kunneth’s formula
Synonym	Kunneth’s theorem
Synonym	Kunneth theorem