Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $X$ be a compact manifold and denote $H^k(X,G)$ the $k$-th cohomology group with coefficients in the abelian group $G$.

Using Cech cohomology one can prove that there is a natural isomorphism $ H^k(X,\mathbf k) \simeq H^k(X,\mathbb Z) \otimes \mathbf k$ for every field $\mathbf k$ of characteristic $0$ (see for instance the book "Hodge Theory and Complex Algebraic Geometry I", C.Voisin p 157.)

Is there a way to proove this fact without using sheaf-cohomology? I have looked around for a "Universal Coefficient Theorem" for cohomology but the only one I know relates $H^k(X,\mathbf k)$ with $H_k(X,\mathbb Z)$ and $H_{k-1}(X,\mathbb Z)$, but not with $ H^k(X,\mathbb Z) $.

share|improve this question

1 Answer 1

up vote 10 down vote accepted

If $S_{\bullet}$ is the singular chain complex for $X$, then $H^i(X,A)$ is computed by the cochain complex $Hom(S_{\bullet},A)$. Now there is natural map $Hom(S_{\bullet},\mathbb Z) \otimes k \to Hom(S_{\bullet},k),$ and hence, passing to cohomology, a map $$H^{\bullet}(X,\mathbb Z)\otimes k \to H^{\bullet}(X,k).$$ This will not be an isomorphism for arbitrary spaces $X$. (E.g. if $X$ is just a disjoint union of a set $I$ of points, then this is the natural map $(\mathbb Z^I)\otimes k \to k^I$, which is not an isomorphism in general if $I$ is infinite.)

However, if the homology groups of $X$ with $\mathbb Z$-coefficients are finitely generated, then this will be an isomorphism, as follows from the universal coefficient theorem for cohomology that you mentioned in your question. (Use the fact that the universal coefficient short exact sequence is natural in $A$; that $Ext(H_{i-1},A)$ is torsion when $A = \mathbb Z$ --- since $H_{i-1}$ is f.g. by assumption --- and vanishes when $A = k$, since $k$ is of char. zero; and that $Hom(H_i,\mathbb Z)\otimes k \cong Hom(H_i,k)$, since $H_i$ is f.g.)

For a compact manifold the homology groups are f.g., and so the result follows.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.