Multiplicity bounds in graded rings (Q531768)

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.