Pith. sign in

REVIEW 3 major objections 4 minor 54 references

A chromatic approach to homological stability

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Over a field of positive characteristic, every graded E2-algebra satisfying three standard axioms admits higher-order stabilisation maps at every slope below 1, with slopes quantised to k/(k+1) and governed entirely by its stability Hopf…

desk verdict A serious theory-building paper that gives a general higher-order homological stability theorem in positive characteristic; referee it, but ask for the Section 5.1 generator classification to be expanded. read the letter →

arxiv 2508.20629 v3 pith:E7BA6VDM submitted 2025-08-28 math.AT

Oscar Randal-Williams This is my paper · ORCID
classification math.AT MSC 55P4216T05
keywords homologicalstabilityhigher-orderstabilisationchromatichomotopytheorySmith–TodacomplexesE2-algebrasBousfieldlocalisationHopfalgebravanishinglines
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper organises every kind of homological stability into one theory, in the same way that the chromatic perspective organises stable homotopy theory. For a graded $E_2$-algebra $\mathbf{R}$ (the homologies of a sequence of spaces or groups, assembled into one object) over a field of positive characteristic, it proves that if three standard axioms hold — connectedness, the standard connectivity estimate, and finite type — then for every slope $\lambda < 1$ there are higher stabilisation maps $\alpha_i$, each defined only after killing the previous ones, whose successive cofibres eventually have a vanishing line of slope $\lambda$, with all slopes quantised to the fractions $k/(k+1)$. It then identifies the object that decides which slopes can occur: the stability Hopf algebra $\Delta_{\mathbf{R}}$, built from the diagonal homotopy of the bar construction $k \otimes_{\mathbf{R}} k$, whose cohomology has exactly the same stability patterns as $\mathbf{R}$. The payoff is a definition of stable homology in the higher stable range as a Bousfield localisation (a universal approximation killing a prescribed class of small modules), leading to a chromatic tower, monochromatic layers, and periodic families generated by the higher stabilisation maps.

What carries the argument

The central objects are the Smith–Toda complexes themselves: iterated cofibres $\mathbf{R}/(\alpha_1,\dots,\alpha_r)$ of endomorphisms in which each map $\alpha_i$ is only definable after its predecessors have been killed, and the construction is ordered by the slope $d_i/n_i$ of its bidegree. The existence proof works in the category of filtered $\mathbf{R}$-modules: the canonical multiplicative filtration $\mathrm{fil}_*\mathbf{R}$ has associated graded a free $E_2$-algebra, whose free generators below the diagonal form a totally ordered list $x_1, x_2, \dots$ (built from Dyer–Lashof operations on the diagonal classes), and the theorem produces for each $x_i$ an $x_i$ self-map $\phi_i$, detected on the associated graded by a $p$-th power that survives to infinity in the spectral sequence of an endomorphism object — the analogue of the Periodicity Theorem for these filtered objects, with the connectivity estimate (SCE) supplying the differential-killing vanishing. The organising object is the stability Hopf algebra $\Delta_{\mathbf{R}}$, the diagonal truncation of the $E_1$-bialgebra $k \otimes_{\mathbf{R}} k$; the comparison map $\mathbf{R} \to \mathrm{Cobar}(\Delta_{\mathbf{R}})$ satisfies the hypothesis (†) of a change-of-rings theorem that lets nilpotence of endomorphisms be detected after this base change, reducing questions about which Smith–Toda complexes exist and are efficient to the cohomology of a connected graded Hopf algebra.

What would settle it

Build an $E_2$-algebra over a field of positive characteristic satisfying (C), (SCE), and (F) together with a finite module that has a vanishing line of slope $3/5$ but no vanishing line of slope $1/2$: the quantisation theorem (Theorems A and B) forces every effective slope below 1 to be exactly $k/(k+1)$, so exhibiting a genuinely different critical slope would refute the central claim.

Watch

Extended reading notes

Core claim

