Semisimple Hopf actions on commutative domains.

From MaRDI portal
Publication:2445367



Abstract: Let H be a semisimple (so, finite dimensional) Hopf algebra over an algebraically closed field k of characteristic zero and let A be a commutative domain over k. We show that if A arises as an H-module algebra via an inner faithful H-action, then H must be a group algebra. This answers a question of E. Kirkman and J. Kuzmanovich and partially answers a question of M. Cohen. The main results of this article extend to working over k of positive characteristic. On the other hand, we obtain results on Hopf actions on Weyl algebras as a consequence of the main theorem.


Let \(k\) be an algebraically closed field of characteristic zero and let \(H\) be a Hopf algebra over \(k\). In this paper the authors consider actions of \(H\) on an algebra \(A\), such that \(h.(ab)=(h_{(1)}.a)(h_{(2)}.b)\) and \(h.1=\varepsilon(h)1\), \(h\in H\), \(a,b\in A\). Some authors say in this case that \(H\) 'measures' the algebra \(A\). The action of \(H\) on \(A\) is called \textit{inner faithful} if it does not factor through a quotient \(H/I\) for a nonzero Hopf ideal \(I\). The main result of the paper asserts that if a finite dimensional cosemisimple Hopf algebra \(H\) over \(k\) acts inner faithfully on a commutative domain over \(k\), then \(H\) is a finite group algebra. This answers a question of E. Kirkman and J. Kuzmanovich and also gives a partial answer to a question of \textit{M. Cohen} [in Lect. Notes Pure Appl. Math. 158, 25-38 (1994; Zbl 0831.17006)]. As a consequence of the main result, the authors show that if a finite dimensional Hopf algebra \(H\) acts inner faithfully on the \(n\)-th Weyl algebra preserving the standard filtration, then \(H\) is a finite group algebra, answering a question of \textit{K. Chan, C. Walton, Y. H. Wang} and \textit{J. J. Zhang} [J. Algebra 397, 68-90 (2014; Zbl 1306.16026)]. It is also shown that the main result also holds in positive characteristic, provided that the Hopf algebra \(H\) is semisimple and cosemisimple.




Cited in
(44)








This page was built for publication: Semisimple Hopf actions on commutative domains.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2445367)