Tilting bundles and the missing part on a weighted projective line of type \((2, 2, n)\) (Q2259172)

The article under review studies tilting bundles in the category of coherent sheaves on a weighted projective line \(\mathbb{X}\) of type \((2,2,n)\). Weighted projective lines are objects from algebraic geometry (they are smooth 1-dimensional Deligne--Mumford stacks whose generic stabilizer is trivial) whose categories of coherent sheaves are studied in representation theory using modules over concealed algebras. The category \(\mathop{\mathrm{coh}}\mathbb{X}\) is defined as the quotient category \(\mathop{\mathrm{mod}}^{\mathbb{L}}S/\mathop{\mathrm{mod}}_0^{\mathbb{L}}S\) where~\(\mathbb{L}\) is a grading group on the algebra \(S=k[X_1,X_2,X_3]/(X_3^{n_3}-X_2^{n_2}+X_1^{n_1})\), having Serre's theorem for projective varieties in mind as a guiding principle. If~\(\mathbb{L}\) is the partially ordered abelian group of rank~1 \[ \mathbb{L}=\langle\vec{x}_1,\vec{x}_2,\vec{x}_3\mid \vec{c}:=2\vec{x}_1=2\vec{x}_2=n\vec{x}_2 \rangle \] we say that \(\mathbb{X}\) is a weighted projective line of type \((2,2,n)\). The representation-theoretic counterparts of this type of weighted projective lines are tame concealed algebras of type \(\tilde{\mathrm{D}}_n\). The goal of the article is two-fold: first to classify tilting bundles \(T\) on such an \(\mathbb{X}\) of type \((2,2,n)\), and second to understand what the relationship is between the \textit{abelian} categories \(\mathop{\mathrm{coh}}\mathbb{X}\) and \(\mathop{\mathrm{mod}}\Lambda\) where \(\Lambda=\mathop{\mathrm{End}}_{\mathbb{X}}(T)\) is an associated concealed algebra. If the latter algebra is not hereditary there is a ``missing part'', an additive quotient category of \(\mathop{\mathrm{coh}}\mathbb{X}\) that encodes the indecomposables that have been lost in the tilting process. In the case of a tilting bundle on a weighted projective line of type \((2,2,n)\) this additive subcategory turns out to be abelian, and can be completely described in terms of the classification of tilting bundles. After the introduction and a section containing preliminaries on weighted projective lines, the classification of tilting bundles is performed in section~3. This classification is parallel to the classification of tame concealed algebras of type \(\tilde{\mathrm{D}}_n\) as performed in [\textit{D. Happel} and \textit{D. Vossieck}, Manuscr. Math. 42, 221--243 (1983; Zbl 0516.16023)]. If a tilting bundle consists of only line bundles it can be shown that it is up to a twist with a line bundle isomorphic to the canonical tilting bundle \(T_{\mathrm{can}}=\bigoplus_{0\leq\vec{x}\leq\vec{c}}\mathcal{O}(\vec{x})\). Every indecomposable vector bundle on a weighted projective line is of rank~1 or~2, and the classification of tilting bundles with a summand of rank~2 says that every such bundle decomposes into three pieces: a direct sum of vector bundles of rank~2 from a subslice \(\{E_k\mid i\leq k\leq j\}\) of the Auslander--Reiten quiver of \(\mathop{\mathrm{vect}}\mathbb{X}\) for some \(2\leq i\leq j\leq n\) and two direct sums of line bundles related to the vector bundles \(E_i\) and \(E_j\). With this classification in hand the missing part is studied in section~4. This is the additive category defined as the quotient \(\mathop{\mathrm{coh}}\mathbb{X}/[\mathcal{X}_0\cup\mathcal{X}_1]\) where \(\mathcal{X}_i=\{M\in\mathop{\mathrm{coh}}\mathbb{X}\mid\mathop{\mathrm{Ext}}^j(T,M)=0,j\neq i\}\) are the components of the torsion pair induced by the tilting bundle \(T\). If the tilting bundle \(T\) only contains line bundles as summands it was previously shown by the authors that the missing part is abelian and equivalent to \(\mathop{\mathrm{mod}}k\mathrm{A}_{n-1}\) [\textit{J. Chen} et al., Sci. China, Math. 57, No. 2, 245--258 (2014; Zbl 1286.14031)]. For the case where the tilting bundle contains a summand of rank~2 the category is again abelian, and moreover decomposes as the product of two abelian categories which are shown to be equivalent to \(\mathop{\mathrm{mod}}k\mathrm{A}_i\) resp.\ \(\mathop{\mathrm{mod}}k\mathrm{A}_{n-j}\).