The central claim is Theorem A: that higher-order homological stability is not a collection of special cases but a structural consequence of the axioms. For $\mathbf{R} \in \mathrm{Alg}_{E_2}(D(k)^{\mathbb{Z}})$ over a field $k$ of positive characteristic, satisfying connectedness (C), the standard connectivity estimate (SCE), namely $\pi_{n,d}(k \otimes_{\mathbf{R}} k) = 0$ for $d < n$, and finite type (F), there is for any $\lambda < 1$ a sequence of $\mathbf{R}$-module endomorphisms $\alpha_i : \mathbf{R}/(\alpha_1,\dots,\alpha_{i-1}) \otimes S_{n_i,d_i} \to \mathbf{R}/(\alpha_1,\dots,\alpha_{i-1})$ whose cofibres, the Smith–Toda complexes $\mathbf{R}/(\alpha_1,\dots,\alpha_i)$, have non-decreasing slopes $d_i/n_i$ strictly below $\lambda$ and of the form $k/(k+1)$, the last one carrying a vanishing line of slope $\lambda$; positive characteristic is essential, since the analogous statement with non-nilpotent endomorphisms fails over $\mathbb{Q}$ (Section 10.3). The paper further claims that the stability Hopf algebra $\Delta_{\mathbf{R}} = \bigoplus_{n \geq 0} \pi_{n,n}(k \otimes_{\mathbf{R}} k)$ completely governs these patterns: the map $\mathbf{R} \to \mathrm{Cobar}(\Delta_{\mathbf{R}})$ satisfies a change-of-rings theorem and a restricted nilpotence theorem, so base-change preserves and detects non-nilpotent endomorphisms of positive slope, and the stability theory of $\mathbf{R}$ below slope $1$ becomes exactly the cohomology of a connected graded Hopf algebra. In the higher stable range, stable homology is proposed to be the finite Bousfield localisation $L^f_\lambda$, which is smashing, quantised by the same slopes, and decomposes into monochromatic layers carrying Adams periodicity.

Load-bearing premise

The whole construction rests on axiom (SCE), the standard connectivity estimate that the bar construction $k \otimes_{\mathbf{R}} k$ has no homotopy in bidegrees below the diagonal; it holds for the group examples through the high connectivity of their splitting complexes, but it is not implied by the other axioms and fails for some $E_2$-algebras, and without it the vanishing estimates and the construction of Smith–Toda complexes collapse.

Editorial extensions

If this is right

  • Every $E_2$-algebra satisfying (C), (SCE), and (F) over a positive-characteristic field has higher-order stabilisation maps for every slope below 1, so its stability range is always of the quantised form $\frac{k}{k+1}n + \kappa$; any proven range with a different slope is therefore not optimal.
  • Stable homology in the $\lambda$-range is the smashing Bousfield localisation $L^f_\lambda$, and since quantised slopes give identical functors there are only countably many distinct stable homologies, assembling into a chromatic tower $M \to \cdots \to L^f_{3/4}(M) \to L^f_{2/3}(M) \to L^f_{1/2}(M)$.
  • Each monochromatic layer carries Adams periodicity: the endomorphisms of slope $\frac{k-1}{k}$ in the layer induce periodicity isomorphisms in a band of degrees, producing infinite periodic families analogous to the $\alpha,\beta,\gamma$ families of stable homotopy theory.
  • The stability Hopf algebra $\Delta_{\mathbf{R}}$ (the coinvariants of the $E_1$-Steinberg modules in group examples) completely determines which stabilisation maps exist, so discovering new stability theorems reduces to computing the cohomology of a connected graded Hopf algebra.
  • The regime is sharp: the same conclusions fail over $\mathbb{Q}$ when non-nilpotence is required (Section 10.3), and with the stated axioms no vanishing line of slope $\geq 1$ can be forced (Section 10.2).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A direct empirical test of the framework: compute $\Delta_{\mathbf{R}}$ for families of groups where secondary stability is unknown, such as general linear groups over rings with nontrivial lower $K$-theory or automorphism groups of free nilpotent groups; the framework predicts that the secondary stabilisation slopes are exactly the slopes of the indecomposables of the coinvariants of the $E_1$-St
  • The quantisation theorem suggests a retrofitting principle for the literature: any existing stability range whose slope is not of the form $k/(k+1)$ should be read as a lower bound only, with the next quantised slope above it as the natural target for an improved range; surveying old stability theorems would show how many ranges this principle would upgrade.
  • The framework implies that stable homology beyond slope 0 need not be connective — the red-blue configuration example already acquires classes in negative homological degree after localisation — so future computations of higher stable homology should expect torsion and nontrivial extensions rather than a connective answer.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proposes a chromatic framework for higher-order homological stability. The basic datum is a graded E2-algebra R over a field k, and a higher-order stability theorem is formalised as the existence of an iterated cofibre, or Smith–Toda complex, R/(alpha_1,...,alpha_r) with a vanishing line of a given slope. The main theorem, Theorem A, asserts that if k has positive characteristic and R satisfies the explicit axioms (C), (SCE), and (F), then for every lambda<1 there is such a complex whose slopes are non-decreasing, strictly below lambda, and of the form k/(k+1), whose final cofibre has a quantised vanishing line, and whose endomorphisms are non-nilpotent; an E3 assumption gives a coherent cube version. Section 3 interprets stable homology as a Bousfield localisation L^f_lambda, and Theorem B derives properties of the localisation from the existence of an admissible Smith–Toda complex, including quantisation of vanishing lines and Adams periodicity. Sections 8 and 9 introduce the stability Hopf algebra Delta_R and argue that it controls the possible stabilisation maps. The paper also contains a characteristic-zero counterexample and several extended examples.

