Krause's ideal-theoretic reformulation of the telescope conjecture
Let be a compactly generated triangulated category, and let be a smashing semiorthogonal decomposition of . Let denote the compact objects, and let be the ideal of consisting of morphisms such that
is zero for every .
Krause's reformulated telescope conjecture. The ideal is generated by identity morphisms of objects in .
Krause's reformulation is equivalent to the compact-generation formulation because the decomposition is compactly generated precisely when its associated ideal is generated by such identities. It is refuted in the same generality as the telescope conjecture.
References
Primary source
Lorenzo Martini, Carlos E. Parra, Manuel Saorín and Simone Virili, “Locally finitely presented Grothendieck categories with a flat generator”, arXiv:2508.00670 (2025).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.