SYMBOLIC POWERS OF IDEALS DEFINING F-PURE AND
STRONGLY F-REGULAR RINGS

arXiv:1702.06876v2 [math.AC] 17 Aug 2017

ELOÍSA GRIFO AND CRAIG HUNEKE

Abstract. Given a radical ideal I in a regular ring R, the Containment Problem of symbolic and ordinary powers of I consists of determining when the containment I (a) ⊆ I b
holds. By work of Ein-Lazersfeld-Smith, Hochster-Huneke and Ma-Schwede, there is a
uniform answer to this question, but the resulting containments are not necessarily best
possible. We show that a conjecture of Harbourne holds when R/I is F-pure, and prove
tighter containments in the case when R/I is strongly F-regular.

1. Introduction
In the last decade, there has been growing interest in the comparison problem of symbolic
and ordinary powers of ideals. This interest has been in large part motivated by the following
containment result, first shown by Ein, Lazarsfeld and Smith [ELS01] for rings essentially
of finite type over the complex numbers, later extended by Hochster and the second author
[HH02] to rings containing a field, and recently shown by Ma and Schwede in the mixed
characteristic case [MS17]: given an ideal I in a regular ring R, if h is the largest height of
an associated prime of I, then I (hn) ⊆ I n . However, this containment in general may not be
best possible, and finding the smallest symbolic power that is contained in a fixed power of
I can be a fairly delicate question. The second author asked if I (3) ⊆ I 2 for unmixed height
two reduced ideals in a regular ring. A conjecture raised by Harbourne suggests more finely
tuned estimates:
Conjecture 1.1 (Harbourne, see [HH13] and 8.4.3 [BRH+ 09]). Let I be a radical homogeneous ideal in k[PN ], and let h be the maximal height of an associated prime of I.1 Then for
all n > 1,
I (hn−h+1) ⊆ I n .
This conjecture holds for monomial ideals [BRH+ 09, Example 8.4.5], star configurations [BRH+ 09, Example 8.4.8], and general sets of points in P2 [BH10] and in P3 [Dum15].
However, there are homogeneous radical ideals of codimension 2 in k[x, y, z] for which the
containment I (3) ⊆ I 2 does not hold, showing Conjecture 1.1 is false in general: a counterexample was first found by Dumnicki, Szemberg and Tutaj-Gasińska in [DSTG13], and
later extended to a larger class of ideals by Harbourne and Seceleanu in [HS15]. We do not
know of any prime counterexamples to Conjecture 1.1, nor do we know any examples where
Conjecture 1.1 does not hold for n ≫ 0.
In proving the main result of [HH02], a stronger containment was shown: for any k > 0,
(hn+kn)
I
⊆ (I (k+1) )n . Takagi and Yoshida [TY07] improved this result for the case when
2010 Mathematics Subject Classification. 13A15, 13A35, 13H15.
Key words and phrases. symbolic powers, F-pure, strongly F-regular.
1In [BRH+ 09] this conjecture is even stated for non-reduced ideals. However, in all our results, the ideals
will necessarily be reduced.
1

2

ELOÍSA GRIFO AND CRAIG HUNEKE

R/I is F-pure: I (hn+kn−1) ⊆ (I (k+1) )n . As a corollary, one obtains that I (hn−1) ⊆ I n , a
result that was independently shown in [HH07, Theorem 3.6]. In particular, this implies
that Conjecture 1.1 holds when h = 2 and R/I is F-pure.
Despite the results of [TY07] and [HH07] mentioned above, in general the singularities of
R/I have not been taken into account in trying to prove stronger bounds. We consider both
the case in which R/I is F-pure (in characteristic p) or strongly F-regular (in characteristic
p). By using standard techniques of reduction to characteristic p, we obtain similar results
when R is a regular ring essentially of finite type over the complex numbers and R/I is
either dense F-pure type or a log terminal singularity.
Our first main result proves that Harbourne’s Conjecture holds if R/I is F-pure. Explicitly:
Theorem 1.2 (Theorem 3.2). Let R be a regular ring of characteristic p > 0 (respectively
essentially of finite type over a field of characteristic 0). Let I be an ideal in R with R/I
F-pure (respectively, of dense F-pure type), and let h be the maximal height of a minimal
prime of I. Then for all n > 1, I (hn−h+1) ⊆ I n .
Our second main result gives tighter containments if R/I is strongly F-regular (Theorem
4.1). As a corollary, we prove that the symbolic and ordinary powers coincide in the strongly
F-regular case if the height of I is 2.
Theorem 1.3 (Theorem 4.1). Let R be a regular ring of characteristic p > 0 (respectively
essentially of finite type over a field of characteristic 0), and let I be an ideal of height
h > 2 such that R/I is strongly F-regular (respectively, has log-terminal singularities). Then
I (d) ⊆ II (d−h+1) for all d > h. In particular, I (n(h−1)+1) ⊆ I n+1 for all n > 1.
2. Preliminaries
Let A be a Noetherian ring of characteristic p > 0, and denote by F e the e-th iteration
Frobenius map F (r) = r p . The ring A is called F-finite if A is a finite module over itself
via the action of the Frobenius map. We say that A is F-pure if for any A-module M,
F ⊗ 1 : A ⊗ M −→ A ⊗ M is injective. F-pure rings were introduced by Hochster and
Roberts in [HR76]. Regular rings are F-pure, and squarefree monomial ideals define F-pure
rings. For a complete characterization of one-dimensional F-pure rings, see [GiW77].
e
Given an ideal I in a Noetherian ring of characteristic p > 0, the Frobenius powers I [p ]
of I are obtained by repeatedly
applying
the Frobenius map to I. If I = (a1 , . . . , an ), then

  pe