Significance. If the main theorem is correct, this is a substantial unifying framework: it converts the problem of proving higher-order homological stability into a construction in a filtered category of modules, and it gives a concrete numerical prediction, the quantisation of stabilisation slopes as k/(k+1), that is sharp by the characteristic-zero counterexample in Section 10.3. The axioms are explicit and the conditional structure is clear, and the paper credits its debts to published work of F. Cohen and to the author's earlier framework [14,15]. The introduction of the stability Hopf algebra and the precise statements in Theorems 8.2 and 9.6 are a genuine conceptual contribution. There are no fitted parameters and no circular use of the target theorem. The main reservation is that a load-bearing algebraic classification in Section 5.1 is asserted rather than proved, so the numerical form of the main theorem is not yet fully verifiable from the manuscript as written.

major comments (3)
  1. [Section 5.1, Definition 5.2 and Lemma 5.3] The slope quantisation in Theorem A depends on the claim that the non-nilpotent free graded-commutative generators X_{*,*,*} of pi_{*,*,*}(Ctau tensor fil_*R) are supported only in tridegrees D=N-1 for p=2, and D=N-1 or D=N-2 with N even for p odd. The text describes this as an elementary but laborious calculation and cites [14, Section 16.2] for a basis of the W_1-algebra, but does not prove the restricted claim about non-nilpotent generators below the diagonal, nor does it give a precise statement from the literature. This classification is used to identify the possible slopes, to define the total order in Lemma 5.3(ii), and hence to run the induction in Theorem 5.6. If a further family of non-nilpotent generators with other slopes exists, then Theorem A(i), the quantisation of vanishing lines in Section 1.5.1, and the numerical form of the stability Hopf algebra slogan would all fail. A full derivation, or an exact reference with the stated result, must be supplied.
  2. [Section 5.4, Lemma 5.9] The E3 variant used in Theorem A(iv) rests on a second asserted classification: for k>=3 the multiplicative generators below the diagonal are claimed to be exactly the admissible iterated Dyer–Lashof operations listed in Lemma 5.9, with the proof again omitted as 'elementary but laborious'. This lemma determines the basis x_i for the E3 version of the construction, and so it is load-bearing for the coherent-cube statement in Theorem A(iv). The manuscript should either prove Lemma 5.9 or state and prove the precise Cohen-basis calculation in an appendix, rather than deferring it to an unpublished companion or to a reference that does not contain the claim.
  3. [Section 7, Theorem 7.1 and Section 8.2] The condition (†) in Theorem 7.1 is stated using the notation H^R_{n,d}(S), which is not defined in the manuscript as presented. Since Theorem 7.1 is the engine behind both the changing-rings results and the comparison with the stability Hopf algebra in Theorem 8.2, the reader cannot verify that the hypothesis is satisfied by the map R -> r in Corollary 8.4. Please define H^R_{n,d}(-) explicitly and indicate where the relative vanishing estimates in Corollary 8.4 are proved, or state them as a lemma without referring only to [14, Theorem 15.9].
