Let $H$ be a semisimple Hopf algebra, and let $R$ be a noetherian left $H$-module algebra. If $R/R^H$ is a right $H^*$-dense Galois extension, then the invariant subalgebra $R^H$ will inherit the AS-Cohen-Macaulay property from $R$ under some mild conditions, and $R$, when viewed as a right $R^H$-module, is a Cohen-Macaulay module. In particular, we show that if $R$ is a noetherian complete semilocal algebra which is AS-regular of global dimension 2 and $H=operatorname{bf k} G$ for some finite subgroup $Gsubseteq Aut(R)$, then all the indecomposable Cohen-Macaulay module of $R^H$ is a direct summand of $R_{R^H}$, and hence $R^H$ is Cohen-Macaulay-finite, which generalizes a classical result for commutative rings. The main tool used in the paper is the extension groups of objects in the corresponding quotient categories.
In this work we study the deformations of a Hopf algebra $H$ by partial actions of $H$ on its base field $Bbbk$, via partial smash product algebras. We introduce the concept of a $lambda$-Hopf algebra as a Hopf algebra obtained as a partial smash product algebra, and show that every Hopf algebra is a $lambda$-Hopf algebra. Moreover, a method to compute partial actions of a given Hopf algebra on its base field is developed and, as an application, we exhibit all partial actions of such type for some families of Hopf algebras.
We study actions of semisimple Hopf algebras H on Weyl algebras A over a field of characteristic zero. We show that the action of H on A must factor through a group algebra; in other words, if H acts inner faithfully on A, then H is cocommutative. The techniques used include reduction modulo a prime number and the study of semisimple cosemisimple Hopf actions on division algebras.
For any gentle algebra $Lambda=KQ/langle Irangle$, following Kalck, we describe the quiver and the relations for its Cohen-Macaulay Auslander algebra $mathrm{Aus}(mathrm{Gproj}Lambda)$ explicitly, and obtain some properties, such as $Lambda$ is representation-finite if and only if $mathrm{Aus}(mathrm{Gproj}Lambda)$ is; if $Q$ has no loop and any indecomposable $Lambda$-module is uniquely determined by its dimension vector, then any indecomposable $mathrm{Aus}(mathrm{Gproj}Lambda)$-module is uniquely determined by its dimension vector.
We prove that any action of a finite dimensional Hopf algebra H on a Weyl algebra A over an algebraically closed field of characteristic zero factors through a group action. In other words, Weyl algebras do not admit genuine finite quantum symmetries. This improves a previous result by the authors, where the statement was established for semisimple H. The proof relies on a refinement of the method previously used: namely, considering reductions of the action of H on A modulo prime powers rather than primes. We also show that the result holds, more generally, for algebras of differential operators. This gives an affirmative answer to a question posed by the last two authors.