Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
2 answers
602 views

Derivations in the Steenrod algebra

Let $\mathcal A^\ast$ be the (mod 2) Steenrod algebra. Question 1: Is there a classification of homogeneous elements $D \in \mathcal A^n$ such that $D^2 = 0$? Question 2: Is there a classification of ...
Tim Campion's user avatar
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)$...
user avatar
2 votes
0 answers
127 views

Stable homology operations

Let $x\in (H\mathbb F_2)_n(X)=[S^n,H\mathbb F_2 \wedge X]$ be a homology class for a space $X$. Is there a description of $$[S^n\overset x\to H\mathbb F_2 \wedge X\overset{Sq^r\wedge id}\to \Sigma^r H\...
syzyg's user avatar
  • 21
7 votes
1 answer
335 views

Why is $\pi_{-*}F(H\mathbb{F}_p, H\mathbb{F}_p)$ the mod $p$ Steenrod algebra?

Why is $\pi_{-*}F(H\mathbb{F}_p, H\mathbb{F}_p)$ the mod $p$ Steenrod algebra? (This is quite a common statement, seen, for instance, in EKMM.) To be more precise, stable mod $p$ cohomology ...
user09127's user avatar
  • 765
11 votes
0 answers
206 views

What are examples of spectra whose mod 2 cohomology contain A//A(n)?

Let $//$ denote the Hopf algebra quotient. We know that: $$HF_{2}^*(ko) \simeq A//A(1)$$ $$HF_2^*(tmf) \simeq A//A(2)$$ By Hopf invariant one, we know there is no $X$ such that $HF_2^*(X) \simeq A//...
Catherine Ray's user avatar
8 votes
1 answer
363 views

Adams spectral sequence and short exact sequences. Some clarifications

as the title suggests I'm looking for some clarifications in the computations of the ext charts of some $A(1)$-modules arising as extensions of other modules. In particular, I've the following example ...
Luigi M's user avatar
  • 503
3 votes
0 answers
180 views

Twisting of the power functor

Let $k$ be a field of characteristic $p$ and $D^b(k)$ be the infinity (equivalently, DG) category of perfect complexes over $k$. Let $C_p(=\mathbb{Z}/p)$ be the cyclic group on $p$ elements. For a $...
Dmitry Vaintrob's user avatar
76 votes
9 answers
15k views

understanding Steenrod squares

There is a function on $\mathbb{Z}/2\mathbb{Z}$-cohomology called Steenrod squaring: $Sq^i:H^k(X,\mathbb{Z}/2\mathbb{Z}) \to H^{k+i}(X,\mathbb{Z}/2\mathbb{Z})$. (Coefficient group suppressed from ...
Aaron Mazel-Gee's user avatar