Topics on 22-almost Gorenstein rings

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.Comment: 12 page

Almost Gorenstein rings arising from fiber products

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$. Besides, the other generalizations of Gorenstein properties are also explored.Comment: 15 page

Almost Gorenstein rings - towards a theory of higher dimension -

The notion of almost Gorenstein local ring introduced by V. Barucci and R. Fr\"oberg for one-dimensional Noetherian local rings which are analytically unramified has been generalized by S. Goto, N. Matsuoka and T. T. Phuong to one-dimensional Cohen-Macaulay local rings, possessing canonical ideals. The present purpose is to propose a higher-dimensional notion and develop the basic theory. The graded version is also posed and explored.Comment: 36 pages, 1 figure, to appear in J. Pure and Appl. Al

On the ideal case of a conjecture of Huneke and Wiegand

A conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a beautiful result of Corso, Huneke, Katz and Vasconcelos, we prove that the conjecture is affirmative for a large class of ideals over arbitrary one-dimensional local domains. Furthermore we study a higher dimensional analog of the conjecture for integrally closed ideals over Noetherian rings that are not necessarily local. We also consider a related question on the conjecture and give an affirmative answer for first syzygies of maximal Cohen-Macaulay modules.Comment: 10 pages and to appear in Proceedings of the Edinburgh Mathematical Societ

Efficient generation of ideals in core subalgebras of the polynomial ring k[t] over a field k

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.Comment: 10 page

Characterization of generalized Gorenstein rings

The notion of generalized Gorenstein local ring (GGL ring for short) is one of the generalizations of Gorenstein rings. In this article, there is given a characterization of GGL rings in terms of their canonical ideals and related invariants.Comment: 11 page

The almost Gorenstein Rees algebras of parameters

There is given a characterization for the Rees algebras of parameters in a Gorenstein local ring to be almost Gorenstein graded rings. A characterization is also given for the Rees algebras of socle ideals of parameters. The latter one shows almost Gorenstein Rees algebras rather rarely exist for socle ideals, if the dimension of the base local ring is greater than two.Comment: 13 page

When are the Rees algebras of parameter ideals almost Gorenstein graded rings?

Let $A$ be a Cohen-Macaulay local ring with $\operatorname{dim} A = d\ge 3$, possessing the canonical module ${\mathrm K}_A$. Let $a_1, a_2, \ldots, a_r$ $(3 \le r \le d)$ be a subsystem of parameters of $A$ and set $Q= (a_1, a_2, \ldots, a_r)$. It is shown that if the Rees algebra ${\mathcal R}(Q)$ of $Q$ is an almost Gorenstein graded ring, then $A$ is a regular local ring and $a_1, a_2, \ldots, a_r$ is a part of a regular system of parameters of $A$.Comment: 9 page

Almost Gorenstein Rees algebras of pgp_g-ideals, good ideals, and powers of the maximal ideals

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}^{d-1}$. Conversely, if ${\mathcal R}({\mathfrak m}^{\ell})$ is an almost Gorenstein graded ring for some $\ell \ge 2$ and $d \ge 3$, then $\ell=d-1$.Comment: 14 pages, and the title of this article was changed on 26, June, 201

On the almost Gorenstein property in Rees algebras of contracted ideals

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 Gorenstein graded ring, even though $I$ is a contracted stable ideal. Thus both affirmative answers and negative answers are given.Comment: 15 page