pe
[pe ]
pe
I = a : a ∈ I = a1 , . . . , an . The following theorem characterizes ideals that define
F-pure rings:
Theorem 2.1 (Fedder’s Criterion for F-purity, Theorem 1.12 in [Fed83]). Let (R, m) be a
regular local ring of characteristic p > 0. Given an ideal I in R, R/I is F-pure if and only
if for all q = pe ≫ 0,

I [q] : I * m[q] .
e

If A is F-finite and reduced, the ring of pe -roots of A is denoted by A1/p , and the inclusion
e
A ֒→ A1/p can be identified with F e . An F-finite reduced ring A is strongly F-regular if
given any f ∈ A, f a nonzero divisor in A, there exists q = pe such that the inclusion
f 1/q A −→ A1/q splits. Strongly F-regular rings, first introduced in [HH89], are F-pure,
normal, and Cohen-Macaulay. Veronese subrings of polynomial rings, locally acyclic cluster

SYMBOLIC POWERS OF IDEALS DEFINING F-PURE AND STRONGLY F-REGULAR RINGS

3

algebras [BMRS15] and certain ladder determinantal varieties [GS95] are strongly F-regular.
See also [BT06].
There is a criterion similar to Theorem 2.1 for strongly F-regular rings:
Theorem 2.2 (Glassbrenner’s Criterion for strong F-regularity, [Gla96]). Let (R, m) be an
F-finite regular local ring of prime characteristic p. Given a proper radical ideal I of R, R/I
is strongly
if and only if for each element c ∈ R not in any minimal prime of I,
 F-regular
[q]
[q]
c I : I * m for all q = pe ≫ 0.
Now let R be a Noetherian ring of any characteristic, and I an ideal in R. The n-th
symbolic power of I is given by
\
I (n) =
I n RP ∩ R.
P ∈Ass(R/I)

Note that I (n+1) ⊆ I (n) for each n, and that given any a, b > 1, I (a) I (b) ⊆ I (a+b) . Moreover,
I n ⊆ I (n) . The converse containment does not hold in general, so it is natural to ask for
what values of k and m is I (k) ⊆ I m . This question is open in general.
To prove our main results, we will need the following results regarding symbolic powers:
Theorem 2.3 (Theorem 2.2 (1) in [HH07]). Let R be a regular ring of prime characteristic
p > 0, and I an ideal in R. Let h be the largest number of generators of I after localizing at
[q]
an associated prime of I. Then for every n > 1 and q = pe , I (hnq) ⊆ I (n) .

Theorem 2.4 (Theorem 2.6 in [HH02]). Let I be an ideal of a regular ring of prime characteristic p > 0. Let h be the largest analytic spread of IP for P an associated prime of I.
n
Then for all n > 1 and all k > 0, I (hn+kn) ⊆ I (k+1) .

Lemma 2.5 (Lemma 2.4 in [HH02]). Let R be a ring, and I = (u1 , . . . , uh ) an ideal in R.
Then for all integers t > 1 and k > 0,
k+1
I ht+kt−h+1 ⊆ ut1 , . . . , uth
.
Hence, if R has prime characteristic p > 0 and q = pe ,
k+1
[q]
I hq+kq−h+1 ⊆ I [q]
= I k+1 .

Lemma 2.6. Let I be a radical ideal in a regular ring R of characteristic p > 0 and h the
largest height of a minimal prime of I. For all q = pe ,
[q]
I (hq+kq−h+1) ⊆ I (k+1) .

