t-structure

Fix a triangulated category ${\displaystyle {\mathcal {D}}}$ with translation functor ${\displaystyle [1]}$. A t-structure on ${\displaystyle {\mathcal {D}}}$ is a pair ${\displaystyle ({\mathcal {D}}^{\leq 0},{\mathcal {D}}^{\geq 0})}$ of full subcategories, each of which is stable under isomorphism, which satisfy the following three axioms.

1. If X is an object of ${\displaystyle {\mathcal {D}}^{\leq 0}}$ and Y is an object of ${\displaystyle {\mathcal {D}}^{\geq 0}}$, then ${\displaystyle \operatorname {Hom} _{\mathcal {D}}(X,Y[-1])=0.}$
2. If X is an object of ${\displaystyle {\mathcal {D}}^{\leq 0}}$, then X[1] is also an object of ${\displaystyle {\mathcal {D}}^{\leq 0}}$. Similarly, if Y is an object of ${\displaystyle {\mathcal {D}}^{\geq 0}}$, then Y[-1] is also an object of ${\displaystyle {\mathcal {D}}^{\geq 0}}$.
3. If A is an object of ${\displaystyle {\mathcal {D}}}$, then there exists a distinguished triangle ${\displaystyle X\to A\to Y[-1]\to X[1]}$ such that X is an object of ${\displaystyle {\mathcal {D}}^{\leq 0}}$ and Y is an object of ${\displaystyle {\mathcal {D}}^{\geq 0}}$.

It can be shown that the subcategories ${\displaystyle {\mathcal {D}}^{\leq 0}}$ and ${\displaystyle {\mathcal {D}}^{\geq 0}}$ are closed under extensions in ${\displaystyle {\mathcal {D}}}$. In particular, they are stable under finite direct sums.

Suppose that ${\displaystyle ({\mathcal {D}}^{\leq 0},{\mathcal {D}}^{\geq 0})}$ is a t-structure on ${\displaystyle {\mathcal {D}}}$. In this case, for any integer n, we define ${\displaystyle {\mathcal {D}}^{\leq n}}$ to be the full subcategory of ${\displaystyle {\mathcal {D}}}$ whose objects have the form ${\displaystyle X[-n]}$, where ${\displaystyle X}$ is an object of ${\displaystyle {\mathcal {D}}^{\leq 0}}$. Similarly, ${\displaystyle {\mathcal {D}}^{\geq n}}$ is the full subcategory of objects ${\displaystyle Y[-n]}$, where ${\displaystyle Y}$ is an object of ${\displaystyle {\mathcal {D}}^{\geq 0}}$. More briefly, we define

${\displaystyle {\begin{aligned}{\mathcal {D}}^{\leq n}&={\mathcal {D}}^{\leq 0}[-n],\\{\mathcal {D}}^{\geq n}&={\mathcal {D}}^{\geq 0}[-n].\end{aligned}}}$

With this notation, the axioms above may be rewritten as:

1. If X is an object of ${\displaystyle {\mathcal {D}}^{\leq 0}}$ and Y is an object of ${\displaystyle {\mathcal {D}}^{\geq 1}}$, then ${\displaystyle \operatorname {Hom} _{\mathcal {D}}(X,Y)=0.}$
2. ${\displaystyle {\mathcal {D}}^{\leq 0}\subseteq {\mathcal {D}}^{\leq 1}}$ and ${\displaystyle {\mathcal {D}}^{\geq 0}\supseteq {\mathcal {D}}^{\geq 1}}$.
3. If A is an object of ${\displaystyle {\mathcal {D}}}$, then there exists a distinguished triangle ${\displaystyle X\to A\to Y\to X[1]}$ such that X is an object of ${\displaystyle {\mathcal {D}}^{\leq 0}}$ and Y is an object of ${\displaystyle {\mathcal {D}}^{\geq 1}}$.

The heart or core of the t-structure is the full subcategory ${\displaystyle {\mathcal {D}}^{\heartsuit }}$ consisting of objects contained in both ${\displaystyle {\mathcal {D}}^{\leq 0}}$ and ${\displaystyle {\mathcal {D}}^{\geq 0}}$, that is,

${\displaystyle {\mathcal {D}}^{\heartsuit }={\mathcal {D}}^{\leq 0}\cap {\mathcal {D}}^{\geq 0}.}$

