Partial trace ideals, torsion and canonical module

Abstract

For any finitely generated module M with non-zero rank over a commutative one dimensional Noetherian local domain, the numerical invariant h(M) was introduced and studied in [25]. We establish a bound on it which helps capture information about the torsion submodule of M when M has rank one and generalizes the discussion in [25]. We further study bounds and properties of h(M) in the case when M is the canonical module ωR. This in turn helps in answering a question of S. Greco and then provides classifications in the Gorenstein, almost Gorenstein and far-flung Gorenstein setups.