Tilting bundles on orders on \(\mathbb P^d\) (Q273082): Difference between revisions

This paper introduces a Geigle-Lenzing order \(\Lambda\) on the projective space \(\mathbb{P}^d\) over a field \(k\), and shows that the category \(\mathrm{mod }\Lambda\) of modules over \(\Lambda\) is equivalent to the category \(\mathrm{coh }\mathbb{X}\) of coherent sheaves on a Geigle-Lenzing projective space \(\mathbb{X}\). The space \(\mathbb{X}\) is a higher dimensional generalization of Geigle-Lenzing weighted projective lines introduced in [\textit{M. Herschend} et al., ``Representation theory of Geigle-Lenzing complete intersections'', Preprint, \url{arXiv:1409.0668}]. It is associated to an \(n\)-tuple of hyperplanes \(L=(L_i)_{i=1}^n\) on \(\mathbb{P}^d\) in general position and an \(n\)-tuples of positive integers \(p=(p_i)_{i=1}^n\). The category \(\mathrm{coh }\mathbb{X}\) has an explicit description in terms of the data \(L\) and \(p\). See \S3.2 for the detail. The Geigle-Lenzing order \(\Lambda\) is a sheaf of certain matrix algebras over \(\mathbb{P}^d\), and it is also associated to the data \(L\) and \(p\). See \S2 for the detailed account. Taking a natural analog of Beilinson's tilting bundle over \(\mathbb{P}^d\), this paper constructs a tilting bundle \(T\) in the category \(\mathrm{mod }\Lambda\). See \S2 for the construction of \(T\). The proof of category equivalence is done by using the tilting bundle \(T\) and a general argument due to Artin and Zhang. The latter is a generalization of Serre's theorem on ample generalization of module category.