The heart of a t-structure is an abelian category (whereas a triangulated category is additive but almost never abelian), and it is stable under extensions.

A triangulated category with a choice of t-structure is sometimes called a t-category.

In the above example of the natural t-structure on the derived category of an abelian category, the distinguished triangle guaranteed by the third axiom was constructed by truncation. As operations on the category of complexes, the truncations ${\displaystyle \tau _{\leq 0}A^{\bullet }}$ and ${\displaystyle \tau _{\geq 1}A^{\bullet }}$ are functorial, and the resulting short exact sequence of complexes is natural in ${\displaystyle A^{\bullet }}$. Using this, it can be shown that there are truncation functors on the derived category and that they induce a natural distinguished triangle.

In fact, this is an example of a general phenomenon. While the axioms for a t-structure do not assume the existence of truncation functors, such functors can always be constructed and are essentially unique. Suppose that ${\displaystyle {\mathcal {D}}}$ is a triangulated category and that ${\displaystyle ({\mathcal {D}}^{\leq 0},{\mathcal {D}}^{\geq 0})}$ is a t-structure. The precise statement is that the inclusion functors

${\displaystyle {\begin{aligned}\iota ^{\leq n}\colon &{\mathcal {D}}^{\leq n}\to {\mathcal {D}},\\\iota ^{\geq n}\colon &{\mathcal {D}}^{\geq n}\to {\mathcal {D}}\end{aligned}}}$

admit adjoints. These are functors

${\displaystyle {\begin{aligned}\tau ^{\leq n}\colon &{\mathcal {D}}\to {\mathcal {D}}^{\leq n},\\\tau ^{\geq n}\colon &{\mathcal {D}}\to {\mathcal {D}}^{\geq n}\end{aligned}}}$

such that

${\displaystyle {\begin{aligned}\iota ^{\leq n}\dashv \tau ^{\leq n},\\\tau ^{\geq n}\dashv \iota ^{\geq n}.\end{aligned}}}$

Moreover, for any object ${\displaystyle A}$ of ${\displaystyle {\mathcal {D}}}$, there exists a unique

${\displaystyle d\in \operatorname {Hom} ^{1}(\tau ^{\geq 1}A,\tau ^{\leq 0}A)}$

such that d and the counit and unit of the adjunctions together define a distinguished triangle

${\displaystyle \tau ^{\leq 0}A\to A\to \tau ^{\geq 1}A\ {\stackrel {d}{\to }}\ \tau ^{\leq 0}A[1].}$

Up to unique isomorphism, this is the unique distinguished triangle of the form ${\displaystyle X\to A\to Y\to X[1]}$ with ${\displaystyle X}$ and ${\displaystyle Y}$ objects of ${\displaystyle {\mathcal {D}}^{\leq 0}}$ and ${\displaystyle {\mathcal {D}}^{\geq 1}}$, respectively. It follows from the existence of this triangle that an object ${\displaystyle A}$ lies in ${\displaystyle {\mathcal {D}}^{\leq n}}$ (resp. ${\displaystyle {\mathcal {D}}^{\geq n}}$) if and only if ${\displaystyle \tau ^{\geq n+1}(A)=0}$ (resp. ${\displaystyle \tau ^{\leq n-1}(A)=0}$).

The existence of ${\displaystyle \tau ^{\leq 0}}$ implies the existence of the other truncation functors by shifting and taking opposite categories. If ${\displaystyle A}$ is an object of ${\displaystyle {\mathcal {D}}}$, the third axiom for a t-structure asserts the existence of an ${\displaystyle X}$ in ${\displaystyle {\mathcal {D}}^{\leq 0}}$ and a morphism ${\displaystyle X\to A}$ fitting into a certain distinguished triangle. For each ${\displaystyle A}$, fix one such triangle and define ${\displaystyle \tau ^{\leq 0}(A)=X}$. The axioms for a t-structure imply that, for any object ${\displaystyle T}$ of ${\displaystyle {\mathcal {D}}^{\leq 0}}$, we have

${\displaystyle \operatorname {Hom} (T,X)\cong \operatorname {Hom} (T,A),}$

with the isomorphism being induced by the morphism ${\displaystyle X\to A}$. This exhibits ${\displaystyle X}$ as a solution to a certain universal mapping problem. Standard results on adjoint functors now imply that ${\displaystyle X}$ is unique up to unique isomorphism and that there is a unique way to define ${\displaystyle \tau ^{\leq 0}}$ on morphisms that makes it a right adjoint. This proves the existence of ${\displaystyle \tau ^{\leq 0}}$ and hence the existence of all the truncation functors.

