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

Abstract

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

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…