The one-dimensional line scheme of a certain family of quantum \(\mathbb{P}^3\mathrm{s}\) (Q2515615)

A \textit{quantum \(\mathbb P^{n-1}\)} is a not necessarily commutative, regular \(k\)-algebra of global dimension \(n\). A quantum \(\mathbb P^{n-1}\) is called \textit{quadratic} if it is defined by quadratic relations. Artin, Tate, and Van den Bergh [\textit{M. Artin} et al., Prog. Math. 86, 33--85 (1990; Zbl 0744.14024)] classified quantum \(\mathbb P^2\)'s according to their point schemes (scheme of closed points, simple modules), and the point scheme of the most generic quadratic quantum \(\mathbb P^2\) is pictured by an elliptic curve in \(\mathbb P^2\). In the present article, the authors study the similar task for quantum \(\mathbb P^3\)'s. The point scheme is no longer sufficient, and an additional invariant is needed. The second author together with B. Shelton introduced the concept of a line scheme, which is a certain scheme of lines in some \(\mathbb P^n\), given by a precise construction of Plücker coordinates. In the case of quantum \(\mathbb P^3\)'s, the line scheme is a collection of lines in \(\mathbb P^5\). The authors state that if a generic quantum \(\mathbb P^3\) exists, then it has a point scheme consisting of exactly 20 distinct points and a 1-dimensional line scheme. A family \(\mathcal A(\gamma)\) of quantum \(\mathbb P^3\)'s appeared in a study by the second author together with T. Cassidy on a study of generalized Clifford algebras, and in this article the authors compute the line scheme of the algebras in this family where the generic member is stated as a candidate for a generic quantum \(\mathbb P^3\). The family in question is given as follows: Let \(\gamma\in\Bbbk^\times\). Then \(\mathcal A(\gamma)\) is the \(\Bbbk\)-algebra with generators \(x_1,\dots,x_4\) with defining relations: \(x_4x_1=ix_1x_4,\;x_3^2=x_1^2,\;x_3x_1=x_1x_3-x_2^2,\;x_3x_2=ix_2x_3,\;x_4^2=x_2^2,\;x_4x_2=x_2x_4-\gamma x_1^2.\) By construction, \(\mathcal A(\gamma)\) is a regular Noetherian domain of global dimension four with Hilbert series the same as the polynomial algebra in four variables. The authors compute the point scheme of the algebras \(A(\lambda)\), and they compute the line schemes and identify the lines in \(\mathbb P^3\) to which the points of the line schemes correspond. (Notice that this are the points through which the lines pass, and it is also a moduli of lines; hence the term \textit{line scheme}.) The results of the computations are the following: The line scheme of the generic member is the union of seven curves: A nonplanar elliptic curve in a \(\mathbb P^3\) (a spatial ellipic curve), four planar elliptic curves and two nonsingular conics. If \(p\) is one of the generic points of the point scheme, then there are exactly six distinct lines of the line scheme that pass through \(p\). The result of this article suggest that the line scheme of the most generic quadratic quantum \(\mathbb P^3\) is obtainable as the union of two spatial elliptic curves and four planar elliptic curves. This is a clean cut article, with explicit computations. The line schemes are cofactors of explicit matrices, i.e. determinantal varieties, making up the Plücker coordinates, and all the resulting polynomials are listed in the appendix. The article is very nice to read, and the results are interesting and typical algebraic geometry.