On F-pure thresholds

DOI10.1016/J.JALGEBRA.2004.07.011MaRDI QIDQ1888814zbMATH OpenOpenAlexFDO

Authors Shunsuke Takagi, Kei-Ichi Watanabe

Publication date 29 November 2004

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0312486

F-pure threshold log canonical threshold

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Singularities in algebraic geometry (14B05)

Abstract: Using the Frobenius map, we introduce a new invariant for a pair

(R, a)

of a ring

R

and an ideal

a s u b s e t R

, which we call the F-pure threshold

m a t h r m c (a)

of

a

, and study its properties. We see that the F-pure threshold characterizes several ring theoretic properties. By virtue of Hara and Yoshida's result, the F-pure threshold

m a t h r m c (a)

in characteristic zero corresponds to the log canonical threshold

m a t h r m l c (a)

which is an important invariant in birational geometry. Using the F-pure threshold, we prove some ring theoretic properties of three-dimensional terminal singularities of characteristic zero. Also, in fixed prime characteristic, we establish several properties of F-pure threshold similar to those of the log canonical threshold with quite simple proofs.

Review text

Positive characteristic methods have played a significant role in commutative algebra in the past 20 years or so. More recently, ring theoretical methods of this nature have led to important applications to birational geometry as well. The authors are among the researchers whose results shaped the current understanding of the relationship between singularities of pairs in algebraic geometry and the theory of tight closure in commutative algebra. The paper under review is another important contribution of the authors to this development. For a pair \((R, a)\), where \(R\) is a ring and \(a\) an ideal of \(R\), the F-pure threshold \(c(a)\) is defined. The concept is based on previous work by \textit{S. Takagi} [Invent. Math. 157 (1), 123-146 (2004; Zbl 1121.13008)] on the F-purity and strong F-regularity of pairs \((R, a)\). The definition works in the equal characteristic case by reduction to positive characteristic. The authors develop the fundamental properties of the F-pure threshold in positive characteristic and give a number of interesting examples. In characteristic zero, the paper examines the relationship between the F-pure threshold and the log canonical threshold. Notably, for a \(\mathbb Q\)-Gorenstein normal ring essentially of finite type over a field of characteristic zero that is of dense F-pure type, we have that the F-pure threshold \(c(a)\) of \(a\) equals its log canonical threshold lc\((a)\), if \(a\) is contained in the radical ideal defining the non-log-terminal locus of Spec\((R)\). The authors apply their theory to the study of three-dimensional \(\mathbb Q\)-Gorenstein rings with terminal singularities and provide a simpler proof of a result by Kakimi. The final section of the paper proves results regarding the F-pure threshold in positive characteristic that parallel characteristic zero results on the log canonical threshold.

Recommendations

Cites work

Cited in

(90)

This page was built for publication: On F-pure thresholds

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