Telescope Conjecture in Triangulated Categories

Updated 12 July 2026

The Telescope Conjecture is a collection of assertions that question if smashing localizations in triangulated categories are controlled by small, compact or dualisable objects.
It bridges multiple formulations in classical, chromatic, and tensor-triangular settings, applying to derived categories, homotopy theory, and algebraic geometry.
Recent results reveal counterexamples in chromatic homotopy at higher heights while confirming positive cases in algebraic and geometric contexts using compact generation and dualisability.

The telescope conjecture is a family of assertions about whether “large” localization phenomena in triangulated and tensor-triangulated categories are controlled by “small” objects. In a compactly generated triangulated category, the classical form asks whether every smashing localizing subcategory is compactly generated; for a derived category $D(R)$ , this asks whether every smashing subcategory is generated by perfect complexes. In chromatic stable homotopy theory, Ravenel’s form asks whether $L_n^f \simeq L_n$ for every height $n$ . In tensor-triangular settings, the conjecture is often expressed as the statement that smashing tensor ideals are determined by thick tensor ideals of compact or dualisable objects (Hrbek et al., 17 Sep 2025, Barthel, 2019, Hall et al., 2016).

1. Core formulations

Let $\mathcal T$ be a compactly generated triangulated category. A localizing subcategory is a triangulated subcategory closed under arbitrary coproducts and direct summands. A smashing subcategory is a localizing subcategory $\mathcal L\subseteq \mathcal T$ whose inclusion admits a coproduct-preserving right adjoint; equivalently, the corresponding Bousfield localization commutes with coproducts. The classical telescope conjecture asserts that every smashing localizing subcategory of $\mathcal T$ is compactly generated (Hrbek et al., 17 Sep 2025).

A generalized formulation replaces stable localizations by arbitrary t-structures. A t-structure $(\mathcal U,\mathcal V)$ is homotopically smashing when the coaisle $\mathcal V$ is closed under directed homotopy colimits. The telescope conjecture for t-structures asks whether every homotopically smashing t-structure is compactly generated. In compactly generated algebraic triangulated categories, homotopically smashing t-structures are exactly those whose coaisles are definable and cosuspended (Hrbek et al., 17 Sep 2025).

These formulations interact but are not identical. Stable t-structures recover the classical smashing-localization problem, while non-stable t-structures introduce closure conditions coming from homotopy colimits, definability, and cosilting theory. In tensor-triangular contexts, one further asks whether smashing tensor ideals, or homotopically smashing tensor-t-structures, are generated by compact or dualisable tensor-compatible data (Hrbek et al., 2019).

2. Chromatic origin and the stable homotopy form

In chromatic homotopy theory, for a finite type $n$ spectrum $F$ with $L_n^f \simeq L_n$ 0-self-map, the telescope is $L_n^f \simeq L_n$ 1. The associated localization functors are

$L_n^f \simeq L_n$ 2

Ravenel’s telescope conjecture asserts that $L_n^f \simeq L_n$ 3 for all $L_n^f \simeq L_n$ 4. A 2019 overview records that this is known for $L_n^f \simeq L_n$ 5, and also proves the folklore equivalence between the all-height telescope conjecture and the generalized telescope conjecture asserting that every smashing localization of the stable homotopy category is finite (Barthel, 2019).

Before definitive counterexamples were known, the height $L_n^f \simeq L_n$ 6 case at the prime $L_n^f \simeq L_n$ 7 was studied through tmf-resolutions. For a specific type $L_n^f \simeq L_n$ 8 complex $L_n^f \simeq L_n$ 9, the $n$ 0-page splits into a $n$ 1-periodic summand and an Eilenberg–MacLane summand consisting of bounded $n$ 2-torsion, but the $n$ 3-page exhibits unbounded $n$ 4-torsion. That work identifies the fate of this unbounded torsion as the obstruction governing the conjecture at height $n$ 5: if it dies, the conjecture holds; if it survives to form $n$ 6-parabolas, the conjecture fails (Beaudry et al., 2019).

A 2023 paper provides the higher-height disproof. For every prime $n$ 7 and every height $n$ 8, the telescopic and chromatic localizations differ; specifically, $n$ 9. The proof uses $\mathcal T$ 0-localized algebraic $\mathcal T$ 1-theory of homotopy fixed points $\mathcal T$ 2, and also shows failures of Galois hyperdescent, $\mathcal T$ 3-invariance, and nil-invariance for $\mathcal T$ 4-localized algebraic $\mathcal T$ 5-theory of $\mathcal T$ 6-local $\mathcal T$ 7-rings (Burklund et al., 2023).