Repeated truncation for a t-structure behaves similarly to repeated truncation for complexes. If ${\displaystyle n\leq m}$, then there are natural transformations

${\displaystyle {\begin{aligned}\tau ^{\leq n}&\to \tau ^{\leq m},\\\tau ^{\geq n}&\to \tau ^{\geq m},\end{aligned}}}$

which yield natural equivalences

${\displaystyle {\begin{aligned}\tau ^{\leq n}\ &{\stackrel {\sim }{\to }}\ \tau ^{\leq n}\circ \tau ^{\leq m},\\\tau ^{\geq m}\ &{\stackrel {\sim }{\to }}\ \tau ^{\geq m}\circ \tau ^{\geq n},\\\tau ^{\geq n}\circ \tau ^{\leq m}\ &{\stackrel {\sim }{\to }}\ \tau ^{\leq m}\circ \tau ^{\geq n}.\end{aligned}}}$

The nth cohomology functor ${\displaystyle H^{n}}$ is defined as

${\displaystyle H^{n}=\tau ^{\leq 0}\circ \tau ^{\geq 0}\circ [n].}$

As the name suggests, this is a cohomological functor in the usual sense for a triangulated category. That is, for any distinguished triangle ${\displaystyle X\to Y\to Z\to X[1]}$, we obtain a long exact sequence

${\displaystyle \cdots \to H^{i}(X)\to H^{i}(Y)\to H^{i}(Z)\to H^{i+1}(X)\to \cdots .}$

In applications to algebraic topology, the cohomology functors may be denoted ${\displaystyle \pi _{n}}$ instead of ${\displaystyle H^{n}}$. The cohomology functors take values in the heart ${\displaystyle {\mathcal {D}}^{\heartsuit }}$. By one of the repeated truncation identities above, up to natural equivalence it is equivalent to define

${\displaystyle H^{n}=\tau ^{\geq 0}\circ \tau ^{\leq 0}\circ [n].}$

For the natural t-structure on a derived category ${\displaystyle D({\mathcal {A}})}$, the cohomology functor ${\displaystyle H^{n}}$ is, up to quasi-isomorphism, the usual nth cohomology group of a complex. However, considered as functors on complexes, this is not true. Consider, for example, ${\displaystyle H^{0}}$ as defined in terms of the natural t-structure. By definition, this is

${\displaystyle {\begin{aligned}H^{0}(A^{\bullet })&=\tau ^{\leq 0}(\tau ^{\geq 0}(A^{\bullet }))\\&=\tau ^{\leq 0}(\cdots \to 0\to A^{-1}/\ker d^{-1}\to A^{0}\to A^{1}\to \cdots )\\&=(\cdots \to 0\to A^{-1}/\ker d^{-1}\to \ker d^{0}\to 0\to \cdots ).\end{aligned}}}$

This complex is non-zero in degrees ${\displaystyle -1}$ and ${\displaystyle 0}$, so it is clearly not the same as the zeroth cohomology group of the complex ${\displaystyle A^{\bullet }}$. However, the non-trivial differential is an injection, so the only non-trivial cohomology is in degree ${\displaystyle 0}$, where it is ${\displaystyle \ker d^{0}/\operatorname {im} d^{-1}}$, the zeroth cohomology group of the complex ${\displaystyle A^{\bullet }}$. It follows that the two possible definitions of ${\displaystyle H^{0}(A^{\bullet })}$ are quasi-isomorphic.

A t-structure is non-degenerate if the intersection of all ${\displaystyle {\mathcal {D}}^{\leq n}}$, as well as the intersection of all ${\displaystyle {\mathcal {D}}^{\geq n}}$, consists only of zero objects. For a non-degenerate t-structure, the collection of functors ${\displaystyle \{H^{n}\}_{n\in \mathbf {Z} }}$ is conservative. Moreover, in this case, ${\displaystyle {\mathcal {D}}^{\leq n}}$ (resp. ${\displaystyle {\mathcal {D}}^{\geq n}}$) may be identified with the full subcategory of those objects ${\displaystyle A}$ for which ${\displaystyle H^{i}(A)=0}$ for ${\displaystyle i>n}$ (resp. ${\displaystyle i<n}$).

