Cohomology operation

Cohomology operation

In mathematics, the cohomology operation concept became central to algebraic topology, particularly homotopy theory, from the 1950s onwards, in the shape of the simple definition that if F is a functor defining a cohomology theory, then a cohomology operation should be a natural transformation from F to itself. Throughout there have been two basic points:

  1. the operations can be studied by combinatorial means; and
  2. the effect of the operations is to yield an interesting bicommutant theory.

The origin of these studies was the work of Pontryagin, Postnikov, and Norman Steenrod, who first defined the Pontryagin square, Postnikov square, and Steenrod square operations for singular cohomology, in the case of mod 2 coefficients. The combinatorial aspect there arises as a formulation of the failure of a natural diagonal map, at cochain level. The general theory of the Steenrod algebra of operations has been brought into close relation with that of the symmetric group.

In the Adams spectral sequence the bicommutant aspect is implicit in the use of Ext functors, the derived functors of Hom-functors; if there is a bicommutant aspect, taken over the Steenrod algebra acting, it is only at a derived level. The convergence is to groups in stable homotopy theory, about which information is hard to come by. This connection established the deep interest of the cohomology operations for homotopy theory, and has been a research topic ever since. An extraordinary cohomology theory has its own cohomology operations, and these may exhibit a richer set on constraints.

Formal definition

A cohomology operation θ of type

(n,q,\pi,G)\,

is a natural transformation of functors

\theta:H^{n}(-,\pi)\to H^{q}(-,G)\,

defined on CW complexes.

Relation to Eilenberg-MacLane spaces

Cohomology of CW complexes is representable by an Eilenberg-MacLane space, so by the Yoneda lemma a cohomology operation of type (n,q,π,G) is given by a homotopy class of maps K(\pi,n) \to K(G,q). Using representability once again, the cohomology operation is given by an element of Hq(K(π,n),G).

Symbolically, letting [A,B] denote the set of homotopy classes of maps from A to B,

\displaystyle\mathrm{Nat}(H^n(-,\pi),H^q(-,G)) = \mathrm{Nat}([-,K(\pi,n)],[-,K(G,q)]) = [K(\pi,n),K(G,q)] = H^q(K(\pi,n);G)

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Adams operation — In mathematics, an Adams operation:ψ k is a cohomology operation in topological K theory, or any allied operation in algebraic K theory or other types of algebraic construction, defined on a pattern introduced by Frank Adams. The basic idea is to …   Wikipedia

  • Cup product — In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree p and q to form a composite cocycle of degree p + q. This defines an associative (and distributive) graded commutative product… …   Wikipedia

  • Steenrod algebra — In algebraic topology, a branch of mathematics, the Steenrod algebra is a structure occurring in the theory of cohomology operations. It is an object of great importance, most especially to homotopy theorists. More precisely, for a given prime… …   Wikipedia

  • Massey product — The Massey product is an algebraic generalization of the phenomenon of Borromean rings. In algebraic topology, the Massey product is a cohomology operation of higher order introduced in (Massey 1958), which generalizes the cup product …   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

  • Thom space — In mathematics, the Thom space or Thom complex (named after René Thom) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space. One way to construct this space is as follows …   Wikipedia

  • Frank Adams — otherpeople2|Francis Adams John Frank Adams (November 5, 1930 ndash; January 7, 1989) was a British mathematician, one of the founders of homotopy theory.LifeHe was born in Woolwich, a suburb in south east London. He began research as a student… …   Wikipedia

  • Eilenberg-MacLane space — In mathematics, an Eilenberg MacLane space is a special kind of topological space that can be regarded as a building block for homotopy theory. These spaces are important in many contexts in algebraic topology, including stage by stage… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Henri Cartan — Infobox Person name = Henri Cartan image size = 250px caption = birth date = birth date|1904|7|8 birth place = Nancy, France death date = death date and age|2008|8|13|1904|7|8 death place = Paris, France nationality = FRA known for = Algebraic… …   Wikipedia

Share the article and excerpts

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