---
title: Homotopically Smashing t-Structures
url: https://www.emergentmind.com/topics/homotopically-smashing-t-structures
type: topic
---

# Homotopically Smashing t-Structures

A homotopically smashing \(t\)-structure is a \(t\)-structure whose coaisle is closed under directed homotopy colimits. In the algebraic settings most studied in the literature—especially compactly generated triangulated categories underlying strong stable derivators, and derived categories \(D(R)\) of commutative rings—this condition sits between formal closure properties of triangulated subcategories and geometric classifications by supports. It is closely linked to definability, purity, Grothendieck hearts, compact generation, Thomason filtrations, the telescope conjecture, and cosilting theory [1708.07540] [1804.01326] [1806.00078] [1907.11030] [2101.09966].

## 1. Definition and categorical setting

A \(t\)-structure on a triangulated category \(T\) is a pair \((\mathcal U,\mathcal V)\) of full subcategories such that \(\operatorname{Hom}(\mathcal U,\mathcal V)=0\), \(\mathcal U[1]\subseteq \mathcal U\) equivalently \(\mathcal V[-1]\subseteq \mathcal V\), and every object \(X\in T\) fits into a truncation triangle
\[
U \longrightarrow X \longrightarrow V \longrightarrow U[1]
\]
with \(U\in \mathcal U\) and \(V\in \mathcal V\). The class \(\mathcal U\) is the aisle, \(\mathcal V\) the coaisle, and the heart is the abelian category \(\mathcal U\cap \mathcal V[1]\) [1708.07540] [1907.11030].

The term *homotopically smashing* is used for those \(t\)-structures whose coaisle is closed under directed homotopy colimits. In the derivator framework, if \(I\) is directed and a coherent diagram \(\mathscr Y\in \mathbb D(I)\) satisfies \(\mathscr Y_i\in \mathcal V\) for all \(i\), then
\[
\operatorname{hocolim}_I \mathscr Y \in \mathcal V .
\]
For \(D(R)\), directed homotopy colimits agree with direct limits computed in the Grothendieck category of complexes \(C(R)\) [1708.07540] [1907.11030] [2101.09966].

Compact generation is a pervasive sufficient condition. Compactly generated \(t\)-structures are homotopically smashing, because orthogonality against compact objects is preserved by directed homotopy colimits [1708.07540] [1806.00078]. In the stable case, homotopically smashing reduces to the usual notion of smashing for Bousfield localizations; in the non-stable case it is strictly stronger and carries genuinely additional content [2101.09966] [1708.07540].

## 2. Definability, purity, and Grothendieck hearts

In compactly generated derivator settings, homotopically smashing \(t\)-structures are tied to purity. A morphism is pure if it is tested as such by all compact objects, pure-injective objects are those splitting pure monomorphisms starting from them, and definable subcategories are those characterized by closure under products, pure subobjects or monomorphisms, and directed homotopy colimits. In this framework, a full subcategory is definable if and only if it is closed under products, pure subobjects, and directed homotopy colimits [1804.01326].

For \(D(R)\), the coaisle side admits a particularly sharp formulation: a full subcategory \(\mathcal V\subseteq D(R)\) is the coaisle of a homotopically smashing \(t\)-structure if and only if \(\mathcal V\) is definable and cosuspended, meaning closed under extensions and under \([-1]\) [2101.09966]. In the more general setting of a compactly generated triangulated category underlying a strong stable derivator, a left nondegenerate \(t\)-structure \((\mathcal U,\mathcal V)\) is homotopically smashing if and only if \(\mathcal V\) is definable; this is also equivalent to \((\mathcal U,\mathcal V)\) being smashing with Grothendieck heart, and to being cogenerated by a pure-injective partial cosilting object [1804.01326].

These equivalences explain why homotopically smashing \(t\)-structures frequently have robust hearts. Compactly generated \(t\)-structures are homotopically smashing, and homotopically smashing \(t\)-structures have hearts with exact filtered colimits, hence Ab.5 hearts. When the ambient category is well generated and algebraic or topological, accessibly embedded \(t\)-structures have hearts with generators; in particular, the heart of any compactly generated \(t\)-structure in a well generated algebraic or topological triangulated category is Grothendieck [1708.07540].

A common source of such structures is cosilting theory. If \(C\) is a pure-injective cosilting object, then the associated coaisle is definable and cosuspended, so the induced \(t\)-structure is homotopically smashing [2101.09966] [1804.01326].

## 3. Compact generation and classification over commutative rings

For a commutative ring \(R\), compactly generated \(t\)-structures in \(D(R)\) are classified by Thomason filtrations of \(\operatorname{Spec}(R)\). A Thomason subset is a union of closed subsets \(V(I)\) with \(I\) ranging over finitely generated ideals, and a Thomason filtration is a decreasing sequence \(\Phi=(\Phi(n))_{n\in \mathbb Z}\) of Thomason subsets. There is a bijection between Thomason filtrations and compactly generated \(t\)-structures, with compact generators given by shifts of Koszul complexes \(K(I)\) attached to finitely generated ideals [1806.00078] [2101.09966].

