arXiv:1210.2885v1 [math.CO] 10 Oct 2012

A rank computation problem related to the
HK function of trinomial hypersurfaces
Shyamashree Upadhyay
Department of Mathematics
Indian Institute of Technology, Guwahati
Assam-781039, INDIA
email:shyamashree@iitg.ernet.in
Abstract
In this article, I provide a solution to a rank computation problem related to the computation of the Hilbert-Kunz function for any
disjoint-term trinomial hypersurface, over any field of characteristic 2.
This rank computation problem was posed in [3]. The formula for the
Hilbert-Kunz function for disjoint-term trinomial hypersurfaces can
be deduced from the result(s) of this article, modulo a lot of tedious
notation.

Contents
1 Introduction

2

2 Stating the problem in a general way
2.1 Statement of Problem I . . . . . . . . . . . . . . . . . . . . . .
2.2 Statement of Problem II . . . . . . . . . . . . . . . . . . . . .

3
3
3

3 Structure of the string of Binomial coefficients

5

4 Solutions to Problems I and II
6
4.1 Solution to Problem I . . . . . . . . . . . . . . . . . . . . . . . 6
4.2 Solution to Problem II . . . . . . . . . . . . . . . . . . . . . . 11
1

5 Concluding remarks about rationality

1

13

Introduction

A ‘disjoint-term trinomial hypersurface’ is defined in §2 of [3]. In the last
section of [3], I gave an algorithm for computing the Hilbert-Kunz function
for any disjoint-term trinomial hypersurface in general, over any field of arbitrary positive characteristic. But the algorithm was given modulo a rank
computation problem for 3 types of systems of linear equations which were
given in tables 5, 6 and 8 of [3]. In this article, I provide a solution to this
rank computation problem over fields of characteristic 2. It will be nice if one
can provide a similar solution over fields of arbitrary positive characteristic
p.
The formula for the Hilbert-Kunz function for disjoint-term trinomial
hypersurfaces follows as a corollary to the solution of this rank computation
problem, but a lot of tedious notation is needed for deducing the formula.
Hence in this article, I am avoiding the work on the deduction of the HilbertKunz function from this.
In the article [3], I was suspecting that due to the weird combinatorial
pattern of the matrices in tables 5, 6 and 8, there can be examples of disjointterm trinomial hypersurfaces for which the corresponding Hilbert-Kunz multiplicity can be irrational. But my suspicion turns out to be incorrect (see
the papers [2] and [1] for a reasoning). However if we consider trinomial hypersurfaces which are defined by a polynomial not having disjoint terms in it,
then we will encounter a similar-looking (but larger and more complicated)
rank computation problem for those. And I suspect that the Hilbert-Kunz
multiplicity may become irrational for those hypersurfaces because of the
more complicated nature of the system of linear equations involved in it. In
fact, the solution to the rank computation problem given in this article is
also important for the next article in which I will consider trinomial hypersurfaces which are defined by a polynomial not having disjoint terms in it,
because something similar happens there.

2

2

Stating the problem in a general way

The following combinatorial fact is well known (called the Chu-Vandermonde
identity):
For any two natural numbers m and n and for any non-negative integer j,
the standard inner product of the two vectors ( m C0 , m C1 , . . . , m Cj ) and
( n Cj , n Cj−1 , . . . , n C0 ) equals m+n Cj where we declare that for any
positive integer M, M Cl = 0 if l > M.
It follows from the above fact and from the pattern of the matrices present
in tables 5, 6 and 8 of the article [3] that
• for the linear systems corresponding to the matrices in tables 5 and 8,
we need to solve the general combinatorial problem mentioned below
as Problem I and
• for the linear systems corresponding to the matrices in tables 6, we
need to solve the general combinatorial problem mentioned below as
Problem II.
It is worthwhile to mention here that in this article, we will be considering
systems of linear equations over fields of characteristic 2 only.

2.1

Statement of Problem I

