Some quantum P³s with one point (Q4236948)

The authors consider a certain \(1\)-parameter family \(A(q,\lambda)\) of four dimensional regular graded algebras in the sense of \textit{M. Artin} and \textit{W. F. Schelter} [Adv. Math. 66, 171-216 (1987; Zbl 0633.16001)], where \(\lambda\) is a nonzero parameter in an algebraically closed field of characteristic different from two and \(q^4=1\). The algebra \(A(q,\lambda)\) was defined by \textit{M. Vancliff}, \textit{K. Van Rompay} and \textit{L. Willaert} [Commun. Algebra 26, No. 4, 1193-1208 (1998; Zbl 0915.16035)] on four generators with six quadratic defining relations. The study of \(A(q,\lambda)\) sprouts in the geometric theory of regular algebras initiated by \textit{M. Artin}, \textit{J. Tate} and \textit{M. Van den Bergh} [Prog. Math. 86, 33-85 (1990; Zbl 0744.14024)], where the notion of quantum \(\mathbb{P}^2\) (quantum projective plane) was used to classify the regular algebras of dimension three generated by degree one elements. The authors suggest that an appropriate notion of quantum \(\mathbb{P}^3\) should help in the classification of regular algebras of global dimension four. The scheme-theoretic zero locus in \(\mathbb{P}^3\times\mathbb{P}^3\) of the defining relations of \(A(q,\lambda)\) is obtained by the multilinearization process explained by \textit{M. Artin}, \textit{J. Tate} and \textit{M. Van den Bergh} [loc. cit.]. If \(q^3\neq 1\), then \(\Gamma(q,\lambda)\) is the graph of an automorphism of a subscheme \(P(q,\lambda)\) of \(\mathbb{P}^3\) (Lemma 1.7) which consists of one point of multiplicity 20 (Lemma 1.5). This scheme is referred to as the point scheme of \(A(q,\lambda)\), and it parametrises the point modules over \(A(q,\lambda)\). The stalk \({\mathcal O}_{P(q,\lambda)}\) at the only point is explicitly computed and it becomes a Frobenius algebra (Theorem 2.4). Moreover, the zero locus \(\Gamma(q,\lambda)\) completely determines the relations of the algebra \(A(q,\lambda)\).