arXiv:1709.09383v2 [] 27 Nov 2017

FINITISTIC TEST IDEALS ON NUMERICALLY Q-GORENSTEIN
VARIETIES
SHUNSUKE TAKAGI
Dedicated to Professor Craig Huneke on the occasion of his sixty-fifth birthday.
Abstract. We prove that the finitistic test ideal τfg (R, ∆, at ) coincides with the big
test ideal τb (R, ∆, at ) if the pair (R, ∆) is numerically log Q-Gorenstein.

1. Introduction
Let R be an excellent Noetherian domain of characteristic p > 0. The notion of
test ideals has its origin in the theory of tight closure, which was introduced about 30
years ago by Hochster and Huneke [15]. Tight closure is a closure operation performed
on ideals in R, or more generally, on inclusions of R-modules. The test ideal defined
in [15] is generated by test elements, or those elements which can be used to test the
tight closure membership for all inclusions of finitely generated R-modules. This is the
etymology of the name “test ideal”. This test ideal is nowadays called the finitistic
test ideal of R and denoted by τfg (R).
Later, another test ideal, called the big test ideal of R and denoted by τb (R), was
introduced. It is generated by big test elements, or those elements used to test the
tight closure membership for all inclusions of (not necessarily finitely generated) Rmodules. The big test ideal fits better into the theory of Frobenius splittings and can
be characterized without using tight closure. Indeed, Schwede [21] proved that (if R
e
is F -finite) τb (R) is the unique smallest nonzero ideal J ⊂ R such that ϕ(J 1/p ) ⊂ J
e
for all e ∈ N and all ϕ ∈ HomR (R1/p , R). The big test ideal quickly began finding
applications in its own right. Now this notion is becoming a fundamental tool in
birational geometry and singularity theory in positive characteristic.
It is clear from definition that τb (R) is contained in τfg (R), and they are conjectured
to be equal.
Conjecture 1.1 ([23, Conjecture 5.14]). τb (R) = τfg (R).
Conjecture 1.1 is considered to be one of the most important conjectures in tight
closure theory. When R is normal and Q-Gorenstein, Conjecture 1.1 is known to hold
(see [2], [3], [10], [13], [24], [25]). What if R is normal but not Q-Gorenstein? Various
results on τb (R) in the Q-Gorenstein
case were generalized in [7] to the setting where
L
the anti-canonical ring
i>0 OX (−iKX ) of X = Spec R (that is, the symbolic Rees
2010 Mathematics Subject Classification. 13A35, 14B05.
Key words and phrases. Numerically Q-Gorenstein, finitistic test ideals, big test ideals.
1

2

SHUNSUKE TAKAGI

algebra of the anti-canonical ideal of R) is finitely generated. In particular, they gave
an affirmative answer to Conjecture 1.1 in this setting.
In this paper, as another generalization of Q-Gorensteinness, we consider the condition of being numerically Q-Gorenstein. The notion of numerically Q-Gorenstein
varieties was introduced in [5], [6] when the base field is of characteristic zero, and is
generalized to arbitrary characteristic in [8] by making use of regular alterations instead of resolutions of singularities. Being numerically Q-Gorenstein is a much weaker
condition than being Q-Gorenstein. For example, every normal surface is numerically
Q-Gorenstein. We also note that this condition is somewhat orthogonal to the finite
generalization of the anti-canonical ring, because if R satisfies the both conditions,
then it has to be Q-Gorenstein.
We give an affirmative answer to Conjecture 1.1 when R is numerically Q-Gorenstein.
More generally, we can prove the equality for a generalization of test ideals. Inspired
by the theory of multiplier ideals, Hara-Yoshida [13] and Takagi [25] generalized the
big and finitistic test ideals τb (R), τfg (R) to the ideals τb (R, ∆, at ), τfg (R, ∆, at ) associated to a triple (R, ∆, at ), where ∆ is an effective Q-Weil divisor on Spec R, a ⊂ R
is an ideal, and t > 0 is a real number. Our main result is stated for the ideals
τb (R, ∆, at ), τfg (R, ∆, at ).
Main Theorem (Theorem 4.4, Corollary 4.7). Let (R, ∆, at ) be a triple where R is
an F -finite normal domain and set X = Spec R. Suppose that one of the following
conditions is satisfied:
(a) R is essentially of finite type over a field and KX + ∆ is numerically Q-Cartier,
or
(b) R is of dimension two.
Then τb (R, ∆, at ) = τfg (R, ∆, at ).
For the proof, we employ the strategy of MacCrimmon [20] and Williams [26]. The
assertion follows from valuative characterizations of tight closure and numerically QCartier divisors (Proposition 4.1 and Lemma 3.7).
Acknowledgments. The author is grateful to Sho Ejiri, Osamu Fujino, Kenta Sato, Karl
Schwede, Hiromu Tanaka, Kevin Tucker and Sho Yoshikawa for useful conversations. He also
thanks Imperial College London for support and hospitality during his visit in Spring, 2017,
where part of this work was done. He was partially supported by JSPS KAKENHI 15KK0152
and 17H02831.

