[Paper Review] $F$-singularities: applications of characteristic $p$ methods to singularity theory

Shunsuke Takagi, Kei-ichi Watanabe|arXiv (Cornell University)|Sep 11, 2014

Algebraic Geometry and Number Theory105 references3 citations

TL;DR

This paper presents a comprehensive survey of $F$-singularities—singularities in commutative algebra and algebraic geometry defined via the Frobenius map in positive characteristic—demonstrating how characteristic $p$ methods can replicate and generalize results from analytic and characteristic zero singularity theory. It establishes deep connections between $F$-singularities and singularities in the minimal model program, introduces asymptotic test ideals and Hilbert-Kunz multiplicity as tools for studying symbolic powers and base loci, and proves that the limit of Hilbert-Kunz multiplicity for certain toric rings is governed by the Maclaurin series of $\tan x + \sec x$. The key contribution is a unified framework linking positive characteristic techniques to classical singularity theory, including the equivalence of rational singularities and $F$-rational rings.

ABSTRACT

This is a survey article on $F$-singularities and their applications.

Motivation & Objective

• To demonstrate that analytic methods in singularity theory—previously reliant on complex analysis—can be replaced or emulated using characteristic $p$ techniques.
• To establish a bridge between $F$-singularities in positive characteristic and singularities in the minimal model program (e.g., klt, log canonical) in characteristic zero.
• To develop and apply asymptotic test ideals and Hilbert-Kunz theory as tools for studying symbolic powers and base loci in positive characteristic.
• To clarify the role of $F$-signature and $F$-adjunction in measuring and classifying singularities, especially in global and local settings.
• To highlight open problems and directions, such as finite $F$-representation type and global $F$-regularity, and their connections to log Fano varieties.

Proposed method

• Utilizes tight closure theory, a closure operation on ideals in rings of positive characteristic, to define and analyze $F$-singularities.
• Applies the Frobenius map $F: x \mapsto x^p$ to define $F$-regular, $F$-rational, $F$-pure, and $F$-injective rings via conditions on the image of the Frobenius map and trace maps.
• Introduces asymptotic test ideals as a positive characteristic analogue of asymptotic multiplier ideals, used to study symbolic powers and base loci.
• Employs Hilbert-Kunz multiplicity $e_{\rm HK}(I)$ as an invariant to measure singularities, with asymptotic expansion $\ell_A(A/I^{[q]}) = e_{\rm HK}(I)q^d + \beta(I)q^{d-1} + O(q^{d-2})$.
• Applies $F$-adjunction and $F$-pure centers to generalize adjunction theory to positive characteristic, mirroring the minimal model program.
• Uses the limit of Hilbert-Kunz multiplicity as $p \to \infty$ to connect algebraic invariants to special functions, such as the Maclaurin series of $\tan x + \sec x$.

Experimental results

Research questions

• RQ1 Can characteristic $p$ methods replicate deep results in singularity theory previously proven using analytic techniques, such as the Briançon-Skoda theorem and Kodaira vanishing?
• RQ2 How do $F$-singularities (e.g., $F$-regular, $F$-rational) correspond to singularities in the minimal model program, such as klt or log canonical singularities?
• RQ3 What is the role of asymptotic test ideals in positive characteristic, and how do they relate to symbolic powers and asymptotic base loci of divisors?
• RQ4 Can the Hilbert-Kunz multiplicity of a local ring be used to characterize regularity, and what is its asymptotic behavior as $p \to \infty$?
• RQ5 What is the geometric and arithmetic significance of the limit $\lim_{p\to\infty} e_{\rm HK}(A_{p,d})$, and why is it expressible via the Maclaurin series of $\tan x + \sec x$?

Key findings

• The limit of the Hilbert-Kunz multiplicity $\lim_{p\to\infty} e_{\rm HK}(A_{p,d})$ for the $d$-dimensional toric ring $A_{p,d}$ is given by $1 + \frac{c_d}{d!}$, where $c_d$ is the $d$-th coefficient in the Maclaurin expansion of $\tan x + \sec x$, establishing a deep link between algebraic invariants and special functions.
• For the $d$-dimensional toric ring $A_{p,d}$, $e_{\rm HK}(A_{p,3}) = \frac{4}{3}$ for all $p$, while for $d \geq 4$, the limit depends on $d$ and is given by a rational function in $p$; for $d=4$, $\lim_{p\to\infty} e_{\rm HK}(A_{p,4}) = \frac{29}{24}$.
• The $F$-signature $s(R)$ of a local ring $R$ is equal to the infimum of $e_{\rm HK}(I) - e_{\rm HK}(I')$ over all nested $\mathfrak{m}$-primary ideals $I \subsetneq I'$, providing a new characterization of this invariant.
• The $F$-signature $s(R)$ is 1 if and only if $R$ is regular, and positive if and only if $R$ is strongly $F$-regular, showing that $s(R)$ measures the severity of singularities.
• For a $d$-dimensional excellent normal local ring $A$ with perfect residue field, the Hilbert-Kunz function satisfies $\ell_A(A/I^{[q]}) = e_{\rm HK}(I)q^d + \beta(I)q^{d-1} + O(q^{d-2})$, and $\beta(I) = 0$ if $A$ is $\mathbb{Q}$-Gorenstein.
• The theory of $F$-adjunction and $F$-pure centers provides a positive characteristic analogue of adjunction theory, with applications to the minimal model program and global $F$-regularity.