Proof. Taking Frobenius powers preserves the set of associated primes. Indeed, since applying Frobenius is exact, the length of a minimal free resolution of an ideal J coincides with
that of its Frobenius powers. Given this, the Auslander-Buchsbaum formula then guarantees
[q]
that the depth of RP /JP coincides with that of RP /JP for all q = pe . Moreover, P is an
associated prime of an ideal J if and only if depth (RP /JP ) = 0.
Since I (k+1) has no embedded primes, we only need to check the containment at the
minimal primes of I. So take a minimal prime P of I and replace R by RP and I by IP .
Since I is generated by h or fewer elements, Lemma 2.5 completes the proof.


4

ELOÍSA GRIFO AND CRAIG HUNEKE

Remark 1. Note that Lemma 2.6 implies Theorem 2.3, since
hqn > hq + (n − 1)q − h + 1
as long as n, h > 2. However, we will use the statement of Theorem 2.3 precisely as stated,
so we record it here as a means to simplify our proofs.
Remark 2. In all our results, we will assume that I is a radical ideal. In that case, the
largest height h of a minimal prime of I coincides with the values of h in Theorem 2.3 and
Theorem 2.4.
3. Ideals defining F-pure rings
In the next two sections, we prove our main results. We will repeatedly use the following
remark:
Remark 3. When R is regular, the Frobenius map is flat, by [Kun69]. As a consequence,
(A : B)[q] = A[q] : B [q] .

Lemma 3.1. Let R be a regular ring of characteristic p > 0. Let I be a radical ideal in R
and h the maximal height of a minimal prime of I. For all n > 1 and for all q = pe ≫ 0,

[q]
I [q] : I ⊆ I n : I (hn−h+1) .

Proof. Take s ∈ I [q] : I . Then sI (hn−h+1) ⊆ sI ⊆ I [q] , so
[q]

q−1
q−1
s I (hn−h+1)
⊆ sI (hn−h+1) I (hn−h+1)
⊆ I [q] I (hn−h+1)
.

We will show that

I (hn−h+1)
which implies that

q−1

s I (hn−h+1)
completing the proof.
Notice that
I (hn−h+1)

q−1

⊆ I n−1

[q]

[q]

,

⊆ (I n )[q] ,

⊆ I ((hn−h+1)(q−1)) .

q−1
We claim that I (hn−h+1)
⊆ I ((hq−1)(n−1)+h(n−1)) , and to show that, it is enough to prove
that
(hn − h + 1)(q − 1) > (hq − 1)(n − 1) + h(n − 1).
This holds if q > (2h − 1)(n − 1) + 1.
By Theorem 2.4,
n−1
I (h(n−1)+(hq−1)(n−1)) ⊆ I (hq)
.
By Theorem 2.3, I (hq) ⊆ I [q] . Then

I (hn−h+1)
The result now follows.

q−1

⊆ I [q]

n−1

.


Theorem 3.2. Let R be a regular ring of characteristic p > 0. Let I be an ideal in R with
R/I F-pure, and let h be the maximal height of a minimal prime of I. Then for all n > 1,
I (hn−h+1) ⊆ I n .

SYMBOLIC POWERS OF IDEALS DEFINING F-PURE AND STRONGLY F-REGULAR RINGS

5

Proof. First, note that we can reduce to the local case: in general, to prove an inclusion
of ideals K ⊆ L it suffices to prove the containment holds after localizing at an arbitrary
associated prime of L; moreover, all localizations of an F-pure ring are F-pure [HR74, 6.2].
So suppose that (R, m) is a regular local ring, and that R/I is F-pure.
Fix n > 1, and consider q as in Lemma 3.1. Then

[q]
I [q] : I ⊆ I n : I (hn−h+1) .
[q]
If I (hn−h+1) * I n , then I n : I (hn−h+1)
⊆ m[q] , contradicting Fedder’s Criterion (Theorem
2.1).

Example 1 (Squarefree monomial ideals). Let R be a polynomial ring over a field of characteristic p > 0, and I an ideal generated by squarefree monomials; then R/I is F-pure [SW07,
Example 2.2]. Theorem 3.2 recovers the result that monomial ideals verify Conjecture 1.1
in the squarefree case [BRH+ 09, Example 8.4.5]. For more on symbolic powers of monomial
ideals, see [CEHH16].
The following example shows that Theorem 3.2 is sharp for both the case in which R/I
is F-pure and where I is a monomial ideal. This example is a special case of the star
configurations of points in [HH13].
Example 2. Let I ⊆ R := k[x1 , . . . , xv ] be the following ideal:
\
I=
(xi , xj ) = (x1 . . . x̂i . . . xv : 1 6 i 6 v) .
i6=j

Note that the symbolic powers of I can be written as
\
(xi , xj )m .
I (m) =
i6=j

