Multiplicity bounds in graded rings
Abstract
The $F$-threshold $c^J(\a)$ of an ideal $\a$ with respect to an ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. We study a conjecture formulated in an earlier paper \cite{HMTW} by the same authors together with M. Mustaţă, which bounds $c^J(\a)$ in terms of the multiplicities $e(\a)$ and $e(J)$, when $\a$ and $J$ are zero-dimensional ideals and $J$ is generated by a system of parameters. We prove the conjecture when $\a$ and $J$ are generated by homogeneous systems of parameters in a Noetherian graded $k$-algebra. We also prove a similar inequality involving, instead of the $F$-threshold, the jumping number for the generalized parameter test submodules introduced in \cite{ST}.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2009
- DOI:
- 10.48550/arXiv.0912.3853
- arXiv:
- arXiv:0912.3853
- Bibcode:
- 2009arXiv0912.3853H
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Algebraic Geometry;
- 13A35;
- 13B22;
- 13H15;
- 14B05
- E-Print:
- 19 pages