ConceptComplete

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 A\mathcal{A}; exotic t-structures give rise to new abelian categories, such as perverse sheaves.


Definition

Definition6.4t-structure

A t-structure on a triangulated category T\mathcal{T} is a pair of full subcategories (T≀0,Tβ‰₯0)(\mathcal{T}^{\leq 0}, \mathcal{T}^{\geq 0}) satisfying:

  1. T≀0[1]βŠ†T≀0\mathcal{T}^{\leq 0}[1] \subseteq \mathcal{T}^{\leq 0} and Tβ‰₯0[βˆ’1]βŠ†Tβ‰₯0\mathcal{T}^{\geq 0}[-1] \subseteq \mathcal{T}^{\geq 0}.
  2. Hom(X,Y)=0\mathrm{Hom}(X, Y) = 0 for X∈T≀0X \in \mathcal{T}^{\leq 0} and Y∈Tβ‰₯1:=Tβ‰₯0[βˆ’1]Y \in \mathcal{T}^{\geq 1} := \mathcal{T}^{\geq 0}[-1].
  3. For every X∈TX \in \mathcal{T}, there is a distinguished triangle Aβ†’Xβ†’Bβ†’A[1]A \to X \to B \to A[1] with A∈T≀0A \in \mathcal{T}^{\leq 0} and B∈Tβ‰₯1B \in \mathcal{T}^{\geq 1}.

We write T≀n=T≀0[βˆ’n]\mathcal{T}^{\leq n} = \mathcal{T}^{\leq 0}[-n] and Tβ‰₯n=Tβ‰₯0[βˆ’n]\mathcal{T}^{\geq n} = \mathcal{T}^{\geq 0}[-n].

Definition6.5Truncation Functors

A t-structure determines truncation functors τ≀n:Tβ†’T≀n\tau_{\leq n} : \mathcal{T} \to \mathcal{T}^{\leq n} and Ο„β‰₯n:Tβ†’Tβ‰₯n\tau_{\geq n} : \mathcal{T} \to \mathcal{T}^{\geq n}, defined by the unique distinguished triangle τ≀nXβ†’Xβ†’Ο„β‰₯n+1Xβ†’(τ≀nX)[1]\tau_{\leq n} X \to X \to \tau_{\geq n+1} X \to (\tau_{\leq n} X)[1].


Examples

ExampleStandard t-structure on D(A)

On D(A)D(\mathcal{A}), the standard t-structure has D≀0={Aβˆ™:Hn(A)=0Β forΒ n>0}D^{\leq 0} = \{A^\bullet : H^n(A) = 0 \text{ for } n > 0\} and Dβ‰₯0={Aβˆ™:Hn(A)=0Β forΒ n<0}D^{\geq 0} = \{A^\bullet : H^n(A) = 0 \text{ for } n < 0\}. The truncation τ≀0\tau_{\leq 0} replaces A0A^0 by ker⁑d0\ker d^0. The heart is A\mathcal{A} itself.

ExamplePerverse t-structure

On Dcb(X)D^b_c(X) (constructible sheaves on a stratified space), the perverse t-structure with perversity pp shifts the standard t-structure by the dimension of each stratum. The heart is the abelian category of perverse sheaves Perv(X)\mathrm{Perv}(X).

Examplet-structure from a torsion pair

A torsion pair (T,F)(\mathcal{T}, \mathcal{F}) in an abelian category A\mathcal{A} (where Hom(T,F)=0\mathrm{Hom}(\mathcal{T}, \mathcal{F}) = 0 and every object fits in a SES 0→T→A→F→00 \to T \to A \to F \to 0) induces a t-structure on Db(A)D^b(\mathcal{A}) by tilting.

ExampleNon-degenerate t-structure

A t-structure is non-degenerate if β‹‚nT≀n=0=β‹‚nTβ‰₯n\bigcap_n \mathcal{T}^{\leq n} = 0 = \bigcap_n \mathcal{T}^{\geq n}. The standard t-structure on Db(A)D^b(\mathcal{A}) is non-degenerate. Non-degenerate t-structures allow the recovery of an object from its "cohomology objects."

ExampleWeight structure

A weight structure (or co-t-structure) on T\mathcal{T} is a t-structure on Top\mathcal{T}^{\mathrm{op}}. Weight structures arise in mixed motives and provide weight filtrations on cohomology.

Examplet-structure on D^b(mod-A) from tilting

For a tilting module TT over an algebra AA, with B=End(T)B = \mathrm{End}(T), the derived equivalence Db(A)≃Db(B)D^b(A) \simeq D^b(B) transports the standard t-structure on Db(B)D^b(B) to a non-standard t-structure on Db(A)D^b(A).

ExampleCohomological t-functor

The cohomology functor H0:D(A)β†’AH^0 : D(\mathcal{A}) \to \mathcal{A} factors as Ο„β‰₯0βˆ˜Ο„β‰€0\tau_{\geq 0} \circ \tau_{\leq 0} and takes values in the heart. More generally, Hn=H0∘[βˆ’n]H^n = H^0 \circ [-n] gives the nn-th cohomology with respect to the t-structure.

ExampleBridgeland stability conditions

A Bridgeland stability condition on Db(Coh(X))D^b(\mathrm{Coh}(X)) consists of a t-structure (with heart A\mathcal{A}) together with a central charge Z:K0(A)β†’CZ : K_0(\mathcal{A}) \to \mathbb{C} satisfying stability conditions. The space of stability conditions is a complex manifold.

ExampleRecollement

For a closed subvariety ZβŠ†XZ \subseteq X with complement UU, there is a recollement DZb(X)⇆Db(X)⇆Db(U)D^b_Z(X) \leftrightarrows D^b(X) \leftrightarrows D^b(U) that is compatible with t-structures. The perverse t-structure on Dcb(X)D^b_c(X) is constructed by gluing t-structures via recollement.

ExampleBBD decomposition

The Beilinson-Bernstein-Deligne (BBD) decomposition theorem states that for a proper map f:Xβ†’Yf : X \to Y, Rfβˆ—ICX≅⨁ipHi(Rfβˆ—ICX)[βˆ’i]Rf_* \mathrm{IC}_X \cong \bigoplus_i {}^p H^i(Rf_* \mathrm{IC}_X)[-i] in Dcb(Y)D^b_c(Y). This uses the perverse t-structure essentially.

ExampleDerived categories of hearts

For a bounded t-structure on Db(A)D^b(\mathcal{A}) with heart B\mathcal{B}, there is a realization functor Db(B)β†’Db(A)D^b(\mathcal{B}) \to D^b(\mathcal{A}). It is not always an equivalence, but it is for the standard t-structure.

ExampleIntermediate extensions

Given a locally closed subset j:Uβ†ͺXj : U \hookrightarrow X, the intermediate extension j!βˆ—j_{!*} sends perverse sheaves on UU to perverse sheaves on XX. It is defined using the perverse truncation functors and is neither left nor right exact in the classical sense.


Theorem6.3Heart is abelian

The heart T≀0∩Tβ‰₯0\mathcal{T}^{\leq 0} \cap \mathcal{T}^{\geq 0} of any t-structure is an abelian category. See the proof.

Remarkt-structures as a bridge

t-structures bridge the gap between abelian and triangulated categories. They allow one to:

  1. Recover abelian structure from a triangulated category.
  2. Construct new abelian categories (perverse sheaves, tilted hearts).
  3. Define cohomological functors and spectral sequences.