Semisimple Hopf actions on commutative domains. (Q2445367): Difference between revisions

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.