We investigate when the Rees algebra of an integrally closed 𝔪-primary ideal in a regular local ring is a Cohen-Macaulay normal domain. While this property always holds in dimension two, it fails in general in higher dimensions, prompting a search for sufficient conditions on the ideal. We show that if an integrally closed ideal contains a part of regular system of parameters of length d-2, where d is the dimension of the regular local ring, then its Rees algebra is Cohen-Macaulay and normal. We also extend results of Goto and Ciupercă by proving the same conclusion when the minimal number of generators of an ideal is at most d+2. Furthermore, we treat the case of integrally closed zero-dimensional ideals generated by d+3 homogeneous polynomials. Finally, using generic Bourbaki ideals, we generalize these results to integrally closed torsionfree modules of finite colength.
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 Cohen-Macaulay local ring R, we explore the endomorphism algebra of the maximal ideal, the trace ideal of the canonical module, Ulrich ideals, and Rees algebras of parameter ideals in connection with the GGL property. We also give numerous examples of numerical semigroup rings, idealizations, and determinantal rings of certain matrices.
Let A be a Noetherian local ring with canonical module K. We characterize A when K is a torsionless, reflexive, or q-torsionfree module. If A is a Cohen-Macaulay ring, H.-B. Foxby proved in 1974 that the A-module K is q-torsionfree if and only if the ring A is q-Gorenstein. With mild assumptions, we provide a generalization of Foxby's result to arbitrary Noetherian local rings admitting the canonical module. In particular, since the reflexivity of the canonical module is closely related to the ring being Gorenstein in low codimension, we also explore quasi-normal rings, introduced by W. V. Vasconcelos. We provide several examples as well.
Let M M be a finitely generated module over a ring Λ \Lambda . With certain mild assumptions on Λ \Lambda , it is proven that M M is a reflexive Λ \Lambda -module, once M ≅ M ∗ ∗ M \cong M^{**} as Λ \Lambda -modules.
The Ulrich ideals in the semigroup rings [Formula: see text] and [Formula: see text] are determined, by describing the normal forms of systems of generators, where [Formula: see text] denotes the formal power series ring over a field k.
In the present paper we investigate reflexive modules over the endomorphism algebras of reflexive trace ideals in a one-dimensional Cohen-Macaulay local ring. The main theorem generalizes both of the results of S. Goto, N. Matsuoka, and T. T. Phuong ([20, Theorem 5.1]) and T. Kobayashi ([30, Theorem 1.3]) concerning the endomorphism algebra of its maximal ideal. We also explore the question of when the category of reflexive modules is of finite type, i.e., the base ring has only finitely many isomorphism classes of indecomposable reflexive modules. We show that, if the category is of finite type, the ring is analytically unramified and has only finitely many Ulrich ideals. As a consequence, Arf local rings contain only finitely many Ulrich ideals once the normalization is a local ring.
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the dth power of parameter ideals in certain Noetherian local rings of dimension d≥2. The main result of this paper produces many Gorenstein Rees algebras over non-Cohen-Macaulay local rings. For example, the Rees algebra R(qd)=⊕i≥0qdi is Gorenstein for every parameter ideal q that is a reduction of the maximal ideal in a d-dimensional Buchsbaum local ring of depth 1 and multiplicity 2.
Let I (not equal A) be an ideal of a d-dimensional Noetherian local ring A with ht(A)I >= 2, containing a non-zerodivisor. The problem of when the ring I:I=End(A)I is Gorenstein is studied, in connection with the problem of the Gorensteinness in Rees algebras R-A(Q(d)) for certain parameter ideals Q of A, that was closely explored by the preceding paper [8] of the authors. Examples are given.
The weakly Arf $(S_2)$-ification of a commutative Noetherian ring $R$ is considered to be a birational extension which is good next to the normalization. The weakly Arf property (WAP for short) of $R$ was introduced in 1971 by J. Lipman with his famous paper [12], and recently rediscovered by [4], being closely explored with further developments. The present paper aims at constructing, for a given Noetherian ring $R$ which satisfies certain mild conditions, the smallest module-finite birational extension of $R$ which satisfies WAP and the condition $(S_2)$ of Serre. We shall call this extension the weakly Arf $(S_2)$-ification, and develop the basic theory, including some existence theorems.
We introduce and develop the theory of weakly Arf rings, which is a generalization of Arf rings, initially defined by J. Lipman in 1971. We provide characterizations of weakly Arf rings and study the relation between these rings, the Arf rings, and the strict closedness of rings. Furthermore, we give various examples of weakly Arf rings that come from idealizations, fiber products, determinantal rings, and invariant subrings.
The notion of strict closedness of rings was given by J. Lipman in connection with a conjecture of O. Zariski. The present purpose is to give a practical method of construction of strictly closed rings. It is also shown that the Stanley-Reisner rings of simplicial complexes (resp. $F$-pure rings satisfying the condition $(S_2)$ of Serre) are strictly closed (resp. weakly Arf) rings.
Ulrich ideals in numerical semigroup rings of small multiplicity are studied. If the semigroups are three-generated but not symmetric, the semigroup rings are Golod, since the Betti numbers of the residue class fields of the semigroup rings form an arithmetic progression; therefore, these semigroup rings are G-regular ([15]), possessing no Ulrich ideals. Nevertheless, even in the three-generated case, the situation is different, when the semigroups are symmetric. We shall explore this phenomenon, describing an explicit system of generators, that is the normal form of generators, for the Ulrich ideals in the numerical semigroup rings of multiplicity at most 3. As the multiplicity is greater than 3, in general the task of determining all the Ulrich ideals seems formidable, which we shall experience, analyzing one of the simplest examples of semigroup rings of multiplicity 4.
The Ulrich ideals in the semigroup rings $k[[t^5, t^{11}]]$ and $k[[t^5,t^6,t^9]]$ are determined, by describing the normal forms of systems of generators, where $k[[t]]$ denotes the formal power series ring over a field $k$.
This paper is a sequel to [8] where we introduced an invariant, called canonical degree, of Cohen–Macaulay local rings that admit a canonical ideal. Here to each such ring R with a canonical ideal, we attach a different invariant, called bi-canonical degree, which in dimension 1 appears also in [12] as the residue of R. The minimal values of these functions characterize specific classes of Cohen–Macaulay rings. We give a uniform presentation of such degrees and discuss some computational opportunities offered by the bi-canonical degree.
Abstract The purpose of this paper is, as part of the stratification of Cohen–Macaulay rings, to investigate the question of when the fiber products are almost Gorenstein rings. We show that the fiber product $R \times _T S$ of Cohen–Macaulay local rings R, S of the same dimension $d>0$ over a regular local ring T with $\dim T=d-1$ is an almost Gorenstein ring if and only if so are R and S. In addition, the other generalizations of Gorenstein properties are also explored.
In 1971, Lipman (Am J Math 93:649–685, 1971) introduced the notion of strict closure of a ring in another, and established the underlying theory in connection with a conjecture of O. Zariski. In this paper, for further developments of the theory, we investigate three different topics related to strict closure of rings. The first one concerns construction of the closure, and the second one is the study regarding the question of whether the strict closedness is inherited under flat homomorphisms. We finally handle the question of when the Arf closure coincides with the strict closure. Examples are explored to illustrate our theorems.
Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base ring is a Gorenstein ring of dimension one. It is shown that with one extremal exception, the surjectivity of one of the correspondences characterizes the Gorenstein property of the base ring, provided it is a Cohen-Macaulay local ring of dimension one. Over a commutative Noetherian ring, a characterization of modules in which every submodule is a trace module is given. The notion of anti-stable rings is introduced, exploring their basic properties.
This note aims at finding explicit and efficient generation of ideals in subalgebras $R$ of the polynomial ring $S=k[t]$ ($k$ a field) such that $t^{c_0}S \subseteq R$ for some integer $c_0 > 0$. The class of these subalgebras which we call cores of $S$ includes the semigroup rings $k[H]$ of numerical semigroups $H$, but much larger than the class of numerical semigroup rings. For $R=k[H]$ and $M \in \operatorname{Max}R$, our result eventually shows that $\mu_{R}(M) \in \{1,2,\mu(H)\}$ where $\mu_{R}(M)$ (resp. $\mu(H)$) stands for the minimal number of generators of $M$ (resp. $H$), which covers in the specific case the classical result of O. Forster-R. G. Swan.
The notion of 2-almost Gorenstein local ring (2-AGL ring for short) is a generalization of the notion of almost Gorenstein local ring from the point of view of Sally modules of canonical ideals. In this paper, for further developments of the theory, we discuss three different topics on 2-AGL rings. The first one is to clarify the structure of minimal presentations of canonical ideals, and the second one is the study of the question of when certain fiber products, so called amalgamated duplications are 2-AGL rings. We also explore Ulrich ideals in 2-AGL rings, mainly two-generated ones.
The notion of 2-AGL ring in dimension one which is a natural generalization of almost Gorenstein local ring is posed in terms of the rank of Sally modules of canonical ideals. The basic theory is developed, investigating also the case where the rings considered are numerical semigroup rings over fields. Examples are explored.