Localized spectral categories reveal further variants. The generalized smashing conjecture (GSC) asks whether every smashing localization is generated by compact objects, while the strongly dualizable version (SDGSC) replaces compactness by strong dualizability. In a well-generated tensor triangulated category with $\mathcal T$ 8, localization away from any set of strongly dualizable objects is smashing. In the harmonic, $\mathcal T$ 9-local, and $\mathcal L\subseteq \mathcal T$ 0-local categories there are no nonzero compact objects, so GSC fails, but SDGSC holds (Wolcott, 2013).

3. Derived categories of rings, quivers, and path algebras

Over commutative noetherian rings, the t-structure form is positive. Every homotopically smashing t-structure in the unbounded derived category $\mathcal L\subseteq \mathcal T$ 1 is compactly generated. Moreover, compactly generated t-structures are classified by sp-filtrations $\mathcal L\subseteq \mathcal T$ 2 such that each $\mathcal L\subseteq \mathcal T$ 3 is specialization closed and $\mathcal L\subseteq \mathcal T$ 4, with aisle

$\mathcal L\subseteq \mathcal T$ 5

This extends Neeman’s classical theorem from stable localizations to all homotopically smashing t-structures (Hrbek et al., 2019).

For von Neumann regular rings, the classical triangulated telescope conjecture also holds. The key structural statement is that every epimorphism originating at a von Neumann regular ring is a universal localization; together with the correspondence between homological epimorphisms and smashing localizations, this implies that every smashing localization of $\mathcal L\subseteq \mathcal T$ 6 is compactly generated, for commutative and noncommutative $\mathcal L\subseteq \mathcal T$ 7 alike (Zhang, 2021).

A withdrawn preprint on semihereditary commutative rings states that its result on the telescope conjecture for semihereditary rings is correct, but that its characterization of the smashing subcategories of the derived category of commutative rings is not complete because of a mistake in Proposition 5.2 (Bazzoni, 2013).

Recent work extends the positive algebraic range to representation-theoretic settings. For a commutative artinian ring $\mathcal L\subseteq \mathcal T$ 8 and a finite quiver $\mathcal L\subseteq \mathcal T$ 9, every homotopically smashing t-structure in $\mathcal T$ 0 is compactly generated; the same conclusion holds for finite quivers over commutative perfect rings. The method uses a local-global analysis over $\mathcal T$ 1, definable coaisles, and stalk categories $\mathcal T$ 2 (Hrbek et al., 17 Sep 2025).

For Dynkin quivers over commutative noetherian rings, the classification becomes explicit: $\mathcal T$ 3 Here $\mathcal T$ 4 is the poset of noncrossing partitions of the quiver, and $\mathcal T$ 5 is the poset of filtrations of noncrossing partitions. The same paper proves that every homotopically smashing t-structure in $\mathcal T$ 6 is compactly generated, and when $\mathcal T$ 7 is regular it classifies wide subcategories of $\mathcal T$ 8 by $\mathcal T$ 9 (Sabatini, 27 May 2025).

4. Schemes, stacks, and local-global principles

In algebraic geometry, the telescope conjecture acquires descent-theoretic and support-theoretic forms. Antieau proved an étale local-global principle for stacks of linear categories on a quasi-compact quasi-separated scheme $(\mathcal U,\mathcal V)$ 0: if there exists an étale cover $(\mathcal U,\mathcal V)$ 1 such that the pullback stack satisfies the linear telescope hypothesis, then the original stack does as well. This yields the telescope hypothesis for derived categories of Azumaya algebras on noetherian schemes, classifying stacks of finite étale group schemes of order prime to the residue characteristics, finite abelian gerbes, and in particular another proof for noetherian schemes (Antieau, 2013).

A tensor-triangular version for algebraic stacks uses Balmer–Favi generalized idempotents. For a quasi-compact quasi-separated algebraic stack $(\mathcal U,\mathcal V)$ 2 satisfying the Thomason condition, thick tensor ideals of $(\mathcal U,\mathcal V)$ 3 correspond to Thomason subsets of $(\mathcal U,\mathcal V)$ 4. When $(\mathcal U,\mathcal V)$ 5 is noetherian, the map from thick tensor ideals of compact objects to smashing tensor ideals of $(\mathcal U,\mathcal V)$ 6 is bijective, so the tensor triangulated telescope conjecture holds. The classification is encoded by order-preserving correspondences

