arXiv:1601.01775v2 [] 26 Jan 2017

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN
CHARACTERISTIC 0
V. TRIVEDI
Abstract. For a pair (R, I), where R is a standard graded domain of dimension d over
an algebraically closed field of characteristic 0 and I is a graded ideal of finite colength, we
prove that the existence of limp→∞ eHK (Rp , Ip ) is equivalent, for any fixed m ≥ d − 1, to
[pm ]

the existence of limp→∞ ℓ(Rp /Ip )/pmd .
This we get as a consequence of Theorem 1.1: As p −→ ∞, the convergence of the
HK density function f (Rp , Ip ) is equivalent to the convergence of the truncated HK density
functions fm (Rp , Ip ) (in L∞ norm) of the mod p reductions (Rp , Ip ), for any fixed m ≥ d − 1.
In particular, to define the HK density function f ∞ (R, I) in char 0, it is enough to prove
the existence of limp→∞ fm (Rp , Ip ), for any fixed m ≥ d − 1.
This allows us to prove the existence of e∞
HK (R, I) in many new cases, e.g., when Proj R
is a Segre product of curves, for example.

1. Introduction
Let R be a Noetherian ring of prime characteristic p > 0 and of dimension d and let I ⊆ R be
an ideal of finite colength. Then we recall that the Hilbert-Kunz multiplicity of R with respect
to I is defined as
n
ℓ(R/I [p ] )
eHK (R, I) = lim
,
n→∞
pnd
n
where I [p ] = the n-th Frobenius power of I = the ideal generated by pn -th power of elements
n
of I. This is an ideal of finite colength and ℓ(R/I [p ] ) denotes the length of the R-module
[pn ]
R/I . This invariant had been introduced by E. Kunz and existence of the limit was proved
by Monsky [Mo1]. It carries information about char p related properties of the ring, but at the
same time is difficult to compute (even in the graded case) as various standard techniques, used
for studying multiplicities, are not applicable for the invariant eHK .
It is natural to ask if the notion of this invariant can be extended to the ‘char 0’ case by
studying the behaviour of mod p reductions.
A natural way to attempt this for a pair (R, I) (from now onwards, unless stated otherwise,
by a pair (R, I), we mean R is a standard graded ring and I ⊂ R is a graded ideal of finite
colength) could be as follows: Suppose R is a finitely generated algebra and a domain over a
field k of characteristic 0 and I ⊆ R is an ideal of finite colength. Let (A, RA , IA ) be a spread
of the pair (R, I) (see Definition 3.2), where A ⊂ k is a finitely generated algebra over Z. Then
we may define
e∞
HK (R, I) := lim eHK (Rs , Is ),
s→s0

where Rs = RA ⊗A k̄(s) and Is = IA ⊗A k̄(s) with k̄(s) as the algebraic closure of k(s), s0 is
the generic point of Spec (A), and s is a closed point of Spec (A) (the definition is tentative,
since the existence of this limit is not known in general). Or consider a simpler situation: R is
a finitely generated Z-algebra and a domain, I ⊂ R such that R/I is an abelian group of finite
rank then let
e∞
HK (R, I) := lim eHK (Rp , Ip ),
p→∞

where Rp = R ⊗Z Z/pZ and Ip = I ⊗Z Z/pZ.

2010 Mathematics Subject Classification. 13D40, 14H60, 14J60, 13H15.
Key words and phrases. Hilbert-Kunz density, Hilbert-Kunz multiplicity, characteristic 0.
1

2

V. TRIVEDI

In case of dimension R = 1, we know that the Hilbert-Kunz multiplicity coincides with the
Hilbert-Samuel multiplicity; hence it is independent of p, for large p.
For homogeneous coordinate rings of plane curves, with respect to the maximal graded
ideal (in [T1], [Mo3]), nonsingular curves with respect to a graded ideal I (in [T2]), diagonal
hypersurfaces (in [GM] and [HM]), it has been shown that eHK (Rp , Ip ) varies with p, and the
limit exists as p → ∞. Then there are other cases where eHK (Rp , Ip ) is independent of p:
plane cubics (by [BC], [Mo2] and [P]), certain monomials ideals (by [Br], [C], [E], [W]), two
dimensional invariant rings for finite group actions (by [WY2]) and full flag varietes and elliptic
curves (by [FT]). Therefore the limit exists in all these cases.
Since
[pn ]
ℓ(Rp /Ip )
∞
eHK (R, I) := lim lim
,
p→∞ n→∞
(pn )d
[pn ]

it seems harder to compute as such, as the inner limit limn→∞ ℓ(Rp /Ip )/(pn )d itself does not
seem easily computable (even in the graded case). In the special situation considered in [GM]
by Gessel-Monsky, the existence of e∞
HK is proved by reducing the problem to the existence
ℓ(Rp /I [p] )

p
. To make this invariant more approachable in a general graded case, the
of limp→∞
pd
following question was posed in [BLM]:

Question. Suppose e∞
HK (R, I) exists, is it true that for any fixed n ≥ 1
[pn ]

e∞
HK (R, I)

ℓ(Rp /Ip )
?
= lim
p→∞
(pn )d

The main result of their paper was to an give affirmative answer in the case of a 2 dimensional
standard graded normal domain R with respect to a homogeneous ideal I of finite colength.
Note that the existence of e∞
HK (R, I), in this case, was proved earlier in [T2].
Recall that for a vector bundle V on a smooth (projective and polarized) variety, we have
the well defined HN data, namely {ri (V ), µi (V )}i , where ri (V ) = rank(Ei /Ei−1 ) and µi (V ) =
slope of Ei /Ei−1 and
0 ⊂ E1 ⊂ E2 ⊂ · · · ⊂ El ⊂ V
is the Harder-Narasimhan filtration of V .
Let Xp = Proj Rp , which is a nonsingular projective curve, and let Ip be generated by
homogeneous elements of degrees d1 , . . . , dµ then we have the vector bundle Vp on Xp given by
the following canonical exact sequence of OXp -modules
0 −→ Vp −→ ⊕i OXp (1 − di ) −→ OXp (1) −→ 0.
Then, by Proposition 1.16 in [T2], there is a constant C determined by genus of Xp and
rank Vp (hence independent of p), such that for s ≥ 1
(1.1)

X
j

rj (F s∗ Vp )µj (F s∗ Vp )2 −

X

ri (Vp )µi (Vp )2 ≤ C/p.

i

(Here F is the absolute Frobenius morphism, and F s is the s-fold iterate.) Note that the HN
filtration and hence the HN data of Vp stabilizes for p >> 0 ([Mar]).
Thus here
[ps ]
(1) one relates ℓ(Rp /Ip ) with the HN data of F s∗ Vp , for s ≥ 1 ([B] and [T1]),
(2) the HN data of F s∗ Vp is related to the HN data of Vp ([T2]),
(3) the restriction of the relative HN filtration of VA on XA (where VA is a spread of V0 in
char 0) remains the HN filtration of Vp for large p ([Mar]).
In particular for a pair (R, I), where char R = p > 0, with the associated syzygy bundle
s
V (as above), the proof uses the comparison of ℓ(R/I [p ] ) with the HN data of the syzygy
bundle V and the other well behaved invariants of (R, I) (which have well defined notion in all
characteristics and are well behaved vis-a-vis reduction mod p).

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

3

However note that (3) is valid for dim R ≥ 2, and (2) also holds for dim R ≥ 3 (proved
relatively recently in [T3]). But (1) does not seem to hold in higher dimension, due to the
existence of cohomologies other than H 0 (−) and H 1 (−) (therefore one can not use anymore
the semistability property of a vector bundle to compute h0 of almost all its twists, by powers
of a very ample line bundle).
In this paper, we approach the problem by a completely different method (see Corollary 2.12),
n
n+1
1
ℓ(R/I [p ] ), for n ≥ 1, taking into account that
comparing directly (pn1 )d ℓ(R/I [p ] ) and (pn+1
)d
both are graded.
For this we phrase the problem in a more general setting: By the theory of Hilbert-Kunz
density function (which was introduced and developed in [T4]), for a pair (R, I) where R is a
domain of char p > 0, there exists a sequence of functions {fn (Rp , Ip ) : [0, ∞) −→ R}n such
that


 Z ∞
 Z ∞
1
R
R
1
ℓ
ℓ
=
f
(R
,
I
)((x)dx
and
lim
=
f (Rp , Ip )(x)dx,
n
p
p
n→∞ (pn )d
(pn )d
I [pn ]
I [pn ]
0
0
where the map
f (Rp , Ip ) : [0, ∞) → R

is given by

f (Rp , Ip )(x) = lim fn (Rp , Ip )(x)
n→∞

is called the HK density function of (Rp , Ip ) (the existence and properties of the limit defining
f (Rp , Ip ) are proved in [T4]). We show here that, for each x ∈ [1, ∞),
f ∞ (R, I)(x) := lim lim fn (Rp , Ip )(x)
p→∞ n→∞

exists ⇐⇒

lim fm (Rp , Ip )(x)

p→∞

exists,

for any fixed m ≥ d − 1, where d − 1 = dim Proj R. Moreover if it exists then
f ∞ (R, I)(x) = lim fm (Rp , Ip )(x),
p→∞

for any m ≥ d − 1.

The main point (Proposition 2.11) is to give a bound on the difference kfn (Rp , Ip )−fn+1 (Rp , Ip )k,
in terms of a power of p and invariants which are well behaved under reduction mod p, where
kgk := sup{g(x) | x ∈ [1, ∞)} is the L∞ norm. Since the union of the support of all fn
is contained in a compact interval, a similar bound (Corollary 2.12) holds for the difference
n
n+1
|ℓ(R/I [p ] )/(pn )d − ℓ(R/I [p ] )/(pn+1 )d |. More precisely we prove the following
Theorem 1.1. Let R be a standard graded domain of dimension d ≥ 2, over an algebraically
closed field k of characteristic 0. Let I ⊂ R be a homogeneous ideal of finite colength. Let
(A, RA , IA ) be a spread (see Definition 3.2 and Notations 3.3). Then, for a closed point s ∈
Spec (A), let the function


Rs
1
.
fn (Rs , Is )(x) : [1, ∞) −→ [0, ∞) be given by fn (Rs , Is )(x) = d−1 ℓ
[q]
q
Is ⌊xq⌋
Let the HK density function of (Rs , Is ) be given by
f (Rs , Is )(x) = lim fn (Rs , Is )(x).
n→∞

Let s0 ∈ Spec Q(A) denote the generic point of Spec (A). Then
(1) there exists a constant C (given in terms of invariants of (Rs0 , Is0 ) of the generic
fiber) and an open dense subset Spec (A′ ) of Spec (A) such that for every closed point
s ∈ Spec (A′ ) and n ≥ 1,
kfn (Rs , Is ) − fn+1 (Rs , Is )k < C/pn−d+2 ,
where p = char k(s). In particular, for any m ≥ d − 1,
lim kfm (Rs , Is ) − f (Rs , Is )k = 0.

s→s0

4

V. TRIVEDI

(2) There exists a constant C1 (given in terms of invariants of (Rs0 , Is0 )) and an open
dense subset Spec (A′ ) of Spec (A), such that for every closed point s ∈ Spec (A′ ) and
n ≥ 1, we have




1
1
Rs
C1
Rs
−
ℓ
ℓ
≤ n−d+2 .
[pn ]
(n+1)d
[pn+1 ]
pnd
p
p
Is
Is
(3) For any m ≥ d − 1,




Rs
1
−
e
(R
,
I
)
= 0.
ℓ
lim
HK
s s
[pm ]
s→s0 pmd
Is
As a result we have
Corollary 1.2. Let R be a standard graded domain and a finitely generated Z-algebra of characteristic 0, let I ⊂ R be a homogeneous ideal of finite colength, such that for almost all p, the
fiber over p, Rp := R ⊗Z Z/pZ is a standard graded ring of dimension d, which is geometrically
integral, and Ip ⊂ Rp is a homogenous ideal of finite colength. Then
(1) there exists a constant C1 given in terms of invariants of R and I such that, for n ≥ 1,
we have
!
!
1
C1
Rp
1
Rp
≤ n−d+2 .
− (n+1)d ℓ
ℓ
[pn ]
[pn+1 ]
pnd
p
p
Ip
Ip
(2) For any fixed m ≥ d − 1,
"
lim

eHK (Rp , Ip ) −

p→∞

1
pmd

ℓ

Rp
[pm ]

Ip

!#

= 0.

In particular, for any fixed m ≥ d − 1,
e∞
HK (R, I) := lim eHK (Rp , Ip )
p→∞

exists ⇐⇒

lim

1

p→∞

pmd

ℓ

Rp
[pm ]

Ip

!

exists.

In particular the last assertion of the above corollary answers the above mentioned question
of [BLM] affirmatively, for all (R, I), where R is a standard graded domain and I ⊂ R is a
graded ideal of finite colength.
Moreover the proof, even in the case of dimension 2 (unlike the proof in [BLM]) does not rely
on earlier results of [B], [T1] and [T2]. In particular, since we do not use Harder-Narasimhan
filtrations, we do not need a normality hypothesis on the ring R.
Remark 1.3. If e∞
HK (R, I) exists for a pair (R, I), whenever R is a standard graded domain,
defined over an algebraically closed field of characteristic 0, then one can check that e∞
HK (R, I)
exists for any pair (R, I) where R is a standard graded ring over a field k of characteristic 0:
Let R̄ = R ⊗k k̄. Let {q1 , . . . , qr } = {q ∈ Ass(R̄) | dim R̄/q = dim R} then we have a spread
¯ such that {q1s , . . . , qrs } = {qs ∈ Ass(R̄s ) | dim R̄s /qs = dim R̄s } (here
(A, R̄A , I¯A ) of (R̄, I)
¯
qis = qi ⊗k k(s) ⊂ R̄). and, for each i, ℓ((R̄s )qis ) = li , a constant independent of s. This implies
that


r
X
R̄s I¯s + qis
,
,
li eHK
eHK (R̄s , I¯s ) =
qis
qis
i=1
which implies

lim eHK (R̄s , I¯s ) =

s→s0

r
X

li lim eHK

i=1

s→s0

Hence, in this situation, one can define
e∞
HK (R, I)

:=




 X

r
R̄ I¯ + qi
R̄s I¯s + qis )
li e ∞
=
.
,
,
HK
qis
qis
qi
qi
i=1

