THE s-MULTIPLICITY FUNCTION OF 2 × 2-DETERMINANTAL RINGS

arXiv:1708.06287v2 [] 13 Oct 2017

LANCE EDWARD MILLER AND WILLIAM D. TAYLOR

Abstract. This article generalizes joint work of the first author and I. Swanson to the s-multiplicity recently
introduced by the second author. For k a field and X = [xi,j ] a m × n-matrix of variables, we utilize Gröbner bases
to give a closed form the length λ(k[X]/(I2 (X) + m⌈sq⌉ + m[q] )) where s ∈ Z[p−1 ], q is a sufficiently large power of p,
and m is the homogeneous maximal ideal of k[X]. This shows this length is always eventually a polynomial function
of q for all s.

1. Introduction
One of the most well studied and intriguing invariants for positive characteristic commutative algebra is the
Hilbert-Kunz multiplicity. Specifically in a local ring (R, m, k), where k has positive characteristic, the length
λ(R/m[q] ) = eHK (R)q d + O(q d−1 ) as was first shown by P. Monsky [Mon83] building on work of E. Kunz. Much
subtly lies in the lower order terms. When R is excellent, normal, and with perfect residue field, there is a sharper
form λ(R/m[q] ) = eHK (R)q d + βq d−1 + O(q d−2 ) [HMM04]. However, in contrast to the Hilbert-Samuel function, one
cannot expect this length to be polynomial in q, even for nice rings in small dimensions. Despite its complication,
the first author and I. Swanson showed that this length function is a polynomial in q for R the determinantal ring
defined by 2-minors [MS13]. The techniques there in are combinatorial in nature, building on work of K. Eto and
K.-i. Yoshida [EY03], and were pushed later on by I. Swanson and M. Robinson to give a closed form as a sum of
products of binomial coefficients, yielding a complete understanding of the Hilbert-Kunz function of such rings.
Recently, the second author introduced a type of interpolation between Hilbert-Samuel and Hilbert-Kunz multiplicities. Specifically for s a positive real number, the s-multiplicities es (R) form a continuous family of real numbers
agreeing with the Hilbert-Samuel multiplicity e(R) for small values of s and agreeing with the Hilbert-Kunz multiplicity eHK (R) for large values of s. These arise as suitable normalizations of the limit limq→∞ q −d λ(R/(m⌈sq⌉ +m[q] )).
which is known to exist [Tay]. This family offers an important hope to deform results from one multiplicity to another. Standing in the way are the multiplicities es (R) which agree with neither the Hilbert-Samuel nor Hilbert-Kunz
multiplicities, and so far these intermediate values are not well understood.
Fixing s ∈ Z[p−1 ], for small values of s, the length λ(R/(m⌈sq⌉ + m[q] )) is eventually a polynomial in q and for
large values of s the length can be significantly more complicated. However, when R is the determinantal ring
defined by 2-minors, this length function is eventually a polynomial in q for large values of s too. The purpose of
this short article is show in such case, this length function is eventually a polynomial in q for all such s and to give
a closed form for it similar to [RS15]. The final form of this is our main theorem, which is a sum of products of
binomials and involves the monus operator, denoted q and defined by a q b = max{a − b, 0}. In this theorem and
throught the paper, unrestriced sums are interpreted as being over all integers.
Theorem (Theorem 3.9). Fix k a field, p an integer and q a p-power. Let X be an m × n-matrix of variables, m
the homogeneous maximal ideal of k[X] and I2 (X) the ideal of 2 × 2-minors. Let s ∈ R>0 such that sq ∈ Z, and set
R(m, n, s, q) ∶= ∑ ∑ ∑ (
a

b

ℓ

m−1 n−1
sq + ℓ
a b
)(
)(
)( )( )
a
b
a+b+1 ℓ ℓ

