arXiv:1510.00668v1 [] 2 Oct 2015

AN OBSERVATION ON GENERALIZED
HILBERT-KUNZ FUNCTIONS
ADELA VRACIU
Abstract. We prove that, under certain assumptions, generalized Hilbert-Kunz multiplicities can be expressed as linear combinations of classical Hilbert-Kunz multiplicities.

1. Introduction
Let (R, m) be a local ring of positive characteristic p and Krull dimension d. Assume that R is F -finite and has perfect residue field.
The classical Hilbert-Kunz function and multiplicity are defined for
R-modules of finite length, and in particular for m-primary ideals.
Definition 1.1. Let M be a finite length R-module. The Hilbert-Kunz
function of M is
M
fHK
(n) = l(F n (M))
where F n (M) = M ⊗R n R denotes the n-fold iteration of the Frobenius
functor, and the Hilbert-Kunz multiplicity of M is
M
fHK
(n)
.
nd
n→∞
p
In particular, if I ⊂ R is an m-primary ideal, the Hilbert-Kunz function
of R/I is


R
R/I
.
fHK (n) := l
I [pn]

eHK (M) = lim

These concepts were introduced by Kunz in [Ku]. The fact that
the limit in the definition of eHK (M) exists was proved by Monsky in
[Mo]. Hilbert-Kunz functions and multiplicities have connections to
the theory of tight closure and the classification of singularities, see
[Hu2].
Epstein and Yao in [EY] generalize the definition of Hilbert-Kunz
functions to the case dim(M) > 0 by using 0th local cohomology. The
2010 Mathematics Subject Classification. 13A35.
Key words and phrases. Hilbert-Kunz multiplicity, generalized Hilbert-Kunz
multiplicity.
Research partly supported by NSF grant DMS-1200085.
1

2

ADELA VRACIU

following is a special case of the definition in [EY], where a relative
version is considered.
Definition 1.2. Let M be a finitely generated R-module. The generalized Hilbert-Kunz function of M is

M
fgHK
(n) = l Hm0 (F n (M)) .

M
One drawback of this notion is that the limit lim fgHK
(n)/pnd that
n→∞
one would naturally want to use as the definition of the generalized
Hilbert-Kunz multiplicity is not known to exist in general. One is thus
−
forced to define e+
gHK (M) and egHK (M) as the limsup and the liminf
respectively.
This existence of the limit is proved in [DS] for modules that have
finite projective dimension on the punctured spectrum, with certain
assumptions on the ring.
A related problem that involves the 0th local cohomology of Frobenius powers is the following long-standing conjecture, which will be
referred to as the (LC) property in this note (the conjecture being that
all rings of characteristic p satisfy (LC)). We will need to use a more
general version, where sequences of ideals other than Frobenius powers
of a fixed ideal are involved.

Definition 1.3. (1.) We say that a sequence of ideals Jq indexed by
q = pn satisfies the (LC) property if there exists N such that
 
R
Nq 0
m Hm
= 0 ∀q = pn .
Jq
(2.) We say that the ring R satisfies (LC) if for every ideal J in R,
the sequence of Frobenius powers J [q] satisfies (LC).
(LC) was previously studied in connection with the question of whether
tight closure commutes with localization (which is now known to be
false, see [BM]), and specifically whether a localization of a ring in
which all ideals are tightly closed will continue to have this property
(which is still an open question). See the discussion following Prop.
4.16 in [HH] for the connection between (LC) and the problem of localization of tight closure. See also [Ab] for some work in this direction.
(LC) is known to hold in certain cases, such as when R is a graded
ring and Jq = J [q] where J is a homogeneous ideal with dim(R/J) = 1
(see [Hu1], [Vr]).
In [DS] it is observed that if R satisfies (LC) and countable prime
avoidance, then e+
gHK (M) is finite for any finitely generated module

AN OBSERVATION ON GENERALIZED HILBERT-KUNZ FUNCTIONS

3

