Residue complex for regular algebras of dimension 2 (Q1907173)

The aim of this paper is to construct a minimal injective resolution for an Artin-Schelter regular algebra of dimension 2, that is, for a twisted, homogeneous coordinate ring of the projective line: \(B(X, \sigma, L)\), where \(X = \mathbb{P}^1_k\), \(\sigma\) is an automorphism of \(X\), \(L={\mathcal O}_X (1)\). The first step is a unique factorization result for \(B(X, \sigma, L)\), generalizing the classical unique factorization in \(A = B(X,i,L)\), where \(i\) is the identity: The trick consists in substituting irreducible elements with products of irreducible elements in the same orbit. The classical minimal projective resolution: \[ 0 \to A \to K_A @>\alpha>>\bigoplus_{p \in \mathbb{P}^1_k} (K_A/A_p) \to A'(2) \to 0 \] is now replaced by: \[ 0 \to B \to K_B @>\alpha>> \bigoplus_{\text{orbits} w} (K_B/B_w) \to B'(2) \to 0 \] where: \(K_B\) is the graded quotient ring of \(B\), \(B' = \Hom_k (B,k)\), \(B_w\) is the localization of \(B\) at an orbit \(w\) of points of \(\mathbb{P}^1\) under the action of \(w\). The paper ends with an appendix on Serre duality for regular algebras.