nLab Künneth theorem

Redirected from "Künneth isomorphism".
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Homological algebra

homological algebra

(also nonabelian homological algebra)

Introduction

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Schanuel's lemma

Homology theories

Theorems

Contents

Idea

A Künneth theorem is a statement relating the homology or cohomology of two objects XX and YY with that of their product X×YX \times Y.

In good situations it identifies the (co)homology of a product with the tensor product of the (co)homologies: H (X×Y,E)H (X,E)H (Y,E)H^\bullet(X \times Y, E) \simeq H^\bullet(X,E) \otimes H^\bullet(Y,E). But in general this simple relation receives corrections by Tor-groups.

Statement

In ordinary homology

We discuss the Künneth theorem in ordinary homology.

Let RR be a ring and write 𝒜=R\mathcal{A} = RMod for its category of modules. (For instance R=R = \mathbb{Z} the integers, in which case Mod \mathbb{Z} Mod \simeq Ab is the category of abelian groups. )

For N 1,N 2RModN_1, N_2 \in R Mod two modules, write N 1N 2RModN_1 \otimes N_2 \in R Mod for their tensor product of modules. Similarly for C ,C Ch (RMod)C_\bullet, C'_\bullet \in Ch_\bullet(R Mod) two chain complexes of RR-modules, write (C RC) (C \otimes_R C')_\bullet for their tensor product of chain complexes. Finally write Tor 1 R(N 1,N 2)Tor^R_1(N_1,N_2) for the first Tor-module of N 1N_1 with N 2N_2.

We discuss the Künneth theorem over RR in stages, starting with important special cases and then passing to more general statements.

  1. Over a field

  2. Over a principal ideal domain

  3. Over a general ring

All these versions hold for chain homology and tensor products of general chain complexes. But under the Eilenberg-Zilber theorem all these statements apply directly in particular to the singular homology of topological spaces and their products. This is discussed below in

Over a field

Let R=kR = k be a field.

Theorem

For R=kR = k a field, given two chain complexes of kk-vector spaces C ,C Ch (kVect)C_\bullet,C'_\bullet \in Ch_\bullet(k Vect), for each nn \in \mathbb{N} there is an isomorphism

