The structure of the complex $\operatorname{\mathbf{R}Hom}_R(R/I,R)$ is explored for an Ulrich ideal $I$ in a Cohen-Macaulay local ring $R$. As a consequence, it is proved that in a one-dimensional almost Gorenstein but non-Gorenstein local ring, the only possible Ulrich ideal is the maximal ideal. It is also studied when Ulrich ideals have the same minimal number of generators.
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.
This paper studies Ulrich ideals in hypersurface rings. A characterization of Ulrich ideals is given. Using the characterization, we construct a minimal free resolution of an Ulrich ideal concretely. We also explore Ulrich ideals in a hypersurface ring of the form R = k[[X, Y]]/(f).
This paper studies Ulrich ideals in one-dimensional Cohen-Macaulay local rings. A correspondence between Ulrich ideals and overrings is given. Using the correspondence, chains of Ulrich ideals are closely explored. The specific cases where the rings are of minimal multiplicity and \operatorname{GGL} rings are analyzed.
The notion of $2$-almost Gorenstein ring is a generalization of the notion of almost Gorenstein ring in terms of Sally modules of canonical ideals. In this paper, we deal with two different topics related to $2$-almost Gorenstein rings. The purposes are to determine all the Ulrich ideals in $2$-almost Gorenstein rings and to clarify the structure of minimal free resolutions of $2$-almost Gorenstein rings.
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$.
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, 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…
The Auslander-Reiten conjecture is a notorious open problem about the vanishing of Ext modules. In a Cohen-Macaulay complete local ring $R$ with a parameter ideal $Q$, the Auslander-Reiten conjecture holds for $R$ if and only if it holds for the residue ring $R/Q$. In the former part of this paper, we study the Auslander-Reiten conjecture for the ring $R/Q^\ell$ in connection with that for $R$, and prove the equivalence of them for the case where $R$ is Gorenstein and $\ell\le \dim R$. In the latter part, we generalize the result of the minimal multiplicity by J. Sally. Due to these two of our…
Let $H\subseteq \mathbb{N}^d$ be a normal affine semigroup, $R=K[H]$ its semigroup ring over the field $K$ and $ω_R$ its canonical module. The Ulrich elements for $H$ are those $h$ in $H$ such that for the multiplication map by $\mathbf{x}^h$ from $R$ into $ω_R$, the cokernel is an Ulrich module. We say that the ring $R$ is almost Gorenstein if Ulrich elements exist in $H$. For the class of slim semigroups that we introduce, we provide an algebraic criterion for testing the Ulrich propery. When $d=2$, all normal affine semigroups are slim. Here we have a simpler combinatorial description of th…
The long standing Lech's conjecture in commutative algebra states that for a flat local extension $(R,\mathfrak{m})\to (S,\mathfrak{n})$ of Noetherian local rings, we have an inequality on the Hilbert--Samuel multiplicities: $e(R)\leq e(S)$. In general the conjecture is wide open when $\dim R>3$, even in equal characteristic. In this paper, we prove Lech's conjecture in all dimensions, provided $(R,\mathfrak{m})$ is a standard graded ring over a perfect field localized at the homogeneous maximal ideal. We introduce the notions of lim Ulrich and weakly lim Ulrich sequences. Roughly speaking the…
We provide the sufficient conditions for Rees algebras of modules to be Cohen-Macaulay, which has been proven in the case of Rees algebras of ideals by Johnson-Ulrich and Goto-Nakamura-Nishida. As it turns out the generalization from ideals to modules is not just a routine generalization, but requires a great deal of technical development. We use the technique of generic Bourbaki ideals introduced by Simis, Ulrich and Vasconcelos to obtain the Cohen-Macaulayness of Rees Algebras of modules.
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many Gorenstein Rees algebras over non-Cohen-Macaulay local rings. For example, the Rees algebra $\mathcal{R}(\mathfrak{q}^d)=\oplus_{i\ge 0}\mathfrak{q}^{di}$ is Gorenstein for every parameter ideal $\mathfrak{q}$ that is a reduction of the maximal ideal in a $d$-dimensional Buchsbaum local ring of depth 1 and multiplicity 2.
Let $(A,{\mathfrak m})$ be a Cohen-Macaulay local ring and let $I$ be an ideal of $A$. We prove that the Rees algebra ${\mathcal R}(I)$ is an almost Gorenstein ring in the following cases: (1) $(A,{\mathfrak m})$ is a two-dimensional excellent Gorenstein normal domain over an algebraically closed field $K \cong A/{\mathfrak m}$ and $I$ is a $p_g$-ideal; (2) $(A,{\mathfrak m})$ is a two-dimensional almost Gorenstein local ring having minimal multiplicity and $I={\mathfrak m}^{\ell}$ for all $\ell \ge 1$; (3) $(A,{\mathfrak m})$ is a regular local ring of dimension $d \ge 2$ and $I={\mathfrak m}…
Via the theory of reverse lexicographic squarefree initial ideals of toric ideals, we give a new class of Gorenstein Fano polytopes (reflexive polytopes) arising from a pair of stable set polytopes of perfect graphs.
Let $R$ be a Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the André-Quillen homology.
We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity.
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 and T. Kobayashi 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 …
The question of when the Rees algebra ${\mathcal R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring is explored, where $R$ is a two-dimensional regular local ring and $I$ a contracted ideal of $R$. It is known that ${\mathcal R} (I)$ is an almost Gorenstein graded ring for every integrally closed ideal $I$ of $R$. The main results of the present paper show that if $I$ is a contracted ideal with $\mathrm{o}(I) \le 2$, then ${\mathcal R} (I)$ is an almost Gorenstein graded ring, while if $\mathrm{o}(I) \ge 3$, then ${\mathcal R} (I)$ is not necessarily an almost Gorenstei…
In this paper, we introduce an invariant of Cohen-Macaulay local rings in terms of the reduction number of canonical ideals. The invariant can be defined in arbitrary Cohen-Macaulay rings and it measures how close to being Gorenstein. First, we clarify the relation between almost Gorenstein rings and nearly Gorenstein rings by using the invariant in dimension one. We next characterize the idealization of trace ideals over Gorenstein rings in terms of the invariant. It provides better prospects for a result of the almost Gorenstein property of idealization.
Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings.
Let $I_G$ be the binomial edge ideal on the generic 2 x n - Hankel matrix associated with a closed graph $G$ on the vertex set [n]. We characterize the graphs $G$ for which $I_G$ has maximal regularity and is Gorenstein.
Let $k$ be a field and $G \subseteq Gl_n(k)$ be a finite group with $|G|^{-1} \in k$. Let $G$ act linearly on $A = k[X_1, \ldots, X_n]$ and let $A^G$ be the ring of invariant's. Suppose there does not exist any non-trivial one-dimensional representation of $G$ over $k$. Then we show that if $Q$ is a $G$-invariant homogeneous ideal of $A$ such that $A/Q$ is a Gorenstein ring then $A^G/Q^G$ is also a Gorenstein ring.
Let R be a local Noetherian commutative ring. We prove that R is an Artinian Gorenstein ring if and only if every ideal in R is a trace ideal. We discuss when the trace ideal of a module coincides with its double annihilator.
Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$ such that the ideal $I$ is the sum of images of all $R$-linear maps $S\to R$.
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 modul…
We analyze the structure of spinor coordinates on resolutions of Gorenstein ideals of codimension four. As an application we produce a family of such ideals with seven generators which are not specializations of Kustin-Miller model.
We show that the ideal generated by the $(n-2)$ minors of a general symmetric $n$ by $n$ matrix has an initial ideal that is the Stanley-Reisner ideal of the boundary complex of a simplicial polytope and has the same Betti numbers.