A monomial xa11 · · · xavv is in (xi , xj )m if and only if ai + aj > m; thus xa11 · · · xavv ∈ I (m) if
and only if ai + aj > m for all i 6= j. In particular, x1n−1 · · · xvn−1 ∈ I (2n−2) . On the other
hand, elements of I have degree at least v − 1, so that elements of I n have degree at least
(v − 1)n = vn − n. If n < v, then vn − v < vn − n, and since the degree of x1n−1 · · · xvn−1 is
v(n − 1) = vn − v, x1n−1 · · · xvn−1 ∈
/ I n.
Notice that all the associated primes of I have height 2, so h = 2. Theorem 3.2 says that
(2n−1)
n
I
⊆ I n for all n, but the previous argument shows that I (2n−2)
T * I for all n < v.
This example can be generalized to any h > 2, by taking I = i1 <···<ih (xi1 , . . . , xih ). In
that case, I (hn−h) * I n for all n(h − 1) < v.
4. Ideals defining strongly F-regular rings
The main result of this section is the following:
Theorem 4.1. Let R be an F-finite regular ring of characteristic p > 0, and I an ideal of
height h > 2 such that R/I is strongly F-regular. Then I (d) ⊆ II (d+1−h) for all d > h − 1.
In particular,
I ((h−1)n+1) ⊆ I n+1
for all n > 1.
First, we prove a lemma:

6

ELOÍSA GRIFO AND CRAIG HUNEKE

Lemma 4.2. Let R be a regular ring of characteristic p > 0, I an ideal in R, and h > 2
the maximal height of a minimal prime of I. Then for all d > h − 1 and for all q = pe ,


[q]
I d : I (d) I [q] : I ⊆ II (d+1−h) : I (d) .


Proof. Let t ∈ I d : I (d) and s ∈ I [q] : I . We want to show that
[q]
[q]
st I (d)
⊆ II (d+1−h) .
First, note that

st I (d)

[q]

⊆ s tI (d)



I (d)

q−1

⊆ sI d I (d)

Now since d − 1 + d(q − 1) = dq − 1, we have I d−1 I (d)

q−1

q−1

I (qd−h+1) ⊆ I (d+1−h)

[q]

⊆ I [q] I d−1 I (d)

q−1

.

⊆ I (qd−1) . By Lemma 2.6, we get

.

[q]
As long as h > 2, we have qd − 1 > qd − h + 1, which implies that I (qd−1) ⊆ I (d+1−h) .
Then
[q]
q−1
[q]
st I (d)
⊆ I [q] I d−1 I (d)
⊆ II (d+1−h) ,
as desired.

We begin the proof of Theorem 4.1. We first note that the second statement follows from
the first, by induction. To see this, assume we have shown that I (d) ⊆ II (d+1−h) for all d >
h − 1. When d = h, this means that I (h) ⊆ II (1) ⊆ I 2 , which is the statement we are trying
to show for the case n = 1. The induction step follows from choosing d = (h − 1)(n + 1) + 1.
We prove the first statement by contradiction. As before, we can reduce to the case where
(R, m) is a regular local ring. Note that strong F-regularity is a local property, that is, R
is strongly F-regular if and only if all of its localizations are strongly F-regular [HH89,
 3.1
(d+1−h)
(d)
d
(d)
(a)]. Suppose that II
:I
⊆ m. We can always find an element t ∈ I : I
not
in any minimal prime of I. By Lemma 4.2,

[q]
t I [q] : I ⊆ II (d+1−h) : I (d)
⊆ m[q] .
By Theorem 2.2, this contradicts the fact that R/I is strongly F-regular.

Remark 4. Note that if R is a local ring and R/I is strongly F-regular, then I is a prime
ideal, so that the value h in Lemma 2.6 is the height of I.
Corollary 4.3. Let R be a regular ring of characteristic p > 0, and I a height 2 prime such
that R/I is strongly F-regular. Then I (n) = I n for all n > 2.
The following example suggests that Theorem 4.1 might not necessarily be sharp:
Example 3 (Determinantal ideals). Let K be a field of characteristic 0 or p > min {t, n − t},
X a generic n × n matrix, and let It denote the ideal of t-minors of X in R = K[X]. These
ideals of minors define strongly F-regular rings in characteristic p, by [HH94, 7.14].
(k)
For which values of k and m do we have It ⊆ Itm ? We claim that this holds as long as
n
k > m.
t(n−t+1)
nk
. By [BV88, 10.4], given si -minors δi , we have δ1 · · · δu ∈
Fix k and consider m 6 t(n−t+1)
u
X
(k)
(k)
It if and only if
max {0, si − t + 1} > k, and moreover, It is generated by such
i=1

SYMBOLIC POWERS OF IDEALS DEFINING F-PURE AND STRONGLY F-REGULAR RINGS

7

