Related papers: Open loci results for commutative DG-rings
We prove that the generic quantized coordinate ring $\mathcal{O}_q(G)$ is Auslander-regular, Cohen-Macaulay, and catenary for every connected semisimple Lie group $G$. This answers questions raised by Brown, Lenagan, and the first author.…
The face ring of a homology manifold (without boundary) modulo a generic system of parameters is studied. Its socle is computed and it is verified that a particular quotient of this ring is Gorenstein. This fact is used to prove that the…
Let $(R,\fm)$ be a commutative Noetherian local ring. Suppose that $M$ and $N$ are finitely generated modules over $R$ such that $M$ has finite projective dimension and such that $\Tor^R_i(M,N)=0$ for all $i>0$. The main result of this note…
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…
Over a Cohen-Macaulay local ring, the minimal number of generators of a maximal Cohen-Macaulay module is bounded above by its multiplicity. In 1984 Ulrich asked whether there always exist modules for which equality holds; such modules are…
Let $\mathfrak{q}$ be an ideal of a Noetherian local ring $(A,\mathfrak{m})$ and $M$ a non-zero finitely generated $A$-module. We present a criterion of Cohen-Macaulayness of the form module $G_M(\mathfrak{q})$ in terms of (non-)vanishing…
The principle "Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra" is given in [3]. There is a remarkable body of evidence supporting this claim (cf. [2] and [3]). Perhaps one of the…
We give an exposition and generalization of Orlov's theorem on graded Gorenstein rings. We show the theorem holds for non-negatively graded rings which are Gorenstein in an appropriate sense and whose degree zero component is an arbitrary…
Via the BGG-correspondence a simplicial complex D on [n] is transformed into a complex of coherent sheaves L(D) on the projective space n-1-space. In general we compute the support of each of its cohomology sheaves. When the Alexander dual…
A finitely generated module $M$ over a commutative Noetherian ring $R$ is called an $I$-Cohen Macaulay module, if \[ \grade(I,M) + \dim(M/IM)= \dim(M), \] where $I$ is a proper ideal of $R$. The aim of this paper is to study the structure…
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…
Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical…
We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring…
Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…
Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, $M$ a finite $R$--module and $X$ an arbitrary $R$--module. Here, we show that, in the Serre subcategories of the category of $R$--modules, how the…
In this paper we investigate a property for commutative rings with identity which is possessed by every coherent regular ring and is equivalent to Cohen-Macaulay for Noetherian rings. We study the behavior of this property in the context of…
Let $(R, \m, k)$ be a complete Cohen-Macaulay local ring. In this paper, we assign a numerical invariant, for any balanced big Cohen-Macaulay module, called $\uh$-length. Among other results, it is proved that, for a given balanced big…
We study commutative Cohen-Macaulay rings whose Cohen-Macaulay representation theory are controlled by representations of quivers, which we call hereditary representation type. Based on tilting theory and cluster tilting theory, we…
Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…
Using techniques coming from the theory of marked bases, we develop new computational methods for detection and construction of Cohen-Macaulay, Gorenstein and complete intersection homogeneous polynomial ideals. Thanks to the functorial…