arXiv:1605.01807v1 [math.AC] 6 May 2016

A COMPUTATION CONCERNING RELATIVE HILBERT-KUNZ
MULTIPLICITIES
NEIL EPSTEIN AND YONGWEI YAO

In [EY16], we developed several methods designed to provide numerical critera
for when a nested pair of submodules of a finitely generated module admit the same
tight closure. For the purposes of this note, it is enough to consider pairs of ideals
J ⊆ I such that λ(I/J) = ∞.. Hence, we choose to state the definitions and results
from that paper in terms of ideal containment.
Definition 1. Let J ⊆ I be ideals of a local prime characteristic Noetherian ring
(R, m) of dimension d. Then their relative multiplicity is
u+
R (J, I) := lim sup
q→∞

λ(Γm (I [q] /J [q] ))
.
qd

(resp.
λ(Γm (I [q] /J [q] ))
).
q→∞
qd
If these are equal (i.e., the limit is well-defined), then the common number is written
uR (J, I).
u−
R (J, I) := lim inf

Recall the following Theorem, specialized to the case of ideal containment.
Theorem 2 ([EY16, part of Theorem 2.4]). Let R be a Noetherian ring, and let
J ⊆ I be ideals. Suppose that R contains a completely stable weak test element
cp is equidimensional for all p ∈ Spec R. If u− (Jp , Ip ) = 0 for all
c, and that R
Rp
p ∈ Spec R, then I ⊆ J ∗ .
Seeking a converse to Theorem 2, let J ⊆ I be ideals with the same tight closure.
In [EY16, Proposition 3.1, Theorem 3.4, and Theorem 3.5], we gave several criteria
under which a converse to Theorem 2 holds. An analysis of the ideas surrounding [EY16, Proposition 3.1] yields the following observation: The critical situation
occurs when there exist prime ideals p ( m such that p, m ∈ AssR (I [q] /J [q] ) for
infinitely many values of q. One may ask whether this can happen. For instance,
in [EY16, Example 2.2], the critical situation does not occur for the ideals J ⊆ I in
R unless it already was an issue for the ideals b ⊆ a in A. Indeed, for each q, there
is a bijective correspondence between the sets AssA (a[q] /b[q] ) and AssR (I [q] /J [q] ),
given by p 7→ pR.
However, the situation outlined above can happen, as shown below. Moreover,
the expected converse to Theorem 2 holds, at least in the given example. Note that
the example below does not appear to arise as one of the special cases delineated
in [EY16, §3]. Therefore, we had to use computational methods.
Date: May 9, 2016.
2010 Mathematics Subject Classification. Primary 13A35; Secondary 13D40.
The second author was partially supported by the National Science Foundation DMS-0700554.
1

2

NEIL EPSTEIN AND YONGWEI YAO

Before we get to the specific characteristic p situation, we give a somewhat
more general construction, which works over any field, and may be of independent
interest. As we will be using Gröbner basis techniques, we set some notations and
recall some facts:
Definition 3. Let A be a polynomial ring, > a monomial order, and f ∈ A \ {0}.
The expressions lt(f ) and lm(f ) denote, respectively, the leading term and the
leading monomial of f with respect to the given order.
Given two elements f, g ∈ A \ {0}, the S-polynomial of f and g is given by
S(f, g) :=

lcm(lt(f ), lt(g))
lcm(lt(f ), lt(g))
·f −
· g,
lt(f )
lt(g)

where lcm means the least common multiple.
The following theorem is a slightly nonstandard (albeit well-established) form of
the Buchberger criterion:
Theorem 4. [CLO07, Theorem 2.9.3] Let A be a polynomial ring over a field, let
> be a monomial order, and let G = {g1 , . . . , gn } be a finite subset of A. Then G
is a Gröbner basis if and only if there exist elements aijk ∈ A such that for each
pair (j, k) with 1 ≤ j < k ≤ n, we have
S(gj , gk ) =

n
X

aijk gi ,

i=1

in such a way that for each nonzero aijk , we have lm(S(gj , gk )) ≥ lm(aijk gi ) with
respect to the given monomial order.
Theorem 5. [CLO07, Theorem 4.3.11 and the discussion which follows] Let A
be a polynomial ring over a field k, let I be an ideal of A and 0 6= u ∈ A. Let
r be an indeterminate over A, and let B = A[r] be a polynomial ring, ordered
with lexicographic order in such a way that r > x for all variables x of A. Let
a := rIB + (1 − r)uB ⊆ B. Then a ∩ A = I ∩ (u), and if F is a Gröbner basis of a
in B, then a ∩ A is generated by the set of elements of F whose leading terms are
not multiples of r.

N

Construction 6. Let k be an arbitrary field, let m ∈
such that m ≥ 4, and
let n = 2m + 1. We also impose the condition that if p is the characteristic of
k, then p ∤ m, which is automatically satisfied if p = 0. Let A := k[s, x, y],
m := (s, x, y) ⊆ A, g = xy(x − y)(x + y − sy), and e := (xn , y n , g) ⊆ A. Let
Pn−1
f := j=2 (−1)j xn+1−j y j . Let h := e + (f ). Let b := (x, y)n+2 . Then we will show
the following:
(1) b ⊆ e,
(2) sf ∈ e (hence, h ⊆ (e : s)),
(3) xf, yf ∈ e (hence, m ⊆ (e : f )),
(4) f ∈
/ e (hence, (e : f ) 6= A, so that m = (e : f )),
(5) h is s-saturated (that is, (h : s) = h),
(6) e : m∞ = e : s∞ = h, and
0
(7) Hm
(A/e) ∼
= A/m.
To see (1), take a typical monomial generator xi y j of b. That is, i + j = n + 2.
Since xn , y n ∈ e, we may assume that 1 ≤ j ≤ n − 1, so that i ≥ 3. Note that

A COMPUTATION CONCERNING RELATIVE HILBERT-KUNZ MULTIPLICITIES

3

modulo g, we have
x3 y ≡ sx2 y 2 − (s − 1)xy 3 .
Multiplying this by xi−3 y j−1 , we have xi y j ∈ (xi−1 y j+1 , xi−2 y j+2 , g). Then apply
induction to obtain xi y j ∈ (x2 y n , xy n+1 , g) ⊆ e.
To see (2), note that modulo g, we have
sxy 2 (x − y) ≡ xy(x2 − y 2 ).
Using this congruence, we have:


m−1
X

s(f − xy n ) = sxy 2 (x − y) 


≡ xy(x2 − y 2 ) 
2m

= xy(x

−y

2m

j=0

m−1
X
j=0



xn−3−2j y 2j 


xn−3−2j y 2j 

) = xn y − xy n .

Thus, sf ∈ (xn , y n , g) = e, as required.
To see (3), let t = s − 1. Modulo g, we have the equivalence
txy 2 (x − y) ≡ x2 y(x − y).
It follows by induction (on i) that for all integers i ≥ 1, a ≥ 1, and b ≥ i + 1, we
have ti xa y b (x − y) ≡ xa+i y b−i (x − y) (modulo g). In particular (letting a = 1 and
b = n), for all 1 ≤ i ≤ n − 1, we have
ti xy n (x − y) ≡ xi+1 y n−i (x − y).
Pm−1
modulo g. Note also that −xf + xn y 2 = yf − x2 y n = j=1 x2j+1 y n−2j (x − y).
But by the
above (since 2(m− 1) = n − 1), this latter sum is congruent (modulo
P
m−1 2j
n
n n
g) to y ·
j=1 t x(x − y) . Thus, −xf, yf ∈ (x , y , g) = e, as required.
In order to demonstrate (4), we require the introduction of Gröbner bases into
the discussion. From now on, we will use lexicographic 1 order, with s > x > y. We
claim that
G := {g, xn , xn−1 y 3 , xn−2 y 4 , · · · , x3 y n−1 , y n }
is a Gröbner basis of e with respect to lex order. First, since the elements of G
consists of the generating set {g, xn , y n } of e along with some elements of b (an
ideal which by (1) is contained in e), it follows that G is indeed a generating set for
e. To show that it is a Gröbner basis, we shall find aijk as in Theorem 4. But since
the S-polynomial of a pair of monomials is always 0, we only need to look at the
S-polynomials S(m, g) for monomials m of G. In the following list, we represent
each S-polynomial in two ways. First, we write it in lexicographic order, and then
we write it in the form given by Theorem 4:
• S(y n , g) = −sxy n+1 − x3 y n−1 + xy n+1 = (−sxy)y n − 1(x3 y n−1 ) + (xy)y n .
• S(x3 y n−1 , g) = −sx2 y n − x4 y n−2 + x2 y n = (−sx2 )y n − 1(x4 y n−2 ) + (x2 )y n .
1We emphasize here that we are not using degree-lexicographic order. So for instance, in this
ordering, we have s > x2 . Indeed, s > x200 .

4

NEIL EPSTEIN AND YONGWEI YAO

• For any i with 4 ≤ i ≤ n − 2, we have xi−1 y n+3−i , xi+1 y n+1−i ∈ G. And
S(xi y n+2−i , g) = −sxi−1 y n+3−i − xi+1 y n+1−i + xi−1 y n+3−i
= (−s + 1)xi−1 y n+3−i + (−1)xi+1 y n+1−i .
• S(xn−1 y 3 , g) = −sxn−2 y 4 − xn y 2 + xn−2 y 4 = (−s + 1)xn−2 y 4 − (y 2 )xn .
• S(xn , g) = −sxn−1 y 3 − xn+1 y + xn−1 y 3 = (−s + 1)xn−1 y 3 + (xy)xn .
Thus, G is a Gröbner basis of e. The leading term xn−1 y 2 of f is manifestly not
divisible by any of the leading terms of G, which means that the output of the
division algorithm of f by G is f . Thus, f ∈
/ e, as required.
To demonstrate (5), we will use Theorem 5. Accordingly, let B := k[r, s, x, y],
ordered lexicographically with r > s > x > y, and consider the ideal a := rhB +(1−
r)sB of B. We claim that the entries of the following vector comprise a Gröbner
basis of a. Note that it ends with all the elements of sG ∪ {sf } except for sxn−1 y 3 .


rs − s


rxn


3
3
2 2
3


c := rx y − rxy − sx y + sxy
P


n−3
j−1
n−1−j j+2 
d := mrx2 y n−1 + j=1
(−1) jsx
y 



ry n


2 2 2
2
3
3
3


−sg = s x y − s xy − sx y + sxy


n


sx


P
n−1
j
n+1−j j


sf = j=2 (−1) sx
y




n−2 4
sx
y




n−3 5
sx
y




..


.




3 n−1
sx y
sy n

(This is a vector of length n + 5, and we label the elements F0 through Fn+4 .) First
we have to show that the ideal generated by the entries of F is exactly a. To see
that a ⊆ (F ),
• rg = (−x2 y 2 
+ xy 3 )(rs − s) + 1 · c,and
m−1
X

jxn−3−2j y 2j−1  c + d + mx(−ry n + sy n ).
• rf = (x − y)
j=1

To see that F ⊆ a,
• c = 1 · (rg) + (−x2 y 2 + xy 3 )(−rs + s),



m−1
X

• d = (m − 1)(−sx + x)(ry n ) + (−x + y) 


n−3
X

(rf ) + 

j=1



j=1

jxn−3−2j y 2j−1  (rg) + 1 ·

(−1)j−1 jxn−j−1 y j+2  (−rs + s),

and for each element u ∈ G ∪ {f }, we have ru ∈ a, so that
• su = s · (ru) + u · (−rs + s).
Thus, a = (F ).



A COMPUTATION CONCERNING RELATIVE HILBERT-KUNZ MULTIPLICITIES

5

Taking all the S-polynomials Sjk = S(Fj , Fk ) such that j < k and Fj , Fk are not
both monomials (and note that the only non-monomials are Fi for i = 0, 2, 3, 5, 7),
we may obtain the following list. For these choices of aijk , the diligent reader may
easily verify the conditions of Theorem 4:
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•

S01 = −F6
S02 = xy 3 F0 + FP
5
m−1
S03 = ((−x + y) j=1 jxn−3−2j y 2j−1 )F5 − F7 + (m − 1)(sx − x)Fn+4
S04 = −Fn+4
S05 = (sxy 3 + x3 y − xy 3 )F0 − F5
S06 = −F
P6n−1
S07 = ( j=3 (−1)j−1 xn−j+1 y j )F0 − F7
S0i = −F
≤i≤n+4
Pi , for 8n−3−2j
S12 = ( m−1
y 2j )F2 + xF4 + F7 − xFn+4
j=1 x
Pn−3
S13 = ( j=1 (−1)j jxn−3−j y j+2 )F6
Pn−2
S15 = ( j=1 rxn−2−j y j )F5 + (rxy + ry 2 )F6 + (rsxy − rx2 − rxy)Fn+4
S17 = −sx2 F4 + ryF7
Pn−4
S23 = −mxyF4 − yF7 + ( j=1 (−1)j−1 jFj+7 ) + ((1 − m)x2 + mxy)Fn+4
S24 = −xy 2 F4 + (−x2 y + xy 2 )Fn+4
S25 = (sx2 y 3 − sxy 4 + x4 y − x2 y 3 )F0 + (−sy − x)F5
Pm−1
S26 = −s( j=1 xn−3−2j y 2j )F2 − sxF4 − sF7 + sxFn+4
Pm−1
S27 = (sxn−5 y 2 + (−x + y) j=2 jsxn−3−2j y 2j−1 )F2 − sF3 + (m − 1)(rx −
sx)Fn+4
S2i = −sFi+1 + (−r + s)Fi+2 , for 8 ≤ i ≤ n + 1
S2,n+2 = −sFn+3 + (−r + s)x2 Fn+4
S2,n+3 = (−rxy − sx2 + sxy)Fn+4
S2,n+4 = (−rxy 2 − sx2 y + sxy 2 )Fn+4
Pn−4
S34 = ( j=1 (−1)j−1 jFj+7 ) − (n − 3)x2 Fn+4
P
n−3−2j 2j−1
S35 = m(sxy n + x3 y n−2 − xy n )F0 + [s(x − y)( m−1
y
)−
j=1 jx
my 8 ]F5 + sF7 + (m − 1)(−s2 x + sx)Fn+4
Pn−3
S36 = ( j=1 (−1)j−1 jxn−j−3 y j+2 )F6
Pn−4
Pn−4
S37 = ms( j=0 (−1)j xn−2−j y j )F4 + ( j=1 (−1)j−1 jsxn−4−j y j+2 )F6 −
(n − 3)sxy n−5 F8
Pn−4
S3i = xn+3−i (syF7 + s( j=1 (−1)j jFj+7 ) − sx2 Fn+4 ) for 8 ≤ i ≤ n + 3
Pn−4
S3,n+4 = ( j=1 (−1)j−1 jsFj+7 ) − (n − 3)sx2 Fn+4
S45 = (s2 xy − sxy)F4 + rFn+3
Pn−3
S47 = ( j=1 (−1)j−1 sxn−1−j y j )F4
Pn−2
S56 = −( j=1 xn−2−j y j )F5 − (xy + y 2 )F6 + (−sxy + x2 + xy)Fn+4
P
n−3−2j 2j
S57 = −( m−1
y )F5 − yF6 + (−sx + x)Fn+4
j=1 x
Pn+3
S58 = −yF7 − F8 − (s + 2)F9 + ( j=10 (−1)j−1 Fj ) + x2 Fn+4
S5i = −Fi−1 + (−s + 1)Fi+1 for 9 ≤ i ≤ n + 2
S5,n+3 = −Fn+2 + (−s + 1)x2 Fn+4
S5,n+4 = −Fn+3 + (−s + 1)xyFn+4
S67 = yF7 − x2 Fn+4
Pn+3
S7i = xy i−8 (( j=9 (−1)j Fj ) + (−x2 + xy)Fn+4 ) for 8 ≤ i ≤ n + 3

6

NEIL EPSTEIN AND YONGWEI YAO

Pn−3
• S7,n+4 = ( j=1 (−1)j xn−1−j y j )Fn+4

Hence, the entries of F give a Gröbner basis of a. By Theorem 5, it follows that the
elements of F whose leading term does not involve r forms a generating set for the
ideal h∩(s) of A. That is, h∩(s) = (sy n , sx3 y 4 (x, y)n−5 , sf, sxn , sg). Dividing by s,
we get (h : s) = (y n , x3 y 4 (x, y)n−5 , f, xn , g) = h (since x3 y 4 (x, y)n−5 ⊆ (x, y)n+2 =
b ⊆ h), as required.
To see (6), first note that e : m∞ = e : s∞ , since e contains powers of both x and
y. But e ⊆ h, so from (2) and (5), we have h ⊆ (e : s) ⊆ (h : s) = h, whence all are
equalities. Thus, (e : s∞ ) = (h : s∞ ) = h, as required.
Finally, to see (7), it follows from (6) and (4) that
0
Hm
(A/e) =

h
e + (f ) ∼ A
e : m∞
= =
= A/m.
=
e
e
e
(e : f )

Example 7. Let p be an odd prime number. Let k be a field of characteristic p,
and R := k[s, x, y]/(xy(x − y)(x + y − sy)). This is the ring used by Katzman in
[Kat96], with variable change given by s = t + 1.
Consider the ideals J := (xp , y p ) and I = (x, y)p of R. As shown in Katzman’s
paper, J ∗ = I. Now fix a power q = pe of p, e ≥ 1, and let n = pq in Construction 6.
Let b, e, A, m, g, h, and f be as in that construction. The conditions of the
construction are satisfied, since p ≥ 3, whence n = pq ≥ 9, and p can never divide
(pq − 1)/2. Then R = A/(g) and J [q] = e/(g) ⊆ R. In particular, letting z be the
image of f in R, we have z ∈
/ J [q] .
However, we claim that z ∈ I [q] . To see this, it is enough to show (in the ring R
– that is, modulo g) that for all j = 2, 3, . . . , pq − 1, we have xj y pq+1−j ∈ (xq , y q )p .
For j = q, q + 1 this is clear, and for j ≥ q + 2, the assertion follows from the
equation xj y pq+1−j = (t + 1)xj−1 y pq−j+2 − txj−2 y pq−j+3 , along with induction,
showing that in these cases, xj y pq+1−j ∈ (xq y pq−q ). For 2 ≤ j ≤ q − 1, we have
xj y pq+1−j = xq+1 y pq−q −

j−2
X

xq+i y pq−q−i (y − x) − xj y pq−q+2−j (xq−1 − y q−1 )

= xq+1 y pq−q −

j−2
X

ti xq y pq−q (y − x) − tj−1 xy pq−q+1 (xq−1 − y q−1 )

= xq+1 y pq−q −

j−2
X

ti xq y pq−q (y − x) − tj−1 xq y pq−q+1 + tj−1 xy pq

i=1

i=1

q

q p

i=1
[q]

∈ (x , y ) = I .

Let p := (x, y). We claim that p ∈ AssR (I [q] /J [q] ). Since p is minimal over
[q]
[q]
J , it suffices to show that Ip /Jp = (I [q] /J [q] )p 6= 0. To do this, it suffices
pq
pq
to show that ((x , y ) + (g))AP is properly contained in ((xq , y q )p + (g))AP ,
where P := (x, y) ⊆ A. But in the ring C := L[x, y] (where L := k(s), the
fraction field of k[s]), the ideal (xpq , y pq , g)C is primary to P ′ = (x, y)C, which is a
maximal ideal of C. So to show that ((xq , y q )p + (g))CP ′ /((xpq , y pq ) + (g))CP ′ =
((xq , y q )p + (g)/(xpq , y pq , g))P ′ is nonzero over AP = CP ′ , it suffices to show that
the C-module ((xq , y q )p + (g))C/(xpq , y pq , g)C 6= 0. For this, it is enough to show
that xq y (p−1)q ∈
/ c := (xpq , y pq , xy(x−y))C, since xy(x−y) is a factor of g. Suppose
[q]

A COMPUTATION CONCERNING RELATIVE HILBERT-KUNZ MULTIPLICITIES

7

that xq y (p−1)q ∈ c. Then there exist polynomials a, b, c ∈ C such that
xq y (p−1)q = axpq + by pq + cxy(x − y).
From degree considerations (taking the homogeneous degree pq-part of the above
equation), we may assume that a, b ∈ L. Then making the substitution (x = 1,
y = 0) in the displayed equation yields a = 0, whereas the substitution (x = 0,
y = 1) yields b = 0. So xq y (p−1)q = cxy(x−y). But then the substitution x = y = 1
leads to the conclusion that 1 = 0, a manifest contradiction. Hence xq y (p−1)q ∈
/ c,
so that p ∈ AssR (I [q] /J [q] ), as required.
We also know from Construction 6 that m = (J [q] : z), so that since z ∈ I [q] , we
have m ∈ AssR (I [q] /J [q] ) as well. So we are in the “critical situation” described at
the beginning of this note.
Moreover,
0
0
λR (Hm
(I [q] /J [q] )) ≤ λA (Hm
(A/e)) = λA (A/m) = 1,

a constant, which shows that uRm (Jm , Im ) = 0, since dim R/J = 1 > 0. Hence, the
expected converse to Theorem 2 holds for this specific example.
Acknowlegements
We wish to thank Ezra Miller and Kirsten Schmitz for discussions regarding this
note. We used Macaulay 2 [GS] for some of the computations.
References
[CLO07] David Cox, John Little, and Donal O’Shea, Ideals, varieties, and algorithms, third ed.,
Undergraduate Texts in Mathematics, Springer, New York, 2007, An introduction to
computational algebraic geometry and commutative algebra.
[EY16] Neil Epstein and Yongwei Yao, Some extensions of Hilbert-Kunz multiplicity, submitted,
2016.
[GS]
Daniel R. Grayson and Michael E. Stillman, Macaulay2, a software system for research
in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/.
[Kat96] Mordechai Katzman, Finiteness of ∪e Ass F e (M ) and its connections to tight closure,
Illinois J. Math. 40 (1996), no. 2, 330–337.
Department of Mathematical Sciences, George Mason University, Fairfax, VA 22030
E-mail address: nepstei2@gmu.edu
Department of Math and Statistics, Georgia State University, 30 Pryor St., Atlanta, GA 30303
E-mail address: yyao@gsu.edu

