A sparse periodic family in the cohomology of the $\mathbb{C}$-motivic Steenrod algebra

Daniel C. Isaksen; Guchuan Li; Hana Jia Kong; Heyi Zhu; Yangyang Ruan

REVIEW 3 major objections 4 minor 16 references

A sparse periodic family in the cohomology of the $\mathbb{C}$-motivic Steenrod algebra

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

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

Pith's one-line read This paper settles a conjecture on a sparse family in the $\mathbb{C}$-motivic Steenrod cohomology: existence holds exactly for $k=2^m-1$, with unique indecomposable elements detected by $h_1$-localization.

desk verdict The paper proves a genuine conjecture and the detection theorem is likely right, but Lemma 2.5 has a real gap: it only handles d1, not higher differentials, so the proof as written is incomplete. read the letter →

arxiv 2504.16220 v1 pith:EBMUSDR7 submitted 2025-04-22 math.AT

Daniel C. Isaksen , Hana Jia Kong , Guchuan Li , Yangyang Ruan , Heyi Zhu This is my paper · ORCID

classification math.AT MSC 55T1514F42

keywords SteenrodalgebraAdamsspectralsequenceC-motivicstablehomotopytheorymotivicmodularformsh1-localizationBurklund-Xuw1-periodicitysparsefamily

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 proves the existence half of a characterization of a family of elements in the cohomology of the $\mathbb{C}$-motivic Steenrod algebra, the $E_2$-page of the $\mathbb{C}$-motivic Adams spectral sequence. In tri-degrees of the form $k(20,4,12)+(17,4,10)$, it shows that a nonzero element exists exactly when $k=2^m-1$: non-existence for other $k$ was previously known, and the new result supplies existence, uniqueness, and indecomposability. The elements are called $e_0g_k$ and are detected by permanent cycles in the Burklund-Xu spectral sequence in Chow degree one. They matter because they give explicit minimal-stem preimages of the polynomial generators $v_1^4$, $v_2$, and $v_n$ under $h_1$-localization, and because they show that the algebraic Hurewicz image of motivic modular forms contains $e_0g_k$ only for these special $k$, while $\tau e_0g_k$ always survives.

What carries the argument

The central tool is the Burklund-Xu spectral sequence in Chow degree one, a spectral sequence that computes the $\mathbb{C}$-motivic Adams $E_2$-page in Chow degree one ($s+f-2w=1$) and whose $E_1$-page is built from elements $q_i$ times classical Steenrod-cohomology classes. Its $h_0$-localization collapses to the tail $q_2,q_3,\dots$, with the only differential $d_1(q_1)=q_0h_0$; this controls all possible differentials. The argument classifies $E_1$-elements with $v_1$-intercept $-4$, shows that $q_n\cdot h_0^{2^{n-1}-1}$ has no possible target and cannot be hit, and combines an imported classification of $v_1$-intercept $-1$ elements with the $h_0$-localized picture to prove uniqueness. Adams' classical vanishing-line theorem supplies the slope bound that makes the $v_1$-intercept classifications finite and explicit.

What would settle it

Independently compute $H^{***}A$ in the first new degree $(17,4,10)$; if one finds an additional nonzero element or shows that the candidate $x_3$ is annihilated by some power of $h_1$, the uniqueness or $h_1$-periodicity claim fails. Alternatively, check the companion classification for a missing element with $v_1$-intercept $-1$ in the relevant Burklund-Xu degrees.

Watch

Extended reading notes

Core claim

For each $n\ge 3$, the paper establishes the existence of a unique non-zero element $x_n$ in the tri-graded cohomology $H^{***}A$ of the $\mathbb{C}$-motivic Steenrod algebra in degree $(2^{n-3}-1)(20,4,12)+(17,4,10)$. The proof shows that $x_n$ is detected by the permanent cycle $q_n\cdot h_0^{2^{n-1}-1}$ in the Burklund-Xu spectral sequence, while its only competitor in the same degree is killed by a $d_1$ differential. The element is indecomposable, is not annihilated by any power of $h_1$, maps to $e_0g_{2^{n-3}-1}$ in the cohomology of $\mathbb{C}$-motivic $A(2)$, and maps to $v_n$ up to $h_1$-units in $h_1$-localization. With the new name $e_0g_{2^{n-3}-1}$, these elements satisfy $e_0g_{2^{n+1}-1}=w_1^{2^{n+2}}\cdot e_0g_{2^n-1}$ for a Massey-product operator $w_1^{2^{n+2}}\cdot(-)$, but the operator cannot be iterated, so the family is sparse with geometrically growing degrees. The non-existence of such elements for $k$ not of the form $2^m-1$ had been shown previously, so the full statement is an if-and-only-if characterization.

