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 $\operatorname{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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2020
- DOI:
- 10.48550/arXiv.2003.11648
- arXiv:
- arXiv:2003.11648
- Bibcode:
- 2020arXiv200311648M
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Algebraic Geometry;
- 13N05;
- 13N15;
- 13Cxx (Primary) 13H10;
- 13D02;
- 13E99 (Secondary)
- E-Print:
- Minor change: Example 5.6 calculation corrected