Regularity of involutory PI Hopf algebras. (Q1858238)

A classical theorem asserts that in characteristic 0, a commutative Hopf algebra is regular, i.e., has finite global dimension, if it is affine, i.e., finitely generated as an algebra [\textit{W. C. Waterhouse}, Introduction to affine group schemes (Springer-Verlag, New York) (1979; Zbl 0442.14017)]. The paper investigates regularity in the non-commutative setting. Results of \textit{R. G. Larson} and \textit{D. E. Radford} [J. Algebra 117, No. 2, 267-289 (1988; Zbl 0649.16005) and Am. J. Math. 110, No. 1, 187-195 (1988; Zbl 0637.16006)] show that in characteristic 0, a finite dimensional Hopf algebra is semisimple (i.e., has global dimension 0) if, and only if it is involutory (i.e., its antipode has order 2). The authors generalize part of this result to infinite dimensional Hopf algebras as follows: If an involutory Hopf algebra is finite over its affine center, then it is regular. In non-zero characteristic, the authors offer the following more restricted theorem: Let \(H\) be a Noetherian, affine, involutory PI Hopf algebra (PI meaning that \(H\) satisfies a polynomial identity) defined over a field of characteristic \(p\). If \(p\) does not divide the dimension of any finite-dimensional simple \(H\)-modules, then \(H\) is regular if, and only if it is semiprime. If these conditions hold then, the authors observe, the Hopf algebra is Auslander regular, and Cohen-Macaulay.