Load-bearing premise

The proof depends on an unpublished companion paper's complete classification of certain boundary elements (by their v1-intercept) and on a small explicit low-degree computation that is not shown; if either contains an error, the uniqueness of the new element in each degree collapses.

Editorial extensions

If this is right

The $h_1$-localization map is now understood on polynomial generators: $P h_1$, $c_0$, and $e_0g_{2^{n-3}-1}$ are explicit minimal-stem preimages of $v_1^4$, $v_2$, and $v_n$ up to $h_1$-units, so products of these give preimages of every element in the localization.
The algebraic mmf-Hurewicz image contains $e_0g_k$ if and only if $k=2^m-1$, while $\tau e_0g_k$ is present for every $k$, so the image has a more intricate structure than a simple polynomial algebra.
The elements form a sparse $w_1$-periodic family: $e_0g_{2^{n+1}-1}=w_1^{2^{n+2}}\cdot e_0g_{2^n-1}$ via a Massey product that cannot be iterated, so degree growth is geometric rather than additive.
Each $x_n$ is indecomposable and $h_1$-periodic: no power of $h_1$ annihilates it, and it is not a product of smaller elements.

Reading between the lines

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

A testable extension is to run the same permanent-cycle argument in higher Chow degrees; the weight shift $12k+10$ versus $12k+9$ suggests a general rule for which lifts exist, independent of the Burklund-Xu machinery.
Because the $w_1$-Massey operator cannot be iterated, the sparse family points to a broader phenomenon: periodicity operators that generate families only one step at a time, and one could look for analogues among $v_1$-periodic families in the cohomology of subalgebras $A(n)$.
The paper leaves open whether the $\tau$-localized image of $x_n$ is exactly $e_0g_{2^{n-3}-1}$ in the classical Steenrod cohomology; the authors guess the unknown correction $y$ vanishes, which can be tested by direct computation in the first few degrees.
If minimal-stem preimages in $h_1$-localization are unique more generally, examples like the 45-stem class $M h_1$ could be organized into a sparse family rather than isolated computations.

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.

Desk Editor's Note

read the letter

The new thing here is the existence of e0 g_k in the C-motivic Steenrod algebra cohomology for k = 2^n−1, exactly Thai's conjectured case. The paper also shows the sparse w1-periodicity relation and connects the family to h1-localization and the algebraic mmf-Hurewicz image. That is a solid, useful result for people computing motivic Adams E2-pages, and the Burklund-Xu spectral sequence approach is appropriate.

What the paper does well: it sets up the definitions carefully (the two ways to define e0 g_k), and Propositions 2.7, 2.8, 2.10, and 2.11 form a coherent chain. The h0-localization argument in Lemma 2.1 is clean, and the use of the h1-localized BXSS to rule out elements being hit is elegant.

Now the soft spots, in order of seriousness.

First, Lemma 2.5's proof as written only considers d1 targets. It computes the target degree (2^n−2, 2^{n−1}+1), notes the v1-intercept is −4, and cites Lemma 2.4. But a d_r for r>1 from the same source lands in (2^n−2, 2^{n−1}+r), with v1-intercept −2−2r, which is at most −6. Those targets are outside Lemma 2.4's classification. The paper neither proves that higher differentials are impossible in Chow-degree-one BXSS nor cites [IKL+25] for that fact. That is a missing step in the proof of permanence, not just an imported classification issue. The 'not hit' half is fine via h0-localization, but the 'no outgoing differentials' half is incomplete.

Second, the proof leans heavily on [IKL+25], a companion paper by the same five authors that is not yet published, for Lemma 6.4, Lemma 6.5, and the BXSS background. Lemma 2.3 also refers to unshown low-dimensional checks up to degree (11,7). This makes independent verification hard. It may be that [IKL+25] does contain the missing fact about higher differentials; if so, the fix is a one-line citation. But as written, the proof is conditional.

The central argument holds up if that gap is filled. I see no reason to doubt the result; the structure is coherent and the detection claims are plausible. But a referee will need to see the higher-differential issue addressed.

Who is this for: specialists in motivic homotopy theory and Adams spectral sequence computations. It is not a paper that reshapes the field, but it is a real step forward for a specific subfield.

