The Fiber of Sq^n
Pith reviewed 2026-05-16 16:27 UTC · model grok-4.3
The pith
Adams spectral sequences for the fiber of Sq^n collapse at E3 with E3 equal to E infinity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that this and some related Adams spectral sequences all collapse at E3 and we determine the value of E3 = E∞. Notably, we do not need to determine the cohomology of the fiber or the E2 term of the Adams spectral sequence to do this.
What carries the argument
The fiber of the map involving Sq^n between generalized Eilenberg-MacLane spectra, analyzed through its Adams spectral sequence whose filtrations are read directly from an applicable theorem.
If this is right
- The Adams filtrations on the homotopy classes in the fiber are explicitly known.
- Related Adams spectral sequences also collapse at E3 with the same equality to E infinity.
- Homotopy computations for these fibers can be completed using only the E3 page data.
- The graded pieces of the filtration on the homotopy groups are read off without constructing the full E2 page.
Where Pith is reading between the lines
- The same direct reading of filtrations might apply to fibers of other Steenrod operations or similar maps.
- Early collapse in these sequences points to a pattern where certain power operations force quick stabilization in Adams pages.
- This could simplify broader calculations of stable homotopy groups by reducing reliance on full E2-term algebra.
Load-bearing premise
The theorem that determines Adams filtrations applies directly to this particular map between generalized Eilenberg-MacLane spectra and is enough on its own.
What would settle it
An independent computation of the E2 term that produces a nonzero differential past E3 or a different set of surviving classes at E infinity.
read the original abstract
A colleague asked about the Adams filtrations of the homotopy classes in the homotopy of the fiber of a particular map between GEMs. The theorem proved in arXiv:2105.02601v3 [math.AT] proves to be effective in answering this (Theorem 4.4). We show that this and some related Adams spectral sequences all collapse at $E_3$ and we determine the value of $E_3 = E_\infty$. Notably, we do not need to determine the cohomology of the fiber or the $E_2$ term of the Adams spectral sequence to do this.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript asserts that the Adams spectral sequence associated to the fiber of a map between generalized Eilenberg-MacLane spaces (GEMs) related to the Steenrod square Sq^n collapses at the E3 page, with E3 equal to E∞; the same holds for certain related Adams spectral sequences. This determination is obtained by direct application of a theorem proved in arXiv:2105.02601v3 (cited as Theorem 4.4), without computing the cohomology of the fiber or the E2 term of the spectral sequence.
Significance. If the cited theorem applies verbatim to the concrete GEM map under consideration, the result would supply a method for reading off Adams filtrations in the homotopy of such fibers without first determining their cohomology or E2 pages. This could streamline certain computations in the Adams spectral sequence involving Steenrod operations, provided the hypotheses of the prior theorem are satisfied.
major comments (1)
- [Theorem 4.4] Theorem 4.4: the manuscript invokes the theorem from arXiv:2105.02601v3 as a black box to conclude collapse at E3=E∞, but does not explicitly verify that the specific map between GEMs satisfies every hypothesis of that theorem (in particular, any required conditions on the induced map in cohomology or on the Adams filtrations of domain and codomain). Without this verification it remains unclear whether the argument truly avoids all data equivalent to computing the cohomology or E2 page, as claimed in the abstract.
Simulated Author's Rebuttal
We thank the referee for their thoughtful review of our manuscript. We address the major comment point by point below and will make the suggested clarifications in the revised version.
read point-by-point responses
-
Referee: [Theorem 4.4] Theorem 4.4: the manuscript invokes the theorem from arXiv:2105.02601v3 as a black box to conclude collapse at E3=E∞, but does not explicitly verify that the specific map between GEMs satisfies every hypothesis of that theorem (in particular, any required conditions on the induced map in cohomology or on the Adams filtrations of domain and codomain). Without this verification it remains unclear whether the argument truly avoids all data equivalent to computing the cohomology or E2 page, as claimed in the abstract.
Authors: We agree that an explicit verification of the hypotheses would strengthen the presentation. In our application, the map in question is the one induced by the Steenrod square Sq^n on the appropriate generalized Eilenberg-MacLane spaces. The cited theorem (arXiv:2105.02601v3, Theorem 4.4) applies to maps between GEMs where the induced map in cohomology satisfies certain compatibility conditions with the Adams filtration, which hold here because Sq^n is a cohomology operation of degree n and the spaces are products of Eilenberg-MacLane spaces with known Adams filtrations (generators in filtration 0). We did not compute the cohomology of the fiber or the E2-term, as the theorem directly gives the collapse and the E3 page. To address the referee's concern, we will revise the manuscript to include a brief verification of the hypotheses in Section 4, prior to invoking the theorem. This verification uses only the definition of the map and standard facts about Steenrod operations, without additional computations. revision: yes
Circularity Check
No significant circularity; result follows from independent prior theorem
full rationale
The paper's central claim (collapse at E3=E∞ for the Adams SS of the fiber of the GEM map) is obtained by direct application of the theorem from arXiv:2105.02601v3, which is treated as a black-box external result whose hypotheses are asserted to hold for the specific map. No equations or derivations in the present paper reduce the target conclusion to a fit, self-definition, or renaming of its own inputs; the prior theorem is not shown to depend on the current data or to be proved via the same chain. The 'notably we do not need' statement is therefore a claim about the reach of the cited theorem rather than a circular reduction. This is the normal case of citing independent prior work.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The theorem in arXiv:2105.02601v3 holds and applies to this map between GEMs
Forward citations
Cited by 1 Pith paper
-
Secondary Ext of the Fiber of $Sq^n$ and the Secondary Adams Spectral Sequence
The secondary Ext groups of the secondary cohomology of the fibers F_n, F_{nZ}, and F are determined as direct sums of F2, polynomial algebras on h0, and suspended copies of F2 in specific bidegrees.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.