geometry-topology / Equivariant stable homotopy theory, chromatic homotopy

The Kuhn-Lloyd question: does the chromatic fixed-point loss of a p-group equal the shortest cyclic subnormal chain length?

Theorem 1.1: for every prime pp, finite pp-group GG, subgroup HH and n≥0n\ge0, rn(G,H)=ℓ(G,H)r_n(G,H)=\ell(G,H), the shortest cyclic subnormal chain length; sharpness is witnessed by finite spectra, and the case n=0n=0 includes rational detection. Combined with Balmer-Sanders reductions, a corollary determines the finite-height prime inclusions in the Balmer spectrum of finite genuine GG-spectra for every finite group GG. Not shown: anything about infinite height beyond what Balmer-Sanders already give, or non-finite spectra.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

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

The Kuhn-Lloyd question: does the chromatic fixed-point loss of a p-group equal the shortest cyclic subnormal chain length?

Prior state unknown→proved

Theorem 1.1: for every prime pp, finite pp-group GG, subgroup HH and n≥0n\ge0, rn(G,H)=ℓ(G,H)r_n(G,H)=\ell(G,H), the shortest cyclic subnormal chain length; sharpness is witnessed by finite spectra, and the case n=0n=0 includes rational detection. Combined with Balmer-Sanders reductions, a corollary determines the finite-height prime inclusions in the Balmer spectrum of finite genuine GG-spectra for every finite group GG. N…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every prime pp, finite pp-group GG, subgroup HH and n≥0n\ge0, rn(G,H)=ℓ(G,H)r_n(G,H)=\ell(G,H), the shortest cyclic subnormal chain length; sharpness is witnessed by finite spectra, and the case n=0n=0 includes rational detection. Combined with Balmer-Sanders reductions, a corollary determines the finite-height prime inclusions in the Balmer spectrum of finite genuine GG-spectra for every finite group GG. Not shown: anything about infinite height beyond what Balmer-Sanders already give, or non-finite spectra.

Theorem 1.1: for every prime pp, finite pp-group GG, subgroup HH and n≥0n\ge0, rn(G,H)=ℓ(G,H)r_n(G,H)=\ell(G,H), the shortest cyclic subnormal chain length; sharpness is witnessed by finite spectra, and the case n=0n=0 includes rational detection. Combined with Balmer-Sanders reductions, a corollary determines the finite-height prime inclusions in the Balmer spectrum of finite genuine GG-spectra for every finite group GG. Not shown: anything about infinite height beyond what Balmer-Sanders already give, or non-finite spectra.

Recorded attempts

Evidence graph

Connected research record

The Kuhn-Lloyd question: does the chromatic fixed-point loss of a p-group equal the shortest cyclic subnormal chain length? — Mathematical Frontier Network