ENUMERATING TRACELESS MATRICES OVER COMPACT
DISCRETE VALUATION RINGS

arXiv:1709.02717v2 [math.GR] 8 Nov 2017

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL
Abstract. We enumerate traceless square matrices over finite quotients of compact
discrete valuation rings by their image sizes. We express the associated rational generating functions in terms of statistics on symmetric and hyperoctahedral groups, viz.
Coxeter groups of types A and B, respectively. These rational functions may also
be interpreted as local representation zeta functions associated to the members of an
infinite family of finitely generated class-2-nilpotent groups.
As a byproduct of our work, we obtain descriptions of the numbers of traceless
square matrices over a finite field of fixed rank in terms of statistics on the hyperoctahedral groups.

1. Introduction and statement of main results
Let n ∈ N. Given a ring R, we write sln (R) for the set of n × n-matrices over R of
trace zero. In the case that R is a finite field Fq , we write, for i ∈ {0, 1, . . . , n},
Bn,n−i (Fq ) = {x ∈ sln (Fq ) | rk(x) = n − i}
for the set of traceless n × n-matrices over Fq of rank n − i. Formulae expressing the
cardinalities of these sets as polynomials in the field’s cardinality q are well-known, e.g.
by the work [3] of Bender; cf. Lemma 2.2.
In the current paper, we generalize these enumerative formulae to traceless matrices
over more general finite quotients of compact discrete valuation rings. As a byproduct
we obtain an interpretation of the polynomials |Bn,n−i (Fq )| in terms of statistics on
hyperoctahedral groups, viz. finite Coxeter groups of type B; cf. Proposition 1.4.
1.1. Counting traceless matrices over compact discrete valuation rings. We
now state our generalized counting problem. Let o be a compact discrete valuation ring
of arbitrary characteristic, with unique maximal ideal p, residue field cardinality q, and
residue field characteristic p. Given a level N ∈ N0 , we set oN = o/pN . Clearly, traceless
matrices of level N = 1 decompose in a disjoint union as follows:
sln (o1 ) =

