Tilting preserves finite global dimension (Q2208987)

It is known that tilting modules or tilting complexes could induce the derived equivalences between algebras, see [\textit{D. Happel}, Triangulated categories in the representation theory of finite dimensional algebras. Cambridge (UK) etc.: Cambridge University Press (1988; Zbl 0635.16017)] and [\textit{J. Rickard}, J. Lond. Math. Soc., II. Ser. 39, No. 3, 436--456 (1989; Zbl 0642.16034)]. Under these derived equivalences, there are several important homological invariants, for example, Grothendieck group, Hochschild cohomology and the finiteness of global dimension. Similar facts hold in the geometric examples. Given a tilting object of the derived category of an abelian category of finite global dimension, the authors gave (under suitable finiteness conditions) a bound for the global dimension of its endomorphism ring. The details are as follows.\par Let \(\mathscr{A}\) be an abelian category. Denote by \(\mathbf{D}(\mathscr{A})\) the derived category of \(\mathscr{A}\). Assume that \(T\in\mathbf{D}(\mathscr{A})\) satisfies \(\text{Hom}_{\mathbf{D}(\mathscr{A})}(T,\Sigma^{i}T)=0\), for any \(i\neq0\), and \(\Lambda=\text{End}_{\mathbf{D}(\mathscr{A})}(T)\). The authors consider the following settings.\par For the first setting, the authors defined the tilting objects in \(\mathbf{D}^{b}(\mathscr{A})\). By definition, \(T\in\mathbf{D}^{b}(\mathscr{A})\) is said to be tilting if \(\mathbf{D}^{b}(\mathscr{A})\) equals the thick subcategory generated by \(T\). The first main result is as follows.\par Theorem A. Let \(T\in \mathbf{D}^{b}(\mathscr{A})\) be tilting. Suppose that \(\mathscr{A}\) is noetherian, that is, each object in \(\mathscr{A}\) is noetherian. Then the global dimension of \(\Lambda\) is at most \(2d+t\), where \(d\) is the global dimension of \(\mathscr{A}\) and \(t\) the smallest integer such that \(\text{H}^{i}T= 0\) for all \(i\) outside an interval of length \(t\). Moreover, \(\textbf{R}\text{Hom}(T,-)\) induces a triangle equivalence \(\mathbf{D}^{b}(\mathscr{A})\xrightarrow{\sim} \mathbf{D}^{b}(\text{mod}\Lambda)\) when \(\Lambda\) is right coherent.\par For the second setting, assume that \(\mathscr{A}\) is a Grothendieck category so that \(\mathbf{D}(\mathscr{A})\) has arbitrary (set-indexed) coproducts given by coproducts of complexes. Under this setting, the defined the tilting objects in \(\mathbf{D}(\mathscr{A})\). By definition, \(T\in\mathbf{D}(\mathscr{A})\) is said to be tilting if it is compact and \(\mathbf{D}(\mathscr{A})\) equals the localizing subcategory generated by \(T\). With this terminology, the second main result of the paper under review can be reformulated as follows:.\par Theorem B. Let \(T\in \mathbf{D}(\mathscr{A})\) be tilting. Then \(\textbf{R}\text{Hom}(T,-)\) induces a triangle equivalence \(\mathbf{D}(\mathscr{A})\xrightarrow{\sim} \mathbf{D}(\text{Mod}\Lambda)\) and \(\text{gl.dim}\Lambda \leq 2d +t \), where \(d\) and \(t\) are defined as in Theorem A.\par In fact, Theorem A is deduced from Theorem B. This nicely written paper unifies the results in the algebraic and geometric examples, which show that tilting preserves finite global dimension.