Cohomology ring

Cohomology ring

In mathematics, specifically algebraic topology, the cohomology ring of a topological space X is a ring formed from the cohomology groups of X together with the cup product serving as the ring multiplication. Here 'cohomology' is usually understood as singular cohomology, but the ring structure is also present in other theories such as de Rham cohomology. It is also functorial: for a continuous mapping of spaces one obtains a ring homomorphism on cohomology rings, which is contravariant.

Specifically, given a sequence of cohomology groups Hk(X;R) on X with coefficients in a commutative ring R (typically R is Zn, Z, Q, R, or C) one can define the cup product, which takes the form

H^k(X;R) \times H^\ell(X;R) \to H^{k+\ell}(X; R).

The cup product gives a multiplication on the direct sum of the cohomology groups

H^\bullet(X;R) = \bigoplus_{k\in\mathbb{N}} H^k(X; R).

This multiplication turns H(X;R) into a ring. If fact, it is naturally an N-graded ring with the nonnegative integer k serving as the degree. The cup product respects this grading.

The cohomology ring is graded-commutative in the sense that the cup product commutes up to a sign determined by the grading. Specifically, for pure elements of degree k and ℓ we have

(\alpha^k \smile \beta^\ell) = (-1)^{k\ell}(\beta^\ell \smile \alpha^k).

A numerical invariant derived from the cohomology ring is the cup-length, which means the maximum number of graded elements of degree ≥ 1, which when multiplied give a non-zero result. For example a complex projective space has cup-length equal to its complex dimension.

References

  • Novikov, S. P. (1996). Topology I, General Survey. Springer-Verlag. ISBN 7-03-016673-6. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • 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

  • Cohomology — In mathematics, specifically in algebraic topology, cohomology is a general term for a sequence of abelian groups defined from a co chain complex. That is, cohomology is defined as the abstract study of cochains, cocycles, and coboundaries.… …   Wikipedia

  • Cohomology of algebras — In mathematics, the homology or cohomology of an algebra may refer to Banach algebra cohomology of a bimodule over a Banach algebra Cyclic homology of an associative algebra Group cohomology of a module over a group ring or a representation of a… …   Wikipedia

  • Quantum cohomology — In mathematics, specifically in symplectic topology and algebraic geometry, a quantum cohomology ring is an extension of the ordinary cohomology ring of a closed symplectic manifold. It comes in two versions, called small and big; in general, the …   Wikipedia

  • Chow ring — In algebraic geometry, the Chow ring (named after W. L. Chow) of an algebraic variety is an algebraic geometric analogue of the cohomology ring of the variety considered as a topological space: its elements are formed out of actual subvarieties… …   Wikipedia

  • Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …   Wikipedia

  • Equivariant cohomology — In mathematics, equivariant cohomology is a theory from algebraic topology which applies to spaces with a group action . It can be viewed as a common generalization of group cohomology and an ordinary cohomology theory. Specifically, given a… …   Wikipedia

  • List of cohomology theories — This is a list of some of the ordinary and generalized (or extraordinary) homology and cohomology theories in algebraic topology that are defined on the categories of CW complexes or spectra. For other sorts of homology theories see the links at… …   Wikipedia

  • Crystalline cohomology — In mathematics, crystalline cohomology is a Weil cohomology theory for schemes introduced by Alexander Grothendieck (1966, 1968) and developed by Pierre Berthelot (1974). Its values are modules over rings of Witt vectors over the base… …   Wikipedia

  • Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”