n
[

Bn,n−i (Fq ).

i=0

Noting that x ∈ sln (o1 ) has rank rk(x) = n − i if and only if | im(x)| = q n−i when x is
viewed as an endomorphism of on1 suggests a natural generalization of this decomposition
to arbitrary levels, viz. by image sizes. For any N ∈ N and x ∈ sln (oN ), write im(x)
for the image of x, viewed as an endomorphism of onN . For N ∈ N, we write sln (oN )∗ =
Date: November 9, 2017.
2010 Mathematics Subject Classification. 05A15, 11M41, 11S40, 22E55, 20G25.
Key words and phrases. Matrices over finite fields, traceless matrices, signed permutation statistics,
Igusa zeta functions, representation zeta functions, representation growth of finitely generated nilpotent
groups, topological zeta functions.

2

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

sln (oN ) \ (p · sln (oN )) for the primitive traceless n × n-matrices of level N , i.e. those
which are not zero modulo p. We set sln (o0 )∗ = {0}.
Definition 1.1. The image zeta function of sln (o) is the ordinary generating function
Pn,o (s) :=

∞
X

X

| im(x)|−s ∈ QJq −s K,

N =0 x∈sln (oN )∗

where s is a complex variable.
The series Pn,o (s) is well-defined as summation is restricted to primitive matrices.
One of our main results shows that the power series Pn,o (s) is a rational function
over Q in q and q −s , and describes this rational function explicitly. In the following,
Sn denotes the symmetric group of degree n, whereas ℓ and Des denote the standard
Coxeter length and the descent set statistics on Sn , respectively; see Section 3.1 for
details.
Theorem 1.2. For all compact discrete valuation rings o, with residue field cardinality q, say, the image zeta function of sln (o) satisfies
Ñ

Pn,o (s) =

X

q −ℓ(w)

w∈Sn

Y

é

q

n2 −j 2 −1−s(n−j)

n−1
Y
j=0

j∈Des(w)

1 − q j−s
1 − q n2 −j 2 −1−s(n−j)

.

Example 1.3. Throughout, we write t = q −s .
(1)
P1,o (s) = 1.
(2)
(1 − t)(1 − q 2 t2 )
(1 − t)(1 − qt)
=
.
P2,o (s) = (1 + qt)
(1 − q 2 t)(1 − q 3 t2 )
(1 − q 2 t)(1 − q 3 t2 )
(3)
(1 − t)(1 − qt)(1 − q 2 t)
(1 − q 4 t)(1 − q 7 t2 )(1 − q 8 t3 )
(1 − q 4 t2 )(1 − q 9 t3 )(1 − t)(1 − qt)(1 − q 2 t)
.
=
(1 − q 2 t)(1 − q 3 t)(1 − q 4 t)(1 − q 7 t2 )(1 − q 8 t3 )

P3,o (s) = (1 + q 2 t)(1 + q 3 t + q 6 t2 )

(4)
(1 − t)(1 − qt)(1 − q 2 t)(1 − q 3 t)
,
(1 − q 6 t)(1 − q 11 t2 )(1 − q 14 t3 )(1 − q 15 t4 )
where V4 (q, t) = (1 + q 4 t)V4′ (q, t) and
P4,o (s) = V4 (q, t)

V4′ (X, Y ) = X 21 Y 5 + X 18 Y 4 + X 16 Y 4 + X 13 Y 3 + X 12 Y 3 + X 11 Y 3 +
X 10 Y 2 + X 9 Y 2 + X 8 Y 2 + X 5 Y + X 3 Y + 1.
Computations with SageMath show that the polynomial V4′ (X, Y ) ∈ Q[X, Y ] is
irreducible.
(5)
P5,o (s) = V5 (q, t)

(1 − t)(1 − qt)(1 − q 2 t)(1 − q 3 t)(1 − q 4 t)
,
(1 − q 8 t)(1 − q 15 t2 )(1 − q 20 t3 )(1 − q 23 t4 )(1 − q 24 t5 )

where V5 (X, Y ) ∈ Q[X, Y ] has degree 56 in X and 10 in Y . Computations with
SageMath show that V5 (X, Y ) is irreducible.

ENUMERATING TRACELESS MATRICES

3

To prove Theorem 1.2—itself a reformulation of Theorem 3.12—we first organize the
enumeration of primitive traceless matrices of given level by the matrices’ elementary
divisor types; cf. Section 2.2. Proposition 2.3 reduces this problem to the problems of
enumerating the sets Bn,n−i (Fq ) and enumerating sets of arbitrary (viz. not necessarily
traceless) matrices of smaller dimension and level. A first formula for Pn,o (s) is obtained
in Theorem 2.6 by combining the solutions of the former problem by Bender’s formula
(cf. Lemma 2.2) and the latter problem by [15, Proposition 3.4].
1.2. Counting traceless matrices over finite fields via (signed) permutation
statistics. A key step in the proof of Theorem 1.2 is the formulation of the numbers |Bn,n−i (Fq )| in terms of statistics on signed permutation groups. In the following
result,—which follows directly by combining Lemmas 2.2 and 3.1—we denote by Bn the
hyperoctahedral (or signed permutation) group of degree n. The precise definitions of
{i}c
this group, its quotients Bn as well as the statistics neg, εn , and ℓ on Bn are given in
Section 3.1.
Proposition 1.4. For i ∈ [n − 1]0 ,
|Bn,n−i (Fq )| = q n

2 −i2 −1

X

(−1)neg(w) q (εn −ℓ)(w) .

{i}c

w∈Bn

Proposition 1.4 complements similar results on the numbers of square matrices over
finite fields of fixed ranks which are symmetric, antisymmetric, or satisfy no further restrictions on their entries; cf. Remark 3.2. It allows us to rewrite our “first formula” for
the image zeta function Pn,o (s) given in Theorem 2.6 in terms of a generating polynomial
on the Weyl group Bn , leading to a “second formula” for Pn,o (s) in Proposition 3.11.
Qn−1
That this generating polynomial on Bn factorizes as a product of j=0
(1 − q j−s ) and a
generating polynomial on Sn is a consequence of the general Proposition 3.4, establishing a factorization of a generating polynomial controlling the joint distribution of four
statistics on Bn . Given this factorization, Theorem 3.12 and hence Theorem 1.2 follow
swiftly.
1.3. Applications to representation zeta functions of nilpotent groups. The
Poincaré series Pn,o (s) have an interpretation as local representation zeta functions of
a unipotent group scheme. Let, more precisely, Kn denote the unipotent group scheme
over Q associated to the Z-Lie lattice
(1.1)

Kn = hx1 , . . . , x2n , yij , 1 ≤ i, j ≤ n | [xi , xn+j ] − yij , Tr(y)iZ ;

see [15, Section 2.1.2] and compare with the unipotent group schemes Fn,δ , Gn , and Hn
defined analogously in [15, Section 1.3]. In particular, we follow the convention adopted
there that products among generators other than those following—by antisymmetry or
the Jacobi identity—from the given ones are assumed to be trivial.
We refer to the finitely generated, class-2-nilpotent groups of the form Kn (O), where
O is the ring of integers of a number field, as groups of type K. The representation
zeta function ζKn (O) (s) enumerates the irreducible finite-dimensional complex representations of Kn (O) up to twists by one-dimensional representations; cf. [15, Section 1.1].
By [15, Proposition 2.2], it satisfies an Euler product of the form
(1.2)

ζKn (O) (s) =

Y

p∈Spec(O)

ζKn(Op ) (s),

4

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

where p ranges over the nonzero prime ideals of O. By design of the relations in (1.1)
and [15, Proposition 2.18],
ζKn (Op ) (s) = Pn,Op (s)
for all nonzero prime ideals p of O. The formula in Theorem 1.2 thus yields an explicit
expression for the local representation zeta functions of groups of type K, in analogy to
[15, Theorems B and C]. We note, however, that, in contrast to their siblings of type
F , G, and H, groups of type K do not, in general, have representation zeta functions
that factorize completely as finite products of translates of Dedekind zeta functions and
their inverses; cf. Example 1.3. In Section 4 we deduce some fundamental properties
of the Euler product (1.2), such as its abscissa of convergence and some meromorphic
continuation. In Section 4.2 we study the topological representation zeta functions
associated to the group schemes Kn .
Remark 1.5. The Z-Lie lattice K2 is a Z-form of the 7-dimensional complex Lie algebra
called 3, 7D on [13, p. 483]. Both the generic local representation zeta functions of
the groups of type K2 (cf. Example 1.3 (2)) and their topological counterparts (cf.
Proposition 4.3) have first been computed by means of the computer-algebra package
Zeta; cf. [10]. We thank T. Rossmann for pointing this out to us.
1.4. Related results. Counting matrices over finite fields of given rank satisfying some
(linear) restrictions on their entries is a classical theme that continues to pique researchers’ interest to this day. The paper [8], for instance, studies matrices over finite
fields of fixed rank with specific entries equal to zero. One particularly rich context for
the study of such questions is work in the wake of a speculation of Kontsevich, disproved
by Belkale and Brosnan in [2], about the polynomiality in q of the numbers of Fq -rational
points of certain such rank-varieties arising from finite graphs.
As explained above in the special case of traceless matrices, every rank-distribution
problem for matrices satisfying (Q-)linear restrictions over finite fields has analogues over
finite quotients oN = o/pN of compact discrete valuation rings o: one may enumerate
(primitive) such matrices over these finite rings by the sizes of their images, or—more
finely—by their elementary divisor types. By general, deep results, the ordinary generating functions—or Poincaré series—encoding these numbers, for N ∈ N0 , as coefficients
of powers of a variable t = q −s , say, are rational functions in t, whose denominators are
finite products of terms of the form 1 − q b ta for some a ∈ N, b ∈ N0 . It is, however,
in general a hard problem to compute these rational functions or only just to describe
how they depend on the local rings o. The work [2] suggests that rationality in q −s
and q as exhibited in Theorem 1.2 for traceless matrices (and in [15, Theorem B] for
antisymmetric, symmetric and general square matrices) should be the exception rather
than the rule. The functional equations
Pn,o (s)|q→q−1 = q n

2 −1

Pn,o (s),

however, are general features of Poincaré series enumerating matrices of linear forms by
elementary divisor types; cf. [19, Proposition 2.2].
A common feature observed for the four families of matrices discussed above (and
possibly others, cf. [16]) is that the relevant rational Poincaré series have interpretations
in terms of statistics on Weyl groups of type A and B; cf. Remark 3.2.
1.5. Notation. We write N = {1, 2, . . . } for the set of natural numbers. For a subset
X ⊆ N we write X0 = X ∪ {0}. Given m, n ∈ Z, we set [n] = {1, . . . , n} and [m, n] =
{m, . . . , n}. The notation I = {i1 , . . . , iℓ }< for a finite subset I ⊆ N0 indicates that
i1 < · · · < iℓ . For a property P , we write δP for the “Kronecker delta” of P , which is

ENUMERATING TRACELESS MATRICES

5

1 if P holds and 0 otherwise. We write Matn (R) for the ring of n × n-matrices over a
ring R. The notation Matn,m (Fq ), however, is reserved for the set of n × n-matrices over
the finite field Fq of rank m. By R× we denote the group of units of a (commutative)
ring R. Given i ∈ [n]0 and I ⊆ [n]0 as above, we write
Ç å

n
i

i
Y
1 − X n−i+j

=
X

1 − Xj

j=1

∈ Z[X]

for the X-binomial coefficient and
Ç å
Ç å Ç
å
Ç å
n
n
iℓ
i2
=
...
i1 X
I X
iℓ X iℓ−1 X
for the X-multinomial coefficient. We use the notation gp(X) for the geometric proP
X
r
gression ∞
r=1 X = 1−X ∈ Q(X) and write Tr(x) for the trace of a square matrix x.
2. Counting traceless matrices

2.1. Counting traceless matrices over finite fields by rank. Formulae for the
cardinalities |Bn,n−i (Fq )| = |{x ∈ sln (Fq ) | rk(x) = n − i}|, for i ∈ [n − 1]0 , are given,
for example, in [3]. We recall them here, suitably rephrased. Recall the definition
Ç å

(2.1)

fn,i (X) := fGn ,{i} (X) =

n
i

n
Y

(1 − X j ) ∈ Z[X]

X j=i+1

from [15, Theorem C]. [15, Lemma 3.1 (3.3)] asserts that
qn

2 −i2

fn,i (q −1 )

is the number |Matn,n−i (Fq )| of n × n-matrices over Fq of rank n − i. Set
(2.2)

Ç å
n−i

bn,i (X) = fn,i (X) + (−1)
ÑÑ

Ç å

=

n
i

X

n
Y

n
i

(1 − X)X (
X

n+1
2

−1
)−(i+1
2 )

é

(1 − X j )

é

+ (−1)n−i (1 − X)X (

n+1
2

i+1
2

)−(

)−1

∈ Z[X].

j=i+1

Remark 2.1. Informally, we obtain bn,i (X) from fn,i (X) by lowering by one the exponent
Q
in the leading term in the factor nj=i+1 (1 − X j ) of fn,i (X).

Lemma 2.2 ([3]). For i ∈ [n − 1]0 ,

|Bn,n−i (Fq )| = q n

2 −i2 −1

bn,i (q −1 ).

Proof. In eq. (1) of his paper [3], Bender states that
Ñ

(2.3)

|Bn,n−i (Fq )| = q

−1

q(

n−i
Y

(q n−j+1 − 1)2
qj − 1
j=1

n−i
2

)

é

+ (1 − q

−1

)

n−i
Y

q j−1 − q n
.
qj − 1
j=1

It is a triviality to see that the first summand on the right-hand side of (2.3) is equal
2
2
to q n −i −1 fn,i (q −1 ), whereas the second summand is equal to
Ç å

(2.4)

q

n2 −i2 −1

n−i

(−1)

n
i

(1 − q −1 )q −(

n+1
2

+1
)+(i+1
2 )
.

q −1

We note that (2.4) gives the “error term” |Bn,n−i (Fq )| − |Matn,n−i (Fq )| /q.



6

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

2.2. Counting traceless matrices over quotients of compact discrete valuation rings by elementary divisor type. Our aim is to generalize the enumeration
of traceless matrices over finite fields by their ranks to traceless matrices over larger
quotients of compact discrete valutation rings by their image sizes. The latter, in
turn, are controlled by the matrices’ elementary divisor types. More precisely, given
I = {i1 , . . . , iℓ }< ⊆ [n − 1]0 and rI ∈ NI , we set µj = ij+1 − ij with iℓ+1 = n and i0 = 0,
P
and N = ι∈I rι . Recall, e.g. from [15, §3], that a (primitive) n × n-matrix x over
oN = o/pN is said to be of elementary divisor type (I, rI ) if
ν(x) = (0, . . . , 0, riℓ , . . . , riℓ , riℓ + riℓ−1 , . . . , riℓ + riℓ−1 , . . . , N, . . . , N ),
| {z } |
µℓ

{z

µℓ−1

} |

{z

|

}

µℓ−2

{z

µ0

}

where ν(x) is the n-tuple of valuations of the elementary divisors of x, in nondescending
order. In analogy with the notation (introduced in [15, Section 3])
NoI,rI (Gn )
for the set of n × n-matrices over oN of elementary divisor type (I, rI ), we write
NoI,rI (Kn )
for the set of traceless n × n-matrices over oN of elementary divisor type (I, rI ).
Let t = q −s . Noting P
that a matrix x ∈ sln (oN ) of elementary divisor type (I, rI ) has
image size | im(x)| = q i∈I ri (n−i) , equation [15, (3.1)] gives
(2.5)

Pn,o (s) =

X

X

|NoI,rI (Kn )|t

I⊆[n−1]0 rI ∈NI

P

i∈I

ri (n−i)

,

reducing the problem of computing Pn,o (s) to the one of effectively describing the numbers |NoI,rI (Kn )| for varying I and rI . The following result reduces the latter problem
further to the problems of counting traceless matrices over the residue field Fq and
counting smaller, but not necessarily traceless matrices over a proper quotient of oN .
Proposition 2.3. Given ∅ 6= I ⊆ [n − 1]0 and rI ∈ NI , with iℓ = max I,
|NoI,rI (Kn )| = |Bn,n−iℓ (Fq )|q (N −1)(n

2 −i2 −1)
ℓ

· |NoI\{iℓ },rI\{i } (Giℓ )|.
ℓ

Let us fix some notation for the proof of Proposition 2.3. Given 1 ≤ k, m ≤ n and
N ∈ N we define the injection
ık : An−1 (oN ) → An (oN ),

(t1 , . . . , tn−1 ) 7→ (t1 , . . . , tk−1 , 1, tk , . . . , tn−1 )

and let
k,m : Matn−1 (oN ) → Matn (oN ),

x 7→ x′

be the map sending an (n − 1) × (n − 1)-matrix x to the n × n-matrix x′ whose k-th
row and m-th column are zero, and such that the submatrix obtained by deleting the
k-th row and m-th column is x.
The proof of Proposition 2.3 also requires the following lemma.
Lemma 2.4. Let a = (ai,j ) ∈ sln (Fq ). Assume that a is noncentral and an,n 6= 0. Then
there exist 1 ≤ k < n and u ∈ SLn (Fq ) such that
(1) the (n, n)-entry of uau−1 is nonzero and
(2) the (n, k)- and (k, n)-entries of uau−1 are not both zero.
Proof. The assumption that a is not central implies that one of the following holds:
(1) all diagonal entries of a are equal to an,n and ak,r 6= 0 for some r 6= k or

ENUMERATING TRACELESS MATRICES

7

(2) there exists 1 ≤ k < n such that ak,k 6= an,n .
In case (1), we may take u = −σr,n where σr,n is the permutation matrix interchanging
the r-th and n-th elements of the standard basis and fixing all others.
In case (2), we may assume that ak,n = an,k = 0; otherwise the lemma holds trivially.
In this setting, one may take u to be the elementary matrix with 1 in position (k, n)
and verify that conjugation of a by u leaves the (n, n)-entry unchanged and puts the
nonzero value an,n − ak,k in the (k, n)-entry.

Proof of Proposition 2.3. We denote by
ϕ : NoI,rI (Kn ) → Bn,n−iℓ (Fq )
the reduction modulo p. We will prove that, for any a = (ai,j ) ∈ Bn,n−iℓ (Fq ), the fibre
of ϕ over a has size
ϕ−1 (a) = q (N −1)(n

2 −i2 −1)
ℓ

NoI\{iℓ },rI\{i } (Giℓ ) .
ℓ

This clearly suffices to prove the proposition. Given 1 ≤ i, j ≤ n, we define a map
Φi,j : o×
N × An−1 (oN ) × An−1 (oN ) × Matn−1 (oN ) → Matn (oN )
Ä

ä

(x, c, r, y) 7→ x ıi (c)t ıj (r) + i,j (y) .
Note that Φi,j is a bijection onto the set of matrices x ∈ Matn (oN ) with invertible
(i, j)-entry. In particular, im(Φi0 ,j0 ) ⊇ ϕ−1 (a) for any 1 ≤ i0 , j0 ≤ n such that ai0 ,j0 6= 0.
Given ai0 ,j0 6= 0, the requirement Φi0 ,j0 (x, c, r, y) ≡ a (mod p) is equivalent to the
conjunction of the following conditions:
(i)
(ii)
(iii)
(iv)

x ≡ ai0 ,j0 (mod p),
ıi0 (c)t is congruent modulo p to the j0 -th column of the matrix a−1
i0 ,j0 · a,
ıj0 (r) is congruent modulo p to the i0 -th row of the matrix a−1
·
i0 ,j0 a, and
the matrix
of
modulo p to the matrix b = (bi,j ), where
 i0,j0 (y) is congruent


ai,j0
ai0 ,j
ai,j
for all 1 ≤ i, j ≤ n.
bi,j = ai ,j − ai ,j
ai ,j
0 0

0 0

0 0

In particular, since the elementary divisor type of a matrix is invariant under elementary
row and column operations, for any choice of x ∈ o×
N and c = (c1 , . . . , cn−1 ), r =
(r1 , . . . , rn−1 ) ∈ An−1 (oN ) satisfying conditions (i),(ii), and (iii) above, there exists
a matrix y ∈ Matn−1 (oN ), satisfying condition (iv) such that Φi0 ,j0 (x, c, r, y) is of
elementary divisor type (I, rI ). We now compute the number of such tuples which
also satisfy the condition of being traceless. We proceed by a case distinction depending
on the diagonal entries of a.
Case 1: a is noncentral and has a nonzero diagonal entry. In this case, since ϕ−1 (a) is
invariant under conjugating a by an element of SLn (Fq ) we may, for simplicity, assume
that i0 = j0 = n. By the same token, Lemma 2.4, and invariance of ϕ−1 (a) under
transposition of the matrix a, we may assume that there exists 1 ≤ k0 ≤ n − 1 such
that ak0 ,n 6= 0 as well. In particular, it follows that the k0 -th entry ck0 of any element
c ∈ An−1 (oN ) satisfying condition (ii) is invertible in oN .
A direct computation yields
Ä

ä

Tr(Φn,n (x, c, r, y)) = x ın (r)ın (c)tr + Tr(n,n (y)) = x

n−1
X
k=1

!

ck rk + 1 + Tr(y) .

8

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

As x ∈ o×
N , the requirement Tr(Φn,n (x, c, r, y)) = 0 is equivalent to
n−1
X

ck rk = −1 − Tr(y).

k=1

Recalling that ck0 ∈ o×
N , one easily verifies that any choice of y ∈ Matn−1 (oN ) which
satisfies condition (iv) admits exactly q (N −1)(2n−2) triples (x, c, r) ∈ o×
N × An−1 (oN ) ×
An−1 (oN ) such that Φn,n (x, c, r, y) is traceless and reduces modulo p to a. Furthermore,
the elementary divisor type of Φn,n (x, c, r, y) is determined by that of y as follows.
(1) Suppose that a ∈ Matn,1 (Fq ), i.e. rk(a) = 1 and iℓ = max I = n − 1. Let ̟ ∈ p
be a uniformizer. The matrix b in condition (iv) is zero, so Φn,n (x, c, r, y) is of
elementary divisor type (I, rI ) if and only if y ∈ priℓ Matn−1 (oN ) is such that
̟−riℓ y is of elementary divisor type (I \ {iℓ }, rI\{iℓ } ). Thus
ϕ−1 (a) = q (N −1)(2n−2) NoI\{iℓ },rI\{i } (Gn−1 )
ℓ

= q (N −1)(n

2 −i2 −1)
ℓ

NoI\{iℓ },rI\{i } (Giℓ ) .
ℓ

(2) Otherwise, if iℓ = max I < n − 1, the matrix b is nonzero, and Φn,n (x, c, r, y) is
of elementary divisor type (I, rI ) if and only if y is an (n − 1) × (n − 1)-matrix
of elementary divisor type (I, rI ). Arguing as in [12, Proposition 3.4], the number
2
2
of such lifts y of b is q (N −1)((n−1) −iℓ ) |NoI\{iℓ },rI\{i } (Giℓ )|. Combined with the
ℓ

q (N −1)(2n−2) possibilities to choose (x, c, r) for any such y, we obtain
ϕ−1 (a) = q (N −1)(n

2 −i2 −1)
ℓ

NoI\{iℓ },rI\{i } (Giℓ ) ,
ℓ

as wanted.
Case 2: all diagonal entries of a are zero. In this case i0 6= j0 and
Tr(Φi0 ,j0 (x, c, r, y)) = x(ıj0 (r)ıi0 (c)tr + Tr(i0 ,j0 (y)))
= x(cj0 + ri0 + θi0 ,j0 (r, c) + τi0 ,j0 (y))
where θi0 ,j0 (r, c) is some quadratic function in r = (r1 , . . . , rn−1 ), c = (c1 , . . . , cn−1 )
which does not involve ri0 or cj0 , and τi0 ,j0 (y) is some linear function in the entries
of y. In particular, the condition Tr(Φi0 ,j0 (x, c, r, y)) = 0 is equivalent to
cj0 = −ri0 − θi0 ,j0 (r, c) − τi0 ,j0 (y).
Consequently, any choice of y which satisfies condition (iv) admits exactly q (N −1)(2n−2)
triples (x, c, r) ∈ o×
N × An−1 (oN ) × An−1 (oN ) such that Φi0 ,j0 (x, c, r, y) is traceless and
reduces to a modulo p. Considering the same two possibilities for a as in the previous
case and applying the same arguments, we obtain
ϕ−1 (a) = q (N −1)(n

2 −i2 −1)
ℓ

NoI\{iℓ },rI\{i } (Giℓ )
ℓ

in this case as well.
Case 3: a is central. Note that this case is only possible if p divides n and I = {0}.
Thus, our goal in this case is to prove
ϕ−1 (a) = q (N −1)(n

2 −1)

.

Since the lift of an element of Matn,n (Fq ) (viz. an invertible matrix over Fq ) to Matn (oN )
is always an element of elementary divisor type (I, rI ) = ({0}, (N )) (viz. an invertible

ENUMERATING TRACELESS MATRICES

9
2

matrix over oN ), we simply need to note that such an element a admits q (N −1)(n −1)
traceless lifts to Matn (oN ).
This concludes the proof of Proposition 2.3.

Recall from [15, Theorem C] the definition, for I ⊆ [n − 1]0 , of the polynomials
Ç å

(2.6)

n
I

fn,I (X) := fGn,I (X) =

n
Y

(1 − X j ) ∈ Z[X],

X j=min I+1

generalizing those defined in (2.1) for singletons I = {i}.
Proposition 2.5. Given ∅ 6= I ⊆ [n − 1]0 and rI ∈ NI , with iℓ = max I,
|NoI,rI (Kn )| = bn,iℓ (q −1 )fiℓ ,I\{iℓ } (q −1 )q
Proof. Recall that N =

P

ι∈I rι .

ℓ

and Lemma 2.2, Proposition 2.3 yields
|NoI,rI (Kn )| = |Bn,n−iℓ (Fq )|q (N −1)(n
2 −i2 −1)
ℓ

q

ι∈I

rι (n2 −ι2 −1)

.

Using [15, Proposition 3.4 (3.8)], which asserts that

|NoI\{iℓ },rI\{i } (Giℓ )| = fiℓ ,I\{iℓ } (q −1 )q

|Bn,n−iℓ (Fq )|q (riℓ −1)(n

P

ÄP

2 −i2 −1)
ℓ

ä

P

2
2
ι∈I\{iℓ } rι (iℓ −ι )

,

· |NoI\{iℓ },rI\{i } (Giℓ )| =
ℓ

r (n2 −i2ℓ −1)
ι∈I\{iℓ } ι

· fiℓ ,I\{iℓ } (q −1 )q

bn,iℓ (q −1 )fiℓ ,I\{iℓ } (q −1 )q

P

P

r (i2 −ι2 )
ι∈I\{iℓ } ι ℓ

ι∈I

rι

(n2 −ι2 −1)

=

. 

We apply Proposition 2.5 to obtain a first formula for the Poincaré series Pn,o (s).
X
and t = q −s .
Recall that gp(X) = 1−X
Theorem 2.6. Setting xn,i = q n
sln (o) satisfies
Pn,o (s) = 1 +

n−1
X

2 −i2 −1

tn−i for i ∈ [n − 1]0 , the image zeta function of
é

Ñ

bn,i (q −1 ) gp(xn,i )

i=0

X

X

X

|NoI,rI (Kn )|t

I⊆[n−1]0 rI ∈NI

=1+

n−1
X

X

X

P

gp(xn,j )

.

j∈J

J⊆[i−1]0

Proof. Rewriting (2.5) yields
Pn,o (s) =

fi,J (q −1 )

Y

i∈I

ri (n−i)

|NoI,rI (Kn )|t

iℓ =0 I⊆[n−1]0 rI ∈NI
max I=iℓ

P

i∈I

ri (n−i)

.

For fixed iℓ ∈ [n − 1]0 we find, using Proposition 2.5, that
X

X

I⊆[n−1]0 rI
max I=iℓ

∈NI

|NoI,rI (Kn )|t

P

i∈I

ri (n−i)

=

bn,iℓ (q −1 ) gp(xn,iℓ )

X

J⊆[iℓ −1]0

fiℓ ,J (q −1 )

Y

gp(xn,j ).



j∈J

3. Traceless matrices and signed permutation statistics
In this section we express the Poincaré series Pn,o (s) in terms of certain signed permutation statistics (Proposition 3.11) and Igusa functions (Theorem 3.12).

10

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

3.1. Preliminaries on signed permutation groups. We collect a few definitions
and notation regarding (signed) permutation groups, mostly standard and covered in
general references such as [4].
We write Sn for the symmetric group of degree n, viz. the group of permutations of
the set [n]. It is a Coxeter group with Coxeter generating set {s1 , . . . , sn−1 }, consisting
of the standard transpositions si interchanging letters i and i + 1.
We denote further by Bn the group of signed permutations of degree n, viz. permutations w of [−n, n] satisfying w(−i) = −w(i) for all i ∈ [n]0 . Signed permutations are
uniquely determined by their restrictions to [n]. This is exploited in the one-line notation, representing w ∈ Bn by its values w(1) w(2) . . . w(n). When using the one-line
notation we write ā instead of −a for a ∈ Z.
The group Bn is a Coxeter group with Coxeter generating set S Bn = {s0 , s1 , . . . sn−1 },
where s0 = 1̄23 . . . n and, for i ∈ [n − 1], si = 12 . . . (i + 1)i . . . n are the standard
transpositions. Let ℓ denote the Coxeter length with respect to S Bn .
We identify Sn with the (parabolic) subgroup of Bn consisting of elements w satisfying
w(i) > 0 for all i ∈ [n], generated by the transpositions si for i ∈ [n − 1]. The restriction
of the Coxeter length ℓ on Bn to Sn coincides with the Coxeter length on Sn , so the use
of the notation ’ℓ’ is unambigious.
Let w ∈ Bn . The negative set of w is
Neg(w) = {i ∈ [n] | w(i) < 0}
and the descent set of w is
Des(w) = {i ∈ [n − 1]0 | ℓ(wsi ) < ℓ(w)}.
Recall also the following statistics on Bn :
rmaj(w) =

X

(n − i)

(reverse major index)

i∈Des(w)

des(w) = | Des(w)|

(descent number)
2

inv(w) = |{(i, j) ∈ [n] | i < j, w(i) > w(j)}|

(inversion number)

neg(w) = | Neg(w)|

(negative number)
2

nsp(w) = |{(i, j) ∈ [n] | i < j, w(i) + w(j) < 0}|

(negative sum pair number)

It is well-known (cf. [4, Proposition 8.1.1]) that the Coxeter length ℓ on Bn satisfies
(3.1)

ℓ = inv + neg + nsp .

We further set
σB (w) =

X

(n2 − i2 )

for w ∈ Bn and

i(n − i)

for w ∈ Sn .

i∈Des(w)

σA (w) =

X

i∈Des(w)

The statistics σA on Sn and σB on Bn have a uniform definition in terms of simple root
coefficients of the sum over all (positive) roots in the pertinent root systems; cf. [15,
p. 510]. The statistics σA − ℓ and σB − ℓ are examples of Weyl group statistics that
“ought to be better known”, as the authors of [17] argue. In any case, they both feature
in one of this section’s main results, viz. Proposition 3.4.

ENUMERATING TRACELESS MATRICES

11

In [1, Section 1.2.1], the statistic εn on Bn is defined by setting, for w ∈ Bn ,
(3.2)

εn (w) = δw(n)<0 =


1

if w(j) < 0 for all j ∈ [max Des(w) + 1, n],

0

otherwise.

For I ⊆ [n − 1]0 , the corresponding quotient of Bn is defined as
c

BnI = {w ∈ Bn | Des(w) ⊆ I}.
Quotients of Sn are defined analogously.
3.2. Signed permutation statistics and enumeration of matrices. It is known
by [15, Proposition 4.6]—essentially a result of Reiner’s; cf. [9]—that the polynomials
fn,I (X) defined in (2.6) satisfy
(3.3)

fn,I (X) =

X

(−1)neg(w) X ℓ(w) .

Ic
w∈Bn

In particular, by [15, Lemma 3.1 (3.3)], for i ∈ [n − 1]0 , the number | Matn,n−i (Fq )| of
n × n-matrices over Fq of rank n − i satisfies
| Matn,n−i (Fq )| = q n

2 −i2

X

(−1)neg(w) q −ℓ(w) .

{i}c
w∈Bn

Key to a similar interpretation of the numbers |Bn,n−i (Fq )| in terms of signed permutation statistics in Proposition 1.4 is the following lemma.
Lemma 3.1. For i ∈ [n − 1]0 , the polynomial bn,i (X) defined in (2.2) satisfies
X

bn,i (X) =

(−1)neg(w) X (ℓ−εn )(w) .

{i}c

w∈Bn

Proof. Thanks to Remark 2.1 it suffices to prove that
(3.4)

{i}c

{w∈Bn

Ç å

X

neg(w)

(−1)

X

ℓ(w)

=

|w(n)<0}

n
i

(−1)n−i X (

n+1
2

)−(i+1
2 ).

X

{i}c

To prove (3.4) we first note that, for w ∈ Bn , the condition w(n) < 0 is equivalent
to w(j) < 0 for j = [i + 1, n]; cf. (3.2). Clearly neg(w) = n − i in this case. The
{n−i}c
{i}c
‹ :=
through the map w 7→ w
set {w ∈ Bn | w(n) < 0} is in bijection with Sn
w(n) . . . w(i + 1)w(1) . . . w(i). In light of the well-known identity
Ç

X

X

{n−i}c

it suffices to prove that
(3.5)

‹ =
ℓ(w) − ℓ(w)

w∈S
e n

Ç

å

ℓ(w)
e

Ç

=

n
n−i

å

Ç å

=
X

n
i

X

å

n+1
i+1
−
2
2

c

for all w ∈ Bn{i} with w(n) < 0.

By (3.1), the quantity ℓ(w) is the sum of the quantities
inv(w) = i(n − i),

neg(w) = n − i,

nsp(w) =

Ç

å

n−i
+ r(w),
2

‹ = inv(w)
‹ = r(w).
where r(w) := |{(σ, τ ) ∈ [i]×[i+1, n] | w(σ)+w(τ ) < 0}|. Clearly ℓ(w)

i+1
n+1
.

−
+
r(w)
−
r(w)
=
Eq. (3.5) follows, as i(n − i) + (n − i) + n−i
2
2
2

12

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

Remark 3.2. Formulae similar to the one given in Proposition 1.4 hold for the numbers
of antisymmetric resp. symmetric matrices over finite fields of fixed ranks. Indeed, let
δ ∈ {0, 1} and i ∈ [n − 1]0 .
(1) In the notation of [15, Section 3], the number | Alt2n+δ,2(n−i) (Fq )| of antisymmetric (2n + δ) × (2n + δ)-matrices over Fq of rank 2(n − i) satisfies
2n+δ
2

| Alt2n+δ,2(n−i) (Fq )| = q (

)−(2i+δ
2 )

X

(−1)neg(w) q −(2ℓ+(2δ−1) neg)(w) ;

{i}c
w∈Bn

cf. [15, Lemma 3.1 (3.2) and Proposition 4.6].
(2) Likewise, the numbers | Symn,n−i (Fq )| of symmetric n × n-matrices over Fq of
rank n − i are given in terms of the odd length statistic L on Bn defined, for
w ∈ Bn , by
1
(3.6)
L(w) = |{(i, j) ∈ [−n, n]2 | i < j, w(i) > w(j), i 6≡ j (mod 2)}|,
2
(cf. [15, Eq. (1.14)]): combining [15, Lemma 3.1 (3.4)] with [5, Theorem 5.4]
yields
X
n+1
i+1
| Sym
(F )| = q ( 2 )−( 2 )
(−1)ℓ(w) q −L(w) .
n,n−i

q

{i}c

w∈Bn

For I ⊆ [n − 1]0 , let
(3.7)

fKn ,I (X) =

X

(−1)neg(w) X (ℓ−εn )(w) .

Ic
w∈Bn

It is easy to see that
(3.8)

fKn,I (X) = bn,max I (X)fmax I,I\{max I} (X).

The following is analogous to [15, Proposition 3.4].
Proposition 3.3. Let I ⊆ [n − 1]0 and rI ∈ NI . Then
|NoI,rI (Kn )| = fKn ,I (q −1 )q

P

i∈I

ri (n2 −i2 −1)

.

Proof. This follows by combining Proposition 2.5 and (3.8).



3.3. A joint distribution result for signed permutation statistics. In our further
analysis of the Poincaré series Pn,o (s) we will make use of the following formal identity.
Proposition 3.4. In Q[W, X, Y, Z], the following identity holds:
(3.9)

X

w∈Bn

W (des −εn )(w) X (σB −ℓ)(w) Y neg(w) Z rmaj(w) =
é

Ñ
X

W des(w) X (σA −ℓ)(w) (X n Z)rmaj(w)

n−1
Y

(1 + X j Y Z).

j=0

w∈Sn

To prove Proposition 3.4 we decompose Bn as the disjoint union of subsets of signed
permutations of fixed inverse negative set, i.e. the negative set of the inverse element.
Note that, for w ∈ Bn , the set Neg(w−1 ) simply encodes, with inverted sign, the negative
entries in the one-line notation for w. For w = 13̄4̄2 ∈ B4 , for example, Neg(w−1 ) =
Neg(142̄3̄) = {3, 4}. Trivially,
Bn =

[

{w ∈ Bn | Neg(w−1 ) = J}.

J⊆[n]

ENUMERATING TRACELESS MATRICES

13

For the proof of Proposition 3.4 we shall need the following lemma.
Lemma 3.5. For J ⊆ [n] and max J < j ≤ n,

{w∈Bn

X

W (des −εn )(w) X (σB −ℓ)(w) Y neg(w) Z rmaj(w)

|Neg(w −1 )=J∪{j}}

= X n−j Y Z

X

W (des −εn )(w) X (σB −ℓ)(w) Y neg(w) Z rmaj(w) .

{w∈Bn |Neg(w −1 )=J}

Proof. Let J and j be as in the Lemma. We define a bijective map
¯j : {w ∈ Bn | Neg(w−1 ) = J} → {w ∈ Bn | Neg(w−1 ) = J ∪ {j}},

w 7→ w̄j

and control its effect on the relevant statistics. Write [n] \ J = {a1 , . . . , as }< , note that
as = n, and set {b1 , . . . , bs−1 }< = {a1 , . . . , as } \ {j}. Given w ∈ Bn with Neg(w−1 ) = J,
the signed permutation w̄j is obtained by replacing, in the one-line notation for w, the
letters a1 , . . . , as−1 with b1 , . . . , bs−1 and as = n with . Informally speaking, the signed
permutation matrix associated with w̄j is obtained by cyclically permuting the last
n − (j − 1) rows of the signed permutation matrix associated with w and then switching
the sign in the j-th row. That the map ¯ j is well-defined and bijective is clear.
Let k = w−1 (n), which is to say that the letter  appears in w̄j in position k. We
claim that
(3.10)

ℓ(w̄j ) = ℓ(w) + 2k − n − 1 + j,

(3.11)

Des(w̄j ) = (Des(w) \ {k}) ∪ {k − 1}.

These claims, which are proved below, suffice to prove
ÄPthe lemma. Indeed,
ä observe that
P
j
2
2
2
2
2
2
(3.11) implies that σB (w̄ ) = i∈Des(w̄j ) (n − i ) =
i∈Des(w) (n − i ) − (n − k ) +
2
2
(n − (k − 1) ) = σB (w) + 2k − 1, whence it follows, with (3.10), that
(σB − ℓ)(w̄j ) = (σB − ℓ)(w) + n − j.
Eq. (3.11) also implies that des(w̄j ) = des(w) + δ{k=n} , because des(w) = des(w̄j ) unless
 appears in w̄j in position n. Also, εn (w̄j ) = εn (w) + δ{k=n} , whence
(des −εn )(w̄j ) = (des −εn )(w).
Clearly
neg(w̄j ) = neg(w) + 1
and, again by (3.11),
rmaj(w̄j ) = rmaj(w) + 1.
To prove claim (3.10) recall the identity ℓ = inv + neg + nsp (cf. (3.1)) and observe
that inversions and negative sum pairs—enumerated respectively by the statistics inv
and nsp—involving positions (r, t) with k < t ≤ n are the same for w and w̄j . As
w(k) = n, there are n − k inversions in w indexed by the pairs (k, t) with t ∈ [k + 1, n];
they all disappear in w̄j . Likewise, as w̄j (k) =  (which, by hypothesis, is the minimum
of the entries of w̄j in one-line notation), the pairs (i, k) for i ∈ [k − 1] are inversions for
w̄j but not for w. Moreover, the (negative) entry  in w̄j gives rise to j − 1 additional
negative sum pairs compared with w. Hence
ℓ(w̄j ) = (inv + neg + nsp)(w̄j )
= inv(w) − (n − k) + (k − 1) + neg(w) + 1 + nsp(w) + (j − 1)
= ℓ(w) + 2k − n − 1 + j.

14

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

The claim (3.11) follows easily from the fact that the operation w 7→ w̄j preserves all
relative positions of the letters of w other than n and j. In position k, it replaces the
letter n by . If k < n, then k ∈ Des(w) but k − 1 6∈ Des(w) and the operation shifts
this descent of w from position k to a descent of w̄j in position k − 1; if k = n, then it
produces a descent at n − 1.

Proof of Proposition 3.4. The claim follows by observing that, for w ∈ Sn = {w ∈ Bn |
Neg(w−1 ) = ∅},
(σA + n rmaj)(w) =

X

(i(n − i) + n(n − i)) = σB (w)

i∈Des(w)

and repeated applications of Lemma 3.5.



Remark 3.6. Setting W = 1 in (3.9) yields a polynomial which factors further:
X

Ñ

X (σB −ℓ)(w) Y neg(w) Z rmaj(w) =

w∈Bn

X

é

X (σA −ℓ)(w) (X n Z)rmaj(w)

w∈Sn

=

Ç
n−1
Y
j=0

å
n−j

1 − (X n+j Z)
1 − X n+j Z

n−1
Y

(1 + X j Y Z)

j=0

Ä

ä

1 + XjY Z ;

cf. [15, Propositions 1.7 and 4.8]. In the setup of Proposition 3.4, however, further
factorization of the sum over Sn is not to be expected in general. For n = 3, for
instance, computations with SageMath show that the polynomial
X

W des(w) X (σA −ℓ)(w) (X 3 Z)rmaj(w) = 1 + W X 3 Z(1 + X)(1 + X 3 Z) + W 2 X 10 Z 3

w∈S3

is irreducible. It factors after the specific substitutions ((q −1 , q, −1, q −s ) for (W, X, Y, Z))
we perform in our applications to counting traceless matrices; cf. the proof of Theorem 3.14. For n > 3, however, there appears to be no “systematic” factorization; cf.
Example 1.3.
We record here a conjectural factorization for a twisted joint distribution on Bn of
several statistics, including one involving the odd length function L defined in (3.6).
Conjecture 3.7.
X

w∈Bn

Äσ
ℓ(w)

(−1)

X

B +rmaj −L
2

ä

(w)

Z rmaj(w) =
Ñ

X

w∈Sn

Äσ

X

B +rmaj −ℓ
2

ä

é
(w)

Z rmaj(w)

n−1
Y

(1 − X i Z).

i=0

Remark 3.8. Conjecture 3.7 is slightly weaker than its analogue Proposition 3.4; replacing the character (−1)ℓ(w) by Y ℓ(w) on the left hand side does not lead to a similar
factorization. Note that [15, Proposition 5.5] and [5, Theorem 5.4] yield another factorization formula for the left-hand side which is not, however, expressed in terms of
statistics on the symmetric group. Moreover, [14, Lemma 8] implies that the sum on the
left-hand side remains unchanged when restricted to chessboard elements; for definitions
and properties of these see [14] and [5].

ENUMERATING TRACELESS MATRICES

15

3.4. Igusa functions. Recall, e.g. from [12, Definition 2.5], the definition of the Igusa
function (of degree n)
1
In (Y ; X1 , . . . , Xn ) =
1 − Xn
P

=

X

Ç å

n
I

I⊆[n−1]

Y

gp (Xi )

Y i∈I

Q

Y ℓ(w) j∈Des(w) Xj
∈ Q(Y, X1 , . . . , Xn ).
Qn
j=1 (1 − Xj )

w∈Sn

Specific choices of “numerical data” to be substituted for the variables Y, X1 , . . . , Xn
may lead to factorizations or cancellations. An extremal example is the following.
Example 3.9. [15, Proposition 4.2]
Ä



In X −1 ; X i Z)n−i

(3.12)

ä0
i=n−1



1
.
j
j=0 (1 − X Z)

= Qn−1

We record an application to the rational function
Bn (X, Y, Z) =

n
X

Ç å

n
j

j=0

Z n−j

Qn−j−1
i=0

Qn−j−1

X

i=0

defined in [15, eq. (4.7)].

(1 − X −i−j−1 Y )

(1 − X i+j Z)

Corollary 3.10.
Qn−1

j=0 (1

n

Bn (X, −Y, X Z) = Qn−1
j=0

+ X j Y Z)

(1 − X n+j Z)
Å

Ä

= In X −1 , X n

2 −i2

Z n−i

ä0
i=n−1

ã n−1
YÄ

ä

1 + XjY Z .

j=0

Proof. The first equality is proven in [15, Section 4.2.2], the second follows from (3.12).

3.5. Traceless matrices, signed permutation statistics, and Igusa functions.
We recast the formula for the image zeta function Pn,o (s) given in Theorem 2.6 in terms
of signed permutation statistics; cf. Proposition 3.11. In Theorem 3.12 we establish an
expression for Pn,o (s) in terms of Igusa functions.
Proposition 3.11. The following identities hold in the field Q(Y, X0 , . . . , Xn−1 ):
(3.13) 1 +

n−1
X

é

Ñ

X

bn,i (Y ) gp(Xi )

i=0

X

fi,J (Y )

fKn,I (Y )

I⊆[n−1]0

gp(Xj ) =

j∈I

P

Proof. Eq. (3.8) yields
X

I⊆[n−1]0

fKn ,I (Y )

Y

gp(Xj ) = 1 +

gp(Xj )

n−1
X

X

neg(w) Y (ℓ−εn )(w) Q
w∈Bn (−1)
j∈Des(w) Xj
.
Qn−1
j=0 (1 − Xj )

fKn ,J (Y )

i=0 i∈J⊆[i]0

j∈I

=1+

n−1
X
i=0

=

j∈J

J⊆[i−1]0

Y

Y

bn,i (Y ) gp(Xi )

Ñ

Y

gp(Xj )

j∈J

X

J⊆[i−1]0

é

fi,J (Y )

Y

j∈J

gp(Xj )

,

16

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

establishing the first equality. The second one follows from (3.7) and [15, Lemma 4.4].

Theorem 2.6 shows that the Poincaré series Pn,o (s) may be obtained from the rational
function on the left-hand side of (3.13) by substituting q −1 for the variable Y and xn,i =
2
2
q n −i −1 tn−i for the variables Xi . Our next result shows that, under this substitution,
the numerator of the rational function on the right-hand side of (3.13) factorizes partly.
Theorem 3.12.
(3.14)

Å

Pn,o (s) = In q

−1

;

Ä

ä0
2
2
q n −i −1 tn−i i=n−1

ã n−1
Y

(1 − q j t).

j=0

Proof. Using Theorem 2.6 and Propositions 3.11 and 3.4 (where we substitute (q −1 , q, −1, t)
for (W, X, Y, Z)), we obtain
Pn,o (s) = 1 +

n−1
X

Ñ

bn,i (q

−1

) gp(xn,i )

i=0

=
=
=
=
=

P

X

fi,J (q

−1

)

Y

é

gp(xn,j )

j∈J

J⊆[i−1]0

neg(w) q (−ℓ+εn )(w) Q
n2 −j 2 −1 tn−j
w∈Bn (−1)
j∈Des(w) q
Qn−1
n2 −j 2 −1 tn−j )
j=0 (1 − q
P
neg(w) q (σB −ℓ+εn −des)(w) trmaj(w)
w∈Bn (−1)
Qn−1
n2 −j 2 −1 tn−j )
j=0 (1 − q
ÄP
ä
(σA −ℓ−des)(w) (q n t)rmaj(w) Qn−1 (1 − q j t)
w∈Sn q
j=0
Qn−1
n2 −j 2 −1 tn−j )
(1
−
q
j=0
ÄP
ä
Q
−ℓ(w)
j(n−j)−1+n(n−j) tn−j Qn−1 (1
w∈Sn q
j∈Des(w) q
j=0
Qn−1
n2 −j 2 −1 tn−j )
(1
−
q
j=0
ã n−1
Å
Ä 2 2
ä0
Y
(1 − q j t).
In q −1 ; q n −i −1 tn−i i=n−1
j=0

Remark 3.13. The inverse of the second factor

Qn−1

j=0 (1

− q j t)



− q j t) on the right-hand side
0

of (3.14) is itself an Igusa function of degree n, viz. In (q −1 ; (q i t)n−i i=n−1 ); cf. Example 3.9. Numerical evidence for small n suggests that there is no further “systematic”
factorization of the first factor; cf. Example 1.3.
4. Representation zeta functions of groups of type K
In this section we consider applications of the formulae obtained in the previous
sections to representation zeta functions of finitely generated nilpotent groups of type K,
in particular their global analytic properties. In the sequel we assume that n > 1,
ensuring that the group schemes Kn are nonabelian.
4.1. Global analytic properties of Euler products. We consider Euler products
of Poincaré series of the form Pn,o (s), where o runs through the completions Op of the
ring of integers O of a number field F at its nonzero prime ideals p. As mentioned in
Section 1.3, the (global) representation zeta function of the group Kn (O) satisfies
ζKn (O) (s) =

Y

p∈Spec(O)

ζKn (Op ) (s) =

Y

p∈Spec(O)

Pn,Op (s).

ENUMERATING TRACELESS MATRICES

17

Proposition 4.1.
(1) The abscissa of convergence of ζKn(O) (s) is α(Kn (O)) = 2n − 1.
(2) The zeta function ζKn (O) (s) may be continued meromorphically to {s ∈ C |
ℜ(s) > 2n − 3}. For n ∈ {2, 3} it may be continued meromorphically to the
whole complex plane.
Proof. According to Theorem 3.12, the representation zeta function ζKn (O) (s) is the
product of a finite number of (inverses of) translates of the Dedekind zeta function
ζF (s) of the number field F and an Euler product of Igusa functions. Equivalently,
writing
ã
Å
Ä 2 2
ä
Vn (q, t)
−1
n −i −1 n−i 0
= Qn−1
t
In q ; q
n2 −j 2 −1 tn−j )
i=n−1
j=0 (1 − q
with

Vn (q, t) =

X

q −ℓ(w)

w∈Sn

Y

qn

2 −j 2 −1

j∈Des(w)

(cf. Theorem 1.2), we have
Ñ

n−1
Y

ζKn (O) (s) =

j=0

tn−j

ζF ((n − j)s − (n2 − j 2 − 1))
ζF (s − j)

é

Y

Vn (q, t).

p∈Spec(O)

Here as throughout, q = |O : p| denotes the residue field cardinality at p ∈ Spec(O).
Recall that, for a, b ∈ R, with a 6= 0, the translate ζF (as − b) converges uniformly on
continuation to the whole complex plane.
{s ∈ C | ℜ(s) >nb+1
a } and has meromorphic
o
2

2

−1+1
Obviously, max n −jn−j
| j ∈ [n − 1]0 = 2n − 1. Given the explicit formulae for
ζKn (Op ) (s) for n ∈ {2, 3} in Example 1.3, the proposition thus holds for n ∈ {2, 3} and
we may assume that n ≥ 4. In this general case, the proposition will follow if we can
show that the Euler product
Y
Vn (q, t)
p∈Spec(O)

may be meromorphically continued to {s ∈ C | ℜ(s) > 2n − 3}.
By [6, Lemma 5.5], it suffices to prove that


 ÄP
ä
2 − j 2 − 1) − ℓ(w)


