Pith. sign in

REVIEW 3 major objections 5 minor 19 references

Towards the $p=3$ Kervaire Invariant Problem: The $E_2$-page for the homotopy fixed points spectral sequence computing $\pi_*({E_6}^{hC_9})$

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper proves a detection theorem for the p=3 Kervaire invariant problem and, under a conjectural model of the C_9-action on $\pi_*E_6$, computes the $E_2$ page of the homotopy fixed points spectral sequence for $E_6^{hC_9}$ in…

desk verdict A serious step on the p=3 Kervaire program: solid conditional E2 computation, and a detection theorem with a real but fixable gap. read the letter →

arxiv 2507.10157 v1 pith:5KG6AJ24 submitted 2025-07-14 math.AT

Eva Belmont , Rin Ray This is my paper · ORCID
classification math.AT MSC 55T1555P9155N22
keywords KervaireinvarianthomotopyfixedpointsspectralsequenceLubin-TatespectrumE_6C_9actionAdams-NovikovdetectiontheoremTatecohomology
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 attacks the last unsolved case of the Kervaire invariant problem, at the prime 3, where earlier odd-primary methods fail. It proves the detection theorem required by the standard program for this case: every class in the Adams–Novikov 2-line that maps to the Kervaire element $b_j$ must have nonzero image in $H^2(C_9;\pi_{4\cdot 3^j+1}E_6)$, where $E_6$ is the Lubin–Tate spectrum of height 6. With that obstruction removed, the paper computes the $E_2$ page of the homotopy fixed points spectral sequence for $E_6^{hC_9}$ in positive homological degrees, assuming a conjectural description of the $C_9$-action on $\pi_*E_6$ as a symmetric algebra on an induced reduced regular representation. The computation is the first concrete step toward the periodicity and gap theorems that would finally rule out the surviving Kervaire classes $b_j$ for $j\ge 4$.

What carries the argument

The central object is the localized Serre spectral sequence for the group extension $C_3 \to C_9 \to C_9/C_3$, converging to Tate cohomology $\hat H^*(C_9;(\Delta^{-1}M)^{\wedge}_I)$, where $M=\mathrm{Sym}(\mathrm{Ind}_{C_3}^{C_9}\rho)$ and $\rho$ is the reduced regular representation of $C_3$. Because Tate cohomology of a cyclic group is periodic and inverts the periodicity class, working with $\hat H$ loses only the $H^0$ part, which is expected to be irrelevant for the Kervaire argument. The inner $C_3$-cohomology is computed by decomposing $M$ into trivial, free, and two-dimensional indecomposable modules, and the $C_3$-invariants of the polynomial tensor exterior algebra are governed by the symmetric polynomials $s_1=d_1+d_2+d_3$, $s_2=d_1d_2+d_2d_3+d_3d_1$, $s_3=d_1d_2d_3$ together with the discriminant $\delta=(d_1-d_2)(d_2-d_3)(d_3-d_1)$; the classes $f_i$ and $F_i$ are the remaining indecomposable module generators. This machinery turns the computation of $H^*(C_9;\pi_*E_6)$ into a finite algebraic calculation, with the only differentials coming from the trivial-coefficient comparison.

What would settle it

A direct way to test the main computation is to construct the $C_9$-action on the Lubin–Tate ring $W(\mathbb{F}_{3^6})[[u_1,\ldots,u_5]]$ from its universal property and compare the resulting module structure of $\pi_*E_6$ in low internal degrees (say up to $t=36$) with the symmetric algebra model; any disagreement in the action matrix or in the invariant subring would falsify Conjecture 0.3 and invalidate the computed $E_2$ page. Alternatively, a nonzero permanent cycle in $H^0(C_9;\pi_*E_6)$ that detects one of the classes $b_j$ for $j\ge4$ would falsify the claim that the omitted $H^0$ information is irrelevant to the Kervaire problem.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes two things. First, Proposition 6.2 proves Conjecture 0.1(1): for every $j\ge0$, every class $x \in \mathrm{Ext}^{2,4\cdot3^j+1}_{BP_*BP}(BP_*,BP_*)$ with $\Phi(x)=b_j$ has nontrivial image under the composite to $H^2(C_9;\pi_{4\cdot3^j+1}E_6)$. The proof constructs a $C_9$-equivariant classifying map from $\pi_*E_6$ to a ring $R_*=A[w^{\pm}]$ where $A=\mathbb{Z}_3[\zeta]$ with $\zeta$ a primitive 9th root of unity, computes the height of the formal group law there, and shows in the resulting group cohomology that $\lambda(\beta_{3^j}/3^j)\neq0$ while the remaining generators in the relevant bidegree vanish. Second, assuming Conjecture 0.3, Theorem 5.2 gives an explicit presentation of $\hat H^*(C_9;(\Delta^{-1}M)^{\wedge}_I)$, i.e. the $E_2$ page of the hfpss in degrees $n>0$, as a module over $\tilde S^*_k=(W(\mathbb{F}_{3^6})/9)[b_1^{\pm1},s_3^{\pm1}][[s_1,s_2]]$ on the sixteen generators $1,c,\delta,c\delta,f_0,\ldots,f_5,F_0,\ldots,F_5$ with the relations $3s_1=3s_2=3\delta=3c\delta=3f_i=3F_i=0$. The Serre spectral sequence for the extension $C_3\to C_9\to C_9/C_3$ collapses on the $E_4$ page, with the only differentials and the hidden extension $3b_1=b_2$ inherited from the trivial-coefficient case.