Given any positive integer M and any non-negative integer j, what all values
of positive integers k and l solve the following system of (l + 1) many linear
equations in (k + 1) many unknowns given by AX = b where the coefficient
matrix A is the (l + 1) × (k + 1) matrix given below in table 1 and b is
the (l + 1) × (1) column vector (0, 0, . . . , 1)t . The lines along the southwest↔north-east direction (in table 1) indicate the continuation of the same
entry along that direction.

2.2

Statement of Problem II

Given any positive integer M and non-negative integer j, what all values of
positive integers k, l and q solve the following system of (l+q +1) many linear
equations in (k + 1) many unknowns given by AX = b where the coefficient
3

Table 1: The coefficient matrix A of Problem I
M
Cj+l+k
Cj+l+(k−1) · · · · · · · · · M Cj+l+1
M
Cj+l+(k−1)

  

M

























M
M

Cj+l

Cj+(l−1)
..
.

M

Cj+1
Cj

M

matrix A is the (l + q + 1) × (k + 1) matrix given below in table 2 and b is
the (l + q + 1) × (1) column vector (0, 0, . . . , 1)t . In table 2,
Table 2: The coefficient matrix A of Problem II
♥1q
··· ··· ···
♥qk−1
♥kq
..
..
..
..
..
..
.
.
.
.
.
.
k−1
0
1
♥2
♥2
··· ··· ···
♥2
♥k2
♥01
♥11
··· ··· ···
♥1k−1
♥k1
M
M
M
M
Cj+l+k
Cj+l+(k−1) · · · · · · · · ·
Cj+l+1
Cj+l
M
M

  

Cj+l+(k−1)
Cj+(l−1)
..


  

.
♥0q
..
.



















M

Cj+1
Cj

M

M = α + δ for some natural numbers α and δ (given to us).
For any 1 ≤ i ≤ q and 0 ≤ r ≤ k, ♥ri := the standard inner product
of the two vectors ( α C0 , α C1 , . . . , α Cj+k+l−r )
and ( δ Cj+k+l+i−r , . . . , δ Ci+1 , δ Ci ).
The lines along the south-west↔north-east direction indicate the
continuation of the same entry along that direction.

4

3

Structure of the string of Binomial coefficients

For providing solutions to both problems I and II, we first need to have an
account of the position of all odd entries in the string of binomial coefficients
of any given positive integer M starting from M C0 to M CM . This is given
as follows:
Let M = 2lm + 2lm−1 + · · · + 2l1 be the binary expansion of M where
lm > lm−1 > · · · > l1 are non-negative integers.
Let DM := the set of all possible (m + 1)-tuples (α0 , α1 , . . . , αm ) generated
out of the set {0, 2l1 , 2l2 , . . . , 2lm } which satisfy the following 3 properties
simultaneously:
• α0 = 1.
• α1 ≥ α2 ≥ · · · ≥ αm .
• If αi 6= 0 for some i ∈ {1, . . . , m}, then αi > αj for any j ∈ {i +
1, . . . , m}.
Clearly, the total number of elements in the set DM is 2m . Let us put an
order - on DM by declaring that
(α0 , α1 , . . . , αm ) - (α0 , α1 , . . . , αm )
if and only if
αi ≤ αi ∀i ∈ {0, 1, . . . , m}.
Observe that - is a total order on the set DM . The positions of the odd
entries in the string of binomial coefficients of M are indexed by elements of
the set DM ; and are arranged (in ascending order) according to the order on DM . This indexing is given by:
For any d = (α0 , α1 , . . . , αm ) ∈ DM , the position of the odd entry
corresponding to it in the string of binomial coefficients of M is Σm
i=0 αi .
m
Since the total number of elements in the set DM is 2 , we can denote the
(M )
(M )
(M )
(M ) (M )
(M )
elements of DM by d1 , d2 , . . . , d2m where d1 - d2 - . . . - d2m .
And let us denote the corresponding positions of the odd entries in the
string of binomial coefficients of M by
(M )

(M )

(M )

Σd1 , Σd2 , . . . , Σd2m .
5