Notation. Throughout this paper all rings are commutative rings with unity. Given
a ring R, we denote by R◦ the set of elements of R which are not in any minimal
P
prime ideal. Suppose that R is a normal domain. Given a Q-Weil divisor
P ∆ = i d i Di
on X =PSpec R, the round up (resp. round down) of ∆ is ⌈∆⌉ = i ⌈di ⌉Di (resp.
⌊∆⌋ = i ⌊di ⌋Di ) where ⌈di ⌉ denotes the smallest integer greater than or equal to di
(resp. ⌊di ⌋ denotes the largest integer less than or equal to di ). For an integral Weil
divisor D on X, we will use the notation R(D) to denote H 0 (X, OX (D)).
All schemes are assumed to be Noetherian and separated. A variety over a field k
means an integral scheme of finite type over k.

FINITISTIC TEST IDEALS ON NUMERICALLY Q-GORENSTEIN VARIETIES

3

2. A quick review on test ideals
In this section, we briefly review the definitions and basic properties of tight closure
and test ideals.
Let R be a normal domain of characteristic p > 0. Given an ideal I of R and an
e
integer e ∈ N, the e-th Frobenius power I [p ] of I is the ideal of R generated by all
pe -th powers of elements of I.
Fix an algebraic closure L of the quotient field Frac(R) of R. Given a fractional
e
e
ideal J of R and an integer e ∈ N, set J 1/p = {y ∈ L | y p ∈ J} and denote an element
e
e
e
y ∈ J 1/p by x1/p where x = y p ∈ J. We say that R is F -finite if R1/p is a finitely
generated R-module. By definition, a field K is F -finite if and only if [K : K p ] < ∞.
More generally, if R is a complete local ring with F -finite residue field or is essentially
of finite type over an F -finite field, then it is F -finite.
Definition 2.1. In this paper, we say that (R, ∆, at ) is a triple in characteristic p > 0
if R is an excellent normal domain of characteristic p > 0, ∆ is an effective Q-Weil
divisor on Spec R, a is a nonzero ideal of R and t > 0 is a real number. We say that
the triple (R, ∆, at ) is F -finite if so is R.
Definition 2.2 ([3, Definition 3.1]). Let (R, ∆, at ) be a triple in characteristic p > 0.
(i) Let I be an ideal in R. An element x ∈ R is said to be in the (∆, at )-tight
t
closure I ∗(∆,a ) of I if there exists c ∈ R◦ such that
ca⌈t(q−1)⌉ xq ⊂ I [q] R(⌈(q − 1)∆⌉)
for all large q = pe . When a = R (resp. ∆ = 0 and a = R), we simply denote
t
the ideal I ∗(∆,a ) by I ∗∆ (resp. I ∗ ).
(ii) Let M be an R-module. An element z ∈ M is said to be in the (∆, at )-tight
∗(∆,at )
closure 0M
of the zero submodule in M if there exists c ∈ R◦ such that
(ca⌈t(q−1)⌉ )1/q ⊗ z = 0 in R(⌈(q − 1)∆⌉)1/q ⊗R M
∗(∆,at )fg

