A pseudo-Gorenstein graded ring becomes Gorenstein when the trace ideal of its canonical module contains a length-two regular sequence in the initial degree, with applications to nearly and almost Gorenstein rings.
Full-Trace Modules
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Motivated by the definition of nearly Gorenstein rings, we introduce the notion of full-trace modules over commutative Noetherian local rings--namely, finitely generated modules whose trace equals the maximal ideal. We investigate the existence of such modules and prove that, over rings that are neither regular nor principal ideal rings, every positive syzygy module of the residue field is full-trace. Moreover, over Cohen-Macaulay rings, we study full-trace Ulrich modules--that is, maximally generated maximal Cohen-Macaulay modules that are full-trace. We establish the following characterization: a non-regular Cohen-Macaulay local ring has minimal multiplicity if and only if it admits a full-trace Ulrich module. Finally, for numerical semigroup rings with minimal multiplicity, we show that each full-trace Ulrich module decomposes as the direct sum of the maximal ideal and a module that is either zero or Ulrich.
citation-role summary
citation-polarity summary
fields
math.AC 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
When do pseudo-Gorenstein rings become Gorenstein?
A pseudo-Gorenstein graded ring becomes Gorenstein when the trace ideal of its canonical module contains a length-two regular sequence in the initial degree, with applications to nearly and almost Gorenstein rings.