products. Notice that any factors corresponding to minors of size less than t are irrelevant
(k)
to determine whether or not the given product is in It .
(k)
So consider δ1 , · · · , δu , with δi an si -minor for each i, such that δ1 · · · δu ∈ It , and write
s = s1 + · · · + su . Using the remark above, we may assume that si > t for each i. We want
(k)
to show that for all such possible choices of δi , δ1 · · · δu ∈ Itm . Since δ1 · · · δu ∈ It , then
u
X

max {0, si − t + 1} > k

i=1

which, since we are assuming si > t for all i, can be rewritten as
(∗)

s > k + u(t − 1).

Moreover, si is the size of a minor of an n × n matrix, and thus each si 6 n. In particular,
this implies that un > s. Therefore, we must have
un > k + u(t − 1),
so that
u>

k
.
n−t+1

Combining this with (∗), we obtain
s>k+
(m)

k
nk
(t − 1) =
.
n−t+1
n−t+1

(2m)

(tm)

By [DEP80, 7.3], Itm = It ∩It−1 ∩· · ·∩I1 . Thus it suffices to show that δ1 · · · δu ∈ Itm .
((t−j+1)m)
In particular, for each 1 6 j 6 t, we need to show that δ1 · · · δu ∈ Ij
, which is
equivalent to the following inequalities:
s > tm
s > (t − 1)m + u = tm + (u − m)
s > (t − 2)m + 2u = tm + 2(u − m)
..
.
s > m + (t − 1)u = tm + (t − 1)(u − m).
Note that all these inequalities are convex combinations of the first and the last one, so that
they are verified as long as
s > tm
s > m + (t − 1)u.
Since we are assuming that s > k + (t − 1)u, then s > m + (t − 1)u as long as k > m,
(k)
which must be satisfied by any m with It ⊆ Itm . It remains to check that s > tm.
nk
nk
We have seen above that s > n−t+1
. Given this, s > tm is satisfied as long as n−t+1
> tm,
(n−t+1)t
which can be rewritten as k >
m, which was our claim.
n
(k)
m
We conclude that I ⊆ I as long as k > t(n−t+1)
m. This bound is much better than
n
n
that of Theorem 4.1 when n is large and t is close to 2 . We also note that the computations
above can be used to show that, given k, this is actually the best possible value of m.
Note that we can obtain the same containment results for the ideal of t × t minors of
a symmetric n × n matrix or the ideal of 2t-Pfaffians of a generic n × n matrix, using
Proposition 4.3 and Theorem 4.4 in [JMV15] for the symmetric case and Theorem 2.1 and
Theorem 2.4 in [DN] for the Pfaffians.

8

ELOÍSA GRIFO AND CRAIG HUNEKE

Example 4 (Singh). Let R = k[a, b, c, d], where k is a field of prime characteristic p > 2, n
be an integer, and let I be the ideal of 2 × 2 minors of the 2 × 3 matrix
 2

a b
d
.
c a2 bn − d
By [Sin99, Proposition 4.3], R/I is strongly F-regular. Since I is an ideal of height 2,
Corollary 4.3 says that I (k) = I k for all k.
An interesting point connected with this example is the following: the ideal I of maximal
minors of a generic 2 by 3 matrix defines a strongly F-regular quotient ring. As we specialize
the entries by moding out general choices of elements in some suitable ideal, the quotient
ring will remain strongly F-regular for a while, but not forever. Likewise, the symbolic
powers of the same ideal I are just the regular powers, and this will also remain true as we
specialize, again for a while. Is the point at which the strongly F-regular property breaks
the same as that where the equality of symbolic and ordinary powers no longer remain the
same? Is there something interesting to say on this point?
There are other circumstances under which improved bounds hold. The next theorem
gives one such example:
Theorem 4.4. Let R be a regular ring and I a radical ideal such that I (k) = I k . Let h be
the maximal height of a minimal prime of I. Then I (a) ⊆ I b whenever
 
b
a>
(h + k − 1).
k
 
Proof. Write b = kn − i, where i = 0, . . . , k − 1. Notice that n = kb . By Theorem 2.4,
n
I ((h+k−1)n) ⊆ I (k) = I kn ⊆ I b .


Given two ideals I and J in R, I and J are linked if there exists a regular sequence
x = x1 , . . . , xn in I ∩ J such that J = (x) : I and I = (x) : J. The linkage class of J is the
set of ideals I such that there exist ideals K0 , . . . , Ks with K0 = J and Ks = I and Ki is liked
to Ki−1 . An ideal I is licci if it is in the linkage class of a complete intersection. For more
on linkage, see [HU87]. One can also study the behavior of various types of F-singularities
under linkage. See [MPG+ 16].
Corollary 4.5. Let R be a regular ring and I a licci radical ideal of height h such
 that R/I