Recommendation: send it to peer review. It deserves a serious referee. The authors should be asked to fix Lemma 2.5, either by citing the missing fact or proving it, and to make the dependence on the companion paper explicit. With that, it would be a solid contribution.

Referee Report

3 major / 4 minor

Summary. The manuscript studies a family of elements in the tri-graded cohomology of the C-motivic Steenrod algebra, also viewed as the C-motivic Adams E2-page. It proves that for every n ≥ 3 there is a unique non-zero element x_n in degree (2^{n-3}-1)(20,4,12)+(17,4,10), that x_n is h1-periodic and multiplicatively indecomposable, that it maps under h1-localization to v_n (up to h1^{±1}-multiples), and that it maps to the product e0g_{2^{n-3}-1} in the cohomology of C-motivic A(2). This answers Thai's conjecture for k of the form 2^m-1. The main tool is the Burklund-Xu spectral sequence in Chow degree one, with heavy reliance on the companion paper [IKL+25] for the structure of the E1-page, classifications of elements with specified v1-intercepts, and notation. The paper also describes a sparse w1-periodicity relation among the x_n and discusses implications for the algebraic mmf-Hurewicz image.

Significance. If the proof is correct, the result settles a conjecture of Thai in the positive direction and exhibits a genuinely new kind of sparse periodic family in C-motivic stable homotopy, one that has no analogue in classical or C-motivic v1-periodicity. The connection to h1-localization gives explicit preimages of the generators v_n, and the map to H***A(2) gives concrete information about the algebraic mmf-Hurewicz image. The argument is well structured and the stated detection properties are concrete and checkable; the negative result of Thai and classical comparison provide external anchors. However, the proof depends substantially on an unpublished companion paper [IKL+25], and one step inside the permanence argument (Lemma 2.5) omits a necessary discussion of higher differentials. Neither issue appears fatal if addressed, but both must be resolved before the central claim is fully established.

major comments (3)

[Section 2, Lemma 2.5] The proof that q_n·h0^{2^{n-1}-1} is a permanent cycle only considers targets of a d1-differential. A differential d_r with r>1 from the same source would land in degree (2^n-2, 2^{n-1}+r), whose v1-intercept is -2-2r ≤ -6. Such targets are not covered by Lemma 2.4, which classifies only elements with v1-intercept -4. The text neither proves that all higher differentials in the Burklund-Xu spectral sequence in Chow degree one vanish nor cites a statement from [IKL+25, Section 5.2] to that effect. Since Lemma 2.5 is the key permanence step in Proposition 2.7, this is a load-bearing gap: without it, the existence and uniqueness of x_n are not established.
[Section 2, Lemma 2.3] The proof of Lemma 2.3 asserts that 'the result follows from explicit low-dimensional computations in degrees up to (11,7)' but those computations are not displayed. This classification of elements with v1-intercept -3 is used in Lemma 2.4, which in turn is used in Lemma 2.5. To make the paper verifiable, the low-dimensional computation should be tabulated, or a precise published reference should be supplied, or the computation should be given in an appendix.
[Section 2, Proposition 2.7 and [IKL+25]] The uniqueness and detection argument depends critically on [IKL+25, Lemma 6.5] for the classification of elements with v1-intercept -1, and on [IKL+25, Section 5.2] for the entire BXSS E1-page description. The companion paper is cited as unpublished work by the same five authors and is not reproduced here. If [IKL+25] is not available to the reader or has not been accepted, the central theorem cannot be verified from the present manuscript alone. The authors should either include the necessary classifications in this paper or ensure that the companion is publicly available and give precise statements of the imported results.

minor comments (4)

[Section 2, Proposition 2.8] The assertion 'For degree reasons, v_n is the only possible non-zero value' is not demonstrated. The degrees of the generators v_i in the h1-localized cohomology should be listed, or a short degree computation should be included, so that the reader can check that no other v_i has the same degree after multiplication by h1^{±1}.
[Introduction, w1-periodicity] The claim that e0g_{2^{n+1}-1} = w_1^{2^{n+2}} · e0g_{2^n-1} with a Massey product operator, and that these operators cannot be iterated, is stated without proof or reference. If this is a theorem of the paper, a proof or a precise citation should be given; otherwise it should be labeled as a conjecture or observation.
[Section 2, Lemma 2.1] The sentence 'For degree reasons, there are no other possible differentials' is terse. Since this lemma is used to rule out differentials hitting the permanent cycles, the degree count should be spelled out or a reference given for why d_r=0 for r≥2 in the h0-localized Burklund-Xu spectral sequence.
[Remark 2.9] The parenthetical statement that [GI15, Conjecture 5.5] has been proved should include a more precise pointer, such as which combination of results establishes which part of the conjecture, so the reader can verify the stated map H***A[h1^{-1}] -> H***A(2)[h1^{-1}].

