Related papers: A criterion for regularity of local rings

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 $R$ be a commutative noetherian ring, $\fa$ an ideal of $R$ and $M,N$ finite $R$--modules. We prove that the following statements are equivalent. \begin{enumerate} \item[(i)] $\lc^{i}_{\fa}(M,N)$ is finite for all $i< n$. \item[(ii)]…

We introduce a new class of commutative noetherian DG-rings which generalizes the class of regular local rings. These are defined to be local DG-rings $(A,\bar{\mathfrak{m}})$ such that the maximal ideal $\bar{\mathfrak{m}} \subseteq…

The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f…

We show that for a Noetherian ring $A$ that is $I$-adically complete for an ideal $I$, if $A/I$ admits a dualizing complex, so does $A$. This gives an alternative proof of the fact that a Noetherian complete local ring admits a dualizing…

We show that a formal power series ring $A[[X]]$ over a noetherian ring $A$ is not a projective module unless $A$ is artinian. However, if $(A,{\mathfrak m})$ is local, then $A[[X]]$ behaves like a projective module in the sense that…

Let $R$ be a commutative Noetherian ring, $\fa$ be an ideal of $R$ and $M$ be an $R$-module. It is shown that if $\Ext^i_R(R/\fa,M)$ is minimax for all $i\leq \dim M$, then the $R$-module $\Ext^i_R(N,M)$ is minimax for all $i\geq 0$ and for…

A component of the moduli space M_g(Y,b) of stable maps from genus g curves to a variety Y is said to be regular if it is generically smooth and of the expected dimension provided by deformation theory. In this note we prove existence of…

Let $A$ be a regular ring containing a field $K$ of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $\deg A = 0$ and $\deg X_i = 1$ for all $i$. Let $G$ be a finite subgroup of $GL_m(A)$. Let $G$…

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $\mathfrak{a}$ be a proper ideal of $R$ and $M$ be an $R$-complex in $\mathrm{D}(R)$. We prove that if $M\in\mathrm{D}^f_\sqsubset(R)$ (respectively,…

Let $A$ be a commutative noetherian ring, let $\mathfrak{a}\subseteq A$ be an ideal, and let $I$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module $\Gamma_{\mathfrak{a}}(I)$…

Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…

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…

We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…

Let $R$ be a commutative Noetherian ring, $\Phi$ a system of ideals of $R$, $\fa \in \Phi$, $M$ an arbitrary $R$-module and $t$ a non-negative integer. Let $\mathcal{S}$ be a Melkersson subcategory of $R$-modules. Among other things, we…

Let $R$ be a commutative noetherian ring, and let $\mathscr{S}$(resp. $\mathscr{L}$) be a Serre(resp. localizing) subcategory of the category of $R$-modules. If $\Bbb F$ is an unbounded complex of $R$-modules Tor-perpendicular to…

Let R be a commutative Noetherian ring. We introduce a theory of formal local cohomology for complexes of R-modules. As an application, we establish some relations between formal local cohomology, local homology, local cohomology and local…

Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $\phi:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated…

Let $R$ be a commutative noetherian ring and $\mathfrak{a}$ an ideal of $R$. The goal of this paper is to establish the local-global principle for the artinianness dimension $r_{\mathfrak{a}}(M)$, where $r_{\mathfrak{a}}(M)$ is the smallest…

Given a commutative Noetherian local ring, we provide a criterion under which a totally acyclic minimal complex of free modules has symmetric growth.