The canonical trace of Cohen-Macaulay algebras of codimension 2

2024/06/11 by Ficarra, Antonino · 3 citations
#Combinatorics (math.CO) #Commutative Algebra (math.AC) #FOS: Mathematics

paper · doi:10.48550/arxiv.2406.07517

Abstract

In the present paper, we investigate a conjecture of Jürgen Herzog. Let S be a local regular ring with residue field K or a positively graded K-algebra, I⊂ S be a perfect ideal of grade two, and let R=S/I with canonical module ω_R. Herzog conjectured that the canonical trace tr(ω_R) is obtained by specialization from the generic case of maximal minors. We prove this conjecture in several cases, and present a criterion that guarantees that the canonical trace specializes under some additional assumptions. As the final conclusion of all of our results, we classify the nearly Gorenstein monomial ideals of height two.

Cited by

• Higher-dimensional Teter rings via the canonical trace
• On the gradient of a monomial ideal
• Complementary edge ideals

Related

• The canonical trace of determinantal rings
• The reduction number of canonical ideals
• Trace of canonical modules, annihilator of Ext, and classes of rings close to being Gorenstein
• Canonical Degrees of Cohen-Macaulay Rings and Modules: a Survey
• Upper bound on the colength of the trace of the canonical module in dimension one