Test ideals via a single alteration and discreteness and rationality of $F$-jumping numbers

TL;DR

This paper demonstrates that a single regular alteration can compute test ideals for all non-negative multiples of a fixed divisor in positive characteristic, and establishes the discreteness and rationality of associated $F$-jumping numbers.

Contribution

It extends the uniform computation of test ideals via a single alteration to positive characteristic and proves the discreteness and rationality of $F$-jumping numbers in this setting.

Findings

Existence of a single alteration computing $ au(X; riangle + lam D)$ for all $lam \

Discreteness of the $F$-jumping numbers for $ au(X; riangle + lam D)$

Rationality of the $F$-jumping numbers for all $lam $

Abstract

Suppose $(X, \Delta)$ is a log-$\bQ$-Gorenstein pair. Recent work of M. Blickle and the first two authors gives a uniform description of the multiplier ideal $\mJ(X;\Delta)$ (in characteristic zero) and the test ideal $\tau(X;\Delta)$ (in characteristic $p > 0$) via regular alterations. While in general the alteration required depends heavily on $\Delta$, for a fixed Cartier divisor $D$ on $X$ it is straightforward to find a single alteration (e.g. a log resolution) computing $\mJ(X; \Delta + \lambda D)$ for all $\lambda \geq 0$. In this paper, we show the analogous statement in positive characteristic: there exists a single regular alteration computing $\tau(X; \Delta + \lambda D)$ for all $\lambda \geq 0$. Along the way, we also prove the discreteness and rationality for the $F$-jumping numbers of $\tau(X; \Delta+ \lambda D)$ for $\lambda \geq 0$ where the index of $K_X + \Delta$ is arbitrary (and may be divisible by the characteristic).