Load-bearing premise

The whole $E_2$-page computation rests on the unproved Conjecture 0.3, which says the coefficient ring $\pi_*E_6$ is, as a $C_9$-module, the symmetric algebra on the induced reduced regular representation with a prescribed action; if that model fails, the computed page is not the hfpss $E_2$ page for $E_6^{hC_9}$, and the program would also need the currently expected but unproved irrelevance of $H^0$ to go through.

Editorial extensions

If this is right

  • If Conjecture 0.3 is correct, the explicit $E_2$ page computed here is the actual starting point for the differential chase in the hfpss computing $\pi_*(E_6^{hC_9})$, so the periodicity and gap conjectures reduce to a finite algebraic problem in low total degree.
  • The detection theorem removes the specific obstruction that made the odd-primary Kervaire strategy fail at $p=3$: every Adams–Novikov representative of $b_j$ is now visible in $H^2(C_9;\pi_*E_6)$.
  • Because the classes $b_j$ for $j\ge4$ live in stems $4\cdot3^j-2\equiv -2 \pmod{972}$, a proof of the gap conjecture $\pi_{-2}E_6^{hC_9}=0$ and the periodicity of period 972 would force $b_j$ not to survive in the Adams spectral sequence, closing the Kervaire problem.
  • The hidden extension $3\cdot b_1=b_2$ and the relations $3s_1=3s_2=0$ in the $E_2$ page already record part of the 3-torsion structure that must be matched by any future differential calculation.
  • The $\mathrm{RO}(C_9)$-graded refinement of the $E_2$ page gives additional grading information that can be used to constrain higher differentials.

Reading between the lines

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

  • If the symmetric algebra model is verified, the same Serre-spectral-sequence recipe should extend to the other primes and to other finite subgroups of the Morava stabilizer group, giving explicit $E_2$ pages for the odd-primary Kervaire program at heights beyond 6.
  • The Tate-theoretic shortcut that discards $H^0$ deserves a direct check: if a nonzero permanent cycle in $H^0(C_9;\pi_*E_6)$ is found that detects some $b_j$, the program as stated would not be able to rule out survival using only the computed positive-degree page.
  • The proof of detection works by mapping to the much simpler cohomology $H^*(C_9;R_*/3)$, which suggests that the comparison map from the Adams–Novikov spectral sequence to the hfpss may be tractable via formal group coordinate calculations, potentially making the full hfpss differential chase algebraic.
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 / 5 minor

Summary. The paper addresses the p=3 Kervaire invariant problem, following the strategy of Hill, Hopkins, and Ravenel. It contains two main results. First, Proposition 0.2 (= Proposition 6.2) is an unconditional detection theorem: every class x in Ext^{2,4·3^{j+1}}_{BP_*BP}(BP_*,BP_*) with Φ(x)=b_j has nonzero image in H^2(C9; π_{4·3^{j+1}}E6). Second, Theorem 0.6 (= Theorem 5.2), conditional on Conjecture 0.3 describing the C9-action on π_*E6, computes the E2 page of the homotopy fixed points spectral sequence for E6^{hC9} in positive homological degrees as a module over an explicitly described ring. The computation is carried out through a localized Serre spectral sequence for the extension C3→C9→C3, with detailed decompositions of the inner Tate cohomology and a Sage-assisted invariant calculation; the result away from H^0 is presented in Theorem 5.2.

Significance. The conjectural E2 computation is substantial, well-structured, and honestly labeled as conditional; the appendix's Sage code makes the key invariant-theoretic step reproducible. If the unconditional detection theorem in §6 can be fully justified, it would establish the first of the three HHR prerequisites for the last Kervaire invariant problem at p=3, which would be a notable result. The main obstacle to accepting the paper as it stands is that the detection theorem's proof relies on an unpublished and only sketched valuation argument; the annihilation of the B_j summands is load-bearing and not demonstrated in the text.

