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 D {\displaystyle {\mathcal {D}}} consists of two subcategories ( D ≤ 0 , D ≥ 0 ) {\displaystyle ({\mathcal {D}}^{\leq 0},{\mathcal {D}}^{\geq 0})} 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.
Definition Fix a triangulated category D {\displaystyle {\mathcal {D}}} with translation functor [ 1 ] {\displaystyle [1]} . A t-structure on D {\displaystyle {\mathcal {D}}} is a pair ( D ≤ 0 , D ≥ 0 ) {\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.
If X is an object of D ≤ 0 {\displaystyle {\mathcal {D}}^{\leq 0}} and Y is an object of D ≥ 0 {\displaystyle {\mathcal {D}}^{\geq 0}} , then Hom D ( X , Y [ − 1 ] ) = 0. {\displaystyle \operatorname {Hom} _{\mathcal {D}}(X,Y[-1])=0.}
… excerpt ends here. Continue reading the full article.
