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

Abstract: Suppose

(X, D e l t a)

is a log-

-Gorenstein pair. Recent work of M. Blickle and the first two authors gives a uniform description of the multiplier ideal

m J (X; D e l t a)

(in characteristic zero) and the test ideal

a u (X; D e l t a)

(in characteristic

p > 0

) via regular alterations. While in general the alteration required depends heavily on

D e l t a

, for a fixed Cartier divisor

D

on

X

it is straightforward to find a single alteration (e.g. a log resolution) computing

m J (X; D e l t a + l a m b d a D)

for all

l a m b d a g e q 0

. In this paper, we show the analogous statement in positive characteristic: there exists a single regular alteration computing

a u (X; D e l t a + l a m b d a D)

for all

l a m b d a g e q 0

. Along the way, we also prove the discreteness and rationality for the

F

-jumping numbers of

a u (X; D e l t a + l a m b d a D)

for

l a m b d a g e q 0

where the index of

K_{X} + D e l t a

is arbitrary (and may be divisible by the characteristic).

Recommendations

Cited In (11)

This page was built for publication: Test ideals via a single alteration and discreteness and rationality of \(F\)-jumping numbers