Looking at the positions of all odd entries in the string of binomial coefficients
of the given positive integer M, we can deduce some important facts about
the position of all even entries in the string of binomial coefficients of M.
These facts will be very much useful in writing down solutions to both the
Problems I and II. These facts are as given below:
Let the binary expansion of M be as mentioned above. Then
1. the number of even entries between any two consecutive odd entries
in the continuous string of binomial coefficients of M is of the form
2lg − 2lg−1 − . . . − 2l1 − 1 for some g ∈ {1, . . . , m}.
2. If lg < lĝ , then a bunch of 2lg − 2lg−1 − . . . − 2l1 − 1 many even entries
appears on both right and left sides of the bunch of 2lĝ − 2lĝ−1 − . . . −
2l1 − 1 many even entries at equal distance from the central bunch.
3. Between any two consecutive bunches of 2lg − 2lg−1 − . . . − 2l1 − 1 many
even entries, there exists (2g − 1) many bunches of even entries such
that the number of even entries in each of these (2g − 1) many bunches
is different from 2lg − 2lg−1 − . . . − 2l1 − 1.

4

Solutions to Problems I and II

In subsection 4.1 below, the notation and terminology will remain the same
as in subsection 2.1. Similarly, in subsection 4.2 below, the notation and
terminology will remain the same as in subsection 2.2.

4.1

Solution to Problem I

Problem I can be restated in the following way:—
Given any positive integer M and any non-negative integer j, for what all
values of positive integers k and l does the string
M

Cj ,

M

Cj+1 , . . . , . . . ,

M

Cj+l+k

of consecutive binomial coefficients of M satisfy all the following 3
properties simultaneously:
•

M

Cj and
is even).

M

