arXiv:1701.07326v2 [math.AG] 26 Jan 2017

ARITHMETIC BEHAVIOUR OF FROBENIUS SEMISTABILITY OF
SYZYGY BUNDLES FOR PLANE TRINOMIAL CURVES
V. TRIVEDI
Abstract. Here we consider the set of bundles {Vn }n∈N associated to the plane trinomial
curves k[x, y, z]/(h). We prove that the Frobenius semistability behaviour of the reduction
mod p of Vn is a function of the congruence class of p modulo 2λh (an integer invariant
associated to h).
As one of the consequences of this, we prove that if Vn is semistable in char 0 then its
reduction mod p is strongly semistable, for p in a Zariski dense set of primes. Moreover, for
any given finitely many such semistable bundles Vn , there is a common Zariski dense set of
such primes.

1. Introduction
In this paper we discuss the problems regarding Frobenius semistability behaviour of a vector
bundle on a nonsingular projective curve.
Recall that a vector bundle V on a nonsingular projective curve X is semistable if for any
subbundle W ⊂ V , we have µ(W ) ≤ µ(V ) where µ(W ) = deg W/rank W . If V is not semistable
then it has the unique Harder-Narasimhan filtration
0 ⊂ V1 ⊂ · · · ⊂ Vn = V

such that µ(V1 ) > µ(V2 /V1 ) · · · > µ(V /Vn−1 ),

where Vi /Vi−1 is semistable. In this case one defines µmax (V ) = µ(V1 ) and µmin (V ) =
µ(V /Vn−1 ). Though in characteristic 0, the pull back of a semistable vector bundle under
a finite map is semistable, the same is not always true in positive characteristics. On the other
hand, the definition of semistablity implies that, if F : X −→ X is the Frobenius morphism,
and if F ∗ V is semistable, then so is V . However, if V is a semistable and such that F ∗ V is
not semistable then by the results of Shepherd-Barron [SB] (Corollary 2p ) and X.Sun [S] (Theorem 3.1) there is a bound on µmax (F ∗ V ) − µmin (F ∗ V ) in terms of the genus of the curve and
the rank of the vector bundle V .
We say a bundle V is strongly semistable if F s∗ V is semistable for all s ≥ 0, where F s is the
s-th iterated Frobenius. Recall that unlike semistable bundles, strongly semistable bundles in
char p > 0 behave like semistable bundles in char 0, in many respects. On the other hand there
is a result of Langer (Theorem 2.7 of [L]), which says that if V is a vector bundle (in a fixed
char p) then there is s0 >> 0 such that the HN filtration of F s0 ∗ V is the strongly semistable
HN filtration, i.e., there is s0 >> 0 such that the HN filtration of F s0 ∗ V consists of strongly
semistable subquotients.
Now, suppose X is a nonsingular curve defined over a field of characteristic 0 and V is a
vector bundle on X and if Vp denotes the “reduction mod p” of V , then reduction mod p of
the HN (Harder-Narasimhan) filtration of V is the HN Filtration of Vp , for p >> 0. This
is a consequence of the openness of the semistability condition (see [Mar]). However such an
openness condition does not hold for Frobenius semistability.

2010 Mathematics Subject Classification. 13D40, 14H60, 14J60, 13H15.
Key words and phrases. Taxicab distance, Hilbert-Kunz multiplicity, characteristic 0, semistability, Frobenius
semistability and strong semistability, Harder-Narasimahan filtration.
1

2

V. TRIVEDI

For example, let V = Syz(x, y, z) be the syzygy bundle on X = Proj R, where R =
k[x, y, z]/(x4 + y 4 + z 4 ) of char p ≥ d2 then, by [HM] and [T1] it follows that
p ≡ ±1 (mod 8)
p ≡ ±3 (mod 8)

=⇒
=⇒

F s∗ V is semistable for all s ≥ 0
V is semistable and F ∗ V has the HN filtration
L ⊂ F ∗ V and µ(L) = µ(F ∗ V ) + 2.

Note that if V (in characteristic 0) has semistable reduction mod p for infinitely many primes
p then it is semistable in char 0 to begin with, due to the openness of the semistability property.
We look at the following questions.
(1) If V is a semistable vector bundle on X defined over Q then is Vp (the reduction mod
p) strongly semistable for p in a Zariski dense set of Z?
(2) If s0 is a number such that F s0 ∗ Vp has strong HN filtration, then can one describe such
an s0 in terms of the invariants of the curve X, for all but finitely many p?
(3) Is the Frobenius semistablility behaviour (i.e., the minimal number s0 and the instability degree µmax (F s0 Vp ) − µmin (F s0 Vp )) a function of the congruence class of
p (modulo) N , for some integer invariant N of the curve X, for all but finitely many p?
(instead, we may ask if for some finite Galois extension K of Q, the Frobenius semistability of Vp depends only on the splitting behaviour of p in OK (the ring of integers),
for all but finitely many p).
Here, in this paper, we look at the bundles which arise from the syzygy bundles Wn of trinomial
plane curves C in P2 , defined by the short exact sequences
0 −→ Wn −→ OC ⊕ OC ⊕ OC −→ OC (n) −→ 0,
where the third map is (s1 , s2 , s3 ) → (s1 xn , s2 y n , s3 z n ). The bundle Wn is alternatively denoted
by Syz(xn , y n , z n ).
Recall that if V is a rank 2 vector bundle on a nonsingular projective curve X defined over a
field of characteristic p > 0 then either (a) V is strongly semistable, i.e., F s∗ V is semistable for
every s ≥ 0, or (b) for some s ≥ 0, F s∗ V is not semistable, and hence it has the nontrivial HN
filtration, namely L ⊂ F s∗ V such that L is a line bundle with µ(L) > µ(F s∗ V ). Note that for
such an s, the HN filtration of F s∗ V is the strong filtration and µmax (F s∗ V ) − µmin (F s∗ V ) =
2[µ(L) − µ(F s∗ V )].
In this paper we answer the above questions and generalize the above result of Monsky for
the set of vector bundles
(1.1)

Sst

=

{Vn | Vn = π ∗ Wn , π : X −→ C the normalization of C,
Wn is a syzygy bundle of C, C ∈ {trinomial curves}, n ∈ N},

where by a trinomial curve C we mean C = Proj k[x, y, z]/(h), for a homogeneous irreducible
trinomial h. If a trinomial curve C is nonsingular then Vn = Wn .
Let h be a trinomial plane curve of degree d, then following Monsky [Mo2], it is either irregular
or regular (see beginning of section (2)). For irregular trinomials, the following theorem settles
all the above questions.
Theorem 1.1. Let h be a irregular trinomial of degree d and let r be the multiplicity of the
irregular point (note r ≥ d/2). Then for all n ≥ 1,
(1) r = d/2 implies that the bundle Vn is strongly semistable and
(2) r > d/2 implies that the bundle Vn is not semistable to begin with. Moreover it has the
HN filtration L ⊂ Vn such that µ(L) = µ(Vn ) + (2r − d)2 n2 /4d.
In particular the semistability behaviour of Vn is independent of the characteristic p, (equivalently one can say that it depends on the single congruence class p ≡ 1 (mod 1)).
Given a regular trinomial h, there are associated positive integers λ and λh (see Notations 3.1). Following is the main result of this paper:

ARITHMETIC BEHAVIOUR OF FROBENIUS SEMISTABILITY OF SYZYGY BUNDLES FOR PLANE TRINOMIAL CURVES
3

Theorem 1.2. Let h be a regular trinomial of degree d then for given n ≥ 1, there is a well
defined set theoretic map


