A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://en.wikipedia.org/wiki/Universal_coefficient_theorem below:

Universal coefficient theorem - Wikipedia

From Wikipedia, the free encyclopedia

Establish relationships between homology and cohomology theories

In algebraic topology, universal coefficient theorems establish relationships between homology groups (or cohomology groups) with different coefficients. For instance, for every topological space X, its integral homology groups:

H i ( X , Z ) {\displaystyle H_{i}(X,\mathbb {Z} )}

completely determine its homology groups with coefficients in A, for any abelian group A:

H i ( X , A ) {\displaystyle H_{i}(X,A)}

Here H i {\displaystyle H_{i}} might be the simplicial homology, or more generally the singular homology. The usual proof of this result is a pure piece of homological algebra about chain complexes of free abelian groups. The form of the result is that other coefficients A may be used, at the cost of using a Tor functor.

For example, it is common to take A {\displaystyle A} to be Z / 2 Z {\displaystyle \mathbb {Z} /2\mathbb {Z} } , so that coefficients are modulo 2. This becomes straightforward in the absence of 2-torsion in the homology. Quite generally, the result indicates the relationship that holds between the Betti numbers b i {\displaystyle b_{i}} of X {\displaystyle X} and the Betti numbers b i , F {\displaystyle b_{i,F}} with coefficients in a field F {\displaystyle F} . These can differ, but only when the characteristic of F {\displaystyle F} is a prime number p {\displaystyle p} for which there is some p {\displaystyle p} -torsion in the homology.

Statement of the homology case[edit]

Consider the tensor product of modules H i ( X , Z ) ⊗ A {\displaystyle H_{i}(X,\mathbb {Z} )\otimes A} . The theorem states there is a short exact sequence involving the Tor functor

0 → H i ( X , Z ) ⊗ A → μ H i ( X , A ) → Tor 1 ⁡ ( H i − 1 ( X , Z ) , A ) → 0. {\displaystyle 0\to H_{i}(X,\mathbb {Z} )\otimes A\,{\overset {\mu }{\to }}\,H_{i}(X,A)\to \operatorname {Tor} _{1}(H_{i-1}(X,\mathbb {Z} ),A)\to 0.}

Furthermore, this sequence splits, though not naturally. Here μ {\displaystyle \mu } is the map induced by the bilinear map H i ( X , Z ) × A → H i ( X , A ) {\displaystyle H_{i}(X,\mathbb {Z} )\times A\to H_{i}(X,A)} .

If the coefficient ring A {\displaystyle A} is Z / p Z {\displaystyle \mathbb {Z} /p\mathbb {Z} } , this is a special case of the Bockstein spectral sequence.

Universal coefficient theorem for cohomology[edit]

Let G {\displaystyle G} be a module over a principal ideal domain R {\displaystyle R} (for example Z {\displaystyle \mathbb {Z} } , or any field.)

There is a universal coefficient theorem for cohomology involving the Ext functor, which asserts that there is a natural short exact sequence

0 → Ext R 1 ⁡ ( H i − 1 ( X ; R ) , G ) → H i ( X ; G ) → h Hom R ⁡ ( H i ( X ; R ) , G ) → 0. {\displaystyle 0\to \operatorname {Ext} _{R}^{1}(H_{i-1}(X;R),G)\to H^{i}(X;G)\,{\overset {h}{\to }}\,\operatorname {Hom} _{R}(H_{i}(X;R),G)\to 0.}

As in the homology case, the sequence splits, though not naturally. In fact, suppose

H i ( X ; G ) = ker ⁡ ∂ i ⊗ G / im ⁡ ∂ i + 1 ⊗ G , {\displaystyle H_{i}(X;G)=\ker \partial _{i}\otimes G/\operatorname {im} \partial _{i+1}\otimes G,}

and define

H ∗ ( X ; G ) = ker ⁡ ( Hom ⁡ ( ∂ , G ) ) / im ⁡ ( Hom ⁡ ( ∂ , G ) ) . {\displaystyle H^{*}(X;G)=\ker(\operatorname {Hom} (\partial ,G))/\operatorname {im} (\operatorname {Hom} (\partial ,G)).}

Then h {\displaystyle h} above is the canonical map:

h ( [ f ] ) ( [ x ] ) = f ( x ) . {\displaystyle h([f])([x])=f(x).}

An alternative point of view can be based on representing cohomology via Eilenberg–MacLane space, where the map h {\displaystyle h} takes a homotopy class of maps X → K ( G , i ) {\displaystyle X\to K(G,i)} to the corresponding homomorphism induced in homology. Thus, the Eilenberg–MacLane space is a weak right adjoint to the homology functor.[1]

Example: mod 2 cohomology of the real projective space[edit]

Let X = R P n {\displaystyle X=\mathbb {RP} ^{n}} , the real projective space. We compute the singular cohomology of X {\displaystyle X} with coefficients in G = Z / 2 Z {\displaystyle G=\mathbb {Z} /2\mathbb {Z} } using integral homology, i.e., R = Z {\displaystyle R=\mathbb {Z} } .