Cj+k+1 have different parity (that is, exactly one of them

6

•

M

Cj+t = M C(j+t)+q(k+1) for every t ∈ {1, . . . , k + 1} and for every
positive integer q such that (j + t) + q(k + 1) ≤ j + l + k. In other
words, the string of length k + 1 beginning from M Cj+1 and ending at
M
Cj+k+1 should be repeated until we reach M Cj+l+k (there can be a
truncated string of length k + 1 at the end).

• The string of length k + 1 beginning from M Cj+1 and ending at
M
Cj+k+1 should contain evenly many odd elements in it.
There are many possible values of positive integers k and l which do the job.
A list of all possible answers is given below in cases I and II.
Case I: When

M

Cj is odd.
(M )

Suppose that M Cj equals Σdi for some i ∈ {1, . . . , 2m }, then we provide
a solution to Problem I by considering different sub cases depending upon
M
M
M
the value ΣdM
i+1 − Σdi − 1 being 0 or > 0. Observe that Σdi+1 − Σdi − 1is
nothing but the total number of zeroes lying in between the positions ΣM
i+1
and ΣM
.
i
(M )

(M )

Sub case I.a: When Σdi+1 − Σdi − 1 = 0.
(M )
(M )
If there exists an even natural number s such that Σdi+s+1 − Σdi+s − 1 > 0,
then take the string M Cj+1, . . . , M Cj+k+1 of length (k + 1) to be the continuous string of binomial coefficients of M starting from position number
(M )
(M )
1 + Σdi
and ending at position number Σdi+s + L (inclusive of the beginning and end points), where L is some natural number such that 0 <
(M )
(M )
L ≤ Σdi+s+1 − Σdi+s − 1. Hence the natural number k is given by k =
(M )
(M )
Σdi+s + L − Σdi − 1 where L and s are as mentioned above.
To determine the possible values of l in this sub case, look at the entry in
(M )
position number Σdi+s +L+1. If it is even, then take l = 1. If it is odd, then
look at the number of odd entries in the string of binomial coefficients of M
(M )
that come in continuum starting from position number 1 + Σdi (including
(M )
the odd entry at this position). Let pj denote this number. Similarly, look
at the number of odd entries in the string of binomial coefficients of M that
(M )
come in continuum starting from position number 1 + L + Σdi+s (including
(M )
the odd entry at this position). Let qj denote this number. Tale l to be
(M ) (M )
any natural number such that l ≤ 1 + min{pj , qj }.

7

Remark 4.1.1. An even natural number s as mentioned above in this sub
(M )
case may not exist for some M and for some position number Σdi . In that
situation, this sub case is invalid.
(M )

(M )

Sub case I.b: When Σdi+1 − Σdi − 1 > 0.
I will now list down the various possibilities under this sub case:
Either
(M )
(M )
Take k to be any natural number such that k + 1 ≤ Σdi+1 − Σdi − 1.
And take the string M Cj+1 , . . . , M Cj+k+1 of length (k + 1) to be the
continuous string of binomial coefficients of M starting from position
(M )
(M )
number 1 + Σdi and ending at position number 1 + k + Σdi . And take
(M )
(M )
l to be any natural number such that l ≤ Σdi+1 − Σdi − (k + 1).
Or
For computing the possible values of the natural number k, proceed
similarly as in sub case (I.a). And to determine the possible values of l,
(M )
look at the entry in position number Σdi+s + L + 1. If it is odd, then take
l = 1. If it is even, then look at the number of even entries in the string of
binomial coefficients of M that come in continuum starting from position
(M )
(M )
number 1 + Σdi (including the even entry at this position). Let pj
denote this number. Similarly, look at the number of even entries in the
string of binomial coefficients of M that come in continuum starting from
(M )
position number 1 + L + Σdi+s (including the even entry at this position).
(M )
Let qj denote this number. Tale l to be any natural number such that
(M ) (M )
l ≤ 1 + min{pj , qj }.
Case II: When M Cj is even.
The position of M Cj in the string of binomial coefficients of M (starting
from M C0 to M CM , that is, from left to right) is (j + 1)-th.
(M )
Sub case II.a: When j + 2 = Σdi for some i ∈ {1, . . . , 2m } and there exists
an odd natural number u such that all the entries at the position numbers
(M )
(M )
(M )
Σdi , 1 + Σdi , . . . , u + Σdi are odd and the entry at position number
(M )
u + 1 + Σdi is even.
I will now list down the various possibilities under this sub case:
Either
8

Take k to be any odd natural number such that k + 1 ≤ u + 1. And take
the string M Cj+1 , . . . , M Cj+k+1 of length (k + 1) to be the continuous
(M )
string of binomial coefficients of M starting from position number Σdi
(M )
and ending at position number k + Σdi . Take l to be any natural number
such that l ≤ (u + 1) − k.
Or
Take the string Cj+1 , . . . , Cj+k+1 of length (k + 1) to be the continuous
string of binomial coefficients of M starting from position number
(M )
(M )
j + 2(= Σdi ) and ending at position number Σdi+s , where s is any odd
natural number such that i + s ≤ 2m . [Remark: Such a odd natural number
s may not exist always. If it does not exist, then this is an invalid
possibility.] And to determine the possible values of l, look at the entry in
(M )
position number Σdi+s + 1. If it is even, then take l = 1. If it is odd, then
look at the number of odd entries in the string of binomial coefficients of M
(M )
that come in continuum starting from position number Σdi (including
(M )
the odd entry at this position). Let pj denote this number. Similarly,
look at the number of odd entries in the string of binomial coefficients of M
(M )
that come in continuum starting from position number 1 + Σdi+s (including
(M )
the odd entry at this position). Let qj denote this number. Tale l to be
(M ) (M )
any natural number such that l ≤ 1 + min{pj , qj }.
M

M

(M )

(M )

Sub case II.b: When j + 2 = Σdi for some i ∈ {1, . . . , 2m } and Σdi+1 −
(M )
Σdi − 1 > 0.
Take the string M Cj+1 , . . . , M Cj+k+1 of length (k + 1) to be the continuous
string of binomial coefficients of M starting from position number j + 2(=
(M )
(M )
Σdi ) and ending at position number Σdi+s , where s is any odd natural
number such that i + s ≤ 2m . [Remark: Such a odd natural number s may
not exist always. If it does not exist, then this is an invalid possibility.] In
this sub case, take l = 1.
(M )
Sub case II.c: When j + 2 6= Σdi for any i ∈ {1, . . . , 2m }.
(M )

Clearly there exists i ∈ {1, . . . , 2m } such that j + 2 < Σdi . Look at the
smallest such i, call it i0 . Take the string M Cj+1, . . . , M Cj+k+1 of length
(k + 1) to be the continuous string of binomial coefficients of M starting
(M )
from position number j + 2 and ending at position number Σdi0 +s , where s
is any odd natural number such that i0 + s ≤ 2m . [Remark: Such a odd
9

natural number s may not exist always. If it does not exist, then this is an
invalid possibility.]
And to determine the possible values of l, look at the entry in position
(M )
number 1 + Σdi0 +s . If it is odd, then take l = 1. If it is even, then look at
the number of even entries in the string of binomial coefficients of M that
come in continuum starting from position number j + 2 (including the even
(M )
entry at this position). Let pj denote this number. Similarly, look at the
number of even entries in the string of binomial coefficients of M that come
(M )
in continuum starting from position number 1 + Σdi0 +s (including the even
(M )
entry at this position). Let qj denote this number. Take l to be any
(M ) (M )
natural number such that l ≤ 1 + min{pj , qj }.
There is another non-trivial possibility under this sub case, which is the following:
Let M = 2Nr + 2Nr−1 + · · · + 2N1 be the binary expansion of M where
Nr > Nr−1 > · · · > N1 are non-negative integers. Let Ns0 be the least
element of the set {Nr , Nr−1 , · · · , N1 } which is ≥ 2. Let
{Nst , Nst−1 , · · · , Ns1 } be the subset of the set {Nr , Nr−1 , · · · , N1 } defined by
{Nb |1 ≤ b ≤ r − 1 and N1+b − Nb > 1}. It may happen in some cases that
Ns0 = Ns1 .
Given any d ∈ {1, . . . , t}, let Ud denote the set of all possible sums
generated from elements of the set {2Nr , 2Nr−1 , . . . , 2N1+sd } (where each
element of this set can appear atmost once in any such sum) which are
strictly less than 2Nr + 2Nr−1 + · · · + 2N1+sd . Given any d ∈ {1, . . . , t} and
any x(d) ∈ Ud , suppose M Cj is at the (1 + x(d) + 21+Nsd )-th position in the
string of binomial coefficients of M counting from the end (that is, from the
right to left). In this situation, the following solutions are possible:
(i) Take k + 1 to be equal to 2Nsd . And to determine the possible values of
l, look at the number of even entries in the string of binomial coefficients of
M that come in continuum after M Cj (i.e., excluding M Cj and to the right
(M )
of it). Let pj denote this number. Similarly, look at the number of even
entries in the string of binomial coefficients of M that come in continuum
after M Cj+2(1+Nsd ) (i.e., excluding M Cj+2(1+Nsd ) and to the right of it). Let
(M )

denote this number. Tale l to be any natural number such that
(M ) (M )
l ≤ 1 + 2Nsd + min{pj , qj }.
(ii) If d > 1 and there exists integer(s) z such that Nsd > z > Nsd−1 and
z ∈ {Nr , Nr−1 , · · · > N1 }, then for any such z, take k + 1 to be equal to 2z .
qj

10

And to determine the possible values of l, look at the number of even
entries in the string of binomial coefficients of M that come in continuum
(M )
after M Cj (i.e., excluding M Cj and to the right of it). Let pj denote this
number. Similarly, look at the number of even entries in the string of
binomial coefficients of M that come in continuum after M Cj+2(1+Nsd ) (i.e.,
(M )

excluding M Cj+2(1+Nsd ) and to the right of it). Let qj denote this
number. Tale l to be any natural number such that
(M ) (M )
l ≤ 1 + 2z (2(Nsd −z+1) − 1) + min{pj , qj }.
(iii) If d = 1 and Ns1 > Ns0 , then there always exists integer(s) z such that
Ns1 > z ≥ Ns0 and z ∈ {Nr , Nr−1 , · · · > N1 }. For any such z, do similarly
as in (ii) above replacing d there by 1.

4.2

Solution to Problem II

Problem II can be restated in the following way:—
Given any two positive integers α and δ and any non-negative integer j, for
what all values of positive integers k, l and q does the string
M

Cj ,

M

Cj+1 , . . . , . . . ,

M

Cj+l+k

(where M = α + δ) of consecutive binomial coefficients of M becomes a
solution to Problem I as mentioned above and the following properties are
also satisfied (simultaneously):
•
•

•

M

Cj+k+l+1 + M Cj+k+l + · · · + M Cj+l+1 and
· · · + α Cj+l+1 should have the same parity.

α

Cj+k+l+1 +

α

Cj+k+l +

M

Cj+k+l+2 + M Cj+k+l+1 +· · ·+ M Cj+l+2 and α Cj+k+l+2 + α Cj+k+l+1 +
· · · + α Cj+l+2 differ in parity if and only if δ C1 ( α Cj+k+l+1 + α Cj+k+l +
· · · + α Cj+l+1) is odd.
M

Cj+k+l+3 + M Cj+k+l+2 +· · ·+ M Cj+l+3 and α Cj+k+l+3 + α Cj+k+l+2 +
· · ·+ α Cj+l+3 differ in parity if and only if δ C1 ( α Cj+k+l+2 + α Cj+k+l+1 +
· · · + α Cj+l+2) + δ C2 ( α Cj+k+l+1 + α Cj+k+l + · · · + α Cj+l+1) is odd.

• and so on till · · · · · ·
•

M

Cj+k+l+q + M Cj+k+l+q−1+· · ·+ M Cj+l+q and α Cj+k+l+q + α Cj+k+l+q−1+
q−1 δ
Cp ( α Cj+k+l+q−p +
· · · + α Cj+l+q differ in parity if and only if Σp=1
α
α
Cj+k+l+q−1−p + · · · + Cj+l+q−p ) is odd.
11

Given any positive integers α, δ and non-negative integer j, we can proceed
similarly as in subsection 4.1 and find the possible values of the positive
integers k and l for which the string
M

Cj ,

M

Cj+1 , . . . , . . . ,

M

Cj+l+k

of consecutive binomial coefficients of M becomes a solution to Problem I.
But these values of positive integers k and l should also satisfy the additional
q-many properties (about parities of sums of strings of length (k + 1) of the
binomial coefficients of M and α) as mentioned above.
For any two natural numbers Z and y, let sy (Z) denote the sum of the
first y-many (starting from Z C0 ) binomial coefficients of Z. It is an easy
exercise to check that for any such Z and y, sy (Z) = Z−1 Cy−1 . Since we
are working over field of characteristic 2, it is easy to see that M Cj+k+l+1 +
M
Cj+k+l + · · · + M Cj+l+1 equals sj+k+l+1(M) + sj+l (M) which in turn equals
M −1
Cj+k+l + M −1 Cj+l−1 . Similarly one can say that α Cj+k+l+1 + α Cj+k+l +
· · · + α Cj+l+1 equals α−1 Cj+k+l + α−1 Cj+l−1. Therefore the condition that
M
Cj+k+l+1 + M Cj+k+l +· · ·+ M Cj+l+1 and α Cj+k+l+1 + α Cj+k+l +· · ·+ α Cj+l+1
should have the same parity translates into the condition that
α+δ−1

Cj+k+l + α+δ−1 Cj+l−1 and α−1 Cj+k+l +
have the same parity. · · · · · · · · · condition (∗)

α−1

Cj+l−1 should

The other (q − 1)-many conditions (about parity of sums of strings of length
(k + 1)) imply that the positive integer q should be such that for every
a ∈ {2, . . . , q}, the sums M Cj+k+l+a + M Cj+k+l+a−1 + · · · + M Cj+l+a and
α
Cj+k+l+a + α Cj+k+l+a−1 + · · · + α Cj+l+a differ in parity if and only if the
following condition holds:
If p1 < · · · < pf is the collection of all elements of the set
{p|p ∈ {1, . . . , a − 1} and α Cj+k+l+a−p + α Cj+k+l+a−1−p + · · · +
α
Cj+l+a−p is odd}, then exactly odd many elements of the set
{ δ Cp1 , . . . , δ Cpf } should be odd. And this should hold true for
every a ∈ {2, . . . , q}.· · · · · · · · · condition (∗∗)
We therefore need to determine when the value of the string sum M Cj+k+l+a+
M
Cj+k+l + · · · + M Cj+l+a becomes odd and when it is even as the integer a
ranges over the set {1, . . . , q}. And similarly for the string sums α Cj+k+l+a +
α
Cj+k+l+a−1 + · · · + α Cj+l+a as the integer a ranges over the set {1, . . . , q}.
But this problem is similar to solving problem I (or a problem equivalent to
12

problem I where the column vector b is replaced by a suitable vector which is
either (1, 0, . . . , 0)t or (0, 1, . . . , 1)t ) for both the integers M and α, assuming
(to begin with) that the string sums M Cj+k+l+1 + M Cj+k+l + · · · + M Cj+l+1
and α Cj+k+l+1 + α Cj+k+l + · · · + α Cj+l+1 have the same parity. Recall that
while solving problem I considering various sub cases, we got solutions for
all possible values of the integer l. Speaking more precisely, we got all possible values of ‘upper bounds’ of the natural number l. These upper bounds
are nothing but the number of maximum possible strings (in continuum) of
length (k + 1) for which the parity of the string sum remains the same. That
means, as soon as the value of l exceeds this ‘upper bound’, the string sum
changes parity. Hence the positive integer q should be such that the various
upper bounds of the values of l under consideration (for α and M both)
should tally with conditions (∗) and (∗∗) mentioned above.

5

Concluding remarks about rationality

Looking at the rhythm of the parity of sums of continuous strings of binomial
coefficients of any given positive integer M (as described in subsections 4.1
and 4.2 above), one can depict that over fields of characteristic 2, the HilbertKunz multiplicity in this case of ‘disjoint-term trinomial hypersurfaces’ will
turn out to be rational. In fact, it will depend upon the positions of the odd
and even entries in the entire string of binomial coefficients of M, a precise
account of which is given in section 3. I hope similar thing will hold true
over fields of arbitrary positive characteristic p.
For any hypersurface defined by polynomials having ‘disjoint terms’ in
it (not just trinomial hypersurfaces), it is known that the corresponding
Hilbert-Kunz multiplicity will be rational [see [2] and [1] for a reasoning].
The ‘phis in the papers of [2] and [1] attached to ‘disjoint-term trinomials
(or more generally to any sum of monomials that are pairwise prime) are ‘pfractals. As a consequence, the Hilbert-Kunz series will be a rational function
and the corresponding HK multiplicity will be in Q.
But for trinomial hypersurfaces NOT having ‘disjoint-terms’ in it, the
situation becomes more interesting. There we need to solve ‘similar’ rank
computation problems related to larger and more complicated systems of
linear equations [in fact, there we can have infinitely many linear equations
inside a single system]. But the solution to the rank computation problem
mentioned in this article is like providing a basement for the work in the
13

more general case. Due to the more complicated nature of the systems in
that case, I suspect that the Hilbert-Kunz multiplicity can become irrational
there.

References
[1] Paul Monsky, Pedro Teixeira, p-Fractals and power series-I. Some 2
variable results, Journal of Algebra, 280 (2004), 505–536.
[2] Paul Monsky, Pedro Teixeira, p-Fractals and power series-II. Some applications to Hilbert-Kunz theory, Journal of Algebra, 304 (2006), 237–
255.
[3] Shyamashree Upadhyay, An algorithm for the HK function for disjointterm trinomial hypersurfaces, arXiv:1204.5417, [math.CO]

14