minor comments (4)
  1. [Section 2.7] The indexing of the spectral sequence in (2.4) is nonstandard; the apology is fine, but it would help to give one concrete example of the correspondence between the filtration degree f and the differential index r.
  2. [Section 3, Example 3.9] The displayed description pi_{*,*}(RB) = k[r,b] tensor Sym^*[generators of slope >= 1/2] is stated as a consequence of F. Cohen's work but without a reference for this exact presentation; a citation to [14, Section 16] or [10] would be useful.
  3. [Section 6.3, Theorem 6.12] After Theorem 6.12 the text says that the remaining endomorphisms 'may be omitted' by the argument of Section 6.3; a short final statement packaging the resulting Smith–Toda complex, with its vanishing line and non-nilpotence properties, would make the connection to Theorem A(iii) more direct.
  4. [Remark 9.3] The remark honestly records that Theorem 9.1 and Theorem 9.2 are not known without commutativity; this limits Theorem A(iv) to E3-algebras. The paper should state clearly, near Theorem A, that the cube statement is conditional on this currently unproved noncommutative extension if the E3 assumption is relaxed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem A is derived from explicit axioms, and the stability Hopf algebra slogan is proved rather than assumed.

full rationale

The paper's central derivation is not circular. Theorem A is proven for any E2-algebra satisfying the explicitly stated axioms (C), (SCE), and (F), and no conclusion of the theorem appears among the hypotheses. The stability Hopf algebra Delta_R is constructed from the diagonal homotopy groups of k tensor_R k, and the slogan that it controls the kinds of stability is established in Sections 8 and 9 by mapping R to Cobar(Delta_R), base-changing, and applying the independent nilpotence criteria of Theorem 7.1; the slogan is not assumed to force Theorem A. The only candidates for concern are non-circular. First, Section 5.1 contains the sentence 'It is an elementary but laborious calculation using the description of a basis for W1((-1)^* HE^2_{*,*}(I)) in [14, Section 16.2]' identifying the generators X_{*,*,*} in tridegrees with D = N-1 (or D = N-2 for p odd). This is an asserted calculation, not a reduction of the conclusion to the input; if the calculation were wrong, Theorem A(i) would fail, but that is a missing-proof or correctness risk, not circularity. Second, reliance on [14] for the W1-algebra basis and for F. Cohen's description of free E2-algebras is reliance on published prior work with independent proofs; it is not a self-citation chain that supplies the desired conclusion. Axiom (SCE) is an explicit hypothesis about the diagonal homotopy of R, distinct from the vanishing-line conclusions. Remark 9.3 honestly records an unproved extension needed for E2-algebras, which is again a limitation, not a circular step. No fitted parameter is renamed as a prediction, and no uniqueness theorem from the authors' earlier work is invoked to forbid alternatives. The derivation chain is self-contained once the quoted prior results and the admitted calculation are accepted as external facts.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No parameters are fitted to data; the theorem is constructive. Lambda is an input slope, and the slopes d_i/n_i are outputs. Axioms (C), (SCE), and (F) are explicit hypotheses. The positive characteristic condition is a proven-in-text sharpness boundary (Section 10.3). The stability Hopf algebra is defined from R, not assumed. Therefore the ledger contains only domain assumptions, no free parameters or invented entities.

assumptions (5)
  • domain assumption R is an E2-algebra in D(k)^Z, the graded derived category over k
    The entire framework and the module category R-mod with its monoidal structure require this; see Sections 1.2 and 2.3.
  • domain assumption Axiom (C): connectedness, pi_{n,d}(R) = 0 for d < 0 or n < 0, and pi_{0,0}(R) = k
    Stated in Section 1.4; needed for the canonical multiplicative filtration and for convergence of spectral sequences.
  • domain assumption Axiom (SCE): standard connectivity estimate, pi_{n,d}(k tensor_R k) = 0 for d < n
    Stated in Section 1.4; load-bearing for the vanishing estimates in the filtered construction of Smith-Toda complexes, Lemma 5.7 and Theorem 5.6.
  • domain assumption Axiom (F): finite type, pi_{n,n}(k tensor_R k) finite-dimensional for each n
    Stated in Section 1.4; ensures the vector spaces X_{N,D,F} are finite-dimensional and spectral sequence pages have finite type.
  • domain assumption k is a field of positive characteristic p for the main existence theorem
    Theorem A and Section 5 use p-power operations and restricted lambda-1 algebras; Section 10.3 shows the analogue over Q fails if non-nilpotence is required. This is a sharp hypothesis, not an ad hoc convenience.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A chromatic approach to homological stability." pith.science (2026). https://pith.science/paper/E7BA6VDM