M. The main result of this paper is a significant improvement of this
observation.
More precisely, we show that if R satisfies (LC) and countable prime
avoidance, then generalized Hilbert-Kunz functions of ideals can be
expressed as linear combinations of classical Hilbert-Kunz functions
(in particular, the generalized Hilbert-Kunz multiplicity exists, and can
be expressed in terms of classical Hilbert-Kunz multiplicities of related
ideals). Countable prime avoidance is a mild assumption, known to
hold if the ring is complete, or if the residue field is uncountable, see
[Bu]. By way of motivation for this work, we point out that Brenner’s
construction of an irrational Hilbert-Kunz multiplicity in [Br2] involved
generalized Hilbert-Kunz multiplicities in an essential way. Namely,
Brenner first constructs a (non m-primary) ideal I for which egHK (R/I)
is irrational, then he uses that to obtain (in a non-explicit manner)
a finite length module with irrational Hilbert-Kunz multiplicity, and
as a final step he obtains an m-primary ideal with irrational HilbertKunz multiplicity. If one could check that (LC) holds for the Frobenius
powers of the ideal I obtained in the first step of Brenner’s construction,
our result could then be used to obtain a more direct and explicit route
to m-primary ideals with irrational Hilbert-Kunz multiplicities.
We recall some basic facts and definitions.
Definition 1.4. Let (R, m) be a local ring, and let I ⊂ R be an ideal.
[
R
I sat
Then I sat = (I : mn ), and Hm0 ( ) =
.
I
I
n
The following facts are well-known.
reader’s convenience.

We include a proof for the

Facts 1.5. a. Let I = Q1 ∩ Q2 · · · ∩ Qt be a primary decomposition
of I. Assume that Qt is the m-primary component (possibly Qt = R if
m is not an associated prime), and Q1 , . . . , Qt−1 are primary to nonmaximal prime ideals. Then I sat = Q1 ∩ Q2 ∩ · · · ∩ Qt−1 .
b. If s ∈ R does not belong to any associated prime ideal of R/I
except for the maximal ideal, then we have (I : s) ⊆ I sat . If moreover
R
s ∈ mn and mn Hm0 ( ) = 0, then (I : s) = I sat .
I
c. If R satisfies countable prime avoidance, and Jq is a sequence of
ideals that satisfies (LC), there exists s ∈ m such that
(Jq : sq )
R
∀q = pe
Hm0 ( ) =
Jq
Jq
Proof. Let Pi denote the unique associated prime of R/Qi for 1 ≤ i ≤
t − 1.

4

ADELA VRACIU

a. If x ∈ I sat , then mn x ⊆ Qi for some n ≥ 1, and all 1 ≤ i ≤ t − 1.
Since mn 6⊆ Pi , and Qi is Pi -primary, it follows that x ∈ Qi . Conversely,
if x ∈ Q1 ∩ Q2 ∩ . . . ∩ Qt−1 , it follows that Qt x ⊆ I. Since Qt is mprimary, we have mn ⊆ Qt for some n, and therefore mn x ⊆ I, which
proves x ∈ I sat .
b. If x ∈ (I : s), we have sx ∈ Qi for all 1 ≤ i ≤ t−1. Since s ∈
/ Pi , it
follows that x ∈ Qi , and thus we have (I : s) ⊆ Q1 ∩ Q2 ∩ . . . ∩ Qt−1 =
R
I sat . If mn Hm0 ( ) = 0, we have mn I sat ⊆ I, and therefore s ∈ mn
I
implies sI sat ⊆ I, or equivalently (I : s) ⊇ I sat .
c. By countable prime avoidance, we can pick s0 outside of all associated primes of all Jq , with the exception of the maximal ideal. If N
R
is such that mN q Hm0 ( ) = 0, then we let s = sN
0 and observe that the
Jq
conditions in (b) are satisfied when we use sq for s and Jq for I.

2. Main Result
Theorem 2.1. Assume that R satisfies (LC) and countable prime
avoidance. Let I be an ideal with dim(R/I) = c. Then the generalized Hilbert-Kunz function of R/I, fgHK (R/I) can be expressed as a
linear combination with integer coefficients that do not depend on I of
Hilbert-Kunz functions of m-primary ideals.
Lemma 2.2. Assume that (I : s) = (I : s2 ) (note that this holds in
particular when I sat = (I : s)). Then
(I : s) ∼ (I : s) + (s)
=
I
I + (s)
(I : s)
R
R
֒→
։
where
I
I
I + (s)
the first map is inclusion and the second map is projection. Note that
the assumption that I : s = I : s2 implies that f is injective. Indeed,
if x ∈ (I : s) ∩ (I + (s)), we can write x = i + ys with i ∈ I and y ∈ R,
and we have ys ∈ (I : s), or y ∈ (I : s2 ) = (I : s), which implies x ∈ I.
(I : s) ∼
(I : s) + (s)
Therefore
.

= im(f ) =
I
I + (s)

Proof. Let f denote the composition

Lemma 2.3. Assume that I sat = (I : s). Then

 






R
R
R
0
0
0
(1) l Hm
= l Hm
− l Hm
I
I + (s)
(I : s) + (s)

AN OBSERVATION ON GENERALIZED HILBERT-KUNZ FUNCTIONS

5

Proof. Consider the short exact sequence
0→

(I : s) f
R
R
−→
−→
→0
I
I + (s)
(I : s) + (s)

given by the proof of Lemma 2.2.
R
(I : s)
= Hm0 ( ), it is a zero-dimensional module, and thereSince
I
I
1 (I : s)
fore Hm (
) = 0. This ensure that exactness is preserved when
I
we apply Hm0 ( ) to the above short exact sequence, and the conclusion
follows from the additivity of length on short exact sequences.

Before embarking on the proof of the main theorem, we illustrate it
for low dimensional cases, where we give explicit formulas for the linear
combinations mentioned in the statement of the main theorem.
Proposition 2.4. Assume that R satisfies (LC) and countable prime
avoidance. Let I ⊂ R be an ideal with dim(R/I) = 1. Then there exists
s ∈ m such that I + (s), I + (s2 ) are m-primary, and
R/I

R/I+(s)

fgHK = 2fHK

R/I+(s2 )

− fHK

.

Proof. Countable prime avoidance allows us to pick s ∈ m which is
not in any associated primes of any Frobenius power I [q] except for m.
R
According to ( 1.5), we can pick such an s which satisfies Hm0 ( [q] ) =
I
(I [q] : sq )
. Note that this choice of s also implies that I + (s) and
I [q]
I + (s2 ) are m-primary. Lemma 2.3 now gives
 





R
R
R
0
(2)
l Hm
−l
=l
I [q]
I [q] + (sq )
(I [q] : sq ) + (sq )
R/I+(s)

The first term on the right hand side of equation (2) is a fHK
order to deal with the second term, consider the map
R
R
(3)
→ [q]
[q]
q
q
(I : s ) + (s )
I + (s2q )

. In

given by multiplication by sq . It is easy to check that this map is
R
. The conclusion now follows
injective, and the cokernel is [q]
I + (sq )
using additivity of length on short exact sequences together with (2).

Proposition 2.5. Assume R satisfies (LC) and countable prime avoidance. Let I ⊂ R be an ideal with dim(R/I) = 2. Then there exist

6

ADELA VRACIU

s, t ∈ m such that
R/I

R/I+(s)

fgHK = 2fgHK

R/I+(s2 ,st)

− 2fgHK

R/I+(s2 ,st2 )

+ fgHK

where the terms on the right hand side are generalized Hilbert-Kunz
functions of one-dimensional ideals.
Proof. Pick s ∈ m as in the proof of Proposition 2.4, such that Hm0 (R/I [q] ) =
(I [q] : sq )
. Apply Lemma 2.3 to I [q] . Note that the first term in
[q]
I
R/I+(s)
equation (1) is fgHK , a generalized Hilbert-Kunz function of a onedimensional ideal. Now we calculate the second term. Observe that
the family of ideals (I [q] : sq ) + (sq ) satisfy (LC), since applying Hm0 ( )
to the map (3) shows that Hm0 (R/(I [q] : sq ) + (sq )) is a submodule
of Hm0 (R/I [q] + (s2q )), and the latter local cohomology module is annihilated by mN q for some N that does not depend on q from the
assumption that the ring satisfies (LC). Thus, we can pick t such that


R
(I [q] : sq + (sq )) : tq
0
Hm
=
,
(I [q] : sq ) + (sq )
(I [q] : sq ) + (sq )

and Lemma 2.3 gives
(4)


 



R
R
R
0
=l
−l
l Hm
(I [q] : sq ) + (sq )
(I [q] : sq ) + (sq , tq )
(I [q] : sq + (sq )) : tq + (tq )

(note that the two quotients on the right hand side are zero dimensional). In order to express the two terms on the right hand side of
equation (4) in terms of Hilbert-Kunz multiplicities of zero-dimensional
ideals, we consider the following two short exact sequences, where the
leftmost maps are multiplication by sq and tq respectively:
(5)

0→

(I [q]

R
R
R
→
→
→0
: sq ) + (sq , tq )
I [q] + (s2q , sq tq )
I [q] + (sq )

(6)
0→

(I [q]

R
R
R
→
→
→0
: sq , sq ) : tq + (tq )
(I [q] : sq ) + (sq , t2q )
(I [q] : sq ) + (sq , tq )

Since the leftmost terms in (5) and (6) are zero-dimensional, exactness is preserved when applying Hm0 ( ). The two rightmost terms
R/I+(s2 ,st)
R/I+(s)
of the short exact sequence (5) become fgHK
and fgHK
respectively, which are generalized Hilbert-Kunz functions of one-dimensional
ideals.
The two rightmost terms of the short exact sequence (6) are zero
dimensional, and in order to evaluate their lengths we use the short

AN OBSERVATION ON GENERALIZED HILBERT-KUNZ FUNCTIONS

7

exact sequences
(7) 0 →

(I [q]

:

R
R
R
→ [q]
→ [q]
→ 0,
q
2q
2q
q
2q
+ (s , t )
I + (s , s t )
I + (sq )

sq )

and
(8)

0→

(I [q]

:

R
R
R
→ [q]
→ [q]
→0
q
q
2q
q
q
+ (s , t )
I + (s , s t )
I + (sq )

sq )

Exactness is preserved in (7) and (8) when applying Hm0 ( ), and now
R/I+(s2 ,st2 )
R/I+(s)
the two right-most terms become fgHK
and fgHK
in (7), and
R/I+(s2 ,st)

R/I+(s)

fgHK
and fgHK
in (8). The conclusion follows from the additivity of length on short exact sequences.

The proof of the main theorem will use the following notation:
Definition 2.6. Let J, K ⊂ R and x ∈ R. We define J ∗0 xK :=
J + xK, and J ∗1 x := (J : x) + (x). We will frequently write J :ǫ xK
with ǫ ∈ {0, 1}. It will be understood that if ǫ = 1 then K = R and
J ∗1 xR just means J ∗1 x. When we write J ∗ǫ1 x1 K1 ∗ǫ2 · · · ∗ǫs xs Ks it
will be understood that the order of operation is from left to right.
We will make the assumption that K and (x) are not contained
in any associated prime ideal of J except for m, and dim(R/J) > 0.
Then we have dim(R/J ∗ǫ xK) = dim(R/J) − 1. When we write
J ∗ǫ1 x1 K1 ∗ǫ2 · · · ∗ǫs xs Ks , we will make the assumption that for all
i ≤ s, xi and Ki are not contained in any associated prime ideal of
J ∗ǫ1 x1 K1 ∗ǫ2 · · · ∗ǫi−1 xi−1 Ki−1 .
Lemma 2.7. For all c > 0 and all (ǫ1 , . . . , ǫc ) ∈ {0, 1}c , there exist
integers d(ǫ1 ,...,ǫc ) such that if J ⊂ R is an ideal with dim(R/J) = c, the
following hold:
a. We can pick elements x1 , . . . , xc such that

  X


R
R
0
l Hm
=
dǫ1,...,ǫc l
J
J ∗ǫ1 x1 ∗ǫ2 . . . ∗ǫc xc

where the summation is over all (ǫ1 , . . . , ǫx ) ∈ {0, 1}c and all the J ∗ǫ1
x1 ∗ǫ2 . . . ∗ǫc xc are m-primary ideals.
Assume moreover that R satisfies countable prime avoidance and has
the (LC) property. Then:
b. We can pick y1 , . . . , yc independent of q, such that




 X
R
R
0
(9) l Hm
∀q = pe
=
dǫ1 ,...,ǫc l
J [q]
J [q] ∗ǫ1 y1q ∗ǫ2 . . . ∗ǫc ycq

8

ADELA VRACIU

where the summation is over all (ǫ1 , . . . , ǫc ) ∈ {0, 1}c and all the J [q] ∗ǫ1
y1q ∗ǫ2 . . . ∗ǫc ycq are m-primary ideals.
c.
For every s < c, ǫ′1 , . . . , ǫ′s ∈ {0, 1}, y1 , . . . , ys ∈ R and
K1 , . . . , Ks ideals in R satisfying the assumption in (2.6), we can pick
zs+1 , . . . , zc such that
!!
R
l Hm0
=
[q]
[q]
J [q] ∗ǫ′1 ∗y1q K1 ∗ǫ′2 . . . ∗ǫ′s ysq Ks
!
X
R
dǫs+1,...,ǫc l
[q]
[q]
q
∗ǫs+2 . . . ∗ǫc zcq
J ∗ǫ′1 y1q K1 ∗ǫ′2 . . . ∗ǫ′s ysq Ks ∗ǫs+1 zs+1
where the summation is over all the choices of (ǫs+1 , . . . , ǫc ) ∈ {0, 1}c−s
and all the ideals appearing in the quotients on the right hand side are
m-primary.
Proof. (a). We pick xi recursively to be outside of all associated primes
of J ∗ǫ1 x1 ∗ǫ2 ∗ · · · ∗ǫi−1 xi−1 except for the maximal ideal, for all
ǫ1 , . . . , ǫi−1 ∈ {0, 1}. Note that the ideals J ′ := J ∗ǫ1 x1 ∗ǫ2 ∗ · · ·∗ǫi−1 xi−1
constructed this
dimension c − i + 1, and we may choose xi
 way
 have
′
R
J
:
x
i
such that Hm0
=
. Lemma 2.3 shows that the length of this
J′
J′
local cohomology module can be computed as






R
R
0
0
− l Hm
Hm
J ′ ∗0 xi
J ′ ∗1 xi
The claim now follows by induction on c.
(b). and (c). Induct on c. Note that (LC) for the ideal J gives that
we can pick x1 = y1q . Then the ideal J [q] ∗0 x1 = (J, y1 )[q] is a Frobenius
power of an ideal of dimension c − 1, and by the inductive hypothesis
we can pick xi = yiq (i = 2, . . . , c) that satisfy the desired conclusion
for J ′ := J [q] ∗0 x1 . As in the proof of Proposition (2.5), we note that
the family of ideals Jq′′ := J [q] ∗1 y1q1 satisfy (LC), since Hm0 (R/Jq′′ ) is a
submodule of Hm0 (R/J [q] + (y12q )). Therefore we can pick x2 = y2q such
that






 

R
R
R
0
0
0
− l Hm
= l Hm
l Hm
Jq′′
Jq′′ ∗0 xq2
Jq′′ ∗1 xq2
(via Lemma (2.3)).
We claim that we can pick yi recursively such that for all i < c and
all ǫ1 , . . . , ǫi ∈ {0, 1} we have


q
Jq,(ǫ1 ,...,ǫi) : yi+1
R
0
Hm
=
,
Jq,(ǫ1 ,...,ǫi)
Jq,(ǫ1 ,...,ǫi)

AN OBSERVATION ON GENERALIZED HILBERT-KUNZ FUNCTIONS

9

where Jq,(ǫ1 ,...,ǫi) := J [q] ∗ǫ1 y1q ∗ǫ2 · · · ∗ǫi yiq
Assume that all yj for j ≤ i are picked. In order to be able to pick
yi+1 , we need to show that the family of ideals Jq,(ǫ1 ,...,ǫi) satisfy (LC)
for every ǫ1 , . . . , ǫi ∈ {0, 1}. We claim more generally that for any
elements f1 , . . . , fN , ideals K1 , . . . , KN , and ǫ1 , . . . , ǫN ∈ {0, 1}, the
[q]
[q]
family of ideals Jq,(ǫ1 ,...,ǫN ) := J [q] ∗ǫ1 f1q K1 ∗ǫ2 f2q K2 ∗ǫ3 . . . ∗ǫN fNq KNq
satisfy (LC). This will also justify the statement in (c).
Let j be the largest index with ǫj = 1 (we consider j to be zero if
all ǫj = 0). We prove the claim by induction on j. The case j = 0
is clear from the assumption that R satisfies (LC), since the ideals
under consideration are Frobenius powers of a fixed ideal. Let Jq′ :=
[q]
[q]
q
Kj−1 , so that
J [q] ∗ǫ1 f1q K1 ∗ǫ2 . . . ∗ǫj−1 fj−1
[q]

[q]

q
Jq,(ǫ1 ,...,ǫi) = Jq′ : fjq + (fjq ) + fj+1
Kj+1 + . . . + fNq KN .

Multiplication by fjq gives an injection
R
Jq,(ǫ1 ,...,ǫi )

֒→

R
Jq′

+

(fj2q )

+

[q]
q
fjq fj+1
Kj+1

[q]

+ . . . + fjq fNq KN

.

The denominator of the second quotient can be described as
[q]

[q]

[q]

J [q] ∗ǫ′1 f1′q K1 ∗ǫ′2 f2′q K2 ∗ . . . ∗ ǫ′N fN′q KN ,
where ǫ′i = ǫi for all i 6= j, ǫ′j = 0, fi′ = fi for i < j, and fi′ = fj fi
for i ≥ j. The inductive hypothesis tells us that this family of ideals
satisfy (LC), and therefore, since Hm0 ( ) is left exact, the family of ideals
Jq,(ǫ1 ,...,ǫN ) do as well.

Now we are ready to give the proof of the main theorem.
Proof. Let dim(R/J) = c, and let y1 , . . . , yc be such that equation (9)
from Lemma (2.7) holds. We claim that for all (ǫ1 , . . . , ǫc ) ∈ {0, 1}c,
the length


R
l
J [q] ∗ǫ1 y1q ∗ǫ2 y2q ∗ǫ3 . . . ∗ǫc ycq
can be expressed as a linear combination (with integer coefficients that
do not depended on J and q) of generalized Hilbert-Kunz functions of
ideals of dimension ≤ c − 1. Due to Lemma (2.7), this will show that
R/J
fgHK is a linear combination of generalized Hilbert-Kunz functions of
ideals of dimension ≤ c − 1. Repeated applications of this fact will
then allow us to reduce to Hilbert-Kunz functions of zero-dimensional
ideals, as desired.

10

ADELA VRACIU

More generally, we claim that if y1 , . . . , yc , K1 , . . . , Kc are such that
the assumption in Definition (2.6) is satisfied, then the length of
!
R
l
[q]
[q]
[q]
J [q] ∗ǫ1 y1q K1 ∗ǫ2 y2q K2 ∗ǫ3 . . . ∗ǫc ycq Kc
can be expressed as a linear combination (with integer coefficients independent of q) of generalized Hilbert-Kunz functions of ideals of dimension ≤ c − 1.
P
We induct on N(ǫ1 , . . . , ǫc ) := ci=1 ǫi 2c−i . The base case is ǫ1 =
. . . = ǫc = 0, in which case the function under consideration is itself
a Hilbert-Kunz function of a zero-dimensional ideal. For the inductive
step, let j be the largest index for which ǫj = 1. Let Jq′ = J [q] ∗ǫ1
[q]
[q]
[q]
[q]
q
y1q K1 ∗ǫ2 . . . ∗ǫj−1 yj−1
Kj−1 . Note that J := J [q] ∗ǫ1 y1q K1 ∗ǫ2 y2q K2 ∗ǫ3
[q]
[q]
[q]
q
Kj+1 + . . . + ycq Kc .
. . . ∗ǫc ycq Kc can be written as Jq′ : yjq + yjq + yj+1
Multiplication by yjq gives an injection
(10)

R
R
֒→
[q]
[q]
2q
q
q
J
Jq′ + yj + yj (yj+1Kj+1 + · · · + ycq Kc )

The denominator of the second quotient above can be written as Jq′ ∗0
[q]
[q]
q
yjq K ′[q] where K ′ = (yjq ) + yj+1
Kj+1 + . . . + ycq Kc . The cokernel of
R
R
is zero-dimensional, applying Hm0 to
the map (10) is ′
q . Since
Jq + y j
J
the resulting short exact sequence preserves exactness. Therefore, the
R
length of Hm0 ( ) is
J






R
R
0
0
− l Hm
(11)
l Hm
Jq′ ∗0 yjq K ′[q]
Jq′ ∗0 yjq
Now apply the last part of Lemma 2.7 to find zj+1 , . . . , zc such that the
!
R
,
two terms in (11) are linear combinations of l
c
∗ǫ′j+2 . . . ∗ǫ′c zcq
Jq′ ∗0 yjq K ′[q] ∗ǫ′j+1 zj+1
!
R
and l
respectively, where (ǫ′j+1 , . . . , ǫ′c )
q
∗ǫ′j+2 . . . ∗ǫ′c zcq
Jq′ ∗0 yjq ∗ǫ′j+1 zj+1
range through {0, 1}c−j . We can think of the ideals in the denomina[q]
′
tors as J [q] ∗ǫ′1 z1q K ′ 1 ∗ǫ′2 · · · ∗ǫ′c zcq K ′ [q]
c where for i < j we have ǫi = ǫi ,
′
′
zi = yi , Ki = Ki , for i > j we have Ki = R, ǫi = 0, and for i = j we
have ǫ′j = 0, zj = yj , Kj′ = K ′ (in the case of the first quotient), or

AN OBSERVATION ON GENERALIZED HILBERT-KUNZ FUNCTIONS

11

Kj′ = R (in the case of the second quotient). We have
N(ǫ′1 , . . . , ǫ′c )

=

j−1
X

ǫi 2

c−i

+

i=1

j−1
X
i=1

ǫi 2c−i +

c
X

i=j+1

2c−i =

j−1
X

c
X

ǫ′i 2c−i ≤

i=j+1

ǫi 2c−i + 2c−j − 1 = N(ǫ1 , . . . , ǫc ) − 1

i=1

and the desired conclusion follows from the inductive hypothesis.

Observation 2.8. The proof of Theorem (2.1) only uses the (LC) assumption for Frobenius powers of ideals of the form J +y1 K1 +. . . yj Kj ,
where y1 , . . . , yc are such that equation (9) in Lemma (2.7) holds, and
K1 , . . . , Kc are ideals generated by certain products of y1 , . . . , yc . In
particular, we only need to assume (LC) for Frobenius powers of ideals
containing J.
Furthermore, if R is graded and J is a homogeneous ideal, then we
can pick y1 , . . . , yc to be homogeneous elements, and thus it suffices to
assume (LC) for Frobenius powers of homogeneous ideals containing J.
References
[Ab]
[BM]
[Br2]
[Bu]
[DS]
[EY]
[HH]
[Hu1]
[Hu2]

[Ku]
[Mo]
[Vr]

I. Aberbach, Some conditions for the equivalence of weak and strong Fregularity, Comm. Algebra 30 (2002), no. 4, 1635–1651.
H. Brenner and P. Monsky, Tight closure does not commute with localization,
Ann. of Math. (2) 171 (2010), no. 1, 571–588.
H.
Brenner,
Irrational
Hilbert-Kunz
multiplicities,
preprint,
arXiv:1305.5873.
L. Burch, Codimension and analytic spread, Proc. Cambridge Philos. Soc.
72 (1972), 369–373.
H. Dao and I. Smirnov, On generalized Hilbert-Kunz function and multiplicity, preprint, arXiv:1305.1833.
N. Epstein and Y. Yao, Some extensions of Hilbert-Kunz multiplicity,
preprint, arXiv:1103.4730.
M. Hochster and C. Huneke, Tight closure, Invariant Theory, and the
Briancon-Skoda Theorem, J. Amer. Math. Soc 3 (1990), no.1, 31–116.
C. Huneke, The saturation of Frobenius powers of ideals, Comm. Algebra 28
(2000), no. 12, Special issue in honor of Robin Hartshorne, 5563–5572.
C. Huneke, Hilbert-Kunz multiplicity and the F-signature, Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of
His 65th Birthday, Springer 2013, 485–525.
E. Kunz, On Noetherian rings of characteristic p, Amer. J. Math., 98 (1976),
no. 4, 999–1013.
P. Monsky, The Hilbert-Kunz function, Math. Ann. 263 (1983), no. 1, 43–49.
A. Vraciu, Local cohomology of Frobenius images over graded affine algebras,
J. Algebra 228 (2000), no. 1, 347–356.

12

ADELA VRACIU

Adela Vraciu, Department of Mathematics, University of South
Carolina,
Columbia, SC 29208, U.S.A.
E-mail address: vraciu@math.sc.edu