major comments (3)
  1. [Section 6, Proposition 6.2] The proof does not establish the vanishing λ(β)=0 for β∈B_j. After citing [HHR11] for the valuation inequality ∥β∥>2, the text asserts that 'analogous arguments as the p=2 case show that λ non-strictly increases valuation,' but no proof of this monotonicity is supplied, and [HHR11] is an unpublished preprint whose p=3 proofs the introduction itself describes as sketched. Since the classes β_{c(j,k)/3^{j−2k}} occur in the additive basis for the relevant 2-line, a nonzero λ(β) would spoil the detection conclusion. This is a load-bearing gap; please provide a complete proof or a precise published reference.
  2. [Section 6, Proposition 6.2] The assertion λ(v_1^6)=0 in R_*/3 is stated without proof and is used to identify λ(ẽβ_{3^j/3^j}) with λ(t_1^{3^{j+1}}) up to a unit. If λ(v_1) is divisible only by π rather than by 3, the reduction step fails. Please give the explicit computation or a derivation from the valuation.
  3. [Sections 4–5, Proposition 4.10 and Lemma 4.9] The comparison between the completed and uncompleted Serre E2 terms depends on Lemma 4.9's basis satisfying the filtration criteria of Lemma 4.8. The proof of Lemma 4.9 is intricate, and in Cases 2 and 3 the stated calculations of the bases for the sums β(d^2 \bar w^i) and β(d^2(w_1+w_2)\bar w^{i-1}) are asserted without demonstration. Since Proposition 4.10 is the key step that turns the localized computation into the module structure of Theorem 5.2, this verification should be spelled out or supported by a computer check.
minor comments (5)
  1. [Throughout] The notation '4·3j+1' is ambiguous; in Conjecture 0.1, Proposition 6.2, and the abstract it should be typeset as 4·3^{j+1} to match the argument in §6 where R_{4·3^{j+1}} is used.
  2. [Corollary 3.6] In the degree table, the last generator in the F-family is printed as F3 but should be F5.
  3. [Lemma 2.5] The exact sequence in the proof should be 0 → R[t_0,t_1,t_2] → R[t_0,t_1,t_2] → R[t_0,t_1,t_2]/(t_0+t_1+t_2) → 0, with the first map being multiplication by t_0+t_1+t_2; as printed, the ideal is not a subring and the first map is not defined.
  4. [Section 5, Lemma 5.1] The sentence 'The Leibniz rule prevents nontrivial differentials with b2-torsion source form having b2-periodic target' is difficult to parse; please reformulate.
  5. [Before Proposition 0.5] The statement that losing H^0 information is 'expected to not be needed for the Kervaire problem' is made without argument; a brief justification would help, since hidden extensions could in principle couple H^0 to higher cohomological degrees.

Circularity Check

1 steps flagged · score 4.0 of 10

The E2-page computation rests on the authors' own unproved C9-action conjecture, while the detection theorem is independent but leans on an unverified HHR11 valuation step.

  1. self citation load bearing [Introduction, Conjecture 0.3, Eq. (0.1), Theorem 0.6]
    "However, a conjecture by the second author and independently by Hill, Hopkins, and Ravenel states that for any prime and any finite subgroup G ⊆ Sh, π0Eh is isomorphic (as a W(Fph)[G]-module) to a ring with an easily describable G-action. ... This conjecture is the subject of work in progress by the second author. In this paper, we assume the conjecture and use that action to produce an explicit formula for the E2 page of the hfpss E2 = H ∗(C9; π∗E6)."

    The main computational result, Theorem 0.6, is stated as 'Assume Conjecture 0.3 for p=3, k=2', and Eq. (0.1) replaces πtE6 by ((Δ−1M)∧I)t via that conjecture. The Serre spectral sequence computation in Sections 2–5 then computes the group cohomology of this proposed module M; no step tests or derives the conjectured isomorphism. Thus the headline E2-page formula reduces by construction to the authors' own unpublished C9-action model, proposed by the second author. Because the conjecture is explicitly labeled as an assumption, this is a transparent conditional rather than a hidden tautology, but it is still load-bearing self-citation for the title computation. The detection theorem is independent of this step.

full rationale

