Modules of minimal multiplicity over one-dimensional Cohen-Macaulay local rings
Ela Celikbas, Olgur Celikbas, Naoki Endo, Shinya Kumashiro
TL;DR
The paper advances the theory of minimal multiplicity by extending it to finitely generated modules over 1-dimensional CM local rings and by studying it with respect to trace or reflexive $\mathfrak{m}$-primary ideals. It introduces a central equivalence: for generically Gorenstein non-Gorenstein rings with canonical module $\omega_R$ and an $\mathfrak{m}$-primary ideal $I$ that is trace or reflexive, $\omega_R$ having minimal multiplicity with respect to $I$ is equivalent to $I$ being stable and to every torsion-free $R$-module having minimal multiplicity with respect to $I$, with further equivalences to $I$ being $\omega_R$-Ulrich and to ring-level minimal multiplicity properties of $R$ and related algebras. The results connect module-theoretic minimal multiplicity to the Ulrich property, the conductor, idealizations like $R \ltimes \mathfrak{m}$, and endomorphism algebras $\mathrm{Hom}_R(\mathfrak{m},\mathfrak{m})$, offering a framework to identify and construct new examples and to understand almost Gorenstein and Burch-type phenomena within this context. Overall, the work clarifies when canonical and reflexive/trace ideals enforce minimal multiplicity on a broad class of modules, and it links these conditions to practical constructions such as idealizations and conductor-based Ulrichs. $
Abstract
We study finitely generated modules of minimal multiplicity, a notion introduced by Puthenpurakal that extends the classical concept of minimal multiplicity from rings to modules. Our main result characterizes when trace ideals or reflexive ideals yield modules of minimal multiplicity over one-dimensional Cohen-Macaulay local rings. As a consequence, we show that a one-dimensional non-Gorenstein reduced local ring with a canonical module has minimal multiplicity if and only if its canonical module has minimal multiplicity as a module. We also construct several examples and compare them with Burch and Ulrich modules, highlighting cases where minimal multiplicity coincides with the Burch or Ulrich property.
