Related papers: Sequence-regular commutative DG-rings
Let $R$ be a commutative noetherian local differential graded (DG) ring. In this paper we propose a definition of a maximal Cohen-Macaulay DG-complex over $R$ that naturally generalizes a maximal Cohen-Macaulay complex over a noetherian…
In this paper, we introduce generalized Gorenstein local (GGL) rings. The notion of GGL rings is a natural generalization of the notion of almost Gorenstein rings, which can thus be treated as part of the theory of GGL rings. For a…
Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…
In this paper we give several classes of Non-Gorenstein local rings $A$ which satisfy the property that $\text{Ext}^i_A(M, A) = 0$ for $i \gg 0$ then $\text{projdim}_A M$ is finite. We also show that if $\text{injdim}_A M = \infty$ then…
We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…
We prove a generalized Dade's Lemma for quotients of local rings by ideals generated by regular sequences. That is, given a pair of finitely generated modules over such a ring with algebraically closed residue field, we prove a sufficient…
We introduce a new class of commutative {non-noetherian} rings, called $n$-subperfect rings, generalizing the almost perfect rings that have been studied recently by Fuchs-Salce. For an integer $n \ge 0$, the ring $R$ is $n$-subperfect if…
We consider commutative DG rings (better known as nonpositive strongly commutative associative unital DG algebras). For such a DG ring $A$ we define the notions of perfect, tilting, dualizing, Cohen-Macaulay and rigid DG $A$-modules.…
We define and study a notion of G-dimension for DG-modules over a non-positively graded commutative noetherian DG-ring $A$. Some criteria for the finiteness of the G-dimension of a DG-module are given by applying a DG-version of projective…
By extending some basic results of Grothendieck and Foxby about local cohomology to commutative DG-rings, we prove new amplitude inequalities about finite DG-modules of finite injective dimension over commutative local DG-rings,…
A classical result of Micali asserts that a Noetherian local ring is regular if and only if the Rees algebra of its maximal ideal is defined by an ideal of linear forms. In this case, this defining ideal may be realized as a determinantal…
In this paper we consider reduced (non-normal) commutative noetherian rings $R$. With the help of conductor ideals and trace ideals of certain $R$-modules we deduce a criterion for a reflexive $R$-module to be closed under multiplication…
Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…
We call a graded connected algebra $R$ effectively coherent, if for every linear equation over $R$ with homogeneous coefficients of degrees at most $d$, the degrees of generators of its module of solutions are bounded by some function…
Given a graded ring $A$ and a homogeneous ideal $I$, the ideal is said to be of linear type if the Rees algebra of $I$ is isomorphic to the symmetric algebra of $I$. In general, $y$-regularity of Rees algebra of $I$ is $0 \Rightarrow$ $I$…
A commutative ring $R$ is stable provided every ideal of $R$ containing a nonzerodivisor is projective as a module over its ring of endomorphisms. The class of stable rings includes the one-dimensional local Cohen-Macaulay rings of…
It is shown that if $A$ is a regular local ring and $I$ is a maximally differential ideal in $A$, then $I$ is generated by an $A$-sequence.
Let $\mathfrak{o}$ be the ring of integers in a non-Archimedean local field with finite residue field, $\mathfrak{p}$ its maximal ideal, and $r\geq2$ an integer. An irreducible representation of the finite group…
A not necessarily noetherian local ring O is called regular if every finitely generated ideal I of O possesses finite projective dimension. In the article localizations O of a finitely presented, flat algebra A over a Pruefer domain R at a…
We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension.…