The paper is transparent about its main conditional: Theorem 0.6 is explicitly 'Assume Conjecture 0.3'. That conjecture is an unpublished isomorphism due in part to the second author, so the E2-page computation is not a verification of the model; it is the cohomology of the model. This is a moderate self-citation load-bearing issue, scored 4 rather than higher, because the unconditional detection theorem (Proposition 6.2 / Conjecture 0.1(1)) does not use Conjecture 0.3 and contains independent mathematical content. The proof of Proposition 6.2 does contain a load-bearing unproved assertion: the annihilation λ(β)=0 for β∈Bj is dispatched by 'analogous arguments as the p=2 case' with a citation to the unpublished preprint [HHR11]. This is a completeness/correctness gap, not a reduction of the conclusion to its own inputs, and [HHR11] is not authored by the present authors, so it does not count as self-citation circularity. No other equation or construction in the paper is equivalent to an input by definition; the Serre spectral sequence calculation is a genuine, though conditional, computation.

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

The paper introduces no new particles or forces. Its load-bearing axioms are the unproved Conjecture 0.3, the cited HHR11 framework, and the expectation that H^0 is irrelevant for the Kervaire problem. The correctness risk is concentrated in these assumptions and in the degree computation of Section 6.

assumptions (4)
  • domain assumption Conjecture 0.3: π_*E6 is isomorphic as a W[C9]-module to (Sym(Ind_{C3}^{C9} ρ)[Δ^{-1}])^∧_I with the stated C9-action.
    The entire E2 page computation (Theorem 0.6) assumes this conjecture; the paper states it is unproved work in progress.
  • domain assumption HHR11's detection framework: the formal A-module F over R_* = A[w^{±}] has height ≤6, and the valuation arguments from HHR11 are valid.
    Proposition 6.2 relies on HHR11's construction and valuation bounds, which are cited but not reproduced.
  • domain assumption H^0 information in the Tate cohomology spectral sequence is not needed for the Kervaire problem.
    The paper works with Tate cohomology, explicitly losing H^0, and states this is 'expected to not be needed' without proof.
  • domain assumption The comparison map from the Adams-Novikov spectral sequence to the homotopy fixed points spectral sequence exists and behaves as in HHR's strategy.
    The detection theorem and the reduction of the Kervaire problem to E6^{hC9} depend on this map and the HHR program.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Towards the $p=3$ Kervaire Invariant Problem: The $E_2$-page for the homotopy fixed points spectral sequence computing $\pi_*({E_6}^{hC_9})$." pith.science (2026). https://pith.science/paper/5KG6AJ24

@misc{pith2026250710157,
  author       = {Pith},
  title        = {Pith review of: Towards the $p=3$ Kervaire Invariant Problem: The $E_2$-page for the homotopy fixed points spectral sequence computing $\pi_*(E_6^hC_9)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5KG6AJ24}},
  note         = {Machine review of arXiv:2507.10157}
}
abstract

Hill, Hopkins, and Ravenel suggest that the last remaining Kervaire invariant problem, the case of $p=3$, can be solved by computing the homotopy fixed points spectral sequence for $\pi_* E_6^{hC_9}$. We prove a detection theorem for this case and use a conjectural form of the $C_9$-action on $E_6$ to compute the $E_2$ page of this spectral sequence away from homological degree zero.

Figures

Figures reproduced from arXiv: 2507.10157 by the authors.

