geometry-topology / Stable homotopy theory; odd-primary Kervaire invariant

The Kervaire invariant problem at the prime three: which standard classes bjb_j survive the mod-3 Adams spectral sequence

Theorem 1.1: at p=3p=3, K=K3={0,2,3}K=K_3=\{0,2,3\}, i.e. bjb_j survives to E∞E_\infty exactly for j=0,2,3j=0,2,3 (stems 10, 106 and 322), and each surviving class is detected by an element of additive order three; b1b_1 and all bjb_j with j≥4j\ge4 die. The new content is the order-three element in stem 322 and the exclusion of every j≥4j\ge4. Corollaries via Amelotte and Selick: ΩS2n+1{3}\Omega S^{2n+1}\{3\} splits nontrivially exactly for n∈{3,27,81}n\in\{3,27,81\}, and the Anick space T2n+1(3)T^{2n+1}(3) is homotopy associative exactly for those nn. Side result: an infinite-order class in π2n(E6hC9)\pi_{2n}(E_6^{hC_9}) for every nn, refuting the full-gap clause of Belmont-Ray's Conjecture 0.1. Not covered: other odd primes (already settled for p≥5p\ge5) or the prime-two problem.

32Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 32/100Registry: unreviewed

The Kervaire invariant problem at the prime three: which standard classes bjb_j survive the mod-3 Adams spectral sequence

Prior state unknown→proved

Theorem 1.1: at p=3p=3, K=K3={0,2,3}K=K_3=\{0,2,3\}, i.e. bjb_j survives to E∞E_\infty exactly for j=0,2,3j=0,2,3 (stems 10, 106 and 322), and each surviving class is detected by an element of additive order three; b1b_1 and all bjb_j with j≥4j\ge4 die. The new content is the order-three element in stem 322 and the exclusion of every j≥4j\ge4. Corollaries via Amelotte and Selick: ΩS2n+1{3}\Omega S^{2n+1}\{3\} splits nontrivially exactly for…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: at p=3p=3, K=K3={0,2,3}K=K_3=\{0,2,3\}, i.e. bjb_j survives to E∞E_\infty exactly for j=0,2,3j=0,2,3 (stems 10, 106 and 322), and each surviving class is detected by an element of additive order three; b1b_1 and all bjb_j with j≥4j\ge4 die. The new content is the order-three element in stem 322 and the exclusion of every j≥4j\ge4. Corollaries via Amelotte and Selick: ΩS2n+1{3}\Omega S^{2n+1}\{3\} splits nontrivially exactly for n∈{3,27,81}n\in\{3,27,81\}, and the Anick space T2n+1(3)T^{2n+1}(3) is homotopy associative exactly for those nn. Side result: an infinite-order class in π2n(E6hC9)\pi_{2n}(E_6^{hC_9}) for every nn, refuting the full-gap clause of Belmont-Ray's Conjecture 0.1. Not covered: other odd primes (already settled for p≥5p\ge5) or the prime-two problem.

Theorem 1.1: at p=3p=3, K=K3={0,2,3}K=K_3=\{0,2,3\}, i.e. bjb_j survives to E∞E_\infty exactly for j=0,2,3j=0,2,3 (stems 10, 106 and 322), and each surviving class is detected by an element of additive order three; b1b_1 and all bjb_j with j≥4j\ge4 die. The new content is the order-three element in stem 322 and the exclusion of every j≥4j\ge4. Corollaries via Amelotte and Selick: ΩS2n+1{3}\Omega S^{2n+1}\{3\} splits nontrivially exactly for n∈{3,27,81}n\in\{3,27,81\}, and the Anick space T2n+1(3)T^{2n+1}(3) is homotopy associative exactly for those nn. Side result: an infinite-order class in π2n(E6hC9)\pi_{2n}(E_6^{hC_9}) for every nn, refuting the full-gap clause of Belmont-Ray's Conjecture 0.1. Not covered: other odd primes (already settled for p≥5p\ge5) or the prime-two problem.

Recorded attempts

Evidence graph

Connected research record

The Kervaire invariant problem at the prime three: which standard classes $b_j$ survive the mod-3 Adams spectral sequence — Mathematical Frontier Network