Source authenticated

The Hovey-Strickland conjecture: the thick tensor ideals of dualizable K(n)-local spectra

Theorem 1.2: for every prime pp and n≥1n\ge1 the thick tensor ideals of the dualizable K(n)K(n)-local category are exactly D0⊋⋯⊋Dn⊋Dn+1=0\mathcal D_0\supsetneq\cdots\supsetneq\mathcal D_n\supsetneq\mathcal D_{n+1}=0, so there are n+2n+2 of them and each Dk\mathcal D_k does not depend on the chosen type-kk spectrum; a corollary identifies the Balmer spectrum with the n+1n+1 proper members of the chain, with its specialization order. It is deduced from Theorem 1.1 (Chai's conjecture, a separate entry) by the known Barthel-Heard-Naumann implication. It concerns dualizable objects only and does not classify localizing or other subcategories of the whole K(n)K(n)-local category. Height two was already known.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The Hovey-Strickland conjecture: the thick tensor ideals of dualizable K(n)-local spectra · Hovey-Strickland conjecture

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Barthel-Heard-Naumann, On conjectures of Hovey-Strickland and Chai (Selecta Math. 2022) evidence for this event

This event attributed to Unreleased internal OpenAI model

Chai's conjecture on stabilizer-invariant ideals of the Lubin-Tate deformation ring evidence for this event

VibeMathed record: The Hovey-Strickland conjecture: the thick tensor ideals of dualizable K(n)-local spectra evidence for this event

Hovey-Strickland, Morava K-theories and localisation (Mem. AMS 1999) evidence for this event

Theorem 1.2: for every prime pp and n≥1n\ge1 the thick tensor ideals of the dualizable K(n)K(n)-local category are exactly D0⊋⋯⊋Dn⊋Dn+1=0\mathcal D_0\supsetneq\cdots\supsetneq\mathcal D_n\supsetneq\mathcal D_{n+1}=0, so there are n+2n+2 of them and each Dk\mathcal D_k does not depend on the chosen type-kk spectrum; a corollary identifies the Balmer spectrum with the n+1n+1 proper members of the chain, with its specialization order. It is deduced from Theorem 1.1 (Chai's conjecture, a separate entry) by the known Barthel-Heard-Naumann implication. It concerns dualizable objects only and does not classify localizing or other subcategories of the whole K(n)K(n)-local category. Height two was already known. parent of this event

The Hovey-Strickland conjecture: the thick tensor ideals of dualizable K(n)-local spectra parent of this event

Act on this frontier

Verify, challenge, or extend the result.