arXiv:1801.04893v2 [math.AG] 13 Feb 2018

ON THE LEVEL OF A CALABI–YAU HYPERSURFACE
STIOFÁIN FORDHAM
Abstract. Boix–De Stefani–Vanzo defined the notion of level for a
smooth projective hypersurface over a finite field in terms of the stabilisation of a chain of ideals previously considered by Àlvarez-Montaner–
Blickle–Lyubeznik, and showed that in the case of an elliptic curve the
level is 1 if and only if it is ordinary and 2 otherwise. Here we extend their theorem to the case of Calabi–Yau hypersurfaces by relating
their level to the F -jumping exponents of Blickle–Mustaţă–Smith and
the Hartshorne–Speiser–Lyubeznik numbers of Mustaţă–Zhang.

1. Introduction
Let R be a finitely-generated k-algebra where k is a perfect field of
characteristic p > 2 and let F e : R → R denote the Frobenius morphism
e
e
a 7→ ap . Let F∗e R denote R with the R-module structure r1 · r2 := r1p r2 ,
then F e : R → F∗e R is an R-module homomorphism. A ring R is said to
F -finite if F∗ R is finitely-generated as an R-module.
Let DR denote the ring of k-linear differential operators on R (see [15, IV,
§16] or [23, Chp. 1] for definition and further details). Each element δ ∈ DR
of order ≤ pe − 1 is F∗e R-linear, so in particular
[ (e)
DR ,
(1)
DR ⊆
e≥1

(e)

where DR = EndRpe (R), and since R is a finitely-generated k-algebra with
k perfect, then R is F -finite and thus (1) is actually an equality [23, Chp.
1, §4].
e
For an ideal b ⊂ R and integer e > 0, write b[1/p ] for the smallest ideal
e]
1
a
[p
[a]
J such that b ⊆ J
where J := (x : x ∈ J) . For an element f ∈ R, we
have by [1, Lem. 3.4] a descending chain of ideals
(2)

R = (f p

0 −1

0

)[1/p ] ⊇ (f p−1 )[1/p] ⊇ (f p

2 −1

2

)[1/p ] ⊇ (f p

3 −1

3

)[1/p ] ⊇ . . . ,
e

e

that stabilises [1, Thm. 3.7], and it stabilises at e (i.e. (f p −1 )[1/p ] =
e+1
e+1
(e+1)
such that
(f p −1 )[1/p ] = . . .) if and only if there exists δ ∈ DR
e
e
p
−1
p
−p
δ(f
)=f
[1, Prop. 3.5].
The author thanks Adrian Langer for a number of useful comments, and also A.F.
Boix, O. Gregory, M. Katzman. The author is supported by SFI grant 13/IA/1914.
1The equivalent notation for b[1/pe ] used in [1] and [7] is I (b)—the notation used here
e
is the one of [5] and [6].
1

2

STIOFÁIN FORDHAM

Remark 1. Àlvarez-Montaner–Blickle–Lyubeznik [1] considered the above
chain of ideals in connection with the question of determining the minimum
integer i such that 1/f i generates Rf as a DR -module which is known to be
finite (where the DR -structure on Rf is ‘via the quotient-rule’). In the case
of a field of characteristic 0 and f a non-zero polynomial, then the integer i
is related in a non-trivial way to the Bernstein–Sato polynomial for f . In the
case of a field of positive characteristic and f ∈ R a non-zero polynomial,
then one always has i = 1 [1, Thm. 1.1].
Definition 2. Let R be a finitely-generated k-algebra where k is a perfect
field of characteristic p > 2. The level of f ∈ R is defined to be e + 1, where
e is the integer where the chain (2) stabilises.
Given f ∈ R a homogeneous polynomial, one can consider the projective
hypersurface X defined by the vanishing of f . The level of f was shown to
be connected with the geometry of X in the case of an elliptic curve, in the
following
Theorem 3 (Boix–De Stefani–Vanzo, [7, Thm. 1.1]). Let R = k[x0 , x1 , x2 ]
where k is a perfect field of characteristic p > 2, and let X = Proj(R/f R)
define an elliptic curve. Then the level of f is 1 if and only if X is ordinary,
and 2 otherwise.
Remark 4. The above result has been partially generalised to the case of
hyperelliptic curves in [4].
The objective here is to extend the above theorem to the case of Calabi–
Yau hypersurfaces, and in the process to describe the relation between level
and the F -jumping exponents and the Hartshorne–Speiser–Lyubeznik numbers.
2. F -jumping exponents and the level of a Calabi–Yau variety
Here we outline the relationship between the level of a polynomial f and
the F -jumping exponents of the ideal of f .
Let R be a regular ring of characteristic p > 0. For an ideal a in R and
positive real number λ, and e ≥ 1 then by [5, Lem. 2.8] we have
e

e

(a⌈λp ⌉ )[1/p ] ⊆ (a⌈λp

e+1 ⌉

)[1/p

e+1 ]

,

where for a real number r, we set ⌈r⌉ to be the smallest integer ≥ r. The
ring R is Noetherian so the chain stabilises to a limit ideal for large e and we
set τ (aλ ) to be this limit called the generalised test ideal of a with exponent
′
λ. It is known that for every λ there is ε > 0 such that τ (aλ ) = τ (aλ ) for
λ′ ∈ [λ, λ + ε) [5, Cor. 2.16]. A positive λ is called an F -jumping exponent
′
of a if τ (aλ ) 6= τ (aλ ) for all λ′ < λ (if µ < λ then one has τ (aµ ) ⊇ τ (aλ )).
Call an F -jumping exponent simple if it lies in the interval (0, 1]. If a is a
principal ideal then it follows from [5, Prop. 2.25] that τ (aλ ) = τ (aλ+1 ) so
in our situation it is enough to look at the simple F -jumping exponents.

ON THE LEVEL OF A CALABI–YAU HYPERSURFACE

3

Remark 5. These should be regarded as the characteristic-p analogues of
the related notions from birational geometry, e.g. the log canonical threshold,
the jumping coefficients of Ein–Lazarsfeld–Smith–Varolin [10] etc.
Proposition 6. Let R be an F -finite ring of characteristic p > 2 and let
I = (f ) be a principal ideal. Let e be the largest simple F -jumping exponent
of I. Then the level of f is ⌈1 − logp (1 − e)⌉.
Proof. Set λk = 1 −

1
,
pk

then τ (I λk ) = (f p
pk −1

[1/pk ]

k −1

)[1/p

k]

pk+1 −1

[6, Lem. 2.1]. Since the
k+1

level is well-defined (i.e. (f
)
= (f
)[1/p ] for k ≫ 0), thus
λ
λ
k+1
k
) for k ≫ 0 hence the number e is well-defined. Let the level
τ (I ) = τ (I
m−1 −1 [1/pm−1 ]
m
m
of f be m, so (f p
)
= (f p −1 )[1/p ] and thus τ (aλm−1 ) = τ (aλm ).
Hence there is an F -jumping exponent in the interval (λm−2 , λm−1 ] and
none in (λm−1 , 1]. It is straightforward to see that the function f (x) :=
⌈1 − logp (1 − x)⌉ is constant on intervals (λm−1 , λm ] and equal to m + 1.
The result follows.

Remark 7. In particular, if the level of f is 1 then there is no F -jumping
exponent for I = (f ) in (0, 1) and if the level of f is > 2 then there is an
F -jumping exponent for I in (1 − 1/p, 1).
2.1. Calabi–Yau hypersurfaces. A Calabi–Yau variety is a smooth projective variety X of dimension n, over a field of characteristic p > 0 with
trivial canonical bundle such that dim Hi (X, OX ) = 0 for i = 1, . . . , n − 1.
Following Artin–Mazur [2], one considers the functor AMX : Artk → Ab
defined by

n
AMX (S) := ker F∗ : Hnét (X × S, Gm ) → Hét
(X, Gm ) ,

on the category Artk of local Artinian k-algebras S with residue field k. The
functor is pro-representable by a smooth formal group of dimension 1 [2, II,
§2], which is characterised by a number called the height which can be any
positive integer or infinity. We say that a Calabi–Yau variety is ordinary
if the aforementioned formal group has height 1. In the case that X is an
elliptic curve then this agrees with the other definition.
Proposition 8. Let X = Proj(R/f R) be a Calabi–Yau hypersurface over a
perfect field of characteristic p > 0. Then f has level 1 if and only if X is
ordinary.
Proof. If f has level one then from remark 7 there is no F -jumping number
in (0, 1) hence by [3, Thm. 1.1] X is ordinary and the reverse implication
holds as well.

3. The Hartshorne–Speiser–Lyubeznik number
Definition 9 ([21]). Let R be a Noetherian local ring of characteristic
p > 0, let M be an Artinian R-module and let ϕ : M → M be an additive

4

STIOFÁIN FORDHAM

map satisfying ϕ(am) = ap ϕ(m) for a ∈ R and m ∈ M . For integers i ≥ 1,
define a chain of ascending submodules
Ni = {z ∈ M : ϕi (z) = 0},
then a theorem of Lyubeznik [18, Prop. 4.4] implies that the chain stabilises:
Nℓ = Nℓ+1 for ℓ ≫ 1. The Hartshorne–Speiser–Lyubeznik number of the pair
(M, ϕ) is the smallest positive integer ℓ such that Nℓ = Nℓ+j for all j ≥ 1.
Now let R = k[x0 , . . . , xn ] where k is a perfect field of characteristic p > 0
and let f ∈ R be non-zero and m = (x0 , . . . , xn ).
Proposition 10 ([21, Prop. 5.7 and Cor. 5.8]). The Hartshorne–Speiser–
Lyubeznik number of (Hn+1
m (R/f R), Θ) is the smallest positive integer ℓ such
that
1− 1
1− 1
τ ((f ) pℓ ) = τ ((f ) pℓ+i ),
for all i ≥ 1, where Θ denotes the map induced on the top local cohomology
of R/f R at the origin by the Frobenius morphism.
Proposition 11. Let X = Proj(R/f R) be a Calabi–Yau hypersurface and
p > n2 − n − 1. Then the Hartshorne–Speiser–Lyubeznik number of X is 1.
Proof. The Grothendieck–Serre correspondence [9, Thm. 20.4.4] yields
M
Hn (X, OX (i)) ∼
= Hn+1
m (R/f R),
i∈Z

which is a graded isomorphism and Frobenius compatible. Assume that
p > n2 − n − 1 then [3, Thm. 3.5] implies that Frobenius acts injectively
on the negative graded part of the top local cohomology. Hence if one is
interested in the Hartshorne–Speiser–Lyubeznik number of X then one only
need consider the powers of Frobenius acting on Hn (X, OX ).
If X is ordinary then since the F -pure threshold is 1 by [3, Thm. 1.1], the
result follows. Otherwise suppose X has height h > 1. Then [12, Lem. 4.4]
implies that the height of X is the smallest integer i such that the Frobenius
map F : Hn (X, Wi OX ) → Hn (X, Wi OX ) is non-zero (here Wi OX is the sheaf
of truncated Witt vectors of length i of OX )2. But when this map is zero
then the maps F : Hn (X, Wj OX ) → Hn (X, Wj OX ) are zero for all 1 ≤ j < i.
In particular the Frobenius action on Hn (X, OX ) → Hn (X, OX ) is zero so
the result follows in this case also.

Corollary 12. Let p > n2 − n − 1 then the simple F -jumping exponents of a
non-ordinary Calabi–Yau hypersurface X = Proj(R/f R) lie in the interval
[1 − h/p, 1 − 1/p], where h is the order of vanishing of the Hasse invariant
on the versal deformation space of X.
Proof. This is a combination of proposition 11 and [3, Thm. 1.1].



2The result proved is for the case of K3 surfaces, but as noted in [13, Pg. 2], the same

proof goes through in the higher-dimensional case.

ON THE LEVEL OF A CALABI–YAU HYPERSURFACE

5

Corollary 13. Let p > n2 −n−1 then the level of a Calabi–Yau hypersurface
X = Proj(R/f R) is 1 if and only if it is ordinary, and 2 otherwise.
Proof. This is a combination of proposition 11 and proposition 8.



Remark 14. The connection between Hartshorne–Speiser–Lyubeznik numbers and the level described above can be exploited to give another proof of
the main results of [4].
4. Example of Fermat hypersurfaces
In this section we describe how to construct the differential operators
guaranteed to exist by proposition 11 for the example of Fermat hypersurfaces.
In [7] there is described an algorithm to construct an operator of level 1
or level 2 for an elliptic curve. That algorithm works also in our case but
invokes a script of Katzman–Schwede [17] that requires two computations of
Gröbner bases (it is not exactly clear what the complexity of the algorithm
in [7] is). The method to be described for the case of Fermat hypersurfaces
can be shown to work also for a general elliptic curve using degree by degree
arguments and has complexity O(p2 ). A computer implementation seems
to indicate that it works also for K3 surfaces defined by smooth quartics in
P3 .
Fix R = k[x0 , x1 , . . . , xn ] with k a perfect field of characteristic p > n ≥ 2.
The ring EndRpe (R) is the ring extension of R generated by the operators
Dt,i for i = 0, . . . , n and t = 1, . . . , pe − 1 where (see [15, IV, §16])
( 
t s−t
if s ≥ t and i = j,
s
s xi
Dt,i (xj ) =
0
otherwise.
Now let fn (x0 , . . . , xn ) := xn+1
+ xn+1
+ · · · + xn+1
n , and denote by Xn,p
0
1
the Fermat hypersurface of Calabi-Yau type
Xn,p = Proj(R/fn R) ⊂ PnFp .
p−1
Suppose that p ≡ 1 (mod n + 1) then the monomial xp−1
. . . xp−1
n
0 x1
p−1
appears in fn with non-zero coefficient (by an application of Kummer’s
theorem for binomial coefficients). Hence an operator of level 1 for fn when
p ≡ 1 (mod n + 1) is (up to a non-zero constant)

Ψ1 =

n
Y

Dp−1,i .

i=0

Now we will construct an operator of level 2 for all fn . Set
α := (n + 1)(p2 − 1) − n(n + 1)p.
For a given j ∈ {0, . . . , n} then the monomial
(n+1)p (n+1)p
(n+1)p
(n+1)p
mj := x0
x1
· · · xj−1 xαj xj+1 · · · x(n+1)p
,
n

6

STIOFÁIN FORDHAM
2

appears in fnp −1 with non-zero coefficient (again by an application of Kummer’s theorem). Set β := p2 − 1 − (n + 1)p and define an operator
δj := xβ0 xβ1 · · · xβj−1 x2p
j

2 −1−α

xβj+1 · · · xβn ◦

n
Y

Dp2 −1,i ,

i=0

2

where the ◦ indicates precomposition. Then δj (mj ) = xpj (up to a non-zero
constant). Suppose that the monomial
xp0

(3)

2 −p

xp1

2 −p

2

· · · xpn −p ,

2

2

does not appear in fnp −p . Then by the pigeonhole principle and fnp −p =
2
(fnp )p−1 , for every monomial appearing in fnp −p there is a variable xk in
that monomial whose power is ≥ p2 . Hence we can use the operators {δj }j
to construct an operator of level 2 for fn . Otherwise, suppose that the
2
monomial (3) does appear in fnp −p with a non-zero coefficient, then the
p−1
p−1
monomial xp−1
· · · xp−1
with non-zero coefficient and
0 x1
m−1 appears in fn
Ψ1 is an operator of level 1, and also of level 2:
Ψ1 (fnp

2 −1

) = Ψ1 (fnp

2 −p

· fnp−1 ) = fnp

2 −p

Ψ1 (fnp−1 ) = fnp

2 −p

.

Explicitly, if we take the case n = 2 and p = 5 the above procedure
obtains the following operator of level 2 for f2 :
35
35
5 30
5 30
5 30
(x35
0 δ0 + x1 δ1 + x2 δ2 ) + (x0 x1 δ0 + x1 x2 δ1 + x2 x0 δ2 )
15
20 15
15 20
20 15
15 20
15 20
−([x20
0 x1 + x0 x2 ]δ0 + [x0 x1 + x1 x2 ]δ1 + [x0 x2 + x1 x2 ]δ2 )
15 15 5
15 5 15
15
+2(x50 x15
1 x2 δ0 + x0 x1 x2 δ1 + x0 x1 x2 δ2 ).

References
[1] J. Àlvarez-Montaner, M. Blickle and G. Lyubeznik, Generators of D-modules in positive characteristic, Math. Res. Lett. 12 (2005), no. 4, 459–473. MR2155224
[2] M. Artin and B. Mazur, Formal groups arising from algebraic varieties, Ann. Sci. École
Norm. Sup. (4) 10 (1977), no. 1, 87–131. MR0457458
[3] B. Bhatt and A. K. Singh, The F -pure threshold of a Calabi-Yau hypersurface, Math.
Ann. 362 (2015), no. 1-2, 551–567. MR3343889
[4] I. Blanco-Chacón, A. F. Boix, S. Fordham and E. S. Yılmaz, Differential operators
and hyperelliptic curves over finite fields, December 2017, arXiv:1712.05763
[5] M. Blickle, M. Mustaţă and K. E. Smith, Discreteness and rationality of F -thresholds,
Michigan Math. J. 57 (2008), 43–61. MR2492440
[6] M. Blickle, M. Mustaţă and K. E. Smith, F -thresholds of hypersurfaces, Trans. Amer.
Math. Soc. 361 (2009), no. 12, 6549–6565. MR2538604
[7] A. F. Boix, A. De Stefani and D. Vanzo, An algorithm for constructing certain differential operators in positive characteristic, Matematiche (Catania) 70 (2015), no. 1,
239–271. MR3351468
[8] M. Brion and S. Kumar, Frobenius splitting methods in geometry and representation
theory, Progress in Mathematics, 231, Birkhäuser Boston, Inc., Boston, MA, 2005.
MR2107324

ON THE LEVEL OF A CALABI–YAU HYPERSURFACE

7

[9] M. P. Brodmann and R. Y. Sharp, Local cohomology, second edition, Cambridge Studies in Advanced Mathematics, 136, Cambridge University Press, Cambridge, 2013.
MR3014449
[10] L. Ein, R. Lazarsfeld, K. E. Smith and D. Varolin, Jumping coefficients of multiplier
ideals, Duke Math. J. 123 (2004), no. 3, 469–506. MR2068967
[11] R. Fedder, F -purity and rational singularity, Trans. Amer. Math. Soc. 278 (1983),
no. 2, 461–480. MR0701505
[12] G. van der Geer and T. Katsura, On a stratification of the moduli of K3 surfaces, J.
Eur. Math. Soc. (JEMS) 2 (2000), no. 3, 259–290. MR1776939
[13] G. van der Geer and T. Katsura, On the height of Calabi-Yau varieties in positive
characteristic, Doc. Math. 8 (2003), 97–113. MR2029163
[14] D. R. Grayson and M. E. Stillman, Macaulay2: a software system for research in
algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/
[15] A. Grothendieck and J. Dieudonné, Eléments de géométrie algébrique, Publ. Math.
IHÉS, 32 (IV, 16–21), 1960–1967.
[16] K. Joshi and C. S. Rajan, Frobenius splitting and ordinarity, Int. Math. Res. Not.
2003, no. 2, 109–121. MR1936581
[17] M. Katzman and K. Schwede, An algorithm for computing compatibly Frobenius
split subvarieties, J. Symbolic Comput. 47 (2012), no. 8, 996–1008. MR2912024
[18] G. Lyubeznik, F -modules: applications to local cohomology and D-modules in characteristic p > 0, J. Reine Angew. Math. 491 (1997), 65–130. MR1476089
[19] V. B. Mehta and V. Srinivas, Varieties in positive characteristic with trivial tangent
bundle, Compositio Math. 64 (1987), no. 2, 191–212. MR0916481
[20] M. Mustaţă, S. Takagi and K. Watanabe, F-thresholds and Bernstein-Sato polynomials, European Congress of Mathematics, 341–364, Eur. Math. Soc., Zürich, 2005.
[21] M. Mustaţă and W. Zhang, Estimates for F -jumping numbers and bounds for
Hartshorne-Speiser-Lyubeznik numbers, Nagoya Math. J. 210 (2013), 133–160.
MR3079277
[22] S. Takagi and K. Watanabe, On F-pure thresholds, J. Algebra 282 (2004), no. 1,
278–297. MR2097584
[23] A. Yekutieli, An explicit construction of the Grothendieck residue complex,
Astérisque No. 208 (1992), 127 pp. MR1213064
[24] F. Yobuko, Quasi-Frobenius-splitting and lifting of Calabi-Yau varieties in characteristic p, April 2017, arXiv:1704.05604
School of Mathematics and Statistics, University College Dublin, Dublin
D04 N2E5, Ireland.
E-mail address: stiofain.fordham@ucdconnect.ie