(n
j∈Des(w)
| w ∈ Sn \ {1} = 2n − 3.
β := max
P


j∈Des(w) (n − j)

We will prove, more precisely, that this maximum is attained exactly twice, viz. at the
Coxeter generators w = sn−1 and w = sn−2 . We first show that, for w ∈ Sn \ {1}, the
quantity
ÄP
ä
2
2
j∈Des(w) (n − j − 1) − ℓ(w)
P

j∈Des(w) (n

− j)

does not exceed 2n − 3. Indeed, suppose that it is ≥ 2n − 3, i.e.
Ñ

X

é

((n − j)(n + j) − 1)

j∈Des(w)

Ñ

− ℓ(w) − (2n − 3)
é

X

j∈Des(w)

(−(n − j)2 + 3(n − j))

X

(n − j) =

j∈Des(w)

− des(w) − ℓ(w) ≥ 0.

18

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

Writing i = n − j and setting ρ(w) = ℓ(w) − des(w) ∈ N0 , this is equivalent to
Ñ

X

(3i − 2) ≥

n−i∈Des(w)

é

X

2

i

+ ρ(w).

n−i∈Des(w)

The latter inequality has solutions only if Des(w) ⊆ {n − 2, n − 1}. It is an equality
if, and only if, additionally ρ(w) = 0. The elements w = sn−1 and w = sn−2 clearly
satisfy this condition and are the only solutions whose descent sets are singletons; no
permutation with Des(w) = {n − 2, n − 1} satisfies ρ(w) = 0.
We conclude that the maximum β = 2n−3 is attained at sn−1 and sn−2 as claimed. 
Remark 4.2. Proposition 4.1 leaves open the interesting question whether or not the line
{s ∈ C | ℜ(s) = 2n − 3} is actually a natural boundary for meromorphic continuation of
ζKn (O) (s) for n ≥ 4. It may be of interest to note that the proof of its part (2) implies
that, in the terminology of [6, Section 5.2], the first factor of the ghost polynomial of
2n−3 t + q 4n−6 t2 .
Vn (q, t) is the unitary polynomial Vfi
n,1 (q, t) = 1 + q
That ζKn (O) (s) has abscissa of convergence which is independent of O and admits
some meromorphic continuation into a region defined, again, independently of O are
special cases of general results on representation zeta functions of nilpotent groups; cf.
[7, Theorem A].
4.2. Topological representation zeta functions. In [11], Rossmann initiated the
study of topological representation zeta functions associated to unipotent group schemes
defined over number fields. Very roughly speaking, these are rational functions encapturing the “limit q → 1” of the local representation zeta functions occurring as Euler
factors in the global representation zeta functions associated to the groups of rational
points over number rings of the unipotent group schemes in question. The latter are
rational functions in the parameters q −s and the topological representation zeta function may be defined as the leading coefficients of the series expansions of these rational
functions in q − 1. For precise definitions and instructive examples see [11, Section 3]. A
number of intriguing open questions regarding topological representation zeta functions
of unipotent group schemes are raised in [11, Section 7]. We use the explicit formulae
derived in the current paper to show that some of these questions have positive answers
for the unipotent group schemes Kn . The following is an immediate consequence of
Theorem 3.12.
Proposition 4.3. The topological zeta function of Kn is equal to
ζKn ,top (s) =

n−1
Y
i=0

s−i
s − (n + i −

1 .
n−i )

We note that ζKn ,top (s) has a simple zero at s = 0 and that ζKn,top (s) − 1 has degree
−1 in s; cf. [11, Questions 7.4 and 7.1]. Following [11] we consider the invariant
ω(Kn ) = s (ζKn ,top (s) − 1)

s=∞

∈ Q.

In the pertinent special cases, [11, Question 7.2] is answered positively by the following
result.
Proposition 4.4.
where Hn =

Pn

1
k=1 k

ω(Kn ) = n2 − Hn ,
is the n-th harmonic number.

ENUMERATING TRACELESS MATRICES

19

Proof. The quantity ω(Kn ) is the quotient of the leading coefficients of the polynomials
in s occurring in numerator and denominator of the right-hand side of the expression
ζKn,top (s) − 1 =

ÄQ

n−1
i=0 (s

ä

− i) −

Qn−1 Ä

ÄQ

n−1
i=0

Ä

Ä

s− n+i−

Ä

s− n+i−

i=0

1
n−i

ää

1
n−i

äää

.

As the denominator is monic, ω(KÄn ) is Äin fact just the
ää difference between the coefficients
Qn−1
Qn−1
1
n−1
of s
in i=0 (s − i) and i=0 s − n + i − n−i , respectively. Hence
Ç å

Å

ã

n−1
X
1
n
ω(Kn ) = −
+
n+i−
=
2
n−i
i=0

Ç

å

Ç å

2n
n
−2
− Hn = n2 − Hn . 
2
2

Remark 4.5. The topological representation zeta functions the unipotent group schemes
Fn,δ , Gn , and Hn are easily read off from [15, Theorem B]:
ζFn,δ ,top (s) =
ζGn ,top (s) =
ζHn ,top (s) =

n−1
Y

i=0
n−1
Y

i=0
n−1
Y
i=0

s − 2i
,
s − 2(n + i + δ) + 1
s−i
,
s−n−i
s−i
.
s − n+i+1
2

[11, Questions 7.1 and 7.4] are easily seen to have positive answers in these cases, too.
One computes easily that
ω(Fn,δ ) = 2n2 + (2δ − 1)n,

ω(Gn ) = n2 ,

ω(Hn ) =

n2 + 3n
.
4

In contrast, the invariant ω(Kn ) is never an integer; cf. [18].
4.3. Representation zeta functions and Igusa functions. Theorem 3.12 describes
local representation zeta functions associated to groups of type K as quotients of two
Igusa functions. We note similar factorizations for groups of type F and G and observe
that Conjecture 3.7 yields an analogous conjectural expression for groups of type H.
Proposition 4.6. Let δ ∈ {0, 1} and o be of characteristic zero. The representation
zeta functions ζFn,δ (o) (s) and ζGn (o) (s) described in [15, Theorem C] satisfy
Å

(4.1)

ζFn,δ (o) (s) = In q

−2

2n+δ
2i+δ
; q ( 2 )−( 2 ) tn−i

Å

(4.2)


Ä

ζGn (o) (s) = In q −1 ; q n

2 −i2

tn−i

ä0
i=n−1

0

i=n−1

ã n−1
Y

ã n−1
Y

(1 − q 2i t),

i=0

(1 − q i t)

i=0

Proof. Using that ζFn,δ (o) (s) = Bn (q 2 , q −2δ+1 , q 2(n+δ)−1−s ) and ζGn (o) (s) = Bn (q, 1, q n−s )
(cf. proof of [15, Proposition 5.1]), this follows from Corollary 3.10.

Conjecture 4.7. Let o be of characteristic zero. The representation zeta function
ζHn (o) (s) described in [15, Theorem C] satisfies
Å

(4.3)

ζHn (o) (s) = In q

−1



n+1
i+1
; q ( 2 )−( 2 ) tn−i

0

i=n−1

ã n−1
Y

(1 − q i t).

i=0

20

ANGELA CARNEVALE, SHAI SHECHTER AND CHRISTOPHER VOLL

Regarding the “numerical data” of the Igusa functions in (4.1), (4.2), and (4.3), we
remark that, in the notation of [15, Theorem C].
Ç

å

Ç

2n + δ
2i + δ
−
2
2

å

Ç

= a(Fn,δ , i),

2

2

n −i = a(Gn , i),

å Ç

å

n+1
i+1
−
2
2

= a(Hn , i).

Acknowledgements. We are grateful for an anonymous referee’s helpful comments, in
particular about harmonic numbers. We acknowledge support by the German Research
Council (DFG) through Sonderforschungsbereich 701 at Bielefeld University. Carnevale
and Voll were partly supported by the German-Israeli Foundation for Scientific Research
and Development (GIF) through grant no. 1246. Shechter was partially supported by
the Israel Science Foundation (ISF) through grant no. 1862.
References
[1] R. M. Adin, F. Brenti, and Y. Roichman, Descent representations and multivariate statistics, Trans.
Amer. Math. Soc. 357 (2005), no. 8, 3051–3082.
[2] P. Belkale and P. Brosnan, Matroids, motives, and a conjecture of Kontsevich, Duke Math. J. 116
(2003), no. 1, 147–188.
[3] E. A. Bender, On Buckhiester’s enumeration of n × n matrices, J. Combinatorial Theory Ser. A
17 (1974), 273–274.
[4] A. Björner and F. Brenti, Combinatorics of Coxeter groups, Graduate Texts in Mathematics, vol.
231, Springer, New York, 2005.
[5] F. Brenti and A. Carnevale, Proof of a conjecture of Klopsch-Voll on Weyl groups of type A, Trans.
Amer. Math. Soc. 369 (2017), no. 10, 7531–7547.
[6] M. P. F. du Sautoy and L. Woodward, Zeta functions of groups and rings, Lecture Notes in Mathematics, vol. 1925, Springer-Verlag, Berlin, 2008.
[7] D. H. Dung and C. Voll, Uniform analytic properties of representation zeta functions of finitely
generated nilpotent groups, Trans. Amer. Math. Soc. 369 (2017), no. 9, 6327–6349.
[8] J. B. Lewis, R. I. Liu, A. H. Morales, G. Panove, S. V. Sam, and Y. X. Zhang, Matrices with
restricted entries and q-analogues of permutations, J. Comb. 2 (2011), no. 3, 355–395.
[9] V. Reiner, Signed permutation statistics, European J. Combin. 14 (1993), no. 6, 553–567.
[10] T. Rossmann, Zeta, Version 0.3.2, see https://www.math.uni-bielefeld.de/~ rossmann/Zeta/.
[11] T. Rossmann, Topological representation zeta functions of unipotent groups, J. Algebra 448 (2016),
210–237.
[12] M. M. Schein and C. Voll, Normal zeta functions of the Heisenberg groups over number rings I –
the unramified case, J. Lond. Math. Soc. (2) 91 (2015), no. 1, 19–46.
[13] C. Seeley, 7-dimensional nilpotent Lie algebras, Trans. Amer. Math. Soc. 335 (1993), no. 2, 479–496.
[14] A. Stasinski and C. Voll, A new statistic on the hyperoctahedral groups, Electron. J. Combin. 20
(2013), no. 3, Paper 50, 23.
[15]
, Representation zeta functions of nilpotent groups and generating functions for Weyl groups
of type B, Amer. J. Math. 136 (2014), no. 2, 501–550.
, Representation zeta functions of some nilpotent groups associated to prehomogeneous vector
[16]
spaces, Forum Math. 29 (2017), no. 3, 717 – 734.
[17] J. R. Stembridge and D. J. Waugh, A Weyl group generating function that ought to be better known,
Indag. Math. (N.S.) 9 (1998), no. 3, 451–457.
[18] L. Theisinger, Bemerkung über die harmonische Reihe, Monatsh. Math. Phys. 26 (1915), no. 1,
132–134.
[19] C. Voll, Functional equations for zeta functions of groups and rings, Ann. of Math. (2) 172 (2010),
no. 2, 1181–1218.
[AC,CV] Fakultät für Mathematik, Universität Bielefeld, Postfach 100131, D-33501
Bielefeld, Germany
E-mail address: acarneva1@math.uni-bielefeld.de, C.Voll.98@cantab.net
[ShS] Department of Mathematics, Ben Gurion University of the Negev, Beer-Sheva
84105, Israel
E-mail address: shais@post.bgu.ac.il

