On quantum groups associated to non-Noetherian regular algebras of dimension 2 (Q330006): Difference between revisions

The authors pursue the principle (attributed to Manin) that the universal quantum groups coacting on an Artin-Schelter regular algebra \(R\) should possess the same homological and ring-theoretic properties as \(R\) does. The present paper addresses the class of (not necessarily Noetherian) AS-regular quadratic algebras of global dimension \(2\) over an algebraically closed field \(k\) of characteristic zero. These algebras, \(A(\mathbb E)\), were classified by \textit{J. J. Zhang} in [Proc. Am. Math. Soc. 126, No. 6, 1645--1653 (1998; Zbl 0902.16036)] and are given by \(n\) generators and one relation coming from a matrix \(\mathbb E \in \mathrm{GL}_n(k)\). There are two universal quantum linear groups that coact on \(A(\mathbb E)\) with trivial homological codeterminant: a Hopf algebra \(\mathcal{O}_{A(\mathbb E)}(\mathrm{SL})\) defined by \textit{Yu. I. Manin} [Quantum groups and non-commutative geometry. Montréal: Université de Montréal, Centre de Recherches Mathématiques (CRM) (1988; Zbl 0724.17006)] and a Hopf algebra \(\mathcal{B}(\mathbb E^{-1})\) constructed by \textit{M. Dubois-Violette} and \textit{G. Launer} [Phys. Lett., B 245, No. 2, 175--177 (1990; Zbl 1119.16307)]. It is proved that these Hopf algebras are isomorphic; that they are AS-regular of global dimension \(3\) (but not necessarily Noetherian); and that they are skew Calabi-Yau. Moreover, if \(\mathbb E\) is either symmetric, or skew-symmetric of even size, then \(\mathcal{O}_{A(\mathbb E)}(\mathrm{SL})\) is Calabi-Yau and involutory (meaning that the square of the antipode is the identity). Additional ring-theoretic properties of \(\mathcal{O}_{A(\mathbb E)}(\mathrm{SL})\) are also established. Variants of \(\mathcal{O}_{A(\mathbb E)}(\mathrm{SL})\), some of which are proved to lie within a family constructed by \textit{C. Mrozinski} [J. Noncommut. Geom. 8, No. 1, 107--140 (2014; Zbl 1292.16027)], are also investigated. These provide universal quantum groups that either coact on \(A(\mathbb E)\) with central homological codeterminant, or are involutory (the latter coact on \(A(\mathbb E)\) with arbitrary homological codeterminant). The authors prove that these Hopf algebras are Noetherian if and only if they have finite Gelfand-Kirillov dimension, if and only if \(A(\mathbb E)\) is Noetherian (or has finite Gelfand-Kirillov dimension), if and only if (by [Zhang, loc. cit.]) \(\mathbb E\) is \(2\times2\). Finally, some conditions for Hopf quotients of these quantum groups that coact on \(A(\mathbb E)\) to be cocommutative are established.