Circularity Check

2 steps flagged · score 4.0 of 10

Central uniqueness rests on an unpublished same-author classification, though independent anchors keep the circularity partial.

uniqueness imported from authors [Section 2, Proposition 2.7 proof]
"We are considering elements that are detected in degree (2^n - 1, 2^{n-1}) in the Burklund-Xu spectral sequence in Chow degree one. Such elements have v1-intercept equal to -1. [IKL+25, Lemma 6.5] classifies the elements with this v1-intercept."

Proposition 2.7's central uniqueness assertion ('there is a unique non-zero element x_n') is not proved in this paper; it is imported from [IKL+25, Lemma 6.5], an unpublished companion paper by the same five authors. The cited lemma is itself the classification that forces uniqueness, so the main theorem's uniqueness reduces to a self-citation rather than to a derivation contained in this text. No independent verification of that lemma, such as a machine-checked proof or a reproduction outside the same authors' project, is supplied.
self citation load bearing [Section 2, Lemma 2.4 proof]
"Then [IKL+25, Lemma 6.4] and Lemma 2.3 tell us the possible values of x."

Lemma 2.4's classification of v1-intercept -4 elements is needed for Lemma 2.5's permanence claim, which in turn supplies the nonzero permanent cycle in Proposition 2.7. That classification is delegated to [IKL+25, Lemma 6.4], a result from the same authors' unpublished companion paper, with no proof or independent check in this text. Thus a load-bearing step in the derivation is a self-citation: absent [IKL+25, Lemma 6.4], Lemma 2.5 and Proposition 2.7 would not follow as written.

full rationale

The paper's central existence claim for x_n = e0g_{2^{n-3}-1} is not assumed into existence: it is anchored by Adams's vanishing theorem (Proposition 2.2), Burklund-Xu's d1(q1)=q0 h0 (Lemma 2.1), the h0-localized spectral sequence, low-degree computations in the cohomology of A(2), and Thai's prior nonexistence result. These give the derivation substantial independent content. The circularity burden is partial and concentrated in the unpublished companion paper [IKL+25] by the same five authors. In particular, Proposition 2.7's uniqueness step is exactly [IKL+25, Lemma 6.5]'s v1-intercept -1 classification, and Lemma 2.4's intercept -4 classification is delegated to [IKL+25, Lemma 6.4]. Both are load-bearing and unreproduced. The skeptic's separate concern about Lemma 2.5 only checking d1 targets, not d_r for r>1, is a correctness gap rather than a circularity; I do not count it toward the circularity score, though it reinforces that the proof's completeness depends on material not present here. Overall, the result is not forced by definition or by a single self-citation chain, but the central uniqueness claim does reduce, as presented, to same-author classifications, so a moderate score is warranted.

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

No free parameters or invented entities are introduced. The central claim rests on several major classifications from the authors' own prior work, especially [IKL+25], which are trusted rather than derived in this manuscript.

assumptions (5)

standard math Adams vanishing line: the classical Adams E2-page is concentrated with v1-intercept greater than or equal to -3, except powers h0^k.
Used as Proposition 2.2 to restrict possible elements in Lemma 2.4.
domain assumption Burklund-Xu E1-page description in Chow degree one from [IKL+25, Section 5.2].
Assumed without reproduction; forms the basis of Lemma 2.1.
domain assumption Classification of elements with v1-intercepts -2, -3, and -1 from [IKL+25, Lemmas 6.4 and 6.5].
Used in Lemma 2.4 and Proposition 2.7 to enumerate possible permanent cycles.
domain assumption h1-localization isomorphism H***A[h1^{-1}] is isomorphic to F2[h1^{±1}][v1^4,v2,v3,...] from [GI15].
Underlies Proposition 2.8 and Remark 2.9.
domain assumption Known cohomology of C-motivic A(2) from [Isa09].
Used in Theorem 2.10 to identify e0g as the only possible image in the relevant tri-degree.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A sparse periodic family in the cohomology of the $\mathbb{C}$-motivic Steenrod algebra." pith.science (2026). https://pith.science/paper/EBMUSDR7