is Gorenstein. Let h be the maximal height of a minimal prime of I. If a > 2b (h + 1),
then I (a) ⊆ I b .
Proof. By [HU89, Theorem 2.8 b) i)], I (2) = I 2 . The result follows.

Remark 5. We can apply Corollary 4.5 to the case of height three Gorenstein ideals, since
these are licci [Wat73]. In the case we take the ideal I generated by generic maximal Pfaffians
of a skew symmetric (2n + 1) × (2n + 1) matrix, the quotient is a height three strongly Fregular Gorenstein ideal (see Example 3). Hence we can compare the two bounds given
by Corollary 4.5 and Theorem 4.1. The bound given in Theorem 4.1 is that for all n > 1,
n
I (2n−1) ⊆ I n . The bound of Corollary 4.5 is that for all n > 1, I (4·⌈ 2 ⌉) ⊆ I n , which is slightly
worse. Of course as the height increases, the bound given in Corollary 4.5 becomes better.

SYMBOLIC POWERS OF IDEALS DEFINING F-PURE AND STRONGLY F-REGULAR RINGS

9

Other examples where symbolic and ordinary powers agree can be found in [CFG+ 16].
As a final remark, we note that one may often make a flat extension to study these
containments.
Remark 6. If R −→ S is faithfully flat, P is a prime ideal in R, and Q = P S, then
Q(b) ⊆ Qa implies that P (b) ⊂ P a . Indeed, Q ∩ R = P ; moreover, nonzero divisors in R/P
remain nonzero divisors in S/Q by flatness, so P (b) ⊆ Q(b) ∩ R. Note also that the value
of h, the maximal height of an associated prime of P , does not increase when passing to Q
(cf. [HH02, Discussion 2.3 (c)]).
5. Equicharacteristic 0
By using reduction to characteristic p > 0 techniques, such as in [HH99], we can generalize
the main results to the case of equal characteristic 0. For information concerning the basic
definitions and relationships see [HW02], or the survey [ST12, Appendix C].
Definition 5.1 (dense F-type). Let R be a ring essentially of finite type over a field k
of characteristic zero. Suppose we are given a model RA of R over a finitely generated
Z-subalgebra A of k. We say that R is of dense F-pure type (respectively dense strongly
F-regular type) if there exists a dense subset of closed points S ⊆ Spec A such that Rµ is
F-pure (respectively strongly F-regular) for all µ ∈ S.
Remark 7. Note that the definition above is independent of the choice of RA .
Theorem 5.2. Let R be a regular ring, essentially of finite type over a field of characteristic
0. Let I be an ideal in R such that R/I is of dense F-pure type, and let h be the largest
height of any minimal prime of I. Then, for all integers n > 1,
I (hn−h+1) ⊆ I n .
Proof. Using the standard descent theory of [HH99, Chapter 2], we can reduce the problem
to the positive characteristic case, following the same steps as in [HH02, Theorem 4.2]. After
reducing to characteristic p > 0, the statement follows from Theorem 3.2.

The following conjecture is called the Weak Ordinarity Conjecture. See [Pat16] for a
nice survey on this topic and related matters. Takagi proved that if the Weak Ordinarity
Conjecture holds, then log canonical singularities have dense F-pure type:
Conjecture 5.3 (Weak ordinarity conjecture). Let Y be a smooth, connected projective
variety over an algebraically closed field k of characteristic 0. Given a model YA of Y over
a finitely generated Z-algebra A, the set

s ∈ Spec A | s is a closed point, the action of Frobenius on Hdim Ys (Ys , OYs ) is bijective
is dense in Spec A.

Theorem 5.4 (Theorem 2.11 in [Tak13]). Let X be a log canonical singularity over an
algebraically closed field k of characteristic 0. Given a model XA of X over a finitely
generated Z-algebra A,
{s ∈ Spec A | s is a closed point such that Xs is F-pure}
is dense in Spec A, if we assume Conjecture 5.3.
Similarly to Theorem 5.2, we obtain a characteristic 0 version of Theorem 4.1.

10

ELOÍSA GRIFO AND CRAIG HUNEKE

Theorem 5.5. Let R be a regular ring, essentially of finite type over a field of characteristic
0. Let I be an ideal in R such that R/I is of dense strongly F-regular type, and let h be the
largest height of any minimal prime of I. Then, for all integers n > 1,
I ((h−1)n+1) ⊆ I n+1 .
Proof. Our assumption means that given models RA and (R/I)A of R and R/I over a finitely
generated Z-subalgebra A of k, there exists a dense subset of closed points S ⊆ Spec A such
that (R/I)µ is strongly F-regular for all µ ∈ S.
As in the proof of 5.2, we use the standard descent theory of [HH99, Chapter 2], reducing
the problem to the positive characteristic case, following the same steps as in [HH02, Theorem 4.2]. After reducing to characteristic p > 0, the statement follows from Theorem
4.1.