¯
e∞
HK (R̄, I)

=

r
X
i=1

li e ∞
HK



R̄ I¯ + qi
,
qi
qi



.

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

5

In Section 4, we study some properties of f ∞ (R, I) (when it exists), and prove that f ∞ (R, I)
behaves well under Segre product (Propositions 4.3 and 4.4). In case of nonsingular projective curves (Theorem 4.6), the function f (Rs , Is ) − f ∞ (R, I) is nonnegative, continous and
characterizes the behaviour of the HN filtration of the syzygy bundle of the curve, reduction
mod char k(s). Hence f ((S1 # · · · #Sn )p ) − f ∞ (S1 # · · · #Sn ) = 0 if and only if the HarderNarasimhan filtrations of the syzygy bundles of Proj Si are the strong HN filtrations reduction
mod p, for all i.
We give an example to show that, for an arbitrary Segre product of plane trinomial curves,
the function f ((S1 # · · · #Sn )p ) − f ∞ (S1 # · · · Sn ) = 0 for a Zariski dense set of primes.
It is easy to check that if f ∞ (R, I) exists (in L∞ norm) then e∞
HK (R, I) exists. One can ask
the converse, i.e.,
∞
Question: Does the existence of e∞
HK (R, I) imply the existence of f (R, I)?

By Proposition 4.3, an affirmative answer to this question will imply the existence of the
∞
e∞
HK for Segre products of the rings for which eHK exist.
2. A key proposition
Throughout this section, R is a Noetherian standard graded integral domain of dimension
d over an algebraically closed field k of char p > 0, I is a homogeneous ideal of R such that
ℓ(R/I) < ∞. Let h1 , · · · , hµ be a set of homogeneous generators of I of degrees d1 , . . . , dµ
respectively.
Let X = Proj R; then we have an associated canonical short exact sequence of locally free
sheaves of OX -modules (moreover the sequence is locally split exact)
(2.1)

0 −→ V −→ ⊕i OX (1 − di ) −→ OX (1) −→ 0,

where OX (1 − di ) −→ OX (1) is given by the multiplication by the element hi .
For a coherent sheaf Q of OX -modules, the sequence of OX -modules
0 −→ F n∗ V ⊗ Q(m) −→ ⊕i Q(q − qdi + m) −→ Q(q + m) −→ 0
is exact as the short exact sequence (4.2) is locally split as OX -modules (as usual, q = pn and
F n is the nth iterate of the absolute Frobenius morphism). Therefore we have a long exact
sequence of cohomologies
(2.2)

0 −→ H 0 (X, F n∗ V ⊗ Q(m)) −→ ⊕i H 0 (X, Q(q − qdi + m))

φm,q (Q)

→

H 0 (X, Q(q + m))

−→ H 1 (X, F n∗ V ⊗ Q(m)) −→ · · · ,
n

for m ≥ 0 and q = p .
We recall the definition of (Castelnuovo-Mumford) regularity.
Definition 2.1. Let Q be a coherent sheaf of OX -modules and let OX (1) be a very ample line
bundle on X. We say that Q is m-regular
e
(or m
e is a regularity number of Q) with respect to
OX (1), if for all m ≥ m
e
(1) the canonical multiplication map H 0 (X, Q(m)) ⊗ H 0 (X, OX (1)) −→ H 0 (X, Q(m + 1))
is surjective and
(2) H i (X, Q(m − i)) = 0, for i ≥ 1.
Notations 2.2.

(1) Let




m+d−2
m+d−1
+ · · · + (−1)d e
ed
− ee1
d−1
d
be the Hilbert-Samuel polynomial of R with respect to the graded maximal ideal m.
Therefore




m+d−2
m+d−1
+ · · · + (−1)d−1 eed−1 .
− ee1
χ(X, OX (m)) = ee0
d−2
d−1
P(R,m) (m) = ee0



6

V. TRIVEDI

(2) Let m̄ be a positive integer such that
(a) m̄ is a regularity number for (X, OX (1)), and
(b) Rm = h0 (X, OX (m)), for all m ≥ m̄. In particular ℓ(R/mm ) = P(R,m) (m), for all
m ≥ m̄.
(3) Let l1 = h0 (X, OX (1)) and
(4) let n0 ≥ 1 be an integer such that Rn0 ⊆ I.
(5) We denote dimk Coker φm,q (Q) by coker φm,q (Q).
Remark 2.3.
(1) The canonical map ⊕m Rm −→ ⊕m H 0 (X, OX (m)) is injective, as R is
an integral domain.
P
[q]
(2) For m + q ≥ mR (q) = m̄ + n0 ( P
i di )q, we have coker φm,q (OX ) = ℓ(R/I )m+q = 0:
Because mR (q) = m̄+n0 µq +n0 ( i (di −1))q =⇒ q −qdi +m ≥ m̄, for all i. Hence the
map φm,q (OX ) is the map ⊕i Rq−qdi +m −→ Rm+q , where the map Rq−qdi +m → Rm+q is
given by multiplication by the element hqi . Therefore, coker φm,q (OX ) = ℓ(R/I [q] )m+q .
Moreover, by Lemma 2.10, we have ℓ(R/I [q] )m+q = 0, as m + q ≥ m̄ + n0 µq.
(3) For CR = (µ)h0 (X, OX (m̄)), we have
|coker φm,q (OX ) − ℓ(R/I [q] )m+q | ≤ CR ,

(2.3)

for all n, m ≥ 0 and q = pn : Because
if m + q < m̄, then
|coker φm,q (OX ) − ℓ(R/I [q] )m+q | ≤ h0 (X, OX (m + q)) ≤ h0 (X, OX (m̄)).
If m + q ≥ m̄, then h0 (X, OX (m + q)) = ℓ(Rm+q ) and therefore
|coker φm,q (OX ) − ℓ(R/I [q] )m+q | ≤

µ
X

|h0 (X, OX (q − qdi + m)) − ℓ(Rq−qdi +m )|.

i=1

Now, if q − qdi + m < m̄ then ℓ(Rq−qdi +m ) ≤ h0 (X, OX (q − qdi + m)) ≤ h0 (X, OX (m̄),
and if q − qdi + m ≥ m̄ then Rq−qdi +m = H 0 (X, OX (q − qdi + m)).
Hence
|coker φm,q (OX ) − ℓ(R/I [q] )m+q | ≤ µh0 (X, OX (m̄)).
Definition 2.4. Let Q be a coherent sheaf of OX -modules of dimension d¯ and let m
e ≥ 1 be
the least integer which is a regularity number for Q with respect to OX (1). Then we define
C0 (Q) and D0 (Q) as follows: Let a1 , . . . , ad̄ ∈ H 0 (X, OX (1)) be such that we have a short
exact sequence of OX -modules
a

0 → Qi (−1) →i Qi → Qi−1 → 0,

¯
for 0 < i ≤ d,

¯ with dim Qi = i. We define
where Qd = Q and Qi = Q/(ad̄ , . . . , ai+1 )Q, for 0 ≤ i < d,
C0 (Q) = min{

d̄
X

h0 (X, Qi ) | a1 , . . . , ad̄ is a Q − sequence as above},

i=0

where

D0 (Q) = h0 (X, Q(m))
e + 2(d¯ + 1) (max{q0 , q1 , . . . , qd̄ }) ,





m + d¯ − 1
m + d¯
+ · · · + (−1)d̄ qd̄
− q1
χ(X, Q(m)) = q0
d¯ − 1
d¯

is the Hilbert polynomial of Q.

A more general version of the following lemma has been stated and proved in Lemma 2.5
of [T4]. Here we state and prove a relevant part of it, for a self-contained treatment (avoiding
additional complications).

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

7

¯ Let P be a locally-free
Lemma 2.5. Let Q be a coherent sheaf of OX -modules of dimension d.
sheaf of OX -modules which fits into a short exact sequence of locally-free sheaves of OX -modules
0 −→ P −→ ⊕i OX (−bi ) −→ P ′′ −→ 0, where bi ≥ 0.

(2.4)

Then, for µ
e = rk(P ) + rk(P ′′ ) and, for all n, m ≥ 0, we have
h0 (X, Q(m + q)) ≤ D0 (Q)(m + q)d̄

and

h0 (F n∗ P ⊗ Q(m)) ≤ (e
µ)C0 (Q)(md̄ + 1).

Proof. Let m
e be a regularity number for Q, then by Definition 2.4, we have
h0 (X, Q(m + q)) ≤ D0 (Q)(m + q)d̄ ,

for all n, m ≥ 0.

0

Let Qd̄ = Q. Let ad̄ , . . . , a1 ∈ H (X, OX (1)) with the exact sequence of OX -modules
a

i
Qi −→ Qi−1 −→ 0,
0 −→ Qi (−1) −→
¯
where Qi = Qd̄ /(ad̄ , . . . , ai+1 )Qd̄ , for 0 ≤ i ≤ d, and realizing the minimal value C0 (Q). Now,
by the exact sequence (2.4), we have the following short exact sequence of OX -sheaves

0 −→ F n∗ P ⊗ Qi −→ ⊕j Qi (−qbj ) −→ F n∗ P ′′ ⊗ Qi −→ 0.
This implies H 0 (X, F n∗ P ⊗ Qi ) ֒→ ⊕j H 0 (X, Qi (−qbj )). Therefore
X
h0 (X, Qi (−qbj )) ≤ (e
µ)h0 (X, Qi ),
(2.5)
h0 (X, F n∗ P ⊗ Qi ) ≤
j

as −bj ≤ 0. Since F

n∗

P is a locally-free sheaf of OX -modules, we have
a

i
F n∗ P ⊗ Qi (m) −→ F n∗ P ⊗ Qi−1 (m) −→ 0,
0 −→ F n∗ P ⊗ Qi (m − 1) −→

which is a short exact sequence of OX -sheaves. Now by induction on i, we prove that, for
m ≥ 1,


h0 (X, F n∗ P ⊗ Qi (m)) ≤ (e
µ) h0 (X, Qi ) + · · · + h0 (X, Q0 ) (mi ).

For i = 0, the inequality holds as h0 (X, F n∗ P ⊗ Q0 (m)) ≤ (e
µ)h0 (X, Q0 ) (as dim Q0 = 0).
Now, for m ≥ 1, by the inequality 2.5 and by induction on i, we have

h0 (X, F n∗ P ⊗Qi (m)) ≤ h0 (X, F n∗ P ⊗Qi )+h0 (X, F n∗ P ⊗Qi−1 (1))+· · ·+h0 (X, F n∗ P ⊗Qi−1 (m))


≤ (e
µ)h0 (X, Qi ) + µ
e h0 (X, Qi−1 ) + · · · + h0 (X, Q0 ) (1 + 2i−1 + · · · + mi−1 )


≤ (e
µ) h0 (X, Qi ) + · · · + h0 (X, Q0 ) mi .
This implies
h0 (X, F n∗ P ⊗ Q(m)) = h0 (X, F n∗ P ⊗ Qd̄ (m)) ≤ µ
eC0 (Q)md̄ ,
for all m ≥ 1. Therefore, for all 0 ≤ i ≤ d¯ and for all m ≥ 0, we have h0 (X, F n∗ P ⊗ Q(m)) ≤
µ
eC0 (Q)(md̄ + 1). This proves the lemma.

Lemma 2.6. There exists a short exact sequence of coherent sheaves of OX -modules
d−1

0 −→ ⊕p

OX (−d) −→ F∗ OX −→ Q −→ 0,

where Q is a coherent sheaf of OX -modules such that dim supp (Q) < d − 1.
Proof. Note that X = Proj R, where R = ⊕n≥0 Rn , is a standard graded domain such that R0
is an algebraically closed field. Therefore there exists a Noether normalization
k[X0 , . . . , Xd−1 ] −→ R,
which is an injective, finite separable graded map of degree 0 (as k is an algebraically closed
field). This induces a finite separable affine map π : X −→ Pd−1
= S.
k
Note that there is also an isomorphism
η : OS⊕n0 ⊕ OS (−1)⊕n1 ⊕ · · · ⊕ OS (−d + 1)⊕nd−1 −→ F∗ OS
P
of OS -modules, where
ni = pd−1 .

8

V. TRIVEDI

⊕ni
−→ π ∗ F∗ Os is an
Now the isomorphism of η implies that the map π ∗ (η) : ⊕d−1
i=0 OX (−i)
isomorphism of OX -sheaves. Since 0 ≤ i ≤ d − 1, we also have an injective and generically
isomorphic map of OX -sheaves
d−1

⊕p

⊕ni
.
OX (−d) −→ ⊕d−1
i=0 OX (−i)

Composing this map with π ∗ (η) gives an injective and generically isomorphic map of OX -sheaves
d−1

α : ⊕p

OX (−d) −→ π ∗ F∗ OS .

Since π is separable, there is a canonical map β : π ∗ F∗ OS −→ F∗ OX , of sheaves of OX modules, which is generically isomorphic.
Now we have the composite map
d−1

β ◦ α : ⊕p

OX (−d) −→ π ∗ F∗ OS → F∗ OX

which is generically an isomorphism. Hence dim Coker(β ◦ α) < dim X = d − 1 and the map
d−1
β ◦ α : ⊕p OX (−d) −→ F∗ OX is injective, as X is an integral scheme. This proves the
lemma.

Lemma 2.7. Let

d−1

0 −→ ⊕p

OX (−d) −→ F∗ OX −→ Q −→ 0

as in Lemma 2.6. Then
(1) Q is m-regular,
e
where m
e = max{m̄ + d, l1 − 1}, where m̄ and l1 are as given in Notations 2.2.
(2) For a given d, there exists a universal polynomial function P̄1d (X0 , . . . , Xd−1 , Y ) with
rational coefficients (and hence independent of p) such that
2C0 (Q) + D0 (Q) ≤ pd−1 P̄1d (e
e0 , ee1 , . . . , eed−1 , m̄).

Proof. (1) The above short exact sequence of OX -sheaves gives a long exact sequence of cohomologies
d−1

⊕p

d−1

H i (X, OX (m−d)) −→ H i (X, OX (mp)) −→ H i (X, Q(m)) −→ ⊕p

H i+1 (X, OX (m−d)).

But hi (X, OX (m − d − i)) = 0, for all m ≥ m̄ + d and i ≥ 1, which implies that if m ≥ m̄ + d
then hi (X, Q(m − i)) = 0, for i ≥ 1, and the canonical map
f1,m : H 0 (X, (F∗ OX )(m)) −→ H 0 (X, Q(m))
is surjective. Moreover the canonical map
H 0 (X, (F∗ OX )(m)) ⊗ H 0 (X, OX (1)) −→ H 0 (X, (F∗ OX )(m + 1))
is
f2,m : H 0 (X, OX (mp)) ⊗ H 0 (X, OX (1))[p] −→ H 0 (X, OX (mp + p)),
is surjective for m ≥ m
e because it fits into the following canonical diagram
[p]

Rmp ⊗ R1
↓

H 0 (X, OX (mp)) ⊗ H 0 (X, OX (1))[p]

−→

Rmp+p
↓

f2,m

H 0 (X, OX (mp + p))

−→

where the top horizontal map is surjective for m ≥ l1 − 1. Now the following commutative
diagram of canonical maps
H 0 (X, (F∗ OX )(m)) ⊗ H 0 (X, OX (1))
↓ f2,m

−→

H 0 (X, Q(m)) ⊗ H 0 (X, OX (1))
↓

H 0 (X, (F∗ OX )(m + 1))

f1,m+1

H 0 (X, Q(m + 1))

−→

implies that the second vertical map is surjective, for m ≥ m,
e as the maps f2,m and f1,m+1
surjective. This proves that Q is m-regular.
e
Hence the assertion (1).

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

(2) If
(2.6)

χ(X, Q(m)) = q0

9





m+d−3
m+d−2
+ · · · + (−1)d−2 qd−2 ,
− q1
d−3
d−2

then by Lemma 5.1 (in the Appendix, below),

|qi | ≤ pd−1 Pid (e
e0 , . . . , eei+1 ),

where Pid (X0 , . . . , Xi+1 ) is a universal polynomial function with rational coefficients.
Now, Q is m-regular
e
implies that, for 0 ≤ i < d, Qi := Q/(ad̄ , . . . , ai+1 )Q is m-regular,
e
for
any Q-sequence a1 , . . . , ad̄ ∈ H 0 (X, OX (1)). Therefore
h0 (X, Qi ) ≤
≤

h0 (X,
e ≤h0 (X, 
Qi+1 (m))
e ≤· · · ≤ h0 (X, Q(m))
e = χ(X, Q(m))
e
 Qi (m))
m
e +d−2
m
e +d−3
|q0 |
+ |q1 |
+ · · · + |qd−2 |.
d−2
d−3

This implies h0 (X, Qi ) ≤ pd−1 P d (e
e0 , . . . , eed−1 , m),
e where P d (X0 , . . . , Xd−1 , Y ) is a universal
polynomial function with rational coefficients. Therefore
C0 (Q) ≤ (d − 1)pd−1 P d (e
e0 , . . . , e
ed−1 , m).
e

The inequality for D0 (Q) follows similarly. This proves the assertion (2) and hence the lemma.

Lemma 2.8. Given d ≥ 2, there exist universal polynomials P̄2d , P̄3d ∈ Q[X0 , . . . , Xd−1 , Y ]
such that, if X is an integral variety of dimension d − 1 with Hilbert-polynomial and m̄ as in
Notations 2.2, and if there are short exact sequences of OX -modules
0 −→ OX (−m0 ) −→ OX −→ Y1 −→ 0

and

0 −→ OX −→ OX (n2 ) −→ Y2 −→ 0

then
P̄2d (e
e0 , . . . , eed−1 , m̄),
2C0 (Y1 ) + D0 (Y1 ) ≤ md−1
0

P̄3d (e
e0 , . . . , e
ed−1 , m̄),
2C0 (Y2 ) + D0 (Y2 ) ≤ nd−1
2
where m0 ≥ 0 and n2 ≥ 0 are two integers.

Proof. Without loss of generality one can assume m0 ≥ 1 and n0 ≥ 1. Since OX is m̄-regular,
the sheaf Y1 is m̄ + m0 -regular sheaf of OX -modules of dimension d − 2. Therefore, for any Y1 sequence a1 , . . . , ad−2 , the sheaf Y1i := Y1 /(ad−2 , . . . , ai+1 )Y1 is m̄+m0 -regular, as OX -modules.
This implies
h0 (X, Y1i )

0
0
≤ h0 (X,Y1i (m̄
 OX (m̄ + m0 ))
 + m0 )) ≤ h (X,
 Y1 (m̄+ m0 )) ≤ h (X,
2 m̄ + 1 + d − 1
2 m̄ + 1 + d − 2
d−1
+ ··· + e
ed−1 2
+ ee1
ee0
≤ m0
d−2
d−1
≤ m0 d−1 Pe d (e
e0 , . . . , eed−1 , m̄),

where Pe d (X0 , . . . , Xd−1 , Y ) is a universal polynomial function with rational coefficients.
Let ei (Y ) denote the ith coefficient of the Hilbert polynomial of (Y1 , OX (1)). Then by
d
Lemma 5.1, we have ei (Y1 ) ≤ mi+1
e0 , . . . , e
ei ), where Pid (X0 , . . . , Xi ) is a universal polyno0 Pi (e
mial with rational coefficients.
Now the bound for 2C0 (Y1 ) + D0 (Y1 ) follows. The identical proof follows for Y2 .

Notations 2.9. For a pair (R, I), where R is a standard graded ring of char p > 0 and of
dimension d ≥ 2, we define (similar to the sequence of functions which had been defined in
[T4]), a sequence of functions {fn : [1, ∞) → [0, ∞)}n , as follows:
Fix n ∈ N and denote q = pn . Let x ∈ [0, ∞) then there exists a unique nonnegative integer
m such that (m + q)/q ≤ x < (m + q + 1)/q. Then
fn (x) = 1/q d−1ℓ(R/I [q] )m+q .
Lemma 2.10. Each fn : [1, ∞) −→ [0, ∞), defined as in Notations 2.9, is a compactly supported function such that ∪n≥1 Supp fn ⊆ [1, n0 µ], where Rn0 ⊆ I and µ ≥ µ(I).

10

V. TRIVEDI

Proof. Since R is a standard graded ring, for m ≥ n0 µq, we have Rm ⊆ (Rn0 )µq ⊆ I µq ⊆ I [q] .
This implies ℓ(R/I [q] )m = 0, if m ≥ n0 µq. Therefore support fn ⊆ [1, n0 µ], for every n ≥ 0.
This proves the lemma.

Proposition 2.11. For fn as given in Notations 2.9, we have
(1) |fn (x) − fn+1 (x)| ≤ C/pn−d+2 , for every x ∈ [1, ∞), and for all n ≥ 0.
(2) In particular, ||fn − fn+1 || ≤ C/pn−d+2 and ||fd−1 − fd || ≤ C/p,
where
!d−2
µ
X
di ) + 1
(P̄1d + dd−1 P̄2d + P̄3d )
(2.7)
C = 2CR + µ m̄ + n0 (
i=1

and the integers m̄ and n0 are given as in Notations 2.2, and d1 , . . . , dµ are degrees of a chosen
generators of I. Moreover CR = µh0 (X, OX (m̄)), for X = Proj R, and P̄1d , P̄2d and P̄3d are
given as in Lemma 2.7 and Lemma 2.8.
Proof. Fix x ∈ [1, ∞). Therefore, for given q = pn , there exists a unique integer m ≥ 0, such
that (m + q)/q ≤ x < (m + q + 1)/q and
(m + q)p + n2 + 1
(m + q)p + n2
≤x<
, for some 0 ≤ n2 < p.
qp
qp
Hence
fn (x) =

1
q d−1

ℓ



R
I [q]



m+q

1
ℓ
and fn+1 (x) =
(qp)d−1

Now, by Equation (2.3) in Remark 2.3, we have
(2.8)

fn (x) −



R
I [qp]



.

mp+qp+n2

CR
CR
coker φmp+n2 ,qp (OX )
coker φm,q (OX )
< d−1 and fn+1 (x) −
<
.
q d−1
q
(qp)d−1
(qp)d−1

Consider the short exact sequence of OX -modules
0 −→ OX (−d) −→ OX −→ Y1 −→ 0.
Then, for any locally free sheaf P of OX -modules and for m ≥ 0, we have the following short
exact sequence of OX -modules
0 −→ F n∗ P ⊗ OX (−d + m) −→ F n∗ P ⊗ OX (m) −→ F n∗ P ⊗ Y1 (m) −→ 0.
Since
coker φm,q (OX ) = h0 (X, OX (m + q)) −
we have (by taking P = V and =

P

X

h0 (X, OX (m + q − qdi )) + h0 (X, (F n∗ V )(m))

i

OX (1 − di )) respectively),

|coker φm,q (OX ) − coker φm−d,q (OX )|
X
OX (q − qdi ) ⊗ Y1 (m)) + h0 (X, F n∗ V ⊗ Y1 (m)).
≤ h0 (X, Y1 (m + q)) + h0 (X,
i

If d − 2 = 0 then

|coker φm,q (OX ) − coker φm−d,q (OX )| ≤ (1 + µ − 1 + µ)h0 (X, Y1 ) = 2µC0 (Y1 ).
If d − 2 > 0 then by Lemma 2.5
|coker φm,q (OX ) − coker φm−d,q (OX )| ≤
≤

D0 (Y1 )(m + q)d−2 + 2(µ)C0 (Y1 )(md−2 + 1)
(µ) [2C0 (Y1 ) + D0 (Y1 )] (m + q)d−2 .

Therefore
(2.9) |pd−1 coker φm,q (OX )−pd−1 coker φm−d,q (OX )| ≤ (µ) [2C0 (Y1 ) + D0 (Y1 )] (m+q)d−2 pd−1 .

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

11

Since, for a locally free sheaf P , we have
h0 (X, F n∗ P ⊗ (F∗ OX )(m)) = h0 (X, F (n+1)∗ P ⊗ OX (mp)),
the short exact sequence in the statement of Lemma 2.7 gives a canonical long exact sequence
0 −→ ⊕H 0 (X, (F n∗ P )(m−d)) −→ H 0 (X, (F (n+1)∗ P )(mp)) −→ H 0 (X, F n∗ P ⊗Q(m)) −→ · · · ,
which implies
(2.10)

|pd−1 coker φ(m−d),q (OX ) − coker φmp,qp (OX )| ≤ (µ) [2C0 (Q) + D0 (Q)] (m + q)d−2 .

The short exact sequence of OX -modules
0 −→ OX −→ OX (n2 ) −→ Y2 −→ 0
gives
0 −→ H 0 (X, (F (n+1)∗ P )(mp)) −→ H 0 (X, (F (n+1)∗ P )(mp+n2 )) −→ H 0 (X, (F (n+1)∗ P )⊗Y2 (mp)),
which gives
|coker φmp,qp (OX ) − coker φmp+n2 ,qp (OX )|
≤ h0 (X, F (n+1)∗ V ⊗ Y2 (mp)) + h0 (X,

P

i

OX (qp − qpdi ) ⊗ Y2 (mp)) + h0 (X, Y2 (mp + qp))

≤ 2(µ)C0 (Y2 )((mp)d−2 + 1) + (µ)D0 (Y2 )(mp + qp)d−2 .
Therefore
(2.11)

|coker φmp,qp (OX ) − coker φmp+n2 ,qp (OX )| ≤ (µ) [2C0 (Y2 ) + D0 (Y2 )] (mp + qp)d−2 .

Combining Equations (2.9), (2.10) and (2.11), we get
(A) := |pd−1 coker φm,q (OX ) − coker φmp+n2 ,qp (OX )|


≤ (µ)(m + q)d−2 (2C0 (Y1 ) + D0 (Y1 ))pd−1 + (2C0 (Q) + D0 (Q)) + (2C0 (Y2 ) + D0 (Y2 ))pd−2



P̄3d pd−2 ,
≤ (µ)(m + q)d−2 pd−1 dd−1 P̄2d + pd−1 P̄1d + nd−1
2

where the last inequality follows from Lemma 2.7, Lemma 2.8 with P̄id = P̄id (e
e0 , . . . , eed−1 , m),
e
for i = 1, 2 and 3.
Now, as n2 < p, we have


(A) ≤ (µ)(m + q)d−2 pd−1 dd−1 P̄2d + pd−1 P̄1d + pd−1 pd−2 P̄3d .
Now multiplying the above inequality by 1/(qp)d−1 we get
|


coker φm,q (OX ) coker φmp+n2 ,qp (OX )
(m + q)d−2  d−1 d
−
| ≤ (µ)
d P̄2 + P̄1d + pd−2 P̄3d .
d−1
d−1
d−1
q
(qp)
q

Moreover, by Remark 2.3,
X
di )q + q =⇒ coker φm,q (OX ) = coker φmp+n2 ,qp (OX ) = 0.
m + q ≥ m̄ + n0 (
i

Also

X
X
di ) + 1)d−2 .
di )q + q, =⇒ (m + q)d−2 ≤ L0 q d−2 , where L0 = (m̄ + n0 (
m + q ≤ m̄ + n0 (
i

i

n

Therefore, for every m ≥ 0 and n ≥ 1, where q = p , we have
|


coker φm,q (OX ) coker φmp+n2 ,qp (OX )
L0 q d−2  d−1 d
−
|
≤
(µ)
d P̄2 + P̄1d + pd−2 P̄3d
d−1
d−1
d−1
q
(qp)
q
 pd−2 q d−2

≤ (µ)L0 dd−1 P̄2d + P̄1d + P̄3d
.
q d−1

12

V. TRIVEDI

Now by Equation 2.8, we have
 d−2
 d−1 d
CR
CR
pd−2
d
d p
d
P̄
+
P̄
+
P̄
+
+
(µ)L
≤
C
,
0
2
1
3
q d−1
(qp)d−1
q
q

dd−1 P̄2d + P̄1d + P̄3d , which proves the proposition.

|fn (x) − fn+1 (x)| ≤
where C = 2CR + (µ)L0



Corollary 2.12. There exists a constant C1 = P4d (e
e0 , ee1 , . . . , e
ed , m̄) + (n0 µ − 1)C, where C is
as in Proposition 2.11 and P4d (X0 , . . . , Xd , Y ) is a universal polynomial function with rational
coefficients such that, for n ≥ 1




1
C1
1
R
R
−
≤ n−d+2 .
ℓ
ℓ
n]
n+1 ]
n
d
n+1
d
[p
[p
(p )
(p
)
p
I
I
Proof. Note



Z ∞
Z n0 µ
∞
X
R
1
ℓ
=
f
(x)dx
=
fn (x)dx,
n
pnd
I [pn ] m+q
1
1
m=0

where the last equality follows from Lemma 2.10. Hence




1
R
R
1
ℓ
− n+1 d ℓ
(pn )d
(p
)
I [pn ]
I [pn+1 ]




Z n0 µ
Z n0 µ
1
R
1
R
−
ℓ
≤ nd ℓ
+
f
(x)dx
−
fn+1 (x)dx .
n
p
mpn
p(n+1)d
mpn+1
1
1
If pn ≤ m̄ then




P(R,m) (m̄2 )
P(R,m) (m̄) P(R,m) (m̄2 )
1
R
R
1
−
ℓ
−
,
≤
ℓ
≤
pnd
mpn
pnd
pn
p(n+1)d
p(n+1)d
mpn+1

if pn > m̄ then there exists a universal polynomial function P6d (X0 , . . . , Xd ) with rational
coefficients such that
P(R,m) (pn ) P(R,m) (pn+1 )
P6d (e
e0 , ee1 , . . . , e
ed )
≤
L.H.S. ≤
−
.
nd
p
pn
p(n+1)d
Therefore, combining this with Proposition 2.11, part (1), we get a universal polynomial function
P4d (X0 , . . . , Xd , Y ) with rational coefficients such that




R
R
1
P d (e
e0 , ee1 , . . . , e
ed ) (n0 µ − 1)C
1
ℓ
ℓ
+
.
−
≤ 4
n]
n+1 ]
n
d
n+1
d
n
[p
[p
(p )
(p
)
p
pn−d+2
I
I

Since d ≥ 2, the corollary follows.



3. Hilbert-Kunz density function and reduction mod p
Remark 3.1. Let R be a standard graded integral domain of dimension d ≥ 2, with R0 = k,
where k is an algebraically closed field. Let N = ℓ(R1 ) − 1, then we have a surjective graded
map k[X0 , . . . , XN ] −→ R of degree 0, given by Xi mapping to generators of R1 . This gives a
closed immersion X = Proj R −→ PN
(1) |X . Therefore if
k such that OX (1) = OPN
k




m+d−2
m+d−1
+ · · · + (−1)d eed
− ee1
PR (m)) = ee0
d−1
d
is the Hilbert-Samuel polynomial of R then the Hilbert polynomial for the pair (X, OX (1)) is




m+d−2
m+d−1
+ · · · + (−1)d−1 eed−1 .
− ee1
χ(X, OX (m)) = ee0
d−2
d−1

Since R is a domain, the canonical graded map R = ⊕m Rm −→ ⊕m H 0 (X, OX (m)) is injective.
Let IX be the ideal sheaf of X in PN
k ; then we have the canonical short exact sequence of
OPN
-modules
k
0 −→ IX −→ OPN
−→ OX −→ 0
k

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

13

and the image of the induced map fm : H 0 (PN
(m)) −→ H 0 (X, OX (m)) is Rm . Now, by
k , OPN
k
Exp XIII, (6.2) (in [SGA6]), there exists a universal polynomial P5d (t0 , . . . , td−1 ) with rational
coefficients such that the sheaf IX is m̄ = P5d (e
e0 , . . . , eed−1 )-regular. Therefore the map fm is
surjective for m ≥ m̄.
In particular, we have
(1) Rm = H 0 (X, OX (m)), for all m ≥ m̄ and
(2) the sheaf OX is m̄-regular with respect to OX (1).
Next we recall a notion of spread.
Definition 3.2. Consider the pair (R, I), where R is a finitely generated Z≥0 -graded ddimensional domain such that R0 is an algebraically closed field k of characteristic 0, and
I ⊂ R is a homogeneous ideal of finite colength. For such a pair, there exists a finitely generated Z-algebra A ⊆ k, a finitely generated N-graded algebra RA over A and a homogeneous
ideal IA ⊂ RA such that RA ⊗A k = R and I = Im(IA ⊗A k). We call (A, RA , IA ) a spread of
the pair (R, I).
Moreover, if, for the pair (R, I), we have a spread (A, RA , IA ) as above and A ⊂ A′ ⊂
k, for some finitely generated Z-algebra A′ then (A′ , RA′ , IA′ ) satisfy the same properties as
(A, RA , IA ). Hence we may always assume that the spread (A, RA , IA ) as above is chosen such
that A contains a given finitely generated Z-algebra A0 ⊆ k.
Notations 3.3. Given a spread (A, RA , IA ) as above, for a closed point s ∈ Spec (A), we define
Rs = RA ⊗A k̄(s) and the ideal Is = Im(IA ⊗A k̄(s)) ⊂ Rs . Similarly for XA := Proj RA , we
define Xs := X ⊗ k̄(s) = Proj Rs and, for a coherent sheaf VA on XA , we define Vs = VA ⊗ k̄(s).
Remark 3.4. Note that for a spread (A, RA , IA ) of (R, I) as above, the induced map
π
e : XA := Proj RA −→ Spec (A) is a proper map, hence by generic flatness there is an open
set (infact non empty as A is an integral domain) U ⊂ Spec (A) such that π
e |π̃−1 (U) : π
e −1 (U ) −→
U is a proper flat map. Therefore (see [EGA IV] 12.2.1) the set
{s ∈ Spec (A) | X ⊗Spec (A) Spec (k(s))

is geometrically integral}

is a nonempty open set of Spec (A). Hence replacing A by a finitely generated Z-algebra A′
such that A ⊂ A′ ⊂ k (if necessary) we can assume that π
e is a flat map such that for every
s ∈ Spec (A), the fiber over s is geomerically integral.
Therefore for any closed point s ∈ Spec (A) (i.e., a maximal ideal of A) the ring Rs is a
standard graded d-dimensional ring such that the ideal Is ⊂ Rs is a homogeneous ideal of finite
¯
colength. Moreover Xs is an integral scheme over k(s).
PROOF of Theorem 1.1 For given (R, I), and a given spread (A, RA , IA ), we can choose a
spread (A′ , RA′ , IA′ ), where A ⊂ A′ , such that the induced projective morphism of Noetherian
schemes π
e : XA′ −→ A′ is flat and, for every s ∈ Spec (A′ ), Xs is an integral scheme over k̄(s)
of dimension = d − 1. Let RA′ = ⊕i≥0 (RA′ )i and let (RA′ )1 be generated by N elements as an
A′ -module. Then the canonical graded surjective map
A′ [X0 , . . . , XN ] −→ RA′ ,
gives a closed immersion XA′ = Proj RA′ −→ PN
(1) |XA′ . Let
A′ such that OXA′ (1) = OPN
A′
′
Xs = XA ⊗ k̄(s). Then Xs = Proj Rs and OXs (1) is the canonical line bundle induced by
OXA′ (1). Let s0 = Spec Q(A) = Spec Q(A′ ) be the generic point of Spec (A′ ). We now have
the following,
(1) The Hilbert polynomial for the pair (Xs , OXs (1)) is




m+d−2
m+d−1
+ · · · + (−1)d−1 eed−1 ,
− ee1
χ(Xs , OXs (m)) = ee0
d−2
d−1
where the coefficients e
ei are as above for (X, OX (1)) (from char 0).
In particular, dim Xs = d − 1 and

14

V. TRIVEDI

(2) by Remark 3.1, there exists m̄ = P5d (e
e0 , . . . , eed−1 ) such that (Rs )m = H 0 (Xs , OXs (m))
for all m ≥ m̄ and (Xs , OXs (1)) is m̄-regular.
(3) Moreover, by the semicontinuity theorem (Chapter III, Theorem 12.8 in [H]), by shrinking Spec (A′ ) further, we have hi (Xs , OXs (m̄)) and h0 (Xs , OXs ) is independent of s,
for all i ≥ 0.
n0
(4) Again by shrinking Spec (A′ ) (if necessary), can choose n0 ∈ N such that RA
′ ⊆ IA′ .
′
n0
This implies Rs ⊆ Is , for all s ∈ Spec (A ).
Let s ∈ Spec (A′ ) and let p = char k(s). We sketch the proof of the existence of the
map f (Rs , Is ) : [1, ∞) → R and its relation to eHK (R, I) (note that we have proved this in
a more general setting in [T4]). By Proposition 2.11, for any given s, the sequence {fns }n
of functions isR uniformly convergent.
R ∞ Let f (Rs , Is )(x) = limn→∞ fn (Rs , Is )(x). This implies
∞
that limn→∞ 1 fn (Rs , Is )(x) = 1 f (Rs , Is )(x) as, by Lemma 2.10, there is a compact set
containing ∪n supp fn (Rs , Is ). On the other hand






1
1
1 X
Rs
Rs
R
= lim nd ℓ
eHK (Rs , Is ) = lim nd ℓ
+ lim nd
ℓ
n
[pn ]
n→∞ p
n→∞ p
n→∞ p
I [pn ] m+pn
mps
Is
Z ∞
Z m≥0
∞
= e(Rs , ms ) + lim
fn (Rs , Is )(x) = e(Rs , ms ) +
f (Rs , Is )(x),
n→∞

1

1

where ms is the graded maximal ideal of Rs .
Now, by Proposition 2.11, there exists a constant
!d−2
µ
X
di ) + 1
(P̄1d + dd−1 P̄2d + P̄3d ),
C = 2CRs + µ m̄ + n0 (
i=1

which is independent of the choice of s in Spec (A′ ) (as CRs = µh0 (Xs , OXs (1))) such that
||fn (Rs , Is ) − fn+1 (Rs , Is )|| ≤ C/pn−d+2 ,

for all n.

In particular, for given m ≥ d − 1,


||fm (Rs , Is ) − f (Rs , Is )|| ≤ C/p + C/p2 + C/p3 + · · ·

1
2C
≤ m−d+2 .
p
pm−(d−1)

As s → s0 we have char k(s) → ∞, which implies lims→s0 ||fm (Rs , Is ) − f (Rs , Is )|| = 0. This
proves the first assertion of the theorem.
Since each fm (Rs , Is ) and f (Rs , Is ) has support in the compact interval [1, n0 µ], the above
inequality implies that, for any fixed m ≥ d − 1,
Z ∞
Z ∞
lim
fm (Rs , Is )(x)dx −
f (Rs , Is )(x)dx ≤
s→s0

1

1

lim

s→s0

Z

∞

|fm (Rs , Is )(x) − f (Rs , Is )(x)|dx ≤ lim

s→s0

1

Moreover it is easy to see that
lim



lim



s→s0

Therefore
s→s0

lim

s→s0





1
pmd

ℓ



Rs
m
mps



+

Z

1

∞

1

p

ℓ
md
1

pmd

ℓ




Rs
m
mps
Rs
[pm ]

Is



2C
pm−d+2




− e(Rs , ms ) = 0.




− eHK (Rs , Is ) =

 
Z
fm (Rs , Is )(x)dx − e(Rs , ms ) +

Now the proof of Corollary 1.2 is obvious.

1



∞

(n0 µ − 1) = 0.


f (Rs , Is )(x)dx
= 0.

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

15

4. Some properties and examples
Throughout this section R is a standard graded integral domain of dimension d ≥ 2, with
R0 = k, where k is an algebraically closed field of characteristic 0, and I ⊂ R is a homogeneous
ideal of finite colength. Our choice of spread satisfies conditions as given in Remark 3.4.
Definition 4.1. We denote f ∞ (R, I) = lims→s0 f (Rs , Is ) if it exists, where for (R, I) the pair
(Rs , Is ) is given as in Definition 3.2 and Notations 3.3.
Definition 4.2. For a choice of spread (A, RA , IA ) of (R, I) , as in Remark 3.4, and a closed
point s ∈ Spec (A), we define
1
HSd(Rs )(x) = FRs (x) = lim Fn (Rs )(x), where Fn (Rs )(x) = d−1 ℓ(Rs ⌊xq⌋ ) and q = pn .
n→∞
q
One can check that
FRs : R → R is given by FRs (x) = 0, for x < 0, and FRs (x) = e0 (R, m)xd−1 /(d−1)!, for x ≥ 0,
where e0 (R, m) is the Hilbert-Samuel multiplicity of R with respect to m. Hence we denote
FRs (x) = FR (x). Moreover, for any n ≥ 1 we have lims→s0 Fn (Rs )(x) = FRs (x) = FR (x).
Proposition 4.3. Let R and S be standard graded domains, where R0 = S0 = k, where k is an
algebraically closed field of characteristic 0 with I ⊂ R and J ⊂ S homogeneous ideals of finite
coelength respectively. If f ∞ (R, I)(x) and f ∞ (S, J)(x) exist then f ∞ (R#S, I#J)(x) exists and
f ∞ (R#S, I#J)(x) = FS (x)f ∞ (R, I)(x) + FR (x)f ∞ (S, J)(x) − f ∞ (R, I)(x)f ∞ (S, J)(x).
In particular f ∞ (−, −) satisfies a multiplicative formula on Segre products.
Proof. Let us denote f ∞ = f ∞ (R, I) and g ∞ = g ∞ (S, J). For q = pn , where p = char k(s),
we denote fns = fn (Rs , Is ) and gns = fn (Ss , Js ), where s ∈ Spec (A) denotes a closed point and
(A, RA , IA ) and (A, SA , JA ) are spreads.
For any n ≥ 1, we have
fn (Rs #Ss , Is #Js )(x) = Fn (Rs )(x)gns (x) + Fn (Ss )(x)fns (x) − fns (x)gns (x).
n

For a spread (A, RA , IA ), let n0 and µ be positive integers such that (RA )1 0 ⊆ IA , (SA )1
JA and µ(IA ), µ(JA ) ≤ µ. Then, by Lemma 2.10,
[
[
[
Support (gns ) ⊆ [0, n0 µ].
Support (fns )
n≥0,s∈Spec (A)

n0

⊆

n≥0,s∈Spec (A)

Moreover, there is a constant C1 such that, for any n ≥ 1 and every closed point s ∈ Spec (A),
we have
fns (x) ≤ Fn (Rs )(x) ≤ C1 and gns (x) ≤ Fn (Ss )(x) ≤ C1 ,
for all x ∈ [0, n0 µ].
Since f ∞ and g ∞ exists, by Theorem 1.1 (1), for given n ≥ d1 + d1 − 2, lims→s0 fns = f ∞
and lims→s0 gns = g ∞ . This implies, for given n ≥ d1 + d2 − 2, we have the limit function
computation
lim Fn (Rs )(x)gns (x)+Fn (Ss )(x)fns (x)−fns (x)gns (x) = FR (x)g ∞ (x)+FS (x)f ∞ (x)−f ∞ (x)g ∞ (x).

s→s0

Hence, for any n ≥ d1 + d2 − 2,
lim fn (Rs #Ss , Is #Js )(x) = FR (x)g ∞ (x) + FS (x)f ∞ (x) − f ∞ (x)g ∞ (x).

s→s0

Now, by Theorem 1.1 (1), the proposition follows.



Proposition 4.4. Let the pairs (R, I) and (S, J) be as in Proposition 4.3. Let (A, RA , IA ),
(A, SA , JA ) be spreads and s ∈ Spec (A) a closed point. Suppose f (Rs , Is ) ≥ f ∞ (R, I) and
f (Ss , Js ) ≥ f ∞ (S, J). Then
(1) f (Rs #Ss , Is #Js ) ≥ f ∞ (R#S, I#J). Moreover,

16

V. TRIVEDI

(2) if (A, RA , IA ), (A, SA , JA ) be spreads and s ∈ Spec (A) is a closed point such that
Is ∩ (Rs )1 6= 0 and Js ∩ (Ss )1 6= 0 then
f (Rs , Is ) = f ∞ (R, I) and f (Ss , Js ) = f ∞ (S, J) ⇐⇒ f (Rs #Ss , Is #Js ) = f ∞ (R#S, I#J).
Proof. (1) Let us denote f ∞ = f ∞ (R, I) and g ∞ = g ∞ (S, J) and denote f s = f (Rs , Is ) and
g s = f (Ss , Js ).
We know, by the multiplicative property of the HK density functions (see Proposition 2.18
of [T4]), that
f (Rs #Ss , Is #Js )(x)

=
=
≥
=
≥
=

FR (x)g s (x) + FS (x)f s (x) − f s (x)g s (x)
(FR (x) − f s (x)) g s (x) + FS (x)f s (x)
(FR (x) − f s (x)) g ∞ (x) + FS (x)f s (x)
FR (x)g ∞ (x) + f s (x) [FS (x) − g ∞ (x)]
FR (x)g ∞ (x) + f ∞ (x) [FS (x) − g ∞ (x)]
f ∞ (R#S, I#J)(x),

where 3rd and 5th inequalities hold as FR (x) ≥ f s (x) and FS (x) ≥ g s (x), for every s ∈ Spec A,
and the last equality follows from Proposition 4.3.
(2) Suppose I and J are the ideals of R and S respectively, and s ∈ Spec (A) is a closed point
such that Is ∩ (Rs )1 6= 0 and Js ∩ (Ss )1 6= 0 then we
CLAIM. FR (x) > f s (x) and GS (x) > g s (x), for all x ≥ 1.
Proof of the claim: Enough to prove that FR (x + 1) > f s (x + 1), for x > 0. Choose an integer
n0 such that x ≥ 1/pn0 . where p = char k(s). Let q = pn for some n. For a given nonzero
y ∈ Is ∩ (Rs )1 , we have an injective map of Rs -linear map
⊕m≥0 (Rs )m −→ ⊕m≥0 (Is[q] )m+q ,
[q]

of degree q, given by the multiplication by element y q . Therefore ℓ(Is )m+q ≥ ℓ(Rs )m , for all
[q]
m ≥ 0. Since ⌊xq⌋ = m if and only if ⌊(x + 1)q⌋ = m + q, we have ℓ(Is )⌊(x+1)q⌋ ≥ ℓ(Rs )⌊xq⌋ .
Hence
ℓ(Rs /Is[q] )⌊(x+1)q⌋ ≤ ℓ(Rs )⌊(x+1)q⌋ − ℓ(Rs )⌊xq⌋ .
Therefore
fn (Rs , Is )(x + 1) ≤ Fn (Rs )(x + 1) − Fn (Rs )(x).
But

1
e(R)
> 0.
(d − 1)! (pn0 )d−1
This implies f s (x + 1) = f (Rs , Is )(x + 1) < FR (x + 1). This proves the claim.
Now, retracing the above argument, we note that f (Rs #Ss , Is #Js ) = f ∞ (R#S, I#J) if and
only if
[FR (x) − f s (x)] g s (x) = [FR (x) − f s (x)] g ∞ (x)
and
[FS (x) − g ∞ (x)] f s (x) = [FS (x) − g ∞ (x)] f ∞ (x).
Hence, by the above claim, we have f s (x) = f ∞ (x) and g s (x) = g ∞ (x) for all x > 1. For
0 ≤ x ≤ 1, we always have FR (x) = f s (x) = f ∞ (x) and FS (x) = g s (x) = g ∞ (x). This proves
the proposition.

lim Fn (Rs )(x) ≥

n→∞

Example 4.5. Let R be a two dimensional standard graded normal domain, where R0 = k is
an algebraically closed field of char 0. Let I ⊂ R be a homogeneous ideal of finite colength and
generated by homogeneous elements, say h1 , . . . , hµ of positive degrees d1 , . . . , dµ respectively.
Let X = Proj R be the corresponding nonsingular projective curve.
Let (A, RA , IA ) and (A, XA , VA ) denote spreads for (R, I) and (X, V ) respectively. We have
a short exact sequence of OXA -sheaves
Then we have an associated canonical exact sequence of locally free sheaves of OX -modules
(moreover the sequence is locally split exact).

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

(4.1)

17

0 −→ VA −→ ⊕i OXA (1 − di ) −→ OXA (1) −→ 0,

Restricting to the fiber Xs we have the following exact sequence of locally free sheaves of
OXs -modules.
(4.2)

0 −→ Vs −→ ⊕i OXs (1 − di ) −→ OXs (1) −→ 0,

Moreover, we can choose a spread (A, XA , VA ) such that there is a filtration
0 = E0A ⊂ E1A ⊂ · · · ⊂ ElA ⊂ El+1A = VA ,
of locally free sheaves of OXA -modules such that
0 = E0s ⊂ E1s ⊂ · · · ⊂ Els ⊂ El+1s = Vs
is the Harder-Narasimhan filtration of the vector bundles over Xs for s ∈ Spec A.
Theorem 4.6. Let (R, I), (A, RA , IA ) and (A, XA , VA ) be given as above. Then, for every
closed point s ∈ Spec (A), we have
(1) f (Rs , Is ) ≥ f ∞ (R, I) and
(2) f (Rs , Is ) = f ∞ (R, I) if and only if the filtration
0 = E0s ⊂ E1s ⊂ · · · ⊂ Els ⊂ El+1s ⊂ Vs
is the strongly semistable HN filtration of Vs on Xs , i.e.,
0 = F n∗ E0s ⊂ F n∗ E1s ⊂ · · · ⊂ F n∗ Els ⊂ F n∗ El+1s = F n∗ Vs
is the HN filtration of F n∗ Vs .
Proof. We fix such an s ∈ Spec A and denote the HN filtration of Vs by
0 = E0 ⊂ E1 ⊂ · · · ⊂ El ⊂ El+1 ⊂ Vs
By Theorem 2.7 of [L], there is n1 ≥ 1 be such that F n1 ∗ Vs has the strong HN filtration
(note n1 may depend on s).
Then, by Lemma 1.8 of [T2], for char k(s) > 4(genus(Xs ))rank(Vs )3 , the HN filtration of
n1 ∗
F Vs is
0 = E00 ⊂ E01 ⊂ · · · ⊂ E0t0 ⊂ F n1 ∗ E1 = E10 ⊂ · · · ⊂
Ei−1(ti−1 +1) = F n1 ∗ Ei = Ei0 ⊂ Ei1 ⊂ · · · ⊂ Eiti ⊂ Ei(ti +1) = F n1 ∗ Ei+1 = Ei+1,0 ⊂ · · · ⊂ F n1 ∗ Vs .
Let, for i ≥ 0 and j ≥ 1,
1
aij = n1 µ (Eij /Ei,j−1 ) , and rij = rank(Eij /Ei,(j−1) ).
p
Let
µ0 = 1 and for i ≥ 1 let µi = µ(Ei /Ei−1 ) and ri = rank(Ei /Ei−1 ).
Note that, for any i ≥ 1, the only possible inequalities are
a(i−1)1 ≥ µi ≥ ai−1,ti−1 +1 > . . . > ai0 ≥ µi+1 ≥ aiti +1 .
By Lemma 1.14 of [T2], for a given i,
(4.3)

aij = µi+1 + O(1/p),

where, by O(1/p) we mean O(1/p) = C/p, where |C| is bounded by a constant depending only
on the degree of X and rank of V . Now it is easy to check the following:
Claim If 1 − aij0 /d ≤ x < 1 − ai(j0 +1) /d,
(1)
− [akj rkj + d(x − 1)rkj ] =
− [akj rkj + d(x − 1)rkj ] >
≤

for some i ≥ 0 and j ≥ 1, then
O( 1p ), for any 1 ≤ k ≤ ti + 1, and
0 if k ≥ j0 + 1 and
0 if k ≤ j0 .

18

V. TRIVEDI

(2)
−

X

[ajk rkj + d(x − 1)rkj ] ≥ − [µi+1 ri+1 + d(x − 1)ri+1 ] .

k≥j0 +1

We also recall that, for x as above (by Example 3.3 of [T4]), we have
X
X
f (Rs , Is )(x) = −
[aij rij + d(x − 1)rij ] −
[akj rkj + d(x − 1)rkj ]
j≥j0 +1

k≥i+2,j≥1

Let x ≥ 1 then 1 − µi /d ≤ x < 1 − µi+1 /d, for some i ≥ 0. Now there are three possiblilities.
ai−1,(t

a

a

i−1
0
0 +1)
(1) 1 − µdi ≤ x < 1 −
then 1 − i−1,j
≤ x < 1 − i−1,(j
, for some j0 ≥ 0.
d
d
d
Then
X
X
f (Rs , Is ) = −
[ai−1,j ri−1,j + d(x − 1)ri−1,j ] −
[µk rk + d(x − 1)rk ] .
+1

j≥j0 +1

(2) 1 −

ai−1,(ti−1 +1
d

k≥i+1

≤x<1−

ai1
d

then

f (Rs , Is ) = −

X

[µk rk + d(x − 1)rk ] .

k≥i+1
ai1
d

a

µi+1
d .

≤x<1−

j≥j0 +1

∞

a

Then 1 − ijd 0 ≤ x < 1 − i(jd0 +1) , for some j0 ≥ 0. Then
X
X
f (Rs , Is )(x) = −
[aij rij + d(x − 1)rij ] −
[µk rk + d(x − 1)rk ] .

(3) 1 −

k≥i+2

Hence f (R, I) = lims→s0 f (Rs , Is ) exists and
1 ≤ x < 1 − µ1 /d

=⇒

1 − µi /d ≤ x < 1 − µi+1 /d

=⇒

i
hP
µ
r
+
d(x
−
1)r
i i
i
i
hPi≥1
∞
f (R, I)(x) = −
i≥i+1 µi ri + d(x − 1)ri .
f ∞ (R, I)(x) = −

Moreover f (Rs , Is ) ≥ f ∞ (R, I) for 1 ≤ x < 1 − al+1,0 /d and f (Rs , Is ) = f ∞ (R, I) otherwise.
This proves part (1) of the theorem.
(2) If Vs has stongly semistable HN filtration then it is obvious that f (Rs , Is ) = f ∞ (R, I).
Let, as before, n1 be such that F n1 ∗ V has a strongly semistable HN filtration in the sense of
[L], Theorem 2.7.
If the HN filtration of Vs is not strongly semistable then
0 = F n1 ∗ E0 ⊂ F n1 ∗ E1 ⊂ · · · ⊂ F n1 ∗ El ⊂ F n1 ∗ V
is not the HN filtration of F n1 ∗ V . Therefore there is an i ≥ 0 such that
F n1 ∗ Ei = Ei0 ⊂ Ei1 ⊂ · · · ⊂ F n1 ∗ Ei+1 ,
where Ei2 ⊆ F n1 ∗ Ei+1 . Since ai1 > µi+1 , one can choose 1 − ai1 /d < x0 ≤ 1 − ai2 /d. Now
X
X
f (Rs , Is )(x) = −
[aij rij + d(x − 1)rij ] −
[µk rk + d(x − 1)rk ] .
j≥2

= [ai1 ri1 + d(x − 1)ri1 ] −

k≥i+2

X

[µk rk + d(x − 1)rk ] > f ∞ (R, I).

k≥i+1

This proves the Theorem.



Corollary 4.7. Let C1 = Proj S1 , . . . , Cn = Proj Sn be nonsingular projective curves, over a
common field of characteristic 0. Suppose each syzygy bundle VCi , given by
0 −→ VCi −→ H 0 (Ci , OCi (1)) ⊗ OCi −→ OCi (1) −→ 0,
is semistable. (e.g., if deg OCi (1) > 2genus (Ci ) then VCi is semistable, see [KR] and Lemma 2.1
of [T6]).
Then there is n0 such that for all p ≥ n0 we have
(1) f ((S1 # · · · #Sn )p )(x) ≥ f ∞ (S1 # · · · #Sn )(x) and

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

19

(2) f ((S1 # · · · #Sn )p )(x) = f ∞ (S1 # · · · #Sn )(x), for all x ∈ R if and only if (mod p)
reduction of the bundle V1×
· · ·×
Vn is strongly semistable on (C1 × · · · × Cn )p .
In particular
∞
(1) e∞
HK (S1 # · · · #Sn ) exists and eHK ((S1 # · · · #Sn )p ) ≥ eHK (S1 # · · · #Sn ) and
∞
(2) eHK ((S1 # · · · #Sn )p ) = eHK (S1 # · · · #Sn ) if and only if (mod p) reduction of the
bundle V1×
· · ·×
Vn is strongly semistable on (C1 × · · · × Cn )p ,
where the HK density functions and HK multiplicities are considered with respect to the ideal
m1 # · · · #mn for the graded maximal ideals mi ⊂ Si .
Proof. Proof follows by Proposition 4.4 and Theorem 4.6.



Remark 4.8. With the notations and assumptions as in the corollary above, one can easily
compute f ∞ (S1 # · · · #Sn ), in terms of ranks of Vi and degrees of Ci . In particular, if d1 =
deg C1 and d2 = deg C2 with r = rank V1 ≥ s = rank V2 then it follows that


d1 d2
1
1
s
1
∞
eHK (S1 #S2 ) =
+ 2+ 2 .
+ d1 d2
+
3
2s 6s2
6r
6r
Notations 4.9. Let R = k[x, y, z]/(h) be a plane trinomial curve of degree d, i.e., h = M1 +
M2 + M3 where Mi are monomials of degree d. As given in Lemma 2.2 of [Mo2], one can divide
such an h in two types:
(1) h is irregular, i.e., one of the points (1, 0, 0), (0, 1, 0), (0, 0, 1) of P2 has multiplicity
≥ d/2 on the plane curve h. Here we define λR = 1.
(2) h is regular and hence is one of the following type (upto a change of variables):
(a) h = xa1 y a2 + y b1 z b2 + z c1 xc2 , where a1 , b1 , c1 > d/2. Here we define α = a1 + b1 − d,
β = a1 + c1 − d, ν = b1 + c1 − d and λ = a1 b1 + a2 c2 − b1 c2 .
(b) h = xd + xa1 y a2 z a3 + y b z c , where a2 , c > d/2. Here we define α = a2 , β = c,
ν = a2 + c − d and λ = a2 c − a3 b.
We denote λh = λ/a, where a = g.c.d. (α, β, ν, λ).
Corollary 4.10. Let S1 , . . . , Sn be a set of irreducible plane trinomial curve given by trinomials
h1 , . . . , hn of degrees d1 , . . . , dn ≥ 4 respectively, over a field of characteristic 0. Then there are
spreads {(Ai , SiA ), miA }i such that for every closed point s ∈ Spec (A),
(1) f s (S1 # · · · #Sn )(x) = f ∞ (S1 # · · · #Sn )(x), for all x ∈ R
if char k(s) ≡ ±1 (mod l.c.m.(λh1 , . . . , λhn )), where λhi is given as in Notations 4.9.
Moreover
(2) if one of the curve, say, S1 is given by a symmetric trinomial h1 = xa1 y a2 + y a1 z a2 +
z a1 xa2 such that d 6= 5, then
f s (S1 # · · · #Sn )(x0 ) > f ∞ (S1 # · · · #Sn )(x0 )

if

char k(s) ≡ ±l

(mod λh1 ),

∗

for some x0 ∈ R and for some l ∈ (Z/λh1 Z) .
Proof. We can choose spreads (A, SiA ) such that char k(s) > max{d1 , . . . , dn }2 , for every closed
point s ∈ Spec (A). Now for any irreducible plane curve given S = k[x, y, z]/(h). Let S −→ Se
e such
be the normalization of S. Then it is a finite graded map of degree 0 and Q(S) = Q(S)
that Se is a finitely generated N-graded 2-dimensional domain over k. Now, for pairs (S, m)
e mS),
e we can choose a spread (A, SA , mA ) and (A, SeA , mSeA ) such that for every closed
and (S,
point s ∈ Spec (A), the natural map Ss = SA ⊗ k(s) −→ SeA ⊗ k(s) is a finite graded map of
degree 0. This implies, for every x ≥ 0
!


Ss
Ses
1
1
= lim ℓ
,
lim ℓ
[q]
q→∞ q
m[q] ⌊xq⌋ q→∞ q
mSes
⌊xq⌋

as kernel and cokernel of the map Ss −→ Ses is 0-dimensional. Therefore f (Ss , ms ) = f (Ses , mSes )
e mS).
e This also implies eHK (Ss , ms ) = eHK (Ses , mSes ) (this inequality
and f ∞ (S, m) = f ∞ (S,

20

V. TRIVEDI

about eHK can aslo be found in Lemma 1.3 of [Mo1], Theorem 2.7 in [WY] and [BCP]). Let
e s = Proj Ses −→ Xs = Proj Ss be the induced map. We also choose a spread (A, XA , VA ),
π:X
where VA is given by
0 −→ VA −→ OXA ⊕ OXA ⊕ OXA −→ OXA (1) −→ 0

and gives the syzygy bundle Vs with its HN filtration as given in Example 4.5.
This gives a short exact seuence of sheaves of OX̃ -modules
s

∗

0 −→ π Vs −→ OX̃ ⊕ OX̃ ⊕ OX̃ −→ OX̃ (1) −→ 0.
s

s

s

s

e s is a nonsingular curve. If S is regular trinomial given by h then, by Theorem 5.6
Moreover X
of [T5], the bundle π ∗ (Vs ) is a strongly semistable, provided char k(s) ≡ ±1 (mod 2λhs ).
e mS).
e This implies f (Ss , ms ) =
Therefore, by Theorem 4.6, we have f (Ses , mSes ) = f ∞ (S,
f ∞ (S, m), for char k(s) ≡ ±1 (mod 2λSs ).
If S is an irregular trinomial then, by Theorem 1.1 of [T5], π ∗ V has a HN filtration 0 ⊂
L ⊂ π ∗ V . Therefore 0 ⊂ Ls ⊂ π ∗ Vs is the HN filtration and hence the strong HN filtration
(as rank V = 2), for π ∗ Vs , for every closed point s ∈ Spec A. In particular, by Theorem 4.6,
f (Ss , ms ) = f ∞ (S, m), for all such s. Now assertion (1) follows by Proposition 4.4 (2).
If S1 = k[x, y, z]/(h1 ), where h1 is as in statement (2) of the corollary then Vs (here Xs
itself is nonsingular) is semistable, but not strongly semistable, if char k(s) ≡ ±2 (mod λh1s ).
In particular, by Corollary 4.7, f (S1 s , mS1 s ) > f ∞ (S1 s , mS1 s ), for such s. Therefore, the
statement (2) follows from Proposition 4.4 (2).

5. Appendix
Lemma 5.1. For an integer d ≥ 2, there exist universal polynomials Pid , Pi′d in Q[X0 , . . . , Xi ],
where 0 ≤ i ≤ d − 2, such that if for a pair (X, OX (1)), where X is an integral variety of
char p > 0 and dimension d − 1 and Q is a coherent sheaf of OX -modules with the following
respective Hilbert polynomials
χ(X, OX (m)) = ee0

and

χ(X, Q(m)) = q0
then





m+d−2
m+d−1
+ · · · + (−1)d−1 eed−1
− ee1
d−2
d−1





m+d−3
m+d−2
+ · · · + (−1)d−2 qd−2 ,
− q1
d−3
d−2

(1) for 0 ≤ i ≤ d − 2,
|qi | ≤ pd−1 Pid (e
e0 , . . . , eei+1 ),

if there is a short exact sequence of OX -modules
d−1

0 −→ ⊕p

OX (−d) −→ F∗ OX −→ Q −→ 0.

(2) for 0 ≤ i ≤ d − 2,
′

d
|qi | ≤ mi+1
e0 , . . . , eei ),
0 Pi (e

if Q fits in the short exact sequence

0 −→ OX (−m0 ) −→ OX −→ Q −→ 0
or in the short exact sequence
0 −→ OX −→ OX (m0 ) −→ Q −→ 0
of OX -modules.

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

21

Proof. Assertion (1): Note that for m ∈ Z, we have
χ(X, Q(m)) = χ(X, OX (mp)) − pd−1 χ(X, OX (m)).

(5.1)

We can express, for 1 ≤ n ≤ d − 1,
(Y + n) · · · (Y + 2)(Y + 1) =

n
X

Cjn Y j ,

j=0

where

Cnn

= 1 and, for j < n,
nX
X
Cjn ∈
il = n − j,
xi11 · · · xinn |

0 ≤ j < n ≤ d − 1,

o
{x1 , . . . , xn } = {1, . . . , n} .

Now expanding Equation (5.1), we get
 d−1 d−2 d−2

e0
e
d−1 d−3 d−3
C
m (p
− pd−1 ) + Cd−3
m (p
− pd−1 ) + · · · + C0d−1 (1 − pd−1 )
(d − 1)! d−2
+···+

=

(−1)i eei  d−1−i d−1−i d−1−i
d−1−i d−2−i d−2−i
C
m
(p
− pd−1 ) + Cd−2−i
m
(p
− pd−1 )
(d − 1 − i)! d−1−i



+ · · · + C0d−1−i (1 − pd−1 ) + · · · + (−1)d−1 eed−1 (1 − pd−1 )



 d−2 d−2
 d−3 d−3
q0
q1
d−2 d−3
d−3 d−4
Cd−2 m
+ Cd−3
m
+ · · · + C0d−2 −
Cd−3 m
+ Cd−4
m
+ · · · + C0d−3
(d − 2)!
(d − 3)!


(−1)i−1 qi−1  d−1−i d−1−i
d−1−i d−2−i
Cd−1−i m
+ Cd−2−i
m
+ · · · + · · · + C0d−1−i +· · ·+(−1)d−2 qd−2 .
(d − 1 − i)!
We prove the result for qi , by induction on i. For i = 0, comparing the coefficients of md−2 on
both the sides we get


ee0
q0
ee1
d−1
(pd−2 − pd−1 )
=
Cd−2
−
,
(d − 1)!
(d − 2)!
(d − 2)!
+ · · ·+

which implies




d−1
d−1
|q0 | ≤ pd−1 |e
e0 |Cd−2
+ |e
e1 | ≤ pd−1 ee0 2 Cd−2
+e
e1 2 .

Comparing coefficients of md−i we get


ee0
ee1
ei−1
d−1
d−2
d−1−i
d−i
d−1
i−1 e
(p
−p )
C
−
C
+ · · · + (−1)
C
(d − 1)! d−i
(d − 2)! d−i
(d − i)! d−i
q0
q1
qi−2
=
C d−2 −
C d−3 + · · · + (−1)i
C d−i .
(d − 2)! d−i
(d − 3)! d−i
(d − i)! d−i
This implies that

 

d−2
d−3
d+1−i
d−1
d−2
d−1−i
.
+ |q0 |Cd−i
+ |q1 |Cd−i
+ · · · + |qi−3 |Cd−i
|qi−2 | ≤ pd−1 |e
e0 |Cd−i
+ |e
e1 |Cd−i
+ · · · + |e
ei−1 |Cd−i

But

h
i


d−1
d−2
d−1−i
d−1
d−2
d−1−i
+ ee1 2 Cd−i
+ · · · + eei−1 2 Cd−i
.
e0 |Cd−i
+ |e
e1 |Cd−i
+ · · · + |e
ei−1 |Cd−i
pd−1 |e
≤ pd−1 ee0 2 Cd−i
Now the proof follows by induction.

Assertion (2): For m0 = 0 the statement is true vacuously. Therefore we can assume that
m0 ≥ 1. Now




m+d−3
m+d−2
+ · · · + (−1)d−2 qd−2 ,
− q1
χ(X, Q(m)) = q0
d−3
d−2


 d−2 d−2
 d−3 d−3
q1
q0
d−2 d−3
d−3 d−4
Dd−2 m
+ Dd−3
m
+ · · · + D0d−2 −
Dd−3 m
+ Dd−4
m
+ · · · + D0d−3
=
(d − 2)!
(d − 3)!

(−1)i−1 qi−1  d−1−i d−1−i
d−1−i d−2−i
+ · · ·+
Dd−1−i m
+ Dd−2−i
m
+ · · · + · · · + D0d−1−i +· · ·+(−1)d−2 qd−2 ,
(d − 1 − i)!

22

V. TRIVEDI

where
Djk ∈

nX

xi1 · · · xikk |

On the other hand

X

il = k − j

0 ≤ j ≤ k ≤ d − 2,

o
{x1 , . . . , xk } = {1, . . . , k}} .

 d−1
ee0
C
(m0 )(md−2 + · · · md−3 m0 + · · · + md−2
)
0
(d − 1)! d−1

d−1
+ Cd−2
(m0 )(md−3 + md−4 m0 + · · · + md−3
) + · · · + C1d−1 (m0 )
0
 d−2
ee1
−
C
(m0 )(md−3 + · · · md−4 m0 + · · · + md−3
)
0
(d − 2)! d−2

d−2
+Cd−3
(m0 )(md−4 + md−5 m0 + · · · + md−4
) + · · · + C1d−2 (m0 ) + · · · .
0

χ(X, OX (m)) − χ(X, OX (m − m0 )) =

Again we prove the result for qi , by induction on i. Comparing the coefficients for md−2 we get
C d−1 m0
ee0
q0
d−2
d−1
Dd−2
=
Cd−1
m0 =⇒ |q0 | ≤ ee0 d−1
≤ ee0 2 m0 .
d−2
(d − 2)!
(d − 1)!
|Dd−2
|

Comparing the coefficients of md−i , where 2 ≤ i ≤ d, we get
q1
qi−2
q0
d−2
d−3
Dd−i
−
Dd−i
+ · · · + (−1)i−2
Dd−i
(d − 2)!
(d − 3)!
(d − i)! d−i

ee0
d−1 i−1
d−1 i−2
d−1
Cd−1
m0 + Cd−2
m0 + · · · + Cd−i+1
m0
=
(d − 1)!


ee1
eei−2
d−2 i−3
d−2
−
C d−2 mi−2 + Cd−3
C d−i+1 .
m0 + · · · + Cd−i+1
m0 + · · · (−1)i−2
(d − 2)! d−2 0
(d + 1 − i)! d+1−i
This implies that


d−2 i−2
d−2
d−i
d−1 i−1
d−1
e1 | Cd−2
m0 + · · · + Cd−i+1
m0
|qi−2 ||Dd−i
| ≤ |e
e0 | Cd−1
m0 + · · · + Cd−i+1
m0 + |e

d+1−i
d−2
d−3
d+1−i
+ · · · + |e
ei−2 |(Cd+1−i
) + |q0 ||Dd−i
| + |q1 ||Dd−i
| + · · · + |qi−3 ||Dd−i
| .
Now the proof follows by induction.
For Q such that
0 −→ OX −→ OX (m0 ) −→ Q −→ 0,
we have χ(X, Q(m − m0 )) = χ(X, OX (m)) − χ(X, O(m − m0 )), so we get same bound for qi′ s
in terms of eej ′ s as above except that now
(
)
n
X
X
Djn ∈
il = n − j, 0 ≤ j ≤ n, {x1 , . . . , xn } = {1 − m0 , . . . , n − m0 }} .
xi11 · · · xinn |
l=1

Hence the lemma follows.



References
[BC] Buchweitz, R., Chen, Q., Hilbert-Kunz functions of cubic curves and surfaces, J. Algebra 197 (1997),
246-267.
[BCP] Buchweitz, R., Chen, Q., Pardue, K., Hilbert-Kunz functions, preprint (Algebraic Geometry e-print
series).
[B] Brenner, H., The rationality of the Hilbert-Kunz multiplicity in graded dimension two, Math. Ann. 334
(2006), 91-110.
[BLM] Brenner, H., LI, J., Miller, C., A direct limit for limit Hilbert-Kunz multiplicity for smooth projective
curevs, Journal of Algebra 372 (2012), 488-504.
[Br] Bruns, W., Conic divisor classes over a noraml monoid algebra, Contemp. Math. 390 Commutative algebra
and algebraic geometry, (2005), 63-71.
[C] Conca, A., Hilbert-Kunz function of monomial ideals and binomial hypersurfaces, Manuscripta Math. 90
(1996), 287-300.
[EGA IV] Grothendieck, A., Dieudonné, J.A., Eléments de Géometrie Algébrique IV, Pub. Math. IHÉS.
[E] Eto, K., Multiplicity and Hilbert-Kunz multiplicity of monoid rings, Tokyo J. Math. 25 (2002), 241-245.
[FT] Fakhruddin, N. Trivedi, V., Hilbert-Kunz functions and multiplicities for full flag varieties and elliptic
curves, J. Pure Appl. Algebra 181 (2003), 23-52.
[HM] Hans, C. Monsky, P., Some surprising Hilbert-Kunz functions, Math.Z. 214 (1993), 119-135.

TOWARDS HILBERT-KUNZ DENSITY FUNCTIONS IN CHARACTERISTIC 0

23

P di
[GM] Gessel, I., Monsky, M., The limit as p → ∞ of the Hilbert-Kunz multiplicity of
xi , arXiv:1007.2004.
[Ha] Hartshorne, R., Algebraic Geometry, Springer-Verlag.
[L] Langer,A., Semistable sheaves in positive characteristic, Ann. Math., 159 (2004).
[Mar] Maruyama, M., Openness of a family of torsion free sheaves, J. Math. Kyoto Univ. 16-3 (1976), 627-637.
[Mo1] Monsky, P., TheHilbert-Kunz function, Math. Ann. 263 (1983) 43-49.
[Mo2] Monsky, P., The Hilbert-Kunz functions of a characteistic 2 cubic, J. Algebra 197 (1997), 268-277.
[Mo3] Monsky, P.,The Hilbert-Kunz multiplicity of an irreducible trinomial, Journal of Algebra 304 (2006)
1101-1107.
[PR] Paranjape, K., Ramanan, S., On the canonical rings of a curve, Algebraic Geometry and Commutative
Algebra, Vol. II (Kinokunia,Tokyo), (1968), 503-616.
[P] Pardue, K., Thesis, Brandeis University (1993).
[SGA6] Grothendieck, A., Berthellot, P. Illusie, L.,, SGA6, Théorie des Intersections et Théorème de RiemannRoch, Lect. Notes in Math. 225, Springer-Verlag (1971).
[T1] Trivedi, V., Semistability and HK multiplicity for curves, J. of Algebra, 284 (2005), 627-644.
[T2] Trivedi, V., Hilbert-Kunz multiplicity and reduction mod p, Nagoya Math. Journal !85 (2007), 123-141.
[T3] Trivedi, V., Frobenius pull backs of vector bundles in higher dimensions, Proc. Indian Acad. Sci. Math.
Sci. 122 (2012), no.4, 615-628.
[T4] Trivedi, V., Hilbert-Kunz density function and Hilbert-Kunz multiplicity, arXiv:1510.03294.
[T5] Trivedi, V., Arithmetic behaviour of Frobenius semistability of syzygy bundles for plane trinomial curves,
arXiv:1701.07326v1 [math.AG] 25 Jan 2017.
[T6] Trivedi, V., Semistability of syzygy bundles on projective spaces in positive characteristic, Inter. Jour. of
Mathematics, 21 No. 11 (2010) 1475-1504.
[W] Watanabe, K., Hilbert-Kunz multiplicity of toric rings, Proc. Inst Nat. Sci. (Nihon Univ.) 35 (2000), 173177.
[WY1] Watanabe, K., Yoshida, K., Hilbert-Kunz multiplicity and an inequality between multiplicity and
colength, J. Algebra, 230 (2000), 295-317.
[WY2] Watanabe, K., Yoshida, K., Hilbert-Kunz multiplicity, McKay correspondence and good ideals in two
dimensional rational singularities, Manuscripta Math. 104 (2001), 275-294.
School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai400005, India
E-mail address: vija@math.tifr.res.in

