In the branch of mathematics called homological algebra, a t-structure is a way to axiomatize the properties of an abelian subcategory of a derived category. A t-structure on
consists of two subcategories
of a triangulated category or stable infinity category which abstract the idea of complexes whose cohomology vanishes in positive, respectively negative, degrees. There can be many distinct t-structures on the same category, and the interplay between these structures has implications for algebra and geometry. The notion of a t-structure arose in the work of Beilinson, Bernstein, Deligne, and Gabber on perverse sheaves.[1]
Definition
Fix a triangulated category
with translation functor
. A t-structure on
is a pair
of full subcategories, each of which is stable under isomorphism, which satisfy the following three axioms.
- If X is an object of
and Y is an object of
, then ![{\displaystyle \operatorname {Hom} _{\mathcal {D}}(X,Y[-1])=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56a66c5c4a9250ab118ac7648175ad118a5c41b4)
- If X is an object of
, then X[1] is also an object of
. Similarly, if Y is an object of
, then Y[-1] is also an object of
. - If A is an object of
, then there exists a distinguished triangle
such that X is an object of
and Y is an object of
.
It can be shown that the subcategories
and
are closed under extensions in
. In particular, they are stable under finite direct sums.
Suppose that
is a t-structure on
. In this case, for any integer n, we define
to be the full subcategory of
whose objects have the form
, where
is an object of
. Similarly,
is the full subcategory of objects
, where
is an object of
. 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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbe95522ec06fd606609843afb71e30ea9e890ba)
With this notation, the axioms above may be rewritten as:
- If X is an object of
and Y is an object of
, then ![{\displaystyle \operatorname {Hom} _{\mathcal {D}}(X,Y)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3bad098009df22c5bb73aa01937764f70dc2804)
and
. - If A is an object of
, then there exists a distinguished triangle
such that X is an object of
and Y is an object of
.
The heart or core of the t-structure is the full subcategory
consisting of objects contained in both
and
, that is,
![{\displaystyle {\mathcal {D}}^{\heartsuit }={\mathcal {D}}^{\leq 0}\cap {\mathcal {D}}^{\geq 0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b597f940f95ceb21cfd0d47892a3be0f98f5b03d)
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.
Variations
It is clear that, to define a t-structure, it suffices to fix integers m and n and specify
and
. Some authors define a t-structure to be the pair
.
The two subcategories
and
determine each other. An object X is in
if and only if
for all objects Y in
, and vice versa. That is,
are left and right orthogonal complements of each other. Consequently, it is enough to specify only one of
and
. Moreover, because these subcategories are full by definition, it is enough to specify their objects.
The above notation is adapted to the study of cohomology. When the goal is to study homology, slightly different notation is used. A homological t-structure on
is a pair
such that, if we define
![{\displaystyle ({\mathcal {D}}^{\leq 0},{\mathcal {D}}^{\geq 0})=({\mathcal {D}}_{\geq 0},{\mathcal {D}}_{\leq 0}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d22b24150f6759a4e15279882c08d23f594e7562)
then
is a (cohomological) t-structure on
. That is, the definition is the same except that upper indices are converted to lower indices and the roles of
and
are swapped. If we define
![{\displaystyle {\begin{aligned}{\mathcal {D}}_{\geq n}&={\mathcal {D}}_{\geq 0}[n],\\{\mathcal {D}}_{\leq n}&={\mathcal {D}}_{\leq 0}[n],\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f468929cd18bd25846efe04c8c671a3e3515f886)
then the axioms for a homological t-structure may be written explicitly as
- If X is an object of
and Y is an object of
, then ![{\displaystyle \operatorname {Hom} _{\mathcal {D}}(X,Y)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3bad098009df22c5bb73aa01937764f70dc2804)
and
. - If A is an object of
, then there exists a distinguished triangle
such that X is an object of
and Y is an object of
.
Examples
The natural t-structure
The most fundamental example of a t-structure is the natural t-structure on a derived category. Let
be an abelian category, and let
be its derived category. Then the natural t-structure is defined by the pair of subcategories
![{\displaystyle {\begin{aligned}D({\mathcal {A}})^{\leq 0}&=\{X\colon \forall i>0,\ H^{i}(X)=0\},\\D({\mathcal {A}})^{\geq 0}&=\{X\colon \forall i<0,\ H^{i}(X)=0\}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/398d8234f8a57a8c9f0e94a0e0461995e4bc31f9)
It follows immediately that
![{\displaystyle {\begin{aligned}D({\mathcal {A}})^{\leq n}&=\{X\colon \forall i>n,\ H^{i}(X)=0\},\\D({\mathcal {A}})^{\geq n}&=\{X\colon \forall i<n,\ H^{i}(X)=0\},\\D({\mathcal {A}})^{\heartsuit }&=\{X\colon \forall i\neq 0,\ H^{i}(X)=0\}\cong {\mathcal {A}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25e42dae543058dff6946b9381333e52e110b21a)
In this case, the third axiom for a t-structure, the existence of a certain distinguished triangle, can be made explicit as follows. Suppose that
is a cochain complex with values in
. Define
![{\displaystyle {\begin{aligned}\tau ^{\leq 0}A^{\bullet }&=(\cdots \to A^{-2}\to A^{-1}\to \ker d^{0}\to 0\to 0\to \cdots ),\\\tau ^{\geq 1}A^{\bullet }&=(\cdots \to 0\to 0\to A^{0}/\ker d^{0}\to A^{1}\to A^{2}\to \cdots ).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae3acb29a7ae48614da7465178c5b27541e7b4c0)
It is clear that
and that there is a short exact sequence of complexes
![{\displaystyle 0\to \tau ^{\leq 0}A^{\bullet }\to A^{\bullet }\to \tau ^{\geq 1}A^{\bullet }\to 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d88903f000357a9f1fa385a27b1c1e11fd5cfa19)
This exact sequence furnishes the required distinguished triangle.
This example can be generalized to exact categories (in the sense of Quillen).[2] There are also similar t-structures for the bounded, bounded above, and bounded below derived categories. If
is an abelian subcategory of
, then the full subcategory
of
consisting of those complexes whose cohomology is in
has a similar t-structure whose heart is
.[3]
Perverse sheaves
The category of perverse sheaves is, by definition, the core of the so-called perverse t-structure on the derived category of the category of sheaves on a complex analytic space X or (working with l-adic sheaves) an algebraic variety over a finite field. As was explained above, the heart of the standard t-structure simply contains ordinary sheaves, regarded as complexes concentrated in degree 0. For example, the category of perverse sheaves on a (possibly singular) algebraic curve X (or analogously a possibly singular surface) is designed so that it contains, in particular, objects of the form
![{\displaystyle i_{*}F_{Z},j_{*}F_{U}[1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a22fb9a88c697f8de9161faa689532096c51872)
where
is the inclusion of a point,
is an ordinary sheaf,
is a smooth open subscheme and
is a locally constant sheaf on U. Note the presence of the shift according to the dimension of Z and U respectively. This shift causes the category of perverse sheaves to be well-behaved on singular spaces. The simple objects in this category are the intersection cohomology sheaves of subvarieties with coefficients in an irreducible local system. This t-structure was introduced by Beilinson, Bernstein and Deligne.[4] It was shown by Beilinson that the derived category of the heart
is in fact equivalent to the original derived category of sheaves. This is an example of the general fact that a triangulated category may be endowed with several distinct t-structures.[5]
Graded modules
A non-standard example of a t-structure on the derived category of (graded) modules over a graded ring has the property that its heart consists of complexes
![{\displaystyle \dots \to P^{n}\to P^{n+1}\to \dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/576236aaf9ed9925c739bcc123f883099dac2a42)
where
is a module generated by its (graded) degree n. This t-structure called geometric t-structure plays a prominent role in Koszul duality.[6]
Spectra
The category of spectra is endowed with a t-structure generated, in the sense above, by a single object, namely the sphere spectrum. The category
is the category of connective spectra, i.e., those whose negative homotopy groups vanish. (In areas related to homotopy theory, it is common to use homological conventions, as opposed to cohomological ones, so in this case it is common to replace "
" (superscript) by "
" (subscript). Using this convention, the category of connective spectra is denoted as
.)
Motives
A conjectural example in the theory of motives is the so-called motivic t-structure. Its (conjectural) existence is closely related to certain standard conjectures on algebraic cycles and vanishing conjectures, such as the Beilinson-Soulé conjecture.[7]
Truncation functors
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
and
are functorial, and the resulting short exact sequence of complexes is natural in
. 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
is a triangulated category and that
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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e16ac7bd9416c4ae812d10a037147f97c718cb12)
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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa52a257d2373e262e86506d5637cc564b8713c4)
such that
![{\displaystyle {\begin{aligned}\iota ^{\leq n}\dashv \tau ^{\leq n},\\\tau ^{\geq n}\dashv \iota ^{\geq n}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d7f48f0ac0dce4cf0643772dff291891a6cb5e9)
Moreover, for any object
of
, there exists a unique
![{\displaystyle d\in \operatorname {Hom} ^{1}(\tau ^{\geq 1}A,\tau ^{\leq 0}A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c8d7ae165bcf5680f6b5d784d7a732ac5965cb4)
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].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e44fe083ded7b8a92e0bc7fea2b2fef386f89f82)
Up to unique isomorphism, this is the unique distinguished triangle of the form
with
and
objects of
and
, respectively. It follows from the existence of this triangle that an object
lies in
(resp.
) if and only if
(resp.
).
The existence of
implies the existence of the other truncation functors by shifting and taking opposite categories. If
is an object of
, the third axiom for a t-structure asserts the existence of an
in
and a morphism
fitting into a certain distinguished triangle. For each
, fix one such triangle and define
. The axioms for a t-structure imply that, for any object
of
, we have
![{\displaystyle \operatorname {Hom} (T,X)\cong \operatorname {Hom} (T,A),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b7d8805c69c043c77475ccc58f9bd91275946a9)
with the isomorphism being induced by the morphism
. This exhibits
as a solution to a certain universal mapping problem. Standard results on adjoint functors now imply that
is unique up to unique isomorphism and that there is a unique way to define
on morphisms that makes it a right adjoint. This proves the existence of
and hence the existence of all the truncation functors.
Repeated truncation for a t-structure behaves similarly to repeated truncation for complexes. If
, then there are natural transformations
![{\displaystyle {\begin{aligned}\tau ^{\leq n}&\to \tau ^{\leq m},\\\tau ^{\geq n}&\to \tau ^{\geq m},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c74906c195c9e5961bacf561aa33d2c6f315f88)
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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f3ce6e798815fd9a629056db370a04c61da232b)
Cohomology functors
The nth cohomology functor
is defined as
![{\displaystyle H^{n}=\tau ^{\leq 0}\circ \tau ^{\geq 0}\circ [n].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8903329be69b453c749dd17835434267cf74f0a4)
As the name suggests, this is a cohomological functor in the usual sense for a triangulated category. That is, for any distinguished triangle
, 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 .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5999098a32d9a1c7451935a266ff31a29b985160)
In applications to algebraic topology, the cohomology functors may be denoted
instead of
. The cohomology functors take values in the heart
. 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].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3c805bc0f33c3574ae066ce42ddae89f3396c0a)
For the natural t-structure on a derived category
, the cohomology functor
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,
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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b910c8052364e17793c68ec3ffc8e88162df2353)
This complex is non-zero in degrees
and
, so it is clearly not the same as the zeroth cohomology group of the complex
. However, the non-trivial differential is an injection, so the only non-trivial cohomology is in degree
, where it is
, the zeroth cohomology group of the complex
. It follows that the two possible definitions of
are quasi-isomorphic.
A t-structure is non-degenerate if the intersection of all
, as well as the intersection of all
, consists only of zero objects. For a non-degenerate t-structure, the collection of functors
is conservative. Moreover, in this case,
(resp.
) may be identified with the full subcategory of those objects
for which
for
(resp.
).
Exact functors
For
, let
be a triangulated category with a fixed t-structure
. Suppose that
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
is:
- Left t-exact if
, - Right t-exact if
, and - t-exact if it is both left and right t-exact.
It is elementary to see that if
is fully faithful and t-exact, then an object
of
is in
(resp.
) if and only if
is in
(resp.
). It is also elementary to see that if
is another left (resp. right) t-exact functor, then the composite
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
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 }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68efc377da3bce0e5d50da2fd191e32462d8d8bb)
It can be shown that if
is left (resp. right) exact, then
is also left (resp. right) exact, and that if
is also left (resp. right) exact, then
.
If
is right (resp. left) t-exact, and if
is in
(resp.
), then there is a natural isomorphism
(resp.
).
If
are exact functors with
left adjoint to
, then
is right t-exact if and only if
is left t-exact, and in this case,
are a pair of adjoint functors
.
Constructions of t-structures
Let
be a t-structure on
. If n is an integer, then the translation by n t-structure is
. The dual t-structure is the t-structure on the opposite category
defined by
.
Let
be a triangulated subcategory of a triangulated category
. If
is a t-structure on
, then
![{\displaystyle (({\mathcal {D}}')^{\leq 0},({\mathcal {D}}')^{\geq 0})=({\mathcal {D}}'\cap {\mathcal {D}}^{\leq 0},{\mathcal {D}}'\cap {\mathcal {D}}^{\geq 0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9dcef678cf692050d94adc568a81ca13aa3d439)
is a t-structure on
if and only if
is stable under the truncation functor
. When this condition holds, the t-structure
is called the induced t-structure. The truncation and cohomology functors for the induced t-structure are the restriction to
of those on
. Consequently, the inclusion of
in
is t-exact, and
.
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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6082289c821adfee96fafce9ba0ee6ca9907f605)
satisfying the following properties.
- There are two sequences of triples of adjoint functors
and
. - The functors
,
, and
are full and faithful, and they satisfy
. - There are unique differentials making, for every K in
, 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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccb53a539d6aede08289e0561b44b7aa5cb7ad2d)
In this case, given t-structures
and
on
and
, respectively, there is a t-structure on
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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dceb77cd086bb2e86594eaa64cff004a221024b4)
This t-structure is said to be the gluing of the t-structures on U and F. The intended use cases are when
,
, and
are bounded below derived categories of sheaves on a space X, an open subset U, and the closed complement F of U. The functors
and
are the usual pullback and pushforward functors. This works, in particular, when the sheaves in question are left modules over a sheaf of rings
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
of compact objects in
, 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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ada35b10129f9b37d47c45596a4a6df7ca72657)
can be shown to be a t-structure.[8] The resulting t-structure is said to be generated by
.
Given an abelian subcategory
of a triangulated category
, it is possible to construct a subcategory of
and a t-structure on that subcategory whose heart is
.[9]
On stable ∞-categories
The elementary theory of t-structures carries over to the case of ∞-categories with few changes. Let
be a stable ∞-category. A t-structure on
is defined to be a t-structure on its homotopy category
(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
is an ∞-category with homotopy category
and that
is a t-structure on
. Then, for each integer n, we define
and
to be the full subcategories of
spanned by the objects in
and
, 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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/066f012fdbc41cea5f001a684f0bf488117809e7)
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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/937d7a589bcd3bd208df86af0fbd1c7df885ed98)
These functors satisfy the same repeated truncation identities as in the triangulated category case.
The heart of a t-structure on
is defined to be the ∞-subcategory
. The category
is equivalent to the nerve of its homotopy category
. The cohomology functor
is defined to be
, or equivalently
.
The existence of
means that
is, by definition, a localization functor. In fact, there is a bijection between t-structures on
and certain kinds of localization functors called t-localizations. These are localization functors L whose essential image is closed under extension, meaning that if
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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b5bff25377878b8d39a25d5c7b59dfaf855f630)
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
is quasisaturated if it contains all equivalences, if any 2-simplex in
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
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
.[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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bae8bcb0326afa49d9cefbc94cc92a3ccd9bbb1)
These are stable subcategories of
. One says that
is left bounded (with respect to the given t-structure) if
, right bounded if
, and bounded if
.
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
of
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 .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06e2f41f16a7ac16b02b4377128a1ba110287d7b)
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
to either of its completions, and this map is t-exact. We say that
is left complete or right complete if the canonical map to its left or right completion, respectively, is an equivalence.
If the requirement
,
is replaced by the opposite inclusion
, ![{\displaystyle D^{\geq 1}\supset D^{\geq 0},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4119d1831c256944c827cf07d54e61f1c97dbd41)
and the other two axioms kept the same, the resulting notion is called a co-t-structure or weight structure.[11]
References
- ^ Beĭlinson, A. A.; Bernstein, J.; Deligne, P. Faisceaux pervers. Analysis and topology on singular spaces, I (Luminy, 1981), 5–171, Astérisque, 100, Soc. Math. France, Paris, 1982.
- ^ Beilinson, Bernstein, and Deligne, 1.3.22.
- ^ Beilinson, Bernstein, and Deligne, p. 13.
- ^ Beĭlinson, A. A.; Bernstein, J.; Deligne, P. Faisceaux pervers. Analysis and topology on singular spaces, I (Luminy, 1981), 5–171, Astérisque, 100, Soc. Math. France, Paris, 1982.
- ^ Beĭlinson, A. A. On the derived category of perverse sheaves. K-theory, arithmetic and geometry (Moscow, 1984–1986), 27–41, Lecture Notes in Math., 1289, Springer, Berlin, 1987.
- ^ Beilinson, Alexander; Ginzburg, Victor; Soergel, Wolfgang. Koszul duality patterns in representation theory. J. Amer. Math. Soc. 9 (1996), no. 2, 473–527.
- ^ Hanamura, Masaki. Mixed motives and algebraic cycles. III. Math. Res. Lett. 6 (1999), no. 1, 61–82.
- ^ Beligiannis, Apostolos; Reiten, Idun. Homological and homotopical aspects of torsion theories. Mem. Amer. Math. Soc. 188 (2007), no. 883, viii+207 pp. Theorem III.2.3
- ^ Beilinson, Bernstein, and Deligne, proposition 1.3.13.
- ^ Lurie, Higher Algebra, proposition 1.2.1.16.
- ^ Bondarko, M. V. Weight structures vs. t-structures; weight filtrations, spectral sequences, and complexes (for motives and in general). J. K-Theory 6 (2010), no. 3, 387–504.