A novice to the Adams spectral sequence, I am attempting to follow a computation in McCleary's book in the mod 3 Adams spectral sequence for $\pi_*(S)$. By working out part of a minimal resolution of $\mathbb{Z}/3\mathbb{Z}$ over the mod 3 Steenrod algebra, we compute $Ext^{s, t}_A(\mathbb{Z}/3\mathbb{Z}, \mathbb{Z}/3\mathbb{Z})$ for $t \leq 11$ and all $s$. McCleary claims that there is a lack of differentials here, but I don't see why. If we arrange the spectral sequence with $t-s$ increasing horizontally to the right and $s$ increasing vertically, then $d_r$ goes left one space and up $r$ spaces. In the $t-s=3$ column, for $s \leq 3$ there is only a generator in degree $s=2$ and there is nothing in the $s \leq 3$ range in the $t-s=2$ column. But as far as I know, there could be nontrivial things in the $t-s=2$ column for large enough $s$ for which I don't know $Ext^{s, t}$ for $t=s+2$. So conceivably, there is room for differentials here (from t-s=3, s=2 to something in the $t-s=2$ column). Why does McCleary conclude that there aren't any, or what am I misunderstanding here? Thanks!
2026-03-26 17:30:17.1774546217
Adams spectral sequence for computing 3-torsion in $\pi_*(S)$
265 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-TOPOLOGY
- How to compute homology group of $S^1 \times S^n$
- the degree of a map from $S^2$ to $S^2$
- Show $f$ and $g$ are both homeomorphism mapping of $T^2$ but $f$ is not homotopy equivalent with $g.$
- Chain homotopy on linear chains: confusion from Hatcher's book
- Compute Thom and Euler class
- Are these cycles boundaries?
- a problem related with path lifting property
- Bott and Tu exercise 6.5 - Reducing the structure group of a vector bundle to $O(n)$
- Cohomology groups of a torus minus a finite number of disjoint open disks
- CW-structure on $S^n$ and orientations
Related Questions in SPECTRAL-SEQUENCES
- Hochschild-Serre spectral sequence
- Example of a nongraded chain complex
- Showing induced action of G by conjugation on Hochschild-Serre $H_i(G/N, H_j(N,M))$ is trivial
- Homology with coefficients from homology.
- Adams operations and an artificial grading on K-theory
- Spectral sequence associated to the stupid filtration
- Leray spectral sequence
- First page of a spectral sequence
- Cohomolgoy of $S^1$-bundle over genus $g$ surface
- Homology of a trivial fibre bundle via a spectral sequence
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
I am going to post more or less what I wrote in the comments above and maybe someone can tell me if this is correct.
I wrote that we know the resolution for $t \leq 11$ and all $s$, but something stronger is true. In the $s$th stage of the resolution, we have a generator $a_s$ in degree $s$ which ultimately comes from the Bockstein $\beta$, and $d(\beta a_s)=0$, so we put a generator in the $(s+1)$ stage of the resolution in degree $s+1$ to map to $\beta a_s$. No other product of an element of the Steenrod algebra (which is not in the ideal generated by $\beta$) and $a_s$ will map to zero, so all other things in the $s$ stage that map to zero must contain at least one other generator. But in the 3rd stage of the resolution, the first generator not related to the Bockstein is in degree 13. To find something in terms of this generator that maps to zero, we must multiply it by something in the Steenrod algebra, so the first non-Bockstein generator in the 4th stage appears in degree greater than or equal to 14. Continuing in this way, the first non-Bockstein generator in the $s+3$ stage does not occur until degree at least $13+s$, and below that the only generator is $a_{s+3}$. So we know the resolution for $t-s< 13+s-(s+3)=10$. When we look at the $E_2$ page of the Adams spectral sequence, this means that we know the first 9 columns, and since diferentials go one to the left and $r$ units upward, from our computations we see that there are no differentials in this part of the spectral sequence.