# Künneth theorem

Künneth theorem In mathematics, especially in homological algebra and algebraic topology, a Künneth theorem, also called a Künneth formula, is a statement relating the homology of two objects to the homology of their product. The classical statement of the Künneth theorem relates the singular homology of two topological spaces X and Y and their product space {Anzeigestil X mal Y} . In the simplest possible case the relationship is that of a tensor product, but for applications it is very often necessary to apply certain tools of homological algebra to express the answer.

A Künneth theorem or Künneth formula is true in many different homology and cohomology theories, and the name has become generic. These many results are named for the German mathematician Hermann Künneth.

Inhalt 1 Singular homology with coefficients in a field 2 Singular homology with coefficients in a principal ideal domain 2.1 Beispiel 3 The Künneth spectral sequence 4 Relation with homological algebra, and idea of proof 5 Künneth theorems in generalized homology and cohomology theories 6 Verweise 7 External links Singular homology with coefficients in a field Let X and Y be two topological spaces. In general one uses singular homology; but if X and Y happen to be CW complexes, then this can be replaced by cellular homology, because that is isomorphic to singular homology. The simplest case is when the coefficient ring for homology is a field F. In dieser Situation, the Künneth theorem (for singular homology) states that for any integer k, {Anzeigestil bigoplus _{i+j=k}H_{ich}(X;F)otimes H_{j}(Y;F)cong H_{k}(X mal Y;F)} .

Außerdem, the isomorphism is a natural isomorphism. The map from the sum to the homology group of the product is called the cross product. Etwas präziser, there is a cross product operation by which an i-cycle on X and a j-cycle on Y can be combined to create an {Anzeigestil (i+j)} -cycle on {Anzeigestil X mal Y} ; so that there is an explicit linear mapping defined from the direct sum to {Anzeigestil H_{k}(X mal Y)} .

A consequence of this result is that the Betti numbers, the dimensions of the homology with {Anzeigestil mathbb {Q} } Koeffizienten, von {Anzeigestil X mal Y} can be determined from those of X and Y. Wenn {Anzeigestil p_{Z}(t)} is the generating function of the sequence of Betti numbers {Anzeigestil b_{k}(Z)} of a space Z, dann {Anzeigestil p_{X mal Y}(t)=p_{X}(t)p_{Y}(t).} Here when there are finitely many Betti numbers of X and Y, each of which is a natural number rather than {displaystyle infty } , this reads as an identity on Poincaré polynomials. In the general case these are formal power series with possibly infinite coefficients, and have to be interpreted accordingly. Außerdem, the above statement holds not only for the Betti numbers but also for the generating functions of the dimensions of the homology over any field. (If the integer homology is not torsion-free, then these numbers may differ from the standard Betti numbers.) Singular homology with coefficients in a principal ideal domain The above formula is simple because vector spaces over a field have very restricted behavior. As the coefficient ring becomes more general, the relationship becomes more complicated. The next simplest case is the case when the coefficient ring is a principal ideal domain. This case is particularly important because the integers {Anzeigestil mathbb {Z} } are a PID.

In this case the equation above is no longer always true. A correction factor appears to account for the possibility of torsion phenomena. This correction factor is expressed in terms of the Tor functor, the first derived functor of the tensor product.

When R is a PID, then the correct statement of the Künneth theorem is that for any topological spaces X and Y there are natural short exact sequences {displaystyle 0to bigoplus _{i+j=k}H_{ich}(X;R)omal _{R}H_{j}(Y;R)to H_{k}(X mal Y;R)to bigoplus _{i+j=k-1}Mathrm {Tor} _{1}^{R}(H_{ich}(X;R),H_{j}(Y;R))zu 0.} Außerdem, these sequences split, but not canonically.

Example The short exact sequences just described can easily be used to compute the homology groups with integer coefficients of the product {Anzeigestil mathbb {RP} ^{2}mal mathbb {RP} ^{2}} of two real projective planes, mit anderen Worten, {Anzeigestil H_{k}(mathbb {RP} ^{2}mal mathbb {RP} ^{2};mathbb {Z} )} . These spaces are CW complexes. Denoting the homology group {Anzeigestil H_{ich}(mathbb {RP} ^{2};mathbb {Z} )} durch {Anzeigestil h_{ich}} for brevity's sake, one knows from a simple calculation with cellular homology that {Anzeigestil h_{0}cong mathbb {Z} } , {Anzeigestil h_{1}cong mathbb {Z} /2mathbb {Z} } , {Anzeigestil h_{ich}=0} for all other values of i.

The only non-zero Tor group (torsion product) which can be formed from these values of {Anzeigestil h_{ich}} ist {Anzeigestil mathrm {Tor} _{1}^{mathbb {Z} }(h_{1},h_{1})cong mathrm {Tor} _{1}^{mathbb {Z} }(mathbb {Z} /2mathbb {Z} ,mathbb {Z} /2mathbb {Z} )cong mathbb {Z} /2mathbb {Z} } .