@misc{pith2026250416220,
  author       = {Pith},
  title        = {Pith review of: A sparse periodic family in the cohomology of the $\mathbbC$-motivic Steenrod algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EBMUSDR7}},
  note         = {Machine review of arXiv:2504.16220}
}

abstract

We study a particular family of elements in the cohomology of the $\mathbb{C}$-motivic Steenrod algebra, also known as the $\mathbb{C}$-motivic Adams $E_2$-page. This family exhibits unusual periodicity properties, and it is related both to $h_1$-localization and to the algebraic Hurewicz image of the motivic modular forms spectrum $\mathrm{mmf}$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

[1]

J. F. Adams, A periodicity theorem in homological algebra, Proc. Cambridge Philos. Soc. 62 (1966), 365--377. 194486

work page 1966
[2]

Michael Andrews and Haynes Miller, Inverting the H opf map , J. Topol. 10 (2017), no. 4, 1145--1168. 3743072

work page 2017
[3]

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

work page 2018
[4]

Francis Baer, The algebraic novikov spectral sequence for topological modular forms, 2024

J. Francis Baer, The algebraic novikov spectral sequence for topological modular forms, 2024

work page 2024
[5]

Jordan Benson, The C -motivic adams spectral sequence for s 5 , 2024

work page 2024
[6]

Tom Bachmann and Michael J Hopkins, -periodic motivic stable homotopy theory over fields, arXiv preprint arXiv:2005.06778 (2020),

arXiv 2020
[7]

Mark Behrens, Mark Mahowald, and J. D. Quigley, The 2-primary H urewicz image of tmf , Geom. Topol. 27 (2023), no. 7, 2763--2831. 4645486

work page 2023
[8]

Robert Burklund and Zhouli Xu, The A dams differentials on the classes h^3_j , Invent. math. (2024),

work page 2024

Show all 16 references

[9]

Isaksen, The motivic A dams spectral sequence , Geom

Daniel Dugger and Daniel C. Isaksen, The motivic A dams spectral sequence , Geom. Topol. 14 (2010), no. 2, 967--1014. 2629898

2010
[10]

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
[11]

Isaksen, Achim Krause, and Nicolas Ricka, C -motivic modular forms , J

Bogdan Gheorghe, Daniel C. Isaksen, Achim Krause, and Nicolas Ricka, C -motivic modular forms , J. Eur. Math. Soc. (JEMS) 24 (2022), no. 10, 3597--3628. 4432907

2022
[12]

Dan Isaksen, Hana Jia Kong, Guchuan Li, Yangyang Ruan, and Heyi Zhu, Exotic periodic phenomena in the cohomology of the moduli stack of 1 -dimensional formal group laws, 2025

2025
[13]

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
[14]

Isaksen, Guozhen Wang, and Zhouli Xu, Stable homotopy groups of spheres: F rom dimension 0 to 90 , Publ

Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu, Stable homotopy groups of spheres: F rom dimension 0 to 90 , Publ. Math. Inst. Hautes \'Etudes Sci. 137 (2023), 107--243. 4588596

2023
[15]

Fabien Morel, Suite spectrale d' A dams et invariants cohomologiques des formes quadratiques , C. R. Acad. Sci. Paris S\'er. I Math. 328 (1999), no. 11, 963--968. 1696188

1999
[16]

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

Pith tools

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

[1] [1]

J. F. Adams, A periodicity theorem in homological algebra, Proc. Cambridge Philos. Soc. 62 (1966), 365--377. 194486

work page 1966

[2] [2]

Michael Andrews and Haynes Miller, Inverting the H opf map , J. Topol. 10 (2017), no. 4, 1145--1168. 3743072

work page 2017

[3] [3]

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

work page 2018

[4] [4]

Francis Baer, The algebraic novikov spectral sequence for topological modular forms, 2024

J. Francis Baer, The algebraic novikov spectral sequence for topological modular forms, 2024

work page 2024

[5] [5]

Jordan Benson, The C -motivic adams spectral sequence for s 5 , 2024

work page 2024

[6] [6]

Tom Bachmann and Michael J Hopkins, -periodic motivic stable homotopy theory over fields, arXiv preprint arXiv:2005.06778 (2020),

arXiv 2020

[7] [7]

Mark Behrens, Mark Mahowald, and J. D. Quigley, The 2-primary H urewicz image of tmf , Geom. Topol. 27 (2023), no. 7, 2763--2831. 4645486

work page 2023

[8] [8]

Robert Burklund and Zhouli Xu, The A dams differentials on the classes h^3_j , Invent. math. (2024),

work page 2024