$(\mathcal U,\mathcal V)$ 7

This also yields Balmer-spectrum consequences for concentrated stacks satisfying the Thomason condition (Hall et al., 2016).

A 2023 reformulation makes the scheme case stalk-local. For a quasi-compact quasi-separated scheme $(\mathcal U,\mathcal V)$ 8, the telescope conjecture for $(\mathcal U,\mathcal V)$ 9 is equivalent to the condition that for every point $\mathcal V$ 0, the residue field $\mathcal V$ 1 generates $\mathcal V$ 2 as a definable $\mathcal V$ 3-ideal. The same work strengthens earlier locality results by proving that compact generation of any definable $\mathcal V$ 4-ideal is stalk-local in $\mathcal V$ 5, and it relates the conjecture to separation properties of the adic topology on local rings, including transfinite separation and pure transfinite separation (Hrbek, 2023).

In big tt-categories, the conjecture can be reformulated in model-theoretic terms. A definable $\mathcal V$ 6-ideal is a subcategory of the form

$\mathcal V$ 7

for some set $\mathcal V$ 8 of morphisms between compact objects. One characterization states that the telescope conjecture is controlled by homological residue fields: in suitable local settings, the definable $\mathcal V$ 9-ideal generated by the residue field object at each point must exhaust the corresponding stalk category. In the scheme case, this specializes to the residue-field criterion above (Hrbek, 2023).

Tensor-telescope phenomena persist even when rigidity fails. For a commutative noetherian ring $n$ 0 and a finite acyclic quiver $n$ 1, the tensor triangulated category $n$ 2 with vertexwise tensor product is not rigid, but its Balmer spectrum is computed as

$n$ 3

The same work classifies thick tensor-ideals and compactly generated tensor-t-structures, and proves the tensor telescope conjecture for tensor-t-structures with respect to the standard aisle $n$ 4. It also extends the result to tensor-t-structures generated by filtration systems with Dynkin support (Sabatini, 25 Nov 2025).

Stable module categories for infinite groups furnish a further tensor-triangular analogue in which dualisable objects replace compact ones. For $n$ 5 groups of type $n$ 6, the Balmer spectrum of dualisable objects is

$n$ 7

and the natural map

$n$ 8

is bijective, so every smashing tensor ideal is generated by dualisable objects. For certain infinite free products of finite groups, however, the spectrum can be $n$ 9, the stable category is not stratified by the spectrum of dualisable objects, and the telescope conjecture fails (Kendall, 23 Apr 2025).

The modern landscape is sharply divided. The cited results give positive answers in many algebraic and geometric settings: commutative noetherian rings, von Neumann regular rings, many schemes and stacks, derived categories of quiver representations over artinian and perfect rings, and noetherian Dynkin path algebras (Hrbek et al., 2019, Zhang, 2021, Hall et al., 2016, Hrbek et al., 17 Sep 2025, Sabatini, 27 May 2025). They also give negative answers in some central topological and tensor-triangular settings: Ravenel’s chromatic conjecture fails for all primes at every height $F$ 0, and certain stable module categories of infinite free products violate the tensor version (Burklund et al., 2023, Kendall, 23 Apr 2025).

Some boundary phenomena concern the meaning of “small generation” itself. In localized categories of spectra with no nonzero compact objects, the classical compact-generation form cannot hold, but smashing localizations may still be generated by strongly dualizable objects; this is the role of SDGSC in the harmonic, $F$ 1-local, and $F$ 2-local categories (Wolcott, 2013).

A module-theoretic analogue survives in weaker form. The countable telescope conjecture for module categories states that if a cotorsion pair $F$ 3 has $F$ 4 closed under direct limits, then the pair is of countable type and $F$ 5 is definable. The proof uses dense systems of modules, stationarity, and a Shelah-style compactness argument, and it feeds into applications to Enochs’ conjecture (Pacchiarotti, 2021).

This suggests that the telescope conjecture is best regarded not as a single invariant statement, but as a hierarchy of generation problems whose answer depends on the ambient category, on whether one works triangulated or tensor-triangulatedly, and on whether the relevant small objects are compact, perfect, strongly dualizable, or merely dualisable.