The Hovey-Strickland conjecture: the thick tensor ideals of dualizable K(n)-local spectra
Theorem 1.2: for every prime and the thick tensor ideals of the dualizable -local category are exactly , so there are of them and each does not depend on the chosen type- spectrum; a corollary identifies the Balmer spectrum with the 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 -local category. Height two was already known.
Exact FrontierDelta
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
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 and the thick tensor ideals of the dualizable -local category are exactly , so there are of them and each does not depend on the chosen type- spectrum; a corollary identifies the Balmer spectrum with the 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 -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