Related papers: On $G$-invariant Gorenstein ideals

This is a survey of results that extend notions of the classical invariant theory of linear actions by finite groups on $k[x_1, \dots, x_n]$ to the setting of finite group or Hopf algebra $H$ actions on an Artin-Schelter regular algebra…

We investigate the nearly Gorenstein property among $d$-dimensional cyclic quotient singularities $\Bbbk[[x_1,\dots,x_d]]^G$, where $\Bbbk$ is an algebraically closed field and $G\subseteq{\rm GL}(d,\Bbbk)$ is a finite small cyclic group…

In this paper, we study finiteness criteria for the Gorenstein homological dimension of groups over a commutative ring of finite Gorenstein weak global dimension and provide estimates for the Gorenstein weak global dimension of group rings.…

Let $G$ be a finite group, and $V$ a finite dimensional vector space over a field $k$ of characteristic dividing the order of $G$. Let $H \leq G$. The transfer map $k[V]^H \rightarrow k[V]^G$ is an important feature of modular invariant…

Let $G$ be a finite group and let $k$ be a sufficiently large finite field. Let $R(G)$ denote the character ring of $G$ (i.e. the Grothendieck ring of the category of ${\mathbb{C}}G$-modules). We study the structure and the representations…

Let $k$ be a field, let $G$ be a reductive algebraic group over $k$, and let $V$ be a linear representation of $G$. Geometric invariant theory involves the study of the $k$-algebra of $G$-invariant polynomials on $V$, and the relation…

Given a linear action of a group $G$ on a $K$-vector space $V$, we consider the invariant ring $K[V \oplus V^*]^G$, where $V^*$ is the dual space. We are particularly interested in the case where $V =\gfq^n$ and $G$ is the group $U_n$ of…

We study criteria for a ring - or more generally, for a small category - to be Gorenstein and for a module over it to be of finite projective dimension. The goal is to unify the universal coefficient theorems found in the literature and to…

We extend the notion of type sequence to rings that are not necessarily residually rational. Using this invariant we characterize different types of rings as almost Gorenstein rings and rings of maximal length.

We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…

Let $K$ be an algebraically closed field of characteristic $0$ and let $G$ be a finite cyclic group of order $n$. In this note we prove, using induction on the number of prime divisors of $n$, that $R_K(G)/I \cong \mathbb{Z}[X]/\langle…

Let p be a prime number and G be a finite commutative group such that p^{2} does not divide the order of G. In this note we prove that for every finite module M over the group ring Z_{p}[G], the inequality #M \leq…

We study the invariant theory of a class of quantum Weyl algebras under group actions and prove that the fixed subrings are always Gorenstein. We also verify the Tits alternative for the automorphism groups of these quantum Weyl algebras.

We give conditions on when a triangular matrix ring is Gorenstein of a given selfinjective dimension. We apply the result to the category algebra of a finite EI category. In particular, we prove that for a finite EI category, its category…

Consider a Noetherian domain $R$ and a finite group $G \subseteq Gl_n(R)$. We prove that if the ring of invariants $R[x_1, \ldots, x_n]^G$ is a Cohen-Macaulay ring, then it is generated as an $R$-algebra by elements of degree at most…

Consider the polynomial ring $R_n = k[x_1,...,x_n]$, where $k$ is a field. Let $m = (x_1,...,x_n)$ and $I$ be an $m$-primary monomial ideal in $R$. We consider the problem of determining whether such ideals are in the Gorenstein liasion…

Let R be a commutative noetherian ring. Lindo and Pande have recently posed the question asking when every ideal of R is isomorphic to some trace ideal of R. This paper studies this question and gives several answers. In particular, a…

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G) \subset S$ the edge ideal of a finite graph $G$ on $n$ vertices. Given a vector $\mathfrak{c}\in\mathbb{N}^n$ and an integer $q\geq 1$, we…

Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…

Given a Noetherian local ring (R,m) it is shown that there exists an integer l such that R is Gorenstein if and only if some system of parameters contained in m^l generates an irreducible ideal. We obtain as a corollary that R is Gorenstein…