@misc{pith2026250820629,
  author       = {Pith},
  title        = {Pith review of: A chromatic approach to homological stability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E7BA6VDM}},
  note         = {Machine review of arXiv:2508.20629}
}
abstract

We propose a way to organise the subject of ``higher-order homological stability'', in the context of a graded $E_2$-algebra $\mathbf{R}$, along the same lines that the chromatic perspective organises stable homotopy theory. From this point of view proving a (higher-order) homological stability theorem corresponds to producing Smith--Toda complexes in the category of $\mathbf{R}$-modules: using this perspective we prove that whenever $\mathbf{R}$ is defined over a field of positive characteristic and satisfies some standard properties, there is a sequence of higher-order homological stability theorems whose slopes tend to 1. We propose that in a higher-order stable range the ``stable homology'' should be interpreted as certain Bousfield localisations in the category of $\mathbf{R}$-modules, leading to a chromatic tower and monochromatic layers. Given the existence of suitable Smith--Toda complexes we establish several properties of these localisations, in particular explaining how higher-order stabilisation maps yield periodic families in the monochromatic layers. We explain how to associate to such an $\mathbf{R}$ a Hopf algebra which completely governs the kinds of higher-order stability maps that it enjoys, in the sense that the cohomology of this Hopf algebra has precisely the same stability patterns as $\mathbf{R}$. When $\mathbf{R}$ comes from a sequence of groups, this Hopf algebra has a concrete description as the coinvariants of the $E_1$-Steinberg modules.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 49 canonical work pages

  1. [14]

    Galatius, A

    S. Galatius, A. Kupers, and O. Randal-Williams. CellularEk-algebras. Astérisque, to appear. https://arxiv.org/abs/1805.07184, 2018

    arXiv 2018

  2. [1]

    J. F. Adams. On the structure and applications of the Steenrod algebra.Comment. Math. Helv., 32:180–214, 1958

    work page 1958

  3. [2]

    J. F. Adams. A periodicity theorem in homological algebra.Proc. Cambridge Philos. Soc. , 62:365–377, 1966

    work page 1966

  4. [3]

    Coherent cochain complexes and Beilinsont-structures

    S Ariotta. Coherent cochain complexes and Beilinsont-structures. With an appendix by A. Krause. https://arxiv.org/abs/2109.01017, 2021

    arXiv 2021

  5. [4]

    Bajer and H

    A. Bajer and H. Sadofsky. Cohomology of finite-dimensional connected cocommutative Hopf algebras. J. Pure Appl. Algebra , 94(2):115–126, 1994

    work page 1994

  6. [5]

    Barthel, D

    T. Barthel, D. Heard, and G. Valenzuela. Local duality in algebra and topology.Adv. Math., 335:563–663, 2018

    work page 2018

  7. [6]

    Partial bases and homological stability of $\operatorname{GL}_{n}(R)$ revisited

    C. Bernard, J. Miller, and R. J. Sroka. Partial bases and homological stability ofGLn(R) revisited. https://arxiv.org/abs/2405.09998, 2024

    work page Pith review arXiv 2024

  8. [7]

    J. M. Boardman. Conditionally convergent spectral sequences. InHomotopy invariant algebraic structures (Baltimore, MD, 1998) , volume 239 ofContemp. Math., pages 49–84. Amer. Math. Soc., Providence, RI, 1999

    work page 1998

