Hereditary abelian categories with tilting object over arbitrary base fields (Q1858226): Difference between revisions

The authors characterize Ext-finite hereditary abelian \(R\)-categories with a tilting object, where \(R\) is a commutative Artinian ring. Ext-finite means that \(\hom_{\mathcal H}(A,B)\) and \({\text{Ext}}_{\mathcal H}(A,B)\) are finitely generated over \(R\) for all \(A,B\in\text{Ob} \mathcal H\). An object \(T\) of \(\mathcal H\) is said to be a tilting object if \({\text{Ext}}_{\mathcal H}(T,T)=0\) and \(T^\bot=0\). Recently, the first author has proved that if \(\mathcal H\) is connected and \(R\) an algebraically closed field, then up to derived equivalence, \(\mathcal H\) is of the form \(H\)-\textit{mod} for a finite-dimensional hereditary \(R\)-algebra \(H\) or \(\text{coh} \mathbb{X}\) (= coherent sheaves) for some weighted projective line \(\mathbb{X}\) in the sense of Geigle and Lenzing. The \(R\)-algebras of the form \(\text{End}_{\mathcal H}(T)\) with \(\mathcal H\) and \(T\) as above are said to be quasi-tilted. They generalize tilted algebras (in case \(\mathcal H \approx H\)-\textit{mod}) and the canonical algebras (in case \(\mathcal H\approx\text{coh} \mathbb{X}\)). In the present article, it is proved that the characterization of \(\mathcal H\) remains true for arbitrary fields, or slightly more generally, for commutative Artinian rings \(R\). Some extra work was necessary for this general result, e.g., in the case where \(\mathcal H\) has simple objects. Here the authors develop a new approach which is also more elegant when \(R\) is an algebraically closed field.