Formulas of F-thresholds and F-jumping coefficients on toric rings (Q838340)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formulas of F-thresholds and F-jumping coefficients on toric rings
scientific article

    Statements

    Formulas of F-thresholds and F-jumping coefficients on toric rings (English)
    0 references
    0 references
    24 August 2009
    0 references
    Let \(R\) be a reduced commutative noetherian ring containing a perfect field of characteristic \(p>0\). Assume furthermore that \(R\) is \(F\)-pure and \(F\)-finite. The \(F\)-jumping coefficients of an ideal \(\mathfrak{a}\) are the real positive numbers \(c\) with the property that \(\tau(\mathfrak{a}^c)\neq\tau(\mathfrak{a}^{c-\epsilon})\) for all \(0<\epsilon<c\), where \(\tau(\mathfrak{a^c})\) is the generalized test ideal of \(\mathfrak{a}\) with exponent \(c\), introduced by \textit{N. Hara} and \textit{K. Yoshida} [Trans. Am. Math. Soc. 355, No. 8, 3143--3174 (2003; Zbl 1028.13003)]. For a pair of ideals \(\mathfrak{a}\) and \(J\) in \(R\) with \(\mathfrak{a}\subseteq \sqrt{J}\), the F-threshold of \(\mathfrak{a}\) with respect to \(J\), denoted by \(c^J(\mathfrak{a})\), is the number \(\lim_{e\to\infty}\frac{\max\{r\in\mathbb{N}|\mathfrak{a}^r\not\subseteq J^{[p^e]}\}}{p^e}\). \(F\)-thresholds were first studied by \textit{M. Mustątǎ, S. Takagi} and \textit{K. Watanabe} [ECM, 341--364 (2005; Zbl 1092.32014)], where they proved that for each ideal in a regular local ring of prime characteristic, the set of \(F\)-thresholds and the set of \(F\)-jumping coefficients of this ideal are equal. The paper under review is concerned with \(F\)-thresholds and \(F\)-jumping coefficients of toric rings. Let \(R\) be the toric ring defined by a strongly convex rational polyhedral cone \(\sigma\). Let \(\mathfrak{a}\) and \(J\) be monomial ideals with \(\mathfrak{a}\subseteq \sqrt{J}\). In Section 3 the author establishes a formula for the \(F\)-threshold \(c^J(\mathfrak{a})\) in terms of the cone \(\sigma\) and the Newton polyhedrons of the monomial ideals \(\mathfrak{a}\) and \(J\). This result generalizes the formulas given in Example 2.7 of \textit{C. Huneke, M. Mustątǎ, S. Takagi} and \textit{K. Watanabe} [Mich. Math. J. 57, 463--483 (2008; Zbl 1186.13002)]. In the next section the author attempts to give a comparison between \(F\)-jumping coefficients and \(F\)-thresholds in toric rings, using the results of the previous section. It is proven in this section that for a toric ring \(R\), a monomial ideal \(\mathfrak{a}\) and the maximal monomial ideal \(\mathfrak{m}\), the \(F\)-pure threshold \(c(\mathfrak{a})\), which is the smallest \(F\)-jumping coefficient of \(\mathfrak{a}\), is less than or equal to the \(F\)-threshold \(c^{\mathfrak{m}}(\mathfrak{a})\), and more generally, if \(c^i(\mathfrak{a})\) denotes the \(i\)th \(F\)-jumping coefficient of \(\mathfrak{a}\), then \(c^i(\mathfrak{a})\leq c^{\tau(\mathfrak{a}^{c^i(\mathfrak{a})})}(\mathfrak{a})\). Section 5 is concerned with the existence of a monomial ideal \(\mathfrak{a}\) such that \(c(\mathfrak{a})=c^{\mathfrak{m}}(\mathfrak{a})\) where \(\mathfrak{m}\) is the maximal monomial ideal of the toric ring \(R\). If the ring \(R\) is Gorenstein then such an ideal \(\mathfrak{a}\) always exists. The hypothesis of \(R\) being Gorenstein is essentially necessary in dimension 2, but not in dimensions greater than 2. If \(R\) is the toric ring defined by a simplicial cone, the existence of such \(\mathfrak{a}\) with \(\sqrt{\mathfrak{a}}=\mathfrak{m}\) implies that \(R\) is regular. In the last section, the author studies the rationality of \(F\)-thresholds. It is still an open question whether \(F\)-thresholds are always rational numbers. By work of several authors, affirmative answer has been obtained for certain ideals in regular rings. Here, it is shown that if \(R\) is the toric ring defined by a simplicial cone, \(\mathfrak{a}\) is a monomial ideal and \(J\) is a monomial ideal primary to the maximal monomial ideal, then the \(F\)-threshold \(c^J(\mathfrak{a})\) is a rational number. Moreover, if \(R\) is an \(r\)-Gorenstein ring then for all \(i\), the \(i\)th \(F\)-jumping coefficient of \(\mathfrak{a}\) is also rational.
    0 references
    characteristic \(p\)
    0 references
    generalized test ideals, F-thresholds
    0 references
    F-jumping coefficients
    0 references
    toric rings
    0 references
    Newton polyhedrons
    0 references

    Identifiers