Show all 54 references
  1. [8]

    Burklund

    R. Burklund. Multiplicative structures on Moore spectra. https://arxiv.org/abs/2203. 14787, 2022

    2022

  2. [9]

    Burklund, J

    R. Burklund, J. Hahn, and A. Senger. On the boundaries of highly connected, almost closed manifolds. Acta Math., 231(2):205–344, 2023

    2023

  3. [10]

    F. R. Cohen, T. J. Lada, and J. P. May.The homology of iterated loop spaces . Lecture Notes in Mathematics, Vol. 533. Springer-Verlag, Berlin-New York, 1976

    1976

  4. [11]

    J. M. Cohen. Coherent graded rings and the non-existence of spaces of finite stable homotopy type. Comment. Math. Helv. , 44:217–228, 1969

    1969

  5. [12]

    W. G. Dwyer and J. P. C. Greenlees. Complete modules and torsion modules.Amer. J. Math. , 124(1):199–220, 2002. A CHROMATIC APPROACH TO HOMOLOGICAL STABILITY 69

    2002

  6. [13]

    J. Francis. The tangent complex and Hochschild cohomology ofEn-rings. Compos. Math., 149(3):430–480, 2013

    2013

  7. [15]

    Galatius, A

    S. Galatius, A. Kupers, and O. Randal-Williams.E2-cells and mapping class groups.Publ. Math. Inst. Hautes Études Sci. , 130:1–61, 2019

    2019

  8. [16]

    Galatius, A

    S. Galatius, A. Kupers, and O. Randal-Williams.E∞-cells and general linear groups of infinite fields. Duke Mathematical Journal, to appear.https://arxiv.org/abs/2005.05620, 2020

    2005 arXiv

  9. [17]

    Galatius, A

    S. Galatius, A. Kupers, and O. Randal-Williams.E∞-cells and general linear groups of finite fields. Ann. Sci. Éc. Norm. Supér. (4) , 57(6):1845–1882, 2024

    2024

  10. [18]

    J. P. C. Greenlees and J. P. May. Completions in algebra and topology. InHandbook of algebraic topology, pages 255–276. North-Holland, Amsterdam, 1995

    1995

  11. [19]

    J.E.HarperandK.Hess.HomotopycompletionandtopologicalQuillenhomologyofstructured ring spectra. Geom. Topol., 17(3):1325–1416, 2013

    2013

  12. [20]

    Haugseng

    R. Haugseng. Algebras for enriched∞-operads. Algebraic and Geometric Topology, to appear. https://arxiv.org/abs/1909.10042, 2019

    1909

  13. [21]

    Haugseng.∞-operads via symmetric sequences.Math

    R. Haugseng.∞-operads via symmetric sequences.Math. Z., 301(1):115–171, 2022

    2022

  14. [22]

    G. Heuts. Koszul duality and a conjecture of Francis–Gaitsgory.https://arxiv.org/abs/ 2408.06173, 2024

    2024 arXiv

  15. [23]

    Z. Himes. Secondary homological stability for unordered configuration spaces.Trans. Amer. Math. Soc., 377(5):3173–3241, 2024

    2024

  16. [24]

    M. J. Hopkins, J. H. Palmieri, and J. H. Smith. Vanishing lines in generalized Adams spectral sequences are generic.Geom. Topol., 3:155–165, 1999

    1999

  17. [25]

    M. J. Hopkins and J. H. Smith. Nilpotence and stable homotopy theory. II.Ann. of Math. (2), 148(1):1–49, 1998

    1998

  18. [26]

    Hovey.Model categories, volume 63 ofMathematical Surveys and Monographs

    M. Hovey.Model categories, volume 63 ofMathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 1999

    1999

  19. [27]

    M. Hovey. Homotopy theory of comodules over a Hopf algebroid. InHomotopy theory: relations with algebraic geometry, group cohomology, and algebraic K-theory, volume 346 ofContemp. Math., pages 261–304. Amer. Math. Soc., Providence, RI, 2004

    2004

  20. [28]

    Hovey and N

    M. Hovey and N. P. Strickland. MoravaK-theories and localisation.Mem. Amer. Math. Soc. , 139(666):viii+100, 1999

    1999

  21. [29]

    L. N. Ivanovsky. Cohomologies of a Steenrod algebra.Dokl. Akad. Nauk SSSR , 157:1284–1287, 1964

    1964

  22. [30]

    M. Ø. Jansen. Unstable algebraic K-theory: homological stability and other observations. https://arxiv.org/abs/2405.02065, 2024

    2024 arXiv

  23. [31]

    M. Ø. Jansen and J. Miller. A criterion for slope 1 homological stability.https://arxiv.org/ abs/2407.01124, 2024

    2024 arXiv

  24. [32]

    A. Krause. Periodicity in motivic homotopy theory and over BP . PhD thesis, Universität Bonn, 2018. https://hdl.handle.net/20.500.11811/7592

    2018

  25. [33]

    N. J. Kuhn and L. A. Pereira. Operad bimodules and composition products on André-Quillen filtrations of algebras.Algebr. Geom. Topol., 17(2):1105–1130, 2017

    2017

  26. [34]

    Kupers and J

    A. Kupers and J. Miller.En-cell attachments and a local-to-global principle for homological stability. Math. Ann., 370(1-2):209–269, 2018

    2018

  27. [35]

    Kupers, J

    A. Kupers, J. Miller, and P. Patzt. Improved homological stability for certain general linear groups. Proc. Lond. Math. Soc. (3) , 125(3):511–542, 2022

    2022

  28. [36]

    W. Lin. On the May spectral sequence at the prime 2.Adv. Math., 408:Paper No. 108606, 73, 2022

    2022

  29. [37]

    J. Lurie. Higher topos theory , volume 170 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2009

    2009

  30. [38]

    J. Lurie. Higher algebra. Available online at https://people.math.harvard.edu/~lurie/ papers/HA.pdf, 2017

    2017

  31. [39]

    Mahowald and H

    M. Mahowald and H. Sadofsky.vn telescopes and the Adams spectral sequence.Duke Math. J., 78(1):101–129, 1995

    1995

  32. [40]

    J. P. May. The cohomology of restricted Lie algebras and of Hopf algebras.J. Algebra, 3:123–146, 1966

    1966

  33. [41]

    group-completion

    D. McDuff and G. Segal. Homology fibrations and the “group-completion” theorem.Invent. Math., 31(3):279–284, 1975/76

    1975

  34. [42]

    H. Miller. Finite localizations.Bol. Soc. Mat. Mexicana (2) , 37(1-2):383–389, 1992. Papers in honor of José Adem

    1992

  35. [43]

    Miller and J

    J. Miller and J. C. H. Wilson. Higher-order representation stability and ordered configuration spaces of manifolds.Geom. Topol., 23(5):2519–2591, 2019. 70 OSCAR RANDAL-WILLIAMS

    2019

  36. [44]

    J. W. Milnor and J. C. Moore. On the structure of Hopf algebras. Ann. of Math. (2) , 81:211–264, 1965

    1965

  37. [45]

    J. H. Palmieri. Stable homotopy over the Steenrod algebra. Mem. Amer. Math. Soc. , 151(716):xiv+172, 2001

    2001

  38. [46]

    M. Ramzi. f 2 = 0. https://sites.google.com/view/maxime-ramzi-en/notes/f20

  39. [47]

    Randal-Williams

    O. Randal-Williams. Homological stability for general linear groups over Dedekind domains. https://arxiv.org/abs/2405.07566, 2024

    2024 arXiv

  40. [48]

    Randal-Williams

    O. Randal-Williams. Examples of stability Hopf algebras. 2025

    2025

  41. [49]

    D. C. Ravenel.Nilpotence and periodicity in stable homotopy theory , volume 128 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1992. Appendix C by Jeff Smith

    1992

  42. [50]

    Y. Shi. Unstable Periodic Homotopy Theory . PhD thesis, Utrecht University, 2023.https: //doi.org/10.33540/1966

    2023 doi

  43. [51]

    M. C. Tangora. On the cohomology of the Steenrod algebra.Math. Z., 116:18–64, 1970

    1970

  44. [52]

    M. S. Weiss. Orthogonal calculus.Trans. Amer. Math. Soc. , 347(10):3743–3796, 1995

    1995

  45. [53]

    Orthogonal calculus

    M. S. Weiss. Erratum: “Orthogonal calculus” [Trans. Amer. Math. Soc.347 (1995), no. 10, 3743–3796]. Trans. Amer. Math. Soc. , 350(2):851–855, 1998

    1995

  46. [54]

    Wilkerson

    C. Wilkerson. The cohomology algebras of finite-dimensional Hopf algebras.Trans. Amer. Math. Soc., 264(1):137–150, 1981. Email address: o.randal-williams@dpmms.cam.ac.uk Centre for Mathema tical Sciences, Wilberforce Road, Cambridge CB3 0WB, UK

    1981

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.