Figure 1
Figure 1. The Serre spectral sequence (1.2). Dots represent copies of k, and the square represents a copy of R. Surviving classes are highlighted. The only possible differential pattern that produces the correct C9-cohomology (as shown in (1.3)) is the one given. For degree reasons, no higher differentials are possible. The hidden extension is forced by the fact that H2 (C9; R) = Hb2 (C9; R) = R/9. □ Remark 1.3. One might exp… view at source ↗
Figure 2
Figure 2. Examples illustrating the two possible issues with convergence. Dotted lines in the first picture indicate hidden extensions by b. Blue arrows in the second picture indicate differentials. Since |b| = (0, 2), a hidden b-extension increases degree by (n, 2 − n) where n is the filtration jump. So an infinite tower of b-extensions would have unbounded p-degree. The second scenario requires a sequence of differentials o… view at source ↗
Figure 3
Figure 3. The Serre E3 page with E3 differentials. Each dot represents a copy of k[b ± 1 ]. Green dots have odd q degree. Differentials are in blue. Proof. The target of a nontrivial differential must have p > 0, and since the only multiplicative generators with p > 0 are a2 and b2, the target must be in (k[b2] ⊗ Λk[a2]){x} where x is not b2-torsion. From Proposition 3.7, we have x ∈ k[b ± 1 , s± 3 ] ⊗ Λk[c]. The Leibniz rule… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 16 canonical work pages

  1. [1]

    Total power operations in spectral sequences

    William Balderrama. Total power operations in spectral sequences. Trans. Amer. Math. Soc. , 377(7):4779--4823, 2024

    work page 2024

  2. [2]

    Localization at b_ 10 in the stable category of comodules over the Steenrod reduced powers

    Eva Belmont. Localization at b_ 10 in the stable category of comodules over the Steenrod reduced powers . 2018. Thesis (Ph.D.)--Massachusetts Institute of Technology, https://dspace.mit.edu/handle/1721.1/117884

    work page 2018

  3. [3]

    D. J. Benson. Polynomial invariants of finite groups , volume 190 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1993

    work page 1993

  4. [4]

    Hill, XiaoLin Danny Shi, and Mingcong Zeng

    Agn\`es Beaudry, Michael A. Hill, XiaoLin Danny Shi, and Mingcong Zeng. Models of L ubin- T ate spectra via real bordism theory. Adv. Math. , 392:Paper No. 108020, 58, 2021

    work page 2021

  5. [5]

    The K ervaire invariant of framed manifolds and its generalization

    William Browder. The K ervaire invariant of framed manifolds and its generalization. Ann. of Math. (2) , 90:157--186, 1969

    work page 1969

  6. [6]

    On the non-existence of elements of Kervaire invariant one

    Michael A. Hill, Michael J. Hopkins, and Douglas C. Ravenel. On the non-existence of elements of Kervaire invariant one, 2010. Version 2, available at https://arxiv.org/abs/0908.3724v2

    work page Pith review arXiv 2010

  7. [7]

    Hill, Michael J

    Michael A. Hill, Michael J. Hopkins, and Douglas C. Ravenel. On the 3-primary Arf - Kervaire invariant problem, 2011. https://people.math.rochester.edu/faculty/doug/mypapers/odd.pdf

    work page 2011

  8. [8]

    M. A. Hill, M. J. Hopkins, and D. C. Ravenel. On the nonexistence of elements of K ervaire invariant one. Ann. of Math. (2) , 184(1):1--262, 2016

    2016

Show all 19 references
  1. [9]

    Recent computational work on EO_n

    M Hill. Recent computational work on EO_n . Oberwolfach reports , 4(45):2698--2701, 2007

    2007

  2. [10]

    Cohomology of completions

    Saul Lubkin. Cohomology of completions . Notas de Matem\' a tica. [Mathematical Notes]. North-Holland Publishing Co., Amsterdam-New York, 1980. North-Holland Mathematics Studies, 42

    1980

  3. [11]

    On the last Kervaire invariant problem, 2025

    Weinan Lin, Guozhen Wang, and Zhouli Xu. On the last Kervaire invariant problem, 2025. https://arxiv.org/abs/2412.10879

    2025 arXiv

  4. [12]

    Miller, Douglas C

    Haynes R. Miller, Douglas C. Ravenel, and W. Stephen Wilson. Periodic phenomena in the A dams- N ovikov spectral sequence. Ann. of Math. (2) , 106(3):469--516, 1977

    1977

  5. [13]

    Lee S. Nave. The S mith- T oda complex V((p+1)/2) does not exist. Ann. of Math. (2) , 171(1):491--509, 2010

    2010

  6. [14]

    Douglas C. Ravenel. The non-existence of odd primary A rf invariant elements in stable homotopy. Math. Proc. Cambridge Philos. Soc. , 83(3):429--443, 1978

    1978

  7. [15]

    Douglas C. Ravenel. Complex cobordism and stable homotopy groups of spheres , volume 121 of Pure and Applied Mathematics . Academic Press, Inc., Orlando, FL, 1986

    1986

  8. [16]

    Integral representations of cyclic groups of prime order

    Irving Reiner. Integral representations of cyclic groups of prime order. Proc. Amer. Math. Soc. , 8:142--146, 1957

    1957

  9. [17]

    Notes on the H opkins- M iller theorem

    Charles Rezk. Notes on the H opkins- M iller theorem. In Homotopy theory via algebraic geometry and group representations ( E vanston, IL , 1997) , volume 220 of Contemp. Math. , pages 313--366. Amer. Math. Soc., Providence, RI, 1998

    1997

  10. [18]

    W. A. Stein et al. S age M athematics S oftware ( V ersion 10.6 . The Sage Development Team, 2025. http://www.sagemath.org

    2025

  11. [19]

    Duality for topological modular forms

    Vesna Stojanoska. Duality for topological modular forms. Doc. Math. , 17:271--311, 2012

    2012

Pith tools

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