Universal coefficient theorem


Universal coefficient theorem

In mathematics, the universal coefficient theorem in algebraic topology establishes the relationship in homology theory between the integral homology of a topological space X, and its homology with coefficients in any abelian group A. It states that the integral homology groups

H_i(X, \mathbb{Z})

completely determine the groups

Hi(X,A)

Here Hi might be the simplicial homology or more general singular homology theory: the result itself 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 to be \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 bi of X and the Betti numbers bi,F with coefficients in a field F. These can differ, but only when the characteristic of F is a prime number p for which there is some p-torsion in the homology.

Contents

Statement

Consider the tensor product  H_i(X, \mathbb{Z}) \otimes A. The theorem states that there is an injective group homomorphism ι from this group to Hi(X,A), which has cokernel \mbox{Tor}(H_{i-1}(X, \mathbb{Z}), A).

In other words, there is a natural short exact sequence

 0 \rightarrow H_i(X, \mathbb{Z})\otimes A\rightarrow H_i(X,A)\rightarrow\mbox{Tor}(H_{i-1}(X, \mathbb{Z}),A)\rightarrow 0.

Furthermore, this is a split sequence (but the splitting is not natural).

The Tor group on the right can be thought of as the obstruction to ι being an isomorphism.

Universal coefficient theorem for cohomology

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

 0 \rightarrow \mbox{Ext}(H_{i-1}(X, \mathbb{Z}),A)\rightarrow H^i(X,A)\rightarrow\mbox{Hom}(H_i(X, \mathbb{Z}),A)\rightarrow 0.

As in the homological case, the sequence splits, though not naturally.

Example: mod 2 cohomology of the real projective space

Let X = \mathbf {RP^n}, the real projective space. We compute the singular cohomology of X with coefficients in

R := \mathbf Z_2 .

knowing that the integer homology is given by:


H_i(X; \mathbf{Z}) =
\begin{cases}
\mathbf{Z} & i = 0 \mbox{ or } i = n \mbox{ odd,}\\
\mathbf{Z/2Z} & 0<i<n,\ i\ \mbox{odd,}\\
0 & \mbox{else.}
\end{cases}

We have \mathrm{Ext}(R, R)= R, \mathrm{Ext}(\mathbf Z, R)= 0 , so that the above exact sequences yield

\forall i = 0 \ldots n , \ H^i (X; R) = R.

In fact the total cohomology ring structure is

H * (X;R) = R[w] / < wn + 1 > .

References

  • Allen Hatcher, Algebraic Topology , Cambridge University Press, Cambridge, 2002. ISBN 0-521-79540-0. A modern, geometrically flavored introduction to algebraic topology. The book is available free in PDF and PostScript formats on the author's homepage.

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Universal enveloping algebra — In mathematics, for any Lie algebra L one can construct its universal enveloping algebra U ( L ). This construction passes from the non associative structure L to a (more familiar, and possibly easier to handle) unital associative algebra which… …   Wikipedia

  • Central limit theorem — This figure demonstrates the central limit theorem. The sample means are generated using a random number generator, which draws numbers between 1 and 100 from a uniform probability distribution. It illustrates that increasing sample sizes result… …   Wikipedia

  • Nyquist–Shannon sampling theorem — Fig.1: Hypothetical spectrum of a bandlimited signal as a function of frequency The Nyquist–Shannon sampling theorem, after Harry Nyquist and Claude Shannon, is a fundamental result in the field of information theory, in particular… …   Wikipedia

  • Betti number — In algebraic topology, the Betti number of a topological space is, in intuitive terms, a way of counting the maximum number of cuts that can be made without dividing the space into two pieces. This defines, in fact, what is called the first Betti …   Wikipedia

  • List of mathematics articles (U) — NOTOC U U duality U quadratic distribution U statistic UCT Mathematics Competition Ugly duckling theorem Ulam numbers Ulam spiral Ultraconnected space Ultrafilter Ultrafinitism Ultrahyperbolic wave equation Ultralimit Ultrametric space… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • List of algebraic topology topics — This is a list of algebraic topology topics, by Wikipedia page. See also: topology glossary List of topology topics List of general topology topics List of geometric topology topics Publications in topology Topological property Contents 1… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Algebraic topology — is a branch of mathematics which uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism. In many situations this is too much to hope for… …   Wikipedia

  • Homology theory — In mathematics, homology theory is the axiomatic study of the intuitive geometric idea of homology of cycles on topological spaces. It can be broadly defined as the study of homology theories on topological spaces. Simple explanation At the… …   Wikipedia