\(F\)-pure thresholds and \(F\)-jumping exponents in dimension two (Q862052): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Gerhard Pfister / rank | |||
Property / reviewed by | |||
Property / reviewed by: Gerhard Pfister / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:25, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(F\)-pure thresholds and \(F\)-jumping exponents in dimension two |
scientific article |
Statements
\(F\)-pure thresholds and \(F\)-jumping exponents in dimension two (English)
0 references
5 February 2007
0 references
Let \(K\) be a perfect field of characteristic \(p>0\), \(X\) a smooth \(K\)--variety and \(D\) an effective divisor on \(X\). The \(F\)--pure threshold of \((X, D)\) at \(x\in X\) is defined by \(\text{fpt}_x(X,D)=\sup\{t\in\mathbb R_+| (X,tD)\) is \(F\)--pure at \(x\}\). The pair \((X, tD)\) is \(F\)--pure at \(x\) if the canonical inclusion \(\mathcal O_{X,x}\to\mathcal O_X(t(q-1)D)_x^{\frac{1}{q}}\) splits as an \(\mathcal O_{X,x}\)--module homomorphism for all powers \(q\) of \(p\). It is proved that the \(F\)--pure thresholds of curve singularities on a smooth surface are rational. A lower bound for \(F\)--pure thresholds in the homogeneous case is given. Based on an appendix by P. Monsky the rationality and discreteness of \(F\)--jumping exponents, the smallest positive one of which is the \(F\)--pure threshold, is proved.
0 references
\(F\)-pure threshold
0 references
log canonical singularity
0 references
curve singularity
0 references