Multiplicity bounds in graded rings (Q531768)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Multiplicity bounds in graded rings
scientific article

    Statements

    Multiplicity bounds in graded rings (English)
    0 references
    0 references
    0 references
    0 references
    20 April 2011
    0 references
    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.
    0 references
    0 references
    F-threshold
    0 references
    F-jumping number
    0 references
    multiplicity
    0 references
    F-pure
    0 references
    F-rational
    0 references
    graded rings
    0 references
    tight closure
    0 references
    test ideal
    0 references
    Frobenius
    0 references
    plus closure
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references