geometry-topology / Stable homotopy theory; chromatic homotopy

Smith-Toda complexes V(n) at every height when the prime may vary

Theorem 1.1: for every n≥0n\ge0 there are a prime pp and a finite pp-local spectrum XX with BP∗X≅BP∗/(p,v1,…,vn)BP_*X\cong BP_*/(p,v_1,\ldots,v_n) as comodules with the canonical coaction and generator in degree zero. The companion constructs V(4)V(4) at p=1009p=1009, answering the existence question Culver-Zhang recorded as open at every prime. Partial for the realization problem: no explicit or effective prime for n≥5n\ge5, no statement that V(n)V(n) exists for all large pp, no multiplicative structure, and nothing on the gap between Nave's nonexistence range and the constructed cases.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 23, 2026Significance 30/100Registry: unreviewed

Smith-Toda complexes V(n) at every height when the prime may vary

Prior state unknown→proved

Theorem 1.1: for every n≥0n\ge0 there are a prime pp and a finite pp-local spectrum XX with BP∗X≅BP∗/(p,v1,…,vn)BP_*X\cong BP_*/(p,v_1,\ldots,v_n) as comodules with the canonical coaction and generator in degree zero. The companion constructs V(4)V(4) at p=1009p=1009, answering the existence question Culver-Zhang recorded as open at every prime. Partial for the realization problem: no explicit or effective prime for n≥5n\ge5, no statement…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every n≥0n\ge0 there are a prime pp and a finite pp-local spectrum XX with BP∗X≅BP∗/(p,v1,…,vn)BP_*X\cong BP_*/(p,v_1,\ldots,v_n) as comodules with the canonical coaction and generator in degree zero. The companion constructs V(4)V(4) at p=1009p=1009, answering the existence question Culver-Zhang recorded as open at every prime. Partial for the realization problem: no explicit or effective prime for n≥5n\ge5, no statement that V(n)V(n) exists for all large pp, no multiplicative structure, and nothing on the gap between Nave's nonexistence range and the constructed cases.

Theorem 1.1: for every n≥0n\ge0 there are a prime pp and a finite pp-local spectrum XX with BP∗X≅BP∗/(p,v1,…,vn)BP_*X\cong BP_*/(p,v_1,\ldots,v_n) as comodules with the canonical coaction and generator in degree zero. The companion constructs V(4)V(4) at p=1009p=1009, answering the existence question Culver-Zhang recorded as open at every prime. Partial for the realization problem: no explicit or effective prime for n≥5n\ge5, no statement that V(n)V(n) exists for all large pp, no multiplicative structure, and nothing on the gap between Nave's nonexistence range and the constructed cases.

Recorded attempts

Evidence graph

Connected research record

Smith-Toda complexes V(n) at every height when the prime may vary — Mathematical Frontier Network