English

Partial Trace Ideals And Berger's Conjecture

Commutative Algebra 2022-02-25 v4 Algebraic Geometry

Abstract

For any finitely generated module MM with non-zero rank over a commutative one-dimensional Noetherian local domain, we study a numerical invariant h(M)\operatorname{h}(M) based on a partial trace ideal of MM. 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 ΩR/k\Omega_{R/k}, where RR is a complete kk-algebra with kk any perfect field, to study a long-standing conjecture due to R. W. Berger.

Keywords

Cite

@article{arxiv.2003.11648,
  title  = {Partial Trace Ideals And Berger's Conjecture},
  author = {Sarasij Maitra},
  journal= {arXiv preprint arXiv:2003.11648},
  year   = {2022}
}

Comments

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

R2 v1 2026-06-23T14:27:28.153Z