{"id":"2abc34b2-9368-4133-86cb-0a8cedb9f442","arxiv_id":"2507.10157","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Under an unproved conjectural model for the C9-action on the Lubin-Tate spectrum E6, the authors compute the E2 page of the homotopy fixed points spectral sequence and prove an E6 detection theorem for the p=3 Kervaire invariant problem.","lead":"This paper computes the starting page of a spectral sequence that Hill, Hopkins, and Ravenel proposed as a route to the last open case of the Kervaire invariant problem at the prime 3, and proves one of the three needed conjectures. The calculation is conditional on a conjectural description of how the group C9 acts on the coefficient ring of the Lubin-Tate spectrum E6.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Detection theorem's annihilation of B_j summands is asserted via a terse unpublished HHR11 valuation argument; Proposition 6.2 is not independently checkable as written.","rationale":"The reader's CONDITIONAL verdict is appropriate. The strongest unconditional claim is Proposition 6.2, and its proof is incomplete at the valuation step. Conjecture 0.3 is honestly flagged as conjectural, so it is not a hidden flaw in Theorem 0.6; the paper states it as an explicit assumption. Thus the central risk is not the E2 page but the detection theorem. The apparent degree inconsistency flagged by the reader appears to be a plain-text parsing artifact: 4·3^{j+1}, not 4·3^j+1; with that reading the H^1 vanishing and δ-injectivity are consistent. The remaining gap is the unproved annihilation of B_j. If HHR11's computations are supplied or made available in a verifiable appendix, the detection theorem would be substantially supported; until then, conditional acceptance is right. The paper's Sage-assisted algebra in Sections 3–5 is a genuine positive, and the degree typo in Corollary 3.6 (|F3| appearing twice) is minor and easily fixed.","tokens_in":29836,"tokens_out":13649,"duration_ms":143060,"concrete_test":"Perform an explicit computation for the first nontrivial case, j=4, in Proposition 6.2: write down the cobar representatives of β_{c(4,1)/3^2} and β_{c(4,2)/3^0}, apply the classifying map λ of Eq. (6.1) to R_*/3, and compute their images in H^2(C9; R_{4·3^5}). If either image is nonzero, the claimed vanishing of B_j is false; if both are zero and the computation can be repeated symbolically for general j, the detection theorem is supported. A supplementary check is to prove ∥λ(z)∥≥∥z∥ directly for the generators v_n and t_1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 6.2 is the paper's unconditional contribution, but the proof does not supply the key vanishing λ(β)=0 for β∈B_j. In the second half of §6, the authors define a valuation on A[w^±] by ∥π∥=1/6 and ∥w∥=0, cite [HHR11] for ∥β∥>2, and assert that 'analogous arguments as the p=2 case show that λ non-strictly increases valuation.' This is load-bearing: without it, the classes β_{c(j,k)/3^{j−2k}} could contribute to the image of x, and the detection conclusion would not follow. The paper gives no cobar-level computation of λ on these classes and no proof of valuation monotonicity for the map BP_*BP→R_*. Since [HHR11] is an unpublished preprint whose p=3 analogues the introduction describes as 'sketched,' this is not a settled external result. The related assertion λ(v_1^6)=0 in R_*/3, used to replace ẽβ by t_1^{3^{j+1}}, is also stated without proof; if λ(v_1) is divisible only by π rather than by 3, that reduction step fails. Note that the apparent degree mismatch in the δ-injection step disappears when '4·3j+1' is read as 4·3^{j+1}; the real issue is the unverified annihilation of B_j.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":30078,"tokens_out":17611,"duration_ms":174442,"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":[{"comment":"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.","section":"Section 6, Proposition 6.2"},{"comment":"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.","section":"Section 6, Proposition 6.2"},{"comment":"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.","section":"Sections 4–5, Proposition 4.10 and Lemma 4.9"}],"minor_comments":[{"comment":"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.","section":"Throughout"},{"comment":"In the degree table, the last generator in the F-family is printed as F3 but should be F5.","section":"Corollary 3.6"},{"comment":"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.","section":"Lemma 2.5"},{"comment":"The sentence 'The Leibniz rule prevents nontrivial differentials with b2-torsion source form having b2-periodic target' is difficult to parse; please reformulate.","section":"Section 5, Lemma 5.1"},{"comment":"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.","section":"Before Proposition 0.5"}],"recommendation":"major_revision","confidential_remarks":"The detection theorem's proof leans heavily on the unpublished preprint [HHR11]; if the authors cannot supply the missing valuation monotonicity argument, the unconditional claim should be downgraded to a conditional statement or the gap clearly flagged. The editors may also wish to consider whether the paper's contribution is sufficiently distinguished from [HHR11] given that §6 is presented as an adaptation of that preprint's arguments."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe paper to know about: Belmont and Ray compute the E2 page of the homotopy fixed points spectral sequence for E6^{hC9} under an explicit model for the C9-action (Conjecture 0.3), and they prove a detection theorem intended to verify the first of Hill-Hopkins-Ravenel's three p=3 Kervaire conjectures.\n\nThe algebraic core is solid. Sections 2-5 carry out the localized Serre spectral sequence for the C3 -> C9 extension, with careful handling of the I-completion and Tate cohomology, and the Appendix includes Sage-checked module relations. The main E2 formula (Theorem 0.6) is clean, and the degrees match once you read the exponent as 4·3^{j+1}, not 4·3^j+1; the apparent degree mismatch is a typo, not a mathematical error. The paper is also honest: it states up front that the E2 result depends on Conjecture 0.3, which is work in progress by the second author, and does not pretend otherwise.\n\nThe real soft spot is the detection theorem, Proposition 6.2. The proof of the key step that λ(β)=0 for β in B_j is a reference to 'analogous arguments as the p=2 case' plus an unpublished HHR11 valuation computation. That is load-bearing: without it, the B_j summands could contribute and detection fails. The paper also asserts λ(v_1^6)=0 in R_*/3 without showing the computation. Both are likely fixable, but as written the unconditional theorem is not independently checkable.\n\nThe E2 computation is conditional, so the paper does not resolve any of the three conjectures; it supplies the algebraic foundation. Its value is real: it is the first explicit E2 page for this case, and it will be the reference point for the differential computations that follow. The expectation that H^0 information is not needed for the Kervaire problem is stated rather than proved, but it is not load-bearing for the E2 computation itself.\n\nI would send this to peer review. With the detection step either proved in detail or explicitly separated and flagged as relying on HHR11, it deserves publication.","headline":"A serious step on the p=3 Kervaire program: solid conditional E2 computation, and a detection theorem with a real but fixable gap.","tokens_in":30686,"tokens_out":6688,"would_cite":true,"duration_ms":65543,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55T15","55P91","55N22"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["Kervaire invariant","homotopy fixed points spectral sequence","Lubin-Tate spectrum E_6","C_9 action","Adams-Novikov spectral sequence","detection theorem","Tate cohomology"],"falsifier":"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.","tokens_in":29570,"feed_emoji":"🌀","tokens_out":14791,"duration_ms":143094,"temperature":0.7,"pith_summary":"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$.","feed_headline":"p=3 Kervaire detection theorem proved","feed_subtitle":"E_2 page for the C_9 homotopy fixed point spectral sequence is computed, conditional on one action conjecture.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the p=3 Kervaire program, the conjectures, and the detection argument adapted to E_6.","marker":"[HHR11]"},{"why":"Supplies the p=2 solution and the overall strategy of using homotopy fixed points to disprove survival.","marker":"[HHR16]"},{"why":"Supplies the additive generators of the Adams–Novikov 2-line and the pairing Φ(β_{3^j}/3^j) = −b_j.","marker":"[MR W77]"},{"why":"Supplies the Hazewinkel relation used to compute the height of the formal group F.","marker":"[Rav86]"},{"why":"Supplies the convergence criterion for localized spectral sequences used in Proposition 1.4.","marker":"[Bel18]"},{"why":"Supplies the lim^1 exact sequence used to justify passing to the I-completion.","marker":"[Lub80]"},{"why":"Supplies the classification of integral representations of cyclic groups of prime order used in Lemma 2.3.","marker":"[Rei57]"},{"why":"Supplies the ring of polynomial invariants for the symmetric and alternating groups used in Section 3.","marker":"[Ben93]"}],"fun_headline_variants":["Detection theorem for p=3 Kervaire proved","C_9 homotopy fixed points E_2 page computed","p=3 Kervaire detection established","E_2 page for E_6^{hC_9} computed","Kervaire p=3 detection: proof given"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Detection theorem for p=3 Kervaire proved","C_9 homotopy fixed points E_2 page computed","p=3 Kervaire detection established","E_2 page for E_6^{hC_9} computed","Kervaire p=3 detection: proof given"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000753,"raw_usage":{"total_tokens":3421,"prompt_tokens":1090,"completion_tokens":2331,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":706,"completion_tokens_details":{"reasoning_tokens":2249}},"tokens_in":706,"tokens_out":2331,"duration_ms":19451,"temperature":1.0,"reasoning_tokens":2249,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:40:04.310991+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}