For ${\displaystyle i=1,2}$, let ${\displaystyle {\mathcal {D}}_{i}}$ be a triangulated category with a fixed t-structure ${\displaystyle ({\mathcal {D}}_{i}^{\leq 0},{\mathcal {D}}_{i}^{\geq 0})}$. Suppose that ${\displaystyle F\colon {\mathcal {D}}_{1}\to {\mathcal {D}}_{2}}$ is an exact functor (in the usual sense for triangulated categories, that is, up to a natural equivalence it commutes with translation and preserves distinguished triangles). Then ${\displaystyle F}$ is:

• Left t-exact if ${\displaystyle F({\mathcal {D}}_{1}^{\geq 0})\subseteq {\mathcal {D}}_{2}^{\geq 0}}$,
• Right t-exact if ${\displaystyle F({\mathcal {D}}_{1}^{\leq 0})\subseteq {\mathcal {D}}_{2}^{\leq 0}}$, and
• t-exact if it is both left and right t-exact.

It is elementary to see that if ${\displaystyle F}$ is fully faithful and t-exact, then an object ${\displaystyle A}$ of ${\displaystyle {\mathcal {D}}_{1}}$ is in ${\displaystyle {\mathcal {D}}_{1}^{\leq 0}}$ (resp. ${\displaystyle {\mathcal {D}}_{1}^{\geq 0}}$) if and only if ${\displaystyle FA}$ is in ${\displaystyle {\mathcal {D}}_{2}^{\leq 0}}$ (resp. ${\displaystyle {\mathcal {D}}_{2}^{\geq 0}}$). It is also elementary to see that if ${\displaystyle G\colon {\mathcal {D}}_{2}\to {\mathcal {D}}_{3}}$ is another left (resp. right) t-exact functor, then the composite ${\displaystyle G\circ F}$ is also left (resp. right) t-exact.

The motivation for the study of one-sided t-exactness properties is that they lead to one-sided exactness properties on hearts. Let ${\displaystyle \iota _{i}^{\heartsuit }\colon {\mathcal {D}}_{i}^{\heartsuit }\to {\mathcal {D}}_{i}}$ be the inclusion. Then there is a composite functor

${\displaystyle {}^{p}F=H^{0}\circ F\circ \iota _{1}^{\heartsuit }\colon {\mathcal {D}}_{1}^{\heartsuit }\to {\mathcal {D}}_{2}^{\heartsuit }.}$

It can be shown that if ${\displaystyle F}$ is left (resp. right) exact, then ${\displaystyle {}^{p}F}$ is also left (resp. right) exact, and that if ${\displaystyle G}$ is also left (resp. right) exact, then ${\displaystyle {}^{p}(G\circ F)=({}^{p}G)\circ ({}^{p}F)}$.

If ${\displaystyle F}$ is right (resp. left) t-exact, and if ${\displaystyle A}$ is in ${\displaystyle {\mathcal {D}}^{\leq 0}}$ (resp. ${\displaystyle {\mathcal {D}}^{\geq 0}}$), then there is a natural isomorphism ${\displaystyle {}^{p}F(H^{0}A)\ {\stackrel {\sim }{\to }}\ H^{0}F(A)}$ (resp. ${\displaystyle H^{0}F(A)\ {\stackrel {\sim }{\to }}\ {}^{p}F(H^{0}A)}$).

If ${\displaystyle (T^{*},T_{*})\colon {\mathcal {D}}_{1}\leftrightarrows {\mathcal {D}}_{2}}$ are exact functors with ${\displaystyle T^{*}}$ left adjoint to ${\displaystyle T_{*}}$, then ${\displaystyle T^{*}}$ is right t-exact if and only if ${\displaystyle T_{*}}$ is left t-exact, and in this case, ${\displaystyle ({}^{p}T^{*},{}^{p}T_{*})}$ are a pair of adjoint functors ${\displaystyle {\mathcal {D}}_{1}^{\heartsuit }\leftrightarrows {\mathcal {D}}_{2}^{\heartsuit }}$.

Let ${\displaystyle ({\mathcal {D}}^{\leq 0},{\mathcal {D}}^{\geq 0})}$ be a t-structure on ${\displaystyle {\mathcal {D}}}$. If n is an integer, then the translation by n t-structure is ${\displaystyle ({\mathcal {D}}^{\leq n},{\mathcal {D}}^{\geq n})}$. The dual t-structure is the t-structure on the opposite category ${\displaystyle {\mathcal {D}}^{\text{op}}}$ defined by ${\displaystyle (({\mathcal {D}}^{\geq 0})^{\text{op}},({\mathcal {D}}^{\leq 0})^{\text{op}})}$.