The classification can be written explicitly. For a filtration \(\Phi\), the aisle is
\[
\mathcal U_\Phi=\operatorname{aisle}\bigl(K(I)[-n]\mid V(I)\subseteq \Phi(n)\text{ for all }n\in\mathbb Z\bigr),
\]
and in the bounded-below case one has the support-theoretic formula
\[
\mathcal U_\Phi=\{\,X\in D(R)\mid \operatorname{Supp} H^n(X)\subseteq \Phi(n)\text{ for all }n\in\mathbb Z\,\}.
\]
For noetherian \(R\), Thomason subsets are exactly specialization-closed subsets, so the classification reduces to filtrations by specialization-closed supports [1806.00078].

This classification supplies the geometric model underlying many homotopically smashing phenomena. Every compactly generated coaisle is definable and therefore homotopically smashing. Conversely, over a commutative noetherian ring, a bounded-below homotopically smashing \(t\)-structure is compactly generated; the proof passes through hereditary torsion pairs of finite type and reconstructs the relevant Thomason filtration from cohomological data and injective stalks [1806.00078]. A stronger noetherian result shows that the bounded-below hypothesis is unnecessary: any homotopically smashing \(t\)-structure in \(D(R)\) is compactly generated [1907.11030].

The resulting compact generators remain concrete. If \(K(I)\) is the Koszul complex of a finitely generated ideal \(I\), then the compactly generated coaisle associated with \(\Phi\) is determined by orthogonality against the family \(K(I)[-n]\) with \(V(I)\subseteq \Phi(n)\) [1806.00078] [2101.09966].

## 4. Telescope conjectures and compact generation

The telescope problem for \(t\)-structures asks whether homotopically smashing implies compactly generated. In the stable case this recovers the classical telescope conjecture for smashing localizations; in the non-stable setting it becomes a statement about arbitrary \(t\)-structures rather than only stable ones [1907.11030] [1708.07540].

For commutative noetherian rings the answer is affirmative. Any homotopically smashing \(t\)-structure in \(D(R)\) is compactly generated [1907.11030]. This extends Neeman’s theorem from stable localizations to general \(t\)-structures, and it implies that pure-injective cosilting objects over commutative noetherian rings are of cofinite type, meaning that their associated \(t\)-structures are compactly generated [1907.11030]. A weaker but earlier form states that bounded-below homotopically smashing \(t\)-structures over commutative noetherian rings are compactly generated, which already yields classification results for bounded cosilting complexes [1806.00078].

The same theme appears in derivator language. In compactly generated strong stable derivators, the coaisle of a compactly generated \(t\)-structure is closed under directed homotopy colimits, and the heart is Grothendieck [1708.07540]. This suggests a general pattern: compact generation controls both the homotopy-colimit behavior of the coaisle and the exactness properties of the heart.

There are also extensions beyond \(D(R)\). For derived categories of finite quiver representations over commutative artinian rings, every homotopically smashing \(t\)-structure is compactly generated, and analogous results hold for commutative perfect rings [2509.14179]. For path algebras \(RQ\) of Dynkin quivers over commutative noetherian rings, any homotopically smashing \(t\)-structure in \(D(RQ)\) is compactly generated, with an explicit classification of compactly generated aisles by poset maps \(\operatorname{Spec}(R)\to \operatorname{Filt}(\mathbf{Nc}(Q))\) [2505.20803]. These results indicate that the commutative-ring picture is not isolated, although the precise geometric parameter spaces change.

## 5. Locality and gluing over stalks

A major refinement of the subject is the local-to-global theory over affine schemes. For a commutative ring \(R\), compactly generated \(t\)-structures in \(D(R)\) correspond not only to Thomason filtrations on \(\operatorname{Spec}(R)\) but also to compatible families of compactly generated \(t\)-structures over the local rings \(R_{\mathfrak m}\), where \(\mathfrak m\) ranges over maximal ideals [2101.09966].

