Compatibility of t-structures in a semiorthogonal decomposition (Q2156419): Difference between revisions

Let \(\mathcal T\) be a triangulated category and let \(\langle \mathcal{T}_1,\mathcal{T}_2\rangle\) (or more general \(\langle \mathcal{T}_1,\mathcal{T}_2\ldots\mathcal{T}_n\rangle\)) a semiorthogonal decomposition. The paper under review studies t-structures in \(\mathcal{T}\) which can be obtained by glueing t-structures in \(\mathcal{T}_1\) and \(\mathcal{T}_2\). In order to be precise, denote by \(\mathcal{T}_i^{\leq0}\) the t-structure in \(\mathcal{T}_i\), \(i=1,2\), with the usual shorthand \(\mathcal{T}_i^{\leq-n}=\mathcal{T}_i^{\leq0}[n]\). For two (full) subcategories (or equivalently classes of objects) \(\mathcal{X}\) and \(\mathcal{Y}\) of \(\mathcal T\) we denote by \(\mathcal{X}*\mathcal{Y}\) the full subcategory consisting of those objects \(Z\) which lie in a triangle \(X\to Z\to Y\to X[1]\) with \(X\in\mathcal{X}\) and \(Y\in\mathcal{Y}\). It is turn out that \[ \mathcal{T}^{\leq0}=\mathcal{T}_2^{\leq0}*\mathcal{T}_1^{\leq-1} \] is a t-structure provided that the initial t-structures satisfy a compatibility relation, namely \(\mathop{\mathrm{Hom}}(\mathcal{T}_1^{\leq0},\mathcal{T}_1^{\leq1})=0\). This result can be easily generalized to a semiortogonal decomposition with \(n\) terms. As a corollary it is shown that, for a field \(\mathbb K\), a \(\mathbb K\)-linear triangulated category with a full strong exceptional sequence \(\langle E_1,E_2\rangle\) with \(\dim_{\mathbb{K}}{\mathop{\mathrm{Hom}}}(E_1,E_2)<\infty\) is algebraic and equivalent to the bounded derived category of finite dimensional modules over \(\mathop{\mathrm{End}}(E_1\oplus E_2)\). Interestingly enough, the shifts which appear both in the compatibility relation and in the definition of the t-structure in \(\mathcal{T}\) corresponds somehow to a tilted version of the classical glued t-structure \[ \mathcal{T}_2^{\leq0}*\mathcal{T}_1^{\leq0} \] obtained by Beilinson, Berstein and Deligne in a case of a recollement.