Partial Trace Ideals And Berger's Conjecture

Abstract

For any finitely generated module $M$ with non-zero rank over a commutative one-dimensional Noetherian local domain, we study a numerical invariant $h(M)$ based on a partial trace ideal of $M$. We study its properties and explore relations between this invariant and the colength of the conductor. Finally we apply this to the universally finite module of differentials ${\Omega }_{R/k}$, where $R$ is a complete $k$-algebra with $k$ any perfect field, to study a long-standing conjecture due to R. W. Berger.

Minor change: Example 5.6 calculation corrected; the journal version of this example has typos

Cited by in corpus (2)

• Torsion in Differentials and Berger's Conjecture
• On reflexive and $I$-Ulrich modules over curve singularities