Local cohomology associated to the radical of a group action on a noetherian algebra

An arbitrary group action on an algebra $R$ results in an ideal $mathfrak{r}$ of $R$. This ideal $mathfrak{r}$ fits into the classical radical theory, and will be called the radical of the group action. If $R$ is a noetherian algebra with finite GK-dimension and $G$ is a finite group, then the difference between the GK-dimensionsof $R$ and that of $R/mathfrak{r}$ is called the pertinency of the group action. We provide some methods to find elements of the radical, which helps to calculate the pertinency of some special group actions. The $mathfrak{r}$-adic local cohomology of $R$ is related to the singularities of the invariant subalgebra $R^G$. We establish an equivalence between the quotient category of the invariant $R^G$ and that of the skew group ring $R*G$ through the torsion theory associated to the radical $mathfrak{r}$. With the help of the equivalence, we show that the invariant subalgebra $R^G$ will inherit certain Cohen-Macaulay property from $R$.

Cohen-Macaulay invariant subalgebras of Hopf dense Galois extensions

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.