Ulrich ideals and 2-AGL rings

DOI10.1016/J.JALGEBRA.2020.01.028MaRDI QIDQ2174534zbMATH OpenOpenAlexFDO

Authors Shiro Goto, Ryotaro Isobe, Naoki Taniguchi

Publication date 21 April 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.05335

zbMATH Keywords

2-AGL ringalmost Gorenstein ringcanonical idealCohen-Macaulay ringUlrich ideal

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Multiplicity theory and related topics (13H15)

Abstract: 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.

Review text

Let \((R, \mathfrak m)\) be a Cohen-Macaulay local ring of dimension \(1\) and let \(K_R\) be its canonical module. Let \(I\) be a canonical ideal of \(R\) which means \(I\simeq K_R.\) Let \(Q=(a)\) be a minimal reduction of \(I\). Let \(\mathcal R=\mathcal R(I)\) and \(\mathcal T=\mathcal R(Q)\) be the Rees algebras of \(I\) and \(Q\) respectively. Let \(S_Q(I)=I{\mathcal R}/I {\mathcal T}\) be the Sally module of \(I\) with respect to \(Q.\) For all large \(n,\) the length \(\ell(R/I^{n+1})\) is given by a polynomial \(P_I(n)\) written as \(P_I(n)=e_0(I)\binom{n+1}{1}-e_1(I).\) Here \(e_0(I), e_1(I)\) are called the Hilbert coefficients of \(R\) with respect to \(I.\) The rank of \(S_Q(I)\) is defined to be \(\ell_{T_{\mathfrak p}}[S_Q(I)]_{\mathfrak p}\) where \(\mathfrak p=\mathfrak m {\mathcal T}.\) We say that \(R\) is a 2-AGL ring if \(\text{rank } S_Q(I)=2.\) This is equivalent to \(e_1(I)=e_0(I)-\ell(R/I)+2.\) \textit{T. D. M. Chau} et al. [J. Algebra 521, 299--330 (2019; Zbl 1454.13043)] obtained several characterisations of 2-AGL rings in terms of reduction number of \(I\) with respect to \(Q\) and co-length of the canonical fractional ideal \(K\) and the conductor ideal \(\mathcal C\) of \(R[K]\) into \(R.\) The authors consider the minimal presentations of \(K\) to characterise 2-AGL rings. It is proved that \(R\) is a 2-AGL ring if and only if the finer product \(R\times_{R/\mathcal C} R\) is so. Ulrich ideals are studied in 2-AGL rings. Let \(R\) be a 2-AGL ring with minimal multiplicity and let \(K\) be its canonical fractional ideal. If \(K/R\) is \(R/{\mathcal C}\)-free then \({\mathcal C}\) and \(\mathfrak m\) are the only Ulrich ideals of \(R.\) In case \(K/R\) is not \(R/{\mathcal C}\)-free then the only Ulrich ideal is \(\mathfrak m.\)

Recommendations

• Sally modules of canonical ideals in dimension one and 2-AGL rings
• Ulrich ideals and almost Gorenstein rings
• Ulrich ideals and modules over two-dimensional rational singularities
• Ulrich ideals and modules
• When is \(\mathfrak{m}:\mathfrak{m}\) an almost Gorenstein ring?

Cites work

• Almost Gorenstein Rees algebras of pg-ideals, good ideals, and powers of the maximal ideals
• Almost Gorenstein rings
• Almost Gorenstein rings - towards a theory of higher dimension
• AN AMALGAMATED DUPLICATION OF A RING ALONG AN IDEAL: THE BASIC PROPERTIES
• Cohen-Macaulay local rings of maximal embedding dimension
• Correspondence between trace ideals and birational extensions with application to the analysis of the Gorenstein property of rings
• Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
• Good ideals in Gorenstein local rings
• scientific article; zbMATH DE number 44599 (Why is no real title available?)
• scientific article; zbMATH DE number 589394 (Why is no real title available?)
• scientific article; zbMATH DE number 3336013 (Why is no real title available?)
• scientific article; zbMATH DE number 3198931 (Why is no real title available?)
• Ideals defined by matrices and a certain complex associated with them
• Invariants of Cohen-Macaulay rings associated to their canonical ideals
• Maximally generated Cohen-Macaulay modules.
• Numerical semigroups.
• On G-Regular Local Rings
• On graded rings. I
• On the almost Gorenstein property in the Rees algebras of contracted ideals
• One-dimensional almost Gorenstein rings
• Residually faithful modules and the Cohen-Macaulay type of idealizations
• Sally modules of canonical ideals in dimension one and 2-AGL rings
• Sally modules of rank one
• The almost Gorenstein Rees algebras of parameters
• The almost Gorenstein Rees algebras over two-dimensional regular local rings
• The structure of chains of Ulrich ideals in Cohen-Macaulay local rings of dimension one
• Ulrich ideals and almost Gorenstein rings
• Ulrich ideals and modules
• Ulrich ideals and modules over two-dimensional rational singularities
• When are the Rees algebras of parameter ideals almost Gorenstein graded rings?

Cited in

(9)

• Sally modules of canonical ideals in dimension one and 2-AGL rings
• The structure of Ulrich ideals in hypersurfaces
• Ulrich ideals in numerical semigroup rings of small multiplicity
• When is \(\mathfrak{m}:\mathfrak{m}\) an almost Gorenstein ring?
• Almost canonical ideals and GAS numerical semigroups
• When are the rings I:I Gorenstein?
• Reflexive modules over the endomorphism algebras of reflexive trace ideals
• How many ideals whose quotient rings are Gorenstein exist?
• Goto rings

This page was built for publication: Ulrich ideals and 2-AGL rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2174534)