[Paper Review] Characterization of generalized Gorenstein rings

Shirô Gotô, Ryotaro Isobe+2 more|arXiv (Cornell University)|Apr 28, 2017

Commutative Algebra and Its Applications16 references6 citations

TL;DR

This paper provides a characterization of generalized Gorenstein local rings (GGL rings) in terms of their canonical ideals and related invariants, particularly focusing on the Hilbert coefficients and the structure of the Sally module. It establishes that a Cohen–Macaulay local ring is a GGL ring if and only if its canonical ideal satisfies specific conditions involving Ulrich modules and the injectivity of a natural map, extending previous results on almost Gorenstein rings to higher dimensions.

ABSTRACT

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.

Motivation & Objective

• To extend the characterization of almost Gorenstein rings to higher-dimensional Cohen–Macaulay local rings by introducing generalized Gorenstein rings (GGL rings).
• To provide a structural characterization of GGL rings using canonical ideals and related invariants such as Hilbert coefficients and the Sally module.
• To generalize results from one-dimensional rings to higher-dimensional GGL rings by analyzing the interplay between the canonical module, Ulrich modules, and parameter ideals.
• To establish a precise condition under which a ring is a GGL ring, based on the existence of a specific exact sequence involving the canonical module and an Ulrich module.

Proposed method

• The authors use the notion of Ulrich modules with respect to an 𝔪-primary ideal 𝔞 to define GGL rings via an exact sequence 0 → R → K_R → C → 0, where C is an Ulrich R-module with respect to 𝔞.
• They analyze the Sally module of the canonical ideal I with respect to a parameter ideal J, using the associated graded ring and the symmetric algebra of the quotient module Q.
• The method involves computing Hilbert functions and multiplicities, particularly e_J^0(R), e_J^1(R), and e_J^2(R), using the structure of the graded ring and the length of modules.
• The proof relies on properties of associated primes and the use of the symmetric algebra to relate the structure of the ring to the Hilbert function.
• They apply results from [12] and [14] on Hilbert functions and multiplicities, particularly the formula for ℓ_R(R/J^{n+1}) in terms of binomial coefficients and lengths.
• The argument uses the fact that if the Sally module is isomorphic to a shift of the symmetric algebra modulo 𝔞, then the ring satisfies the GGL condition.

Experimental results

Research questions

• RQ1 Under what conditions is a Cohen–Macaulay local ring of dimension d > 0 a generalized Gorenstein ring (GGL ring) in terms of its canonical ideal and related invariants?
• RQ2 How can the notion of almost Gorenstein rings be extended from dimension one to higher-dimensional rings using canonical ideals and Ulrich modules?
• RQ3 What is the precise relationship between the Hilbert coefficients of a canonical ideal and the GGL property of the ring?
• RQ4 How do the Sally module and the symmetric algebra of the quotient module contribute to characterizing GGL rings?
• RQ5 What is the role of the ideal 𝔞 = Q:J in the structure of the GGL ring, and how does it relate to the injectivity of the map R/𝔞 → K_R/𝔞K_R?

Key findings

• A Cohen–Macaulay local ring R is a GGL ring with respect to an 𝔪-primary ideal 𝔞 if and only if there exists an exact sequence 0 → R → K_R → C → 0 where C is an Ulrich R-module with respect to 𝔞 and the induced map R/𝔞 → K_R/𝔞K_R is injective.
• The first Hilbert coefficient e_J^1(R) of the canonical ideal I with respect to a parameter ideal J satisfies e_J^1(R) = ℓ_R(R/𝔞) · r(R), where r(R) is the Cohen–Macaulay type of R.
• For d ≥ 2, the second Hilbert coefficient e_J^2(R) equals ℓ_R(R/𝔞), and e_J^i(R) = 0 for all 3 ≤ i ≤ d.
• The Hilbert function of R with respect to J is explicitly given by ℓ_R(R/J^{n+1}) = e_J^0(R) · binom(n+d,d) − [e_J^0(R) − ℓ_R(R/J) + ℓ_R(R/𝔞)] · binom(n+d−1,d−1) + ℓ_R(R/𝔞) · binom(n+d−2,d−2) for n ≥ 1.
• In the example, R = k[[X,Y,Z,V]]/I_2(matrix) is a 2-dimensional GGL ring with respect to 𝔞 = (x²,y,z,v), and r(R) = 2, with I = (x²,y) being a canonical ideal.
• The ideal 𝔞 = Q:J with Q = (x²,v), and 𝔞J = 𝔞Q, confirming the structural role of 𝔞 in the GGL condition.