scientific article; zbMATH DE number 15823

From MaRDI portal
Publication:3972472





[For the entire collection see Zbl 0727.00022.] This paper deals with a generalization of mutations of exceptional sequences of vector bundles and helices studied by \textit{J. M. Drezet} and \textit{J. Le Potier} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 18, 193- 243 (1985; Zbl 0586.14007)] and \textit{A. L. Gorodentsev} and \textit{A. N. Rudakov} [Duke Math. J. 54, 115-130 (1987; Zbl 0646.14014)] to arbitrary triangulated categories. There are also connections to the theory of tilting modules introduced by \textit{S. Brenner} and \textit{M. C. R. Butler} in Representation theory II, Proc. 2nd int. Conf., Ottawa 1979, Lect. Notes Math. 832, 103-169 (1980; Zbl 0446.16031) which are studied in representation theory of algebras. Let \({\mathcal C}\) be a triangulated \(k\)-category defined over some field \(k\). An object \(E\) of \({\mathcal C}\) is called an exceptional object if \(\Hom(E,E)=k\) and \(\Hom(E,E[i])=0\) for \(i\neq 0\). A sequence \(\sigma=(E_ 0,E_ 1,\ldots,E_ n)\) of exceptional objects is called an exceptional sequence if \(\Hom(E_ i,E_ j[r])=0\) for all \(i>j\) and all \(r\in\mathbb{Z}\). If moreover \(\Hom(E_ i,E_ j[r])=0\) for all \(i,j\) and \(r\neq 0\) then \(\sigma\) is called a strongly exceptional sequence. The author proves that if \({\mathcal C}\) is generated by the elements of a strongly exceptional sequence then \({\mathcal C}\) is equivalent to the derivative category \(D^ b\hbox{mod}(A)\) of right modules over the algebra \(A=\hbox{End}(\oplus E_ i)\). Provided \({\mathcal C}=D^ b(\hbox{coh}(X))\), where \(\hbox{coh}(X)\) is the category of coherent sheaves over a projective algebraic variety \(X\), several examples are studied. Moreover, under the additional assumption that the anticanonical class of \(X\) is very ample, it is shown that for an exceptional sequence \(\sigma=(E_ 0,E_ 1,\ldots,E_ n)\) the following conditions are equivalent: (i) the \(E_ i\) generate \(D^ b(\hbox{coh}(X))\) as a triangulated category, (ii) \(\sigma\) is the foundation of a helix. Finally, the author studies from a purely algebraic point of view the problem when mutations of a strongly exceptional sequence remain strongly exceptional. The result are certain homological conditions for the algebra \(A=\hbox{End}(\oplus E_ i)\). Algebras satisfying these conditions generalize Koszul algebras. Note that the main results of this article are already published in Math. USSR, Izv. 34, No. 1, 23-43 (1990); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 53, No. 1, 25-44 (1989; Zbl 0692.18002).




Cited in
(34)








This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3972472)