Multiplicity bounds in graded rings

From MaRDI portal
(Redirected from Publication:531768)



Abstract: The F-threshold cJ(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. Mustac{t}u{a}, which bounds cJ(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}.


Suppose that \(R\) is a Noetherian ring of characteristic \(p>0\). For every pair of ideals \(\mathfrak a, J\subseteq R\) such that \(\sqrt J\supseteq\mathfrak a\), one can define the \(F\)-threshold \[ c^J(\mathfrak a)=\lim_{q\to\infty}\max\{r\in\mathbb N\mid\mathfrak a^r\not\subseteq J^{[q]}\} \] if the limit exists. This was defined in limited generality in [\textit{M. Mustaţă, S. Takagi} and \textit{K.-i. Watanabe}, in: Proceedings of the 4th European congress of mathematics (ECM), Stockholm, Sweden, June 27--July 2, 2004. Zürich: European Mathematical Society (EMS). 341--364 (2005; Zbl 1092.32014)] and in this generality in [\textit{C. Huneke, M. Mustaţă, S. Takagi} and \textit{K.-i. Watanabe}, Mich. Math. J. 57, 463--483 (2008; Zbl 1186.13002)]. In Theorem 1.6 of this paper, the authors show that \(F\)-thresholds exist for \(F\)-finite rings such that \(R\) is \(F\)-pure away from \(V(\mathfrak a)\). It is also known the these limits exist in other cases, for example if \(\mathfrak a\) is principal, see Huneke-Mustata-Takagi-Watanabe mentioned above. However, the main result of this paper, is a generalization of a result from the same paper relating the multiplicity of \(\mathfrak a\), the multiplicity of \(J\), and \(c^J(\mathfrak a)\). In particular, in a local (or graded) ring \((R,\mathfrak m)\), one expects \[ e(\mathfrak a)\geq\left({d\over c^J(\mathfrak{a})}\right)^d e(J), \] as long as \(J\) is generated by a full system of parameters and \(\mathfrak a\) is \(\mathfrak m\)-primary. This conjecture is inspired by related results in characteristic zero [\textit{T. de Fernex, L. Ein} and \textit{M. Mustaţă}, J. Algebr. Geom. 13, No. 3, 603--615 (2004; Zbl 1068.14006)]. In this paper, the authors prove this conjecture if \(R\) is graded and \(\mathfrak a\) is generated by a homogeneous system of parameters, see Theorem 2.8. The proof of this result is similar to methods in Huneke-Mustata-Takagi-Watanabe, where it was proven under the additional assumption that \(R\) is Cohen-Macaulay. In this work however, the authors utilize a big Cohen-Macaulay algebra. Finally, the authors also compare these \(F\)-thresholds with \(F\)-jumping numbers of test submodules, see Section 4.











This page was built for publication: Multiplicity bounds in graded rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q531768)