Degree bounds for Hopf actions on Artin-Schelter regular algebras (Q2074822)

Artin-Schelter regular algebras generated in degree one share many of the homological properties of commutative polynomial algebras and therefore provide a natural framework to develop a noncommutative extension of commutative invariant theory. Indeed, several existing papers show that results concerning group actions on commutative polynomial rings have a generalization for actions of Hopf algebras on Artin-Schelter regular algebras. On the other hand, not much was known about degree bounds for generators of invariant algebras in this noncommutative setting. In the present paper, the authors focus on the following situation: \(T\) is a connected graded noetherian Artin-Schelter regular algebra, which is a left \(H\)-module algebra, where \(H\) is a semisimple, hence finite-dimensional Hopf algebra. They give examples showing that unlike the classical case of finite groups acting on commutative polynomial rings, there is no general upper bound for the maximal degree of generators of \(T^H\) depending only on the dimension of \(H\) and the global dimension of \(T\). The present paper is motivated by the following general question: is there a bound for the maximal degree of the generators of \(T^H\) in terms of the dimension of \(H\), the global dimension of \(T\), and the Castelnuovo-Mumford regularity of \(T\)? The authors prove several upper bounds on the degrees of the minimal generators of the invariant subring, and on the degrees of syzygies of modules over the invariant subring. These results are noncommutative analogues of statements for group actions on commutative polynomial rings proved by Noether, Fogarty, Fleischmann, Derksen, Sidman, Chardin, and Symonds. Just to give a sample of the results of the paper, we mention the following theorem: if \(T\) is a connected graded noetherian Artin-Schelter regular domain of injective dimension \(\ge 2\) generated in degree \(1\), the crossed product \(T\# H\) is prime, and \(T^H\) has finite global dimension, then \(T^H\) is generated by elements of degree at most \(\dim(H)\). Moreover, the cases when the above bound is sharp are characterized. The paper discusses numerous examples and ends with a list of related open questions.