ScalingStacks

0MUA

Theorem 2.3 ([11], Theorem 1.3). Let 𝒯 be a triangulated category with set indexed coproducts. Suppose S is a compact rigid object of 𝒯 and assume that {Ξ£i⁒S|iβˆˆβ„€} is a generating set for 𝒯. Then the following forms a non-degenerate t-structure on 𝒯:

𝒳 = {Xβˆˆπ’―|Hom𝒯⁒(S,Ξ£i⁒X)=0⁒ for ⁒i>0},
𝒴 = {Xβˆˆπ’―|Hom𝒯⁒(S,Ξ£i⁒X)=0⁒ for ⁒i<0}.

Moreover, its heart β„‹=π’³βˆ©π’΄ is an admissible abelian subcategory of 𝒯 in the sense of [3], and the functor

Hom⁒(S,βˆ’):β„‹β†’Mod⁒(End⁒(S)op)

is an equivalence of categories.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

David Pauksztello

Original source: arXiv:0705.0102v2