Deswegen, the Künneth short exact sequence reduces in every degree to an isomorphism, because there is a zero group in each case on either the left or the right side in the sequence. The result is {Anzeigestil {Start{ausgerichtet}H_{0}links(mathbb {RP} ^{2}mal mathbb {RP} ^{2};mathbb {Z} Rechts);&cong ;h_{0}otimes h_{0};cong ;mathbb {Z} \H_{1}links(mathbb {RP} ^{2}mal mathbb {RP} ^{2};mathbb {Z} Rechts);&cong ;h_{0}otimes h_{1};opus ;h_{1}otimes h_{0};cong ;mathbb {Z} /2mathbb {Z} opus mathbb {Z} /2mathbb {Z} \H_{2}links(mathbb {RP} ^{2}mal mathbb {RP} ^{2};mathbb {Z} Rechts);&cong ;h_{1}otimes h_{1};cong ;mathbb {Z} /2mathbb {Z} \H_{3}links(mathbb {RP} ^{2}mal mathbb {RP} ^{2};mathbb {Z} Rechts);&cong ;Mathrm {Tor} _{1}^{mathbb {Z} }(h_{1},h_{1});cong ;mathbb {Z} /2mathbb {Z} \Ende{ausgerichtet}}} and all the other homology groups are zero.

The Künneth spectral sequence For a general commutative ring R, the homology of X and Y is related to the homology of their product by a Künneth spectral sequence {Anzeigestil E_{pq}^{2}=bigoplus _{q_{1}+q_{2}=q}Mathrm {Tor} _{p}^{R}(H_{q_{1}}(X;R),H_{q_{2}}(Y;R))Rightarrow H_{p+q}(X mal Y;R).} In the cases described above, this spectral sequence collapses to give an isomorphism or a short exact sequence.

Relation with homological algebra, and idea of proof The chain complex of the space X × Y is related to the chain complexes of X and Y by a natural quasi-isomorphism {Anzeigestil C_{*}(X mal Y)cong C_{*}(X)otimes C_{*}(Y).} For singular chains this is the theorem of Eilenberg and Zilber. For cellular chains on CW complexes, it is a straightforward isomorphism. Then the homology of the tensor product on the right is given by the spectral Künneth formula of homological algebra.[1] The freeness of the chain modules means that in this geometric case it is not necessary to use any hyperhomology or total derived tensor product.

There are analogues of the above statements for singular cohomology and sheaf cohomology. For sheaf cohomology on an algebraic variety, Alexander Grothendieck found six spectral sequences relating the possible hyperhomology groups of two chain complexes of sheaves and the hyperhomology groups of their tensor product.[2] Künneth theorems in generalized homology and cohomology theories There are many generalized (oder "extraordinary") homology and cohomology theories for topological spaces. K-theory and cobordism are the best-known. Unlike ordinary homology and cohomology, they typically cannot be defined using chain complexes. Thus Künneth theorems can not be obtained by the above methods of homological algebra. Nichtsdestotrotz, Künneth theorems in just the same form have been proved in very many cases by various other methods. The first were Michael Atiyah's Künneth theorem for complex K-theory and Pierre Conner and Edwin E. Floyd's result in cobordism.[3][4] A general method of proof emerged, based upon a homotopical theory of modules over highly structured ring spectra.[5][6] The homotopy category of such modules closely resembles the derived category in homological algebra.

References ^ See final chapter of Mac Lane, Saunders (1963), Homology, Berlin: Springer, ISBN 0-387-03823-X ^ Grothendieck, Alexander; Dieudonné, Jean (1963), "Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné): III. Étude cohomologique des faisceaux cohérents, Seconde partie", Publications Mathématiques de l'IHÉS, 17: 5–91 (EGA III2, Théorème 6.7.3.). ^ Atiyah, Michael F. (1967), K-Theorie, New York: W. EIN. Benjamin ^ Conner, Pierre E.; Floyd, Edwin E. (1964), Differentiable periodic maps, Berlin: Springer ^ Robinson, Alan (1983), "Derived tensor products in stable homotopy theory", Topologie, 22 (1): 1–18, doi:10.1016/0040-9383(83)90042-3, HERR 0682056 ^ Elmendorf, Anthony D.; Kříž, Igor; Mandell, Michael A. & May, J. Peter (1997), Rings, modules and algebras in stable homotopy theory, Mathematische Übersichten und Monographien, vol. 47, Vorsehung, RI: Amerikanische Mathematische Gesellschaft, ISBN 0-8218-0638-6, HERR 1417719 Externe Links "Künneth formula", Enzyklopädie der Mathematik, EMS-Presse, 2001 [1994] Kategorien: Homological algebraTheorems in algebraic topology

Wenn Sie andere ähnliche Artikel wissen möchten Künneth theorem Sie können die Kategorie besuchen Homological algebra.

Geh hinauf

Wir verwenden eigene Cookies und Cookies von Drittanbietern, um die Benutzererfahrung zu verbessern Mehr Informationen