Knowing that the integer homology is given by:

H i ( X ; Z ) = { Z i = 0  or  i = n  odd, Z / 2 Z 0 < i < n ,   i   odd, 0 otherwise. {\displaystyle H_{i}(X;\mathbb {Z} )={\begin{cases}\mathbb {Z} &i=0{\text{ or }}i=n{\text{ odd,}}\\\mathbb {Z} /2\mathbb {Z} &0<i<n,\ i\ {\text{odd,}}\\0&{\text{otherwise.}}\end{cases}}}

We have Ext ⁡ ( G , G ) = G {\displaystyle \operatorname {Ext} (G,G)=G} and Ext ⁡ ( R , G ) = 0 {\displaystyle \operatorname {Ext} (R,G)=0} , so that the above exact sequences yield

H i ( X ; G ) = G {\displaystyle H^{i}(X;G)=G}

for all i = 0 , … , n {\displaystyle i=0,\dots ,n} . In fact the total cohomology ring structure is

H ∗ ( X ; G ) = G [ w ] / ⟨ w n + 1 ⟩ . {\displaystyle H^{*}(X;G)=G[w]/\left\langle w^{n+1}\right\rangle .}

A special case of the theorem is computing integral cohomology. For a finite CW complex X {\displaystyle X} , H i ( X , Z ) {\displaystyle H_{i}(X,\mathbb {Z} )} is finitely generated, and so we have the following decomposition.

H i ( X ; Z ) ≅ Z β i ( X ) ⊕ T i , {\displaystyle H_{i}(X;\mathbb {Z} )\cong \mathbb {Z} ^{\beta _{i}(X)}\oplus T_{i},}

where β i ( X ) {\displaystyle \beta _{i}(X)} are the Betti numbers of X {\displaystyle X} and T i {\displaystyle T_{i}} is the torsion part of H i {\displaystyle H_{i}} . One may check that

Hom ⁡ ( H i ( X ) , Z ) ≅ Hom ⁡ ( Z β i ( X ) , Z ) ⊕ Hom ⁡ ( T i , Z ) ≅ Z β i ( X ) , {\displaystyle \operatorname {Hom} (H_{i}(X),\mathbb {Z} )\cong \operatorname {Hom} (\mathbb {Z} ^{\beta _{i}(X)},\mathbb {Z} )\oplus \operatorname {Hom} (T_{i},\mathbb {Z} )\cong \mathbb {Z} ^{\beta _{i}(X)},}

and

Ext ⁡ ( H i ( X ) , Z ) ≅ Ext ⁡ ( Z β i ( X ) , Z ) ⊕ Ext ⁡ ( T i , Z ) ≅ T i . {\displaystyle \operatorname {Ext} (H_{i}(X),\mathbb {Z} )\cong \operatorname {Ext} (\mathbb {Z} ^{\beta _{i}(X)},\mathbb {Z} )\oplus \operatorname {Ext} (T_{i},\mathbb {Z} )\cong T_{i}.}

This gives the following statement for integral cohomology:

H i ( X ; Z ) ≅ Z β i ( X ) ⊕ T i − 1 . {\displaystyle H^{i}(X;\mathbb {Z} )\cong \mathbb {Z} ^{\beta _{i}(X)}\oplus T_{i-1}.}

For X {\displaystyle X} an orientable, closed, and connected n {\displaystyle n} -manifold, this corollary coupled with Poincaré duality gives that β i ( X ) = β n − i ( X ) {\displaystyle \beta _{i}(X)=\beta _{n-i}(X)} .

Universal coefficient spectral sequence[edit]

There is a generalization of the universal coefficient theorem for (co)homology with twisted coefficients.

For cohomology we have

E 2 p , q = Ext R q ⁡ ( H p ( C ∗ ) , G ) ⇒ H p + q ( C ∗ ; G ) , {\displaystyle E_{2}^{p,q}=\operatorname {Ext} _{R}^{q}(H_{p}(C_{*}),G)\Rightarrow H^{p+q}(C_{*};G),}

where R {\displaystyle R} is a ring with unit, C ∗ {\displaystyle C_{*}} is a chain complex of free modules over R {\displaystyle R} , G {\displaystyle G} is any ( R , S ) {\displaystyle (R,S)} -bimodule for some ring with a unit S {\displaystyle S} , and Ext {\displaystyle \operatorname {Ext} } is the Ext group. The differential d r {\displaystyle d^{r}} has degree ( 1 − r , r ) {\displaystyle (1-r,r)} .

Similarly for homology,

E p , q 2 = Tor q R ⁡ ( H p ( C ∗ ) , G ) ⇒ H ∗ ( C ∗ ; G ) , {\displaystyle E_{p,q}^{2}=\operatorname {Tor} _{q}^{R}(H_{p}(C_{*}),G)\Rightarrow H_{*}(C_{*};G),}

for Tor {\displaystyle \operatorname {Tor} } the Tor group and the differential d r {\displaystyle d_{r}} having degree ( r − 1 , − r ) {\displaystyle (r-1,-r)} .

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4