# Questions tagged [cohomology-operations]

The cohomology-operations tag has no usage guidance.

11
questions

**5**

votes

**1**answer

205 views

### Ádem relations for the Steenrod and the Dyer–Lashof algebra

In this paper by Nondas Kechagias, the Steenrod algebra and the Dyer–Lashof algebra are compared. The rough difference ist:
The Steenrod algebra arises by dividing out the “cohomological” Ádem ...

**2**

votes

**0**answers

93 views

### When are cohomology operations determined by their action on coefficients?

It is well-known that K-theory operations are determined by the action on coefficients, but I don't know the right way to prove this fact, nor a reference for the same. On the other hand, clearly this ...

**17**

votes

**1**answer

580 views

### Steenrod squares as power operations vs. as cohomomology operations

There are already several excellent questions and answers on MO regarding Steenrod squares, understanding them in various ways and relating them to power operations and I think I get this. Still, I am ...

**17**

votes

**2**answers

624 views

### Massey products in the Steenrod algebra

When building $kU/2$ via its Postnikov tower, there are some interesting Massey products that show up in the Steenrod algebra, and I'd like to understand them. I bet these appear somewhere in the ...

**3**

votes

**0**answers

204 views

### Eilenberg-Moore spectral sequence for path-loop fibration over Q\Sigma X (reference request)

Related to the question here, here is another question. Consider the kernel of the map $H_*(QY;Z/p)\rightarrow H_{*+1}(Q\Sigma Y;Z/p)$. restricted to
$PH_*(QY)$, and let's say $Y$ itself is a ...

**5**

votes

**0**answers

186 views

### The behaviour of the suspension homomorphism on $H_*(QX;Z/p)$ for odd $p$ (Reference request)

The mod $p$ homology of $QX=\Omega ^{\infty}\Sigma ^{\infty}X$ for connected $X$ was computed by Dyer-Lashof Homology of Iterated Loop Spaces, Amer. J. of Math., vol.84, No.1 pp 35-88. 1962 It follows ...

**6**

votes

**2**answers

887 views

### Definition of E-infinity operad

What is the definition of $E_\infty$-operad in the category of chain complexes over $\mathbb{Z}/p\mathbb{Z}$? J. Smith in http://arxiv.org/abs/math/0004003 define it for complexes over $\mathbb{Z}$ (...

**4**

votes

**2**answers

742 views

### Pontryagin square of Stiefel-Whitney classes and Pontryagin classes

On a four-manifold, there is apparently a relation between the first Pontryagin class modulo 4 and the Pontryagin square of the second Stiefel-Whitney class:
$\mathfrak{P}(w_2) = p_1 \; {\rm mod} \; ...

**52**

votes

**3**answers

4k views

### Operations via Morse Theory

I am interested in seeing if and how Morse Theory can "do everything". Some core things are handle decomposition, Bott periodicity, and Euler characteristic. But what do the normal (co)homology ...

**7**

votes

**2**answers

1k views

### The Norm Map in (group) cohomology via classifying spaces

The well-known transfer map in group (co)homology can be defined with only homological algebra, or with algebraic topology via classifying spaces (group cohomology of $G$ is isomorphic to ordinary ...

**22**

votes

**4**answers

3k views

### What do cohomology operations have to do with the non-existence of commutative cochains over $\mathbb{Z}$?

Let $X$ be a topological space. In elementary algebraic topology, the cup product $\phi \cup \psi$ of cochains $\phi \in H^p(X), \psi \in H^q(X)$ is defined on a chain $\sigma \in C_{p+q}(X)$ by $(\...