Hahn–Wilson conjecture

For each height nn, the category of spectra of fp-type nn is the thick subcategory generated by the truncated Brown–Peterson spectrum BP⟨n⟩\mathrm{BP}\langle n\rangle; equivalently, FPn=Thick⁡(BP⟨n⟩)\mathrm{FP}_n=\operatorname{Thick}(\mathrm{BP}\langle n\rangle), where FPn\mathrm{FP}_n denotes the category of spectra of fp-type nn.

References

Additional references

Progress summary

Refreshed
Claimed progress

A 2024 paper proves a localized version and the first nontrivial height, but the conjecture at higher heights remains open.

The Hahn–Wilson conjecture asserts that spectra of fp-type nn are exactly the thick subcategory generated by BP⟨n⟩\mathrm{BP}\langle n\rangle. The authors learned it from Dylan Wilson in 2021 and give its first written formulation.

October 2024 advance

Burklund, Hahn, Levy, and Schlank prove the K(n)K(n)-local analogue: locally fp spectra are generated by LK(n)BP⟨n⟩L_{K(n)}\mathrm{BP}\langle n\rangle. Using the height-11 telescope conjecture, they deduce FP1=Thick⁡(BP⟨1⟩)\mathrm{FP}_1=\operatorname{Thick}(\mathrm{BP}\langle 1\rangle). The paper does not claim the original conjecture for all heights; the result is therefore reported here as unverified progress.

Current status (as of September 2026): The K(n)K(n)-local analogue and the original height-11 case are claimed proved; the original conjecture for heights n>1n>1 remains open.

Sources

Solutions 0

No solutions have been posted yet.