m(H m(C ) kH nm(C ))H n(C kC ) \oplus_m \left( H_m\left(C_\bullet\right) \otimes_k H_{n-m}\left(C'_\bullet\right) \right) \stackrel{\simeq}{\to} H_n\left( C_\bullet \otimes_k C'_\bullet \right)

between the chain homology of the tensor product of chain complexes and the tensor product of abelian groups of chain homologies.

For a proof see the proof of theorem below, of which this is a special case.

Over a principal ideal domain

Let now RR be a ring which is a principal ideal domain. This may be a field as above, or for instance it may be the ring R=R = \mathbb{Z} of integers, in which case RR-modules are equivalently just abelian groups.

Theorem

For RR a principal ideal domain, given a chain complex C Ch (RMod)C_\bullet \in Ch_\bullet(R Mod) of free modules over RR and given any other chain complex C Ch (RMod)C'_\bullet \in Ch_\bullet(R Mod), then for each nn \in \mathbb{N} there is a short exact sequence of the form

0 k(H k(C ) RH nk(C ))H n(C RC ) kTor 1 R(H k(C ),H nk1(C ))0. 0 \to \oplus_k \left( H_k\left(C_\bullet\right) \otimes_R H_{n-k}\left(C'_\bullet\right) \right) \to H_n\left( C_\bullet \otimes_R C'_\bullet \right) \to \oplus_k Tor_1^R\left(H_k\left(C_\bullet\right), H_{n-k-1}\left(C'_\bullet\right)\right) \to 0 \,.

This appears for instance as (Hatcher, theorem 3B.5).

Remark

In the special case that CC' is concentrated in degree 0, this is the universal coefficient theorem in ordinary homology.

Remark

In particular if all the Tor-groups on the right vanish, then the theorem asserts an isomorphism

k(H k(C ) RH nk(C ))H n(C RC ). \oplus_k \left( H_k\left(C_\bullet\right) \otimes_R H_{n-k}\left(C'_\bullet\right) \right) \stackrel{\simeq}{\to} H_n\left( C_\bullet \otimes_R C'_\bullet \right) \,.

This is the case (assuming the axiom of choice) notably if RR is a field (since every module over a field is a free module – every vector space has a basis – and every free module is a flat module).

Proof

of theorem

Notice that since C kC_k is assumed to be free, hence a direct sum of RR with itself, since the tensor product of modules distributes over direct sums, and since chain homology respects direct sums, we have

(1)H n(C k RC)C k RH nk(C ). H_n(C_k \otimes_R C') \simeq C_k \otimes_R H_{n-k}(C'_\bullet) \,.

First consider now the special case that all the differentials of C C_\bullet are zero, so that H k(C )=C kH_k(C_\bullet) = C_k. In this case (1) yields H n(C k RC)H k(C ) RH nk(C )H_n(C_k \otimes_R C') \simeq H_k(C_\bullet) \otimes_R H_{n-k}(C'_\bullet) and therefore

H n(C RC) H n( kC k RC)) kH n(C k RC) kH k(C ) RH nk(C ). \begin{aligned} H_n(C \otimes_R C') &\simeq H_n(\oplus_k C_k \otimes_R C' )) \\ & \simeq \oplus_k H_n( C_k \otimes_R C' ) \\ & \simeq \oplus_k H_k(C_\bullet) \otimes_R H_{n-k}(C'_\bullet) \end{aligned} \,.

Since H k(C)=C kH_k(C) = C_k is a free module by assumption, it has no Tor-terms (by the discussion there) and hence this is the statement to be shown.

Now let C C_\bullet be a general chain complex of free modules. Notice that for each nn the cycle-chain-boundary-short exact sequence

0Z nkC nk nk1B n10 0 \to Z_{n-k} \hookrightarrow C_{n-k} \stackrel{\partial_{n-k-1}}{\to} B_{n-1} \to 0

splits due to the assumption that C nC_n is a free module, and hence (as discussed at split exact sequence) that it exhibits a direct sum decomposition C nZ nB n1C_n \simeq Z_n \oplus B_{n-1}. Since the tensor product of modules distributes over direct sum, it follows that tensoring with any C kC'_k yields another short exact sequence

0Z nk RC kC nk RC kB nk1 RC k0. 0 \to Z_{n-k} \otimes_R C'_k \to C_{n-k} \otimes_R C'_k \to B_{n-k-1} \otimes_R C'_k \to 0 \,.

This means that if we regard the graded modules Z Z_\bullet and B B_\bullet of chains and of boundaries as chain complexes with zero-differentials, then we have a short exact sequence of chain complexes

0Z RC C RC B 1 RC 0. 0 \to Z_\bullet \otimes_R C'_\bullet \to C_\bullet \otimes_R C'_\bullet \to B_{\bullet-1}\otimes_R C'_\bullet \to 0 \,.

This induces its homology long exact sequence of the form

H n(Z RC)H n(C× RC)H n1(B RC)H n1(Z RC). \cdots \to H_n( Z \otimes_R C') \to H_n( C \times_R C' ) \to H_{n-1}( B \otimes_R C' ) \to H_{n-1}( Z \otimes_R C' ) \to \cdots \,.

Here the terms involving the complexes BB and ZZ of boundaries and cycles may be evalutated, since these have zero differentials, via the special case discussed at the beginning of this proof to yield the long exact sequence

i n RC k(Z k RH nk(C))H n(C RC) k(B k RH nk1(C))i n1 k(Z k RH nk1(C)), \cdots \stackrel{i_n \otimes_R C'}{\to} \oplus_k ( Z_k \otimes_R H_{n-k}(C') ) \to H_n(C \otimes_R C') \to \oplus_{k}( B_k \otimes_R H_{n-k-1}(C') ) \stackrel{i_{n-1}}{\to} \oplus_k ( Z_k \otimes_R H_{n-k-1}(C') ) \to \cdots \,,

where i nH n(iC)i_n \coloneqq H_n(i \otimes C') is the morphism induced from the inclusion i:B Z i \colon B_\bullet \hookrightarrow Z_\bullet of boundaries into cycles.

This means that by quotienting out an image on the left and a kernel on the right, we obtain a short exact sequence

0coker(i n)H n(C RC)ker(i n1)0. 0 \to coker(i_n) \to H_n(C \otimes_R C') \to ker(i_{n-1}) \to 0 \,.

Since the tensor product of modules is a right exact functor it commutes with the cokernel on the left, as does the formation of direct sums, and so we have

coker( k(B k RH nk(C)i kH nk(C)Z k RH nk(C))) k((coker(B ki kZ k) RH nk(C))) k(H k(C) RH nk(C)). coker\left( \oplus_k \left( B_k \otimes_R H_{n-k}(C') \stackrel{i_k \otimes H_{n-k}\left(C'\right)}{\to} Z_k \otimes_R H_{n-k}\left(C'\right) \right)\right) \simeq \oplus_k \left( \left( coker\left(B_k \stackrel{i_k}{\to} Z_k\right) \otimes_R H_{n-k}(C') \right) \right) \simeq \oplus_k \left( H_k\left(C\right) \otimes_R H_{n-k}\left(C'\right) \right) \,.

This is the left term in the short exact sequence to be shown. For the right term the analogous argument does not quite go through, because tensoring is not in addition a left exact functor, in general. The failure to be so is precisely measured by the Tor-module:

Notice that by the assumption that C nC_n is free and using the fact (discussed at principal ideal domain) that over our RR the submodules B n,Z nC nB_n, Z_n \hookrightarrow C_n are themselves free modules, the defining short exact sequence 0B ni nZ nH n(C)00 \to B_n \stackrel{i_n}{\to} Z_n \to H_n(C) \to 0 exhibits a projective resolution of H n(C)H_n(C). Therefore by definition of Tor we have

Tor 1(H k(C),H nk(C))ker(i kH nk(C)). Tor_1(H_k(C), H_{n-k}(C')) \simeq ker\left( i_k \otimes H_{n-k}(C') \right) \,.

This identifies the term on the right of the exact sequence to be shown.

Over general rings

For RR any ring, there is a spectral sequence converging to the homology of the tensor product, whose second page involves all the Tor-modules: the Künneth spectral sequence

E p,q 2 k 1+k 2=qTor p RMod(H k 1(C),H k 2(C))H p+q(CC) E_{p,q}^2 \coloneqq \oplus_{k_1 + k_2 = q} Tor_p^{R Mod}( H_{k_1}(C), H_{k_2}(C')) \Rightarrow H_{p+q}(C \otimes C')

(…)

For instance (Williams, section 4.2).

In ordinary cohomology

Proposition

Let RR be a ring and let X,YX,Y be topological spaces. If the ordinary cohomology ring H k(Y,R)H^k(Y,R) is a finitely generated free module over RR, then the comparison map (“cross product”)

H (X,R) RH (Y,R)H (X×Y,R) H^\bullet(X,R) \otimes_R H^\bullet(Y,R) \longrightarrow H^\bullet(X\times Y, R)

(from the tensor product of cohomology rings to the cohomology ring of the product space) is an isomorphism.

e.g. Hatcher (2001), theorem 3.15, and in more generality: Spanier (1966), section 5.5, theorem 11, Weibel (1994), Thm. 3.6.1

In Generalised cohomology theories

The Künneth theorem for generalised cohomology theories is a special case of the universal coefficient theorem. Let EE be a ring spectrum, XX and YY two spectra. Then we define a new cohomology theory as the EE-module spectrum GF(Y,E)G \coloneqq F(Y, E) where F(,)F(-,-) is the function spectrum (that is, the internal hom in the category of spectra). The (reduced) cohomology of XX in this cohomology theory is thus given by:

G *(X)=[X,F(Y,E)]=[XY,E]=E *(XY) G^*(X) = [X,F(Y,E)] = [X \wedge Y,E] = E^*(X \wedge Y)

A universal coefficient theorem gives a way of computing G *(X)G^*(X) from knowledge of E *(X)E^*(X) and G *(pt)G^*(pt). In this case, G *(pt)=E *(Y)G^*(pt) = E^*(Y) so our initial data is E *(X)E^*(X) and E *(Y)E^*(Y).

For more details, see the page on the universal coefficient theorem.

Examples

For singular homology of products of topological spaces

All of these statements have their analogs for singular homology of topological spaces X,YX , Y \in Top: by the Eilenberg-Zilber theorem there is a quasi-isomorphism

C (X×Y) qiC (X)C (Y) C_\bullet(X \times Y) \simeq_{qi} C_\bullet(X) \otimes C_\bullet(Y)

between the singular chain complex of the product space and the tensor product of chain complexes of the separate singular chain complexes. Hence in particular there are isomorphisms of singular homology

H n(X×Y)H n(C (X)C (Y)). H_n(X \times Y) \simeq H_n(C_\bullet(X) \otimes C_\bullet(Y)) \,.

Using this in the above statements of the Künneth theorem yields directly the Künneth theorem for singular homology of topological spaces.

References

In ordinary (co)homology

The original articles are

  • H. Künneth, Über die Bettischen Zahlen einer Produktmannigfaltigkeit Math. Ann. , 90 (1923) pp. 65–85

  • H. Künneth, Über die Torsionszahlen von Produktmannigfaltigkeiten Math. Ann. , 91 (1924) pp. 125–134

Textbook accounts:

Lecture notes:

In generalized (co)homology

See also the corresponding references at universal coefficient theorem.

In the context of parameterized spectra

Last revised on May 9, 2024 at 11:00:19. See the history of this page for a list of all contributions to it.