We may apply this result to the case in which R/I has log-terminal singularities. We refer
to [TiW14, §4.1] for a definition of log-terminal singularities. Note that we do not need to
assume that R/I is Q-Gorenstein in this application, since De Fernex and Hacon [dFH09]
have given a definition and treatment of log-terminal singularities without this assumption,
and these are of dense strongly F-regular type [Tak04, Lemma 1.6]. We thank the anonymous
referee who pointed this out to us.
Theorem 5.6. Let R be a regular ring, essentially of finite type over a field of characteristic
0. Let I be an ideal in R such that R/I has log-terminal singularities, and let h be the largest
height of any minimal prime of I. Then, for all integers n > 1,
I ((h−1)n+1) ⊆ I n+1 .
Proof. By [Har98, Theorem 5.2], R is of dense strongly F-regular type. We apply Theorem
5.5 to finish the proof.

Funding
The second author was partially supported by NSF grant DMS-1460638, and thanks them
for their support.
Acknowledgements
The first author thanks Alessandro De Stefani, Mel Hochster, Jack Jeffries, Luis NúñezBetancourt, Alexandra Seceleanu, and Karen Smith for conversations and helpful suggestions. The authors would like to thank Anurag Singh for pointing us to example 4.
References
[BH10]

Cristiano Bocci and Brian Harbourne. Comparing powers and symbolic powers of ideals. J.
Algebraic Geom., 19(3):399–417, 2010.
[BMRS15] Angélica Benito, Greg Muller, Jenna Rajchgot, and Karen E. Smith. Singularities of locally
acyclic cluster algebras. Algebra and Number Theory, 9(4):913–936, 2015.
[BRH+ 09] Thomas Bauer, S Di Rocco, Brian Harbourne, Michal Kapustka, Andreas Knutsen, Wioletta
Syzdek, and Tomasz Szemberg. A primer on Seshadri constants. Contemporary Mathematics,
496:33, 2009.
[BT06]
Michel Brion and Jesper Funch Thomsen. F-regularity of large Schubert varieties. American
Journal of Mathematics, 128(4):949–962, 2006.
[BV88]
Winfried Bruns and Udo Vetter. Determinantal rings. 1988.
[CEHH16] Susan M Cooper, Robert JD Embree, Huy Tài Hà, and Andrew H Hoefel. Symbolic powers of
monomial ideals. Proceedings of the Edinburgh Mathematical Society, 60(1):39–55, 2016.

SYMBOLIC POWERS OF IDEALS DEFINING F-PURE AND STRONGLY F-REGULAR RINGS

11

