REVIEW 3 major objections 4 minor 1 cited by
Exotic periodic phenomena in the cohomology of the moduli stack of $1$-dimensional formal group laws
T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read For every coweight $4n-1$ there is a non-zero $\eta$-indivisible class whose $\eta$-exponent follows a 2-adic pattern.
desk verdict Genuinely new coexponent computations with a real but fixable dependence on machine charts; deserves refereeing despite the over-strong abstract. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is the $\mathbb{C}$-motivic Burklund--Xu spectral sequence, a Cartan--Eilenberg-type spectral sequence that computes the $\mathbb{C}$-motivic Adams $E_2$-page in Chow degree one, i.e. in the grading $s+f-2w=1$. There it collapses for degree reasons, and the paper uses it to prove that the infinite family of products $h_0h_2\cdot h_2g^k$ is non-zero for $k\ge 1$. Recursive Massey products then yield an infinite family of Adams differentials $d_2(h_3g^k)=h_0h_2\cdot h_2g^k$ and permanent cycles $h_1h_3g^k$, $i_1g^{2k}$, and $\Delta_1 h_1^2 i_1 g^{4k}$; a finite check near the 107-stem shows that $\Delta_1 h_1^2 i_1$ is a permanent cycle. Moss convergence converts these algebraic statements into Toda brackets and then into $\eta$-divisibility statements in homotopy, while a Chow-degree argument rules out hidden $\eta$-extensions.
What would settle it
Recompute the $\mathbb{C}$-motivic Adams differentials in stems 100--107 and check directly whether $d_6(\{13\text{-}300\})=\{19\text{-}449\}$ or any other differential hits $\{13\text{-}300\}$; if one does, $\Delta_1 h_1^2 i_1$ is not a permanent cycle and the coexponent claims at coweights 47 and above fail.
Extended reading notes
Core claim
On the paper's own terms, the discovery is a new algebraic periodicity, distinct from the $v_n$-periodicities, that appears in the cohomology of the moduli stack of 1-dimensional formal group laws and in $\mathbb{C}$-motivic stable homotopy. Precisely, for every $n\ge 1$ there is a non-zero $\mathbb{C}$-motivic class of coweight $4n-1$ that is not divisible by $\eta$; for $n=2^j$ it is the Mahowald element $\eta_{j+3}$, and for $n\ge 2$ the $n$th term of the displayed sequence is the smallest $N$ such that $\eta^N$ annihilates it. Translating through the $S/\tau$ quotient gives the Adams--Novikov counterpart: non-zero $\alpha_1$-torsion elements in degrees $(20n-2,4n)$ whose $\alpha_1$-coexponents are given by the same sequence, beginning $\infty, 3, 2, 7, 2, 6, 2, 15, \dots$.
Load-bearing premise
The 107-stem permanent cycle $\Delta_1 h_1^2 i_1$ is certified by machine-generated $\mathbb{C}$-motivic Adams $E_2$ data and $S/\tau$ charts that the paper does not independently re-verify; an error in those charts would break the $\eta$-coexponent values built on it.
Editorial extensions
If this is right
- The classical Adams--Novikov $E_2$-page contains infinitely many $\alpha_1$-torsion classes in degrees $(20n-2,4n)$, not divisible by $\alpha_1$, with $\alpha_1$-coexponents given by the sequence (1.1).
- $\mathbb{C}$-motivic stable homotopy contains non-zero $\eta$-indivisible classes in every coweight $4n-1$, and in coweights $4k+3$ there are additional non-zero classes detected by $w_1^{4n+2}$ with $\eta$-exponent 2.
- The Mahowald $\eta_j$ classes are the first members of $w_1^{2^j-2}$-periodic families whose second members are $\eta$-multiples of $\eta_{j+1}$, mirroring the classical relation $v_1^{2^n-1}\rho_{2^n-1}=2\rho_{2^{n+1}-1}$.
- The infinite family of Adams differentials $d_2(h_3g^k)=h_0h_2\cdot h_2g^k$ shows that the elements $h_3g^k$ cannot detect homotopy classes, while their $\eta$-multiples $h_1h_3g^k$ are permanent cycles.
- The permanent cycle $\Delta_1 h_1^2 i_1$ in the 107-stem generates an infinite $w_1$-periodic family $\Delta_1 h_1^2 i_1 g^{4k}$, so the $\eta$-exponent results extend to all $k$ by Toda brackets.
Reading between the lines
- If the observed dependence on 2-adic valuations holds in general, the unknown 24th entry of sequence (1.1), in coweight 95, is determined by $v_2(24)=3$; computing that single $\eta$-exponent would directly test the pattern.
- The same Burklund--Xu method, applied one Chow degree higher, should produce parallel families of $\alpha_1$-coexponent classes in the Adams--Novikov $E_2$-page beyond the range treated here; the paper's charts leave concrete candidates in stems beyond 107.
- The close analogy with $v_1$-periodicity suggests that the $\alpha_1$-exponents in the moduli stack cohomology may have a purely number-theoretic description, perhaps tied to denominators of Bernoulli-related invariants; such a description is not proved in the paper.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies 2-primary periodic families in the C-motivic stable homotopy groups and, via the Betti/τ-localization comparison, in the classical Adams–Novikov E2-page, i.e. the cohomology of the moduli stack of 1-dimensional formal group laws. The main objects are w1-periodic elements detected by the classes w_1^{4k}/h_1 and w_1^{4k+2}, and the paper computes, in many coweights, the smallest N such that η^N (respectively α_1^N) annihilates the element. The precise statements are Theorem 4.7 and Theorem 4.11 for C-motivic homotopy, and Corollaries 8.1 and 8.3 for the Adams–Novikov E2-page. The technical core is a detailed analysis of the C-motivic Burklund–Xu spectral sequence in Chow degree one, an infinite family of Adams d2 differentials d2(h3g_k) = h0h2·h2g_k, and a specific permanent cycle Δ1h1^2i1 in the C-motivic 107-stem. The paper also contains a self-contained computation of the Chow-degree-one part of the cohomology of C-motivic A(2).
Significance. If the main claims are correct, this is a substantial contribution: it identifies new number-theoretic periodic structure in the Adams–Novikov E2-page that is distinct from v_n-periodicity, and it provides the first systematic computation of η-coexponents beyond Andrews's η-torsion families. The Burklund–Xu spectral sequence arguments are well chosen and the paper gives a clear conceptual framework, including explicit Massey products and Toda-bracket inductions. The authors are appropriately careful in the precise theorems, distinguishing what is proved from what is conjectural in the introductory sequence (1.1). The machine-assisted nature of some parts is normal for the field, but the manuscript would be strengthened by making the relevant machine-data checks auditable.
major comments (3)
- [§1.4, Theorem 1.2(4), Corollary 1.5(4)] The advertised Theorem 1.2(4) and Corollary 1.5(4) claim that for all n≥2 the nth term of sequence (1.1) gives the smallest N such that η^N (resp. α_1^N) annihilates the element. But sequence (1.1) contains an explicit unknown value at the 24th entry, and the paper itself states in §1.4 that the first unknown η-exponent occurs in coweight 95 = 4·24−1. The precise statements in Theorem 4.7(5) and Remark 4.10 are correctly hedged, so the abstract and the unqualified item (4) overstate what is proved. This mismatch should be fixed in the abstract, Theorem 1.2, Corollary 1.5, and any summary statements that repeat the claim.
- [§7.5, Proposition 7.25] Proposition 7.25 is the base case for the permanent cycle Δ1h1^2i1g^{4k}, which in turn supports the η-coexponent 12 entries in Table 3 and Theorem 4.7(5). The proof shows survival to the E8-page by a chain of lemmas, but the final sentence states: 'For higher differentials, all possible non-zero values disappear already in the E5-page' without listing those possible values or the differentials that kill them. Since this assertion is load-bearing for the coexponent 12, the proof is incomplete as written; the authors should provide the explicit list of possible higher differentials and the relevant vanishing arguments, or refer to a precise dataset/lemma that supplies them.
- [§7.5, Lemmas 7.10–7.24] The proof of Proposition 7.25 relies on machine-generated data in the file Adams-motivic-E2-machine.csv from [IWX22b] and on the S/τ charts of [IWX22a]. Several lemmas are justified by 'by inspection' of this external dataset, and Lemma 7.10, Lemma 7.12, and Lemma 7.21 compare against S/τ differentials. If the dataset omits a class in stems 100–107 or the S/τ charts contain an error, the permanent cycle and the coexponent 12 results would collapse. The manuscript does not provide an independent verification of the relevant part of the dataset. I do not regard this as internal inconsistency, but because it is a correctness-risk at the central new numerical content, the authors should either include the relevant excerpts of the machine data as an appendix or state explicitly the exact subset of the external data on which each lemma depends.
minor comments (4)
- [Figure 6 caption] The caption of Figure 6 says 'Some w1-periodic h1-submodules in the classical Adams E∞-page', but the surrounding text in §4.3 and the chart itself concern the C-motivic Adams E∞-page; this should be corrected.
- [§7.5 between Lemma 7.11 and Lemma 7.12] The sentence 'There are no possible non-zero values for d4 ({13-300}) or d5 ({13-300})' is stated without explanation; adding a one-line degree or filtration reason would help the reader verify the claim.
- [§1.6, Equation (1.6)] The equation w_1^{2^j-2}·η_j = η^{2^j-2}·η_{j+1} is striking and would benefit from a small explanatory sentence about the indexing of η_j, since the notation η_j is not defined in this section and the reader must infer it from later references to Mahowald elements.
- [§4.3, Table 3] In Table 3, the row for coweight 2^j+3 lists the η-coexponent as 2^{j+2}−1, while the text of Theorem 4.7(4) writes the generator as η^{2^{j+2}−2}·η_{j+4}; the apparent off-by-one between the exponent of η and the coexponent should be clarified, since the generator may be divisible by η once more than the coexponent indicates.
Circularity Check
No circularity: the eta-coexponents are computed from spectral sequence differentials along an acyclic dependency graph, with machine data serving as external computational input rather than as a fitted prediction.
full rationale
The claimed coexponents are outputs, not inputs, of the computations. The dependency graph is acyclic: Theorem 4.7(1)-(4) and Theorem 4.11(1)-(3) are proved without the later permanent-cycle propositions, and those propositions (7.5, 7.8, 7.26) use only part (2) of the earlier theorems, not the coexponent conclusions they support. The base cases and machine data come from published external datasets and charts ([IWX23], [IWX22a], [IWX22b]) rather than from the target eta-coexponents or the Adams-Novikov elements being derived. The paper explicitly flags its reliance on machine-generated Adams E2 data in Section 7.5 and on S/tau charts for differential comparisons; an error in those datasets would be a correctness risk, not a circular reduction. Proposition 7.25's terse final assertion about higher differentials is a gap in the written proof, but it does not make the coexponents equal to their inputs by construction. No fitted parameter is renamed as a prediction, and no load-bearing argument reduces to a self-citation chain.
Assumptions & free parameters
assumptions (6)
- standard math Adams vanishing line and periodicity operator isomorphisms in H**Acl in the ranges used (Proposition 6.3; Lemma 3.3; Lemma 6.4).
- domain assumption Burklund-Xu spectral sequence converges to the C-motivic Adams E2-page in Chow degree one, with differential formulas dr(q_i x) = q_{i-r} times Massey products.
- domain assumption Moss convergence theorem for Toda brackets in the C-motivic Adams spectral sequence.
- standard math Mahowald's classical eta_j families exist and h1 h_n are permanent cycles.
- domain assumption The machine-generated C-motivic Adams E2-page data and S/tau charts in the 100-107 stem range are complete and correct.
- standard math Isomorphism between the homotopy of the C-motivic two-cell complex S/tau and the classical Adams-Novikov E2-page.
Cite this review
Pith. "Pith review of Exotic periodic phenomena in the cohomology of the moduli stack of $1$-dimensional formal group laws." pith.science (2026). https://pith.science/paper/WBOSVXQ6
@misc{pith2026250414383,
author = {Pith},
title = {Pith review of: Exotic periodic phenomena in the cohomology of the moduli stack of $1$-dimensional formal group laws},
year = {2026},
howpublished = {\url{https://pith.science/paper/WBOSVXQ6}},
note = {Machine review of arXiv:2504.14383}
}
abstract
We describe some periodic structure in the cohomology of the moduli stack of 1-dimensional formal group laws, also known as the $E_2$-page of the classical Adams--Novikov spectral sequence. This structure is distinct from the familiar $v_n$-periodicities, and it displays interesting number-theoretic properties. Our techniques involve the $\mathbb{C}$-motivic Adams spectral sequence, and we obtain analogous periodic structure in $\mathbb{C}$-motivic stable homotopy.
Figures
Figures from the paper (8 more)
Forward citations
Cited by 1 Pith paper
-
Revisiting the $\beta_1$-action on the $3$-primary stable homotopy groups of spheres
Products of the 3-primary β₁-periodic family in the stable homotopy groups of spheres are nonzero for up to five factors and zero for six or more, with analogous sharp cutoffs for β₂-, α₁β₂-, and [α₁β₃/3]-twisted products.
Reference graph
Works this paper leans on
-
[1]
J. F. Adams, On the groups J(X) . IV , Topology 5 (1966), 21--71. 198470
work page 1966
-
[2]
, A periodicity theorem in homological algebra, Proc. Cambridge Philos. Soc. 62 (1966), 365--377. 194486
work page 1966
-
[3]
Michael Andrews and Haynes Miller, Inverting the H opf map , J. Topol. 10 (2017), no. 4, 1145--1168. 3743072
2017
-
[4]
Andrews, New families in the homotopy of the motivic sphere spectrum, Proc
Michael J. Andrews, New families in the homotopy of the motivic sphere spectrum, Proc. Amer. Math. Soc. 146 (2018), no. 6, 2711--2722. 3778171
2018
-
[5]
Jordan Benson, The C -motivic adams spectral sequence for s 5 , 2024, arXiv:2410.16521
work page Pith review arXiv 2024
-
[6]
Joey Beauvais-Feisthauer, Hood Chatham, and Dexter Chua, The E_2 page of the 2-primary Adams spectral sequence in a large range , June 2023, doi.org/10.5281/zenodo.8021736
-
[7]
Hopkins, -periodic motivic stable homotopy theory over fields, 2020, arXiv:2005.06778
Tom Bachmann and Michael J. Hopkins, -periodic motivic stable homotopy theory over fields, 2020, arXiv:2005.06778
arXiv 2020
-
[8]
Eva Belmont and Hana Jia Kong, A toda bracket convergence theorem for multiplicative spectral sequences, 2021, arXiv:2112.08689
work page Pith review arXiv 2021
Show all 34 references
-
[9]
Robert Burklund and Zhouli Xu, The A dams differentials on the classes h_j^3 , Invent. Math. 239 (2025), no. 1, 1--77. 4841776
2025
-
[10]
Daniel Christensen and Martin Frankland, Higher T oda brackets and the A dams spectral sequence in triangulated categories , Algebr
J. Daniel Christensen and Martin Frankland, Higher T oda brackets and the A dams spectral sequence in triangulated categories , Algebr. Geom. Topol. 17 (2017), no. 5, 2687--2735. 3704239
2017
-
[11]
Bogdan Gheorghe, The M otivic C ofiber of tau and E xotic P eriodicities , ProQuest LLC, Ann Arbor, MI, 2017, Thesis (Ph.D.)--Wayne State University. 3732063
2017
-
[12]
Guillou and Daniel C
Bertrand J. Guillou and Daniel C. Isaksen, The -local motivic sphere , J. Pure Appl. Algebra 219 (2015), no. 10, 4728--4756. 3346515
2015
-
[13]
Isaksen, Hana Jia Kong, Guchuan Li, Yangyang Ruan, and Heyi Zhu, The C -motivic A dams- N ovikov spectral sequence for topological modular forms , Adv
Daniel C. Isaksen, Hana Jia Kong, Guchuan Li, Yangyang Ruan, and Heyi Zhu, The C -motivic A dams- N ovikov spectral sequence for topological modular forms , Adv. Math. 458 (2024), Paper No. 109966, 47. 4806410
2024
-
[14]
Dan Isaksen, Hana Jia Kong, Guchuan Li, Yangyang Ruan, and Heyi Zhu, A sparse periodic family in the cohomology of the C -motivic steenrod algebra , 2025
2025
-
[15]
Isaksen, The cohomology of motivic A(2) , Homology Homotopy Appl
Daniel C. Isaksen, The cohomology of motivic A(2) , Homology Homotopy Appl. 11 (2009), no. 2, 251--274. 2591921
2009
-
[16]
, Stable stems, Mem. Amer. Math. Soc. 262 (2019), no. 1269, viii+159. 4046815
2019
-
[17]
Isaksen, Guozhen Wang, and Zhouli Xu, Classical algebraic Novikov charts and C -motivic Adams charts for the cofiber of , October 2022, doi.org/10.5281/zenodo.6987227
Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu, Classical algebraic Novikov charts and C -motivic Adams charts for the cofiber of , October 2022, doi.org/10.5281/zenodo.6987227
2022 doi
-
[18]
, Classical and C -motivic A dams charts , October 2022, doi.org/10.5281/zenodo.6987157
2022 doi
-
[19]
, Stable homotopy groups of spheres: F rom dimension 0 to 90 , Publ. Math. Inst. Hautes \'Etudes Sci. 137 (2023), 107--243. 4588596
2023
-
[20]
Achim Krause, Periodicity in motivic homotopy theory and over bp_*bp , , 2018, Thesis (Ph.D.)--University of Bonn
2018
-
[21]
Ang Li, The v_1 -periodic region in the cohomology of the -motivic S teenrod algebra , New York J. Math. 26 (2020), 1355--1374. 4180227
2020
-
[22]
3, 249--256
Mark Mahowald, A new infinite family in 2 _ * ^s , Topology 16 (1977), no. 3, 249--256. 445498
1977
-
[23]
Peter May, Notes on the cohomology of A(2) , unpublished, available at s.wayne.edu/isaksen/adams-charts
J. Peter May, Notes on the cohomology of A(2) , unpublished, available at s.wayne.edu/isaksen/adams-charts
-
[24]
, Vanishing, approximation, and periodicity, unpublished
-
[25]
Algebra 12 (1969), 533--568
, Matric M assey products , J. Algebra 12 (1969), 533--568. 238929
1969
-
[26]
Milnor and Michel A
John W. Milnor and Michel A. Kervaire, Bernoulli numbers, homotopy groups, and a theorem of R ohlin , Proc. I nternat. C ongress M ath. 1958, Cambridge Univ. Press, New York, 1960, pp. 454--458. 121801
1958
-
[27]
Michael F
R. Michael F. Moss, Secondary compositions and the A dams spectral sequence , Math. Z. 115 (1970), 283--310. 266216
1970
-
[28]
Daniel Quillen, The A dams conjecture , Topology 10 (1971), 67--80. 279804
1971
-
[29]
J. D. Quigley, The motivic M ahowald invariant , Algebr. Geom. Topol. 19 (2019), no. 5, 2485--2534. 4023321
2019
-
[30]
Ravenel, Complex cobordism and stable homotopy groups of spheres, Pure and Applied Mathematics, vol
Douglas C. Ravenel, Complex cobordism and stable homotopy groups of spheres, Pure and Applied Mathematics, vol. 121, Academic Press, Inc., Orlando, FL, 1986. 860042
1986
-
[31]
Dennis Sullivan, Genetics of homotopy theory and the A dams conjecture , Ann. of Math. (2) 100 (1974), 1--79. 442930
1974
-
[32]
23 (2021), no
Hieu Thai, The wedge family of the cohomology of the C -motivic S teenrod algebra , Homology Homotopy Appl. 23 (2021), no. 1, 101--117. 4140865
2021
-
[33]
Hirosi Toda, Composition methods in homotopy groups of spheres, Annals of Mathematics Studies, vol. No. 49, Princeton University Press, Princeton, NJ, 1962. 143217
1962
-
[34]
Vladimir Voevodsky, Reduced power operations in motivic cohomology, Publications Math \'e matiques de l'IH \'E S 98 (2003), 1--57
2003
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.