Namespaces
Variants
Actions

Difference between revisions of "Cohomology operation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (→‎References: latexify)
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
A natural transformation of certain cohomology functors into others (most often — into themselves). By a cohomology operation of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c0231502.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c0231503.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c0231504.png" /> being integers and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c0231505.png" /> Abelian groups, one means a family of mappings (not necessarily homomorphisms) between cohomology groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c0231506.png" />, defined for any space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c0231507.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c0231508.png" /> for any continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c0231509.png" /> (naturality). The set of all cohomology operations of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315010.png" /> forms an Abelian group with respect to the composition: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315011.png" />, and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315012.png" />.
+
<!--
 +
c0231502.png
 +
$#A+1 = 366 n = 3
 +
$#C+1 = 366 : ~/encyclopedia/old_files/data/C023/C.0203150 Cohomology operation
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
Examples of cohomology operations. The Steenrod reduced powers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315014.png" /> (cf. [[Steenrod reduced power|Steenrod reduced power]]); the [[Pontryagin square|Pontryagin square]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315015.png" />; the [[Postnikov square|Postnikov square]]; raising to the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315016.png" />-th power, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315017.png" />: for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315018.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315019.png" /> is a ring, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315020.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315021.png" />; the Bockstein homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315022.png" />; cohomology operations induced by homomorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315023.png" /> of the coefficient groups, for example, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315024.png" />.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
Cohomology operations represent an additional structure in cohomology functors, and for this reason they make it possible to solve problems of homotopic topology that are not solvable "at the level" of cohomology groups. Examples. 1) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315025.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315026.png" /> be two spaces and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315027.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315028.png" /> be two elements. Does there exist a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315029.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315030.png" />? A first sufficient condition for the absence of such an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315031.png" /> is the absence of a homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315032.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315033.png" />. (By this method, one can prove, for example, the [[Brouwer theorem|Brouwer theorem]] on fixed points.) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315034.png" /> exists, then the non-existence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315035.png" /> can be established as follows: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315036.png" /> be a cohomology operation, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315037.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315038.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315039.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315040.png" />, which is impossible. 2) Is the mapping: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315041.png" /> essential? Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315042.png" />. Then (for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315043.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315044.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315045.png" />. If there is a cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315046.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315047.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315048.png" /> is essential. In this case, the operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315049.png" /> detects the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315050.png" /> or the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315051.png" />.
+
A natural transformation of certain cohomology functors into others (most often — into themselves). By a cohomology operation of type  $  ( n , m ;  \pi , G ) $,
 +
$  n $
 +
and  $  m $
 +
being integers and  $ \pi , G $
 +
Abelian groups, one means a family of mappings (not necessarily homomorphisms) between cohomology groups $  \theta _ {X} :  H  ^ {n} ( X ;  \pi ) \rightarrow H  ^ {m} ( X ;  G ) $,
 +
defined for any space  $  X $,  
 +
such that $  \theta _ {X} \circ f  ^ {*} = f  ^ {*} \circ \theta _ {Y} $
 +
for any continuous mapping  $  f : X \rightarrow Y $ (naturality). The set of all cohomology operations of type  $  ( n , m ;  \pi , G ) $
 +
forms an Abelian group with respect to the composition: ( \theta + \psi ) _ {X} = \theta _ {X} + \psi _ {X} $,  
 +
and is denoted by  $  O ( n , m ;  \pi , G ) $.
  
There is an isomorphism of groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315052.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315053.png" /> is an [[Eilenberg–MacLane space|Eilenberg–MacLane space]], and therefore <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315054.png" /> (see [[Representable functor|Representable functor]]). The groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315055.png" /> have been computed for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315056.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315057.png" /> and any finitely generated <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315058.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315059.png" /> [[#References|[9]]].
+
Examples of cohomology operations. The Steenrod reduced powers  $  Sq  ^ {i} $
 +
and  $  {\mathcal P}  ^ {i} $ (cf. [[Steenrod reduced power|Steenrod reduced power]]); the [[Pontryagin square|Pontryagin square]] $  {\mathcal P} _ {1} $;
 +
the [[Postnikov square|Postnikov square]]; raising to the  $  k $-th power,  $  \mu _ {k} $:
 +
for  $  x \in H  ^ {s} ( X ;  \pi ) $,
 +
where  $  \pi $
 +
is a ring,  $  \mu _ {k} ( x) = x  ^ {k} $,
 +
$  \mu _ {k} \in O ( s , ks ;  \pi , \pi ) $;
 +
the Bockstein homomorphism  $  \beta $;
 +
cohomology operations induced by homomorphisms  $  \pi \rightarrow G $
 +
of the coefficient groups, for example,  $  \mathop{\rm mod}  p :  H  ^ {n} ( X) \rightarrow H  ^ {n} ( X , \mathbf Z _ {p} ) $.
  
The cohomology suspension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315060.png" /> of a cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315061.png" /> is the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315062.png" /> given by the composition
+
Cohomology operations represent an additional structure in cohomology functors, and for this reason they make it possible to solve problems of homotopic topology that are not solvable  "at the level" of cohomology groups. Examples. 1) Let  $  X $
 +
and  $  Y $
 +
be two spaces and let  $  x \in H  ^ {n} ( X ;  \pi ) $,
 +
$  y \in H  ^ {n} ( Y ;  \pi ) $
 +
be two elements. Does there exist a mapping  $  f : X \rightarrow Y $
 +
such that  $  f  ^ {*} ( y) = x $?
 +
A first sufficient condition for the absence of such an  $  f $
 +
is the absence of a homomorphism  $  g :  H  ^ {*} ( Y , \pi ) \rightarrow H  ^ {*} ( X , \pi ) $
 +
with  $  g ( y) = x $.  
 +
(By this method, one can prove, for example, the [[Brouwer theorem|Brouwer theorem]] on fixed points.) If  $  g $
 +
exists, then the non-existence of $  f $
 +
can be established as follows: Let  $  \theta $
 +
be a cohomology operation,  $  \theta \in O ( n , m ;  \pi , G ) $,
 +
with  $  \theta _ {Y} ( y) = 0 $,
 +
$  \theta _ {X} ( x) \neq 0 $.
 +
Then  $  0 \neq \theta _ {X} ( x) = \theta _ {X} ( f  ^ {*} ( y) ) = f  ^ {*} ( \theta _ {Y} ( y)) = f  ^ {*} ( 0) = 0 $,
 +
which is impossible. 2) Is the mapping:  $  f :  S  ^ {m} \rightarrow S  ^ {n} $
 +
essential? Let  $  C _ {f} = S  ^ {n} \cup f e  ^ {m} $.
 +
Then (for  $  m \neq n $)
 +
$  H  ^ {m+ 1} ( C _ {f} ;  G ) = G $,
 +
$  H  ^ {n} ( C _ {f} ;  \pi ) = \pi $.  
 +
If there is a cohomology operation  $  \theta \in O ( n , m+ 1 ;  \pi , G ) $
 +
with  $  \theta _ {C _ {f}  } \neq 0 $,
 +
then  $  f $
 +
is essential. In this case, the operation  $  \theta $
 +
detects the mapping  $  f $
 +
or the element  $  [ f ] \in \pi _ {m} ( S  ^ {n} ) $.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315063.png" /></td> </tr></table>
+
There is an isomorphism of groups  $  O ( n , m ; \pi , G ) \approx H  ^ {m} ( K ( \pi , n ) ; G ) $,
 +
where  $  K ( \pi , n ) $
 +
is an [[Eilenberg–MacLane space|Eilenberg–MacLane space]], and therefore  $  O ( n , m ; \pi , G ) \approx [ K ( \pi , n ) , K ( G , m ) ] $ (see [[Representable functor|Representable functor]]). The groups  $  H  ^ {m} ( K ( \pi , n ) ;  G ) $
 +
have been computed for all  $  m $
 +
and  $  n $
 +
and any finitely generated  $  \pi $
 +