[CFG+ 16] Susan Cooper, Giuliana Fatabbi, Elena Guardo, Anna Lorenzini, Juan Migliore, Uwe Nagel,
Alexandra Seceleanu, Justyna Szpond, and Adam Van Tuyl. Symbolic powers of codimension
two Cohen-macaulay ideals, 2016.
[DEP80] Corrado DeConcini, David Eisenbud, and Claudio Procesi. Young diagrams and determinantal
varieties. Inventiones mathematicae, 56(2):129–165, 1980.
[dFH09]
Tommaso de Fernex and Christopher D. Hacon. Singularities on normal varieties. Compos. Math.,
145(2):393–414, 2009.
[DN]
Emanuela De Negri. K-algebras generated by pfaﬃans. Math. J. Toyama Univ, 9(l996):105–114.
[DSTG13] Marcin Dumnicki, Tomasz Szemberg, and Halszka Tutaj-Gasińska. Counterexamples to the
I (3) ⊆ I 2 containment. Journal of Algebra, 393:24–29, 2013.
[Dum15] Marcin Dumnicki. Containments of symbolic powers of ideals of generic points in P3 . Proc. Amer.
Math. Soc., 143(2):513–530, 2015.
[ELS01]
Lawrence Ein, Robert Lazarsfeld, and Karen E. Smith. Uniform bounds and symbolic powers
on smooth varieties. Inventiones Math, 144 (2):241–25, 2001.
[Fed83]
Richard Fedder. F -purity and rational singularity. Trans. Amer. Math. Soc., 278(2):461–480,
1983.
[GiW77] Shiro Goto and Kei ichi Watanabe. The structure of one-dimensional F-pure rings. Journal of
Algebra, 49(2):415 – 421, 1977.
[Gla96]
Donna Glassbrenner. Strongly F-regularity in images of regular rings. Proceedings of the American Mathematical Society, 124(2):345 – 353, 1996.
[GS95]
Donna Glassbrenner and Karen E. Smith. Singularities of certain ladder determinantal varieties.
J. Pure Appl. Algebra, 101(1):59–75, 1995.
[Har98]
Nobuo Hara. A characterization of rational singularities in terms of injectivity of frobenius maps.
American Journal of Mathematics, 120(5):981–996, 1998.
[HH89]
Melvin Hochster and Craig Huneke. Tight closure and strong F -regularity. Mém. Soc. Math.
France (N.S.), (38):119–133, 1989. Colloque en l’honneur de Pierre Samuel (Orsay, 1987).
[HH94]
Melvin Hochster and Craig Huneke. Tight closure of parameter ideals and splitting in moduleﬁnite extensions. J. Algebraic Geom., 3(4):599–670, 1994.
[HH99]
Melvin Hochster and Craig Huneke. Tight closure in equal characteristic zero. 1999.
[HH02]
Melvin Hochster and Craig Huneke. Comparison of symbolic and ordinary powers of ideals.
Invent. Math. 147 (2002), no. 2, 349–369, November 2002.
[HH07]
Melvin Hochster and Craig Huneke. A ﬁne behavior of symbolic powers. Illinois J. Math.,
51(1):171 – 183, 2007.
[HH13]
Brian Harbourne and Craig Huneke. Are symbolic powers highly evolved? J. Ramanujan Math.
Soc., 28A:247–266, 2013.
[HR74]
Melvin Hochster and Joel L. Roberts. Rings of invariants of reductive groups acting on regular
rings are Cohen-Macaulay. Advances in Math., 13:115–175, 1974.
[HR76]
Melvin Hochster and Joel L. Roberts. The purity of the Frobenius and local cohomology. Advances in Math., 21(2):117–172, 1976.
[HS15]
Brian Harbourne and Alexandra Seceleanu. Containment counterexamples for ideals of various
conﬁgurations of points in PN . J. Pure Appl. Algebra, 219(4):1062–1072, 2015.
[HU87]
Craig Huneke and Bernd Ulrich. The structure of linkage. Annals of Mathematics, 126(2):277–
334, 1987.
[HU89]
C. Huneke and B. Ulrich. Powers of licci ideals. In Commutative algebra (Berkeley, CA, 1987),
volume 15 of Math. Sci. Res. Inst. Publ., pages 339–346. Springer, New York, 1989.
[HW02]
Nobuo Hara and Kei-Ichi Watanabe. F-regular and F-pure rings vs. log terminal and log canonical singularities. J. Algebraic Geom., 11(2):363–392, 2002.
[JMV15] Jack Jeﬀries, Jonathan Montaño, and Matteo Varbaro. Multiplicities of classical varieties. Proceedings of the London Mathematical Society, 110(4):1033–1055, 2015.
[Kun69]
Ernst Kunz. Characterizations of regular local rings for characteristic p. Amer. J. Math., 91:772–
784, 1969.
[MPG+ 16] Linquan Ma, Janet Page, Rebecca R. G., William Taylor, and Wenliang Zhang. F-singularities
under generic linkage, 2016.
[MS17]
Linquan Ma and Karl Schwede. Perfectoid multiplier/test ideals in regular rings and bounds on
symbolic powers. arXiv preprint, 2017.

12

[Pat16]
[Sin99]
[ST12]
[SW07]
[Tak04]
[Tak13]
[TiW14]
[TY07]
[Wat73]

ELOÍSA GRIFO AND CRAIG HUNEKE

Zsolt Patakfalvi. Frobenius techniques in birational geometry, 2016.
Anurag K. Singh. F -regularity does not deform. Amer. J. Math., 121(4):919–929, 1999.
Karl Schwede and Kevin Tucker. A survey of test ideals. In Progress in commutative algebra 2,
pages 39–99. Walter de Gruyter, Berlin, 2012.
Anurag K. Singh and Uli Walther. Local cohomology and pure morphisms. Illinois J. Math.,
51(1):287–298 (electronic), 2007.
Shunsuke Takagi. F-singularities of pairs and inversion of adjunction of arbitrary codimension.
Invent. Math., 157(1):123–146, 2004.
Shunsuke Takagi. Adjoint ideals and a correspondence between log canonicity and F-purity.
Algebra & Number Theory, 7:917–942, 2013.
Shunsuke Takagi and Kei ichi Watanabe. F-singularities: applications of characteristic p methods
to singularity theory, 2014.
Shunsuke Takagi and Ken-ichi Yoshida. Generalized test ideals and symbolic powers. arXiv
preprint math/0701929, 2007.
Junzo Watanabe. A note on Gorenstein rings of embedding codimension three. 50:227–232, 006
1973.

Department of Mathematics, University of Virginia, Charlottesville, VA 22904-4135,
USA
E-mail address: eloisa.grifo@virginia.edu
Department of Mathematics, University of Virginia, Charlottesville, VA 22904-4135,
USA
E-mail address: huneke@virginia.edu

