All Questions
17 questions
7
votes
1
answer
179
views
Generalisation of Hirsch formula for the associativity of Steenrod's higher $\cup_2$ product with $\cup_1$ and cup products
For $f$, $g$ and $h$ cochains, the Hirsch formula is given as
$$ (f\cup g)\cup_1 h=f\cup (g\cup_1 h)+(-1)^{q(r-1)}(f\cup_1 h)\cup g.$$
Is there a more general formula that relates the associativity of ...
- 71
3
votes
1
answer
260
views
Cohomology ring $H^*(\operatorname{SL}(3,\mathbb{Z}),\mathbb{Z}_2)_{(2)}$
$\DeclareMathOperator\SL{SL}$In Soulé's paper "The cohomology of $\SL_3(\mathbb{Z})$" the cohomology ring $H^*(\SL(3,\mathbb{Z}),\mathbb{Z})_{(2)}$ is determined in Theorem 4.iv. I'm wanting ...
- 545
4
votes
2
answers
409
views
Triviality of Steenrod operation on $\Sigma^{2k}\mathbb{CP}^n$
I was going through this paper by Tanaka. I am actually stuck at Lemma 5.2, page 365, given below also
The argument he gives above works, in particular for $\operatorname{Sq}^{2^r-2^j}$ but I am not ...
10
votes
1
answer
418
views
Are all degree-1 cohomology operations Bocksteins?
I'm interested in cohomology operations (in ordinary cohomology)
$$H^i(-, G)\rightarrow H^{i+1}(-, H)\;,$$
that is, elements of
$$H^{i+1}(K(G, i), H)\;.$$
I know that $K(G, 1)=BG$, so for $i=1$, those ...
- 3,001
8
votes
1
answer
374
views
Analogue of Bockstein for crossed module extensions and higher Steenrod square
It is well known that in $\mathbb{Z}_2$-valued simplicial cohomology (and other cohomologies)
$$ Sq^1 = \beta\;,$$
where $Sq^1$ is the first Steenrod square and $\beta$ is the Bockstein homomorphism ...
- 3,001
4
votes
0
answers
120
views
Is there a local simplicial formula for the Steenrod squares which commutes with the derivative on cochain level?
There is a well-known formula for the cup product of an $i$-cochain $A$ and $j$-cochain $B$ in simplicial homology given by
$$(A\cup B)(0\ldots i+j) = A(0\ldots i) B(0\ldots j)\;.$$
This formula ...
- 3,001
5
votes
1
answer
387
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 ...
- 1,623
6
votes
1
answer
559
views
Geometric interpretation of the conjugation operation in the dual Steenrod algebra
As the dual mod 2 Steenrod algebra, $A$, is a Hopf algebra, it has the conjugation operation, $\chi:A\to A$. Milnor also gives a formula for this.
I wonder if there is any source telling about a ...
- 61
3
votes
0
answers
345
views
mod $p$ homology of Thom spectra MSU
Using pairing in Atiyah-Hirzebruch spectral sequence one can show that homology of $BU(n)$ is a free abelian group with basis $\alpha_{k_1}\cdots\alpha_{k_t}$, $k\leqslant n$, where $\alpha_{i} = \big(...
user131113
1
vote
1
answer
230
views
Steenrod operations from the delooping viewpoint
Let $F$ be a finite field, $Sq^i$ be the $i$-th Steenrod operation
$$ H^*(-;F) \to H^{*+i}(-;F).$$
By Yoneda lemma, such operation is a map $\phi_i: B^{*}F \to B^{*+i} F$, where $B$ denotes the ...
- 5,230
6
votes
0
answers
210
views
Generators for unitary bordism ring $\pi_*(MU)$
I’m reading Pengelley’s paper “The mod 2 homology of $MSO$ and $MSU$ as $\mathfrak A^*$ comodule algebras, and the cobordism ring”.
He has chosen very special generators $z_n \in H_n(MO; \mathbb F_2)$...
user131113
10
votes
2
answers
1k
views
cup product and Steenrod operations in Serre spectral sequence
Let $F\to E\to B$ be a fibration with $B$ simply-connected. Suppose all differentials in the cohomology Serre spectral sequence (corresponding to the above fibration) are zero maps. Then as a graded ...
- 2,223
12
votes
4
answers
1k
views
$Sq^1$ cohomology of spaces
For any space $X$, the first Steenrod square cohomology operation
$$Sq^1\colon H^\ast(X;\mathbb{Z}_2)\to H^{\ast +1}(X;\mathbb{Z}_2)$$
is a derivation, meaning that $Sq^1\circ Sq^1 = 0$ and $Sq^1(a\...
- 35.9k
5
votes
0
answers
185
views
Dual Steenrod squares
Fix the ground ring $\mathbb{F}_2$ and let $X$ be a space with finite homology. Then we have an isomorphism $\Phi^i_X:H_i(X)\to H^i(X)^*,a\mapsto \langle-,a\rangle$ which allows us to define the dual ...
- 1,623
9
votes
1
answer
487
views
Steenrod operations on cohomology of grassmannians
Let $G_k(\mathbb{R}^n)$, $n\geq k$ and $G_k(\mathbb{R}^\infty)$ be the finite-dimensional and infinite-dimensional grassmannians respectively. Their cohomology rings are expressed in terms of ...
- 2,223
7
votes
0
answers
424
views
kernel of the mod $2$ Bockstein on the first cohomology group
Let $M$ be a path-connected finite $CW$-complex. Suppose the first integral homology group is $H_1(M;\mathbb{Z})= \mathbb{Z}_2^{\oplus r}\oplus A$ where $r\geq 1$ and $A$ is a finite abelian group of ...
- 1,990
18
votes
0
answers
760
views
Steenrod algebra at a prime power
Let $n=p^k$ be a prime power.
When $k=1$, the algebra of stable operations in mod $p$ cohomology is the Steenrod algebra $\mathcal{A}_p$. It has a nice description in terms of generators and ...
- 35.9k