T structure

Definition

The derived category D of an abelian category A contains, for each n, the full subcategories D ≥ n and D ≤ n consisting of complexes whose cohomology is "bounded below" or "bounded above" n, respectively, i.e., H m ( X ) = 0 for m < n and m > n , respectively. The subcategories have the following properties:

This prototypical basic example gives rise to the following definition: a t-structure on a triangulated category consists of full subcategories D ≤ 0 and D ≥ 1 satisfying the conditions above. In Faisceaux pervers a triangulated category equipped with a t-structure is called a t-category. The above example is referred to as the standard t-structure or canonical t-structure.

The notion of a t-structure can also be defined on a stable model category or a stable infinity category by requiring that there is a t-structure in the above sense on the homotopy category (which is a triangulated category).

Constructing t-structures

Many t-structures arise by means of the following fact: in a triangulated category with arbitrary direct sums, and a set S 0 of compact objects in D, the subcategories

can be shown to be a t-structure. It is called the t-structure generated by S 0 .

Consequences of the definition

The core or heart (the original French word is "cœur") of a t-structure is the category D ≤ 0 ∩ D ≥ 0 . It is an abelian category, as can be shown (whereas a triangulated category is additive but almost never abelian).

The two subcategories D ≤ 0 and D ≥ 1 actually determine each other: an object X is in D ≤ 0 if and only if H o m ( X , D ≥ 1 ) = 0 and vice versa.

The objects X ≤ 0 and X ≥ 0 are not a priori required to be unique or functorial. However, as a consequence of the other two axioms, they can be shown to be actually functorial and unique up to unique isomorphism. In fact, the assignment X ↦ τ ≤ 0 := X ≤ 0 can be shown to be a left adjoint to the inclusion functor D ≤ 0 → D and likewise for ≥ 1 . In other words, the above distinguished triangle is

The n-th cohomology functor H n is defined as

It is in fact a cohomological functor: for any triangle X → Y → Z → we obtain a long exact sequence

Perverse sheaves

The category of perverse sheaves is, by definition, the core of the so-called 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

where i : Z → X is the inclusion of a point, F Z is an ordinary sheaf, U is a smooth open subscheme and F U 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. This t-structure was introduced by Beilinson, Bernstein and Deligne. It was shown by Beilinson that the derived category of the heart D b ( P e r v ( X ) ) 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.

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

where P n is a module generated by its (graded) degree n. This t-structure called geometric t-structure plays a prominent role in Koszul duality.

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 S p ≤ 0 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 " ≤ " by " ≥ ". Using this convention, the category of connective spectra the notation is denoted S p ≥ 0 .)

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.

Related concepts

If the requirement D ≤ 0 ⊂ D ≤ 1 , D ≥ 1 ⊂ D ≥ 0 ; is replaced by the opposite inclusion

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