Cohomology operation

From Wikipedia, the free encyclopedia

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. The theory developed through a number of state-of-the-art formulations. 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 Norman Steenrod, who first defined the Steenrod square operation 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.

[edit] Formal definition

A cohomology operation θ of type

is a natural transformation of functors

defined on CW complexes. Since cohomology of CW complexes is representable by an Eilenberg-MacLane space, a cohomology operation of type (n,q,π,G) is given (up to homotopy) by a map , in other words, by an element of H^q(K(π,n),G).