t-structure
A t-structure on a triangulated category is a way to recover abelian structure from the triangulated framework. It provides truncation functors and a "heart" that is an abelian category. The standard t-structure on the derived category has heart ; exotic t-structures give rise to new abelian categories, such as perverse sheaves.
Definition
A t-structure on a triangulated category is a pair of full subcategories satisfying:
- and .
- for and .
- For every , there is a distinguished triangle with and .
We write and .
A t-structure determines truncation functors and , defined by the unique distinguished triangle .
Examples
On , the standard t-structure has and . The truncation replaces by . The heart is itself.
On (constructible sheaves on a stratified space), the perverse t-structure with perversity shifts the standard t-structure by the dimension of each stratum. The heart is the abelian category of perverse sheaves .
A torsion pair in an abelian category (where and every object fits in a SES ) induces a t-structure on by tilting.
A t-structure is non-degenerate if . The standard t-structure on is non-degenerate. Non-degenerate t-structures allow the recovery of an object from its "cohomology objects."
A weight structure (or co-t-structure) on is a t-structure on . Weight structures arise in mixed motives and provide weight filtrations on cohomology.
For a tilting module over an algebra , with , the derived equivalence transports the standard t-structure on to a non-standard t-structure on .
The cohomology functor factors as and takes values in the heart. More generally, gives the -th cohomology with respect to the t-structure.
A Bridgeland stability condition on consists of a t-structure (with heart ) together with a central charge satisfying stability conditions. The space of stability conditions is a complex manifold.
For a closed subvariety with complement , there is a recollement that is compatible with t-structures. The perverse t-structure on is constructed by gluing t-structures via recollement.
The Beilinson-Bernstein-Deligne (BBD) decomposition theorem states that for a proper map , in . This uses the perverse t-structure essentially.
For a bounded t-structure on with heart , there is a realization functor . It is not always an equivalence, but it is for the standard t-structure.
Given a locally closed subset , the intermediate extension sends perverse sheaves on to perverse sheaves on . It is defined using the perverse truncation functors and is neither left nor right exact in the classical sense.
The heart of any t-structure is an abelian category. See the proof.
t-structures bridge the gap between abelian and triangulated categories. They allow one to:
- Recover abelian structure from a triangulated category.
- Construct new abelian categories (perverse sheaves, tilted hearts).
- Define cohomological functors and spectral sequences.