m n (j q i)q + m − 1 (i q j)q + n − 1 (s − max{i, j})q + ℓ a b
)(
)(
)( )( ).
S(m, n, s, q) ∶= ∑ ∑ ∑ ∑ ∑(−1)i+j ( )( )(
m−1−a
n−1−b
a+b+1
ℓ ℓ
i j
i>0 j>0 a b ℓ
k[X]
The length λ ( m⌈sq⌉ +m
[q] +I (X) ) = R(m, n, s, q) − S(m, n, s, q). Notably, this is a polynomial in q.
2

Acknowledgments: We thank P. Mantero and M. Johnson for helpful discussions and D. Juda for suggesting
the technique used in one of the proofs of Lemma 3.3. We deeply thank the referee for the careful and detailed
review of the manuscript, which allowed us to improve it significantly.
1

2

LANCE EDWARD MILLER AND WILLIAM D. TAYLOR

2. Preliminaries
Unless otherwise stated, p always denotes a positive prime integer, q a power of p, and k a field of characteristic
p. Throughout s is a positive real number and λ denotes length of a module. The s-multiplicity, introduced in [Tay],
is defined as follows. Fix a local ring (R, m) of characteristic p and two m-primary ideals I and J, the following
limit [Tay, Thm. 2.1] exists,
e
e
hs (I, J) ∶= lim λ(R/I ⌈sp ⌉ + J [p ] )/ped .
For small values of s, hs (I, J) =

e→∞

sd
e(I) whereas for
d!
⌊s⌋ (−1)i d
∑i=0 d! ( i )(s − i)d

large values of s, hs (I, J) = eHK (J). When R is regular of

offers a normalizing factor and one defines the s-multiplicity
dimension d, Hs (d) ∶= hs (m, m) =
by es (I, J) ∶= hs (I, J)/Hs (d). We follow the usual conventions denoting es (R) ∶= es (m, m) and similarly for hs .
This article concerns the s-length functions hs (R) where R is the quotient of a polynomial ring with defining
ideal the 2 × 2-minors of a matrix of variables. The techniques follow similarly to [MS13, RS15]. We first recall
notation.
Definition 2.1. We call a monomial ∏i,j xi,ji,j a staircase monomial if whenever i < i′ and j < j ′ , then pi,j pi′ ,j ′ = 0.
A staircase monomial is called a stair monomial if there exist c ∈ {1, . . . , m} and d ∈ {1, . . . , n} such that pl,k = 0
whenever (l − c)(k − d) =/ 0. Thus the indices (i, j) for which pi,j =/ 0 all lie in the union of part of row c with part
of column d, either in a ⌜ or a ⌟ configuration. A stair monomial is called a q-stair monomial if for such c, d,
∑k pc,k = q = ∑k pk,d .
p

Remark 2.2. Notice that monomials p in k[X] may be identified with integer valued m × n-matrices by writing
p
p
p = ∏ xi,ji,j and associating p to (pi,j ). We call this its exponent matrix. Staircase monomials ∏i,j xi,ji,j are so
called as the indices (i, j) for which pi,j =/ 0 lie on a southwest-northeast staircase type pattern, i.e., their exponent
matrices have support in a pattern like the following
⎡
● ● ●⎤
⎢
⎥
⎢
⎥
●
⎢
⎥
⎢
⎥
● ● ●
⎢
⎥.
⎢
⎥
⎢
⎥
●
⎢
⎥
⎢● ● ● ●
⎥
⎣
⎦
Under this identification, the multiplicative semigroup of monomials is identified with the additive semigroup
of non-negative integer valued matrices. We tacitly use this identification to keep the notation in the proofs to a
minimum.
We start with an elementary lemma about staircase monomials implicit in the work [MS13, RS15].
Lemma 2.3. Let X be a generic m × n-matrix.
(1) Any monomial in k[X] is equivalent to a staircase monomial modulo I2 (X).
(2) If p is a monomial and q is a staircase monomial with p ≡ q mod I2 (X), then p has the same degree, row,
and column sums as q.
Proof. Let p be a monomial in k[X], identified with its exponent matrix (pi,j ). The key mechanic at work here is
that when a < b and c < d, modulo the minor xa,c xb,d − xa,d xb,c , the monomial p is equivalent to the monomial p′
with exponent matrix (p′i,j ) where

⎧
⎪
pi,j
(i, j) ≠ (a, c), (b, d), (b, c), (a, d)
⎪
⎪
⎪
⎪
⎪
p
+
1
(i,
j) = (a, c)
⎪
a,c
⎪
⎪
⎪
′
pi,j = ⎨pb,d + 1 (i, j) = (b, d)
⎪
⎪
⎪
⎪
pa,d − 1 (i, j) = (a, d)
⎪
⎪
⎪
⎪
⎪
⎪
⎩pb,c − 1 (i, j) = (b, c)
From this the second claim is immediate as modifying monomials using these determinants clearly preserves all
listed characteristics.
To prove the first claim, a simple induction on the number of columns allows us to assume that any monomial in
correspondence to the augmented m×n-matrix [(pi,j )1≤j≤n−1 ∣0] is equivalent modulo I2 (X) to a staircase monomial,
that is modulo I2 (X) we may assume p has the staircase shape for the first n − 1 columns. Set i to be the smallest
row index so that pi,n−1 ≠ 0. We now induce on the row indicies i′ such that i ≤ i′ and pi′ ,n ≠ 0. If there are none or
if the only one is i′ = i, then p is a already staircase monomial. Otherwise, assume by induction that p is equivalent

THE s-MULTIPLICITY FUNCTION OF 2 × 2-DETERMINANTAL RINGS

3

modulo minors to a staircase monomial in the support of the last column of exponent matrix is in rows 1 through
i′ − 1 and that pi′ ,n ≠ 0
If pi′ ,j = 0 for all j, then up to a multiple of the minor xi,n−1 xi′ ,n − xi′ ,n−1 xi,n , p is equivalent to a monomial
with pi,n−1 pi′ ,n = 0 and the rest follows by induction. Otherwise, we may set j to be the largest column index for
which pi′ ,j ≠ 0. If the value pi′ ,n is larger than ∑ pk,ℓ where i ≤ k ≤ i′ , j ≤ ℓ ≤ n but (k, ℓ) ≠ (i′ , n), then using
appropriate minors, one may assume that p is equivalent to a monomial with the same support as p outside of the
ranges i ≤ k ≤ i′ and j ≤ ℓ ≤ n but where pk,ℓ = 0 for i ≤ k ≤ i′ and j ≤ ℓ ≤ n unless either k = i′ or j = n, i.e., is a
staircase monomial. If ∑ pk,ℓ is smaller than pi′ ,n , then again we may use minors to reduce p modulo I2 (X) to a
monomial which is staircase up to the last column but for which pi′ ,n = 0 and the rest follows by induction.

Theorem 2.4. Fix X a generic m × n-matrix and m the homogeneous maximal ideal in k[X]. For I an m-primary
monomial ideal in k[X], the set of staircase monomials not in I forms a k-basis for k[X]/(I2 (X) + I).

Proof. It suffices to show the claim for I = mt for fixed t as the theorem follows by noting that when I is mprimary, mt ⊂ I for some power t and a k-basis for k[X]/(I2 (X) + I) is obtained by eliminating from a k-basis of
k[X]/(I2 (X) + mt ) the elements which lie in I.
Set T ⊂ k[X] the ideal generated by all staircase monomials of degree t. Following the proof of [MS13, Thm. 2.4],
the theorem follows immediately once we’ve show that G = I2 (X) + T ⊂ I2 (X) + mt is a Gröbner basis. The equality
I2 (X) + T = I2 (X) + mt follows by the first claim of Lemma 2.3. To finish the proof, one needs only check, via the
Buchberger algorithm, that S-polynomials S(f, g) for any generators f and g of I2 (X) + T . This is immediately
trivial unless f is a determinant, g is a staircase monomial, and their leading terms share a variable in common.
The rest of the check is straightforward and follows by repeating the same case by case analysis as in the proof of

[MS13, Thm. 2.2].
Remark 2.5. In the special case that I = m[q] one notes that the basis guaranteed by Theorem 2.4 agrees with
base guaranteed by [MS13, Thm. 2.2] as the set of staircase monomials which are not in I are precisely those not
divisible by any q-stair monomials.
Corollary 2.6. Fix X a generic m × n-matrix and m the homogeneous maximal ideal in k[X]. For any positive
integer s, a k-basis for m⌈sq⌉ + m[q] + I2 (X) consists of staircase monomials of degree at most ⌈sq⌉ and having either
all row sums smaller than q or all column sums column sums smaller than q.
It now suffices for us to turn our attention at carefully counting the k-basis of m⌈sq⌉ +m[q] +I2 (X). The computation
k[X]
of λ ( m⌈sq⌉ +m
[q] +I (X) ) follows an expected combinatorial argument. Following the techniques in [RS15], we explain
2
how to give a precise enough monomial count.
In the rest of the paper we will be operating under the assumptions that s ∈ Z[p−1 ] and q is large enough that
sq ∈ Z. We do this because we are primarily interested in establishing that the length function is polynomial in q.
It is unreasonable to expect such behavior for s ∉ Z[p−1 ]. As a simple example, consider the ring R = F2 [x, y] and
let m = (x, y) and s = 43 . For any e ∈ N, we have that
e+2
⎧
⎪ 2 +1 if e is odd
2e+2
⎪
⌈sp ⌉ = ⌈
⌉ = ⎨ 2e+23 +2
⎪
3
if e is even.
⎪
⎩ 3
From this we can easily compute the length function in question:
⎧
⎪
e
e
⎪ 7 p2e + 5 pe − 2 if e > 0 is odd
λ(R/m⌈sp ⌉ + m[p ] ) = ⎨ 97 2e 79 e 95
⎪
⎪
⎩ 9 p + 9 p − 9 if e > 0 is even.
This example shows that even in the simplest cases, we cannot expect the length function to be equal to a single
polynomial when s ∉ Z[p−1 ].

e

3. Combinatorics
) = 0 if n < 0, m < n, or m < 0. Unspecified summations are over all integers.
We utilize the convention that (m
n
We are interested in counting staircase monomials with restricted row and column sums. Using [RS15, Lem.
2.4], it suffices to count (m + n)-tuples (x1 , . . . , xm , y1 , . . . , yn ) ∈ Zm+n
≥0 , where we interpret the xi ’s as row sums
and yj ’s as column sums of the associated exponent matrix to the staircase monomial. This forces the condition
∑i xi = ∑j yj and the lemma, loc. cit., gives a bijection between such tuples and staircase monomials. Thus
by Corollary 2.6, to calculate the length of k[X]/(I2 (X) + m⌈sq⌉ + m[q] ), it suffices to count all (m + n)-tuples
(x1 , . . . , xm , y1 , . . . , yn ) ∈ Zm+n
such that ∑i xi = ∑j yj < ⌈sq⌉ and either all xi < q for all 1 ≤ i ≤ m or all yj < q for
≥0

4

LANCE EDWARD MILLER AND WILLIAM D. TAYLOR

all 1 ≤ j ≤ q. There is a natural symmetry to this requirement which we exploit via an inclusion-exclusion type
argument. To this end, we introduce two symbols T and U which count monomials meeting relevant conditions.
Definition 3.1. Fix m, n, r and q in N. Let T (m, n, r, q) be the number of m + n-tuples,
(x1 , . . . , xm , y1 , . . . , yn ) ∈ Zm+n
such that
≥0
∑ xi = ∑ yj < r and xi < q for all 1 ≤ i ≤ m.
i

j

Also let U (m, n, r, q) of all m + n-tuples (x1 , . . . , xm , y1 , . . . , yn ) ∈ Zm+n
such that
≥0
∑ xi = ∑ yj < r, for all i, xi < q, and for all j, yj < q.
i

j

Remark 3.2. The functions T (m, n, r, q) and U (m, n, r, q) were utilized in Eto and Yoshida’s calculation of the
Hilbert-Kunz multiplicity of the determinantal ring defined by 2-minors, viewed as the Segre product of two polynomial rings [Eto02, EY03]. Specifically, for X an m × n-matrix of variables, the ring k[X]/I2 (X) is isomorphic
to k[z1 , . . . , zm ]#k[y1 , . . . , yn ]. From [MS13, Rmk. 2.5], one expresses the length using the following monomial
counts. Set αm,d the number of monomials in k[z1 , . . . , zm ] of total degree d and αm,d,q the number of monomials
in k[z1 , . . . , zm ] of total degree d and zi -degree at most q for all i, and similarly for k[y1 , . . . , ym ]. From [MS13,
Rmk. 2.5] one expresses the length via inclusion-exclusion
(q−1)n

(q−1)m

(q−1)m

d=0

d=0

d=0

λ(k[X]/(I2 (X) + m[q] ) = ∑ αm,d αn,d,q + ∑ αn,d αm,d,q − ∑ αn,q,d αm,d,q .
Immediately one has
⌈sq⌉

⌈sq⌉

⌈sq⌉

d=0

d=0

d=0

λ(k[X]/(I2 (X) + m⌈sq⌉ + m[q] )) = ∑ αm,d αn,d,q + ∑ αn,d αm,d,q − ∑ αn,q,d αm,d,q .

The functions T (n, m, r, q) and U (n, m, r, q) arise from exploiting the correspondence in [RS15, Lem. 2.4] between
monomials and tuples.
Our goal is to give a closed form for T (m, n, r, q) and U (m, n, r, q). We start with a helpful auxiliary combinatorial
identity.
Lemma 3.3. For a, b, c ∈ N, ∑ (
∞

w=0

c+w a b
c c
)( )( ) = ( )( ).
a+b w w
a b

We offer two proofs of this statement. The first is based on the Zeilberger-Wilf algorithm. The second is a
more elaborate combinatorial proof which realizes a bijection between two sets each of which obviously having
cardinalities both sides of this identity.
)( a )( b ) and
Proof. (of Lemma 3.3) Set F (w, a) = (c+w
a+b w w
G(w, a) =
One may immediately verify the identity
(1)

w2 (−a − b + c + w)
F (w, a).
(1 + a + b)(−1 − a + w)

G(w + 1, a) − G(w, a) = (a − c)F (w, a) + (1 + a)F (w, a + 1).

Setting H(a) ∶= ∑w F (w, a) and summing (1) over w we have 0 = (a − c)H(a) + (1 + a)H(a + 1), and thus
H(a) =

(c − a + 1)⋯(c)
c 0 c+w b
c c
H(0) = ( ) ∑ (
)( ) = ( )( ).
a!
b
a w
w
a b


Next, we give a stronger combinatorial proof of Lemma 3.3. We introduce some notation only used for this proof.
For n ∈ N, let [n] denote the set {1, 2, . . . , n}. By a colored integer we mean an element of [c] × {red, blue}. We
call the first component of a colored integer its value and we call the second component its color. We impose an
order on the set of colored integers by declaring that red < blue and using the lexicographic order. In particular,
x < x′ if either the value of x is less than the value of x′ , or their values are equal, x is red, and x′ is blue. For
example, 2 × blue < 3 × red and 5 × red < 5 × blue. By a chain of type (a, b) we mean a chain of colored integers
x1 < ⋯ < xa+b containing a red integers and b blue integers. Such a chain is determined completely by the values of
the red integers and the values of the blue integers, and so the number of chains of type (a, b) is (ac )(cb).

THE s-MULTIPLICITY FUNCTION OF 2 × 2-DETERMINANTAL RINGS

5

Proof. (of Lemma 3.3) We show that the number of chains of type (a, b) is equal to the number of 4-tuples
(w, A, B, C), where w is an integer, A ⊆ [a] has size w, B ⊆ [b] has size w, and C ⊆ [c + w] has size a + b. The latter
c+w a
b
set clearly has size ∑∞
w=0 ( a+b )(w)(w ) and so finding such a bijection immediately establishes the desired equality.
All sets involved are totally ordered, so we utilize the notation {i1 < . . . < in } for a set of natural numbers i1 , . . . , in
ordered as indicated.
We first define a function ϕ from the set of all chains of type (a, b) to the set of 4-tuples. To do so, we need one
more piece of terminology. We call a consecutive pair of colored integers (xi , xi+1 ) with xi < xi+1 an rb-pair if xi is
red and xi+1 is blue. Note by the ordering there are two types of rb-pairs, those with equal value and those with
differing values. We call an rb-pair stable provided the values in the pair agree.
Let X be a chain of type (a, b) consisting of colored integers x1 < ⋯ < xa+b . Let {i1 < ⋯ < ia } be the set of indices
of red integers in X and let {j1 < ⋯ < jb } be the set of indices of blue integers in X. We first encode the rb-pairs.
Set A = {ℓ ∶ (xiℓ , xiℓ +1 ) is an rb-pair} and similarly B = {ℓ ∶ (xjℓ −1 , xjℓ )is an rb-pair}. Clearly A ⊆ [a] and B ⊆ [b],
and #A = #B.
We now produce the tuple (w, A, B, C). The sets A and B have already been defined and both have cardinality
w. It suffices now to construct C. This will encode both the values of the chain and the locations of the stable
rb-pairs. Set C ′ ⊆ [c] be the set of values of the elements of X. To capture the location of the stable rb-pairs in a
recoverable manner, we write A = {s1 < . . . < sw } and set
C ′′ = {ℓ ∶ the rb-pair starting with xsℓ is stable}.

One may check that #C ′ + #C ′′ = a + b. Setting C = C ′ ∪ {c + ℓ ∶ ℓ ∈ C ′′ } ⊆ [c + w], we have produced from the given
chain X of type (a, b) a tuple ϕ(X) ∶= (w, A, B, C). Its clear that ϕ is injective. In particular, two chains X and
X ′ have ϕ(X) = ϕ(X ′ ), then they must have the same value set as both are recovered by C ∩ [c], and the same
locations of rb-pairs as both are determined by A and B, as well as the same locations of stable rb-pairs as these
locations are determined by C ∖ (C ∩ [c]). All this data completely determines the red and blue colored integers in
the chains X and X ′ , hence they are the same chain.
We now check that ϕ is surjective. Fix (w, A, B, C) a 4-tuple of the desired form. Write A = {i1 < ⋯ < iw } ⊆ [a]
and B = {j1 < ⋯ < jw } ⊆ [b]. Also decompose C ′ = C ∩ [c] = {c1 < ⋯ < ca+b−f } and let C ′′ = {s1 < ⋯ < sf }
where C ∩ [c + 1, c + j] = {c + s1 < ⋯ < c + sf }. We now build a chain X = (x1 < ⋯ < xa+b ) of type (a, b) with
ϕ(X) = (w, A, B, C). To determine the chain we first construct the coloring, that is we describe a sequence of a + b
colored buckets into which we will place values. This is determined by the sets A and B. Color the first j1 − 1
buckets blue, then the next i1 buckets red, the next j2 − j1 buckets blue, the next i2 − i1 buckets red, and so on.
Finishing this, the sequence may be too short, however we know that there will be no more rb-pairs, so we fill in
with the remaining number of blue buckets, then the remaining number of red buckets.
Now it suffices to fill in the values. The coloring has been chosen so that the iℓ th red bucket is part of an rb-pair
for 1 ≤ ℓ ≤ w, and similarly the jℓ th blue bucket is part of an rb-pair. Use the set C ′′ to mark the red component
of the stable rb-pairs. Now start placing values in buckets in order, and repeat values on the stable rb-pairs so
marked. This produces the chain X. To see that ϕ(X) = (w, A, B, C) note that A and B characterize the rb-pairs
of X and C consists precisely of the values and the encoded locations of the stable rb-pairs by construction.

Example 3.4. Fix a = 7, b = 8, and c = 15. As is typical with combinatorial proofs, it is instructive to see the
functions in action in an example. Consider the (7, 8) chain
1r < 2r < 3r < 4b < 5r < 5b < 6b < 7b < 8b < 9r < 10r < 10b < 11b < 12r < 13b
where we denote a red number nr with value n and a blue number nb with value n. Realize this chain as x1 < . . . < x15
colored integers.
The red indicies are {1 < 2 < 3 < 5 < 10 < 11 < 14} and the blue indicies are {4 < 6 < 7 < 8 < 9 < 12 < 13 < 15}.
Writing the former set as {i1 < . . . < i7 } and the latter as {j1 < . . . < j8 }, we have the set A of red subindicies of
rb-pairs is {3 < 4 < 6 < 7} and B the set of blue subindicies of rb-pairs is {1 < 2 < 6 < 8}. So w = 4. The set C ′ is
the set of values {1, . . . , 13}. The set C ′′ is the set of those indices in A which arise for stable rb-pairs, in this case
C ′′ = {2, 3}. Shifting these by c = 15 we have C = {1, . . . , 13, 17, 18} and we have ϕ(X) = (4, A, B, C).
Continuing with a = 7, b = 8, and c = 15, we compute ψ(2, A, B, C) where A = {3 < 5}, B = {1 < 2}, and
C = {1, . . . , 14, 17} ⊂ [17]. To calculate ψ(2, A, B, C) we split C into the honest values {1, . . . , 14} and the index
17 −15 = 2 which corresponds to a unique stable rb-pair. We first determine the pattern of colors. Since B = {1 < 2},
the first blue number is part of an rb-pair, which means the sequence starts with red numbers. Since A = {3 < 5}, the
third red number is the earliest one that is part of an rb-pair, so our sequence starts r < r < r < b. The second blue
number is also part of an rb-pair, and so we must switch back to red numbers until we reach the 5th red number,

6

LANCE EDWARD MILLER AND WILLIAM D. TAYLOR

so our sequence looks like r < r < r < b < r < r < b. There are no more rb-pairs, and so we must finish writing blue
numbers and then end with the remaining red numbers: r < r < r < b < r < r < b < b < b < b < b < b < b < r < r. We
have that the values of the elements in our chain are nonincreasing, and the 2nd rb-pair is the only stable rb-pair,
and the values of the 15 colored integers include all values in [14], hence our chain of type (7, 8) is
1r < 2r < 3r < 4b < 5r < 6r < 6b < 7b < 8b < 9b < 10b < 11b < 12b < 13r < 14r.

With Lemma 3.3 in hand, we draw out a few immediate consequences, which will be applied in the main counting
result, Theorem 3.8.
c
i i
c+j +1 a b
)( )( ).
Corollary 3.5. For a, b, c ∈ N, ∑ ( )( ) = ∑ (
a+b+1 j j
i=0 a b
j

Proof. By Lemma 3.3 and the Hockeystick Lemma,
c
c
c
i i
i+j a b
i+j
a b
c+j +1 a b
)( )( ) = ∑ (∑ (
)) ( )( ) = ∑ (
)( )( ).
∑ ( )( ) = ∑ ∑ (
a
b
a
+
b
j
j
a
+
b
j
j
a
+b+1 j j
i=0
i=0 j
j
i=0
j
c

Corollary 3.6. For c, u, u′ , v, v ′ ∈ N, ∑ (
i=0

Proof. The sum

c
t+i v+i
∑i=0 ( u )( w )



t+i v+i
t
v
c+j +1 a b
)(
) = ∑∑∑(
)(
)(
)( )( ).
u
w
u−a w−b a+b+1 j j
a b j

is the coefficient of xu y w in the polynomial

c

∑(x + 1)

i=0

i+t

c

(y + 1)i+v = (x + 1)t (y + 1)v ∑(x + 1)i (y + 1)i .
i=0

The coefficient of xu y w in the right hand side is, by Corollary 3.5,
∑∑(
a

b

c
t
v
i i
t
v
c+j +1 a b
)(
) ∑ ( )( ) = ∑ ∑ ∑ (
)(
)(
)( )( ).
u − a w − b i=0 a b
u−a w−b a+b+1 j j
a b j



The final ingredient is following lemma, which offers a direct count of the type of tuples we are interested in. Its
proof is a direct application of [RS15, Lem. 2.5], inclusion-exclusion, and Pascal’s identity and left to the reader.
Lemma 3.7. Fix natural numbers v, d, and q. The number of tuples (z1 , . . . , zv ) ∈ Zv≥0 with ∑i zi = d and zi < q is
d − iq + v − 1
i v
).
∑(−1) ( )(
i
v−1
i

Armed with this, we obtain a closed form for T (m, n, r, q) and U (m, n, r, q). These closed forms involve the
q
monus operation a b = max{a − b, 0}.
Theorem 3.8. For fixed d ∈ N,
m−1
iq + n − 1 r − iq + j a b
m
T (m, n, r, q) = ∑ ∑ ∑ ∑(−1)i ( )(
)(
)(
)( )( )
i
m
−
1
−
a
n−1−b a+b+1 j j
i a b j
and

q
q
m n (j i)q + m − 1 (i j)q + n − 1 r − max{i, j}q + ℓ a b
U (m, n, r, q) = ∑ ∑ ∑ ∑ ∑(−1)i+j ( )( )(
)(
)(
)( )( )
i j
m−1−a
n−1−b
a+b+1
ℓ ℓ
i j a b ℓ

Proof. Both claims are proved using similar techniques. By Lemma 3.7, the number of m-tuples (x1 , . . . , xm ) such
that ∑i xi = d and xi < q for all i is
d − iq + m − 1
i m
)
∑(−1) ( )(
i
m−1
i
). Therefore,
and the number of n-tuples (y1 , . . . , yn ) with ∑j yj = d is (d+n−1
n−1

r−1
m d − iq + m − 1 d + n − 1
m r−1 d − iq + m − 1 d + n − 1
T (m, n, r, q) = ∑ ∑(−1)i ( )(
)(
) = ∑(−1)i ( ) ∑ (
)(
).
i
m−1
n−1
i d=0
m−1
n−1
i
d=0 i

Applying Corollary 3.6 with c = r − iq − 1, t = u = m − 1, v = iq + n − 1, and w = n − 1, we obtain that
r−iq−1
d′ + m − 1 d′ + iq + n − 1
m−1
iq + n − 1 r − iq + j a b
d − iq + m − 1 d + n − 1
)(
) = ∑∑∑(
)(
)(
)( )( ).
)(
)= ∑ (
∑(
m
−
1
n
−
1
m
−
1
−
a
n−1−b a+b+1 j j
m
−
1
n
−
1
′
a b j
d =0
d=0

r−1

THE s-MULTIPLICITY FUNCTION OF 2 × 2-DETERMINANTAL RINGS

Thus,

7

m
m−1
iq + n − 1 r − iq + j a b
T (m, n, r, q) = ∑ ∑ ∑ ∑(−1)i ( )(
)(
)(
)( )( ).
i
m
−
1
−
a
n−1−b a+b+1 j j
i a b j

Similarly, we find an equivalent expression for U . We have that
r−1
m n d − iq + m − 1 d − jq + n − 1
U (m, n, r, q) = ∑ ∑ ∑(−1)i+j ( )( )(
)(
).
i j
m−1
n−1
d=0 i j

if i ≥ j, then letting c = r − iq − 1, t = u = m − 1, v = iq − jq + n − 1, and w = n − 1, we have that
r−iq−1
d′ + m − 1 d′ + iq − jq + n − 1
d − iq + m − 1 d − jq + n − 1
)(
)
)(
)= ∑ (
∑(
m−1
n−1
m−1
n−1
d′ =0
d=0
m−1
iq − jq + n − 1 r − iq + ℓ a b
= ∑∑∑(
)(
)(
)( )( ).
n−1−b
a+b+1 ℓ ℓ
a b ℓ m−1−a

r−1

By a symmetric argument, if i < j, then
r−1

d − iq + m − 1 d − jq + n − 1
jq − iq + m − 1
n−1
r − jq + ℓ a b
)(
) = ∑∑∑(
)(
)(
)( )( ).
∑(
m
−
1
n
−
1
m
−
1
−
a
n
−
1
−
b
a+b+1 ℓ ℓ
a b ℓ
d=0

Therefore,

q
q
m n (j i)q + m − 1 (i j)q + n − 1 r − max{i, j}q + ℓ a b
)(
)(
)( )( ).
U (m, n, r, q) = ∑ ∑ ∑ ∑ ∑(−1)i+j ( )( )(
m−1−a
n−1−b
a+b+1
ℓ ℓ
i j
i j a b ℓ


We are now set to put this all together to give a closed form for the desired length function.
Theorem 3.9. Fix k a field, p an integer and q a p-power. Let X be an m×n-matrix of variables, m the homogeneous
maximal ideal of k[X] and I2 (X) the ideal of 2 × 2-minors. Let s ∈ R>0 such that sq ∈ Z, and set
m−1 n−1
sq + ℓ
a b
R(m, n, s, q) ∶= ∑ ∑ ∑ (
)(
)(
)( )( )
a
b
a+b+1 ℓ ℓ
a b ℓ
q
q
m n (j i)q + m − 1 (i j)q + n − 1 (s − max{i, j})q + ℓ a b
S(m, n, s, q) ∶= ∑ ∑ ∑ ∑ ∑(−1)i+j ( )( )(
)(
)(
)( )( ).
i j
m−1−a
n−1−b
a+b+1
ℓ ℓ
i>0 j>0 a b ℓ
k[X]
The length λ ( m⌈sq⌉ +m
[q] +I (X) ) = R(m, n, s, q) − S(m, n, s, q) is eventually a polynomial in q for all s.
2

Proof. First use Corollary 2.6 to give a k-basis for the vector space k[X]/(m⌈sq⌉ + m[q] + I2 (X)) consisting of
monomials of bounded degree and with restricted row and column sums. This reduces the calculation to the
functions T and U . In particular, by applying Lemma 3.7 and Theorem 3.8, we have

λ(

k[X]
) = T (m, n, sq, q) + T (n, m, sq, q) − U (m, n, sq, q)
msq + m[q] + I2 (X)
m
m−1
iq + n − 1 (s − i)q + ℓ a b
= ∑ ∑ ∑ ∑(−1)i ( )(
)(
)(
)( )( )
i
m
−
1
−
a
n−1−b
a+b+1
ℓ ℓ
i a b ℓ

n jq + m − 1
n−1
(s − j)q + ℓ a b
+ ∑ ∑ ∑ ∑(−1)j ( )(
)(
)(
)( )( )
j
m
−
1
−
a
n
−
1
−
b
a+b+1
ℓ ℓ
j a b ℓ
q
q
m n (j i)q + m − 1 (i j)q + n − 1 (s − max{i, j})q + ℓ a b
− ∑ ∑ ∑ ∑ ∑(−1)i+j ( )( )(
)(
)(
)( )( )
i j
m−1−a
n−1−b
a+b+1
ℓ ℓ
i j a b ℓ

=∑∑∑(

m−1 n−1
sq + ℓ
a b
)(
)(
)( )( )
a
b
a
+
b
+
1
ℓ ℓ
a b ℓ
q
q
m n (j i)q + m − 1 (i j)q + n − 1 (s − max{i, j})q + ℓ a b
)(
)(
)( )( )
− ∑ ∑ ∑ ∑ ∑(−1)i+j ( )( )(
m−1−a
n−1−b
a+b+1
ℓ ℓ
i j
i>0 j>0 a b ℓ

where the last equality follows as the i = 0 summand of U (m, n, sq, q) is precisely T (n, m, sq, q) and the j = 0
summand of U (m, n, sq, q) is precisely T (m, n, sq, q) and so they cancel in the sum, except for the summand
m−1 n−1
sq+ℓ
a b
∑a ∑b ∑ℓ ( a )( b )(a+b+1)( ℓ )(ℓ) which only appears once in U (m, n, sq, q) when i = 0 and j = 0, but appears twice
in T (m, n, sq, q) + T (n, m, sq, q).


8

LANCE EDWARD MILLER AND WILLIAM D. TAYLOR

3.1. Examples. Fix R = k[X]/I2 (X) where X is an m × n-matrix. We conclude with a few examples using
Theorem 3.8 and use this to calculate es (R) for small values of m and n.

Example 3.10. Suppose m = n = 2 and assume throughout assume s ∈ Z[p−1 ] and so sq is always an integer
for q ≫ 0. We calculate λ ( msq +mk[X]
[q] +I (X) ) by calculating R(2, 2, s, q) and S(2, 2, s, q). The latter depends on the
2
integer part of s.
2 2
3 3
s3 q3 s2 q2 sq
. For s < 1, S(2, 2, s, q) = 0 and so λ ( msq +mk[X]
+ 2 +6.
We always have R(2, 2, s, q) = s 3q + s 2q + sq
[q] +I (X) ) =
6
3
2
For 1 ≤ s < 2 we have
4
2
S(2, 2, s, q) = (s − 1)3 q 3 + 2(s − 1)2 q 2 + (s − 1)q.
3
3
Likewise, for s ≥ 2 we have
s3 4
s2
s 1
S(2, 2, s, q) = ( − ) q 3 + q 2 + ( + ) q.
3 3
2
6 3
Putting this together yields a closed form for the length in question
2
⎧
s3 3
⎪
q + s2 q 2 + 6s q
⎪
3
⎪
⎪
2
k[X]
⎪ 3
λ ( sq
) = ⎨( s3 − 43 (s − 1)3 ) q 3 + ( s2 − 2(s − 1)2 ) q 2 + ( 6s − 23 (s − 1)) q
[q]
⎪
m + m + I2 (X)
⎪
⎪
4 3
1
⎪
⎪
⎩3q − 3q
Recalling that
⎧
⎪
if s < 1
⎪ 1 s3
2Hs (3) − 2Hs−1 (3) = ⎨ 13 3 4
3
⎪
⎪
⎩ 3 s − 3 (s − 1) if 1 ≤ s < 2

we have shown that

if 0 < s ≤ 1
if 1 < s ≤ 2 .
if s > 2

⎧
⎪2Hs (3) − 2Hs−1 (3) if s ≤ 2
1
k[X]
⎪
λ
(
⎨4
)
=
3
sq
[q]
q→∞ q
⎪
m + m + I2 (X)
if s ≥ 2.
⎪
⎩3

hs (m) = lim

2Hs−1 (3)
⎧
⎪
⎪2 −
es (R) = ⎨ 4 Hs (3)
⎪
⎪
⎩ 3Hs (3)

and thus

if s ≤ 2
if s ≥ 2.

Example 3.11. Now fix m = 2 and n = 3. We have R(2, 3, s, q) =

s4 4
q
8

+

.
5s3 3
q
12

+

3s2 2
q
8

⎧
0
⎪
⎪
⎪
⎪
⎪
⎪ 3 (s − 1)4 q 4 + 5 (s − 1)3 q 3 + 9 (s − 1)2 q 2 + 1 (s − 1)q
⎪
2
4
2
S(2, 3, s, q) = ⎨ 14
1
1
3
2
4
2
3
⎪
(4s
−
9s
+
7)q
+
(9s
−
9s
−
8)q
+
(5s − 1)q 2 + 12 q
⎪
4
4
4
⎪
⎪
4
⎪
⎪( −13 + s )q 4 + ( 1 + 5 s3 )q 3 + ( 1 + 3 s2 )q 2 + ( 1 + s )q
⎪
⎩ 8
8
4
12
8
8
4
12

+

s
q
12

if
if
if
if

and

0<s<1
1≤s<2
2≤s<3
3≤s

and we have the length λ ( msq +mk[X]
[q] +I (X) ) is given by
2

3
2
s4 4
s
⎧
q + 5s
q 3 + 3s8 q 2 + 12
q
⎪
⎪
8
12
⎪
4
2
⎪
⎪
s
3
5s3
s
4 4
⎪
− 12 (s − 1))q
⎪( 8 − 4 (s − 1) )q + ( 12 − 52 (s − 1)3 )q 3 + ( 3s8 − 49 (s − 1)2 )q 2 + ( 12
⎨ s4 1
3
2
5s
1
3s
1
s
3
2
4
2
3
⎪
− 21 )q
( − (4s − 9s + 7))q + ( 12 − 4 (9s − 9s − 8))q + ( 8 − 4 (5s − 1))q 2 + ( 12
⎪
⎪
⎪ 138 4 4 1 3 1 2 1
⎪
⎪
⎪
⎩ 8 q − 4q − 8q − 4q

if
if
if
if

We have that

s4
⎧
⎪
⎪
8
⎪
4
⎪
⎪
⎪
1
k[X]
⎪( s8 − 34 (s − 1)4 )
hs (m) = lim 4 λ ( sq
)
=
⎨
4
q→∞ q
⎪
m + m[q] + I2 (X)
( s8 − 14 (4s3 − 9s2 + 7))
⎪
⎪
⎪ 13
⎪
⎪
⎪
⎩8
In terms of the normalizing factors Hs one may write this as

⎧
⎪
3
⎪
⎪
⎪
⎪
6Hs−1 (4)
⎪
⎪
3
⎪ −
es (R) = ⎨ 13 Hs (4)H3−s (4)+sH3−s (3)
⎪
−
⎪
Hs (4)
⎪
s (4)
⎪ 8H13
⎪
⎪
⎪
⎪
⎩ 8Hs (4)

if 0 < s < 1
if 1 ≤ s < 2
if 2 ≤ s < 3
if 3 ≤ s

.

if
if
if
if

0<s<1
1≤s<2
.
2≤s<3
3≤s

0<s<1
1≤s<2
.
2≤s<3
3≤s

THE s-MULTIPLICITY FUNCTION OF 2 × 2-DETERMINANTAL RINGS

9

References
[Eto02] K. Eto, Multiplicity and Hilbert-Kunz Multiplicity of Monoid Rings, Tokyo J. Math., 25, 2, (2002), 241–245. 4
[EY03] K. Eto and K-i. Yoshida, Notes on Hilbert-Kunz multiplicity of Rees algebras, Comm. Algebra, 31, (2003), 5943–5976. 1, 4
[MS13] L. E. Miller and I. Swanson Hilbert-Kunz functions of 2 × 2 determinantal rings, Illinois Journal of Mathematics, 57, 1, (2013),
251277. 1, 2, 3, 4
[Mon83] P. Monsky, The Hilbert-Kunz function, Math. Ann., 263, (1983), 43–49. 1
[HMM04] C. Huneke, M. McDermott, and P. Monsky, Hilbert-Kunz Functions for Normal Rings, Math. Res. Lett., 11, (2004), 4,
539–546. 1
[RS15] M. Robinson and I. Swanson, Explicit Hilbert-Kunz functions of 2 × 2 determinantal rings, Pacific Journal of Mathematics 275
(2015), 433–442. 1, 2, 3, 4, 6
[Tay] W. Taylor, Interpolating between Hilbert-Samuel and Hilbert-Kunz multiplicity, arXiv:1706.07445. 1, 2
[Wat02] K.-i. Watanabe, Hilbert-Kunz multiplicity of toric rings, The Inst. of Natural Sciences Nihon Univ., Proc. of the Inst. of Natural
Sciences, 35 (2000), 173–177.