and  $  G $[[#References|[9]]].
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315064.png" /> is the [[Suspension|suspension]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315065.png" />. For example, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315066.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315067.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315068.png" />. When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315069.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315070.png" /> is an isomorphism. For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315071.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315072.png" /> is a group homomorphism.
+
The cohomology suspension $  {}  ^ {1} \theta \in O ( n- 1 , m- 1 ;  \pi , G ) $
 +
of a cohomology operation  $  \theta \in O ( n , m ;  \pi , G ) $
 +
is the mapping  $  {}  ^ {1} \theta _ {X} $
 +
given by the composition
  
By a stable cohomology operation of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315073.png" /> and of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315074.png" /> one means a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315075.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315076.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315077.png" />. Such cohomology operations form an Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315078.png" />, isomorphic to the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315079.png" />, the latter being the inverse limit of the sequence
+
$$
 +
H  ^ {n- 1} ( X ;  \pi )  \rightarrow  H  ^ {n} ( SX ;  \pi )
 +
\rightarrow ^ { {\theta _ SX} } \
 +
H  ^ {m} ( SX ;  G )  \rightarrow  H  ^ {m- 1} ( X ;  G ) ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315080.png" /></td> </tr></table>
+
where  $  SX $
 +
is the [[Suspension|suspension]] of  $  X $.
 +
For example,  $  {}  ^ {1} \mu _ {k} = 0 $,
 +
$  {}  ^ {1} Sq  ^ {i} = Sq  ^ {i} $,
 +
$  {}  ^ {1} {\mathcal P}  ^ {i} = {\mathcal P}  ^ {i} $.
 +
When  $  m \leq  2n- 1 $,
 +
$  \theta \rightarrow {}  ^ {1} \theta $
 +
is an isomorphism. For any  $  X $,
 +
$  {}  ^ {1} \theta _ {X} $
 +
is a group homomorphism.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315081.png" /></td> </tr></table>
+
By a stable cohomology operation of type  $  ( \pi , G ) $
 +
and of degree  $  k $
 +
one means a set  $  \{ \theta _ {n} \} _ {- \infty }  ^ {+ \infty } $
 +
with  $  \theta _ {n} \in O ( n , n+ k ; \pi , G ) $
 +
and  $  {}  ^ {1} \theta _ {n} = \theta _ {n-} 1 $.
 +
Such cohomology operations form an Abelian group  $  O _ {S} ( k ; \pi , G ) $,
 +
isomorphic to the group  $  \lim\limits _ {\leftarrow n }  H  ^ {n+ k} ( K ( \pi , n ) ; G ) $,
 +
the latter being the inverse limit of the sequence
  
The group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315082.png" /> is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315083.png" />.
+
$$
 +
\dots \leftarrow  H  ^ {n+ k} ( K ( \pi , n ) ;  G ) \leftarrow
 +
$$
  
Examples of stable cohomology operations. The Steenrod powers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315084.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315085.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315086.png" /> is a prime number), and the Bockstein homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315087.png" />.
+
$$
 +
\leftarrow \
 +
H  ^ {n+ k- 1 }( K ( \pi , n- 1 ) ;  G ) \leftarrow \dots .
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315088.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315089.png" />, then the cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315090.png" /> is defined. In particular, one can define the composite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315091.png" /> of any two stable cohomology operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315092.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315093.png" />, so that the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315094.png" /> is a ring; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315095.png" /> is called the [[Steenrod algebra|Steenrod algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315096.png" />.
+
The group  $  \oplus _ {k} O _ {S} ( k ;  \pi , G ) $
 +
is denoted by  $  O _ {S} ( \pi , G ) $.
  
Cohomology operations first emerged in the solution of the problem of the classification of mappings of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315097.png" />-dimensional polyhedron into an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315098.png" />-dimensional sphere (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c02315099.png" /> in [[#References|[1]]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150100.png" /> in [[#References|[2]]]). The classification theorem [[#References|[2]]]: There is an exact sequence of groups:
+
Examples of stable cohomology operations. The Steenrod powers  $  Sq  ^ {i} \in O _ {S} ( i ;  \mathbf Z _ {2} , \mathbf Z _ {2} ) $
 +
and  $  {\mathcal P}  ^ {i} \in O _ {S} ( 2 ( p- 1 ) i ;  \mathbf Z _ {p} , \mathbf Z _ {p} ) $ (where  $  p > 2 $
 +
is a prime number), and the Bockstein homomorphism  $  \beta \in O _ {S} ( 1 ;  \mathbf Z _ {m} , \mathbf Z _ {m} ) $.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150101.png" /></td> </tr></table>
+
If  $  \theta \in O ( n , m ; \pi , G ) $
 +
and  $  \phi \in O ( m , l ; G , \tau ) $,
 +
then the cohomology operation  $  \phi \circ \theta \in O ( n , l ; \pi , \tau ) $
 +
is defined. In particular, one can define the composite  $  \phi \circ \theta \in O _ {S} ( \pi , \tau ) $
 +
of any two stable cohomology operations  $  \theta \in O _ {S} ( \pi , G ) $
 +
and  $  \phi \in O _ {S} ( G , \tau ) $,
 +
so that the group  $  O _ {S} ( \pi , \pi ) $
 +
is a ring;  $  O _ {S} ( \mathbf Z _ {p} , \mathbf Z _ {p} ) $
 +
is called the [[Steenrod algebra|Steenrod algebra]]  $  A _ {p} $.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150102.png" /></td> </tr></table>
+
Cohomology operations first emerged in the solution of the problem of the classification of mappings of an  $  ( n+ 1 ) $-dimensional polyhedron into an  $  n $-dimensional sphere ( $  n = 2 $
 +
in [[#References|[1]]] and  $  n > 2 $
 +
in [[#References|[2]]]). The classification theorem [[#References|[2]]]: There is an exact sequence of groups:
  
The extension theorem [[#References|[2]]]: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150103.png" /> be an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150104.png" />-dimensional polyhedron and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150105.png" /> be its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150106.png" />-dimensional skeleton. A mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150107.png" /> defines an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150108.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150109.png" /> is a generator. This mapping can be extended to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150110.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150111.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150112.png" /> for the inclusion <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150113.png" />.
+
$$
 +
0  \rightarrow \
 +
\mathop{\rm Coker} ( Sq  ^ {2} : H  ^ {n- 1} ( X ;  \mathbf Z _ {2} ) \rightarrow
 +
H  ^ {n+ 1} ( X ;  \mathbf Z _ {2} ) ) \rightarrow
 +
$$
  
Corresponding to the cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150114.png" />, the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150115.png" /> induces from the standard [[Serre fibration|Serre fibration]]
+
$$
 +
\rightarrow \
 +
[ X , S  ^ {n} ]  \rightarrow  \mathop{\rm ker} \left ( H  ^ {n} ( X)  \mathop \rightarrow \limits ^ { {
 +
\mathop{\rm mod}}  2 } H  ^ {n} ( X ;  \mathbf Z _ {2} )  \mathop \rightarrow \limits ^ { {Sq  ^ {2} }}  H  ^ {n+ 2} ( X ;  \mathbf Z _ {2} ) \right )  \rightarrow  0 .
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150116.png" /></td> </tr></table>
+
The extension theorem [[#References|[2]]]: Let  $  Y $
 +
be an  $  ( n+ 2 ) $-dimensional polyhedron and let  $  Y  ^ {n+ 1} $
 +
be its  $  ( n+ 1 ) $-dimensional skeleton. A mapping  $  f : Y  ^ {n+ 1} \rightarrow S  ^ {n} $
 +
defines an element  $  y = f  ^ {*} ( s) \in H  ^ {n} ( Y  ^ {n+ 1} ) $,
 +
where  $  s \in H  ^ {n} ( S  ^ {n} ) $
 +
is a generator. This mapping can be extended to  $  g :  Y \rightarrow S  ^ {n} $
 +
if and only if  $  Sq  ^ {2} ( z  \mathop{\rm mod}  2 ) = 0 $,
 +
where  $  j  ^ {*} z = y $
 +
for the inclusion  $  j : Y  ^ {n+ 1} \rightarrow Y $.
 +
 
 +
Corresponding to the cohomology operation  $  \theta \in O ( n , m ;  \pi , G ) $,
 +
the mapping  $  \theta :  K ( \pi , n ) \rightarrow K ( G , m ) $
 +
induces from the standard [[Serre fibration|Serre fibration]]
 +
 
 +
$$
 +
K ( G , m- 1 )  \rightarrow \
 +
PK ( G , m )  \rightarrow \
 +
K ( G , m )
 +
$$
  
 
the fibration
 
the fibration
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150117.png" /></td> </tr></table>
+
$$
 +
= K ( G , m- 1 )  \rightarrow ^ { i }  \
 +
E ( \theta )  \rightarrow ^ { p }  \
 +
K ( \pi , n )  = B .
 +
$$
  
Secondary cohomology operations are cohomology classes of spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150118.png" />. More precisely, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150119.png" /> be given, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150120.png" /> is an Abelian group. There exists for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150121.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150122.png" /> an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150123.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150124.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150125.png" /> is the mapping induced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150126.png" />; the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150127.png" /> depends on the choice of the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150128.png" />. The arbitrariness in the choice of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150129.png" /> is determined by the inverse image <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150130.png" />, that is, by the orbit of the action of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150131.png" /> on the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150132.png" />. When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150133.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150134.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150135.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150136.png" /> are group homomorphisms, and, therefore, under a different choice of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150137.png" /> the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150138.png" /> can change only by some element of the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150139.png" /> of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150140.png" />. One defines the secondary cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150141.png" /> by setting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150142.png" /> (the coset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150143.png" /> is uniquely determined by the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150144.png" />). Thus, the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150145.png" /> is defined on the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150146.png" /> and takes values in the quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150147.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150148.png" /> is called the indeterminacy of the cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150149.png" />. An alternative terminology is that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150150.png" /> is a partial multi-valued cohomology operation from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150151.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150152.png" />.
+
Secondary cohomology operations are cohomology classes of spaces $  E ( \theta ) $.  
 +
More precisely, let $  \phi \in H  ^ {q} ( E ( \theta ) ;  H ) $
 +
be given, where $  H $
 +
is an Abelian group. There exists for any $  u \in H  ^ {n} ( X , \pi ) $
 +
with $  \theta _ {X} ( u) = 0 $
 +
an element $  \widetilde{u}  \in [ X , E ( \theta ) ] $
 +
with $  p _ {\#} \widetilde{u}  = u $,  
 +
where $  p _ {\#} : [ X , E ( \theta ) ] \rightarrow [ X , B ] $
 +
is the mapping induced by $  p $;  
 +
the element $  v = \phi \circ \widetilde{u}  = \widetilde{u}  {}  ^ {*} ( \phi ) \in H  ^ {q} ( X ;  H ) $
 +
depends on the choice of the element $  \widetilde{u}  $.  
 +
The arbitrariness in the choice of $  \widetilde{u}  $
 +
is determined by the inverse image $  p  ^ {- 1} ( u) $,  
 +
that is, by the orbit of the action of the group $  [ X , F ] = H  ^ {m- 1} ( X ;  G ) $
 +
on the set $  [ X , E ( \theta ) ] $.  
 +
When $  m < 2n- 1 $
 +
and $  q < 2n- 1 $,  
 +
$  i _ {\#} $
 +
and $  \phi _ {\#} $
 +
are group homomorphisms, and, therefore, under a different choice of $  \widetilde{u}  $
 +
the element $  v $
 +
can change only by some element of the subgroup $  \mathop{\rm Im} ( i  ^ {*} \phi :  H  ^ {m- 1} ( X ;  G ) \rightarrow H  ^ {q} ( X ;  H ))= Q $
 +
of the group $  H  ^ {q} ( X , H ) $.  
 +
One defines the secondary cohomology operation $  \Phi $
 +
by setting $  \Phi _ {X} ( u) = u + Q $ (the coset $  u + Q $
 +
is uniquely determined by the element $  u $).  
 +
Thus, the mapping $  \Phi _ {X} $
 +
is defined on the subgroup $  \mathop{\rm Ker}  \theta _ {X} $
 +
and takes values in the quotient space $  H  ^ {q} ( X ;  H ) / Q $,  
 +
where $  Q $
 +
is called the indeterminacy of the cohomology operation $  \Phi $.  
 +
An alternative terminology is that $  \Phi $
 +
is a partial multi-valued cohomology operation from $  H  ^ {n} (  \cdot  ;  \pi ) $
 +
into $  H  ^ {q} (  \cdot  ;  H ) $.
  
Secondary cohomology operations are natural in the following sense: For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150153.png" /> and any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150154.png" />, one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150155.png" /> [[#References|[3]]]. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150156.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150157.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150158.png" />, so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150159.png" />, and therefore <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150160.png" /> with zero indeterminacy. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150161.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150162.png" /> is any cohomology operation in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150163.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150164.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150165.png" />, so that the cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150166.png" /> is a uni-valued cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150167.png" /> restricted to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150168.png" />.
+
Secondary cohomology operations are natural in the following sense: For any $  f : Y \rightarrow X $
 +
and any $  u \in  \mathop{\rm Ker}  \theta \subset  H  ^ {n} ( X ;  \pi ) $,  
 +
one has $  f  ^ {*} ( \Phi _ {X} ( u) ) \subset  \Phi _ {Y} ( f  ^ {*} ( u) ) $[[#References|[3]]]. If $  i  ^ {*} ( \phi ) = 0 $,  
 +
then $  \phi = p  ^ {*} ( \theta  ^  \prime  ) $
 +
for some $  \theta  ^  \prime  \in H  ^ {q} ( B ;  H ) $,  
 +
so that $  \widetilde{u}  {}  ^ {*} ( \phi ) = \theta  ^  \prime  ( u) $,  
 +
and therefore $  \Phi u = u  ^ {*} ( \theta  ^  \prime  ) = \theta  ^  \prime  ( u) $
 +
with zero indeterminacy. Here, $  \theta  ^  \prime  ( u) = \theta  ^ {\prime\prime} ( u) $,  
 +
where $  \theta  ^ {\prime\prime} $
 +
is any cohomology operation in $  H  ^ {m} ( B ;  H ) $
 +
such that $  p  ^ {*} ( \theta  ^ {\prime\prime} ) = \phi $,  
 +
and $  u \in  \mathop{\rm Ker}  \theta $,  
 +
so that the cohomology operation $  \Phi $
 +
is a uni-valued cohomology operation $  \theta  ^  \prime  $
 +
restricted to $  \mathop{\rm Ker}  \theta $.
  
To each secondary cohomology operation there corresponds a relation among the ordinary (primary) cohomology operations. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150169.png" />, then the cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150170.png" /> is uniquely representable in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150171.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150172.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150173.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150174.png" /> is such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150175.png" />, then corresponding to the cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150176.png" /> is the same relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150177.png" />. Conversely, there corresponds to any relation of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150178.png" /> a set of secondary cohomology operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150179.png" />, any two of which differ from each other by a primary cohomology operation defined on the kernel of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150180.png" />.
+
To each secondary cohomology operation there corresponds a relation among the ordinary (primary) cohomology operations. If $  q < 2m - 1 $,  
 +
then the cohomology operation $  i  ^ {*} ( \phi ) \in H  ^ {q} ( K ( G , m- 1 ) ;  H ) $
 +
is uniquely representable in the form $  {}  ^ {1} \psi $
 +
with $  \psi \in H  ^ {q+} 1 ( K ( G , m+ 1 ) ;  H ) $
 +
and $  \psi \circ \theta = 0 $.  
 +
If $  \phi  ^  \prime  \in H  ^ {m} ( E ( \theta ) ;  H ) $
 +
is such that $  i  ^ {*} ( \phi - \phi  ^  \prime  ) = 0 $,  
 +
then corresponding to the cohomology operation $  \phi  ^  \prime  $
 +
is the same relation $  \psi \circ \theta = 0 $.  
 +
Conversely, there corresponds to any relation of the form $  \psi \circ \theta = 0 $
 +
a set of secondary cohomology operations $  \{ \Phi \} $,  
 +
any two of which differ from each other by a primary cohomology operation defined on the kernel of $  \theta $.
  
A more general notion of a secondary cohomology operation is obtained by starting from a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150181.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150182.png" /> and the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150183.png" /> (see [[#References|[3]]]).
+
A more general notion of a secondary cohomology operation is obtained by starting from a set $  \theta = ( \theta _ {1} \dots \theta _ {n} ) $
 +
with $  \theta _ {i} \in H ^ {m _ {i} } ( K ( \pi , n ) ;  G ) $
 +
and the relation $  \sum \psi _ {i} \circ \theta _ {i} = 0 $ (see [[#References|[3]]]).
  
 
Example of a secondary cohomology operation. Let
 
Example of a secondary cohomology operation. Let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150184.png" /></td> </tr></table>
+
$$
 +
\theta  = S q  ^ {2}
 +
\circ  \mathop{\rm mod}  2 : \
 +
H  ^ {n} (  \cdot  ; \mathbf Z ) \
 +
\rightarrow  H  ^ {n+ 2} (  \cdot  ; \mathbf Z _ {2} )
 +
$$
  
and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150185.png" /> be a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150186.png" />-generator. This gives rise to a secondary cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150187.png" /> corresponding to the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150188.png" />. It enables one to classify mappings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150189.png" />-dimensional polyhedra into the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150190.png" />-dimensional sphere, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150191.png" />. The solution of the corresponding extension problem is as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150192.png" /> be an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150193.png" />-dimensional polyhedron and let a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150194.png" /> be given, so that one has an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150195.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150196.png" />. Then a necessary condition for an extension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150197.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150198.png" /> is that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150199.png" />; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150200.png" /> can be extended to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150201.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150202.png" /> is defined at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150203.png" />. It turns out that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150204.png" /> can be extended to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150205.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150206.png" />. Furthermore, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150207.png" /> detects the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150208.png" /> that is the composite of the suspension of the Hopf mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150209.png" /> and defines a generator of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150210.png" />.
+
and let $  \phi \in H  ^ {n+ 3} ( E ( \theta ) ;  \mathbf Z _ {2} ) $
 +
be a $  \mathbf Z _ {2} $-generator. This gives rise to a secondary cohomology operation $  \alpha : H  ^ {n} (  \cdot  ;  \mathbf Z ) \rightarrow H  ^ {n+ 3} (  \cdot  ;  \mathbf Z _ {2} ) $
 +
corresponding to the relation $  S q  ^ {2} \circ ( S q  ^ {2} \circ  \mathop{\rm mod}  2 ) = 0 $.  
 +
It enables one to classify mappings of $  ( n + 2 ) $-dimensional polyhedra into the $  n $-dimensional sphere, $  n \geq  2 $.  
 +
The solution of the corresponding extension problem is as follows. Let $  Y $
 +
be an $  ( n + 3 ) $-dimensional polyhedron and let a mapping $  f : Y  ^ {n+ 1} \rightarrow S  ^ {n} $
 +
be given, so that one has an element $  y \in H  ^ {n} ( Y  ^ {n+ 1} ) $,  
 +
$  y \in f  ^ {*} ( s) $.  
 +
Then a necessary condition for an extension of $  f $
 +
onto $  Y  ^ {n+ 2} $
 +
is that $  S q  ^ {2} ( z  \mathop{\rm mod}  2 ) = 0 $;  
 +
if $  f $
 +
can be extended to $  Y  ^ {n+ 2} $,  
 +
then $  \alpha $
 +
is defined at $  z $.  
 +
It turns out that $  f $
 +
can be extended to $  Y $
 +
if and only if 0 \in \alpha ( z) $.  
 +
Furthermore, $  \alpha $
 +
detects the mapping $  S  ^ {n+ 2} \rightarrow S  ^ {n+ 1} \rightarrow S  ^ {n} $
 +
that is the composite of the suspension of the Hopf mapping $  S  ^ {3} \rightarrow S  ^ {2} $
 +
and defines a generator of the group $  \pi _ {n+ 2} ( S  ^ {n} ) = \mathbf Z _ {2} $.
  
The first solution of the  "Hopf invariant problem55Q25Hopf invariant problem"  (on the existence of elements of Hopf invariant one) was also given by means of secondary cohomology operations [[#References|[7]]]. For a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150211.png" /> the Hopf invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150212.png" /> is defined by the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150213.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150214.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150215.png" /> are generators. The oddness of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150216.png" /> is equivalent to the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150217.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150218.png" />. When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150219.png" />, the operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150220.png" /> is decomposable in the class of primary operations, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150221.png" />, so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150222.png" /> can be odd only when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150223.png" />. But in the class of secondary operations, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150224.png" /> is decomposable when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150225.png" />, and therefore <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150226.png" /> can be odd only when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150227.png" />.
+
The first solution of the  "Hopf invariant problem55Q25Hopf invariant problem"  (on the existence of elements of Hopf invariant one) was also given by means of secondary cohomology operations [[#References|[7]]]. For a mapping $  f : S  ^ {2n- 1} \rightarrow S  ^ {n} $
 +
the Hopf invariant $  H ( f  ) \in \mathbf Z $
 +
is defined by the formula $  u  ^ {2} = H ( f  ) v $,  
 +
where $  v \in H  ^ {2n} ( S  ^ {n} \cup f e  ^ {2n} ) = \mathbf Z $,  
 +
$  u \in H  ^ {n} ( S  ^ {n} \cup fe  ^ {2n} ) = \mathbf Z $
 +
are generators. The oddness of $  H ( f  ) $
 +
is equivalent to the condition $  S q  ^ {n} u _ {n} \neq 0 $,  
 +
where $  u _ {n} \in H  ^ {n} ( S  ^ {n} \cup f e  ^ {2n} ;  \mathbf Z _ {2} ) = \mathbf Z _ {2} $.  
 +
When $  n \neq 2  ^ {s} $,  
 +
the operation $  S q  ^ {n} $
 +
is decomposable in the class of primary operations, that is, $  S q  ^ {n} = \sum _ {t < n }  a _ {t} S q  ^ {t} $,  
 +
so that $  H ( f  ) $
 +
can be odd only when $  n = 2  ^ {s} $.  
 +
But in the class of secondary operations, $  S q ^ {2  ^ {s} } $
 +
is decomposable when $  s \neq 1 , 2 , 3 $,  
 +
and therefore $  H ( f  ) $
 +
can be odd only when $  n = 2 , 4 , 8 $.
  
In addition to the secondary cohomology operations there are tertiary ones, and more generally, higher cohomology operations of any order. Corresponding to a primary cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150228.png" /> and an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150229.png" /> defining a secondary cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150230.png" /> there is a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150231.png" /> inducing from the Serre fibration over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150232.png" /> the fibration <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150233.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150234.png" /> is called the space of the cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150235.png" />. If one has a cohomology class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150236.png" />, one can construct a tertiary cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150237.png" /> defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150238.png" />, the indeterminacy of which is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150239.png" /> (under suitable restrictions on the dimension). Corresponding to this cohomology operation is the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150240.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150241.png" /> is a primary cohomology operation, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150242.png" />. Inductive continuation of this process leads to the definition of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150244.png" />-th order cohomology operation. In other words, given an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150245.png" />-th order cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150246.png" />, the space of which is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150247.png" />, and an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150248.png" />, one constructs the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150249.png" />-th order cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150250.png" /> defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150251.png" />. Moreover, the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150252.png" /> is the space of the fibration induced from the Serre fibration over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150253.png" /> by the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150254.png" />. An axiom system for higher cohomology operations is constructed in [[#References|[12]]].
+
In addition to the secondary cohomology operations there are tertiary ones, and more generally, higher cohomology operations of any order. Corresponding to a primary cohomology operation $  \theta $
 +
and an element $  \phi \in H  ^ {q} ( E ( \theta ) ;  H ) $
 +
defining a secondary cohomology operation $  \Phi $
 +
there is a mapping $  E ( \theta ) \rightarrow K ( H ;  q ) $
 +
inducing from the Serre fibration over $  K ( H ;  q ) $
 +
the fibration $  K ( H , q - 1 ) \rightarrow E ( \Phi ) \rightarrow E ( \theta ) $;  
 +
$  E ( \Phi ) $
 +
is called the space of the cohomology operation $  \Phi $.  
 +
If one has a cohomology class $  \gamma \in H  ^ {r} ( E ( \Phi ) ;  A ) $,  
 +
one can construct a tertiary cohomology operation $  \Gamma : H  ^ {n} ( X ;  \pi ) \rightarrow H  ^ {r} ( X ;  A ) $
 +
defined on $  \mathop{\rm Ker}  \Phi $,  
 +
the indeterminacy of which is $  \mathop{\rm Im} ( i  ^ {*} \gamma ) $ (under suitable restrictions on the dimension). Corresponding to this cohomology operation is the relation $  \psi \circ \Phi = 0 $,  
 +
where $  \psi $
 +
is a primary cohomology operation, $  1 _  \psi  = i  ^ {*} \gamma $.  
 +
Inductive continuation of this process leads to the definition of an $  n $-th order cohomology operation. In other words, given an $  n $-th order cohomology operation $  \xi $,  
 +
the space of which is $  E ( \xi ) $,  
 +
and an element $  \lambda \in H  ^ {s} ( E ( \xi ) , C ) $,  
 +
one constructs the $  ( n + 1 ) $-th order cohomology operation $  \Lambda $
 +
defined on $  \mathop{\rm Ker}  \xi $.  
 +
Moreover, the space $  E ( \Lambda ) $
 +
is the space of the fibration induced from the Serre fibration over $  K ( C , s ) $
 +
by the mapping $  \lambda : E ( \xi ) \rightarrow K ( C , s ) $.  
 +
An axiom system for higher cohomology operations is constructed in [[#References|[12]]].
  
 
The simplest examples of higher cohomology operations are the higher Bockstein homomorphisms. Let there be given a short exact sequence of groups
 
The simplest examples of higher cohomology operations are the higher Bockstein homomorphisms. Let there be given a short exact sequence of groups
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150255.png" /></td> </tr></table>
+
$$
 +
0 \rightarrow  \mathbf Z  \rightarrow ^ { p }  \
 +
\mathbf Z  \rightarrow  \mathbf Z _ {p} \rightarrow  0
 +
$$
  
 
so that
 
so that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150256.png" /></td> </tr></table>
+
$$
 +
\dots \rightarrow  H  ^ {n} ( X)
 +
\rightarrow ^ { p }  H  ^ {n} ( X)
 +
  \mathop \rightarrow \limits ^ { { \mathop{\rm mod}}  p } \
 +
H  ^ {n} ( X ; \mathbf Z _ {p} )
 +
  \mathop \rightarrow \limits ^  \delta    H  ^ {n+ 1}
 +
( X)  \rightarrow \dots
 +
$$
  
is the corresponding exact sequence. Then the homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150257.png" /> is also a Bockstein homomorphism; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150258.png" />. The formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150259.png" /> holds; corresponding to this relation is the secondary cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150260.png" />. Furthermore, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150261.png" />, so that there is a tertiary cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150262.png" />. More generally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150263.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150264.png" />-th order cohomology operation constructed from the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150265.png" />. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150266.png" /> is defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150267.png" />. An explicit description of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150268.png" /> emerges in the following way: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150269.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150270.png" /> be a cocycle with coefficients in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150271.png" /> representing it. Then the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150272.png" /> implies that there is an integral representative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150273.png" /> of the cocycle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150274.png" />, the coboundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150275.png" /> of which is divisible by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150276.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150277.png" /> is the cohomology class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150278.png" /> of the cocycle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150279.png" />. Thus, information about the action of the higher Bockstein cohomology operations in the groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150280.png" /> enables one to calculate the free part and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150281.png" />-component of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150282.png" />.
+
is the corresponding exact sequence. Then the homomorphism $  \beta = \mathop{\rm mod}  p \circ \delta : H  ^ {n} ( X ;  \mathbf Z _ {p} ) \rightarrow H  ^ {n+ 1} ( X ;  \mathbf Z _ {p} ) $
 +
is also a Bockstein homomorphism; $  \beta \in O _ {S} ( 1 ;  \mathbf Z _ {p} , \mathbf Z _ {p} ) $.  
 +
The formula $  \beta \circ \beta = 0 $
 +
holds; corresponding to this relation is the secondary cohomology operation $  \beta _ {2} $.  
 +
Furthermore, $  \beta \circ \beta _ {2} = 0 $,  
 +
so that there is a tertiary cohomology operation $  \beta _ {3} $.  
 +
More generally, $  \beta _ {r} $
 +
is the $  r $-th order cohomology operation constructed from the relation $  \beta \circ \beta _ {r-} 1 = 0 $.  
 +
Here $  \beta _ {r} $
 +
is defined on $  \mathop{\rm Ker}  \beta _ {r- 1} $.  
 +
An explicit description of $  \beta _ {r} $
 +
emerges in the following way: Let $  x \in H  ^ {n} ( X ;  \mathbf Z _ {p} ) $
 +
and let c $
 +
be a cocycle with coefficients in $  \mathbf Z _ {p} $
 +
representing it. Then the equation $  \beta _ {r-} 1 x = 0 $
 +
implies that there is an integral representative $  z $
 +
of the cocycle c $,  
 +
the coboundary $  \delta z $
 +
of which is divisible by $  p  ^ {r} $.  
 +
Then $  \beta _ {r} x $
 +
is the cohomology class $  \mathop{\rm mod}  p $
 +
of the cocycle $  \delta z / p  ^ {r} $.  
 +
Thus, information about the action of the higher Bockstein cohomology operations in the groups $  H  ^ {*} ( X ;  \mathbf Z _ {p} ) $
 +
enables one to calculate the free part and the $  p $-component of the group $  H  ^ {*} ( X ;  \mathbf Z ) $.
  
To each partial cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150283.png" /> corresponds a homotopically-simple space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150284.png" /> with a finite number of (non-trivial) homotopy groups. Conversely, one can associate with each space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150285.png" /> of this type a cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150286.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150287.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150288.png" /> are weakly homotopy equivalent, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150289.png" />. For example, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150290.png" /> is a space with two non-trivial homotopy groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150291.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150292.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150293.png" />, then there is a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150294.png" /> inducing an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150295.png" />. This mapping can be converted into a fibration with fibre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150296.png" />; this fibration is induced from the Serre fibration over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150297.png" /> by some mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150298.png" />; the latter defines a cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150299.png" />.
+
To each partial cohomology operation $  \Phi $
 +
corresponds a homotopically-simple space $  E ( \Phi ) $
 +
with a finite number of (non-trivial) homotopy groups. Conversely, one can associate with each space $  E $
 +
of this type a cohomology operation $  \Phi $
 +
for which $  E $
 +
and $  E ( \Phi ) $
 +
are weakly homotopy equivalent, $  E \sim  ^ {w} E ( \Phi ) $.  
 +
For example, if $  E $
 +
is a space with two non-trivial homotopy groups $  \pi _ {n} ( E) = \pi $,  
 +
$  \pi _ {m} ( E) = G $,  
 +
$  m > n $,  
 +
then there is a mapping $  E \rightarrow K ( \pi , n ) $
 +
inducing an isomorphism $  \pi _ {n} ( E) \rightarrow \pi _ {n} ( K ( \pi , n ) ) $.  
 +
This mapping can be converted into a fibration with fibre $  K ( G , m ) $;  
 +
this fibration is induced from the Serre fibration over $  K ( G , m + 1 ) $
 +
by some mapping $  K ( \pi , n ) \rightarrow K ( G , m + 1 ) $;  
 +
the latter defines a cohomology operation $  \theta \in O ( n , m + 1 ;  \pi , G ) $.
  
These considerations enable one to describe the weak homotopy type of any space by associating with it the collection of higher cohomology operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150300.png" />, called its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150301.png" />-th Postnikov factors (see [[Postnikov system|Postnikov system]]). For example, for the sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150302.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150303.png" />, the first Postnikov factor is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150304.png" />, and the second is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150305.png" />.
+
These considerations enable one to describe the weak homotopy type of any space by associating with it the collection of higher cohomology operations $  \{ k _ {n} \} _ {n= 1}  ^  \infty  $,  
 +
called its $  n $-th Postnikov factors (see [[Postnikov system|Postnikov system]]). For example, for the sphere $  S  ^ {n} $,  
 +
$  n > 3 $,  
 +
the first Postnikov factor is $  S q  ^ {2} $,  
 +
and the second is $  \alpha $.
  
Another important type of cohomology operations are the functional cohomology operations [[#References|[3]]]. To define them, a mapping ( "function" ) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150306.png" /> and a cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150307.png" /> are given. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150308.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150309.png" /> lies in the image of the cohomology suspension and is a group homomorphism. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150310.png" /> is a closed imbedding (a cofibration) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150311.png" /> is the inclusion mapping, then the functional cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150312.png" /> is defined as the partial many-valued mapping
+
Another important type of cohomology operations are the functional cohomology operations [[#References|[3]]]. To define them, a mapping ( "function" ) $  f : Y \rightarrow X $
 +
and a cohomology operation $  \theta \in O ( n , m ;  \pi , G ) $
 +
are given. For $  m \leq  2 - 2 $,  
 +
$  \theta $
 +
lies in the image of the cohomology suspension and is a group homomorphism. If $  f $
 +
is a closed imbedding (a cofibration) and $  j : X \rightarrow ( X , Y ) $
 +
is the inclusion mapping, then the functional cohomology operation $  \theta _ {f} : H  ^ {n} ( X ;  \pi ) \rightarrow H  ^ {m- 1} ( Y , G ) $
 +
is defined as the partial many-valued mapping
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150313.png" /></td> </tr></table>
+
$$
 +
\theta _ {f} : H  ^ {n}
 +
( X ; \pi )  \leftarrow ^ { {j  ^ {*}} } \
 +
H  ^ {n} ( X , Y ; \pi )
 +
  \mathop \rightarrow \limits ^ { {\theta ( X , Y ) }}  \
 +
H  ^ {m} ( X , Y ; G )
 +
\leftarrow ^  \delta 
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150314.png" /></td> </tr></table>
+
$$
 +
\leftarrow ^  \delta    H  ^ {m- 1} ( Y ; G ) ;
 +
$$
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150315.png" />. This cohomology operation is defined on the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150316.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150317.png" />, and its indeterminacy is the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150318.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150319.png" />. The construction of the functional cohomology operation is natural in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150320.png" />. Example. If for a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150321.png" /> there exists a (primary) cohomology operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150322.png" /> and a cohomology class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150323.png" /> of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150324.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150325.png" /> is defined and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150326.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150327.png" /> is essential. Functional and secondary cohomology operations are related to each other by the Peterson–Stein formulas (see [[#References|[3]]]), enabling one in a number of cases to reduce the computation of secondary cohomology operations to that of primary and functional cohomology operations. There also exist higher functional cohomology operations [[#References|[6]]]. The Massey product is a construction that is analogous to the higher cohomology operations in its structure and applications.
+
$  \theta _ {f} = \delta  ^ {- 1} \circ \theta \circ ( j  ^ {*} )  ^ {- 1} $.  
 +
This cohomology operation is defined on the subgroup $  \mathop{\rm Ker}  f  ^ {*} \cap  \mathop{\rm Ker}  \theta _ {X} $
 +
of $  H  ^ {n} ( X , \pi ) $,  
 +
and its indeterminacy is the subgroup $  \mathop{\rm Im} ( {}  ^ {1} \theta _ {y} ) +  \mathop{\rm Im} ( f  ^ {*} ) $
 +
of $  H  ^ {n- 1} ( Y ;  G ) $.  
 +
The construction of the functional cohomology operation is natural in $  f $.  
 +
Example. If for a mapping $  f : Y \rightarrow X $
 +
there exists a (primary) cohomology operation $  \theta $
 +
and a cohomology class $  u $
 +
of the space $  X $
 +
such that $  \theta _ {f} ( u) $
 +
is defined and 0 \notin \theta _ {f} ( u) $,  
 +
then $  f $
 +
is essential. Functional and secondary cohomology operations are related to each other by the Peterson–Stein formulas (see [[#References|[3]]]), enabling one in a number of cases to reduce the computation of secondary cohomology operations to that of primary and functional cohomology operations. There also exist higher functional cohomology operations [[#References|[6]]]. The Massey product is a construction that is analogous to the higher cohomology operations in its structure and applications.
  
The concept of a cohomology operation has been carried over to [[Generalized cohomology theories|generalized cohomology theories]]. A transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150328.png" /> (natural with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150329.png" />) in a generalized cohomology theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150330.png" /> is called a cohomology operation of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150331.png" />. These cohomology operations from a group isomorphic to the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150332.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150333.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150334.png" />-spectrum representing the theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150335.png" />. The group of all stable cohomology operations is a ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150336.png" /> (with respect to composition), so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150337.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150338.png" />-module natural with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150339.png" />. The notions of a partial and a functional cohomology operation also have analogues in generalized cohomology theories.
+
The concept of a cohomology operation has been carried over to [[Generalized cohomology theories|generalized cohomology theories]]. A transformation $  h  ^ {n} ( X) \rightarrow h  ^ {m} ( X) $ (natural with respect to $  X  $)  
 +
in a generalized cohomology theory $  h  ^ {*} $
 +
is called a cohomology operation of type $  ( n , m ) $.  
 +
These cohomology operations from a group isomorphic to the group $  h  ^ {m} ( M _ {n} ) $,  
 +
where $  \{ M _ {k} , s _ {k} \} $
 +
is the $  \Omega $-spectrum representing the theory $  h  ^ {*} $.  
 +
The group of all stable cohomology operations is a ring $  A  ^ {h} $ (with respect to composition), so that $  h  ^ {*} $
 +
is an $  A  ^ {h} $-module natural with respect to $  X $.  
 +
The notions of a partial and a functional cohomology operation also have analogues in generalized cohomology theories.
  
By means of partial cohomology operations in ordinary cohomology theory one can solve, in principle, any homotopy problem; however, the practical application of a cohomology operation of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150340.png" /> is extremely laborious. At the same time, it often happens that a problem requiring for its solution ordinary cohomology operations of higher order can be easily solved by the application of primary cohomology operations in a suitably chosen generalized cohomology theory. For example, the  "Hopf invariant problem"  is easily solved by means of the Adams primary cohomology operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150342.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150343.png" />-theory [[#References|[10]]]. These cohomology operations, introduced in [[#References|[8]]] for the solution of vector fields on spheres, were the first examples of cohomology operations in a generalized cohomology theory.
+
By means of partial cohomology operations in ordinary cohomology theory one can solve, in principle, any homotopy problem; however, the practical application of a cohomology operation of order $  n > 3 $
 +
is extremely laborious. At the same time, it often happens that a problem requiring for its solution ordinary cohomology operations of higher order can be easily solved by the application of primary cohomology operations in a suitably chosen generalized cohomology theory. For example, the  "Hopf invariant problem"  is easily solved by means of the Adams primary cohomology operations $  \psi  ^ {k} $
 +
in $  K $-theory [[#References|[10]]]. These cohomology operations, introduced in [[#References|[8]]] for the solution of vector fields on spheres, were the first examples of cohomology operations in a generalized cohomology theory.
  
The algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150345.png" /> was calculated [[#References|[4]]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150346.png" />, the unitary [[Cobordism|cobordism]] theory, and was used in the construction of a spectral sequence of Adams type, the first term which is the cohomology space of the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150347.png" />. Information on the action of the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150348.png" /> in the groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150349.png" /> proves to be useful in the calculation of the Atiyah–Hirzebruch spectral sequence in the theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150350.png" /> .
+
The algebra $  A  ^ {h} $
 +
was calculated [[#References|[4]]] for $  h = U  ^ {*} $,  
 +
the unitary [[Cobordism|cobordism]] theory, and was used in the construction of a spectral sequence of Adams type, the first term which is the cohomology space of the algebra $  A  ^ {U} $.  
 +
Information on the action of the ring $  A  ^ {h} $
 +
in the groups $  h  ^ {*} ( X) $
 +
proves to be useful in the calculation of the Atiyah–Hirzebruch spectral sequence in the theory $  h  ^ {*} $.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.S. Pontryagin,  "A classification of mappings of a three-dimensional complex into the two-dimensional sphere"  ''Mat. Sb.'' , '''9'''  (1941)  pp. 331–363  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N. Steenrod,  "Products of cocycles and extensions of mappings"  ''Ann. of Math.'' , '''48'''  (1947)  pp. 290–320</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  R.E. Mosher,  M.C. Tangora,  "Cohomology operations and applications in homotopy theory" , Harper &amp; Row  (1968)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  S.P. Novikov,  "The methods of algebraic topology from the viewpoint of cobordism theory"  ''Math. USSR.-Izv.'' , '''31'''  (1967)  pp. 827–913  ''Izv. Akad. Nauk SSSR Ser. Mat.''  (1967)  pp. 855–951</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N.E. Steenrod,  "Cohomology operations and obstructions to extending continuous functions" , ''Colloquium Lectures'' , Princeton Univ. Press  (1957)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  F.P. Peterson,  "Functional cohomology operations"  ''Trans. Amer. Math. Soc.'' , '''86'''  (1957)  pp. 197–211</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  J.F. Adams,  "On the non-existence of elements of Hopf invariant one"  ''Ann. of Math. (2)'' , '''72'''  (1960)  pp. 20–104</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  J.F. Adams,  "Vector fields on spheres"  ''Ann. of Math.'' , '''75'''  (1962)  pp. 603–632</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  H. Cartan,  "Algèbres d'Eilenberg–MacLane et homotopie" , ''Sem. H. Cartan'' , '''7'''  (1954–1955)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  M.F. Atiyah,  "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150351.png" />-theory: lectures" , Benjamin  (1967)</TD></TR><TR><TD valign="top">[11a]</TD> <TD valign="top">  V.M. [V.M. Bukhshtaber] Buhštaber,  "Modules of differentials of the Atiyah–Hirzebruch spectral sequence"  ''Math. USSR-Sb.'' , '''7''' :  2  (1969)  pp. 299–313  ''Mat. Sb.'' , '''78'''  (1969)  pp. 307–320</TD></TR><TR><TD valign="top">[11b]</TD> <TD valign="top">  V.M. [V.M. Bukhshtaber] Buchštaber,  "Modules of differentials of the Atiyah–Hirzebruch spectral sequence II"  ''Math. USSR-Sb.'' , '''12'''  (1970)  pp. 59–75  ''Mat. Sb.'' , '''83'''  (1970)  pp. 61–76</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  C.R.F. Maunder,  "Cohomology operations of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150352.png" />-th kind"  ''Proc. London Math. Soc.'' , '''13'''  (1963)  pp. 125–154</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.S. Pontryagin,  "A classification of mappings of a three-dimensional complex into the two-dimensional sphere"  ''Mat. Sb.'' , '''9'''  (1941)  pp. 331–363  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N. Steenrod,  "Products of cocycles and extensions of mappings"  ''Ann. of Math.'' , '''48'''  (1947)  pp. 290–320</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  R.E. Mosher,  M.C. Tangora,  "Cohomology operations and applications in homotopy theory" , Harper &amp; Row  (1968)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  S.P. Novikov,  "The methods of algebraic topology from the viewpoint of cobordism theory"  ''Math. USSR.-Izv.'' , '''31'''  (1967)  pp. 827–913  ''Izv. Akad. Nauk SSSR Ser. Mat.''  (1967)  pp. 855–951</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N.E. Steenrod,  "Cohomology operations and obstructions to extending continuous functions" , ''Colloquium Lectures'' , Princeton Univ. Press  (1957)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  F.P. Peterson,  "Functional cohomology operations"  ''Trans. Amer. Math. Soc.'' , '''86'''  (1957)  pp. 197–211</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  J.F. Adams,  "On the non-existence of elements of Hopf invariant one"  ''Ann. of Math. (2)'' , '''72'''  (1960)  pp. 20–104</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  J.F. Adams,  "Vector fields on spheres"  ''Ann. of Math.'' , '''75'''  (1962)  pp. 603–632</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  H. Cartan,  "Algèbres d'Eilenberg–MacLane et homotopie" , ''Sem. H. Cartan'' , '''7'''  (1954–1955)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  M.F. Atiyah,  "K-theory: lectures" , Benjamin  (1967)</TD></TR><TR><TD valign="top">[11a]</TD> <TD valign="top">  V.M. [V.M. Bukhshtaber] Buhštaber,  "Modules of differentials of the Atiyah–Hirzebruch spectral sequence"  ''Math. USSR-Sb.'' , '''7''' :  2  (1969)  pp. 299–313  ''Mat. Sb.'' , '''78'''  (1969)  pp. 307–320</TD></TR><TR><TD valign="top">[11b]</TD> <TD valign="top">  V.M. [V.M. Bukhshtaber] Buchštaber,  "Modules of differentials of the Atiyah–Hirzebruch spectral sequence II"  ''Math. USSR-Sb.'' , '''12'''  (1970)  pp. 59–75  ''Mat. Sb.'' , '''83'''  (1970)  pp. 61–76</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  C.R.F. Maunder,  "Cohomology operations of the $N$-th kind"  ''Proc. London Math. Soc.'' , '''13'''  (1963)  pp. 125–154</TD></TR></table>
 
 
 
 
  
 
====Comments====
 
====Comments====
 
The spectral sequence introduced in [[#References|[4]]], often called the Adams–Novikov spectral sequence, has been the basis for much subsequent work; see [[#References|[a1]]].
 
The spectral sequence introduced in [[#References|[4]]], often called the Adams–Novikov spectral sequence, has been the basis for much subsequent work; see [[#References|[a1]]].
  
If, as is often done, the generalized cohomology theory defined by a spectrum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150353.png" /> is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150354.png" />, then the ring of stable cohomology operations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150355.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150356.png" />. The action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150357.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150358.png" /> is defined by assigning <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150359.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150360.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150361.png" />. The ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150362.png" /> in fact has a [[Hopf algebra|Hopf algebra]] structure. The dual Hopf algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150363.png" /> is also a most useful object of equivalent power, and in fact is sometimes technically easier to work with [[#References|[a4]]], [[#References|[a5]]]. Cf. [[Generalized cohomology theories|Generalized cohomology theories]] for more details and for the definition of the Hopf algebra structures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150364.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150365.png" />. For complex cobordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150366.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150367.png" />) and Brown–Peterson cohomology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150368.png" />, the Hopf algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150369.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150370.png" /> have interpretations in terms of the formal group laws defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150371.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150372.png" />, cf. [[#References|[a1]]], [[#References|[a6]]].
+
If, as is often done, the generalized cohomology theory defined by a spectrum $  E $
 +
is denoted by $  E  ^ {*} $,  
 +
then the ring of stable cohomology operations of $  E  ^ {*} $
 +
is $  E  ^ {*} ( E) $.  
 +
The action of $  E  ^ {*} ( E) $
 +
on $  E  ^ {*} ( X) $
 +
is defined by assigning $  gf : X \rightarrow E $
 +
to $  g : E \rightarrow E $
 +
and $  f : X \rightarrow E $.  
 +
The ring $  E  ^ {*} ( E) $
 +
in fact has a [[Hopf algebra|Hopf algebra]] structure. The dual Hopf algebra $  E _ {*} ( E) $
 +
is also a most useful object of equivalent power, and in fact is sometimes technically easier to work with [[#References|[a4]]], [[#References|[a5]]]. Cf. [[Generalized cohomology theories|Generalized cohomology theories]] for more details and for the definition of the Hopf algebra structures on $  E  ^ {*} ( E) $
 +
and $  E _ {*} ( E) $.  
 +
For complex cobordism $  {M U }  ^ {*} $ (or $  U  ^ {*} $)  
 +
and Brown–Peterson cohomology $  {B P }  ^ {*} $,  
 +
the Hopf algebras $  {M U }  ^ {*} ( M U) $
 +
and $  {B P }  ^ {*} ( B P) $
 +
have interpretations in terms of the formal group laws defined by $  M U $
 +
and $  B P $,  
 +
cf. [[#References|[a1]]], [[#References|[a6]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D.C. Ravenel,  "Complex cobordism and stable homotopy groups of spheres" , Acad. Press  (1986)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  E.H. Spanier,  "Algebraic topology" , McGraw-Hill  (1966)  pp. 269–276; 429–432</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  N.E. Steenrod,  D.B.A. Epstein,  "Cohomology operations" , Princeton Univ. Press  (1962)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R.M. Switzer,  "Algebraic topology - homotopy and homology" , Springer  (1975)  pp. Chapts. 17; 18</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  J.F. Adams,  "Stable homotopy and generalised homology" , Univ. Chicago Press  (1974)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  P.S. Landweber,  "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023150/c023150373.png" /> and typical formal groups"  ''Osaka J. Math.'' , '''12'''  (1975)  pp. 499–506</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D.C. Ravenel,  "Complex cobordism and stable homotopy groups of spheres" , Acad. Press  (1986)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  E.H. Spanier,  "Algebraic topology" , McGraw-Hill  (1966)  pp. 269–276; 429–432</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  N.E. Steenrod,  D.B.A. Epstein,  "Cohomology operations" , Princeton Univ. Press  (1962)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R.M. Switzer,  "Algebraic topology - homotopy and homology" , Springer  (1975)  pp. Chapts. 17; 18</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  J.F. Adams,  "Stable homotopy and generalised homology" , Univ. Chicago Press  (1974)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  P.S. Landweber,  "$BP^\ast(BP)$ and typical formal groups"  ''Osaka J. Math.'' , '''12'''  (1975)  pp. 499–506</TD></TR></table>

Latest revision as of 09:49, 26 March 2023


A natural transformation of certain cohomology functors into others (most often — into themselves). By a cohomology operation of type $ ( n , m ; \pi , G ) $, $ n $ and $ m $ being integers and $ \pi , G $ Abelian groups, one means a family of mappings (not necessarily homomorphisms) between cohomology groups $ \theta _ {X} : H ^ {n} ( X ; \pi ) \rightarrow H ^ {m} ( X ; G ) $, defined for any space $ X $, such that $ \theta _ {X} \circ f ^ {*} = f ^ {*} \circ \theta _ {Y} $ for any continuous mapping $ f : X \rightarrow Y $ (naturality). The set of all cohomology operations of type $ ( n , m ; \pi , G ) $ forms an Abelian group with respect to the composition: $ ( \theta + \psi ) _ {X} = \theta _ {X} + \psi _ {X} $, and is denoted by $ O ( n , m ; \pi , G ) $.

Examples of cohomology operations. The Steenrod reduced powers $ Sq ^ {i} $ and $ {\mathcal P} ^ {i} $ (cf. Steenrod reduced power); the Pontryagin square $ {\mathcal P} _ {1} $; the Postnikov square; raising to the $ k $-th power, $ \mu _ {k} $: for $ x \in H ^ {s} ( X ; \pi ) $, where $ \pi $ is a ring, $ \mu _ {k} ( x) = x ^ {k} $, $ \mu _ {k} \in O ( s , ks ; \pi , \pi ) $; the Bockstein homomorphism $ \beta $; cohomology operations induced by homomorphisms $ \pi \rightarrow G $ of the coefficient groups, for example, $ \mathop{\rm mod} p : H ^ {n} ( X) \rightarrow H ^ {n} ( X , \mathbf Z _ {p} ) $.

Cohomology operations represent an additional structure in cohomology functors, and for this reason they make it possible to solve problems of homotopic topology that are not solvable "at the level" of cohomology groups. Examples. 1) Let $ X $ and $ Y $ be two spaces and let $ x \in H ^ {n} ( X ; \pi ) $, $ y \in H ^ {n} ( Y ; \pi ) $ be two elements. Does there exist a mapping $ f : X \rightarrow Y $ such that $ f ^ {*} ( y) = x $? A first sufficient condition for the absence of such an $ f $ is the absence of a homomorphism $ g : H ^ {*} ( Y , \pi ) \rightarrow H ^ {*} ( X , \pi ) $ with $ g ( y) = x $. (By this method, one can prove, for example, the Brouwer theorem on fixed points.) If $ g $ exists, then the non-existence of $ f $ can be established as follows: Let $ \theta $ be a cohomology operation, $ \theta \in O ( n , m ; \pi , G ) $, with $ \theta _ {Y} ( y) = 0 $, $ \theta _ {X} ( x) \neq 0 $. Then $ 0 \neq \theta _ {X} ( x) = \theta _ {X} ( f ^ {*} ( y) ) = f ^ {*} ( \theta _ {Y} ( y)) = f ^ {*} ( 0) = 0 $, which is impossible. 2) Is the mapping: $ f : S ^ {m} \rightarrow S ^ {n} $ essential? Let $ C _ {f} = S ^ {n} \cup f e ^ {m} $. Then (for $ m \neq n $) $ H ^ {m+ 1} ( C _ {f} ; G ) = G $, $ H ^ {n} ( C _ {f} ; \pi ) = \pi $. If there is a cohomology operation $ \theta \in O ( n , m+ 1 ; \pi , G ) $ with $ \theta _ {C _ {f} } \neq 0 $, then $ f $ is essential. In this case, the operation $ \theta $ detects the mapping $ f $ or the element $ [ f ] \in \pi _ {m} ( S ^ {n} ) $.

There is an isomorphism of groups $ O ( n , m ; \pi , G ) \approx H ^ {m} ( K ( \pi , n ) ; G ) $, where $ K ( \pi , n ) $ is an Eilenberg–MacLane space, and therefore $ O ( n , m ; \pi , G ) \approx [ K ( \pi , n ) , K ( G , m ) ] $ (see Representable functor). The groups $ H ^ {m} ( K ( \pi , n ) ; G ) $ have been computed for all $ m $ and $ n $ and any finitely generated $ \pi $ and $ G $[9].

The cohomology suspension $ {} ^ {1} \theta \in O ( n- 1 , m- 1 ; \pi , G ) $ of a cohomology operation $ \theta \in O ( n , m ; \pi , G ) $ is the mapping $ {} ^ {1} \theta _ {X} $ given by the composition

$$ H ^ {n- 1} ( X ; \pi ) \rightarrow H ^ {n} ( SX ; \pi ) \rightarrow ^ { {\theta _ SX} } \ H ^ {m} ( SX ; G ) \rightarrow H ^ {m- 1} ( X ; G ) , $$

where $ SX $ is the suspension of $ X $. For example, $ {} ^ {1} \mu _ {k} = 0 $, $ {} ^ {1} Sq ^ {i} = Sq ^ {i} $, $ {} ^ {1} {\mathcal P} ^ {i} = {\mathcal P} ^ {i} $. When $ m \leq 2n- 1 $, $ \theta \rightarrow {} ^ {1} \theta $ is an isomorphism. For any $ X $, $ {} ^ {1} \theta _ {X} $ is a group homomorphism.

By a stable cohomology operation of type $ ( \pi , G ) $ and of degree $ k $ one means a set $ \{ \theta _ {n} \} _ {- \infty } ^ {+ \infty } $ with $ \theta _ {n} \in O ( n , n+ k ; \pi , G ) $ and $ {} ^ {1} \theta _ {n} = \theta _ {n-} 1 $. Such cohomology operations form an Abelian group $ O _ {S} ( k ; \pi , G ) $, isomorphic to the group $ \lim\limits _ {\leftarrow n } H ^ {n+ k} ( K ( \pi , n ) ; G ) $, the latter being the inverse limit of the sequence

$$ \dots \leftarrow H ^ {n+ k} ( K ( \pi , n ) ; G ) \leftarrow $$

$$ \leftarrow \ H ^ {n+ k- 1 }( K ( \pi , n- 1 ) ; G ) \leftarrow \dots . $$

The group $ \oplus _ {k} O _ {S} ( k ; \pi , G ) $ is denoted by $ O _ {S} ( \pi , G ) $.

Examples of stable cohomology operations. The Steenrod powers $ Sq ^ {i} \in O _ {S} ( i ; \mathbf Z _ {2} , \mathbf Z _ {2} ) $ and $ {\mathcal P} ^ {i} \in O _ {S} ( 2 ( p- 1 ) i ; \mathbf Z _ {p} , \mathbf Z _ {p} ) $ (where $ p > 2 $ is a prime number), and the Bockstein homomorphism $ \beta \in O _ {S} ( 1 ; \mathbf Z _ {m} , \mathbf Z _ {m} ) $.

If $ \theta \in O ( n , m ; \pi , G ) $ and $ \phi \in O ( m , l ; G , \tau ) $, then the cohomology operation $ \phi \circ \theta \in O ( n , l ; \pi , \tau ) $ is defined. In particular, one can define the composite $ \phi \circ \theta \in O _ {S} ( \pi , \tau ) $ of any two stable cohomology operations $ \theta \in O _ {S} ( \pi , G ) $ and $ \phi \in O _ {S} ( G , \tau ) $, so that the group $ O _ {S} ( \pi , \pi ) $ is a ring; $ O _ {S} ( \mathbf Z _ {p} , \mathbf Z _ {p} ) $ is called the Steenrod algebra $ A _ {p} $.

Cohomology operations first emerged in the solution of the problem of the classification of mappings of an $ ( n+ 1 ) $-dimensional polyhedron into an $ n $-dimensional sphere ( $ n = 2 $ in [1] and $ n > 2 $ in [2]). The classification theorem [2]: There is an exact sequence of groups:

$$ 0 \rightarrow \ \mathop{\rm Coker} ( Sq ^ {2} : H ^ {n- 1} ( X ; \mathbf Z _ {2} ) \rightarrow H ^ {n+ 1} ( X ; \mathbf Z _ {2} ) ) \rightarrow $$

$$ \rightarrow \ [ X , S ^ {n} ] \rightarrow \mathop{\rm ker} \left ( H ^ {n} ( X) \mathop \rightarrow \limits ^ { { \mathop{\rm mod}} 2 } H ^ {n} ( X ; \mathbf Z _ {2} ) \mathop \rightarrow \limits ^ { {Sq ^ {2} }} H ^ {n+ 2} ( X ; \mathbf Z _ {2} ) \right ) \rightarrow 0 . $$

The extension theorem [2]: Let $ Y $ be an $ ( n+ 2 ) $-dimensional polyhedron and let $ Y ^ {n+ 1} $ be its $ ( n+ 1 ) $-dimensional skeleton. A mapping $ f : Y ^ {n+ 1} \rightarrow S ^ {n} $ defines an element $ y = f ^ {*} ( s) \in H ^ {n} ( Y ^ {n+ 1} ) $, where $ s \in H ^ {n} ( S ^ {n} ) $ is a generator. This mapping can be extended to $ g : Y \rightarrow S ^ {n} $ if and only if $ Sq ^ {2} ( z \mathop{\rm mod} 2 ) = 0 $, where $ j ^ {*} z = y $ for the inclusion $ j : Y ^ {n+ 1} \rightarrow Y $.

Corresponding to the cohomology operation $ \theta \in O ( n , m ; \pi , G ) $, the mapping $ \theta : K ( \pi , n ) \rightarrow K ( G , m ) $ induces from the standard Serre fibration

$$ K ( G , m- 1 ) \rightarrow \ PK ( G , m ) \rightarrow \ K ( G , m ) $$

the fibration

$$ F = K ( G , m- 1 ) \rightarrow ^ { i } \ E ( \theta ) \rightarrow ^ { p } \ K ( \pi , n ) = B . $$

Secondary cohomology operations are cohomology classes of spaces $ E ( \theta ) $. More precisely, let $ \phi \in H ^ {q} ( E ( \theta ) ; H ) $ be given, where $ H $ is an Abelian group. There exists for any $ u \in H ^ {n} ( X , \pi ) $ with $ \theta _ {X} ( u) = 0 $ an element $ \widetilde{u} \in [ X , E ( \theta ) ] $ with $ p _ {\#} \widetilde{u} = u $, where $ p _ {\#} : [ X , E ( \theta ) ] \rightarrow [ X , B ] $ is the mapping induced by $ p $; the element $ v = \phi \circ \widetilde{u} = \widetilde{u} {} ^ {*} ( \phi ) \in H ^ {q} ( X ; H ) $ depends on the choice of the element $ \widetilde{u} $. The arbitrariness in the choice of $ \widetilde{u} $ is determined by the inverse image $ p ^ {- 1} ( u) $, that is, by the orbit of the action of the group $ [ X , F ] = H ^ {m- 1} ( X ; G ) $ on the set $ [ X , E ( \theta ) ] $. When $ m < 2n- 1 $ and $ q < 2n- 1 $, $ i _ {\#} $ and $ \phi _ {\#} $ are group homomorphisms, and, therefore, under a different choice of $ \widetilde{u} $ the element $ v $ can change only by some element of the subgroup $ \mathop{\rm Im} ( i ^ {*} \phi : H ^ {m- 1} ( X ; G ) \rightarrow H ^ {q} ( X ; H ))= Q $ of the group $ H ^ {q} ( X , H ) $. One defines the secondary cohomology operation $ \Phi $ by setting $ \Phi _ {X} ( u) = u + Q $ (the coset $ u + Q $ is uniquely determined by the element $ u $). Thus, the mapping $ \Phi _ {X} $ is defined on the subgroup $ \mathop{\rm Ker} \theta _ {X} $ and takes values in the quotient space $ H ^ {q} ( X ; H ) / Q $, where $ Q $ is called the indeterminacy of the cohomology operation $ \Phi $. An alternative terminology is that $ \Phi $ is a partial multi-valued cohomology operation from $ H ^ {n} ( \cdot ; \pi ) $ into $ H ^ {q} ( \cdot ; H ) $.

Secondary cohomology operations are natural in the following sense: For any $ f : Y \rightarrow X $ and any $ u \in \mathop{\rm Ker} \theta \subset H ^ {n} ( X ; \pi ) $, one has $ f ^ {*} ( \Phi _ {X} ( u) ) \subset \Phi _ {Y} ( f ^ {*} ( u) ) $[3]. If $ i ^ {*} ( \phi ) = 0 $, then $ \phi = p ^ {*} ( \theta ^ \prime ) $ for some $ \theta ^ \prime \in H ^ {q} ( B ; H ) $, so that $ \widetilde{u} {} ^ {*} ( \phi ) = \theta ^ \prime ( u) $, and therefore $ \Phi u = u ^ {*} ( \theta ^ \prime ) = \theta ^ \prime ( u) $ with zero indeterminacy. Here, $ \theta ^ \prime ( u) = \theta ^ {\prime\prime} ( u) $, where $ \theta ^ {\prime\prime} $ is any cohomology operation in $ H ^ {m} ( B ; H ) $ such that $ p ^ {*} ( \theta ^ {\prime\prime} ) = \phi $, and $ u \in \mathop{\rm Ker} \theta $, so that the cohomology operation $ \Phi $ is a uni-valued cohomology operation $ \theta ^ \prime $ restricted to $ \mathop{\rm Ker} \theta $.

To each secondary cohomology operation there corresponds a relation among the ordinary (primary) cohomology operations. If $ q < 2m - 1 $, then the cohomology operation $ i ^ {*} ( \phi ) \in H ^ {q} ( K ( G , m- 1 ) ; H ) $ is uniquely representable in the form $ {} ^ {1} \psi $ with $ \psi \in H ^ {q+} 1 ( K ( G , m+ 1 ) ; H ) $ and $ \psi \circ \theta = 0 $. If $ \phi ^ \prime \in H ^ {m} ( E ( \theta ) ; H ) $ is such that $ i ^ {*} ( \phi - \phi ^ \prime ) = 0 $, then corresponding to the cohomology operation $ \phi ^ \prime $ is the same relation $ \psi \circ \theta = 0 $. Conversely, there corresponds to any relation of the form $ \psi \circ \theta = 0 $ a set of secondary cohomology operations $ \{ \Phi \} $, any two of which differ from each other by a primary cohomology operation defined on the kernel of $ \theta $.

A more general notion of a secondary cohomology operation is obtained by starting from a set $ \theta = ( \theta _ {1} \dots \theta _ {n} ) $ with $ \theta _ {i} \in H ^ {m _ {i} } ( K ( \pi , n ) ; G ) $ and the relation $ \sum \psi _ {i} \circ \theta _ {i} = 0 $ (see [3]).

Example of a secondary cohomology operation. Let

$$ \theta = S q ^ {2} \circ \mathop{\rm mod} 2 : \ H ^ {n} ( \cdot ; \mathbf Z ) \ \rightarrow H ^ {n+ 2} ( \cdot ; \mathbf Z _ {2} ) $$

and let $ \phi \in H ^ {n+ 3} ( E ( \theta ) ; \mathbf Z _ {2} ) $ be a $ \mathbf Z _ {2} $-generator. This gives rise to a secondary cohomology operation $ \alpha : H ^ {n} ( \cdot ; \mathbf Z ) \rightarrow H ^ {n+ 3} ( \cdot ; \mathbf Z _ {2} ) $ corresponding to the relation $ S q ^ {2} \circ ( S q ^ {2} \circ \mathop{\rm mod} 2 ) = 0 $. It enables one to classify mappings of $ ( n + 2 ) $-dimensional polyhedra into the $ n $-dimensional sphere, $ n \geq 2 $. The solution of the corresponding extension problem is as follows. Let $ Y $ be an $ ( n + 3 ) $-dimensional polyhedron and let a mapping $ f : Y ^ {n+ 1} \rightarrow S ^ {n} $ be given, so that one has an element $ y \in H ^ {n} ( Y ^ {n+ 1} ) $, $ y \in f ^ {*} ( s) $. Then a necessary condition for an extension of $ f $ onto $ Y ^ {n+ 2} $ is that $ S q ^ {2} ( z \mathop{\rm mod} 2 ) = 0 $; if $ f $ can be extended to $ Y ^ {n+ 2} $, then $ \alpha $ is defined at $ z $. It turns out that $ f $ can be extended to $ Y $ if and only if $ 0 \in \alpha ( z) $. Furthermore, $ \alpha $ detects the mapping $ S ^ {n+ 2} \rightarrow S ^ {n+ 1} \rightarrow S ^ {n} $ that is the composite of the suspension of the Hopf mapping $ S ^ {3} \rightarrow S ^ {2} $ and defines a generator of the group $ \pi _ {n+ 2} ( S ^ {n} ) = \mathbf Z _ {2} $.

The first solution of the "Hopf invariant problem55Q25Hopf invariant problem" (on the existence of elements of Hopf invariant one) was also given by means of secondary cohomology operations [7]. For a mapping $ f : S ^ {2n- 1} \rightarrow S ^ {n} $ the Hopf invariant $ H ( f ) \in \mathbf Z $ is defined by the formula $ u ^ {2} = H ( f ) v $, where $ v \in H ^ {2n} ( S ^ {n} \cup f e ^ {2n} ) = \mathbf Z $, $ u \in H ^ {n} ( S ^ {n} \cup fe ^ {2n} ) = \mathbf Z $ are generators. The oddness of $ H ( f ) $ is equivalent to the condition $ S q ^ {n} u _ {n} \neq 0 $, where $ u _ {n} \in H ^ {n} ( S ^ {n} \cup f e ^ {2n} ; \mathbf Z _ {2} ) = \mathbf Z _ {2} $. When $ n \neq 2 ^ {s} $, the operation $ S q ^ {n} $ is decomposable in the class of primary operations, that is, $ S q ^ {n} = \sum _ {t < n } a _ {t} S q ^ {t} $, so that $ H ( f ) $ can be odd only when $ n = 2 ^ {s} $. But in the class of secondary operations, $ S q ^ {2 ^ {s} } $ is decomposable when $ s \neq 1 , 2 , 3 $, and therefore $ H ( f ) $ can be odd only when $ n = 2 , 4 , 8 $.

In addition to the secondary cohomology operations there are tertiary ones, and more generally, higher cohomology operations of any order. Corresponding to a primary cohomology operation $ \theta $ and an element $ \phi \in H ^ {q} ( E ( \theta ) ; H ) $ defining a secondary cohomology operation $ \Phi $ there is a mapping $ E ( \theta ) \rightarrow K ( H ; q ) $ inducing from the Serre fibration over $ K ( H ; q ) $ the fibration $ K ( H , q - 1 ) \rightarrow E ( \Phi ) \rightarrow E ( \theta ) $; $ E ( \Phi ) $ is called the space of the cohomology operation $ \Phi $. If one has a cohomology class $ \gamma \in H ^ {r} ( E ( \Phi ) ; A ) $, one can construct a tertiary cohomology operation $ \Gamma : H ^ {n} ( X ; \pi ) \rightarrow H ^ {r} ( X ; A ) $ defined on $ \mathop{\rm Ker} \Phi $, the indeterminacy of which is $ \mathop{\rm Im} ( i ^ {*} \gamma ) $ (under suitable restrictions on the dimension). Corresponding to this cohomology operation is the relation $ \psi \circ \Phi = 0 $, where $ \psi $ is a primary cohomology operation, $ 1 _ \psi = i ^ {*} \gamma $. Inductive continuation of this process leads to the definition of an $ n $-th order cohomology operation. In other words, given an $ n $-th order cohomology operation $ \xi $, the space of which is $ E ( \xi ) $, and an element $ \lambda \in H ^ {s} ( E ( \xi ) , C ) $, one constructs the $ ( n + 1 ) $-th order cohomology operation $ \Lambda $ defined on $ \mathop{\rm Ker} \xi $. Moreover, the space $ E ( \Lambda ) $ is the space of the fibration induced from the Serre fibration over $ K ( C , s ) $ by the mapping $ \lambda : E ( \xi ) \rightarrow K ( C , s ) $. An axiom system for higher cohomology operations is constructed in [12].

The simplest examples of higher cohomology operations are the higher Bockstein homomorphisms. Let there be given a short exact sequence of groups

$$ 0 \rightarrow \mathbf Z \rightarrow ^ { p } \ \mathbf Z \rightarrow \mathbf Z _ {p} \rightarrow 0 $$

so that

$$ \dots \rightarrow H ^ {n} ( X) \rightarrow ^ { p } H ^ {n} ( X) \mathop \rightarrow \limits ^ { { \mathop{\rm mod}} p } \ H ^ {n} ( X ; \mathbf Z _ {p} ) \mathop \rightarrow \limits ^ \delta H ^ {n+ 1} ( X) \rightarrow \dots $$

is the corresponding exact sequence. Then the homomorphism $ \beta = \mathop{\rm mod} p \circ \delta : H ^ {n} ( X ; \mathbf Z _ {p} ) \rightarrow H ^ {n+ 1} ( X ; \mathbf Z _ {p} ) $ is also a Bockstein homomorphism; $ \beta \in O _ {S} ( 1 ; \mathbf Z _ {p} , \mathbf Z _ {p} ) $. The formula $ \beta \circ \beta = 0 $ holds; corresponding to this relation is the secondary cohomology operation $ \beta _ {2} $. Furthermore, $ \beta \circ \beta _ {2} = 0 $, so that there is a tertiary cohomology operation $ \beta _ {3} $. More generally, $ \beta _ {r} $ is the $ r $-th order cohomology operation constructed from the relation $ \beta \circ \beta _ {r-} 1 = 0 $. Here $ \beta _ {r} $ is defined on $ \mathop{\rm Ker} \beta _ {r- 1} $. An explicit description of $ \beta _ {r} $ emerges in the following way: Let $ x \in H ^ {n} ( X ; \mathbf Z _ {p} ) $ and let $ c $ be a cocycle with coefficients in $ \mathbf Z _ {p} $ representing it. Then the equation $ \beta _ {r-} 1 x = 0 $ implies that there is an integral representative $ z $ of the cocycle $ c $, the coboundary $ \delta z $ of which is divisible by $ p ^ {r} $. Then $ \beta _ {r} x $ is the cohomology class $ \mathop{\rm mod} p $ of the cocycle $ \delta z / p ^ {r} $. Thus, information about the action of the higher Bockstein cohomology operations in the groups $ H ^ {*} ( X ; \mathbf Z _ {p} ) $ enables one to calculate the free part and the $ p $-component of the group $ H ^ {*} ( X ; \mathbf Z ) $.

To each partial cohomology operation $ \Phi $ corresponds a homotopically-simple space $ E ( \Phi ) $ with a finite number of (non-trivial) homotopy groups. Conversely, one can associate with each space $ E $ of this type a cohomology operation $ \Phi $ for which $ E $ and $ E ( \Phi ) $ are weakly homotopy equivalent, $ E \sim ^ {w} E ( \Phi ) $. For example, if $ E $ is a space with two non-trivial homotopy groups $ \pi _ {n} ( E) = \pi $, $ \pi _ {m} ( E) = G $, $ m > n $, then there is a mapping $ E \rightarrow K ( \pi , n ) $ inducing an isomorphism $ \pi _ {n} ( E) \rightarrow \pi _ {n} ( K ( \pi , n ) ) $. This mapping can be converted into a fibration with fibre $ K ( G , m ) $; this fibration is induced from the Serre fibration over $ K ( G , m + 1 ) $ by some mapping $ K ( \pi , n ) \rightarrow K ( G , m + 1 ) $; the latter defines a cohomology operation $ \theta \in O ( n , m + 1 ; \pi , G ) $.

These considerations enable one to describe the weak homotopy type of any space by associating with it the collection of higher cohomology operations $ \{ k _ {n} \} _ {n= 1} ^ \infty $, called its $ n $-th Postnikov factors (see Postnikov system). For example, for the sphere $ S ^ {n} $, $ n > 3 $, the first Postnikov factor is $ S q ^ {2} $, and the second is $ \alpha $.

Another important type of cohomology operations are the functional cohomology operations [3]. To define them, a mapping ( "function" ) $ f : Y \rightarrow X $ and a cohomology operation $ \theta \in O ( n , m ; \pi , G ) $ are given. For $ m \leq 2 - 2 $, $ \theta $ lies in the image of the cohomology suspension and is a group homomorphism. If $ f $ is a closed imbedding (a cofibration) and $ j : X \rightarrow ( X , Y ) $ is the inclusion mapping, then the functional cohomology operation $ \theta _ {f} : H ^ {n} ( X ; \pi ) \rightarrow H ^ {m- 1} ( Y , G ) $ is defined as the partial many-valued mapping

$$ \theta _ {f} : H ^ {n} ( X ; \pi ) \leftarrow ^ { {j ^ {*}} } \ H ^ {n} ( X , Y ; \pi ) \mathop \rightarrow \limits ^ { {\theta ( X , Y ) }} \ H ^ {m} ( X , Y ; G ) \leftarrow ^ \delta $$

$$ \leftarrow ^ \delta H ^ {m- 1} ( Y ; G ) ; $$

$ \theta _ {f} = \delta ^ {- 1} \circ \theta \circ ( j ^ {*} ) ^ {- 1} $. This cohomology operation is defined on the subgroup $ \mathop{\rm Ker} f ^ {*} \cap \mathop{\rm Ker} \theta _ {X} $ of $ H ^ {n} ( X , \pi ) $, and its indeterminacy is the subgroup $ \mathop{\rm Im} ( {} ^ {1} \theta _ {y} ) + \mathop{\rm Im} ( f ^ {*} ) $ of $ H ^ {n- 1} ( Y ; G ) $. The construction of the functional cohomology operation is natural in $ f $. Example. If for a mapping $ f : Y \rightarrow X $ there exists a (primary) cohomology operation $ \theta $ and a cohomology class $ u $ of the space $ X $ such that $ \theta _ {f} ( u) $ is defined and $ 0 \notin \theta _ {f} ( u) $, then $ f $ is essential. Functional and secondary cohomology operations are related to each other by the Peterson–Stein formulas (see [3]), enabling one in a number of cases to reduce the computation of secondary cohomology operations to that of primary and functional cohomology operations. There also exist higher functional cohomology operations [6]. The Massey product is a construction that is analogous to the higher cohomology operations in its structure and applications.

The concept of a cohomology operation has been carried over to generalized cohomology theories. A transformation $ h ^ {n} ( X) \rightarrow h ^ {m} ( X) $ (natural with respect to $ X $) in a generalized cohomology theory $ h ^ {*} $ is called a cohomology operation of type $ ( n , m ) $. These cohomology operations from a group isomorphic to the group $ h ^ {m} ( M _ {n} ) $, where $ \{ M _ {k} , s _ {k} \} $ is the $ \Omega $-spectrum representing the theory $ h ^ {*} $. The group of all stable cohomology operations is a ring $ A ^ {h} $ (with respect to composition), so that $ h ^ {*} $ is an $ A ^ {h} $-module natural with respect to $ X $. The notions of a partial and a functional cohomology operation also have analogues in generalized cohomology theories.

By means of partial cohomology operations in ordinary cohomology theory one can solve, in principle, any homotopy problem; however, the practical application of a cohomology operation of order $ n > 3 $ is extremely laborious. At the same time, it often happens that a problem requiring for its solution ordinary cohomology operations of higher order can be easily solved by the application of primary cohomology operations in a suitably chosen generalized cohomology theory. For example, the "Hopf invariant problem" is easily solved by means of the Adams primary cohomology operations $ \psi ^ {k} $ in $ K $-theory [10]. These cohomology operations, introduced in [8] for the solution of vector fields on spheres, were the first examples of cohomology operations in a generalized cohomology theory.

The algebra $ A ^ {h} $ was calculated [4] for $ h = U ^ {*} $, the unitary cobordism theory, and was used in the construction of a spectral sequence of Adams type, the first term which is the cohomology space of the algebra $ A ^ {U} $. Information on the action of the ring $ A ^ {h} $ in the groups $ h ^ {*} ( X) $ proves to be useful in the calculation of the Atiyah–Hirzebruch spectral sequence in the theory $ h ^ {*} $.

References

[1] L.S. Pontryagin, "A classification of mappings of a three-dimensional complex into the two-dimensional sphere" Mat. Sb. , 9 (1941) pp. 331–363 (In Russian)
[2] N. Steenrod, "Products of cocycles and extensions of mappings" Ann. of Math. , 48 (1947) pp. 290–320
[3] R.E. Mosher, M.C. Tangora, "Cohomology operations and applications in homotopy theory" , Harper & Row (1968)
[4] S.P. Novikov, "The methods of algebraic topology from the viewpoint of cobordism theory" Math. USSR.-Izv. , 31 (1967) pp. 827–913 Izv. Akad. Nauk SSSR Ser. Mat. (1967) pp. 855–951
[5] N.E. Steenrod, "Cohomology operations and obstructions to extending continuous functions" , Colloquium Lectures , Princeton Univ. Press (1957)
[6] F.P. Peterson, "Functional cohomology operations" Trans. Amer. Math. Soc. , 86 (1957) pp. 197–211
[7] J.F. Adams, "On the non-existence of elements of Hopf invariant one" Ann. of Math. (2) , 72 (1960) pp. 20–104
[8] J.F. Adams, "Vector fields on spheres" Ann. of Math. , 75 (1962) pp. 603–632
[9] H. Cartan, "Algèbres d'Eilenberg–MacLane et homotopie" , Sem. H. Cartan , 7 (1954–1955)
[10] M.F. Atiyah, "K-theory: lectures" , Benjamin (1967)
[11a] V.M. [V.M. Bukhshtaber] Buhštaber, "Modules of differentials of the Atiyah–Hirzebruch spectral sequence" Math. USSR-Sb. , 7 : 2 (1969) pp. 299–313 Mat. Sb. , 78 (1969) pp. 307–320
[11b] V.M. [V.M. Bukhshtaber] Buchštaber, "Modules of differentials of the Atiyah–Hirzebruch spectral sequence II" Math. USSR-Sb. , 12 (1970) pp. 59–75 Mat. Sb. , 83 (1970) pp. 61–76
[12] C.R.F. Maunder, "Cohomology operations of the $N$-th kind" Proc. London Math. Soc. , 13 (1963) pp. 125–154

Comments

The spectral sequence introduced in [4], often called the Adams–Novikov spectral sequence, has been the basis for much subsequent work; see [a1].

If, as is often done, the generalized cohomology theory defined by a spectrum $ E $ is denoted by $ E ^ {*} $, then the ring of stable cohomology operations of $ E ^ {*} $ is $ E ^ {*} ( E) $. The action of $ E ^ {*} ( E) $ on $ E ^ {*} ( X) $ is defined by assigning $ gf : X \rightarrow E $ to $ g : E \rightarrow E $ and $ f : X \rightarrow E $. The ring $ E ^ {*} ( E) $ in fact has a Hopf algebra structure. The dual Hopf algebra $ E _ {*} ( E) $ is also a most useful object of equivalent power, and in fact is sometimes technically easier to work with [a4], [a5]. Cf. Generalized cohomology theories for more details and for the definition of the Hopf algebra structures on $ E ^ {*} ( E) $ and $ E _ {*} ( E) $. For complex cobordism $ {M U } ^ {*} $ (or $ U ^ {*} $) and Brown–Peterson cohomology $ {B P } ^ {*} $, the Hopf algebras $ {M U } ^ {*} ( M U) $ and $ {B P } ^ {*} ( B P) $ have interpretations in terms of the formal group laws defined by $ M U $ and $ B P $, cf. [a1], [a6].

References

[a1] D.C. Ravenel, "Complex cobordism and stable homotopy groups of spheres" , Acad. Press (1986)
[a2] E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966) pp. 269–276; 429–432
[a3] N.E. Steenrod, D.B.A. Epstein, "Cohomology operations" , Princeton Univ. Press (1962)
[a4] R.M. Switzer, "Algebraic topology - homotopy and homology" , Springer (1975) pp. Chapts. 17; 18
[a5] J.F. Adams, "Stable homotopy and generalised homology" , Univ. Chicago Press (1974)
[a6] P.S. Landweber, "$BP^\ast(BP)$ and typical formal groups" Osaka J. Math. , 12 (1975) pp. 499–506
How to Cite This Entry:
Cohomology operation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cohomology_operation&oldid=11241
This article was adapted from an original article by Yu.B. Rudyak (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article