[
(Z/2λh Z)∗
λh − 1
1 2
∆h,n :
× {0, 1, 2, . . . , φ(2λh ) − 1} {(1, ∞)}
,
,...,
−→ 0,
{1, −1}
λh λh
λh
such that, given p ≥ max{n, d2 }, we have
p ≡ ±l

(mod 2λh ) and ∆h,n (l) = (1, ∞) =⇒ Vn is strongly semistable and

p ≡ ±l (mod 2λh ) and ∆h,n (l) = (t, s) =⇒ s is the least integer such that F s∗ Vn is not semistable
and F s∗ Vn has the HN filtration

L ⊂ F s∗ Vn

with

µ(L) = µ(F s∗ Vn ) +

λ
(1 − t).
2

The existence of such a map has several consequences:
(1) The Frobenius semistability behaviour of Vn , for a regular trinomial, is a function on the
congruence class of ±p (mod 2λh ) (which are atmost φ(2λh )/2 in number).
In Section 4, we compute ∆h,n (1), for every h and do more elaborate computations for
symmetric (Definition 4.2) trinomials.
(2) In particular we deduce that (Theorem 5.6) if p ≥ max{n, d2 } then a semistable bundle Vn
is always strongly semistable for p ≡ ±1 (mod 2λh ), hence given a finite subset {Vn1 , . . . , Vns }
of semistable bundles of Sst (see (1.1)), the set of primes p, for which every Vni is strongly
semistable, is a Zariski dense set (Corollary 5.7).
Moreover V1 over a regular trinomial is always semistable and hence
(i) for a given finite set of syzygy bundles V1 of regular trinomial curves, there is a Zariski
dense set of primes, for which each of the bundles is strongly semistable. On the other
hand
(ii) for any symmetric trinomial h of degree d ≥ 4 and d 6= 5, we show that there is a
Zariski dense set of primes for which V1 is not strongly semistable.
(3) The existence of such a map ∆h,n also implies that if there is one prime p ≥ max{n, d2 }
such that Vn is not strongly semistable then (i) there is a Zariski dense set of primes for which
Vn fails to be strongly semistable, and infact (ii) (Theorem 5.8) there is a Zariski dense set of
primes for which the first Frobenius pull back F ∗ Vn is not semistable.
(4) Since either (i) Vn is strongly semistable or (ii) F s∗ Vn is not semistable for some 0 ≤ s <
φ(2λh ), to check the strongly semistability of Vn , (i.e., to check the semistability of F s∗ Vn , for
every s ≥ 0), it is enough to check that F s∗ Vn is semistable for s = φ(2λh ).
It would be interesting to know if such properties as in (1)-(4) hold in greater generality.
Moreover, because of the bound on s (Theorem 3.5 and Remark 3.7), for any given explicit
trinomial curve Proj R given by h, we can compute ∆h,n (l) (see Remark 3.8). Therefore for
any p ≥ {n, d2 } (p = char R) we get an effective algorithm to compute eHK (R, (xn , y n , z n ))
and the HN slopes for all the Frobenius pull backs of Vn .
We compute some concrete examples. By Corollary 5.9, if h is symmetric trinomial of degree
d then it is trivial to check if the bundle Vn is semistable or not, for all p ≡ ±1(mod(2λh ),
p > max{n, d2 }.
We give some examples, where Vn need not be strongly semistable and have complicated
Frobenius semistability behaviour. In particular we look at the Klein d-curve, h = xd−1 y +
y d−1 z + z d−1 x. Let d ≥ 4 be even then Monsky’s computation in [Mo2] gives
p ≡ ±(d − 1) (mod 2λh )

=⇒

V1 is semistable and F ∗ V1 is not semistable
.
such that µ(L) = µ(F ∗ V1 ) + (d2 − 3d)/2

In Corollary (4.7), we prove, for 3.2m−2 < d − 1 < 3.2m−1 if
p ≡ λh ± 2 (mod 2λh )

=⇒

F m−1 V1 is semistable and F m∗ V1 is not semistable
and µ(L) = µ(F m∗ V1 ) + (d − 2) 2[d − 1 − 3.2m−2 ] + 2.

4

V. TRIVEDI

In this paper we crucially used an old result of Monsky for plane trinomial curves which
involves the notion of taxicab distance (introduced in [H] and [HM]):
Theorem (Monsky) (see Theorem 2.3 for a more precise version) Let R = k[x, y, z]/(h),
where h is a regular trinomial of degree d over a field of char k = p > 0. Then

2
3dn2
λ(1 − tpn )
1
eHK (R, (xn , y n , z n )) =
+ 2s
,
4
p d
2
where, either s = ∞, or s < ∞ and (1 − tpn ) > 0 with tpn = Td(ps tn).
We combine this with the result from [T1] which gave a dictionary between eHK (R, (xn , y n , z n ))
and the Frobenius semistability behaviour of the syzygy bundle Vn .
Theorem (see Theorem 5.1 for the more precise version) of [T1]): If p ≥ max{n, d2 } then,
s = ∞ implies that bundle Vn is strongly semistable. If 0 ≤ s < ∞ then it is the least number
such that F s∗ Vn is not semistable. Moreover, for the HN filtration of
0 ⊂ L ⊂ F s∗ (Vn ), we have µ(L) = µ(F s∗ (Vn ) +

λ(1 − tpn )
.
2

To prove the main theorem 3.5, for a regular trinomial h, we define a set Sh ⊂ (Z/2λh Z)3 ,
which is a disjoint union of eight sets {Tijk }ijk .
We consider the set Lodd = {(u1 , u2 , u3 ) ∈ Z3 }, (which was introduced in ([H] and [Mo2]) as
the disjoint union of four sets {Lδodd}δ .
δ
For each δ and l, n ≥ 1, we define a map (Lemma 3.4) fl,n
: N ∪ {0} −→ (Z/2λh Z)3 and
characterize
the numbers s and tpn (given as in the above theorem of Monsky) in terms of the
S
δ
δ
)∩Sh ): The integer s is the minimum element of the set and if s ∈ Im (fl,n
)∩Tijk
set δ (Im (fl,n
δ
(δ and (i, j, k) will be unique with this property), then fl,n (s) and (i, j, k) determine tpn for all
p ≡ ±l (mod 2λh ).
δ
δ
The very definition of fl,n
implies that the map factors through Z/φ(2λh )Z and fl,n
=
δ
fl+2λh ,n . This gives a well defined map ∆h,n as in Theorem 3.5.
As a corollary, for all p ≡ ±1 (mod 2λh ), we get a simple expression for all trinomials h of
degree d (Corollaries 6.1 (1) and 6.2 (2):
eHK (k[x, y, z]/(h), (x, y, z)) =
=

3d/4 if h is a regular trinomial,
2
3d/4 + (2r−d)
, if h is a irregular trinomial,
4d
where h has the point of multiplicity r ≥ d/2.

In Corollary 6.4, when h is a Klein d-curve defined over a field of char p > 0 such that
p ≡ λh ± 2 (mod 2λh ), (as expected from the discussion above) we generate a more complex
one.
Remark 1.3. As stated earlier, for the Fermat quartic, the function ∆h,1 is completely known
by the result of [HM]. For the Fermat curve (h = xd + y d + z d ) and Klein d-curve (h =
xd−1 y+y d−1z+z d−1x) Monsky [Mo2] has computed ∆h,1 (d−1), for even d, and ∆h,1 (λ±(2d−2))
for odd d > 5 where h is a Klein d-curve.
Questions about Frobenius semistablity of Vn for the Fermat curve are also studied extensively in works of Brickmann-Kaid, Brenner, Kaid, Stäbler etc. (see the recent paper [BK] and
references given there).
2. Preliminaries
Let h ∈ k[x, y, z] be a homogeneous irreducible trinomial of degree d, i.e., h = M1 + M2 + M3
where Mi′ are monomials of degree d.
By Lemma 2.2 of [Mo2], one can divide such an h in two types:
(1) h is ‘irregular’ if one or more of the points (1, 0, 0), (0, 1, 0) (0, 0, 1) of P2 has multiplicity
≥ d/2 on the plane curve h,

ARITHMETIC BEHAVIOUR OF FROBENIUS SEMISTABILITY OF SYZYGY BUNDLES FOR PLANE TRINOMIAL CURVES
5

(2) h is ‘regular’, i.e., the exponents e1 of x in M1 , e2 of y in M2 and e3 of z in M3 ,
respectively, are all > d/2.
Moreover any regular h is equivalent (i.e., one equation is obtained from the other
equation by some permutation of x, y and z) to one of the following
(a) Type (I): h = xa1 y a2 + y b1 z b2 + z c1 xc2 , where a1 , b1 , c1 > d/2, (here e1 = a1 ,
e2 = b1 and e3 = c1 ).
(b) Type (II): h = xd + xa1 y a2 z a3 + y b z c , a2 , c > d/2, (here e1 = d, e2 = a2 and
e3 = c).
Given a regular trinomial h, Monsky defines a set of positive integers {α, β, ν, λ} as follows:
α = e1 + e2 − d, β = e1 + e3 − d and ν = e2 + e3 − d. Moreover λ = 1d det(A), where A is a
3 × 3 matrix formed from the exponents of x, y and z in M1 , M2 and M3 .
Notations 2.1. In particular, given a regular trinomial h, we can associate positive integers
α, β, ν, λ > 0 as follows:
(1) Type (I) h = xa1 y a2 + y b1 z b2 + z c1 xc2 , we denote
α = a1 + b1 − d, β = a1 + c1 − d, ν = b1 + c1 − d, λ = a1 b1 + a2 c2 − b1 c2 .
(2) Type (II) h = xd + xa1 y a2 z a3 + y b z c , we denote
α = a2 , β = c, ν = a2 + c − d and λ = a2 c − a3 b.
Moreover we denote
t = (t1 , t2 , t3 ) = (α/λ, β/λ, ν/λ).
Definition 2.2. We recall the followingPdefinition given in [HM] and [Mo2], where p = char k >
0: Let Lodd = {u = (u1 , u2 , u3 ) ∈ Z3 | i ui odd}. For any u ∈ Lodd and for s ∈ Z and n ≥ 1,
the
distance between the triples ps tn = (ps t1 n, ps t2 n, ps t3 n), and u is Td(ps tn, u) =
P taxicab
s
i |p ti n − ui |.
They define δ ∗ (tn) = p−s (1−Td(ps tn, u)), and s is the smallest integer such that Td(ps tn, u) <
1, for some u ∈ Lodd. If there is no such pair then they define δ ∗ (tn) = 0.
Following is the crucial Theorem 2.3 of [Mo2]
Theorem 2.3. Let R = k[x, y, z]/(h), where h is a regular trinomial of degree d. Then
3dn2
λ2 ∗
3dn2
λ2
2
2
(1 − Td(ps tn)) ,
+
[δ (tn)] =
+
4
4d
4
4dp2s
where α, β, ν and λ are as in Notations 2.1.
eHK (R, (xn , y n , z n )) =

We extend the definition of Monsky to every integer l, as follows.
Definition 2.4. For an integer l ≥ 1 we denote Td(ls t) = Td(ls t, u), if there exists a u ∈ Lodd
such that Td(ls t, u) < 1 (note that such a u is unique if it exists).
Lemma 2.5.
(1) The triple (α, β, ν) satisfies the triangle inequalities: α < β +ν, β < α+ν
and ν < β + α,
(2) and 2λ ≥ α + β + ν. Moreover
(3) the inequality Td(l−s tn, u) < 1 has no solution, for s > 0 and l ≥ n.
Proof.
The triangle inequalities of (1) are obvious as pointed out in [Mo2].
(2) (i) Let α, β, ν, λ be the associated integers to the trinomial h of type (I). Then 2λ <
α + β + ν implies
b1 (a1 − c2 − 1) + a2 c2 + d/2 + a2 < c1 .
But a1 − c2 − 1 ≥ 0. Now if (a) a1 − c2 − 1 ≥ 1 then b1 (a1 − c2 − 1) + a2c2 + d/2 + a2 > d ≥ c1 ,
which is a contradiction. (b) If a1 − c2 − 1 = 0 then a1 = t + 1 and c2 = t, where d = 2t + 1
or d = 2t. Now
b1 (a1 − c2 − 1) + a2 c2 + d/2 + a2 = t2 + d/2 + t > t + 1 = c1 ,
which is again a contradiction.

6

V. TRIVEDI

(2) (ii)

Let α, β, ν, λ be associated to the trinomial h of type (II). Then

2λ < α + β + ν =⇒ a2 c − a3 b < a2 + c − d/2 =⇒ (a2 − 1)(c − 1) − 1 + d/2 < a3 b
which is not possible as a2 − 1 ≥ a3 , c − 1 ≥ b and d ≥ 2.
This proves part (2).
(3) Let t = (t1 , t2 , t3 ) = (α/λ, β/λ, ν/λ). Note that s > 0 and l ≥ n implies 0 ≤ ⌊t1 n/ls ⌋ =
⌊αn/ls λ⌋ < 1. Let u = (u1 , u2 , u3 ) ∈ Lodd. Hence for u1 odd we have |t1 n/ls −u1 | = 1−(αn/ls λ)
and for u1 even we have |t1 n/ls − u1 | = αn/ls λ. Similar assertions hold for u2 and u3 . (i) If
u1 , u2 and u3 are odd then Td(l−s tn, u) = 3 − (α + β + ν)n/ls λ. Therefore the existence of a
solution for
Td(l−s tn, u) < 1 =⇒ 2λls < (α + β + ν)n =⇒ 2λ < (α + β + ν).
which is not possible by (2).
(ii) Suppose only one of the u′i s is odd. Without loss of generality we assume that u1 is odd
then u2 and u3 are even. Now Td(ls t, u) < 1 if and only if β + ν < α, which contradicts (1).
This proves the lemma.

3. Main theorem
Throughout this section h denotes a regular trinomial.
Notations 3.1. Let α, β, ν, λ integers associated to h as in Notations 2.1. Let a = gcd(α, β, ν, λ).
Then we denote
α
β
ν
λ
λh = , α1 = , β1 = , ν1 = .
a
a
a
a
Definition 3.2. Let
(3.1)

δ = (δ1 , δ2 , δ3 ) ∈ {(1, 1, 1), (1, 0, 0), (0, 1, 0), (0, 0, 1)} ∈ Lodd .

For given such δ, We say u ∈ Lδodd if u = (2v1 + δ1 , 2v2 + δ2 , 2v3 + δ3 ), where v1 , v2 , v3 are
integers.
Thus we can partition Lodd into four disjoint sets
[
(1,1,1)
(1,0,0)
(0,1,0)
(0,0,1)
Lodd =
Lδodd = Lodd ∪ Lodd ∪ Lodd ∪ Lodd .
δ

Definition 3.3. Let R = (Z/2λh Z)3 . We say the element (w1 , w2 , w3 ) ∈ Z3 represents (or is the
represnetative of) w ∈ R if (w1 , w2 , w3 ) = w (mod (2λh Z)3 ) such that 0 ≤ w1 , w2 , w3 < 2λh .
We define
Sh = T000 ∪ T100 ∪ T010 ∪ T001 ∪ T110 ∪ T011 ∪ T101 ∪ T111 ⊂ R,
where, for (i, j, k) ∈ {0, 1}3 ,
Tijk = {w ∈ R | 2λh i+(−1)i w1 +2λh j+(−1)j w2 +2λh k+(−1)k w3 < λh ,

(w1 , w2 , w3 ) represents w}.

For example
T000 = {w ∈ R | w1 + w2 + w3 < λh ,
T100 = {w ∈ R | 2λh − w1 + w2 + w3 < λh ,
Note that

where (w1 , w2 , w3 ) represents w}

and

where (w1 , w2 , w3 ) represents w},

etc..

{the representatives of Tijk } ⊂ [iλh , (i + 1)λh ) × [jλh , (j + 1)λh ) × [kλh , (k + 1)λh ) ⊂ Z3 .
In particular the set Sh is a disjoint union of {Tijk }i,j,k∈{0,1} .
Lemma 3.4. For a given δ as given in Equation (3.1) and for given integers n, l ≥ 1, let
(3.2)

δ
fl,n
: N ∪ {0} −→ R = (Z/2λh Z)3 ,

given by s → (ls α1 n − δ1 λh , ls β1 n − δ2 λh , ls ν1 n − δ3 λh ) = λh (ls tn − δ) (mod (2λh Z)3 ) be a set
theoretic map. Then

ARITHMETIC BEHAVIOUR OF FROBENIUS SEMISTABILITY OF SYZYGY BUNDLES FOR PLANE TRINOMIAL CURVES
7
δ
(1) for an integer s ≥ 0, the element fl,n
(s) ∈ Sh if and only if Td(ls tn, u) < 1 has a
δ
solution for some u ∈ Lodd . Moreover,
δ
(2) in this case, fl,n
(s) determines Td(ls tn, u):
w1
w2
w3
Td(ls tn) = 2(i + j + k) + (−1)i
+ (−1)j
+ (−1)k ,
λh
λh
λh
δ
where (w1 , w2 , w3 ) is the representative of fl,n
(s) and (i, j, k) is the triple such that
δ
fl,n (s) ∈ Tijk .

Proof. Suppose Td(ls tn, u) < 1 has a solution for some u ∈ Lδodd . Then we have u = (2v1 +
δ1 , 2v2 + δ2 , 2v3 + δ3 ), for some integers v1 , v2 and v3 . Therefore Td(ls tn, u) < 1 implies
(3.3)

|ls α1 n − δ1 λh − 2v1 λh | + |ls β1 n − δ2 λh − 2v2 λh | + |ls ν1 n − δ3 λh − 2v3 λh | < λh

δ
Let (w1 , w2 , w3 ) be the representative of fl,n
(s). Then

(w1 , w2 , w3 ) = (ls α1 n − δ1 λh + 2k1 λh , ls β1 n − δ2 λh + 2k2 λh , ls ν1 n − δ3 λh + 2k3 λh ),
for some integers k1 , k2 and k3 . Hence by Equation (3.3),
w2
w3
1
w1
− (v1 + k1 )| + |
− (v2 + k2 )| + |
− (v3 + k3 )| < .
|
2λh
2λh
2λh
2
Now
w1
w1
− (v1 + k1 )| =
.
w1 ∈ [0, λh ) =⇒ v1 + k1 = 0 and |
2λh
2λh
w1
w1
− (v1 + k1 )| = 1 − 2λ
. In other words
If w1 ∈ [λh , 2λh ) then v1 + k1 = 1 and | 2λ
h
h
w1
w1
w1 ∈ [iλh , (i + 1)λh ) =⇒ v1 + k1 = i and |
− (v1 + k1 )| = i + (−1)i
.
2λh
2λh
Similar statements hold for w2 and w3 . Now Equation (3.3) gives
w2
w3
1
w1
+ j + (−1)j
+ k + (−1)k
< ,
i + (−1)i
2λh
2λh
2λh
2
δ
which implies fl,n
(s) ∈ Tijk ⊂ Sh .
δ
δ
Conversely, let fl,n
(s) ∈ Sh then there exists a unique Tijk such that fl,n
(s) ∈ Tijk . Therefore
δ
3
fl,n (s) is represented by (w1 , w2 , w3 ) ∈ Z such that

(3.4)

2λh i + (−1)i w1 + 2λh j + (−1)j w2 + 2λh k + (−1)k w3 < λh .

Let
(w1 , w2 , w3 ) = (ls α1 n − δ1 λh + 2λh k1 , ls β1 n − δ2 λh + 2λh k2 , ls ν1 n − δ3 λh + 2λh k3 ).
Then, by inequality (3.4), we have
l s β1 n
l s ν1 n
ls α1 n
− u1 | + |
− u2 | + |
− u3 | < 1,
Td(ls tn, u) = |
λh
λh
λh
where
u = (δ1 − 2k1 + (−1)i 2i, δ2 − 2k2 + (−1)j 2j, δ3 − 2k3 + (−1)k 2k) ∈ Lδodd .
This also proves that Td(ls tn) = 2(i + j + k) + (−1)i w1 /λh + (−1)j w2 /λh + (−1)k w3 /λh , which
proves part (2) of the lemma and hence the lemma.

Theorem 3.5. Let h ∈ k[x, y, z] be a regular trinomial over a field of char p > 0. Consider the
set theoretic map


[
λh − 1
1 2
(Z/2λh Z)∗
× {0, 1, . . . , φ(2λh ) − 1} {(1, ∞)},
,
,...,
−→
∆h,n :
{1, −1}
λh λh
λh

given by l → (Td(l), Ds(l)), where Ds(l)) = s ≥ 0 is the smallest integer, for which Td(ls tn, u) <
1 has a solution for some u ∈ Lodd and Td(l) := Td(ls tn, u). If there is no such s then
∆h,n (l) = (1, ∞).

8

V. TRIVEDI

(1)
(2)
(3)
(4)

∆h,n is a well defined map.
∆h,n ≡ ∆h,n+2λh .
Either Ds(l) = ∞ or Ds(l) < the order of the element l in the group (Z/2λh Z)∗ .
If ∆h,n (l) = (t, s) for some s < ∞ and 1 ≤ s1 divides s then ∆h,n (ls/s1 ) = (t, s1 ). In
particular if Im ∆h,n 6= {(1, ∞)} then (t, 1) ∈ Im ∆h,n , for some t > 0.

δ
Proof. (1) By Lemma 3.4, the inequality Td(ls tn, u) < 1 has a solution if and only if fl,n
(s) ∈
δ
′
Sh , for some δ (if it does then fl,n (s) ∈ Sh , for a unique δ). Hence Ds(l) = min{s | s′ ∈
T
S
δ
)) Sh }
( δ Im(fl,n
Let


[
1 2
λh − 1
B = 0,
× {0, 1, . . . , φ(2λh ) − 1} {(1, ∞)},
,
,...,
λh λh
λh
δ
and let Z≥0 −→ B be the map given by l −→ (Td(l), Ds(l)). By the definition of fln
, it follows
δ
δ
that fl,n (s) = fl+2λh ,n (s), for all s ≥ 0. Therefore, by Lemma 3.4 (2), Ds(l) = Ds(l + 2λh ) and
T d(l) = T d(l + 2λh ). Hence the above map factors through Z/2λh Z −→ B. which gives a well
defined map (Z/2λh Z)∗ −→ Z/2λh Z −→ B.
δ
Now let l′ = 2λh − l then l′s = 2λh k + (−l)s , for some integer k. If s is even then fl,n
(s) =
δ
fl′ ,n (s).
If s is odd then l′s = 2λh k − ls . Let u = (u1 , u2 , u3 ) ∈ Lδodd such that Td(ls tn, u) < 1 has a
solution. Then
l s β1 n
l s ν1 n
ls α1 n
− u1 | + |
− u2 | + |
− u3 | = Td(l′s tn, u′ ) < 1,
Td(ls tn, u) = |
λh
λh
λh

where u′ = (2kα1 n − u1 , 2kβ1 n − u2 , 2kν1 n − u3 ) ∈ Lδodd. This implies that for any s ≥ 0,
δ
fl,n
(s) ∈ Sh if and only if flδ′ ,n (s) ∈ Sh and Td(ls tn) = Td(l′s tn). Hence (T d(l), Ds(l)) =
(T d(l′ ), Ds(l′ )). This gives the well defined map (Z/2λh Z)∗ /{1, −1} −→ B, which is ∆h,n .
This proves assertion (1) of the theorem.
δ
δ
(2) Since fl,n
≡ fl,n+2λ
, assertion (2) follows.
h
δ
(3) If Ds(l) < ∞ then fl,n
(s) ∈ Sh . for some s ∈ Z≥0 . Let order of l in (Z/2λh Z)∗
be t. We can write s = kt + r, for some integers k and r such that 0 ≤ r < t. Then
δ
δ
ls = lkt lr = (2λh k1 + 1)lr , for some k1 ∈ Z. This implies fl,n
(s) = fl,n
(r), as α1 , β1 , ν1 , λh are
integers. Hence Ds(l) ≤ r < O(l). This proves the assertion (3).
δ
(4) Note that s is the minimal integer such that fl,n
(s) ∈ Sh if and only if s1 is the minimal
δ
δ
integer such that fls/s1 ,n (s1 ) ∈ Sh . Moreover fl,n (s) = flδs/s1 ,n (s1 ). Therefore ∆h,n (ls/s1 ) =
(t, s1 ). This proves the assertion (4) and hence the theorem.

Corollary 3.6. Let s ≥ 0 and 1 ≤ l < 2λh be integers. Then
Td(ls tn) = Td(ps tn)

for

p≥n

where

p ≡ ±l

(mod 2λh ).

Moreover, in that case
Td(ls tn) = Td((2λh − l)s tn) = Td(ls t(n + 2λh )) = Td(ps tn).
Proof. It follows from Theorem 3.5.



Remark 3.7. If h is a regular trinomial as in Theorem 3.5 then for given n ≥ 1, we can
further reduce the number of such congruence classes: Let an = g.c.d.(αn, βn, νn, λ). Let
λh,n = λ/an . Then λh is a multiple of λh,n . Now, respectively replacing α1 n, β1 n, ν1 n, λh by
α/an , β/an , ν/an , λh,n , in Lemma 3.4 and Theorem 3.5, we get the same assertions,
In particular,


[
2
λh,n − 1
1
,
,...,
× {0, 1, . . . , φ(2λh,n ) − 1} {(1, ∞)}.
Im ∆h,n ⊆
λh,n λh,n
λh,n

ARITHMETIC BEHAVIOUR OF FROBENIUS SEMISTABILITY OF SYZYGY BUNDLES FOR PLANE TRINOMIAL CURVES
9

Remark 3.8. Given an explicit trinomial h of degree d over a field of char p > 0, let p ≡ l
(mod 2λh ) then we can compute ∆h,n (l) in a effective way: Let O(l) be the order of l in
(Z/2λh Z)∗ (infact can take O(l) to bePthe order of l in (Z/2λh,n Z)∗ ), we look for the first
0 ≤ s ≤ O(l) − 1, where Td(ls tn, u) = Pi |ls ti n − ui | < 1 has a solution for some u ∈ Lodd. If
there is such a solution then ∆h,n (l) = ( i |ls ti n − ui |, s) = (t, s). Otherwise ∆h,n (l) = (1, ∞).
4. Computations of some values of ∆h,n

We wiil see that ∆h,n (l mod 2λh ) determines the Frobenius data (Lemma 5.4) of Vn over
the trinomial h, for p ≡ ±l (mod 2λh ) and also Hilbert-Kunz multiplicity (Theorem 5.3) of
k[x.y, z]/(h) with respect to the ideal (xn , y n , z n ), we compute some of them.
Theorem 4.1. Let h be a regular trinomial then
(1) For n = 1, ∆h,n (1 mod 2λh ) = (1, ∞).
(2) In general, for n > 1,
either ∆h,n (1 mod 2λh )
or ∆h,n (1 mod 2λh )

= (0, ∞),
= (Td(1), 0).

Proof. Since the order of the element l = 1 is 1 in (Z/2λh Z)∗ . Assertion (2) follows from
Theorem 3.5 (3).
To prove Assertion (1), it is enough to show that Td(t, u) < 1 has no solution. Note that
α, β, ν < λ. Therefore α/λ, β/λ, ν/λ < 1.
Let u ∈ Lodd be a solution for Td(t, u) < 1. Then u1 odd implies u1 = 1 which implies
|α/λ − u1 | = 1 − α/λ, and u1 even implies u1 = 0 and |α/λ − u1 | = α/λ.
(i) Suppose only one of the u′i s is odd. Without loss of generality we assume that u1 is odd
then u2 and u3 are even. Now Td(t, u) = 1 − α/λ + β/λ + ν/λ < 1 if and only if β + ν < α,
which contradicts Lemma 2.5 (1).
(ii) Suppose u1 , u2 and u3 are all odd. Then Td(t, u) = 1 − α/λ + 1 − β/λ + 1 − ν/λ < 1
implies 2λ < α + β + ν, which is not true by Lemma 2.5 (2). This prove that Td(t, u) < 1 has
no solution for any s ∈ Z and u ∈ Lodd. Hence ∆h,n (1) = (1, ∞). This proves (1).

4.1. Some Computations of ∆h,n for symmetric trinomial curves.
Definition 4.2. A trinomial curve h of degree d is symmetric if h = xa1 y a2 + y a1 z a2 + z a1 xa2 .
Remark 4.3. A trinomial curve is symmetric if and only if α = β = ν. One can easily check
that if Td(ls tn, u) < 1 has a solution for some (u1 , u2 , u3 ) ∈ Lodd then u1 = u2 = u3 and u1 is
odd.
Corollary 4.4. Let h be a symmetric curve of degree d. For a given n ≥ 1, we have
(1)


αn
αn
|, 0 ,
if |m1 −
| < 1/3,
∆h,n (1 mod 2λh ) = (Td(1), Ds(1)) = 3|m1 −
λ
λ
(2)
∆h,n (1 mod 2λh ) = (0, ∞) otherwise,
where m1 is one of the nearest odd integer to αn/λ.
Proof. By Theorem 4.1, it is enough to compute Td(tn, u).
If αn/λ is an even integer then one of the u′i s, say u1 , is equal to αn/λ ± 1, which implies
Td(tn) ≥ 1. So Ds(1) = ∞. On the other hand for any nearest odd integer m1 to αn/λ, we
have |m1 − αn
λ | ≥ 1. This proves the corollary for when αn/λ is an even integer.
Therefore we can assume that αn/λ is not an even integer, and m1 is the unique nearest odd
integer m1 .
Let u = (u1 , u1 , u1 ) ∈ Lodd be a solution for Td(tn, u) < 1 then u1 = m1 and hence
Td(tn, u) = 3|m1 − αn/λ|, which is < 1 if and only if |m1 − αn/λ| < 1/3.
This implies ∆h,n (1 mod 2λh ) = (3|m1 − αn/λ|, 0) if |m1 − αn/λ| < 1/3. Otherwise
∆h,n (1) = (1. ∞).


10

V. TRIVEDI

Theorem 4.5. Let h be a symmetric curve of degree d ≥ 4 and d 6= 5. Then there is
(Z/2λh Z)∗ such that ∆h,1 (l′ ) 6= (1, ∞). In fact there is l′ ∈ (Z/2λh Z)∗ such that
∆h,1 (l′ ) = (6/λh , 1) if
∆h,1 (l′ ) = (3/λh , 1) if
∆h,1 (l′ )
= (t, m)
if

d
d
d

is odd
is even and
is even and

λh
λh

l′ ∈

is even
is odd,

where 1 ≤ m < ∞ and (t, m) is given as in Lemma 4.6.
Proof. (1) Note that d odd implies α, λ and hence α1 , λh are both odd. Since g.c.d(α1 , 2λh ) =
1, the map (Z/2λh Z)∗ −→ (Z/2λh Z)∗ given by l mod 2λh 7→ lα1 mod 2λh is bijetive.
′
∗
′
Let l = 
λh + 2 then there
 is l ∈ (Z/2λh Z) such that l = l α1 (mod 2λh ). If λh > 6 then
λh +2
′
∆h,n (l ) = 3| λh − 1|, 1 .

If d > 12 then λh ≥ (a1 − a2 ) + a1 a2 /(a1 − a2 ) > 6. One can check that for d =, 7, 9, 11 also
λh > 6. In particular ∆h,1 (l′ ) = (6/λh , 1), if d > 5 is odd.
(2) (a) If d and λh are even then α1 is odd, which implies g.c.d(α1 , 2λh ) = 1. Let l = λh + 1
then there is l′ ∈ (Z/2λh Z)∗ such that l = l′ α1 (mod 2λh ). If λh > 3 (which holds for d ≥ 4)
then 3|l′ α/λ − 1| = 3/λh < 1. Therefore ∆h,n (l′ ) = (3/λh , 1).
(2) (b) Let d be even and λh be odd. In Lemma 4.6 for n = 1 we have m1 = 1, which implies
|α/λ − 1| > 1/3. In particular, there is 1 ≤ m∞ such that ∆h,1 (λh ± 2) = (t, m) 6= (1, ∞). This
proves the theorem.

Lemma 4.6. Let h be a symmetric trinomial of even degree such that λh is odd. Let m1 denote
a nearest odd integer to αn/λ. Then the number

[  1 [ 
2
4
, and
, 1−
1−
0,
|m1 − αn/λ| ∈ {1}
3
3.2m
3.2m
m≥1

(1)
|m1 −

αn
|=1
λ

(2)
|

αn
− m1 | ∈
λ

or

1
=⇒ ∆h,n (λh ± 2) = (1, ∞).
3



 αn
1
=⇒ ∆h,n (λh ± 2) = 3|
0,
− m1 |,
3
λ


0 .

(3) If m ≥ 1 then


αn
αn
2
4
1
|
=⇒ ∆h,n (λh ± 2) = (3.2m |
,
1
−
− m1 | ∈ 1 −
− m1 | − (1 − m ) , m).
λ
3.2m
3.2m
λ
2
Proof. Assertions (1) and (2) can be easily checked. Assertion (3) can be checked by dividing
it into two cases:




αn
1
2
4
1
αn
and
(2)
|
.
,
1
−
,
1
−
− m1 | ∈ 1 −
−
m
|
∈
1
−
(1) |
1
λ
3.2m
2m
λ
2m
3.2m

Corollary 4.7. Let h be symmetric trinomial of degree d ≥ 4. If for l ∈ (Z/2λZ)∗ there is an
integer s ≥ 0 such that
3ls /4 ≤ λ/α < 3ls /2

then

∆h,1 (l) = (3|ls α/λ − 1|, s) .

In particular if h = xd−1 y + y d−1 z + z d−1 x, where d ≥ 4.
(1) Suppose d is an even integer. Then (such an m ≥ 2 always exists)
3.2m−2 ≤ d − 1 < 3 · 2m−1 =⇒ ∆h,1 (λ ± 2) = (3|1 − 2m α/λ|, {m}).

ARITHMETIC BEHAVIOUR OF FROBENIUS SEMISTABILITY OF SYZYGY BUNDLES FOR PLANE TRINOMIAL CURVES
11

(2) Suppose d is an odd integer then
d = 3 =⇒ ∆h,1 (λ ± 2) = (1, ∞).


6
d = 5 =⇒ ∆h,1 (λ ± 2) =
, {3} .
λ


6α
, {1} .
d ≥ 7 =⇒ ∆h,1 (λ ± 2) =
λ
Proof. First part of the corollary can be checked by considering two case (1) 3ls /4 ≤ λ/α < ls
and (2) ls ≤ λ/α < 3ls /2.
For the second part note that d even implies α = d − 2 even and λ = (d − 1)(d − 2) + 1
odd. Hence λ ± 2 ∈ (Z/2λZ)∗ . Now Td(λ ± 2)s t, u) < 1 has a solution for some u ∈ Lodd iff
Td(±2)s t, u′ ) < 1 has a solution for some u′ ∈ Lodd , as (λ ± 2)s α/λ ∈ 2s α/λ + 2Z. Also
3.2m−2 ≤ d − 1 < 3 · 2m−1 ⇐⇒ (3/4)2m ≤ d − 1 < (3/2)2m.
Hence the assertion follows from the first part of the corollary.
Now if d is odd then for any s ≥ 0, we have (λ ± 2)s /λ = odd integer + (±2)s α/λ as λ and
α are both odd. Now it is easy to check the rest.

5. semistability of syzygy bundles
Let C = Proj R, where R is an irreducible plane curve given by a homogeneous polynomial
h of degree d over a field of characteristic p. Let π : X −→ C be the normalization of C.
Consider the canonical sequence of OX -modules
0 −→ Wn −→ OC ⊕ OC ⊕ OC −→ OC (n) −→ 0,
where the third map is given by (s1 , s2 , s3 ) 7→ (s1 xn , s2 y n , s3 z n ).
We recall the following Theorem 5.3 of [T1],
Theorem 5.1. Let C be an irreducible curve of degree d ≥ 4. Let π : X −→ C be the
normalization of C. Consider the canonical sequence of OX -modules
0 −→ W1 −→ OC ⊕ OC ⊕ OC −→ OC (1) −→ 0.
Then
(1) either eHK (R, (x, y, z)) = 3d/4 and V1 = π ∗ W1 is strongly semistable, or
(2)
3d
(e
l)2
eHK (R, (x, y, z)) =
,
+
4
4dp2s
where e
l is an integer such that 0 < e
l ≤ d(d − 3) and s ≥ 0 is the least number such that
F s∗ (V1 ) is not semistable. Moreover, for the HN filtration of
0 ⊂ L ⊂ F s∗ (V1 ),

e
l
µ(L) = µ(F s∗ (V1 )) + .
2

Remark 5.2. If V1 is replaced by Vn , then the same argument (see Lemma 4.7 and Corollary 4.11 of [T1],to justify the appearance of n2 in the expression) shows that
(5.1)

eHK (R, xn , y n , z n ) =

3dn2
(e
l)2
,
+
4
4dp2s

where 0 ≤ e
l ≤ d(d − 3) and s is the least integer for which F s∗ Vn is not semistable.

As we pointed out in [T1], the bound on e
l in terms of d (which was obtained in [T1], using
result from [SB] and [S]), gave a dictionary between s and e
l and eHK (although for p > d(d − 3).

12

V. TRIVEDI

For example in 1993 Hans-Monsky [HM] have explicity compute eHK for the plane curve
h = z 4 + y4 + z 4:
eHK (k[x, y, z]/(h), (x, y, z)) =
=

3 + (1/p2 ) if p ≡ ±3 (mod 8)
.
3 if p ≡ ±1 (mod 8)

Now, by Theorem 5.1, it is immediate that, for p ≥ 5, e
l = 4 and s = 1, for p ≡ ±3 (mod 8).
This means V is semistable but F ∗ V is not semistable. On the other hand, it says that V1 is
strongly semistable if p ≡ ±1 (mod 8).
Theorem 5.3. Let R = k[x, y, z]/(h), where h is a regular trinomial of degree d and k is a
field of characteristic p > 0. If p ≥ n and p ≡ ±l (mod 2λh ) then

2
3dn2
λ2 1 − t
n n n
eHK (R, (x , y , z )) =
,
+
4
4d
ps
where ∆h,n (l) = (Td(l), Ds(l)) = (t, s) is as given in Definition 2.2.
Proof. If p ≥ n, then by Lemma 2.5 (3), Td(ps tn, u) < 1 has no solution for any s < 0.
Hence the minimum integer s, for which Td(ps tn, u) < 1 has a solution for some u ∈ Lodd , is
nonnegative. Therefore, by Theorem 3.5 and Corollary 3.6,
δ ∗ (αn/λ, βn/λ, νn/λ) = p−s (1 − t),
where δ ∗ (αn/λ, βn/λ, νn/λ) is given as in Theorem 2.3. Now the theorem follows from Theorem 2.3.

The following Lemma explicitly relates ∆h,n (l mod 2λh ) and the Frobenius semistability data
of the syzygy bundle Vn over h, for the set of primes p ≡ ±l (mod 2λh ), where p ≥ {n, d2 }.
Lemma 5.4. Let R = k[x, y, z]/(h), where h is a regular trinomial of degree d over an algebraically closed field of characteristic p > 0. Let p ≥ {n, d2 } and let p ≡ ±l (mod 2λh ). For
∆h,n as in Theorem 3.5,
(1) If ∆h,n (l) = (1, ∞) then Vn is a strongly semistable bundle.
(2) if ∆h,n (l) = (t, s) 6= (1, ∞) then s is the least integer for which F s∗ Vn is not semistable.
Moreover F s∗ (Vn ) has the HN filtration
0 ⊂ Ln ⊂ F s∗ (Vn ),

where

deg Ln = µ(F s∗ Vn ) +

λ
(1 − t).
2

Proof. (1) If ∆h,n (l) = (1, ∞), then eHK (R, (xn , y n , z n )) = 3dn2 /4 and therefore Vn is
strongly semistable.
(2) Let ∆h,n (l) = (t, s) 6= (1, ∞). By Theorem 5.3 and Equation (5.1), we have

2
2
e
3dn2
l
λ2 (1 − t)
3dn2
eHK (R, (xn , y n , z n )) =
,
+
+
=
4
4d
ps
4
4dp2s1
where 0 ≤ e
l ≤ d(d − 3) and s1 ≥ 0 is the least integer for which F s1 ∗ Vn is not semistable. Note,
by Lemma 2.5, the integer s ≥ 0. This implies that
e
λ
l
= s (1 − t).
ps1
p
Let (u1 , u2 , u3 ) ∈ Lodd such that t = Td(ps tn, u) < 1. Therefore 0 < λ(1 − t) < λ. On the
other hand
λ(1 − t) = aλh (1 − t) = a (λh − |ps α1 n − λh u1 | − |ps β1 n − λh u2 | − |ps ν1 n − λh u3 |) ∈ Z.
This implies λ(1 − t) ≤ λ is a positive integer. This with the fact that 0 ≤ e
l ≤ d(d − 3) implies
that, for p ≥ d2 , we have s1 = s and hence e
l = λ(1 − t). This proves the lemma.


ARITHMETIC BEHAVIOUR OF FROBENIUS SEMISTABILITY OF SYZYGY BUNDLES FOR PLANE TRINOMIAL CURVES
13

Racall that a trinomial curve is irregular or regular. For the irregular trinomials the semistability behaviour is very explicit and independent of the char p as stated in Theorem 1.1, a proof
of which is along the same line as in Theorem 4.9 of [T2].
In the light of Lemma 5.4, all the results in this section are immediate consequence of the
results of the previous sections.
Following result gives the periodicity in the behaviour of {Vn }n∈N where Vn are syzygy
bundles on a fixed trinomal h.
Theorem 5.5. For a regular trinomial defined over a field of characteristic p, if p ≥ n + 2λh .
then for any s ≥ 0,
(1) the bundle F s∗ Vn is semistable if and only if F s∗ Vn+2λh is semistable. Moreover,
(2) F s∗ Vn has the HN filtration 0 ⊂ Ln ⊂ F s∗ Vn if and only if F s∗ Vn+2λh has the HN
filtration 0 ⊂ Ln+2λh ⊂ F s∗ Vn+2λh and in that case we have deg Ln+2λh = deg Ln −
3λh dps .
Proof. Follows from Corollary 3.6.



Following theorem implies that every semistable bundle Vn over a trinomial is strongly
semistable for a Zariski dense set of primes.
Theorem 5.6. Let R = k[x, y, z]/(h) be a regular trinomial, where k is an algebraically closed
field of characteristic p > 0. Let p ≡ ±1 (mod 2λh ) and p ≥ d2 then
(1) V1 is strongly semistable and
(2) if, in addition, p ≥ n then
(a) either Vn is strongly semistable or
(b) Vn itself is not semistable and has the HN filtration
3nd λ
+ (1 − t),
2
2
where t = |αn/λ−u1 |+|βn/λ−u2|+|νn/λ−u3| < 1 for a unique (u1 , u2 , u3 ) ∈ Lodd.
0 ⊂ Ln ⊂ π ∗ (Vn ) where deg Ln = −

Corollary 5.7. If Vn1 , . . . , Vns are semistable syzygy bundles on trinomials h1 , . . . , hs respectively then they are all strongly semistable for primes p in a Zariski dense set
e = l.c.m.(λh , . . . , λh ) then for p ≡ ±1
Proof. Let λh = 1 if h is an irregular trinomial. If λ
s
1
e
(mod 2λ) the assertion holds.


Following theorem asserts that to check the strong semistability property of a syzygy bundle
Vn over a trinoimal h, it is sufficient to check the semistability of Vn , F ∗ Vn , . . . , F s∗ Vn , where
s < φ(2λh ).
Theorem 5.8. If p ≥ max{n, d2 }, then either
(1) (a) Vn is strongly semistable or
(b) there is s < φ(2λh ) such that F s∗ (Vn ) is not semistable.
In fact if p ≡ ±l (mod 2λh ) then F s∗ (Vn ) is not semistable for some s < order of l
in (Z/2λh Z)∗
(2) If there is a prime p ≥ max{n, d2 } such that Vn is not strongly semistable then there is
a Zariski dense set for which F ∗ Vn is not semistable.

Proof. Part (1) (a) and (b) follow from Theorem 3.5 (3). For part (2) suppose p ≥ max{n, d2 }
such that Vn is not strongly semistable. There is l ∈ (Z/2λh Z)∗ such that p ≡ ±l (mod 2λh ).
By Corollary 3.6, we have ∆h,n (l) = (t, s) 6= (1, ∞). Therefore there exists u ∈ Lodd such
that Td(ls tn, u) < 1. Now ls ∈ (Z/2λh Z)∗ such that ∆h,n (ls ) = (t, 1). Therefore for p ≡ ±ls
(mod 2λh ), the bundle F ∗ (Vn ) is not semistable.

By the following corollary it is trivial to check if a syzygy bundle Vn , of a symmetric (see
Definition 4.2) regular trinomial, is semistable or not.

14

V. TRIVEDI

Corollary 5.9. Let p ≡ ±1 (mod 2λh ) and p ≥ max{n, d2 } and let h be a symmetric trinomial
of degree d. Let m1 denote any of the nearest odd integer to αn/λ.
1
(1) If | αn
λ − m1 | ≥ 3 then Vn is semistable (and hence strongly semistable), and
(2) if |m1 − αn/λ| < 31 , then Vn is not semistable and has the HN filtration


αn
3nd 3λ 1
+
−|
− m1 | .
0 ⊂ Ln ⊂ Vn where deg Ln = −
2
2 3
λ

Corollary 5.10. Let h be a symmetric trinomial of degree d ≥ 4 but d 6= 5 then, for p > d2 ,
(1) V1 is strongly semistable for a Zariski dense set of primes and
(2) V1 is semistable but not strongly semistable for a Zariski dense set of primes.
Proof. Follows from Theorem 4.1 (1) and Theorem 4.5.



Corollary 5.11. Let X be the plane curve given by h = xd−1 y + y d−1 z + z d−1 x where k is a
field of characteristic p ≥ d2 . Let
0 −→ V −→ H 0 (X, OX (1)) ⊗ OX −→ OX −→ 0,
be the canonical map.
(1) If p ≡ ±1 (mod λ). Then V is strongly semistable.
(2) If p ≡ ±2 (mod λ), d is even and
(a) If d = 4 then F ∗ V is semistable and the HN filtration of F 2∗ V is given by
0 ⊂ L ⊂ F 2∗ (V ) with µ(L) = µ(F 2∗ V ) + 2
(b) If d ≥ 6 and m ≥ 2 such that (1) 3.2m−2 ≤ d−1 < 2m then F m−1∗ V is semistable
and the HN filtration of F m∗ V is given by
0 ⊂ L ⊂ F m∗ (V ) with µ(L) = µ(F m∗ V ) + 2α(d − 1 − 3.2m−2 ) + 2,
(2) if 2m ≤ d − 1 < 3.2m−1 then F m−1∗ V is semistable and the HN filtration of
F m∗ V is given by
0 ⊂ L ⊂ F m∗ (V ) with µ(L) = µ(F m∗ V ) + α(3.2m−1 − (d − 1)) − 1.
(3) If p ≡ ±2 (mod λ) and d is odd then
(a) for d ≥ 7, the bundle V is semistable and for the HN filtration 0 ⊂ L ⊂ F ∗ V , we
have


λ − 6α
µ(L) = µ(F ∗ V ) +
.
2
(b) If d = 5, F 2∗ V is semistable and the HN filtration 0 ⊂ L ⊂ F 3∗ V , we have
7
µ(L) = µ(F 3∗ V ) + .
2
Proof. Follows from Corollary 4.7.



6. Hilbert-Kunz multiplicity
Throughout this section R = k[x, y, z]/(h), where h is trinomial of degree d and k is a field
of char k = p > 0.
Corollary 6.1. Let R = k[x, y, z]/(h), where h is a trinomial of degree d. Let n ≥ 1.
(1) If h is a irregular trinomial then
3dn2
(2r − d)2 n2
+
,
4
4d
where r is the multiplicity of the irregular point.
eHK (R, (xn , y n , z n ) =

ARITHMETIC BEHAVIOUR OF FROBENIUS SEMISTABILITY OF SYZYGY BUNDLES FOR PLANE TRINOMIAL CURVES
15

(2) If h is a regular trinomial then
eHK (R, (xn , y n , z n )) =

λ2
3dn2
(1 − t)2 ,
+
4
4dp2s

where λ(1−t) ≤ λ is a nonnegative integer and 0 ≤ s < φ(2λh ) and t and s are constant
on the congreunce classes of p mod (2λh ).
Corollary 6.2. If h is a regular trinomial then
(1) for all p ≥ n + 2λh ,
eHK (R, (xn+2λh , y n+2λh , z n+2λh )) = eHK (R, (xn , y n , z n )) + 3d(nλh + 1).
(2) if p ≡ ±1 (mod 2λh ) then we have
eHK (R, (x, y, z)) = 3d/4,
(a)
3dn2
λ2
+ (1 − t)2 ,
4
4d
if t = |αn/λ − u1 | + |βn/λ − u2 | + |νn/λ − u3 | < 1 has a solution for (unique)
(u1 , u2 , u3 ) ∈ Lodd, otherwise
eHK (R, (xn , y n , z n )) =

(b)
3dn2
.
4
Proof. Part (1) follows from Corollary 3.6. Part (2) follows Theorem 4.1.
eHK (R, (xn , y n , z n )) =



Corollary 6.3. Let h be symmetric trinomial of degree d. Let m1 be one of the nearest odd
integer to αn/λ.
(1) Let p ≡ ±1 (mod 2λh ) then
(a)
1
3dn2
αn
− m1 | ≥
=⇒ eHK (R, (xn , y n , z n )) =
,
|
λ
3
4
(b)

2
αn
1
3dn2
9λ2 1
αn
n n n
|
− m1 | <
=⇒ eHK (Rp , (x , y , z )) =
+
−|
− m1 | .
λ
3
4
4d 3
λ
(2) If d is odd and > 5 then there is l′ ∈ (Z/2λh Z)∗ such that for p ≡ ±l′ (mod 2λh )

2
6
λ2
3d
1−
+
.
eHK (R, (x, y, z)) =
4
4dp2
λh
(3) If d ≥ 4 is even such that
(a) λh is even then eHK (R, (x, y, z)) =

3d
4

+

λ2
4dp2

(b) If λh is odd. Then eHK (Rp , (xn , y n , z n )) =

h
2

3dn
4

1−

3
λh
2

+ λ4d

h

i2

.

1−t
ps

i2

, where ∆h,n (λ ± 2) =

(t, s) 6= (1, ∞) (hence 0 < t < 1 and 0 ≤ s < ∞) is given as in Lemma 4.6.
Corollary 6.4. Let p ≡ λ ± 2 (mod 2λ) and let h = xd−1 y + y d−1 z + z d−1 x, where d ≥ 4 (in
this case λ = λh ).
(1) Suppose d is an even integer.
7
d = 4 =⇒ eHK (R, (x, y, z)) = 3 + 4 .
p
Let d ≥ 6. Let m ≥ 2 such that 3.2m−2 < d − 1 < 2m . Then
eHK (R, (x, y, z)) =


2
3d
4 
+ 2m α d − 1 − 3.2m−2 + 1 .
4
dp

16

V. TRIVEDI

If 2m < d − 1 < 3 · 2m−1 . Then

2
1 
3d
+ 2m α 3.2m−1 − (d − 1) − 1 .
eHK (R, (x, y, z)) =
4
dp
(2) Suppose d is odd then
 2
3d
1 49
.
d = 5 =⇒ eHK (R, (x, y, z)) =
+ 6
4
dp
4
d ≥ 7 =⇒ eHK (R, (x, y, z)) =

3d
1
[(d − 2)(d − 7) + 1]2
+
4
4dp2

Remark 6.5. If h is a regular trinomai of degree d = 3 then it is an elliptic plane curve. Note
that eHK with respect to the maximal ideal was first computed in [BC] and [Mo3]. Also on an
elliptic curve every semstable bundle is strongly semistable by [MR] (Theorem 2.1).
Remark 6.6. For R as in Corollary 6.4, Monsky in [M1] had computed eHK in the following
situation:
(1) If d ≥ 4 is even and p ≡ ±(d − 1) (mod 2λ) then
3d (d2 − 3d)2
.
+
4
4dp2
(2) If d ≥ 5 is odd and p ≡ λ ± (2d − 2) (mod 2λ), p 6= 2 then
eHK (R) =

eHK (R) =

3d (d2 − 3d − 3)2
.
+
4
4dp2

References
[BK] Brinkmann, D., Kaid, A., Rank-2 syzygy bundles on Fermat curves and an application to Hilbert-Kunz
functions, Beitr. Algebra Geom. 57 (2016), no. 2, 321342.
[BC] Buchweitz,R., Chen,Q., Hilbert-Kunz functions of cubic curves and surfaces, J. Algebra 197 (1997) 246167.
[H] Han, C., The Hilbert-Kunz function of a diagonal hypersurfaces, Ph.D. thesis, Brandeis University, 1991.
[HM] Han, C., Monsky, P., Some surprising Hilbert-Kunz functions, Math. Z., 214 (1993), no. 1, 119-135.
[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.
[MR] Mehta, V., Ramanathan, A., Homogeneous bundles in characteristic p, in Algebraic geometry – open
problems (Ravello, 1982), Lecture Notes in Math., 997, Springer, Berlin, 1983, 315 - 320.
[Mo1] Monsky, P., The Hilbert-Kunz function, Math. Ann. 263 (1983) 43-49.
[Mo2] Monsky, P., The Hilbert-Kunz multiplicity of an irreducible trinomial, Journal of Algebra 304 (2006)
1101-1107.
[Mo3] Monsky, P., The Hilbert-Kunz function of a characteristic 2 cubic, J. Algebra 197 1997, 268-277
[SB] Shepherd-Barron, N.I., Semistability and reduction mod p, Topology, 37 (1998), no. 3, 659-664.
[S] Sun, X., Remarks on Semistability of G-Bundles in Positive Characteristic, Composition Mathematica, Vol.
119, (1999), 41-52.
[T1] Trivedi, V., Semistability and Hilbert-Kunz multiplicity for curves, J. of Algebra, 284 (2005), 627-644,
(arXiv:math/0402245v2 [] 21 Feb 2004).
[T2] Trivedi, V., Strong semistability and Hilbert-Kunz multiplicity for singular plane curves, Contemp. Math.,
390, Amer.Math.Soc. 2005, 165-173.
School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai400005, India
E-mail address: vija@math.tifr.res.in

