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
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