The compatibility is expressed on Thomason subsets. If \(X(\mathfrak m)\subseteq \operatorname{Spec}(R_{\mathfrak m})\) is a family of Thomason subsets and \(X(\mathfrak m)^*\subseteq \operatorname{Spec}(R)\) denotes its image, then compatibility means that for all maximal ideals \(\mathfrak m,\mathfrak m'\),
\[
\{\,\mathfrak p\in X(\mathfrak m)^* \mid \mathfrak p\subseteq \mathfrak m'\,\}
=
\{\,\mathfrak p\in X(\mathfrak m')^* \mid \mathfrak p\subseteq \mathfrak m\,\}.
\]
Under this condition, together with the requirement that \(X=\bigcup_{\mathfrak m} X(\mathfrak m)^*\) be Thomason, one obtains a bijection between global Thomason subsets and compatible local families; componentwise this yields a bijection between global Thomason filtrations and compatible local filtrations [2101.09966].

The consequence for homotopically smashing \(t\)-structures is a precise locality criterion. If \((\mathcal U,\mathcal V)\) is a homotopically smashing \(t\)-structure in \(D(R)\), then it is compactly generated if and only if each localized \(t\)-structure \((\mathcal U_{\mathfrak m},\mathcal V_{\mathfrak m})\) in \(D(R_{\mathfrak m})\) is compactly generated [2101.09966]. The argument uses definability of \(\mathcal V\), the pure monomorphism \(X\to \prod_{\mathfrak m} X_{\mathfrak m}\), and the construction of a global Thomason filtration from local data via hereditary torsion pairs of finite type.

This locality transfers to telescope statements. The telescope conjecture and the semistable telescope conjecture in \(D(R)\) are equivalent to their validity on all localizations at maximal ideals, and the \(\otimes\)-Telescope Conjecture for a quasi-compact and quasi-separated scheme \(X\) is equivalent to the validity of the classical telescope conjecture on all stalks \(\mathcal O_{X,x}\), equivalently on all closed-point stalks [2101.09966]. In particular, if all stalks are noetherian, then \(D(X)\) satisfies the tensor telescope conjecture [2101.09966].

A technical subtlety arises in the non-noetherian case: the hypothesis that the union \(X=\bigcup_{\mathfrak m} X(\mathfrak m)^*\) be Thomason is necessary. An explicit counterexample is provided by the ring \(R=k^\omega\) with a nonprincipal ultrafilter maximal ideal [2101.09966].

## 6. Cosilting theory, lifting procedures, and limitations

Cosilting theory furnishes one of the main structural interpretations of homotopically smashing \(t\)-structures. A cosilting object \(C\in D(R)\) induces a \(t\)-structure \(({}^{\perp_{\le 0}}C,{}^{\perp_{>0}}C)\), and if \(C\) is pure-injective then the coaisle is definable and cosuspended, hence homotopically smashing [2101.09966]. The object \(C\) is of cofinite type precisely when the coaisle is of the form \(S^{\perp_0}\) for a set \(S\) of compact objects; equivalently, the induced \(t\)-structure is compactly generated [2101.09966]. Over rings satisfying the semistable telescope conjecture, in particular over noetherian rings, every pure-injective cosilting object is of cofinite type [1907.11030] [1806.00078].

The local theory extends to cosilting objects themselves. There is a bijection between cosilting objects of cofinite type in \(D(R)\), up to equivalence, and compatible families of cosilting objects of cofinite type in the local categories \(D(R_{\mathfrak m})\), up to equivalence. The global object is recovered from the compatible family by taking the product \(\prod_{\mathfrak m} C(\mathfrak m)\), while localization is expressed by colocalization \(C\mapsto C^{\mathfrak m}\) [2101.09966]. For noetherian rings, this specializes further to compatible families of cosilting modules and of \(2\)-term cosilting complexes [2101.09966].

Homotopically smashing behavior also appears in comparisons between bounded and unbounded derived categories. For a right coherent ring \(A\), every intermediate \(t\)-structure in \(D^b(\operatorname{mod}(A))\) lifts to a compactly generated, hence homotopically smashing, intermediate \(t\)-structure in \(D(\operatorname{Mod}(A))\) by closing the aisle and coaisle under directed homotopy colimits; conversely, an intermediate homotopically smashing \(t\)-structure in \(D(\operatorname{Mod}(A))\) restricts to \(D^b(\operatorname{mod}(A))\) exactly when its coaisle and heart are generated from their bounded finitely presented parts by directed homotopy colimits [2108.00471].

The notion nevertheless has important limitations. Smashing and homotopically smashing do not coincide in general: there are HRS tilts that are smashing but not homotopically smashing, and their hearts fail to be Ab.5 [1708.07540]. Conversely, homotopically smashing need not imply compactly generated outside the noetherian and similarly controlled settings: an example from HRS tilting over a ring with a nontrivial idempotent ideal gives a homotopically smashing \(t\)-structure that is not compactly generated [1708.07540]. This shows that the affirmative telescope theorems are not formal consequences of the definition but rely on specific geometric or purity-theoretic input.

These limitations clarify the role of the main positive results. Homotopically smashing \(t\)-structures are best understood not as a universal synonym for compact generation, but as a robust closure condition whose force depends strongly on the ambient category: in \(D(R)\) for commutative noetherian \(R\), and more generally in several support-theoretic settings, it recovers compact generation; beyond that range, it remains closely tied to definability, purity, and cosilting, but no longer collapses to a purely compactly generated theory [1907.11030] [2101.09966] [1708.07540].

Source: https://www.emergentmind.com/topics/homotopically-smashing-t-structures