for all large q = pe . We say that z is in the finitistic tight closure 0M
of the
zero submodule in M if there exists a finitely generated R-submodule N ⊂ M
∗(∆,at )
such that z ∈ 0N
. In other words,
[ ∗(∆,at )
∗(∆,at )fg
0M
=
0N
N ⊂M

where N runs through all finitely generated R-submodules of M.
(iii) We say that an element c ∈ R◦ is a big sharp test element for (R, ∆, at ) if for
∗(∆,at )
all R-modules M and all z ∈ 0M
, we have
(ca⌈t(q−1)⌉ )1/q ⊗ z = 0 in R(⌈(q − 1)∆⌉)1/q ⊗R M
for every q = pe . When ∆ = 0 and a = R, we refer to such elements as big test
elements for R.
Remark 2.3. Definition 2.2 (i), (ii) do not change even if we replace a⌈t(q−1)⌉ (resp.
R(⌈(q − 1)∆⌉) by a⌈tq⌉ (resp. R(⌈q∆⌉)). However, Definition 2.2 (iii) does change if we
make such a replacement.

4

SHUNSUKE TAKAGI

Big sharp test elements always exists if the ring is F -finite.
Lemma 2.4 ([21, Lemma 2.17]). Let (R, ∆, at ) be an F -finite triple. If we choose an
element c ∈ R◦ such that the localization Rc is regular, div(c) > ∆ and aRc = Rc , then
some power cn of c is a big sharp test element for (R, ∆, at ).
Now we introduce test ideals. There are two kinds of test ideals, finitistic test ideals
and big test ideals.
t
Definition 2.5 ([3, Definition-Propositions
L 3.2 and 3.3], cf. [15]). Let (R, ∆, a ) be a
triple in characteristic p > 0 and E = m ER (R/m) be the direct sum, taken over all
maximal ideals m of R, of the injective hulls of the residue fields R/m.
(i) The finitistic test ideal τfg (R, ∆, at ) associated to (R, ∆, at ) is defined by
\
∗(∆,at )fg
∗(∆,at )
τfg (R, ∆, at ) = AnnR (0E
)=
AnnR (0M
),
M

where M runs through all finitely generated R-submodules of E. When a = R
(resp. ∆ = 0 and a = R), we denote it by τfg (R, ∆) (resp. τfg (R)).
(ii) The big test ideal τb (R, ∆, at ) associated to (R, ∆, at ) is defined by
∗(∆,at )

τb (R, ∆, at ) = AnnR (0E

).

When a = R (resp. ∆ = 0 and a = R), we denote it by τb (R, ∆) (resp. τb (R)).
(iii) Suppose in addition that R is F -finite. The ring R is said to be strongly F regular if τb (R) = R.
Remark 2.6. The finitistic test ideal was introduced by Hochster-Huneke [15] about 30
years ago, but the notations used for test ideals vary in the literature. The notation
τ (R) was used for the finitistic test ideal τfg (R) originally, but nowadays, is more often
used for the big test ideal τb (R), which is sometimes denoted by τe(R) in the literature.
Lemma 2.7 (cf. [15, Proposition 8.23 (e)]). Let (R, ∆, at ) be a triple where (R, m) is
b denote the m-adic completion of
an F -finite local ring of characteristic p > 0. Let R
b
b
R and ∆ denote the pullback of ∆ to Spec R. Then
b ∆,
b (aR)
b t ) ∩ R.
b
τfg (R, ∆, at ) = τfg (R,

Proof. Since excellent reduced local rings are approximately Gorenstein by [14], there
exists a sequence {It } of m-primary irreducible ideals in R cofinal with the power of
m. Then by the same argument as the proof of [15, Proposition 8.23 (f)], one has
\
∗(∆,at )
τfg (R, ∆, at ) = (It :R It
),
t

b ∆,
b (aR)
b )=
τfg (R,
t

\

∗(∆,at ) b
It
R

t

b

b

b : b (It R)
b ∗(∆,(aR) ) ).
(It R
R
t

b R)
b t)
b R)
b t)
b ∗(∆,(a
b ∗(∆,(a
Thus, it suffices to prove that
= (It R)
. Since (It R)
is an
b
b
mR-primary ideal or the unit ideal of R, there exists an ideal J in R such that
b R)
b t)
∗(∆,at )
b = (It R)
b ∗(∆,(a
JR
. It is enough to show that It
= J, that is, an element

FINITISTIC TEST IDEALS ON NUMERICALLY Q-GORENSTEIN VARIETIES

5

b R)
b t)
∗(∆,at )
b ∗(∆,(a
x ∈ R lies in It
if and only if x lies in (It R)
. Let c ∈ R◦ be a big sharp
b ∆,
b (aR)
b t ) (Lemma 2.4 produces such an
test element both for (R, ∆, at ) and for (R,
t
∗(∆,a )
element). By definition, x ∈ It
if and only if cxq a⌈t(q−1)⌉ ⊂ I [q] R(⌈(q − 1)∆⌉)
b is faithfully flat, this is equivalent to sayfor all q = pe . However, since R ֒→ R
b ⌈t(q−1)⌉ ⊂ I [q] R(⌈(q
b
b for all q = pe , which implies that x ∈
ing that cxq (aR)
− 1)∆⌉)
t
b
b
b ∗(∆,(aR) ) .
(It R)


Remark 2.8. (1) When ∆ = 0 and a = R, it follows from [15, Proposition 8.23 (e)] that
Lemma 2.7 holds for arbitrary excellent reduced local rings of characteristic p > 0, not
necessarily F -finite.
(2) ([3, Remark 3.6], [11, Proposition 3.2]) Suppose that we are in the setting of
Lemma 2.7. In the case of big test ideals, a similar but stronger statement hold:
b = τb (R,
b ∆,
b (aR)
b t ).
τb (R, ∆, at )R
3. Numerically Q-Cartier divisors

In this section, we recall the notion of numerically Q-Cartier divisors, introduced in
[5] and [6], which is a natural generalization of Q-Cartier divisors.
First we note that the negativity lemma holds for normal varieties over any field.
Lemma 3.1 (Negativity lemma). Let h : Z → Y be a birational morphism between
normal varieties over a field k. Suppose that −B is an h-nef Q-Cartier Q-Weil divisor
on Z. Then B is effective if and only if h∗ B is.
Proof. After extending the base field and taking the normalization, we can reduce to
the case where the base field is algebraically closed. The assertion now follows from [4,
2.3].

Using regular alterations, we define numerically Q-Cartier divisors. Here, an alteration of a variety X over a field is a generically finite proper surjective morphism
π : Y → X and a regular alteration of X is an alteration ρ : Z → X from a regular
variety Z, which always exists by [18].
Definition 3.2 ([8, Definition 15], cf. [6, Definition 5.2]). Let X be a normal variety
over a field.
(i) Suppose that D is a Q-Weil divisor on X and x ∈ X is a (not necessarily closed)
point of X. We say that D is numerically Q-Cartier at x if there exist a open
neighborhood U of x, a regular alteration π : V → U, and a π-numerically
trivial Q-divisor DV on V such that D|U = π∗ DV . We also say that D is
numerically Q-Cartier if D is numerically Q-Cartier at all points of X.
(ii) X is said to be numerically Q-Gorenstein if KX is numerically Q-Cartier. X is
said to be numerically Q-factorial if every Q-Weil divisor on it is numerically
Q-Cartier.
Remark 3.3. Definition 3.2 (i) is equivalent to saying that there exists a open neighborhood U of x, a regular alteration π : V → U, a Q-divisor DV′ on V such that DV′
f

g

is f -numerically trivial and f∗ DV′ = (1/ deg g)g ∗D|U , where π : V −
→W −
→ U is the

6

SHUNSUKE TAKAGI

stein factorization of π. The uniqueness of DV′ can be verified by applying Lemma 3.1
∗
to f . Therefore, we denote DV′ by πnum
D|U and call it the numerical pullback of D|U
to V . It follows from essentially the same argument as in [6, Proposition 5.3] that the
numerical pullback of D|U can be defined for an arbitrary regular alteration of U.
Example 3.4. (1) Q-Cartier Q-Weil divisors are clearly numerically Q-Cartier.
(2) Every two-dimensional excellent normal integral scheme is numerically Q-factorial,
because Mumford’s pullback for Q-Weil divisors exists by the Hodge index theorem [19,
Theorem 10.1].
The following lemma tells us that the condition of D being numerically
Q-Cartier is
L
somewhat orthogonal to the finite generation of the section ring i>0 OX (⌊iD⌋).
Lemma 3.5. Let x ∈ X be a point of a normal
variety X over a field and D be a
L
Q-Weil divisor on X. Suppose that R =
O
X (⌊iD⌋) is Noetherian. Then D is
i>0
numerically Q-Cartier at x if and only if it is Q-Cartier at x.
Proof. Suppose that D is a numerically Q-Cartier at x. After shrinking X if necessary,
we can define the numerical pullback of D to an arbitrary regular alteration of X.
Let ρ : Z = Proj R → X be the structure morphism. Then ρ is a small morphism
and ρ−1
∗ D is a ρ-ample Q-Cartier Q-Weil divisor on Z. We will show that ρ is an
isomorphism.
µ
Take a regular alteration µ : Y → Z, and then the composite morphism π : Y −
→
ρ
∗
Z−
→ X is a regular alteration of X. Since µ∗ πnum
D = ρ−1
∗ D, it follows from Remark 3.3
∗
∗ −1
that πnum D = (1/ deg µ)µ ρ∗ D. Suppose to the contrary that ρ is not an isomorphism,
which implies that there exists a ρ-exceptional curve C on Z. Then

1
∗
−1
−1
(πnum
D, µ−1
µ∗ ρ−1
∗ C) =
∗ D, µ∗ C = (ρ∗ D, C) > 0,
deg µ
∗
because ρ−1
∗ D is ρ-ample. This, however, contradicts the fact that πnum D is numerically
π-trivial.

Example 3.6 (cf. [6, Example 5.8]). Let x ∈ X be a closed point of a three-dimensional
strongly F -regular (affine) variety over an algebraically closed field of characteristic
p > 5 and let D be a Q-Weil divisor on X. It follows from [22, Theorem 4.3] and [12,
Theorem 3.3] that there exists an effective
Q-Weil divisor ∆ on X such that KX + ∆ is
L
Q-Cartier and (X, ∆) is klt. Then i>0 OX (⌊iD⌋) is Noetherian by [7, Lemma 2.27].
Applying Lemma 3.5, we see that D is numerically Q-Cartier at x if and only if it is
Q-Cartier at x.
We will use the following fact in the proof of the main theorem.
Lemma 3.7 ([6, Proposition 5.9]). Let z ∈ Z be a point of a normal variety Z over a
field and let B be a Weil divisor on Z which is numerically Q-Cartier at z. Then for
every divisorial valuation ν on Z centered at z, we have
ν(OZ (mB)OZ (−mB))
lim
= 0,
m→∞
m
where ν(OZ (mB)OZ (−mB)) = min{ν(f ) | f ∈ OZ (mB)z OZ (−mB)z ⊂ OZ,z }.

FINITISTIC TEST IDEALS ON NUMERICALLY Q-GORENSTEIN VARIETIES

7

Proof. After shrinking Z if necessary, we may assume that B is a numerically QCartier Weil divisor on Z. The assertion then follows from the same argument as in
[6, Proposition 5.9].

4. Main Theorem
In this section, we will prove the main theorem. The following valuative characterization of tight closure plays an important role in the proof.
Proposition 4.1 (cf. [16, Theorem 3.1]). Let (R, ∆, at ) be a triple where (R, m) is a
F -finite complete local ring of characteristic p > 0. Suppose that S is a normal domain
which is a module-finite extension of R and ρ∗ ∆ is an integral divisor on Z = Spec S,
where ρ : Z → X is the morphism induced by the inclusion R ֒→ S. Let u be an
element of R and I be an ideal of R, and fix a Q-valued valuation ν on S which is
t
nonnegative on R and positive on m. Then u ∈ I ∗(∆,a ) if and only if there exists a
sequence of nonzero elements ce ∈ S satisfying the following three conditions:
(i) {ν(ce )/pe } is a monotonically decreasing sequence,
(ii) lime→∞ ν(ce )/pe = 0,
e
e
e
(iii) ce up a⌈tp ⌉ S ⊂ I [p ] S(pe ρ∗ ∆) for all e.
Proof. Suppose that there exists a sequence of nonzero elements ce ∈ S satisfying the
conditions (i)-(iii). First note that ν can be extended to a Q-valued valuation on the
absolute integral closure R+ of R (we use the same letter ν to denote this valuation
on R+ ). It follows from [16, Theorem 3.3] that there exist a real number λ > 0 and an
integer r > 0 such that for every element s ∈ R+ with ν(s) < λ, there is an R-linear
′
map ϕ : R+ → R such that ϕ(s) ∈
/ mr . Fix any power q = pe of p, and choose q ′ = pe
′
1/q
so large that ν(cee′ ) = ν(cee′ )/q ′ 6 ν(ce′ )q/q ′ < λ, where the second inequality follows
′
′
′
from (i) and the third one does from (ii). We have cee′ uqq a⌈tqq ⌉ S ⊂ I [qq ] S(qq ′ρ∗ ∆) by
(iii) and taking the q ′ -th root on both sides yields that
1/q ′

′

′

cee′ uq a⌈tq⌉ S 1/q ⊂ I [q] S(qq ′ ρ∗ ∆)1/q .

(♣)
′

By the choice of λ and r, there exists an R-linear map ϕ
e : S 1/q → R such that
′
1/q ′
/ mr , which can be extended to an R-linear map S(qq ′ ρ∗ ∆)1/q → R(⌈q∆⌉)
ϕ(c
e ee′ ) ∈
1/q ′
(we use the same letter ϕ
e to denote this map). Setting ceq = ϕ(c
e ee′ ) ∈ R \ mr and
applying ϕ
e to (♣), we have ceq uq a⌈tq⌉ ⊂ I [q] R(⌈q∆⌉) for all q = pe .
Set Jq = ((I [q] )∗⌈q∆⌉ :R uq a⌈tq⌉ ) for each q = pe . Note that ceq ∈ Jq , because
I [q] R(⌈q∆⌉) ∩ R is contained in (I [q] )∗⌈q∆⌉ . Then {Jq } is a decreasing sequence of
ideals of R. Indeed, if xupq a⌈tpq⌉ ⊂ (I [pq] )∗⌈pq∆⌉ with x ∈ R, then there exists a nonzero
element b ∈ R such that
b(xuq )pQ (a⌈tq⌉ )[pQ] ⊂ b(xupq )Q (a⌈tpq⌉ )[Q] ⊂ I [pqQ]R(Q⌈pq∆⌉) ⊂ I [pqQ]R(pQ⌈q∆⌉)
for all large powers Q of p, which implies that xuq a⌈tq⌉ ⊂ (I [q] )∗⌈q∆⌉ . Since the sequence
{Jq } is decreasing, if it had intersection (0), then Chevalley’s theorem would force
Jq ⊂ mr for sufficiently large q.TThis contradicts the fact that ceq ∈ Jq \ mr , so we can
choose a nonzero element d ∈ q Jq , that is, duq a⌈tq⌉ ⊂ (I [q] )∗⌈q∆⌉ for all q = pe . Let

8

SHUNSUKE TAKAGI

c ∈ R◦ be a ∆-test element in the sense of [25] (see [25, Definition 2.4] for its definition
and [25, Lemma 2.5] for the existence of such an element). It follows from the definition
of ∆-test elements that c(I [q] )∗⌈q∆⌉ ⊂ I [q] R(⌈q∆⌉), so that cduq a⌈tq⌉ ⊂ I [q] R(⌈q∆⌉) for
t
all q = pe . Therefore, u ∈ I ∗(∆,a ) as required.

In order to prove the main theorem, we employ the strategy of MacCrimmon [20]
and Williams [26]. The following notation is due to [26].
Notation 4.2. Let R be a Noetherian local ring and x = x1 , . . . , xn be a system of
parameter for R. For an integer t > 1, we write xt = xt1 , . . . , xtn and denote the ideal
(xt1 , . . . , xtn ) by (xt ). For every R-module M, we also denote by K(x, t, M) the kernel of
×(x1 ···xn )t−1

the map M/(x)M −−−−−−−→ M/(xt )M induced by the multiplication by the element
(x1 · · · xn )t−1 , and we write
[
K(x, ∞, M) :=
K(x, t, M).
t>1

Lemma 4.3 (cf. [26]). Let (R, ∆, at ) be a triple where (R, m) is an n-dimensional
F -finite complete local ring of characteristic p > 0. Suppose that (S, n) is a normal
local ring which is a module-finite extension of R and ρ∗ ∆ is an integral divisor on
Z = Spec S, where ρ : Z → X is the morphism induced by the inclusion R ֒→ S. Let
x = x1 , . . . , xn be a system of parameters for R and J be a divisorial ideal of R, and
fix a Q-valued valuation ν on S which is nonnegative on R and positive on m. Then
∗(∆,at )fg
∗(∆,at )
0Hmn (J) = 0Hmn (J) if there exists an sequence of nonzero elements ce ∈ S satisfying the
following three conditions:
(i) {ν(ce )/pe } is a monotonically decreasing sequence,
(ii) lime→∞ ν(ce )/pe = 0,
(iii) there exists an integer t0 > 2 such that for all s > 1 and all q = pe ,
ce K(xqs , ∞, J [q]S(qρ∗ ∆)) ⊂ K(xqs , t0 , J [q] S(qρ∗ ∆)).
∗(∆,at )

Proof. Let ξ ∈ 0Hmn (J) , that is, there exists a nonzero element d ∈ R such that
(da⌈tq⌉ )1/q ⊗ ξ = 0 in R(⌈q∆⌉)1/q ⊗R Hmn (J) for all q = pe . We identify Hmn (J) with
lim J/(xt )J and represent ξ by the image of z mod (xs )J ∈ J/(xs )J for some z ∈ J
−→
and s > 1. Since the natural map
R(⌈q∆⌉)1/q ⊗R Hmn (J) → lim(J [q] R(⌈q∆⌉))/((xqt )J [q] R(⌈q∆⌉))
−→
1/q
q
sends 1 ⊗ ξ to the image of z mod (xqs )J [q] R(⌈q∆⌉),
the image of dz q a⌈tq⌉ mod (xqs )J [q] R(⌈q∆⌉) = 0
in lim(J [q] R(⌈q∆⌉))/((xqt )J [q] R(⌈q∆⌉)) for all q = pe . Therefore,
−→
dd′ z q a⌈tq⌉ S ⊂ K(xqs , ∞, J [q]S(qρ∗ ∆))
for a nonzero element d′ ∈ R(−⌈∆⌉), which implies by the condition (iii) that
ce dd′z q a⌈tq⌉ S ⊂ K(xqs , t0 , J [q] S(qρ∗ ∆)),

FINITISTIC TEST IDEALS ON NUMERICALLY Q-GORENSTEIN VARIETIES

9

that is, ce dd′z q (x1 · · · xn )qs(t0 −1) a⌈tq⌉ S ⊂ ((xst0 )J)[q] S(qρ∗ ∆) for all q = pe . Applying
t
Proposition 4.1, one has z(x1 · · · xn )s(t0 −1) ∈ ((xst0 )J)∗(∆,a ) . This means that ξ, which
is represented by the image of z(x1 · · · xn )s(t0 −1) mod (xst0 )J ∈ J/(xst0 )J, belongs to
∗(∆,at )
0N
, where N is the submodule of Hmn (J) generated by the image of J/(xst0 )J.
∗(∆,at )fg
Thus, ξ ∈ 0Hmn (J) .

Suppose that R is a normal domain essentially of finite type over a field k and D is a
Q-Weil divisor on X = Spec R. We say that D is numerically Q-Cartier if there exist
a normal affine variety X ′ = Spec R′ over k and a Q-Weil divisor D ′ on X ′ such that R
is a localization of R′ , D is the pullback of D ′ to X, and D ′ is numerically Q-Cartier
at all x ∈ X ⊂ X ′ .
We are now ready to prove our main theorem, which is a generalization of [3, Proposition 3.7] (cf. [13, Definition-Theorem 6.5], [25, Theorem 2.8 (2)]).
Theorem 4.4. Let (R, ∆, at ) be a triple where R is a normal domain essentially of
finite type over an F -finite field k of characteristic p > 0. If KX + ∆ is numerically
Q-Cartier where X = Spec R, then τb (R, ∆, at ) = τfg (R, ∆, at ).
Proof. We may assume that (R, m) is a local ring by essentially the same argument
as the proof of [3, Proposition 3.7]. Choose a point x of a normal affine variety X ′
over k and a Q-Weil divisor ∆′ on X ′ such that R ∼
= OX ′ ,x , ∆ ∼
= ∆′x and KX ′ + ∆′
is numerically Q-Cartier at x. Take an effective Weil divisor D ′ on X ′ such that
µ′
ρ′
D ′ ∼ −KX ′ . Let π ′ : Y ′ → X ′ be a regular alteration and Y ′ −
→ Z′ −
→ X ′ denote its
Stein factorization. After possibly passing to a further alteration, we may assume that
ρ′ ∗ (∆′ − D ′ ) is an integral divisor on Z ′ . Fix a point z ∈ Z ′ lying over x ∈ X ′ and a
divisorial valuation ν on Z ′ centered at z. By Lemma 3.7,
ν(OZ ′ (mρ′ ∗ (∆′ − D ′ ))OZ ′ (−mρ′ ∗ (∆′ − D ′ )))
= 0.
m→∞
m
lim

µ

ρ

Let π : Y −
→Z −
→ X = Spec R be the flat base change of π ′ = µ′ ◦ ρ′ via X → X ′
and D be the pullback of D ′ to X. Then D is an effective Weil divisor on X such that
D ∼ −KX and ρ∗ (∆ − D) is an integral divisor on Z. Set S = ρ∗ OZ , which is a normal
domain and a module-finite extension of R.
It follows from Lemma 2.7 and Remark 2.8 (2) that
b ∆,
b (aR)
b t ) ∩ R,
τfg (R, ∆, at ) = τfg (R,
b ∆,
b (aR)
b t ) ∩ R,
τb (R, ∆, at ) = τb (R,
b is the m-adic completion of R and ∆
b is the pullback of ∆ to Spec R.
b On the
where R
b of S is a finite product S1 × · · · × Sr of
other hand, the m-adic completion S ⊗R R
b Note that
complete normal local rings (Si , ni ) which are module-finite extensions of R.
after reindexing if necessary, we can assume that (S1 , n1 ) is isomorphic to the maximalideal-adic completion of OZ ′ ,z . Therefore, by [17, Proposition 9.3.5], the divisorial
valuation ν can be extended to a divisorial valuation νb on Spec S1 centered at n1 such

10

SHUNSUKE TAKAGI

that
b − D))S
b 1 (−mρ1 ∗ (∆
b − D)))
b
νb(S1 (mρ1 ∗ (∆
= 0,
m→∞
m
b is the finite morphism induced by ρ and D
b is the pullback
where ρ1 : Spec S1 → Spec R
b Thus, by passing to completion, we may assume that (R, m) and (S, n)
of D to Spec R.
are complete local rings of characteristic p > 0 and of dimension n > 2, ν is a divisorial
valuation on Spec S centered at n, and
lim

ν(S(mρ∗ (∆ − D))S(−mρ∗ (∆ − D)))
= 0.
m→∞
m
lim

∗(∆,at )

(♠)

∗(∆,at )fg

Set J = R(−D) ⊂ R, and we will show that 0Hmn (J) = 0Hmn (J) .
Let x1 ∈ J be an arbitrary nonzero element. We can choose an element x2 ∈
R(D)R(−D) such that x2 is R/(x1 )-regular, because R(D)R(−D) ⊂ R is the unit
ideal or has height > 2. We extend x1 , x2 to a system of parameters x1 , x2 , . . . , xn for
R. For each e > 1, set Me = S(pe ρ∗ (∆ − D)). Then
J [q] S(qρ∗ ∆) ⊆ Me ⊆ S(qρ∗ ∆),
xq2 Me ⊆ J [q] R(qD)Me ⊆ J [q] S(qρ∗ ∆)
for all q = pe . Since xq1 ∈ J [q] , this implies that (x1 · · · xi−1 xi+1 · · · xn )qs Me is contained
in J [q] S(qρ∗ ∆) for all integers s > 1 and 1 6 i 6 n. Therefore, the map
H n−1 (xqst ; Me /J [q] S(qρ∗ ∆)) → H n−1 (xqs(t+1) ; Me /J [q] S(qρ∗ ∆))
between Koszul cohomology modules is zero for all s, t > 1 and all q = pe . On the other
hand, fix any power q = pe of p and suppose that z mod (xqs )Me ∈ K(xqs , ∞, Me ) with
z ∈ Me , that is, there exists t > 1 such that (x1 · · · xn )qs(t−1) z ∈ (xqst )Me . Since
(x1 · · · xn )qs(t−1) zS(qρ∗ (D − ∆)) ⊆ (xqst )S(qρ∗ (D − ∆))Me ⊆ (xqst )S,
it follows from the colon-capturing property of tight closure [15, Theorem 4.7] that
S(qρ∗ (D − ∆))z ⊆ ((xqs )S)∗ . Let c ∈ S be a big test element for S and set Ie =
S(qρ∗ (D − ∆))Me ⊂ S for each q = pe . Then cIe z ⊆ (xqs )Me by the definition of big
test elements, which implies that cIe K(xqs , ∞, Me ) = 0 for all s > 1 and all q = pe .
Now applying [10, Lemma A.3] (cf. [20]) to the exact sequence
0 → J [q] S(qρ∗ ∆) → Me → Me /J [q] S(qρ∗ ∆) → 0,
we see that
cIe K(xqs , ∞, J [q]S(qρ∗ ∆)) ⊂ K(xqs , 2, J [q]S(qρ∗ ∆))
for all s > 1 and all q = pe . Choose an element de ∈ Ie such that ν(de ) = min{ν(f ) | f ∈
Ie } = ν(Ie ) for every e > 0, and we will check that the conditions (i)-(iii) in Lemma
4.3 are satisfied for the sequence {cde }. We have already seen that (iii) is satisfied for
{cde }. Since lime→∞ ν(cde )/pe = lime→∞ ν(c)ν(Ie )/pe = 0 by (♠), the condition (ii) is
also satisfied for {cde }. Finally we use the containment Iep ⊂ Ie+1 for every e > 0 to
verify the condition (i) for {cde }. Thus, the assertion follows from Lemma 4.3.


FINITISTIC TEST IDEALS ON NUMERICALLY Q-GORENSTEIN VARIETIES

11

Remark 4.5. When ∆ = 0 and a = R, by applying [15, Proposition 8.23 (e)] (resp.
[1, Theorem 3.6 (2)], [16, Theorem 3.1]) instead of Lemma 2.7 (resp. Remark 2.8 (2),
Proposition 4.1), one can show that Theorem 4.4 hold without assuming that R is
F -finite.
Remark 4.6. As a generalization of Q-Gorensteinness, the finite generation of the
anti-canonical
ring is discussed in [7]. In the setting of Theorem 4.4, assume that
L
O
(−⌊i(K
X + ∆)⌋) is finitely generated instead of assuming that KX + ∆ is nui>0 X
merically Q-Cartier. It then follows from [7, Corollary 5.7] that τb (R, ∆) = τfg (R, ∆).
We don’t know whether the equality L
τb (R, ∆, at ) = τfg (R, ∆, at ) holds for any a ⊂ R
and t > 0 under the assumption that i>0 OX (−⌊i(KX + ∆)⌋) is finitely generated.
Since every normal surface is numerically Q-factorial, the following holds.
Corollary 4.7. Let (R, ∆, at ) be a triple where R is a two-dimensional F -finite normal
domain of characteristic p > 0. Then τb (R, ∆, at ) = τfg (R, ∆, at ).
Proof. First, Spec R is numerically Q-factorial by Example 3.4 (2). Second, using the
Hodge index theorem [19, Theorem 10.1], we can verify that Lemma 3.7 holds for all
two-dimensional excellent normal integral schemes. Thus, the assertion follows from
an argument very similar to the proof of Theorem 4.4.

Remark 4.8. Combining Corollary 4.7 and [8, Theorem 1], we see that if X = Spec R is
a normal affine surface over an uncountable algebraically closed field of characteristic
zero and ∆ is an effective Q-Cartier Q-Weil divisor on X, then the multiplier ideal
J (X, ∆) in the sense of [9] coincides, after reduction to characteristic p ≫ 0, with the
finitistic test ideal τfg (Rp , ∆p ) associated to modulo p reduction (Rp , ∆p ) of (R, ∆).
References
[1] I. Aberbach and F. Enescu, Test ideals and base change problems in tight closure theory, Trans.
Amer. Math. Soc. 355 (2003), 619–636.
[2] I. Aberbach and B. MacCrimmon, Some results on test ideals, Proc. Edinburgh Math. Soc. (2)
42 (1999), 541–549.
[3] M. Blickle, K. Schwede, S. Takagi and W. Zhang, Discreteness and rationality of F -jumping
numbers on singular varieties, Math. Ann. 347 (2010), 917–949.
[4] C. Birkar, Existence of flips and minimal models for 3-folds in char p, Ann. Sci. Éc. Norm. Supér.
(4) 49 (2016), 169–212.
[5] S. Boucksom, T. de Fernex, C. Favre, The volume of an isolated singularity, Duke Math. J. 161
(2012), 1455–1520.
[6] S. Boucksom, T. de Fernex, C. Favre and S. Urbinati, Valuation spaces and multiplier ideals
on singular varieties, Recent advances in algebraic geometry, 29–51, London Math. Soc. Lecture
Note Ser. 417, Cambridge Univ. Press, Cambridge, 2015.
[7] A. Chiecchio, F. Enescu, L. E. Miller and K. Schwede, Test ideals in rings with finitely generated
anticanonical algebras, to appear in J. Inst. Math. Jussieu.
[8] T. de Fernex, R. Docampo, S. Takagi, and K. Tucker, Comparing multiplier ideals to test ideals
on numerically Q-Gorenstein varieties, Bull. Lond. Math. Soc. 47 (2015), 359–369.
[9] T. de Fernex, C. D. Hacon, Singularities on normal varieties, Compos. Math. 145 (2009), 393–414.
[10] N. Hara, Geometric interpretation of tight closure and test ideals, Trans. Amer. Math. Soc. 353
(2001), 1885–1906.
[11] N. Hara and S. Takagi, On a generalization of test ideals, Nagoya Math. J. 175 (2004), 59–74.

12

SHUNSUKE TAKAGI

[12] N. Hara and K.-i. Watanabe, F -regular and F -pure rings vs. log terminal and log canonical
singularities. J. Algebraic Geom. 11 (2002), 363–392.
[13] N. Hara and K. Yoshida, A generalization of tight closure and multiplier ideals, Trans. Amer.
Math. Soc. 355 (2003), 3143–3174.
[14] M. Hochster, Cyclic purity versus purity in excellent Noetherian rings, Trans. Amer. Math. Soc.
231 (1977), 463–488.
[15] M. Hochster and C. Huneke, Tight closure, invariant theory and the Briançon-Skoda theorem, J.
Amer. Math. Soc. 3 (1990), 31–116.
[16] M. Hochster and C. Huneke, Tight closure and elements of small order in integral extensions, J.
Pure Appl. Algebra 71 (1991), 233–247.
[17] C. Huneke and I. Swanson, Integral closure of ideals, rings, and modules, London Mathematical
Society Lecture Note Series, 336, Cambridge University Press, Cambridge, 2006.
[18] A. J. de Jong, Smoothness, semi-stability and alterations, Publ. Math. IHES 83 (1996), 51–93.
[19] J. Kollár, Singularities of the minimal model program, Cambridge Tracts in Mathematics, 200,
Cambridge University Press, Cambridge, 2013.
[20] B. MacCrimmon, Weak F -regularity is strong F -regularity for rings with isolated non-QGorenstein points, to appear in Trans. Amer. Math. Soc.
[21] K. Schwede, Centers of F -purity, Math. Z. 265 (2010), 687–714.
[22] K. Schwede and K. Smith, Globally F -regular and log Fano varieties. Adv. Math. 224 (2010),
863–894.
[23] K. Schwede and K. Tucker, A survey of test ideals, Progress in commutative algebra 2, 39–99,
Walter de Gruyter, Berlin, 2012.
[24] K. Smith, The multiplier ideal is a universal test ideal, Comm. Algebra 28 (2000), 5915–5929.
[25] S. Takagi, An interpretation of multiplier ideals via tight closure, J. Algebraic Geom. 13 (2004),
393–415.
[26] L. J. Williams, Uniform stability of kernels of Koszul cohomology indexed by the Frobenius
endomorphism, J. Algebra 172 (1995), 721–743.
Graduate School of Mathematical Sciences, University of Tokyo, 3-8-1 Komaba,
Meguro-ku, Tokyo 153-8914, Japan
E-mail address: stakagi@ms.u-tokyo.ac.jp