Let ${\displaystyle {\mathcal {D}}'}$ be a triangulated subcategory of a triangulated category ${\displaystyle {\mathcal {D}}}$. If ${\displaystyle ({\mathcal {D}}^{\leq 0},{\mathcal {D}}^{\geq 0})}$ is a t-structure on ${\displaystyle {\mathcal {D}}}$, then

${\displaystyle (({\mathcal {D}}')^{\leq 0},({\mathcal {D}}')^{\geq 0})=({\mathcal {D}}'\cap {\mathcal {D}}^{\leq 0},{\mathcal {D}}'\cap {\mathcal {D}}^{\geq 0})}$

is a t-structure on ${\displaystyle {\mathcal {D}}'}$ if and only if ${\displaystyle {\mathcal {D}}'}$ is stable under the truncation functor ${\displaystyle \tau ^{\leq 0}}$. When this condition holds, the t-structure ${\displaystyle (({\mathcal {D}}')^{\leq 0},({\mathcal {D}}')^{\geq 0})}$ is called the induced t-structure. The truncation and cohomology functors for the induced t-structure are the restriction to ${\displaystyle {\mathcal {D}}'}$ of those on ${\displaystyle {\mathcal {D}}}$. Consequently, the inclusion of ${\displaystyle {\mathcal {D}}'}$ in ${\displaystyle {\mathcal {D}}}$ is t-exact, and ${\displaystyle ({\mathcal {D}}')^{\heartsuit }={\mathcal {D}}^{\heartsuit }\cap {\mathcal {D}}'}$.

To construct the category of perverse sheaves, it is important to be able to define a t-structure on a category of sheaves over a space by working locally in that space. The precise conditions necessary for this to be possible can be abstracted somewhat to the following setup. Suppose that there are three triangulated categories and two morphisms

${\displaystyle {\mathcal {D}}_{F}\ {\stackrel {i_{*}}{\to }}\ {\mathcal {D}}\ {\stackrel {j^{*}}{\to }}\ {\mathcal {D}}_{U}}$

satisfying the following properties.

• There are two sequences of triples of adjoint functors ${\displaystyle (j_{!},j^{*},j_{*})}$ and ${\displaystyle (i^{*},i_{*},i^{!})}$.
• The functors ${\displaystyle i_{*}}$, ${\displaystyle j_{!}}$, and ${\displaystyle j^{*}}$ are full and faithful, and they satisfy ${\displaystyle j^{*}i_{*}=0}$.
• There are unique differentials making, for every K in ${\displaystyle {\mathcal {D}}}$, exact triangles

${\displaystyle {\begin{aligned}j_{!}j^{*}K&\to K\to i_{*}i^{*}K\to j_{!}j^{*}K[1],\\i_{*}i^{!}K&\to K\to j_{*}j^{*}K\to i_{*}i^{!}K[1].\end{aligned}}}$

In this case, given t-structures ${\displaystyle ({\mathcal {D}}_{U}^{\leq 0},{\mathcal {D}}_{U}^{\geq 0})}$ and ${\displaystyle ({\mathcal {D}}_{F}^{\leq 0},{\mathcal {D}}_{F}^{\geq 0})}$ on ${\displaystyle {\mathcal {D}}_{U}}$ and ${\displaystyle {\mathcal {D}}_{F}}$, respectively, there is a t-structure on ${\displaystyle {\mathcal {D}}}$ defined by

${\displaystyle {\begin{aligned}{\mathcal {D}}^{\leq 0}&=\{K\in {\mathcal {D}}\colon j^{*}K\in {\mathcal {D}}_{U}^{\leq 0},\ i^{*}K\in {\mathcal {D}}_{F}^{\leq 0}\},\\{\mathcal {D}}^{\geq 0}&=\{K\in {\mathcal {D}}\colon j^{*}K\in {\mathcal {D}}_{U}^{\geq 0},\ i^{!}K\in {\mathcal {D}}_{F}^{\geq 0}\}.\end{aligned}}}$

This t-structure is said to be the gluing of the t-structures on U and F. The intended use cases are when ${\displaystyle {\mathcal {D}}}$, ${\displaystyle {\mathcal {D}}_{U}}$, and ${\displaystyle {\mathcal {D}}_{F}}$ are bounded below derived categories of sheaves on a space X, an open subset U, and the closed complement F of U. The functors ${\displaystyle j^{*}}$ and ${\displaystyle i_{*}}$ are the usual pullback and pushforward functors. This works, in particular, when the sheaves in question are left modules over a sheaf of rings ${\displaystyle {\mathcal {O}}}$ on X and when the sheaves are ℓ-adic sheaves.

Many t-structures arise by means of the following fact: in a triangulated category with arbitrary direct sums, and a set ${\displaystyle S_{0}}$ of compact objects in ${\displaystyle {\mathcal {D}}}$, the subcategories

${\displaystyle {\begin{aligned}{\mathcal {D}}^{\geq 1}&=\{X\in {\mathcal {D}}\colon \operatorname {Hom} (S_{0}[-n],X)=0,n\geq 0\},\\{\mathcal {D}}^{\leq 0}&=\{Y\in {\mathcal {D}}\colon \operatorname {Hom} (Y,{\mathcal {D}}^{\geq 1})=0\},\end{aligned}}}$

can be shown to be a t-structure.[8] The resulting t-structure is said to be generated by ${\displaystyle S_{0}}$.

Given an abelian subcategory ${\displaystyle {\mathcal {C}}}$ of a triangulated category ${\displaystyle {\mathcal {D}}}$, it is possible to construct a subcategory of ${\displaystyle {\mathcal {D}}}$ and a t-structure on that subcategory whose heart is ${\displaystyle {\mathcal {C}}}$.[9]

The elementary theory of t-structures carries over to the case of ∞-categories with few changes. Let ${\displaystyle {\mathcal {D}}}$ be a stable ∞-category. A t-structure on ${\displaystyle {\mathcal {D}}}$ is defined to be a t-structure on its homotopy category ${\displaystyle \mathrm {h} {\mathcal {D}}}$ (which is a triangulated category). A t-structure on an ∞-category can be notated either homologically or cohomologically, just as in the case of a triangulated category.

Suppose that ${\displaystyle {\mathcal {D}}}$ is an ∞-category with homotopy category ${\displaystyle \mathrm {h} {\mathcal {D}}}$ and that ${\displaystyle (\mathrm {h} {\mathcal {D}}_{\geq 0},\mathrm {h} {\mathcal {D}}_{\leq 0})}$ is a t-structure on ${\displaystyle \mathrm {h} {\mathcal {D}}}$. Then, for each integer n, we define ${\displaystyle {\mathcal {D}}_{\geq n}}$ and ${\displaystyle {\mathcal {D}}_{\leq n}}$ to be the full subcategories of ${\displaystyle {\mathcal {D}}}$ spanned by the objects in ${\displaystyle \mathrm {h} {\mathcal {D}}_{\geq n}}$ and ${\displaystyle \mathrm {h} {\mathcal {D}}_{\leq n}}$, respectively. Define

${\displaystyle {\begin{aligned}\iota _{\geq n}&\colon {\mathcal {D}}_{\geq n}\to {\mathcal {D}},\\\iota _{\leq n}&\colon {\mathcal {D}}_{\leq n}\to {\mathcal {D}}\end{aligned}}}$

to be the inclusion functors. Just as in the case of a triangulated category, these admit a right and a left adjoint, respectively, the truncation functors

${\displaystyle {\begin{aligned}\tau _{\geq n}&\colon {\mathcal {D}}\to {\mathcal {D}}_{\geq n},\\\tau _{\leq n}&\colon {\mathcal {D}}\to {\mathcal {D}}_{\leq n}\end{aligned}}}$

These functors satisfy the same repeated truncation identities as in the triangulated category case.

The heart of a t-structure on ${\displaystyle {\mathcal {D}}}$ is defined to be the ∞-subcategory ${\displaystyle {\mathcal {D}}^{\heartsuit }={\mathcal {D}}_{\geq 0}\cap {\mathcal {D}}_{\leq 0}}$. The category ${\displaystyle {\mathcal {D}}^{\heartsuit }}$ is equivalent to the nerve of its homotopy category ${\displaystyle \mathrm {h} {\mathcal {D}}^{\heartsuit }}$. The cohomology functor ${\displaystyle \pi _{n}}$ is defined to be ${\displaystyle \tau _{\geq 0}\circ \tau _{\leq 0}\circ [-n]}$, or equivalently ${\displaystyle \tau _{\leq 0}\circ \tau _{\geq 0}\circ [-n]}$.

The existence of ${\displaystyle \tau _{\leq n}}$ means that ${\displaystyle \iota _{\leq n}}$ is, by definition, a localization functor. In fact, there is a bijection between t-structures on ${\displaystyle {\mathcal {D}}}$ and certain kinds of localization functors called t-localizations. These are localization functors L whose essential image is closed under extension, meaning that if ${\displaystyle X\to Y\to Z}$ is a fiber sequence with X and Z in the essential image of L, then Y is also in the essential image of L. Given such a localization functor L, the corresponding t-structure is defined by

${\displaystyle {\begin{aligned}{\mathcal {D}}_{\geq 0}&=\{A\colon LA\simeq 0\},\\{\mathcal {D}}_{\leq -1}&=\{A\colon LA\simeq A\}.\end{aligned}}}$

t-localization functors can also be characterized in terms of the morphisms f for which Lf is an equivalence. A set of morphisms S in an ∞-category ${\displaystyle {\mathcal {D}}}$ is quasisaturated if it contains all equivalences, if any 2-simplex in ${\displaystyle {\mathcal {D}}}$ with two of its non-degenerate edges in S has its third non-degenerate edge in S, and if it is stable under pushouts. If ${\displaystyle L\colon {\mathcal {D}}\to {\mathcal {D}}}$ is a localization functor, then the set S of all morphisms f for which Lf is an equivalence is quasisaturated. Then L is a t-localization functor if and only if S is the smallest quasisaturated set of morphisms containing all morphisms ${\displaystyle \{0\to X\colon LX\simeq 0\}}$.[10]

The derived category of an abelian category has several subcategories corresponding to different boundedness conditions. A t-structure on a stable ∞-category can be used to construct similar subcategories. Specifically,

${\displaystyle {\begin{aligned}{\mathcal {D}}_{+}&=\bigcup _{n\in \mathbf {Z} }{\mathcal {D}}_{\leq n},\\{\mathcal {D}}_{-}&=\bigcup _{n\in \mathbf {Z} }{\mathcal {D}}_{\geq n},\\{\mathcal {D}}_{b}&={\mathcal {D}}_{+}\cap {\mathcal {D}}_{-}.\end{aligned}}}$

These are stable subcategories of ${\displaystyle {\mathcal {D}}}$. One says that ${\displaystyle {\mathcal {D}}}$ is left bounded (with respect to the given t-structure) if ${\displaystyle {\mathcal {D}}={\mathcal {D}}_{+}}$, right bounded if ${\displaystyle {\mathcal {D}}={\mathcal {D}}_{-}}$, and bounded if ${\displaystyle {\mathcal {D}}={\mathcal {D}}_{b}}$.

It is also possible to form a left or right completion with respect to a t-structure. This is analogous to formally adjoining directed limits or directed colimits. The left completion ${\displaystyle {\hat {\mathcal {D}}}}$ of ${\displaystyle {\mathcal {D}}}$ is the homotopy limit of the diagram

${\displaystyle \cdots \to {\mathcal {D}}_{\leq 2}\ {\stackrel {\tau _{\leq 1}}{\to }}\ {\mathcal {D}}_{\leq 1}\ {\stackrel {\tau _{\leq 0}}{\to }}\ {\mathcal {D}}_{\leq 0}\ {\stackrel {\tau _{\leq -1}}{\to }}\ \cdots .}$

The right completion is defined dually. The left and right completions are themselves stable ∞-categories which inherit a canonical t-structure. There is a canonical map from ${\displaystyle {\mathcal {D}}}$ to either of its completions, and this map is t-exact. We say that ${\displaystyle {\mathcal {D}}}$ is left complete or right complete if the canonical map to its left or right completion, respectively, is an equivalence.

If the requirement ${\displaystyle D^{\leq 0}\subset D^{\leq 1}}$, ${\displaystyle D^{\geq 1}\subset D^{\geq 0};}$ is replaced by the opposite inclusion

${\displaystyle D^{\leq 0}\supset D^{\leq 1}}$, ${\displaystyle D^{\geq 1}\supset D^{\geq 0},}$

and the other two axioms kept the same, the resulting notion is called a co-t-structure or weight structure.[11]