Computing local zeta functions of groups,
algebras, and modules
Tobias Rossmann

arXiv:1602.00919v1 [] 2 Feb 2016

Fakultät für Mathematik, Universität Bielefeld, D-33501 Bielefeld, Germany
We develop a practical method for computing local zeta functions of groups,
algebras, and modules in fortunate cases. Using our method, we obtain a complete
classification of generic local representation zeta functions associated with unipotent
algebraic groups of dimension at most six. We also determine the generic local
subalgebra zeta functions associated with gl2 (Q). Finally, we introduce and compute
examples of graded subobject zeta functions.

1. Introduction
Zeta functions counting subobjects and representations. By considering associated
Dirichlet series, various algebraic counting problems give rise toQa global zeta function
Z(s) which admits a natural Euler product factorisation Z(s) = p Zp (s) into local zeta
functions Zp (s) indexed by rational primes p. For example, Z(s) could be the Dirichlet
series enumerating subgroups of finite index within a finitely generated nilpotent group
and Zp (s) might enumerate those subgroups of p-power index only (see [26]); in the
special Q
case of the infinite cyclic group, we then recover the classical Euler factorisation
ζ(s) = p 1/(1 − p−s ) of the Riemann zeta function.
This article is concerned with three types of counting problems and associated zeta
functions; all of these problems arose from (and remain closely related to) enumerative
problems for nilpotent groups.
• ([26]) Enumerate subalgebras of finite additive index of a possibly non-associative
algebra, e.g. a Lie algebra (possibly taking into account an additive grading).
• ([42]) Enumerate submodules of finite additive index under the action of an integral
matrix algebra.
• ([27, 46]) Enumerate twist-isoclasses of finite-dimensional complex representations
of a finitely generated nilpotent group.
2010 Mathematics Subject Classification. 11M41, 20F69, 20G30, 20F18, 20C15.
Keywords. Subgroup growth, representation growth, zeta functions, unipotent groups, Lie algebras.
This work is supported by the DFG Priority Programme “Algorithmic and Experimental Methods
in Algebra, Geometry and Number Theory” (SPP 1489).

Generic local zeta functions. Each of the preceding three counting problems provides us
with a global
Q zeta function Z(s) (namely the associated Dirichlet series) and a factorisation
Z(s) = p Zp (s) as above. The goal of this article is to compute the generic local zeta
functions Zp (s) at least in favourable situations—that is, we seek to simultaneously
determine Zp (s) for almost all p using a single finite computation. To see why this is a
sensible problem, we first recall some theory.
In the cases of interest to us, each Zp (s) will be a rational function in p−s over Q. In
particular, the task of computing one local zeta function Zp (s) using exact arithmetic
is well-defined. Regarding the behaviour of Zp (s) under variation of p, in all three
cases from above, sophisticated results from p-adic integration imply the existence of
schemes V1 , . . . , Vr and rational functions W1 , . . . , Wr ∈ Q(X, Y ) such that for almost
all primes p,
r
X
Zp (s) =
#Vi (Fp ) · Wi (p, p−s );
(1.1)
i=1

for more details, see Theorem 4.1 below. While constructive proofs of (1.1) are known,
they are generally impractical due to their reliance on resolution of singularities.
Previous work: computing topological zeta functions. In [35, 36, 38], the author
developed practical methods for computing so-called topological zeta functions associated
with the above counting problems; these zeta functions are derived from generic local
ones by means of a termwise limit “p → 1” applied to a formula (1.1). Due to their
reliance on non-degeneracy conditions for associated families of polynomials, the author’s
methods for computing topological zeta functions do not apply in all cases. However,
whenever they are applicable, as we will explain below, they come close to producing an
explicit formula (1.1).
Computing generic local zeta functions. In general, we understand the task of computing Zp (s) for almost p to be the explicit construction of Vi and Wi as in (1.1). While
this seems to be the only adequate general notion of “computing” generic local zeta
functions, we will often be more ambitious in practice.
Uniformity Problem. Decide if there exists W ∈ Q(X, Y ) such that Zp (s) = W (p, p−s )
for almost all primes p; in that case, we call (Zp (s))p prime uniform. Find W if it exists.
The term “uniformity” is taken from [18, §1.2.4]. In practice, a weaker, non-constructive
form of the Uniformity Problem which merely asks for the existence of W as above is
often easier to solve. For example, if Zp (s) is the zeta function enumerating subgroups
(or normal subgroups) of finite index in the free nilpotent pro-p group of some fixed
finite rank (independent of p) and class 2, then (Zp (s))p prime is shown to be uniform in
[26, Thm 2] even though no explicit construction of a rational function W is given.
For many cases of interest, a rational function W as in the Uniformity Problem exists,
see e.g. most examples in [18]. However, no conceptual explanation as to why this is so
seems to be known beyond explicit computations.

2

Woodward [49] used computer-assisted calculations to solve the Uniformity Problem
for a large number of subalgebra and ideal zeta functions of nilpotent Lie algebras.
Unfortunately, few details on his computations are available, rendering them rather
difficult to reproduce.
Results. While explicit formulae (1.1) have been obtained for specific examples and even
certain infinite families of these, all known general constructions of Vi and Wi as in (1.1)
are impractical. In full generality, we thus regard the Uniformity Problem as too ambitious
a task. In the present article, we extend the author’s work on explicit, combinatorially
defined formulae (1.1) (see [35, 36, 38]) in order to provide practical solutions to the
Uniformity Problem in fortunate cases. We will also consider computations of generic
local zeta functions in cases where no W as above exists.
As the following list illustrates, the method developed here can be used to compute a
substantial number of interesting new examples of generic local zeta functions:
• We completely determine the generic local representation zeta functions associated
with unipotent algebraic groups of dimension at most six (§8, Table 1).
• We compute the generic local subalgebra zeta functions associated with gl2 (Q);
this constitutes only the second instance (after sl2 (Q)) where such zeta functions
associated with an insoluble Lie algebra have been computed (§9.1, Theorem 9.1).
• We compute the generic local submodule zeta functions for the natural action of the
group of upper unitriangular integral n × n-matrices (or, equivalently, the nilpotent
associative algebra of strictly upper triangular integral n × n-matrices) for n 6 5
(§9.4, Theorem 9.5).
• We compute the graded subalgebra and ideal zeta functions associated with Q-forms
of each of the 26 “fundamental graded” Lie algebras of dimension at most six over
C (§10, Tables 2–3).
Outline. In §2, we recall definitions of the subobject and representation zeta functions
of concern to us. In §3, as a variation of established subalgebra and ideal zeta functions,
we discuss graded versions of these zeta functions. In §4, we consider formulae such as
(1.1) both in theory and as provided by the author’s previous work. Our work on the
Uniformity Problem then proceeds in two steps. First, in §5, we consider the symbolic
determination of numbers such as the #Vi (Fp ) in (1.1) as a function of p. Thereafter,
in §6, we discuss the explicit computation of the rational functions Wi as provided by
[35, 36, 38]; a key role will be played by algorithms of Barvinok et al. [5–7] surrounding
generating functions of rational polyhedra. In §7, we consider “reduced representation zeta
functions” in the spirit of Evseev’s work [20]; while these functions turn out to be trivial,
they provide us with a simple necessary condition for the correctness of calculations.
Finally, examples of generic local zeta functions are the subject of §§8–10.

3

Acknowledgement
I would like to thank Christopher Voll for interesting discussions.

Notation
The symbol “⊂” indicates not necessarily proper inclusion. For the remainder of this
article, let k be a number field with ring of integers o. We write Vk for the set of
non-Archimedean places of k. For v ∈ Vk , we denote by kv the v-adic completion of k
and by ov the valuation ring of kv . We further let pv ∈ Spec(o) denote the prime ideal
corresponding to v ∈ Vk and write qv = |o/pv |. Finally, we let | · |v denote the absolute
value on kv with |π|v = qv−1 for π ∈ pv \ p2v .
We let Qp and Zp denote the field of p-adic numbers and ring of p-adic integers,
respectively. By a p-adic field, we mean a finite extension of Qp . For a p-adic field K, let
OK denote the valuation ring of K and let PK denote the maximal ideal of OK . We
write qK = |OK /PK |.

2. Established zeta functions of groups, algebras, and modules
2.1. Subalgebra and ideal zeta functions
Following [26] (cf. [35, §2.1]), for a commutative ring R and a (possibly non-associative)
R-algebra A, we formally define the subalgebra zeta function of A to be
X
ζA6 (s) =
|A : U|−s ,
U

where U ranges over the R-subalgebras of A such that the R-module quotient A/U has
finite cardinality |A : U|. Additional hypotheses (which are satisfied in our applications
below) ensure that the number an (A) of R-subalgebras of index n of A is finite for every
n > 1 and, in addition, an (A) grows at most polynomially as a function of n. Under
these assumptions, ζA6 (s) defines an analytic function in some complex right half-plane.
Now let A be a finite-dimensional possibly non-associative k-algebra, where k is a
number field as above. Choose an o-form A of A whose underlying o-module is free.
For v ∈ Vk , let AQ
v := A ⊗o ov , regarded as an ov -algebra. We then have an Euler
6
product ζA (s) = v∈Vk ζA6v (s); see [35, Lem. 2.3]. While the global zeta function
ζA6 (s) is an analytic object, as we will recall below, the local zeta functions ζA6v (s)
are algebro-geometric
in nature. Note that up to discarding finitely many elements, the

family ζA6v (s) v∈V of local zeta functions only depends on A and not on the o-form A.
k
If, instead of enumerating subalgebras, we consider ideals, we obtain the global and
local ideal zeta functions ζA/ (s) and ζA/ v (s) of A, respectively; these are also linked by
an Euler product as above.

4

2.2. Submodule zeta functions
Submodule zeta functions were introduced by Solomon [42] in the context of semisimple
associative algebras. In the following generality (based upon [35, §2.1]), they also
generalise ideal zeta functions of algebras. For a commutative ring R, an R-module V,
and a set Ω ⊂ EndR (V), we formally define the submodule zeta function of Ω acting
on V to be
X
ζΩyV (s) =
|V : U|−s ,
U

where U ranges over the Ω-invariant R-submodules of V with finite R-module quotients V/U. The name “submodule zeta function” is justified by the observation that we
are free to replace Ω by its enveloping unital associative algebra within EndR (V).
Let V be a finite-dimensional vector space over k and let Ω ⊂ Endk (V ) be given.
Choose an o-form V of V which is free as an o-module. Furthermore, choose a finite
set Ω ⊂ Endo (V) which generates the same unital subalgebra
of Endk (V ) as Ω. Writing
Q
Vv = V ⊗o ov , we obtain an Euler product ζΩyV (s) = v∈Vk ζΩyVv (s); as in §2.1, up to
discarding finitely many factors, the collection of local zeta functions on the right-hand
side of this product only depends on (Ω, V ) and not on the choice of (Ω, V).

2.3. Representation zeta functions associated with unipotent groups
Following [27,43], for a topological group G, we let r̃n (G) denote the number of continuous
irreducible representations G → GLn (C) counted up to equivalence and tensoring with
continuous 1-dimensional complex representations. We formally define the (twist)
representation zeta function of G to be
f
irr
ζG
(s)

=

∞
X

r̃n (G)n−s .

n=1

Let G be a unipotent algebraic group over k; see [11, Ch. IV] for background. Let
Un denote the group scheme of upper unitriangular n × n-matrices. We choose an
embedding of G into some Un ⊗k and let G 6 Un ⊗o be the associated o-form of G (viz.
the scheme-theoretic closure of G within Un ⊗o). By [43, Prop. 2.2], the Euler product
Q
f
f
irr
irr
ζG(o)
(s) = v∈Vk ζG(o
(s) connects the representation zeta function of the discrete group
v)
G(o) and those of the pro-pv groups G(ov ), where pv is the rational prime contained in pv .

2.4. Motivation: zeta functions of nilpotent groups
We briefly recall the original motivation for the study of subalgebra and ideal zeta
function from [26] and representation zeta functions in [27, 46] (cf. [43]). For any
6
topological group G, the subgroup zeta function ζG
(s) (resp. the normal subgroup
P
/
zeta function ζG (s)) of G is formally defined to be H |G : H|−s , where H ranges of
the closed subgroups (resp. closed normal subgroups) of G of finite index.
Let G be a
Q
6
discrete torsion-free finitely generated nilpotent group. Then ζG
(s) = p ζ 6 (s), where
Ĝp

5

p ranges over primes and Ĝp denotes the pro-p completion of G. Moreover, the global
6
and local zeta functions ζG
(s) and ζ 6 (s) all converge in some complex right half-plane.
Ĝp
Analogous statements hold for the normal subgroup and representation zeta functions of
G.
Apart from finitely many exceptions, the local subobject and representation zeta
functions attached to G are special cases of those in §§2.1–2.2. Recall that the Mal’cev
correspondence attaches a finite-dimensional nilpotent Lie Q-algebra, L say, to G. As
explained in [26], if L is a Z-form of L which is finitely generated as a Z-module, then
6
/ (s) = ζ /
ζ 6 (s) = ζL⊗Z
(s) and ζĜ
L⊗Zp (s) for almost all p. Moreover, if G is the unipotent
p
Ĝp
p
algebraic group over Q with Lie algebra L and if G is a Z-form of G arising from an
embedding G 6 Un ⊗Q, then Ĝp = G(Zp ) for almost all primes p (see [43]).

3. Graded subalgebra and ideal zeta functions
In this section, we introduce variations of the subalgebra and ideal zeta functions from
§2.1 which take into account a given additive grading of the algebra under consideration.

3.1. Definitions
Let R be a commutative ring and let A be a possibly non-associative R-algebra. Further
suppose that we are given a direct sum decomposition
A = A1 ⊕ · · · ⊕ Ar

(3.1)

of R-modules. As usual, an R-submodule U 6 A is homogeneous if it decomposes as
U = U1 ⊕ · · · ⊕ Ur for R-submodules Ui 6 Ai for i = 1, . . . , r. We formally define the
graded subalgebra zeta function of A with respect to the decomposition (3.1) to be
X
ζAgr6 (s) =
|A : U|−s ,
U

where U ranges over the homogeneous R-subalgebras of A such that the R-module quotient
A/U is finite. We also define the graded ideal zeta function ζAgr / (s) in the evident
way. Note that we do not require (3.1) to be compatible with the given multiplication
in A. As in the non-graded context, given a finite-dimensional possibly non-associative
k-algebra A together with a vector space decomposition A = A1 ⊕ · · · ⊕ Ar , we obtain
associated global and local graded subalgebra and ideal zeta functions generalising those
from §2.1 by choosing appropriate o-forms.
Example 3.1. Let A = Zn1 ⊕ · · · ⊕ Znr be regarded as an abelian Lie Z-algebra for
n1 , . . . , nr > 1. Q
It follows
from the well-known non-graded case (r = 1; see [26, Prop. 1.1])
Q i −1
that ζAgr6 (s) = ri=1 nj=0
ζ(s − j), where ζ denotes the Riemann zeta function.
Remark 3.2. Let R, V, and Ω ⊂ EndR (V) be as in §2.2. Fix an R-module decomposition
V = V1 ⊕ · · · ⊕ Vr . In analogy to the above, we define the graded submodule zeta
gr
function ζΩyV
(s) of Ω by enumerating homogeneous Ω-invariant R-submodules of V.

6

3.2. Reminder: graded Lie algebras
Let R be a commutative Noetherian ring. All Lie R-algebras in the following are assumed
to be finitely generated as R-modules. Recall that an (N-)graded
Lie algebra over
L
g
R is a Lie R-algebra g together with a decomposition g = ∞
into
R-submodules
i=1 i
gi 6 g such that [gi , gj ] 6 gi+j for all i, j > 1. Since g is Noetherian as an R-module,
gi = 0 for sufficiently large i whence such an algebra g is nilpotent. Following [31, §2,
Def. 1], we say that g is fundamental if [g1 , gi ] = gi+1 for all i > 1. If R = R or R = C,
then the fundamental graded Lie R-algebras of dimension at most 7 have been classified
in [31]. In the case of dimension at most 5, the classification in [31] is in fact valid over
any field of characteristic zero; see [31, §2.2, Rem. 1].
Let g be a finite-dimensional Lie algebra over a field. Let g = g1 ⊃ g2 ⊃ · · ·L
be the lower
i i+1
central series of g. As is well-known, commutation in g endows gr(g) := ∞
i=1 g /g
with the structure of a graded Lie algebra; note that gr(g) is fundamental by construction.
We call gr(g) the graded Lie algebra associated with g.
The study of graded zeta functions seems quite natural in the context of nilpotent Lie
algebras. It would be interesting to find group-theoretic interpretations, in the spirit
of §2.4, of such zeta functions associated with graded nilpotent Lie algebras.

3.3. Graded subobject zeta functions as p-adic integrals
In order to carry out explicit computations of local graded subobject zeta functions,
we will use the following straightforward variation of [15, §5]; we only spell out the
enumeration of graded subalgebras, the case of ideals being analogous.
Theorem 3.3. Let O be the valuation ring of a non-Archimedean local field. Let A
be a (possibly non-associative) O-algebra whose underlying O-module is free with basis
a = (a1 , . . . , ad ). Let 0 = β1 < · · · < βr+1 = d and decompose A = A1 ⊕ · · · ⊕ Ar by
setting Ai = Oa1+βi ⊕ · · · ⊕ Oaβi+1 .
Let T denote the O-module of block diagonal upper triangular d × d-matrices over O
with block sizes β2 − β1 , . . . , βr+1 − βr . Let M (X) be the generic matrix of the same
shape over O; in other words,




X1,1 . . . X1,β2
X1+βr ,1+βr . . . X1+βr ,d

..  , . . . , 
..  .
..
..
M (X) = diag 

.
.
. 
. 
Xβ2 ,β2

Xd,d

Let R = O[X] and let ? : Rd × Rd → Rd be induced via base extension by multiplication
in A with respect to a. Let F ⊂ R consist of all entries of all d-tuples (Mi (X) ?
Mj (X)) adj(M (X)) for 1 6 i, j 6 d, where adj(M (X)) denotes the adjugate matrix
of M (X) and Mi (X) the ith row of M (X). Define V = {x ∈ T : det(M (x)) |
f (x) for all f ∈ F }. Let q denote the residue field size of O, let µ denote the normalised
Pr
βi+1 −βi +1
) , and let | · | denote the absolute value on K such
2
Haar measure on T ≈ O i=1 (

7

that |π| = q −1 for any uniformiser π. Then
Z Y
−βi
r βi+1
Y
gr6
−1 −d
ζA (s) = (1 − q )
|xj+βi ,j+βi |s−j dµ(x).
V

i=1



(3.2)

j=1

Remark 3.4. As in [15, §5], a matrix x ∈ T belongs to the set V in Theorem 3.3 if
and only if its row span is a subalgebra of Od , regarded as an algebra via the given
identification A = Od .
The following illustrates Theorem 3.3 for an infinite family of graded algebras.
Proposition 3.5. Let n > 1 and let m(n) = m1 (n) ⊕ · · · ⊕ mn (n) be the graded Lie Zalgebra of additive rank n + 1 and nilpotency class n with m1 (n) = Ze0 ⊕ Ze1 , mi (n) = Zei
for i = 2, . . . , n, and non-trivial commutators [e0 , ei ] = ei+1 for 1 6 i 6 n − 1. Let k be a
number field with ring of integers o. Then for each v ∈ Vk ,

gr /
−s
1−s
−3s
−4s
−(n+1)s
ζm(n)⊗o
(s)
=
1/
(1
−
q
)(1
−
q
)(1
−
q
)(1
−
q
)
·
·
·
(1
−
q
)
,
v
v
v
v
v
v
where m(n) ⊗ ov is regarded as an ov -algebra. Denoting the Dedekind zeta function of k
by ζk (s), we thus have

gr /
ζm(n)⊗o
(s) = ζk (s)ζk (s − 1)ζk (3s)ζk (4s) · · · ζk (n + 1)s .
Proof. It is an elementary consequence of Theorem 3.3 and Remark 3.4 (both applied to
the enumeration of ideals instead of subalgebras) that for any v ∈ Vk ,
gr /
ζm(n)⊗o
(s) = (1 − qv−1 )−n−1
v
Z
s−2
s−1
× |x1 |s−1
· · · |yn−1 |s−1
dµ(x1 , x2 , x3 , y1 , . . . , yn−1 ),
v
v |x3 |v |y1 |v
V


where V = (x1 , x2 , x3 , y1 , . . . , yn−1 ) ∈ on+2
: yn−1 |yn | ·· · | y1 | x1 , x2 , x3 ; indeed,
v
(x1 , . . . , yn−1 ) ∈ V if and only if the row span of diag( x1 xx23 , y1 , . . . , yn−1 ) is an ideal of
m(n) ⊗ ov (identified with on+1
via (e0 , . . . , en )). Define a bianalytic bijection
v
ϕ : (kv× )n+2 → (kv× )n+2 ,

(x1 , x2 , x3 , y1 , . . . , yn−1 ) 7→ (x1 y1 · · · yn−1 , x2 y1 · · · yn−1 ,
x3 y1 · · · yn−1 ,
y1 · · · yn−1 ,
y2 · · · yn−1 , . . . , yn−1 );

n+1
note that the Jacobian determinant of ϕ is det ϕ0 (x1 , x2 , x3 , y1 , . . . , yn−1 ) = y13 y24 · · · yn−1
.
×
n+2
×
n
×
n+2
n+2
n
Since V ∩ (kv )
= ϕ(ov ∩ (kv )
) and µ(kv \R (kv ) ) = 0, by performing a change
of variables using ϕ and using the well-known fact ov |z|sv dµ(z) = (1 − qv−1 )/(1 − qv−1−s ),
Z
gr /
s−2
3s−1
−1 −n−1
ζm(n)⊗ov (s) = (1 − qv )
|x1 |s−1
· · · |yn−1 |v(n+1)s−1 dµ(x1 , . . . , yn−1 )
v |x3 |v |y1 |v
on+2
v


= 1/ (1 − qv−s )(1 − qv1−s )(1 − qv−3s )(1 − qv−4s ) · · · (1 − qv−(n+1)s ) .
The final claim follows by taking the product over all v ∈ Vk .

8



Remark. To the author’s knowledge, not a single example of a non-graded subobject
zeta function of a nilpotent Lie algebra of nilpotency class > 5 is known explicitly.
Integrals such as those in (3.2) are special cases of those associated with “toric data”
in [36, §3]. Hence, the author’s methods for manipulating such integrals as developed
in [36] apply directly without modification, as do the techniques explained below.

4. Explicit formulae
4.1. Theory: local zeta functions of Denef type
The following is a variation of the terminology employed in [35, §5.2]. As before, we assume
that k is a fixed number field. Suppose that we are given a collection Z = (ZK (s))K
of analytic functions of a complex variable s (each defined in some right half-plane)
indexed by p-adic fields K ⊃ k (up to k-isomorphism). We say that Z is of Denef
type if there exist a finite set S ⊂ Vk , k-varieties V1 , . . . , Vr , and rational functions
W1 , . . . , Wr ∈ Q(X, Y ) such that for all v ∈ Vk \ S and all finite extensions K/kv ,
ZK (s) =

r
X

−s
#V̄i (OK /PK ) · Wi (qK , qK
)

(4.1)

i=1

is an identity of analytic functions; here, we wrote V̄i = Vi ⊗o o/pv for a fixed but arbitrary
o-model Vi of Vi .
The following result formalises our discussion surrounding (1.1) from the introduction;
it summarises [15, §§2–3] (cf. [35, Thm 5.16]) and [43, Thm A].

Theorem 4.1. Let ZK (s) K be one of the following collections of local zeta functions
indexed by p-adic fields K ⊃ k (up to k-isomorphism).
gr6
6
/
(i) ZK (s) = ζA⊗
(s) or ZK (s) = ζA⊗
(s) (resp. ZK (s) = ζA⊗
(s) or ZK (s) =
o OK
o OK
o OK
gr /
ζA⊗
(s)),
where
A
is
an
o-form
of
a
finite-dimensional
(possibly
non-associative)
o OK
k-algebra as in §2.1 or §3.1, respectively.

(ii) ZK (s) = ζΩy(V⊗o OK ) (s), where Ω and V are as in §2.2.
irr
(iii) ZK (s) = ζG(O
(s), where G is an o-form of a unipotent algebraic group over k as
K)
in §2.3.

Then ZK (s) K is of Denef type.
f

The known proofs of Theorem 4.1 are constructive but impractical due to their reliance
on resolution of singularities. We note that the exclusion of finitely many primes implicit
in Theorem 4.1 is one of the main reasons for our focus on generic local zeta functions.

9

4.2. By-products of the computation of topological zeta functions
The computation of topological zeta functions is often considerably easier than that
of local ones. In [35, 36, 38], the author developed practical methods for computing
topological zeta functions associated with the local zeta functions in Theorem 4.1; these
methods are not algorithms because they may fail if certain non-degeneracy conditions
are violated. From now on, we will assume the validity of the following.
Assumption 4.2. In the setting of Theorem 4.1, the method from [36, §4] (resp. [38, §5.4])
for computing topological subalgebra and submodule zeta functions (resp. topological
representation zeta functions) succeeds.
Remark 4.3. The author is unaware of a useful intrinsic characterisation of those groups,
algebras, and modules such that Assumption 4.2 is satisfied. The local zeta functions in
Theorem 4.1 can be described in terms of p-adic integrals associated with a collection of
polynomials. A sufficient condition for the validity of Assumption 4.2 is “non-degeneracy”
of said collection of polynomials in the sense of [35, §4.2]; cf. [36, Lem. 5.7] and [38, §5.4.1].
The first stages of the methods for computing topological zeta functions associated
with the local zeta functions in Theorem 4.1, as described in [36, 38], come close to
constructing an explicit formula (4.1). In detail, using [35, Thm 4.10] (see [36, Thm 5.8]
and [38, Thm 5.9]), whenever they succeed, these methods derive a formula (4.1) such
that the following two assumptions are satisfied.
Assumption 4.4. The Vi in (4.1) are given as explicit subvarieties of algebraic tori
over k, defined by the vanishing of a finite number of Laurent polynomials and the
non-vanishing of a single Laurent polynomial.
Assumption 4.5. Up to multiplication by explicitly given rational functions of the form
(X − 1)a X b (for suitable a, b ∈ Z), each Wi in (4.1) is described explicitly in terms of
generating functions associated with half-open cones and convex polytopes.
We will clarify the deliberately vague formulation of Assumption 4.5 in §6.
In summary, whenever they apply, the methods for computing topological zeta functions
in [36, 38] fall short of “constructing” an explicit formula (4.1) only in the sense that the
Wi are characterised combinatorially instead of being explicitly given, say as fractions of
polynomials.
In the following sections, assuming the validity of Assumptions 4.2–4.5, we will develop
techniques for performing further computations with a formula of the form (4.1) with a
view towards solving the Uniformity Problem from the introduction in fortunate cases.

5. Counting rational points on subvarieties of tori
Assuming the validity of Assumption 4.4, this section is devoted to “computing” the
numbers #V̄i (OK /PK ) in (4.1). Using the inclusion-exclusion principle, we may reduce

10

to the case that the Vi are all closed subvarieties of algebraic tori over k. Note that
the non-constructive version of the Uniformity Problem from §1 has a positive solution
whenever each #V̄i (OK /PK ) is a polynomial in qK (after excluding finitely many places
of k). The following method is based on the heuristic observation that the latter condition
is often satisfied for examples of interest.
Setup. Let Tn := Spec(Z[X1±1 , . . . , Xn±1 ]) and, for a commutative ring R, write TnR :=
Tn ⊗ R. For a finite set S ⊂ Vk , let oS = {x ∈ k : x ∈ ov for all v ∈ Vk \ S} denote the
usual ring of S-integers of k. For f1 , . . . , fr ∈ oS [X1±1 , . . . , Xn±1 ], define
(f1 , . . . , fr )nS := Spec(oS [X1±1 , . . . , Xn±1 ]/hf1 , . . . , fr i) ⊂ TnoS .
For v ∈ Vk \ S and a finite extension K of o/pv , let |f1 , . . . , fr |nK denote the number of
K-rational points of (f1 , . . . , fr )nS .
Objective: symbolic enumeration. From now on, let f1 , . . . , fr ∈ oS [X1±1 , . . . , Xn±1 ] be
given as above. Our goal in the following is to symbolically “compute” the numbers
|f1 , . . . , fr |nK as a function of K. More precisely, the procedure described below constructs
a polynomial, H(X, c1 , . . . , c` ) say, over Z such that, after possibly enlarging S, for all
v ∈ Vk \ S and all finite extensions K of o/pv ,
(f1 , . . . , fr )nK = H(|K|, #U1 (K), . . . , #U` (K)),
where each Ui is an explicitly given closed subscheme of some TnoSi . We could of course
simply take H = c1 and U1 = (f1 , . . . , fr )nS but we seek to do better. Indeed, in many
cases of interest, H can be taken to be a polynomial in X only. In the following, we
describe a method which has proven to be quite useful for handling such cases.
Dimension 6 1. We first describe two base cases of our method. Namely, if n = 0,
then, after possibly enlarging S, (f1 , . . . , fr )nS is either ∅ or T0oS = Spec(oS ) depending
on whether some fi 6= 0 or not; thus, |f1 , . . . , fr |nK ∈ {0, 1} for K as above.
Secondly, if n = 1, then we use the Euclidean algorithm over k (thus possibly enlarging S) to compute a single square-free polynomial f ∈ oS [X1 ] such that (f1 , . . . , fr )1S =
(f )1S . If f splits completely over k, then, after possibly enlarging S once again, |f |1K =
deg(f ) for all K as above. If f does not split completely over k, then we introduce a new
variable, cf say, corresponding to the number of solutions of f = 0 in K× .
Simplification. It is often useful to “simplify” the given Laurent polynomials f1 , . . . , fr ;
while this step was sketched in [36, §6.6], here we provide some further details. As
before, the set S may need to be enlarged at various points in the following. First, we
discard any zero polynomials among the fi . We then clear denominators so that each
fi ∈ k[X1 , . . . , Xn ] is an actual (not just Laurent) polynomial. Next, we replace each fi
by its square-free part in k[X1 , . . . , Xn ]. For each pair (i, j) of distinct indices, we then
compute the (square-free part of the) remainder, r say, of fi after multivariate polynomial

11

division by fj with respect to some term order (see e.g. [1, §1.5]). If r consists of fewer
terms than fi , we replace fi by r. Next, for each pair (i, j) as above and each term
t
ti of fi and tj of fj , we are free to replace fi by (the square-free part of) gj fi − tgi fj ,
where g = gcd(ti , tj ) (computed over k), which we again do whenever it reduces the
total number of terms. After finitely many iterations of the above steps, f1 , . . . , fr will
stabilise at which point we conclude the simplification step.
We next describe two procedures which, if applicable, allow us to express |f1 , . . . , fr |nK
in terms of the numbers of rational points of subschemes of lower-dimensional tori. We
then recursively attempt to solve the symbolic enumeration problem from above for these.
Reduction of dimension I: torus factors. As explained in [36, §6.3], using the natural
action of GLn (Z) on Tn , a Smith normal form computation allows us to effectively
construct g1 , . . . , gr ∈ oS [X1±1 , . . . , Xd±1 ] and an explicit isomorphism (f1 , . . . , fr )nS ≈
(g1 , . . . , gr )dS ×oS Tn−d
oS , where d is the dimension of the Newton polytope of f1 · · · fr . It
follows that for all K as above, |f1 , . . . , fr |nK = |g1 , . . . , gr |dK · (|K| − 1)n−d . In the following,
we may thus assume that n = d.
Reduction of dimension II: solving for variables. Whenever it is applicable, the following lemma allows us to replace the problem of symbolically computing |f1 , . . . , fr |nK
by four instances of the same problem in dimension n − 1.
±1
Lemma 5.1. Let F ⊂ oS [X1±1 , . . . , Xn−1
]. Further let f = u − wXn for non-zero
±1
±1
u, w ∈ oS [X1 , . . . , Xn−1 ]. Then for all v ∈ Vk \ S and all finite extensions K of o/pv ,

|F, f |nK = |F |n−1
− |F, u|n−1
− |F, w|n−1
+ |K| · |F, u, w|Kn−1 .
K
K
K
Proof. Projection onto the first n − 1 coordinates induces an isomorphism of oS -schemes
n−1
n
n
\ (F, uw)n−1
×oS
(F, f )nS \ (F, f, w)nS ≈ (F )n−1
S
S . As (F, f, w)S = (F, u, w)S ≈ (F, u, w)S
1
ToS , the claim follows since for all v ∈ Vk \ S and all finite extensions K of o/pv ,
n−1
|((F )n−1
\ (F, uw)n−1
− |F, u|n−1
− |F, w|n−1
+ |F, u, w|n−1
K
K
K .
S
S )(K)| = |F |K



Remark 5.2. The evident analogue of Lemma 5.1 for Euler characteristics of closed
subvarieties of algebraic tori over k has already been used in the author’s software package
Zeta [39] for computing topological zeta functions. However, only the special case that
n−1
w ∈ o×
= (F, u, w)n−1
= ∅) was spelled out explicitly in [36, §6.6].
S (so that (F, w)S
S
Final case. Finally, if none of the above techniques for computing or decomposing
(f1 , . . . , fr )nS applies, then we introduce a new variable corresponding to |f1 , . . . , fr |nK . In
order to avoid this step whenever possibly, we first attempt to apply the above steps
(including all possible applications of Lemma 5.1) without ever invoking this final case.

12

6. Local zeta functions as sums of rational functions
Suppose that Assumptions 4.2–4.5 are satisfied. Our first task in this section is to
rewrite (4.1) as a sum of explicitly given rational functions. With the method from §5 at
our disposal, this problem reduces to finding such an expression for each Wi . We will see
that Barvinok’s algorithm from convex geometry solves this problem. Our second task
then concludes the computation of the generic local zeta functions in Theorem 4.1; it is
concerned with adding a potentially large number of multivariate rational functions. We
describe a method aimed towards improving the practicality of this step which, while
mathematically trivial, often vastly dominates the run-time of our computations.

6.1. Barvinok’s algorithm: generating functions and substitutions
Let P ⊂ Rn>0 be a rational polyhedron and let λ = (λ1 , . . . , λn ) be algebraically
indeP
pendent over Q. It is well-known that the generating function |P| := α∈P∩Zn λα is
rational in the sense that within the field of fractions of Q[[λ1 , . . . , λn ]], it belongs to
Q(λ1 , . . . , λn ). The standard proof of this fact (see e.g. [4, Ch. 13]) proceeds by reducing
to the case that P is a cone, in which case an explicit formula for |P| can be derived from
a triangulation of P via the inclusion-exclusion principle. This strategy for computing |P|
is, however, of rather limited practical use.
A far more sophisticated approach is given by “Barvinok’s algorithm”; see [5, 7].
Barvinok’s algorithm computes |P| for each (suitably encoded) rational polyhedron
P ⊂ Rn>0 as a sum of rational functions of the form cλα0 /((1 − λα1 ) · · · (1 − λαn )) for
suitable α0 , . . . , αn ∈ Zn and c ∈ Q. For a fixed ambient dimension n > 1, his algorithm
runs in polynomial time so that |P| is computed as a short sum of short rational functions
in a precise technical sense. Beyond its theoretical strength, Barvinok’s algorithm is also
powerful in practice as demonstrated by the software implementation LattE [3].
In the setting of Assumption 4.5, we are not primarily interested in generating functions
associated with polyhedra themselves but in rational functions derived from such generating functions via monomial substitutions. In detail, let ξ = (ξ1 , . . . , ξm ) be algebraically
independent over Q and let σ1 , . . . , σn ∈ Zm . Suppose that P ⊂ Rn>0 is a rational
polyhedron such that W := |P|(ξ σ1 , . . . , ξ σn ) is well-defined on the level of rational
functions. In principle, we could compute W by first using the output of Barvinok’s
algorithm in order to write |P| in lowest terms, followed by an application of the given
substitution. This method is, however, often impractical due to the computational cost
of (multivariate) rational function arithmetic.
A theoretically favourable and also practical alternative is developed in [6, §2] (cf. [5, §5])
There, a polynomial time algorithm is described which takes as input a short representation
of |P| (as, in particular, provided by Barvinok’s algorithm) and constructs a similar
short representation for W . The important point to note here is that while we assumed
the substitution λi 7→ ξ σi to be valid for |P| itself, it may be undefined for some of the
summands in the expression provided by Barvinok’s algorithm.

13

6.2. Computing the Wi in (4.1)
We may now clarify the vague formulation of Assumption 4.5. Namely, up to a factor
(X − 1)a X b , the Wi in (4.1) are obtained by applying suitable monomial substitutions (see
[35, Rem. 4.12] and [38, Thm 5.5]) to rational functions of the form Z C0 ,P1 ,...,Pm (ξ0 , . . . , ξm )
from [35, Def. 3.6]. The latter functions can, by their definitions, be written as sums of
rational functions obtained by applying suitable monomial substitutions to generating
functions enumerating lattice points inside rational half-open cones; as explained in
[36, §8.4], we may replace these half-open cones by rational polyhedra. We may thus use
Barvinok’s algorithm as well as the techniques for efficient monomial substitutions from
[6, §2] in order to write each Wi as a sum of bivariate rational functions of the form

f (X, Y )/ (1 − X a1 Y b1 ) · · · (1 − X am Y bm )
(6.1)
for suitable integers ai , bi ∈ Z, m > 0, and f (X, Y ) ∈ Q[X, Y ].

6.3. Final summation
In the following, we allow f (X, Y ) in (6.1) to be an element of Q[X, Y, c1 , c2 , . . . ]. By
taking into account the polynomials obtained using §5, at this point, we may thus assume
that we constructed a finite sum of expressions (6.1) such that, after excluding finitely
many places of k, the local zeta functions in Theorem 4.1 are obtained by specialising
−s
X 7→ qK , Y 7→ qK
, and ci 7→ #Ui (OK /PK ) for certain explicit subschemes Ui of tori
over o (or over oS ). All that remains to be done in order to recover the local zeta functions
of interest is to write the given sum of expressions (6.1) in lowest terms.
While our intended applications of Barvinok’s algorithm lie well within the practical
scope of LattE [3], it will often be infeasible to pass the rational functions (6.1) to a
computer algebra system in order carry out the final summation. In addition to the
sheer number of rational functions to be considered, a key problem is due to the fact
that the number of distinct pairs (ai , bi ) arising from summands (6.1) often obscures the
relatively simple shape of the final sum (i.e. the local zeta function to be computed).
This is consistent with the well-known observation (see e.g. [12, §2.3]) that few candidate
poles of local zeta functions as provided by explicit formulae (4.1) survive cancellation.
In order to carry out the final summation, we proceed in two stages. First, we use
an idea due to Woodward [49, §2.5] and add and simplify those summands (6.1) such
that distinguished pairs 1 − X c Y d occur in their written denominators; our hope here is
that some rays (ai , bi ) will be removed via cancellations. While this step is not essential,
it might improve the performance and memory requirements of the final stage. Here,
we first construct a common denominator of all the remaining rational functions (6.1).
We then compute the final result by summing the (6.1) rewritten over our common
denominator, followed by one final division. In addition to being trivially parallelisable,
by only adding numerators, we largely avoid costly rational function arithmetic.

14

6.4. Implementation issues
The method for computing generic local subobject or representation zeta functions
described above has been implemented (for k = Q) by the author as part of his package
Zeta [39] for Sage [44]. The program LattE [3] (which implements Barvinok’s algorithm)
plays an indispensable role. Moreover, the computer algebra system Singular [25] features
essentially in the initial stages of our method (as described in [36, 38]).
The author’s implementation is primarily designed to find instances of positive solutions
to the Uniformity Problem; its functionality and practicality are both quite restricted in
non-uniform cases. Furthermore, the author’s method supplements Woodward’s approach
[49] for computing local (subalgebra and ideal) zeta functions as well as various ad
hoc computations carried out by others without replacing them. In particular, various
examples of local zeta functions computed by Woodward cannot be reproduced using
the present method. In addition to the theoretical limitations of the techniques from
[35, 36, 38], this is also partially due to practical obstructions: while some computations of
topological zeta functions in [35, 36, 38] were already fairly involved, the present method
is orders of magnitude more demanding.

7. Interlude: reduced representation zeta functions
Reduced zeta functions arising from the enumeration of subalgebras and ideals were
introduced by Evseev [20]. They constitute a limit “p → 1” of suitable local zeta functions
distinct from but related to the topological zeta functions of Denef and Loeser [13] (which
were later adapted to the case of subobject zeta functions by du Sautoy and Loeser [16]).
Informally, Evseev’s definition can be summarised as follows in our setting. Let A be an
6
o-form of a k-algebra as in §2.1. For each v ∈ Vk , we may regard ζA⊗
(s) as a (rational)
o ov
−s
formal power series in Y = qv . The reduced subalgebra zeta function of A (an invariant
of A ⊗o C, in fact) is obtained by taking a limit “qv → 1” applied to the coefficients
6
of ζA⊗
(s) as a series in Y . The rigorous definition of reduced zeta function in [20]
o ov
involves the motivic subobject zeta functions introduced by du Sautoy and Loeser [16].
In this section, we show that “reduced representation zeta functions” associated with
unipotent groups are always identically 1. In addition to imposing restrictions on the
shapes of generic local representation zeta functions of such groups, this fact provides
a simple necessary condition for the correctness of explicit calculations of local zeta
functions such as those documented below.
We begin with a variation of a result from [37]. Let V be a separated k-scheme of
finite type. For any embedding k ⊂ C, the topological Euler characteristic χ(V (C)) is
defined and well-known to be independent of the embedding; cf. [29].
Lemma 7.1. Let V1 , . . . , Vr be separated o-schemes of finite type and W1 , . . . , Wr ∈
Q(X, Y1 . . . . , Ym ). Suppose that for almost all v ∈ Vk and all integers f > 0, each Wi is
regular at (qvf , Y1 , . . . , Ym ). Let P ⊂ Vk have natural density 1 and suppose that
r
X

#Vi (o/pv ) · Wi (qv , Y1 , . . . , Ym ) = 0

i=1

15

for all v ∈ P . Then

r
P

χ(Vi (C)) · Wi (1, Y1 , . . . , Ym ) = 0.

i=1

Proof. Using [40, Ch. 4], in the setting of [37, Thm 3.7], we may assume that α(1ΓS ) =
χ(V (C)). The claim is now an immediate consequence of [37, Thm 3.2] and its proof. 
Remark 7.2. Given a formula (4.1) for local subalgebra or ideal zeta functions such
that the regularity conditions
P in Lemma 7.1 are satisfied, we may read off the associated
reduced zeta function as ri=1 χ(Vi (C)) · Wi (1, Y ) without using motivic zeta functions.
The following is a consequence of the explicit formulae in [19].
Theorem 7.3. Let G be a unipotent algebraic group over k. Let G be an o-form of G as
an affine group scheme of finite type. There are separated o-schemes U1 , . . . , U` of finite
type and rational functions W1 , . . . , W` ∈ Q(X, Y ) such that
irr (s) − 1 =
(i) for almost all v ∈ Vk , ζG(o
v)
f

P̀

#Ui (o/pv ) · Wi (qv , qv−s ),

i=1

(ii) each Wi is regular at each point (q, Y ) for q > 1, and
(iii) Wi (1, Y ) = 0 for i = 1, . . . , `.
Proof. In the setting of [19, Prop. 3.4], the rational numbers Aj and Bj can actually be
assumed to be integers; this follows e.g. by taking square roots of principal minors and
rewriting [19, (2.3)] as in [38, (4.3)]. Next, using the same notation as in [19, Prop. 3.4],
|Mi | 6 |Ui | + 1 whence the claim follows easily from [19, Rem. 3.6].

Remark 7.4. Theorem 7.3 refines the simple observation that for almost all v ∈ Vk ,
f
irr
the coefficients of ζG(o
(s) − 1 as a series in qv−s are non-negative integers divisible by
v)
qv − 1, a simple consequence of the Kirillov orbit method. (Indeed, (o/pv )× acts freely
on non-trivial characters while preserving the two types of radicals in [43, Thm 2.6].)
By combining Lemma 7.1 and Theorem 7.3, we obtain the following.
Corollary 7.5. Let G be as in Theorem 7.3. Let V1 , . . . , Vr be separated o-schemes of
finite type and let W1 , . . . , Wr ∈ Q(X, Y ) such that for almost all v ∈ Vk ,
irr
ζG(o
(s) =
v)
f

r
X

#Vi (o/pv ) · Wi (qv , qv−s ).

i=1

If each Wi is regular at (q, Y ) for each q > 1, then

r
P

χ(Vi (C)) · Wi (1, Y ) = 1.



i=1

Corollary 7.6. Let G be as in Theorem 7.3. Let W (X, Y ) ∈ Q(X, Y ) such that
(i) W (X, Y ) can be written over a denominator which is a product of non-zero factors
of the form 1 − X a Y b for integers a > 0 and b > 1 and

16

irr (s) = W (q , q −s ) for almost all v ∈ V .
(ii) ζG(o
k
v v
v)
f

Then W (1, Y ) = 1.



The assumptions in Corollary 7.6 are satisfied for many examples of interest; see
Table 1. In fact, even the following much stronger assumptions are often satisfied.
Corollary 7.7. Let G be as in Theorem 7.3. Suppose that there are integers ai > 0,
bi > 1, and εi ∈ {±1} for i = 1, . . . , m such that for almost all v ∈ Vk ,
irr
ζG(o
(s) =
v)
f

m
Y

(1 − qvai −bi s )εi .

i=1

Then

m
P

εi = 0 and the multisets {{bi : εi = 1}} and {{bi : εi = −1}} coincide.

i=1

Q
bi εi
Proof. Corollary 7.6 shows that 1 = m
i=1 (1 −
PYm ) . By considering the vanishing
order of this function in Y at 1, we see that i=1 εi = 0. Let c = max(bi : εi = 1)
and d = max(bi : εi = −1). If ξ ∈ C is a primitive cth root of unity, then 1 − ξ bi = 0
for some i with εi = −1 whence c 6 bi 6 d; dually, d 6 c and the final claim follows
by induction.

Remark 7.8. The above results carry over verbatim to the case of representation zeta
functions of “principal congruence subgroups” Gm (ov ) := exp(pm
v g ⊗o ov ) attached to
an o-form of a perfect Lie k-algebra in [2]. For example, by [2, Thm E], the ordinary
representation zeta function of SL13 (Zp ) (p 6= 3) is W (p, p−s ) for
W (X, Y ) =

(X 2 Y 2 + XY 2 + Y 3 + X 2 + XY + Y ) × (X 2 − Y )(X − Y )X 3
(1 − X 2 Y 3 )(1 − XY 2 )

and indeed W (1, Y ) = 1.

8. Applications I: representation zeta functions of unipotent
groups
In this and the following two sections, we record explicit examples of generic local zeta
functions of groups, algebras, and modules of interest which were computed using the
method developed in the present article and its implementation Zeta [39]. The explicit
formulae given below, as well as others, are also included with Zeta.
It is well-known that, up to isomorphism, unipotent algebraic groups over k correspond
1–1 to finite-dimensional nilpotent Lie k-algebras, see [11, Ch. IV]. Nilpotent Lie algebras
of dimension at most 6 over any field of characteristic zero were first classified by
Morozov [32]; various alternative versions of this classification have been obtained.
As one of the main applications of the techniques developed in the present article, for
an arbitrary number field k, we can compute the generic local (twist) representation

17

zeta functions associated with all unipotent algebraic groups of dimension at most 6
over k. The results of these computations are documented in Table 1 (p. 20). The
structure of Table 1 mimics the list of associated topological representation zeta functions
in [38, Table 1]. In detail, the first column lists the relevant Lie algebras using de Graaf’s
notation [10]; an algebra Ld,i has dimension d. For each Lie algebra g, we choose an
o-form G of the unipotent algebraic group over k associated with g. The second column
in Table 1 contains formulae for the representation zeta functions of the groups G(ov )
which are valid for almost all v ∈ Vk (depending on G). Note that Corollary 7.7 applies
to the majority of examples in Table 1. As we previously documented in [38, §6], generic
local representation zeta functions associated with various Lie algebras in Table 1 were
previously known (but sometimes only recorded for k = Q), as indicated in the third
column. For the convenience of the reader, the more detailed references to the literature
from [38, Tab. 1] are reproduced in Remark 8.3.
Remark 8.1 (From Q to k). Apart from the four infinite families (see the following
remark), all Lie algebras in Table 1 are defined over Q. By the invariance of (4.1) under
local base extensions (Theorem 4.1), it thus suffices to compute associated generic local
representation zeta functions for k = Q.
Remark 8.2 (Computations for infinite families). The method for computing generic
local zeta functions developed in this article takes as input a global object such as a
nilpotent Lie k-algebra. In order to carry out computations for the four infinite families
L6,19 (a), L6,21 (a), L6,22 (a), and L6,24 (a) in Table 1, additional arguments are required.
First, as explained in [10], we are free to multiply the parameters a from above by
elements of (k × )2 6 k × without changing the k-isomorphism type of the Lie algebra, g(a)
say, in question. We may thus assume that 0 6= a ∈ o in the following. The definition of
g(a) in [10] then provides us with a canonical o-form, g(a) say, of g(a) which is in fact
defined over Z[a]. Let Ga be an o-form of the unipotent algebraic group over k associated
with g(a). As explained in [43, §2], the structure constants of g(a) (with respect to its
f
defining basis from [10]) give rise to a formula for ζGirra (ov ) (s) in terms of certain explicit
o-defined p-adic integrals (see [43, Cor. 2.11]); this formula is valid for almost all v ∈ Vk .
It is an elementary exercise to verify that if g = L6,19 (a) or g = L6,21 (a), then
f
the polynomials featuring in the aforementioned integral formulae for ζGirra (ov ) (s) are all
monomials in a and the variables Y1 , . . . , Yd (in the notation of [43, §2.2] and up to signs).
f
It follows that up to excluding finitely many v ∈ Vk , ζGirra (ov ) (s) does not depend on a. We
may therefore simply carry out our calculation for k = Q and a = 1, say.
Let g(a) be L6,22 (a) or L6,24 (a). Another simple calculation reveals that (again up
to signs) a single non-monomial polynomial occurs in the associated integral formulae
from above, namely Y12 − aY22 . For any fixed a, by applying the procedure from [38, §5.4]
as well as the steps described in the present article, we produce a rational function
f
Wa (X, Y, Z) such that ζGirra (ov ) (s) = Wa (qv , qv−s , ca (v)) for almost all v ∈ Vk , where ca (v)
denotes the number of roots of X 2 − a in o/pv ; it is well-known that if a 6∈ (k × )2 , then for
almost all v ∈ Vk , ca (v) = 0 or ca (v) = 2 according to whether pv remains inert or splits
√
in k( a), respectively. The critical observation (which follows easily from [38, §5.4]) is

18

that W := Wa is independent of a and also of k. We may thus compute W explicitly by
e.g. taking k = Q and a = 2.
Remark 8.3. Explicit references for the known instances of generic local representation
zeta functions in Table 1 are as follows (cf. [38, Tab. 1]):
algebra
L3,2
L5,4
L5,7
L5,9
L6,10
L6,19 (0)
L6,22 (0)
L6,25

reference
[34, Thm 5])
B4 [41, Ex. 6.3])
M4 [21, (4.2.24)]
F3,2 [21, Tab. 5.2])
G6,12 [21, Tab. 5.2])
G6,7 [21, Tab. 5.2])
[41, Ex. 6.5]
M4,3 [21, (5.3.7)]

algebra
L4,3
L5,5
L5,8

reference
M3 [21, (4.2.24)]
G5,3 [21, Tab. 5.2])
M3,3 [21, (5.3.7)]
= G3 [41, Ex. 6.2])
L6,18
M5 [21, (4.2.24)]
L6,19 (1)
G6,14 [21, Tab. 5.2]
L6,22 (a) (a ∈ k × \(k × )2 )[22]
L6,26
F1,1 [43, Thm B].

The author would like to emphasise that all the formulae in Table 1 were obtained
using the method developed here. In particular, our computations provide independent
confirmation of the aforementioned (sometimes computer-assisted but predominantly
manual and ad hoc) calculations found in the literature.
For an example in dimension > 6, recall from §2.3 that Un denotes the group scheme
of upper unitriangular n × n-matrices. Using the notation from [10] as in Table 1, U3 ⊗Q
(the Heisenberg group) and U4 ⊗Q are the unipotent algebraic groups over Q associated
with the Lie algebras L3,2 and L6,19 (1), respectively. The following result obtained using
the method from the present article illustrates that the simple shapes of the corresponding
local representation zeta functions in Table 1 may mislead.
Theorem 8.4. For almost all primes p and all finite extensions K/Qp ,
−s
irr
ζU
(s) = W (qK , qK
),
5 (OK )
f

where
W = X 10 Y 10 − X 9 Y 9 − 2X 9 Y 8 + X 9 Y 7 + X 8 Y 8 − X 7 Y 7 − 2X 7 Y 6 + X 7 Y 5
+ 6X 6 Y 6 − 4X 5 Y 6 − 4X 5 Y 4 + 6X 4 Y 4 + X 3 Y 5 − 2X 3 Y 4 − X 3 Y 3



+ X 2 Y 2 + XY 3 − 2XY 2 − XY + 1 × 1 − Y 3 × 1 − Y

/ (1 − X 6 Y 4 )(1 − X 3 Y 3 )(1 − XY 3 )(1 − X 2 Y 2 )(1 − X 2 Y )2 .
The topological representation zeta function of U6 cannot be computed using [38].
Consequently, the corresponding local zeta functions cannot be computed using the
method developed here.
Observe that the numerator of each W (X, Y ) in Table 1 is divisible by a polynomial
of the form 1 − Y e . Experimental evidence provided by these examples and those in Zeta
suggests that the following p-adic version of [38, Qu. 7.4] might have a positive answer.

19

Question 8.5. Let G be an o-form of a non-abelian unipotent algebraic group over k.
f
irr
Does the meromorphic continuation of ζG(o
(s) always vanish at zero for almost all
v)
v ∈ Vk ?
Remark. By [24, Cor. 2], if p is odd, then the meromorphic continuation of the ordinary
(= non-twisted) representation zeta function of a compact FAb p-adic analytic group
vanishes at −2.
Lie algebra
abelian
L3,2
L4,3
L5,4
L5,5
L5,6
L5,7
L5,8
L5,9
L6,10
L6,11
L6,12
L6,13
L6,14
L6,15
L6,16
L6,17
L6,18
L6,19 (0)
L6,19 (a) (a ∈ k × )
L6,20
L6,21 (0)
L6,21 (a) (a ∈ k × )
L6,22 (0)
L6,22 (a)
(a ∈ k × \(k × )2 )1
L6,23
L6,24 (0)
L6,24 (a)
(a ∈ k × )
L6,25
L6,26

irr
W (X, Y ) s.t. ζG(o
(s) = W (qv , qv−s ) for almost all v ∈ Vk
v)
1
(1 − Y )/(1 − XY )
(1 − Y )2 /(1 − XY )2
(1 − Y 2 )/(1 − XY 2 )

(1 − XY 2 )(1 − Y )/ (1 − X 2 Y 2 )(1 − XY ) 
(1 − X 2 Y 2 )(1 − Y )2 / (1 − X 3 Y 2 )(1 − XY )2
(1 − Y )2 / (1 − X 2 Y )(1 − XY )
(1 − Y )/(1 − X 2 Y )

(1 − Y )2 / (1 − X 2 Y )(1 − XY )

(1 − Y 2 )(1 − Y )/ (1 − XY 2 )(1 − XY )
f

(−X 3 Y 4 +X 3 Y 3 −2X 2 Y 3 +3X 2 Y 2 −3XY 2 +2XY −Y +1)(1−Y )
(1−X 4 Y 3 )(1−X 2 Y 2 )

2 2
2
3 2
2

known
X
X
X
X
X
X
X
X
X

(1 − X Y )(1 − Y ) / (1 − X Y )(1 − XY )
(X 4 Y 6 +X 4 Y 5 −X 3 Y 4 −2X 2 Y 3 −XY 2 +Y +1)(1−Y )2
(1−X 3 Y 3 )(1−X 2 Y 2 )(1−XY 2 )(1−XY )
(X 4 Y 6 −X 4 Y 4 +X 3 Y 5 −2X 2 Y 3 +XY −Y 2 +1)(1−Y )2
(1−X 3 Y 3 )(1−X 3 Y 2 )(1−XY 2 )(1−XY )
(−X 5 Y 4 −X 4 Y 3 +X 3 Y 2 −X 2 Y 2 +XY +1)(1−Y )2
(1−X 5 Y 3 )(1−X 3 Y 2 )(1−XY )
2
2
2
2


(1 − Y )(1 − Y ) / (1 − X Y )(1 − XY )(1 − XY )

(1 − X 3 Y 2 )(1 − Y )2 / (1 − X 4 Y 2 )(1 − X 2 Y )(1 − XY )
(1 − Y )2 / (1 − X 3 Y )(1 − XY )
(1 − Y )2 / (1 − X 2 Y )(1 − XY )

(1 − Y 2 )(1 − Y )/ (1 − X 2 Y )(1 − XY 2 ) 
(1 − XY 2 )(1 − Y )/ (1 − X 2 Y )(1 − X 2 Y 2 )
(1 − Y )2 /(1 − X 2 Y )2

(1 − X 2 Y 2 )(1 − Y )2 / (1 − X 3 Y 2 )(1 − X 2 Y )(1 − XY )
(1 − X 2 Y 2 )(1 −√
Y )/ (1 − X 3 Y 2 )(1 − XY )
if pv splits in k( √
a): (1 − Y )2 /(1 − XY )2
if pv is inert in k( a): (1 − Y 2 )/(1 − X 2 Y 2)
(1 − X 3 Y 2 )(1 − Y )/ (1 − X 4 Y 2 )(1 − X 2 Y )
(X 4 Y 4 −X 4 Y 3 +X 3 Y 3 −2X 2 Y 2 +XY −Y +1)(1−Y )
(1−X 3 Y 2 )2 (1−XY )
2
√
+2XY −2Y +1)(1−Y )
× 2
if a ∈ (k ) or pv splits in k( a): (−XY(1−X
3 Y 2 )(1−XY )
√
(1−XY 2 )(1−Y )
× 2
if a 6∈ (k ) and pv is inert in k( a): (1−X 3 Y 2 )(1−XY )
2
2

(1 − XY )(1 − Y )/(1 − X Y )
(1 − Y )/(1 − X 3 Y )

X
X
X(a = 1)

X
X
X

X
X

Table 1: Generic local representation zeta functions associated with all indecomposable
unipotent algebraic groups of dimension at most six over a number field

20

9. Applications II: classical subobject zeta functions
9.1. Subalgebras: gl2 (Q)
The first computations of the subalgebra zeta functions of sl2 (Zp ) are due, independently,
to du Sautoy [14] (for p 6= 2, relying heavily on [28]) and White [48]. These zeta functions
have later been confirmed by different means in [17], [30, §4.2], and [35, §7.1] (for p 6= 2).
Up until now, sl2 (Q) has remained the sole example of an insoluble Lie Q-algebra whose
generic local subalgebra zeta functions have been computed. Using the method developed
in the present article, we obtain the following.
Theorem 9.1. For almost all primes p and all finite extensions K/Qp ,
ζgl6

2 (OK )

−s
(s) = W (qK , qK
),

where
W (X, Y ) = −X 8 Y 10 − X 8 Y 9 − X 7 Y 9 − 2X 7 Y 8 + X 7 Y 7 − X 6 Y 8
− X 6 Y 7 + 2X 6 Y 6 − 2X 5 Y 7 + 2X 5 Y 5 − 3X 4 Y 6 + 3X 4 Y 4
− 2X 3 Y 5 + 2X 3 Y 3 − 2X 2 Y 4 + X 2 Y 3 + X 2 Y 2 − XY 3

 
+ 2XY 2 + XY + Y + 1 / (1 − X 7 Y 6 )(1 − X 3 Y 3 )(1 − X 2 Y 2 )2 (1 − Y ) .
The topological subalgebra zeta function ζgl6 (Q),top (s) = (27s − 14)/(6(6s − 7)(s − 1)3 s)
2
of gl2 (Q) was first recorded in [35, §7.3] (relying on techniques from [36]); the result
given there is consistent with Theorem 9.1. Theorem 9.1 is particularly interesting since
the simple shape of ζgl6 (Q),top (s) might seem indicative of a local zeta function which is a
2

a−bs
product of “cyclotomic factors” 1 − qK
or their inverses, which is in fact not the case.
We note that the computations underpinning Theorem 9.1 used that gl2 (R) ≈ sl2 (R)⊕R
for any commutative ring R in which 2 is invertible; here we regarded R as an abelian
Lie R-algebra. Theorem 9.1 therefore also illustrates the potentially wild effect of direct
sums on subalgebra zeta functions; in contrast, [18] contains examples of subalgebra and
ideal zeta functions associated with nilpotent Lie algebras which are very well-behaved
under this operation.
The rational function W (X, Y ) in Theorem 9.1 satisfies the functional equation

W (X −1 , Y −1 ) = X 6 Y 4 W (X, Y )
predicted by [46, Thm A] (cf. [37, §5]). Moreover, the
 reduced subalgebra zeta function of
gl2 (Q) is W (1, Y ) = (1 − Y 3 )/ (1 − Y )3 (1 − Y 2 )2 , as predicted by [20, Thm 3.3] (using
the fact that the reduced subalgebra zeta function of sl2 (Z) is (1−Y 3 )/ (1−Y )2 (1−Y 2 )2
(by [20, Prop. 4.1])).

1

For a ∈ (k× )2 , L6,22 (a) ≈ L23,2 decomposes.

21

9.2. Subalgebras: k[T ]/T n for n 6 4
Most examples of local subalgebra zeta functions in the literature are concerned with
(often nilpotent) Lie algebras. An important exception is given by the subalgebra zeta
functions of Znp endowed with component-wise multiplication; explicit formulae for these
zeta functions are known for n 6 3 (see [33]). In the following, we consider another
natural family of associative, commutative algebras, k[T ]/T n , for n 6 4.
Due to the simplicity of the associated “cone integrals” as in [15], the formulae for
n = 2, 3 recorded in the following can be obtained by hand with little difficulty. Using a
substantially more involved computation, the techniques developed in the present article
also allow us to consider the case n = 4. For n = 5, the author’s techniques for computing
topological subalgebra zeta functions do not apply, i.e. Assumption 4.2 is violated.
Theorem 9.2. For almost all primes p and all finite extensions K/Qp , writing q = qK ,
6
ζO
2 (s) =
K [T ]/T

1 − q −2s
,
(1 − q −s )2 (1 − q 1−2s )

6
−s
ζO
)×
3 (s) = FQ[T ]/T 3 (q, q
K [T ]/T

1 − q 2−4s
, and
(1 − q 4−5s )(1 − q 2−3s )2 (1 − q 1−2s )(1 − q −s )

6
−s
ζO
)/ (1 − q 13−13s )(1 − q 9−9s )(1 − q 8−8s )(1 − q 6−6s )2
4 (s) = FQ[T ]/T 4 (q, q
K [T ]/T

× (1 − q 5−6s )(1 − q 5−5s )(1 − q 3−4s )(1 − q −s ) ,

where FQ[T ]/T 3 = −X 4 Y 7 − X 4 Y 6 − X 3 Y 5 + X 3 Y 4 − X 2 Y 4 + X 2 Y 3 − XY 3 + XY 2 + Y + 1
and FQ[T ]/T 4 = 1 + · · · − X 49 Y 54 ∈ Q[X, Y ] is given in Appendix A.
The topological subalgebra zeta function of Q[T ]/T 4 can be found in [36, §9.2]. As
in §9.1, the zeta functions in Theorem 9.2 satisfy the functional equations predicted by
[46, Thm A] and the associated reduced subalgebra zeta functions coincide with those
computed using [20]; while Evseev only considered reduced zeta functions of Lie algebras,
his reasoning also applies to more general, possibly non-associative, algebras. For example,
using Theorem 9.2, after considerable cancellation, we find the reduced subalgebra zeta
function of Q[T ]/T 4 to be (Y 6 + Y 4 + 2Y 3 + Y 2 + 1)/ (1 − Y 6 )(1 − Y 2 )(1 − Y )2 , as
predicted by Evseev’s results.

9.3. Subalgebras: soluble, non-nilpotent Lie algebras
Taylor [45, Ch. 6] computed local subalgebra zeta functions associated with soluble,
non-nilpotent Lie algebras of the form k d o k (semidirect sum) for d = 2, 3, where k d
and k are regarded as abelian Lie algebras. In particular, he (implicitly) computed the
subalgebra zeta function of the Lie algebra tr2 (Zp ) of upper triangular 2 × 2-matrices
over Zp (see [18, §3.4.2]). Klopsch and Voll [30] computed subalgebra zeta functions of
arbitrary 3-dimensional Lie Zp -algebras in terms of Igusa’s local zeta functions attached to
associated quadratic forms. Regarding the enumeration of ideals of soluble, non-nilpotent
Lie algebras, Woodward [50] computed local ideal zeta functions of trd (Zp ) and certain
combinatorially defined quotients of these algebras.

22

Since, to the author’s knowledge, no examples of generic local subalgebra zeta functions
associated with soluble, non-nilpotent Lie algebras of dimension 4 have been recorded in
the literature, we now include some examples.
Theorem 9.3. Let Mi denote an arbitrary but fixed Z-form of the soluble Lie Q-algebra
M i of dimension 4 from [9]. Then for almost all primes p and all finite extensions K/Qp ,
writing q = qK ,
6
ζM
6

0,0 ⊗OK

= q 8−7s − q 7−5s + q 6−5s − 2q 5−4s + q 4−4s + q 4−3s − 2q 3−3s + q 2−2s


− q 1−2s + 1 / (1 − q 6−4s )(1 − q 3−2s )2 (1 − q 1−s )2 (1 − q −s ) ,

6
ζM
= q 5−7s − 3q 4−5s + q 4−4s + 2q 3−5s − 2q 3−4s + q 3−3s + q 2−4s
8 ⊗O
K

− 2q 2−3s + 2q 2−2s + q 1−3s − 3q 1−2s + 1

/ (1 − q 6−5s )(1 − q 2−2s )(1 − q 1−s )3 (1 − q −s ) ,

1 − q 2−3s
,
(1 − q 3−2s )(1 − q 2−2s )(1 − q 2−s )(1 − q 1−s )(1 − q −s )
−q 4−5s − q 3−4s + q 3−3s − 2q 2−3s + 2q 2−2s − q 1−2s + q 1−s + 1
.
=
(1 − q 4−3s )(1 − q 3−2s )(1 − q 2−2s )(1 − q 1−s )(1 − q −s )

6
ζM
=
12 ⊗O
K
6
ζM
13 ⊗O
0

K

Remark 9.4. Let g be the non-abelian Lie Q-algebra of dimension 2. Define a Z-form
g of g by g = Zx ⊕ Zy and [x, y] = y.
 Then it is easy to see that for all p-adic fields K,
6
−s
1−s
ζg⊗OK (s) = 1/ (1 − qK )(1 − qK ) . Using the notation from [9] as in Theorem 9.3,
M 8 ≈ g ⊕ g and M013 ≈ g ⊗Q Q[X]/X 2 .

9.4. Submodules: Un for n 6 5 and relatives
For any commutative ring R, we consider

1 R

0 . . .
Un (R) = 
 .. . .
.
.
0 ···

···
..
.
..
.
0


R
.. 
.


R
1

together with its natural action on Rn by right-multiplication. For n 6 4, the determination of submodule zeta functions associated with Un in the following is quite
straightforward, even without the techniques developed here; the case n = 5, however, is
rather more complicated, as is the resulting formula.

23

Theorem 9.5. For almost all primes p and all finite extensions K/Qp , writing q = qK ,
1
,
(1 − q 1−2s )(1 − q −s )
1 − q 1−4s
,
ζU3 (OK )yO4 (s) =
K
(1 − q 2−4s )(1 − q 1−3s )(1 − q 1−2s )(1 − q −s )
ζU4 (OK )yO4 (s) = FU4 (q, q −s )/ (1 − q 4−8s )(1 − q 3−7s )(1 − q 2−6s )(1 − q 2−5s )
ζU2 (OK )yO2 (s) =
K

K


× (1 − q 2−4s )(1 − q 1−4s )(1 − q 1−2s )(1 − q 1−3s )(1 − q −s ) ,
ζU5 (OK )yO4 (s) = FU5 (q, q −s )/ (1 − q 6−13s )(1 − q 6−12s )(1 − q 4−11s )
K

× (1 − q 4−10s )(1 − q 3−10s )(1 − q 4−9s )(1 − q 3−9s )(1 − q 4−8s )
× (1 − q 3−8s )(1 − q 2−8s )(1 − q 3−7s )(1 − q 2−7s )(1 − q 2−6s )
× (1 − q 2−5s )(1 − q 1−5s )(1 − q 2−4s )(1 − q 1−4s )(1 − q 1−2s )

× (1 − q −s ) ,
where
FU4 = − X 10 Y 30 + X 9 Y 26 + X 9 Y 25 + X 9 Y 24 − X 9 Y 23 + 2X 8 Y 23 − X 8 Y 22 + 2X 7 Y 22
− 2X 7 Y 21 − 2X 7 Y 20 + X 6 Y 21 − 2X 7 Y 19 + X 6 Y 20 − X 6 Y 18 − X 6 Y 17 − X 5 Y 18
− X 5 Y 17 + 2X 6 Y 15 − X 5 Y 16 + X 5 Y 14 − 2X 4 Y 15 + X 5 Y 13 + X 5 Y 12 + X 4 Y 13
+ X 4 Y 12 − X 4 Y 10 + 2X 3 Y 11 − X 4 Y 9 + 2X 3 Y 10 + 2X 3 Y 9 − 2X 3 Y 8 + X 2 Y 8
− 2X 2 Y 7 + XY 7 − XY 6 − XY 5 − XY 4 + 1
and FU5 = 1 + · · · + X 43 Y 124 is given in Appendix A. These formulae for n 6 5 satisfy
the functional equation
ζUn (OK )yOnK (s)

n

q→q −1

n+1
2

= (−1)n q ( 2 )−(

)s · ζ

(s).
Un (OK )yOn
K

Despite the increasing complexity of the formulae in Theorem 9.5, we note that the
“reduced submodule zeta function” of Un (Z) acting on Zn (defined and computed using a
simple variation of [20]) is given by the simple formula 1/((1 − Y )(1 − Y 2 ) · · · (1 − Y n ))
for all n > 1.
Remark 9.6. Let g be an n-dimensional nilpotent Lie k-algebra.
(i) By Engel’s theorem, after choosing a suitable basis, we may regard ad(g) as a
subset of the enveloping associative algebra k[Un (k)] of Un (k) within Mn (k). In
particular, the submodule growth of Un (ov ) acting on onv provides a lower bound
for the ideal growth of nilpotent Lie ov -algebras of additive rank n (and without
ov -torsion).
(ii) Suppose that n > 1. It is easy to see that the minimal number of generators of
k[Un (k)] as a unital, associative k-algebra is n − 1 (use, for instance, [23, p. 263]).

24

Let z denote the centre of g. Then, as a Lie algebra ad(g) ≈ g/z is generated
by dimk (g/([g, g] + z)) many elements. Hence, if g has class > 3, then ad(g) is
generated by fewer than n − 1 elements. If, on the other hand, g has class 2, then
n > 3 and ad(g) is an abelian Lie algebra while k[Un (k)] is non-commutative. We
conclude that ad(g) never generates all of k[Un (k)] for n > 1.
Question 9.7. Is the abscissa of convergence of ζUn (o)yon (s) always 1 for n > 1?
In view of Remark 9.6(i), Question 9.7 is particularly interesting since the abscissa of
convergence of a subalgebra zeta function derived from a k-algebra of dimension n, say,
is bounded from below by a linear function of n (cf. [8, Thm 5.1]).
Let n > 2. If Question 9.7 has a positive answer, then there does not exist a nilpotent Lie
/
o-algebra g which is finitely generated as an o-module such that ζUn (ov )yonv (s) = ζg⊗
(s)
o ov
for almost all v ∈ Q
Vk . Indeed, it is easy to see that for every finite S ⊂ Vk , the abscissa
/
of convergence of v∈Vk \S ζg⊗
(s) is at least d := dimk (g/[g, g] ⊗o k) (cf. [26, Prop. 1])
o ov
and we may clearly assume d > 1. A positive answer to Question 9.7 would thus refine
Remark 9.6(ii).
For another illustration of the generally wild effect of direct products of algebraic
structures on associated zeta functions, we now consider generic local submodule zeta
functions associated with products Un1 × · · · × Unr , diagonally embedded into Un1 +···+nr .
Theorem 9.8. For almost all primes p and all finite extensions K/Qp , writing q = qK ,

ζU22 (OK )yO4 (s) = (1 − q 2−3s )/ (1 − q 3−3s )(1 − q 2−2s )2 (1 − q 1−s )(1 − q −s ) ,
K

ζU32 (OK )yO6 (s) = FU32 (q, q −s )/ (1 − q 8−5s )(1 − q 5−4s )(1 − q 4−3s )(1 − q 3−2s )3
K

× (1 − q 2−s )(1 − q 1−s )(1 − q −s ) ,
ζ(U3 × U2 )(OK )yO5 (s) = FU3 × U2 (q, q −s )/ (1 − q 6−6s )(1 − q 4−5s )(1 − q 3−4s )(1 − q 3−3s )
K

× (1 − q 2−3s )(1 − q 2−2s )2 (1 − q 1−s )(1 − q −s ) ,
ζU23 (OK )yO6 (s) = FU23 (q, q −s )/ (1 − q 9−9s )(1 − q 8−8s )(1 − q 6−7s )(1 − q 5−7s )
K

× (1 − q 6−6s )(1 − q 4−6s )(1 − q 4−5s )(1 − q 3−5s )(1 − q 3−4s )

× (1 − q 3−3s )(1 − q 2−3s )(1 − q 2−2s )2 (1 − q 1−s )(1 − q −s ) ,
where
FU32 = −X 14 Y 12 + 3X 11 Y 9 − X 11 Y 8 − 2X 10 Y 9 + 2X 10 Y 8 − X 8 Y 7 + 2X 7 Y 7
− 2X 7 Y 5 + X 6 Y 5 − 2X 4 Y 4 + 2X 4 Y 3 + X 3 Y 4 − 3X 3 Y 3 + 1,
FU3 × U2 = X 13 Y 18 − X 11 Y 15 − 2X 11 Y 14 + X 11 Y 13 + X 10 Y 14 − 2X 10 Y 13 + X 9 Y 12
− 2X 8 Y 12 + 3X 8 Y 11 − 2X 7 Y 11 + X 8 Y 9 + X 7 Y 10 + X 6 Y 8 + X 5 Y 9
− 2X 6 Y 7 + 3X 5 Y 7 − 2X 5 Y 6 + X 4 Y 6 − 2X 3 Y 5 + X 3 Y 4 + X 2 Y 5
− 2X 2 Y 4 − X 2 Y 3 + 1,
and FU23 = −X 43 Y 57 + · · · + 1 is given in Appendix A.

25

These generic local zeta functions satisfy the following functional equations:
ζU22 (OK )yO4 (s)

q→q −1

= q 6−6s · ζU22 (OK )yO4 (s),

ζU32 (OK )yO6 (s)

q→q −1

= q 15−9s · ζU32 (OK )yO6 (s),

ζ(U3 × U2 )(OK )yO5 (s)

q→q −1

= −q 10−9s · ζ(U3 × U2 )(OK )yO5 (s),

ζU23 (OK )yO6 (s)

q→q −1

= q 15−12s · ζU23 (OK )yO6 (s).

K

K

K

K

K

K

K

K

Further examples of the above form are included with Zeta; here, we only record the
following functional equations.
Theorem 9.9. For almost all primes p and all finite extensions K/Qp , writing q = qK ,
ζ(U5 × U1 )(OK )yO6 (s)

q→q −1

= q 15−16s · ζ(U5 × U1 )(OK )yO6 (s),

ζ(U3 × U2 × U1 )(OK )yO6 (s)

q→q −1

= q 15−10s · ζ(U3 × U2 × U1 )(OK )yO6 (s),

ζ(U4 × U2 )(OK )yO6 (s)

q→q −1

= q 15−13s · ζ(U4 × U2 )(OK )yO6 (s),

K

K

K

ζ(U3 × U22 )(OK )yO7 (s)
K

q→q −1

K

K

K

= −q

21−12s

· ζ(U3 × U22 )(OK )yO7 (s).
K

We note that the Uniformity Problem has a positive solution for each of the four
families of local zeta functions in Theorem 9.9.

10. Applications III: graded subobject zeta functions
By [31, §5.1], up to isomorphism, there are exactly 26 non-abelian fundamental graded
Lie C-algebras (see §3.2) of dimension at most six. All of these algebras are defined
in terms of integral structure constants which thus provide us with “natural” Q-forms.
It turns out that for each of the resulting 26 graded Lie Q-algebras, we can use the
techniques developed here to compute their associated generic local graded subalgebra
and graded ideal zeta functions. We note that for various of these Lie algebras, the
associated non-graded subalgebra and ideal zeta functions are unknown.
Examples of graded ideal zeta functions. Table 2 lists the generic local ideal zeta
functions associated with the aforementioned 26 graded Lie Q-algebras. The first column
contains the names of the associated C-algebras as in [31]; here, an algebra called
“md_c_i” has dimension d and nilpotency class c.
Given a Z-form g of a graded Lie algebra g as indicated by an entry in the first column,
the rational function W (X, Y ) in the corresponding entry of the second column satisfies
the following property: for almost all rational primes p and all finite extensions K/Qp ,
gr /
−s
ζg⊗O
(s) = W (qK , qK
). An entry ±X a Y b in the third column of Table 2 indicates that
K

26

the corresponding W (X, Y ) satisfies W (X −1 , Y −1 ) = ±X a Y b · W (X, Y ); an entry “7”
signifies the absence of such a functional equation.
The algebras m6_3_2 and m6_3_3 are precisely the graded Lie algebras associated
with L(3,2) in [18, Thm 2.32] (also called LW [49, Thm 3.4] and L6,25 [10]) and g6,7 in
[18, Thm 2.45] (called L6,19 (0) in [10]), respectively. The non-graded local ideal zeta
functions of these algebras do not satisfy functional equations of the above form either.
The algebra m6_4_1 is the graded Lie algebra associated with L6,21 (0) from [10]; to the
author’s knowledge, the non-graded local (and topological) subalgebra and ideal zeta
functions of this algebra are unknown.
We note that the formulae for m3_2, m4_3, m5_4_1, and m6_5_1 in Table 2 are
consistent with and explained by Proposition 3.5.
Examples of graded subalgebra zeta functions. While the methods developed here
can be used to compute the generic local graded subalgebra zeta functions of all 26
algebras in Table 2, we chose to only include the smaller ones of these examples in Table 3
(and Appendix B); for a complete list, we refer to Zeta [39].
Open questions. Voll [46, Thm A] established local functional equations under “inversion
of p” for generic local subalgebra zeta functions without any further assumptions on the
algebra in question. It is reasonable to expect the following question to have a positive
answer; the precise form of (10.1) below was suggested to the author by Voll.
Question 10.1. Let A = A1 ⊕ · · · ⊕ Ar be an o-form of a possibly non-associative finitedimensional k-algebra together with a direct sum decomposition into free o-submodules.
r

P
rko (Ai )
Let n = rko (A) and m =
. Is it always the case that
2
i=1

gr6
ζA⊗
(s)
o ov

qv →qv−1

= (−1)n qvm−ns · ζA⊗o ov (s)

(10.1)

for almost all v ∈ Vk ?
The following three questions are graded analogues of conjectures due to Voll [47].
Question 10.2. Let g = g1 ⊕ · · · ⊕ gc be a finite-dimensional graded Lie k-algebra of
class c. Let di = dim(gi ) and d = dim(g). Let 0 = z0 ⊂ · · · ⊂ zc = g be the upper central
series of g and write ei = dim(g/zi ). Let g be an o-form of g as a graded Lie algebra.
gr /
(i) Does ζg⊗
(s) have degree e1 + · · · + ec in qv−s for almost all v ∈ Vk ?
o ov
gr /
(ii) Suppose that there exists W ∈ Q(X, Y ) such that ζg⊗
(s) = W (qv , qv−s ) for almost
o ov


d1
dc
all v ∈ Vk . Does W have degree 2 + · · · + 2 in X?

(iii) Suppose that for almost all v ∈ Vk ,
gr /
ζg⊗
(s)
o ov

qv →qv−1

27

gr /
= εqva−bs · ζg⊗
(s),
o ov

where ε = ±1 and a, b ∈ Z. Do we have ε = (−1)d , a =
b = e1 + · · · + ec ?

d1
2



+ ··· +

dc
2



, and

Finally, the following is closely related to the questions raised in [35, §8.2].
Question 10.3. Let g = g1 ⊕ · · · ⊕ gc be a graded nilpotent Lie o-algebra of class c,
gr6
gr /
where each gi is free and of finite rank as an o-module. Do ζg⊗
(s) and ζg⊗
(s) always
o ov
o ov
have a pole of order c at zero for v ∈ Vk ?
As in [35, §8.2], a natural follow-up question would be to interpret or predict the
leading coefficients of the zeta functions in Question 10.3 expanded as Laurent series
in s; however, perhaps unexpectedly, the examples in Tables 2–3 show that these leading
coefficients are not functions of v and the numbers (rko (g1 ), . . . , rko (gc )) alone.
g
m3_2
m4_2
m4_3
m5_2_1
m5_2_2
m5_2_3
m5_3_1
m5_3_2
m5_4_1
m6_2_1
m6_2_2
m6_2_3
m6_2_4
m6_2_5
m6_2_6
m6_3_1
m6_3_2
m6_3_3
m6_3_4
m6_3_5
m6_3_6
m6_4_1
m6_4_2
m6_4_3
m6_5_1
m6_5_2

gr /
−s
W (X, Y ) s.t. ζg⊗O
(s) = W (qK , qK
)
K 

3
1/ (1 − XY ) 1 − Y (1 − Y ) 

1/ 1 − X 2 Y (1 − XY
) 1 − Y3 (1 − Y )

1/ (1 − XY ) 1 − Y 4 1 − Y 3 (1 − Y )
1−Y 6
(1−XY 3 )(1−X 2 Y
)(1−XY )(1−Y

 5 )(1−Y 3 )(1−Y )
1/ 1 − X 3 Y 1 − X 2 Y (1 − XY ) 1 −

1/ 1 − X 3 Y





Y 3 (1 − Y )
1 − X 2 Y (1 − XY ) 1 − Y 5 (1 − Y )


1−Y 8
(1−XY 4 )(1−XY)(1−Y 5 )(1−Y 4 )(1−Y 3 )(1−Y
)


1/ 1 − X 2 Y (1 − XY ) 1 − Y 4 1 − Y 3 (1

1/ (1 − XY ) 1 − Y


5

1−Y


4

1−Y


3

− Y )
(1 − Y )



XY 8 +XY 5 +Y 5 +XY 3 +Y 3 +1
(1−X 2 Y 5 )(1−X 2 Y 3 )(1−X 2 Y )(1−XY )(1−Y 6 )(1−Y )
1−Y 6
(1−XY 3 )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 5 )(1−Y 3 )(1−Y )
Y 4 +Y 3 +Y 2 +Y +1
(1−XY 5 )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 3 )2
1−XY 8
(1−XY 6 )(1−XY 5 )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 3 )(1−Y )
1
(1−X 4 Y )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 3 )(1−Y )
1
(1−X 4 Y )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 5 )(1−Y )
1−Y 8
(1−XY 4 )(1−X 2 Y )(1−XY )(1−Y 5 )(1−Y 4 )(1−Y 3 )(1−Y )
Y 8 +Y 7 +2 Y 6 +2 Y 5 +2 Y 4 +2 Y 3 +Y 2 +Y +1
(1−XY 3 )(1−X 2 Y )(1−XY )(1−Y 6 )(1−Y 5 )(1−Y 4 )

X 7Y 9
X 7 Y 10
X 7 Y 10
X 10 Y 8
X 10 Y 10
X 4 Y 11

same as for m6_3_2





1/ 1 − XY 3 1 − X 2 Y (1 − XY ) 1 − Y 5 1 − Y 3 (1 − Y )
same as for m6_3_4





1/ 1 − X 3 Y 1 − X 2 Y (1 − XY ) 1 − Y 4 1 − Y 3 (1 − Y )
Y 3 −Y +1
(1−XY 4 )(1−XY )(1−Y 6 )(1−Y 5 )(1−Y )2
1−Y 8
3 )(1−Y )
(1−XY 4 )(1−XY)(1−Y 6 )(1−Y 5 )(1−Y 4 )(1−Y


1/ 1 − X 2 Y (1 − XY ) 1 − Y 5 1 − Y 4 1


3


− Y (1 − Y )



1/ (1 − XY ) 1 − Y 6 1 − Y 5 1 − Y 4 1 − Y 3 (1 − Y )
same as for m6_5_1

Table 2: Examples of generic local graded ideal zeta functions

28

FEqn
−XY 5
X 3Y 6
XY 9
−X 4 Y 8
−X 6 Y 7
−X 6 Y 9
−X 2 Y 10
−X 3 Y 10
−XY 14
X 6Y 9

7
7
X 4 Y 14
X 4 Y 14
X 6 Y 11
7
X 2 Y 16
X 3 Y 15
XY 20
XY 20

g
m3_2
m4_2
m4_3
m5_2_1
m5_2_2
m5_2_3
m5_3_1
m5_3_2
m5_4_1
m6_2_1
m6_2_2
m6_2_3
m6_2_5
m6_2_6
m6_3_1
m6_3_2
m6_3_3
m6_3_6
m6_4_3

gr6
−s
W (X, Y ) s.t. ζg⊗O
(s) = W (qK , qK
)
K

1−XY 3
(1−XY 2 )(1−XY )(1−Y 2 )(1−Y )
1−XY 3
(1−X 2 Y )(1−XY 2 )(1−XY )(1−Y 2 )(1−Y )
X 2 Y 9 +X 2 Y 7 +X 2 Y 6 −XY 6 −2 XY 5 −2 XY 4 −XY 3 +Y 3 +Y 2 +1
(1−XY 3 )(1−XY 2 )(1−XY )(1−Y 4 )(1−Y 2 )(1−Y )
−X 2 Y 5 −X 2 Y 3 −XY 3 +XY 2 +Y 2 +1
(1−X 2 Y )(1−XY 2 )(1−X 2 Y 2 )(1−XY )(1−Y 3 )(1−Y )
1−XY 3
(1−XY 2 )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 2 )(1−Y )
−X 4 Y 7 −X 3 Y 6 −X 3 Y 4 −X 2 Y 5 +X 3 Y 3 −XY 4 +X 2 Y 2 +XY 3 +XY +1
(1−X 3 Y 3 )(1−X 2 Y 3 )(1−X 3 Y )(1−X 2 Y )(1−Y 3 )(1−Y )

W531 (B.1)
X 2 Y 9 +X 2 Y 7 +X 2 Y 6 −XY 6 −2 XY 5 −2 XY 4 −XY 3 +Y 3 +Y 2 +1
(1−XY 3 )(1−XY 2 )(1−X 2 Y )(1−XY )(1−Y 4 )(1−Y 2 )(1−Y )

W541 (B.2)
W621 (B.3)
−X 2 Y 5 −X 2 Y 3 −XY 3 +XY 2 +Y 2 +1
(1−X 2 Y 2 )(1−XY 2 )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 3 )(1−Y )

W623 (B.4)
1−XY 3
(1−XY 2 )(1−X 4 Y )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 2 )(1−Y )
−X 4 Y 7 −X 3 Y 6 −X 3 Y 4 −X 2 Y 5 +X 3 Y 3 −XY 4 +X 2 Y 2 +XY 3 +XY +1
(1−X 3 Y 3 )(1−X 2 Y 3 )(1−X 4 Y )(1−X 3 Y )(1−X 2 Y )(1−Y 3 )(1−Y )

W631 (B.5)
W632 (B.6)
W633 (B.7)
X 2 Y 9 +X 2 Y 7 +X 2 Y 6 −XY 6 −2 XY 5 −2 XY 4 −XY 3 +Y 3 +Y 2 +1
(1−XY 3 )(1−XY 2 )(1−X 3 Y )(1−X 2 Y )(1−XY )(1−Y 4 )(1−Y 2 )(1−Y )

W643 (B.8)

FEqn
−XY 3
X 3Y 4
XY 4
−X 4 Y 5
−X 6 Y 5
−X 6 Y 5
−X 2 Y 5
−X 3 Y 5
−XY 5
X 6Y 6
X 7Y 6
X 7Y 6
X 10 Y 6
X 10 Y 6
X 4Y 6
X 4Y 6
X 4Y 6
X 6Y 6
X 3Y 6

Table 3: Examples of generic local graded subalgebra zeta functions

A. Large numerators of local subobject zeta functions
FU5 = X 43 Y 124 + X 42 Y 121 − X 42 Y 120 − X 42 Y 119 − 2X 42 Y 118 + 2X 41 Y 118 − 3X 41 Y 117
+ X 42 Y 115 − 2X 41 Y 116 + X 42 Y 114 − 3X 41 Y 115 − 2X 40 Y 116 − X 42 Y 113 − X 41 Y 114
+ 2X 40 Y 115 + 4X 41 Y 113 − 2X 40 Y 114 − X 39 Y 115 − 2X 40 Y 113 − 2X 39 Y 114 + X 41 Y 111
+ 6X 40 Y 112 − 3X 39 Y 113 − X 41 Y 110 + X 40 Y 111 − 4X 39 Y 112 + 5X 40 Y 110 + 6X 39 Y 111
+ X 38 Y 112 + 3X 39 Y 110 − 6X 38 Y 111 − X 40 Y 108 + 8X 39 Y 109 + 2X 38 Y 110 − 2X 40 Y 107
+ 4X 39 Y 108 + 5X 38 Y 109 − 3X 37 Y 110 + X 39 Y 107 + 9X 38 Y 108 − 4X 39 Y 106 + 8X 38 Y 107
+ X 37 Y 108 − 4X 39 Y 105 + 3X 38 Y 106 + 6X 37 Y 107 − 2X 36 Y 108 − X 39 Y 104 − 5X 38 Y 105
+ 13X 37 Y 106 + 2X 36 Y 107 − 8X 38 Y 104 + 9X 37 Y 105 + 3X 36 Y 106 − X 35 Y 107 + 2X 39 Y 102
− 7X 38 Y 103 − 3X 37 Y 104 + 8X 36 Y 105 + X 35 Y 106 − 6X 38 Y 102 − 15X 37 Y 103 + 5X 36 Y 104
− X 35 Y 105 + 4X 38 Y 101 − 15X 37 Y 102 + 6X 36 Y 103 + 12X 35 Y 104 − X 38 Y 100 − 16X 37 Y 101
− 10X 36 Y 102 + 7X 35 Y 103 − 2X 34 Y 104 + 3X 38 Y 99 + 4X 37 Y 100 − 22X 36 Y 101 + 8X 35 Y 102
+ 5X 34 Y 103 + X 38 Y 98 − 28X 36 Y 100 − 8X 35 Y 101 + 8X 37 Y 98 − 8X 36 Y 99 − 19X 35 Y 100
+ 13X 34 Y 101 + 2X 33 Y 102 + X 37 Y 97 − 2X 36 Y 98 − 30X 35 Y 99 + X 34 Y 100 + X 33 Y 101
− X 37 Y 96 + 17X 36 Y 97 − 19X 35 Y 98 − 16X 34 Y 99 + 6X 33 Y 100 + 17X 36 Y 96 − 6X 35 Y 97

29

− 34X 34 Y 98 + 2X 33 Y 99 + X 32 Y 100 − X 37 Y 94 + 7X 36 Y 95 + 16X 35 Y 96 − 32X 34 Y 97
+ 2X 32 Y 99 − X 36 Y 94 + 32X 35 Y 95 − 15X 34 Y 96 − 21X 33 Y 97 + 2X 32 Y 98 − 5X 36 Y 93
+ 16X 35 Y 94 + 4X 34 Y 95 − 32X 33 Y 96 − 2X 32 Y 97 − X 36 Y 92 + 17X 35 Y 93 + 56X 34 Y 94
− 22X 33 Y 95 − 13X 32 Y 96 + 3X 31 Y 97 − X 36 Y 91 − 5X 35 Y 92 + 30X 34 Y 93 − 13X 33 Y 94
− 22X 32 Y 95 − 7X 35 Y 91 + 37X 34 Y 92 + 59X 33 Y 93 − 25X 32 Y 94 − 5X 31 Y 95 − 3X 35 Y 90
− 5X 34 Y 91 + 41X 33 Y 92 − 29X 32 Y 93 − 17X 31 Y 94 − X 35 Y 89 − 17X 34 Y 90 + 69X 33 Y 91
+ 41X 32 Y 92 − 22X 31 Y 93 + X 30 Y 94 − 11X 34 Y 89 + 18X 33 Y 90 + 48X 32 Y 91 − 26X 31 Y 92
− 5X 30 Y 93 − 12X 34 Y 88 − 26X 33 Y 89 + 89X 32 Y 90 + 13X 31 Y 91 − 10X 30 Y 92 − X 29 Y 93
+ 2X 34 Y 87 − 26X 33 Y 88 + 52X 32 Y 89 + 33X 31 Y 90 − 23X 30 Y 91 − 3X 29 Y 92 + 3X 34 Y 86
− 34X 33 Y 87 − 24X 32 Y 88 + 82X 31 Y 89 − 4X 29 Y 91 + X 34 Y 85 − 10X 33 Y 86 − 38X 32 Y 87
+ 88X 31 Y 88 + 24X 30 Y 89 − 11X 29 Y 90 − 3X 33 Y 85 − 69X 32 Y 86 + 4X 31 Y 87 + 66X 30 Y 88
− 6X 29 Y 89 − 2X 28 Y 90 + 7X 33 Y 84 − 30X 32 Y 85 − 31X 31 Y 86 + 101X 30 Y 87 − 5X 28 Y 89
+ 4X 33 Y 83 − 11X 32 Y 84 − 103X 31 Y 85 + 28X 30 Y 86 + 37X 29 Y 87 − 4X 28 Y 88 + 10X 32 Y 83
− 77X 31 Y 84 − 5X 30 Y 85 + 91X 29 Y 86 − 2X 28 Y 87 + X 33 Y 81 + 9X 32 Y 82 − 40X 31 Y 83
− 99X 30 Y 84 + 53X 29 Y 85 + 21X 28 Y 86 − 2X 27 Y 87 + 4X 32 Y 81 + 9X 31 Y 82 − 115X 30 Y 83
+ 20X 29 Y 84 + 53X 28 Y 85 − 6X 27 Y 86 + 4X 32 Y 80 + 32X 31 Y 81 − 78X 30 Y 82 − 80X 29 Y 83
+ 56X 28 Y 84 + 5X 27 Y 85 − 2X 32 Y 79 + 22X 31 Y 80 − 18X 30 Y 81 − 148X 29 Y 82 + 44X 28 Y 83
+ 30X 27 Y 84 − X 26 Y 85 + 11X 31 Y 79 + 42X 30 Y 80 − 114X 29 Y 81 − 25X 28 Y 82 + 46X 27 Y 83
+ 3X 31 Y 78 + 56X 30 Y 79 − 64X 29 Y 80 − 138X 28 Y 81 + 32X 27 Y 82 + 6X 26 Y 83 − X 31 Y 77
+ 36X 30 Y 78 + 35X 29 Y 79 − 143X 28 Y 80 + 10X 27 Y 81 + 22X 26 Y 82 − 3X 31 Y 76 + 14X 30 Y 77
+ 89X 29 Y 78 − 118X 28 Y 79 − 100X 27 Y 80 + 29X 26 Y 81 + 4X 25 Y 82 + X 31 Y 75 − 3X 30 Y 76
+ 76X 29 Y 77 − 130X 27 Y 79 + 33X 26 Y 80 + 10X 25 Y 81 − 7X 30 Y 75 + 50X 29 Y 76 + 107X 28 Y 77
− 152X 27 Y 78 − 62X 26 Y 79 + 13X 25 Y 80 + X 30 Y 74 + 6X 29 Y 75 + 121X 28 Y 76 − 71X 27 Y 77
− 99X 26 Y 78 + 23X 25 Y 79 + X 24 Y 80 − 3X 30 Y 73 − 19X 29 Y 74 + 100X 28 Y 75 + 88X 27 Y 76
− 137X 26 Y 77 − 16X 25 Y 78 + 8X 24 Y 79 − 12X 29 Y 73 + 34X 28 Y 74 + 145X 27 Y 75 − 119X 26 Y 76
− 53X 25 Y 77 + 16X 24 Y 78 − 7X 29 Y 72 − 16X 28 Y 73 + 167X 27 Y 74 + 47X 26 Y 75 − 107X 25 Y 76
− 3X 24 Y 77 + X 23 Y 78 − X 29 Y 71 − 28X 28 Y 72 + 84X 27 Y 73 + 118X 26 Y 74 − 132X 25 Y 75
− 29X 24 Y 76 + 4X 23 Y 77 − 2X 29 Y 70 − 27X 28 Y 71 − 12X 27 Y 72 + 209X 26 Y 73 + 6X 25 Y 74
− 55X 24 Y 75 + 5X 23 Y 76 − 13X 28 Y 70 − 54X 27 Y 71 + 156X 26 Y 72 + 80X 25 Y 73 − 117X 24 Y 74
− 6X 23 Y 75 + X 22 Y 76 − X 28 Y 69 − 57X 27 Y 70 + 38X 26 Y 71 + 213X 25 Y 72 − 39X 24 Y 73
− 19X 23 Y 74 + X 22 Y 75 + 2X 28 Y 68 − 33X 27 Y 69 − 51X 26 Y 70 + 208X 25 Y 71 + 28X 24 Y 72
− 77X 23 Y 73 − 4X 22 Y 74 − 13X 27 Y 68 − 114X 26 Y 69 + 107X 25 Y 70 + 164X 24 Y 71 − 41X 23 Y 72
− 2X 22 Y 73 − 80X 26 Y 68 − 11X 25 Y 69 + 221X 24 Y 70 − 5X 23 Y 71 − 35X 22 Y 72 − X 21 Y 73
+ 6X 27 Y 66 − 35X 26 Y 67 − 132X 25 Y 68 + 154X 24 Y 69 + 87X 23 Y 70 − 36X 22 Y 71 − X 21 Y 72
+ 3X 27 Y 65 − 131X 25 Y 67 + 44X 24 Y 68 + 200X 23 Y 69 − 22X 22 Y 70 − 14X 21 Y 71 + 10X 26 Y 65
− 97X 25 Y 66 − 124X 24 Y 67 + 176X 23 Y 68 + 33X 22 Y 69 − 21X 21 Y 70 + 11X 26 Y 64 − 18X 25 Y 65
− 177X 24 Y 66 + 109X 23 Y 67 + 135X 22 Y 68 − 15X 21 Y 69 − X 20 Y 70 + 7X 26 Y 63 + 21X 25 Y 64
− 162X 24 Y 65 − 73X 23 Y 66 + 144X 22 Y 67 − 3X 21 Y 68 − 8X 20 Y 69 + 2X 26 Y 62 + 35X 25 Y 63
− 62X 24 Y 64 − 189X 23 Y 65 + 145X 22 Y 66 + 71X 21 Y 67 − 8X 20 Y 68 + X 26 Y 61 + 16X 25 Y 62
− X 24 Y 63 − 216X 23 Y 64 − 7X 22 Y 65 + 101X 21 Y 66 − 9X 20 Y 67 − 2X 19 Y 68 + 5X 25 Y 61
+ 63X 24 Y 62 − 131X 23 Y 63 − 155X 22 Y 64 + 132X 21 Y 65 + 36X 20 Y 66 + 5X 25 Y 60 + 51X 24 Y 61
− 32X 23 Y 62 − 241X 22 Y 63 + 48X 21 Y 64 + 53X 20 Y 65 − 8X 19 Y 66 − 2X 25 Y 59 + 21X 24 Y 60

30

+ 76X 23 Y 61 − 205X 22 Y 62 − 92X 21 Y 63 + 86X 20 Y 64 + 10X 19 Y 65 + 10X 24 Y 59 + 86X 23 Y 60
− 92X 22 Y 61 − 205X 21 Y 62 + 76X 20 Y 63 + 21X 19 Y 64 − 2X 18 Y 65 − 8X 24 Y 58 + 53X 23 Y 59
+ 48X 22 Y 60 − 241X 21 Y 61 − 32X 20 Y 62 + 51X 19 Y 63 + 5X 18 Y 64 + 36X 23 Y 58 + 132X 22 Y 59
− 155X 21 Y 60 − 131X 20 Y 61 + 63X 19 Y 62 + 5X 18 Y 63 − 2X 24 Y 56 − 9X 23 Y 57 + 101X 22 Y 58
− 7X 21 Y 59 − 216X 20 Y 60 − X 19 Y 61 + 16X 18 Y 62 + X 17 Y 63 − 8X 23 Y 56 + 71X 22 Y 57
+ 145X 21 Y 58 − 189X 20 Y 59 − 62X 19 Y 60 + 35X 18 Y 61 + 2X 17 Y 62 − 8X 23 Y 55 − 3X 22 Y 56
+ 144X 21 Y 57 − 73X 20 Y 58 − 162X 19 Y 59 + 21X 18 Y 60 + 7X 17 Y 61 − X 23 Y 54 − 15X 22 Y 55
+ 135X 21 Y 56 + 109X 20 Y 57 − 177X 19 Y 58 − 18X 18 Y 59 + 11X 17 Y 60 − 21X 22 Y 54 + 33X 21 Y 55
+ 176X 20 Y 56 − 124X 19 Y 57 − 97X 18 Y 58 + 10X 17 Y 59 − 14X 22 Y 53 − 22X 21 Y 54 + 200X 20 Y 55
+ 44X 19 Y 56 − 131X 18 Y 57 + 3X 16 Y 59 − X 22 Y 52 − 36X 21 Y 53 + 87X 20 Y 54 + 154X 19 Y 55
− 132X 18 Y 56 − 35X 17 Y 57 + 6X 16 Y 58 − X 22 Y 51 − 35X 21 Y 52 − 5X 20 Y 53 + 221X 19 Y 54
− 11X 18 Y 55 − 80X 17 Y 56 − 2X 21 Y 51 − 41X 20 Y 52 + 164X 19 Y 53 + 107X 18 Y 54 − 114X 17 Y 55
− 13X 16 Y 56 − 4X 21 Y 50 − 77X 20 Y 51 + 28X 19 Y 52 + 208X 18 Y 53 − 51X 17 Y 54 − 33X 16 Y 55
+ 2X 15 Y 56 + X 21 Y 49 − 19X 20 Y 50 − 39X 19 Y 51 + 213X 18 Y 52 + 38X 17 Y 53 − 57X 16 Y 54
− X 15 Y 55 + X 21 Y 48 − 6X 20 Y 49 − 117X 19 Y 50 + 80X 18 Y 51 + 156X 17 Y 52 − 54X 16 Y 53
− 13X 15 Y 54 + 5X 20 Y 48 − 55X 19 Y 49 + 6X 18 Y 50 + 209X 17 Y 51 − 12X 16 Y 52 − 27X 15 Y 53
− 2X 14 Y 54 + 4X 20 Y 47 − 29X 19 Y 48 − 132X 18 Y 49 + 118X 17 Y 50 + 84X 16 Y 51 − 28X 15 Y 52
− X 14 Y 53 + X 20 Y 46 − 3X 19 Y 47 − 107X 18 Y 48 + 47X 17 Y 49 + 167X 16 Y 50 − 16X 15 Y 51
− 7X 14 Y 52 + 16X 19 Y 46 − 53X 18 Y 47 − 119X 17 Y 48 + 145X 16 Y 49 + 34X 15 Y 50 − 12X 14 Y 51
+ 8X 19 Y 45 − 16X 18 Y 46 − 137X 17 Y 47 + 88X 16 Y 48 + 100X 15 Y 49 − 19X 14 Y 50 − 3X 13 Y 51
+ X 19 Y 44 + 23X 18 Y 45 − 99X 17 Y 46 − 71X 16 Y 47 + 121X 15 Y 48 + 6X 14 Y 49 + X 13 Y 50
+ 13X 18 Y 44 − 62X 17 Y 45 − 152X 16 Y 46 + 107X 15 Y 47 + 50X 14 Y 48 − 7X 13 Y 49 + 10X 18 Y 43
+ 33X 17 Y 44 − 130X 16 Y 45 + 76X 14 Y 47 − 3X 13 Y 48 + X 12 Y 49 + 4X 18 Y 42 + 29X 17 Y 43
− 100X 16 Y 44 − 118X 15 Y 45 + 89X 14 Y 46 + 14X 13 Y 47 − 3X 12 Y 48 + 22X 17 Y 42 + 10X 16 Y 43
− 143X 15 Y 44 + 35X 14 Y 45 + 36X 13 Y 46 − X 12 Y 47 + 6X 17 Y 41 + 32X 16 Y 42 − 138X 15 Y 43
− 64X 14 Y 44 + 56X 13 Y 45 + 3X 12 Y 46 + 46X 16 Y 41 − 25X 15 Y 42 − 114X 14 Y 43 + 42X 13 Y 44
+ 11X 12 Y 45 − X 17 Y 39 + 30X 16 Y 40 + 44X 15 Y 41 − 148X 14 Y 42 − 18X 13 Y 43 + 22X 12 Y 44
− 2X 11 Y 45 + 5X 16 Y 39 + 56X 15 Y 40 − 80X 14 Y 41 − 78X 13 Y 42 + 32X 12 Y 43 + 4X 11 Y 44
− 6X 16 Y 38 + 53X 15 Y 39 + 20X 14 Y 40 − 115X 13 Y 41 + 9X 12 Y 42 + 4X 11 Y 43 − 2X 16 Y 37
+ 21X 15 Y 38 + 53X 14 Y 39 − 99X 13 Y 40 − 40X 12 Y 41 + 9X 11 Y 42 + X 10 Y 43 − 2X 15 Y 37
+ 91X 14 Y 38 − 5X 13 Y 39 − 77X 12 Y 40 + 10X 11 Y 41 − 4X 15 Y 36 + 37X 14 Y 37 + 28X 13 Y 38
− 103X 12 Y 39 − 11X 11 Y 40 + 4X 10 Y 41 − 5X 15 Y 35 + 101X 13 Y 37 − 31X 12 Y 38 − 30X 11 Y 39
+ 7X 10 Y 40 − 2X 15 Y 34 − 6X 14 Y 35 + 66X 13 Y 36 + 4X 12 Y 37 − 69X 11 Y 38 − 3X 10 Y 39
− 11X 14 Y 34 + 24X 13 Y 35 + 88X 12 Y 36 − 38X 11 Y 37 − 10X 10 Y 38 + X 9 Y 39 − 4X 14 Y 33
+ 82X 12 Y 35 − 24X 11 Y 36 − 34X 10 Y 37 + 3X 9 Y 38 − 3X 14 Y 32 − 23X 13 Y 33 + 33X 12 Y 34
+ 52X 11 Y 35 − 26X 10 Y 36 + 2X 9 Y 37 − X 14 Y 31 − 10X 13 Y 32 + 13X 12 Y 33 + 89X 11 Y 34
− 26X 10 Y 35 − 12X 9 Y 36 − 5X 13 Y 31 − 26X 12 Y 32 + 48X 11 Y 33 + 18X 10 Y 34 − 11X 9 Y 35
+ X 13 Y 30 − 22X 12 Y 31 + 41X 11 Y 32 + 69X 10 Y 33 − 17X 9 Y 34 − X 8 Y 35 − 17X 12 Y 30
− 29X 11 Y 31 + 41X 10 Y 32 − 5X 9 Y 33 − 3X 8 Y 34 − 5X 12 Y 29 − 25X 11 Y 30 + 59X 10 Y 31
+ 37X 9 Y 32 − 7X 8 Y 33 − 22X 11 Y 29 − 13X 10 Y 30 + 30X 9 Y 31 − 5X 8 Y 32 − X 7 Y 33
+ 3X 12 Y 27 − 13X 11 Y 28 − 22X 10 Y 29 + 56X 9 Y 30 + 17X 8 Y 31 − X 7 Y 32 − 2X 11 Y 27
− 32X 10 Y 28 + 4X 9 Y 29 + 16X 8 Y 30 − 5X 7 Y 31 + 2X 11 Y 26 − 21X 10 Y 27 − 15X 9 Y 28

31

+ 32X 8 Y 29 − X 7 Y 30 + 2X 11 Y 25 − 32X 9 Y 27 + 16X 8 Y 28 + 7X 7 Y 29 − X 6 Y 30
+ X 11 Y 24 + 2X 10 Y 25 − 34X 9 Y 26 − 6X 8 Y 27 + 17X 7 Y 28 + 6X 10 Y 24 − 16X 9 Y 25
− 19X 8 Y 26 + 17X 7 Y 27 − X 6 Y 28 + X 10 Y 23 + X 9 Y 24 − 30X 8 Y 25 − 2X 7 Y 26
+ X 6 Y 27 + 2X 10 Y 22 + 13X 9 Y 23 − 19X 8 Y 24 − 8X 7 Y 25 + 8X 6 Y 26 − 8X 8 Y 23
− 28X 7 Y 24 + X 5 Y 26 + 5X 9 Y 21 + 8X 8 Y 22 − 22X 7 Y 23 + 4X 6 Y 24 + 3X 5 Y 25
− 2X 9 Y 20 + 7X 8 Y 21 − 10X 7 Y 22 − 16X 6 Y 23 − X 5 Y 24 + 12X 8 Y 20 + 6X 7 Y 21
− 15X 6 Y 22 + 4X 5 Y 23 − X 8 Y 19 + 5X 7 Y 20 − 15X 6 Y 21 − 6X 5 Y 22 + X 8 Y 18
+ 8X 7 Y 19 − 3X 6 Y 20 − 7X 5 Y 21 + 2X 4 Y 22 − X 8 Y 17 + 3X 7 Y 18 + 9X 6 Y 19
− 8X 5 Y 20 + 2X 7 Y 17 + 13X 6 Y 18 − 5X 5 Y 19 − X 4 Y 20 − 2X 7 Y 16 + 6X 6 Y 17
+ 3X 5 Y 18 − 4X 4 Y 19 + X 6 Y 16 + 8X 5 Y 17 − 4X 4 Y 18 + 9X 5 Y 16 + X 4 Y 17 − 3X 6 Y 14
+ 5X 5 Y 15 + 4X 4 Y 16 − 2X 3 Y 17 + 2X 5 Y 14 + 8X 4 Y 15 − X 3 Y 16 − 6X 5 Y 13 + 3X 4 Y 14
+ X 5 Y 12 + 6X 4 Y 13 + 5X 3 Y 14 − 4X 4 Y 12 + X 3 Y 13 − X 2 Y 14 − 3X 4 Y 11 + 6X 3 Y 12 + X 2 Y 13
− 2X 4 Y 10 − 2X 3 Y 11 − X 4 Y 9 − 2X 3 Y 10 + 4X 2 Y 11 + 2X 3 Y 9 − X 2 Y 10 − XY 11 − 2X 3 Y 8
− 3X 2 Y 9 + XY 10 − 2X 2 Y 8 + XY 9 − 3X 2 Y 7 + 2X 2 Y 6 − 2XY 6 − XY 5 − XY 4 + XY 3 + 1

FQ[T ]/T 4 = − X 49 Y 54 − X 49 Y 53 − 2X 48 Y 52 − X 47 Y 52 − 3X 47 Y 51 − 2X 46 Y 51 − 3X 46 Y 50
− 4X 45 Y 50 + X 46 Y 48 − 4X 45 Y 49 + X 45 Y 48 − 4X 44 Y 49 + X 45 Y 47 − 2X 44 Y 48
+ 3X 44 Y 47 − 8X 43 Y 48 + X 44 Y 46 − X 43 Y 47 + 8X 43 Y 46 − 9X 42 Y 47 + X 43 Y 45
+ 3X 42 Y 46 + 9X 42 Y 45 − 12X 41 Y 46 + X 42 Y 44 + 10X 41 Y 45 + 10X 41 Y 44 − 13X 40 Y 45
+ 23X 40 Y 44 + 7X 40 Y 43 − 19X 39 Y 44 − 3X 40 Y 42 + 35X 39 Y 43 + 3X 39 Y 42 − 19X 38 Y 43
− 3X 39 Y 41 + 54X 38 Y 42 − 15X 38 Y 41 − 24X 37 Y 42 − 6X 38 Y 40 + 74X 37 Y 41 − 31X 37 Y 40
− 25X 36 Y 41 − 5X 37 Y 39 + 95X 36 Y 40 − 55X 36 Y 39 − 30X 35 Y 40 − 4X 36 Y 38 + 110X 35 Y 39
− X 36 Y 37 − 85X 35 Y 38 − 28X 34 Y 39 + 10X 35 Y 37 + 131X 34 Y 38 − 3X 35 Y 36 − 127X 34 Y 37
− 31X 33 Y 38 + 22X 34 Y 36 + 143X 33 Y 37 − 4X 34 Y 35 − 160X 33 Y 36 − 29X 32 Y 37 + 46X 33 Y 35
+ 154X 32 Y 36 − 8X 33 Y 34 − 204X 32 Y 35 − 30X 31 Y 36 + 73X 32 Y 34 + 159X 31 Y 35 − 11X 32 Y 33
− 246X 31 Y 34 − 26X 30 Y 35 + X 32 Y 32 + 113X 31 Y 33 + 169X 30 Y 34 − 19X 31 Y 32 − 290X 30 Y 33
− 27X 29 Y 34 + X 31 Y 31 + 148X 30 Y 32 + 166X 29 Y 33 − 26X 30 Y 31 − 314X 29 Y 32 − 23X 28 Y 33
+ 3X 30 Y 30 + 193X 29 Y 31 + 162X 28 Y 32 − 39X 29 Y 30 − 344X 28 Y 31 − 22X 27 Y 32 + 3X 29 Y 29
+ 230X 28 Y 30 + 153X 27 Y 31 − 49X 28 Y 29 − 354X 27 Y 30 − 17X 26 Y 31 + 6X 28 Y 28 + 271X 27 Y 29
+ 142X 26 Y 30 − 68X 27 Y 28 − 359X 26 Y 29 − 16X 25 Y 30 + 6X 27 Y 27 + 301X 26 Y 28 + 121X 25 Y 29
− 85X 26 Y 27 − 344X 25 Y 28 − 11X 24 Y 29 + 10X 26 Y 26 + 332X 25 Y 27 + 104X 24 Y 28 − 104X 25 Y 26
− 332X 24 Y 27 − 10X 23 Y 28 + 11X 25 Y 25 + 344X 24 Y 26 + 85X 23 Y 27 − 121X 24 Y 25 − 301X 23 Y 26
− 6X 22 Y 27 + 16X 24 Y 24 + 359X 23 Y 25 + 68X 22 Y 26 − 142X 23 Y 24 − 271X 22 Y 25 − 6X 21 Y 26
+ 17X 23 Y 23 + 354X 22 Y 24 + 49X 21 Y 25 − 153X 22 Y 23 − 230X 21 Y 24 − 3X 20 Y 25 + 22X 22 Y 22
+ 344X 21 Y 23 + 39X 20 Y 24 − 162X 21 Y 22 − 193X 20 Y 23 − 3X 19 Y 24 + 23X 21 Y 21 + 314X 20 Y 22
+ 26X 19 Y 23 − 166X 20 Y 21 − 148X 19 Y 22 − X 18 Y 23 + 27X 20 Y 20 + 290X 19 Y 21 + 19X 18 Y 22
− 169X 19 Y 20 − 113X 18 Y 21 − X 17 Y 22 + 26X 19 Y 19 + 246X 18 Y 20 + 11X 17 Y 21 − 159X 18 Y 19
− 73X 17 Y 20 + 30X 18 Y 18 + 204X 17 Y 19 + 8X 16 Y 20 − 154X 17 Y 18 − 46X 16 Y 19 + 29X 17 Y 17
+ 160X 16 Y 18 + 4X 15 Y 19 − 143X 16 Y 17 − 22X 15 Y 18 + 31X 16 Y 16 + 127X 15 Y 17 + 3X 14 Y 18
− 131X 15 Y 16 − 10X 14 Y 17 + 28X 15 Y 15 + 85X 14 Y 16 + X 13 Y 17 − 110X 14 Y 15 + 4X 13 Y 16
+ 30X 14 Y 14 + 55X 13 Y 15 − 95X 13 Y 14 + 5X 12 Y 15 + 25X 13 Y 13 + 31X 12 Y 14 − 74X 12 Y 13

32

+ 6X 11 Y 14 + 24X 12 Y 12 + 15X 11 Y 13 − 54X 11 Y 12 + 3X 10 Y 13 + 19X 11 Y 11 − 3X 10 Y 12
− 35X 10 Y 11 + 3X 9 Y 12 + 19X 10 Y 10 − 7X 9 Y 11 − 23X 9 Y 10 + 13X 9 Y 9 − 10X 8 Y 10
− 10X 8 Y 9 − X 7 Y 10 + 12X 8 Y 8 − 9X 7 Y 9 − 3X 7 Y 8 − X 6 Y 9 + 9X 7 Y 7
− 8X 6 Y 8 + X 6 Y 7 − X 5 Y 8 + 8X 6 Y 6 − 3X 5 Y 7 + 2X 5 Y 6 − X 4 Y 7
+ 4X 5 Y 5 − X 4 Y 6 + 4X 4 Y 5 − X 3 Y 6 + 4X 4 Y 4 + 3X 3 Y 4 + 2X 3 Y 3
+ 3X 2 Y 3 + X 2 Y 2 + 2XY 2 + Y + 1

FU2 = − X 43 Y 57 + 4X 41 Y 53 − X 41 Y 52 − 3X 40 Y 53 − 2X 41 Y 51 + 4X 40 Y 52 + X 41 Y 50 + 4X 40 Y 51
3

− X 39 Y 52 − 3X 40 Y 50 − 3X 39 Y 51 + 5X 39 Y 50 + 4X 38 Y 51 − 4X 38 Y 50 − X 37 Y 51 − 2X 39 Y 48
− 3X 38 Y 49 + 3X 37 Y 50 + X 39 Y 47 − X 38 Y 48 + 5X 37 Y 49 − 3X 38 Y 47 − 3X 37 Y 48 − X 36 Y 49
+ 3X 38 Y 46 + 4X 36 Y 48 − 6X 37 Y 46 − 2X 36 Y 47 + X 35 Y 48 − X 37 Y 45 − X 36 Y 46 − 2X 35 Y 47
+ 2X 37 Y 44 + 4X 36 Y 45 − 4X 35 Y 46 + 3X 34 Y 47 − 3X 36 Y 44 − 6X 35 Y 45 + X 34 Y 46 − X 36 Y 43
+ 8X 35 Y 44 − 6X 34 Y 45 + X 33 Y 46 + 6X 35 Y 43 − 9X 34 Y 44 + 4X 33 Y 45 − X 35 Y 42 − 4X 34 Y 43
− 6X 33 Y 44 − X 32 Y 45 − 2X 35 Y 41 + 13X 34 Y 42 + 4X 33 Y 43 − 2X 32 Y 44 + 7X 34 Y 41 − 11X 33 Y 42
− 6X 32 Y 43 + 3X 31 Y 44 − 4X 34 Y 40 − 2X 33 Y 41 + 10X 32 Y 42 − 4X 31 Y 43 + 10X 33 Y 40 + 19X 32 Y 41
− 8X 31 Y 42 + X 30 Y 43 − 2X 33 Y 39 − 16X 32 Y 40 − 21X 31 Y 41 − 2X 30 Y 42 − 7X 32 Y 39 + 40X 31 Y 40
+ 6X 30 Y 41 − X 29 Y 42 + 8X 32 Y 38 + 19X 31 Y 39 − 14X 30 Y 40 − 3X 32 Y 37 − 30X 31 Y 38 − 9X 30 Y 39
− 9X 29 Y 40 − 2X 28 Y 41 + 2X 31 Y 37 + 32X 30 Y 38 + 32X 29 Y 39 + 2X 28 Y 40 + 2X 30 Y 37 − 10X 29 Y 38
− 19X 28 Y 39 − 13X 30 Y 36 − 26X 29 Y 37 + 18X 28 Y 38 − X 27 Y 39 + 18X 29 Y 36 + 42X 28 Y 37 + X 26 Y 39
+ X 30 Y 34 − 3X 29 Y 35 − 31X 28 Y 36 − 15X 27 Y 37 − 5X 26 Y 38 − 23X 28 Y 35 + 29X 27 Y 36 + 14X 26 Y 37
+ X 29 Y 33 + 2X 28 Y 34 + 17X 27 Y 35 − 5X 25 Y 37 + 3X 28 Y 33 − 30X 27 Y 34 − 20X 26 Y 35 + 5X 25 Y 36
+ 3X 28 Y 32 − X 27 Y 33 + 20X 26 Y 34 + 33X 25 Y 35 − 2X 24 Y 36 − 12X 26 Y 33 − 20X 25 Y 34 − 9X 24 Y 35
− X 27 Y 31 − 4X 26 Y 32 − 34X 25 Y 33 + 15X 24 Y 34 + 2X 23 Y 35 + 3X 27 Y 30 + 12X 26 Y 31 + 9X 25 Y 32
+ 34X 24 Y 33 + X 23 Y 34 − 7X 26 Y 30 + X 25 Y 31 − 48X 24 Y 32 − 17X 23 Y 33 + X 22 Y 34 + X 26 Y 29
+ 13X 25 Y 30 − 14X 24 Y 31 + 18X 23 Y 32 + 10X 22 Y 33 + 4X 25 Y 29 + 13X 24 Y 30 − 4X 23 Y 31
+ 5X 22 Y 32 − 5X 25 Y 28 − 4X 24 Y 29 − 20X 23 Y 30 − 36X 22 Y 31 − 3X 21 Y 32 + 15X 24 Y 28
+ 20X 23 Y 29 + 3X 22 Y 30 + 26X 21 Y 31 + X 20 Y 32 − 4X 24 Y 27 − 8X 23 Y 28 − 2X 22 Y 29
− 21X 21 Y 30 − 3X 20 Y 31 + 22X 22 Y 28 − 22X 21 Y 29 + 3X 23 Y 26 + 21X 22 Y 27 + 2X 21 Y 28
+ 8X 20 Y 29 + 4X 19 Y 30 − X 23 Y 25 − 26X 22 Y 26 − 3X 21 Y 27 − 20X 20 Y 28 − 15X 19 Y 29
+ 3X 22 Y 25 + 36X 21 Y 26 + 20X 20 Y 27 + 4X 19 Y 28 + 5X 18 Y 29 − 5X 21 Y 25 + 4X 20 Y 26
− 13X 19 Y 27 − 4X 18 Y 28 − 10X 21 Y 24 − 18X 20 Y 25 + 14X 19 Y 26 − 13X 18 Y 27 − X 17 Y 28
− X 21 Y 23 + 17X 20 Y 24 + 48X 19 Y 25 − X 18 Y 26 + 7X 17 Y 27 − X 20 Y 23 − 34X 19 Y 24
− 9X 18 Y 25 − 12X 17 Y 26 − 3X 16 Y 27 − 2X 20 Y 22 − 15X 19 Y 23 + 34X 18 Y 24 + 4X 17 Y 25
+ X 16 Y 26 + 9X 19 Y 22 + 20X 18 Y 23 + 12X 17 Y 24 + 2X 19 Y 21 − 33X 18 Y 22 − 20X 17 Y 23
+ X 16 Y 24 − 3X 15 Y 25 − 5X 18 Y 21 + 20X 17 Y 22 + 30X 16 Y 23 − 3X 15 Y 24 + 5X 18 Y 20
− 17X 16 Y 22 − 2X 15 Y 23 − X 14 Y 24 − 14X 17 Y 20 − 29X 16 Y 21 + 23X 15 Y 22 + 5X 17 Y 19
+ 15X 16 Y 20 + 31X 15 Y 21 + 3X 14 Y 22 − X 13 Y 23 − X 17 Y 18 − 42X 15 Y 20 − 18X 14 Y 21
+ X 16 Y 18 − 18X 15 Y 19 + 26X 14 Y 20 + 13X 13 Y 21 + 19X 15 Y 18 + 10X 14 Y 19 − 2X 13 Y 20
− 2X 15 Y 17 − 32X 14 Y 18 − 32X 13 Y 19 − 2X 12 Y 20 + 2X 15 Y 16 + 9X 14 Y 17 + 9X 13 Y 18
+ 30X 12 Y 19 + 3X 11 Y 20 + 14X 13 Y 17 − 19X 12 Y 18 − 8X 11 Y 19 + X 14 Y 15 − 6X 13 Y 16
− 40X 12 Y 17 + 7X 11 Y 18 + 2X 13 Y 15 + 21X 12 Y 16 + 16X 11 Y 17 + 2X 10 Y 18 − X 13 Y 14 + 8X 12 Y 15

33

− 19X 11 Y 16 − 10X 10 Y 17 + 4X 12 Y 14 − 10X 11 Y 15 + 2X 10 Y 16 + 4X 9 Y 17 − 3X 12 Y 13
+ 6X 11 Y 14 + 11X 10 Y 15 − 7X 9 Y 16 + 2X 11 Y 13 − 4X 10 Y 14 − 13X 9 Y 15 + 2X 8 Y 16 + X 11 Y 12
+ 6X 10 Y 13 + 4X 9 Y 14 + X 8 Y 15 − 4X 10 Y 12 + 9X 9 Y 13 − 6X 8 Y 14 − X 10 Y 11 + 6X 9 Y 12 − 8X 8 Y 13
+ X 7 Y 14 − X 9 Y 11 + 6X 8 Y 12 + 3X 7 Y 13 − 3X 9 Y 10 + 4X 8 Y 11 − 4X 7 Y 12 − 2X 6 Y 13 + 2X 8 Y 10
+ X 7 Y 11 + X 6 Y 12 − X 8 Y 9 + 2X 7 Y 10 + 6X 6 Y 11 − 4X 7 Y 9 − 3X 5 Y 11 + X 7 Y 8 + 3X 6 Y 9 + 3X 5 Y 10
− 5X 6 Y 8 + X 5 Y 9 − X 4 Y 10 − 3X 6 Y 7 + 3X 5 Y 8 + 2X 4 Y 9 + X 6 Y 6 + 4X 5 Y 7 − 4X 5 Y 6 − 5X 4 Y 7
+ 3X 4 Y 6 + 3X 3 Y 7 + X 4 Y 5 − 4X 3 Y 6 − X 2 Y 7 − 4X 3 Y 5 + 2X 2 Y 6 + 3X 3 Y 4 + X 2 Y 5 − 4X 2 Y 4 + 1

B. Formulae for local graded subalgebra zeta functions
W531 = −X 5 Y 18 − X 5 Y 16 − X 5 Y 15 − X 4 Y 16 − X 5 Y 14 − X 4 Y 15 + 2X 4 Y 13 + X 3 Y 14
+ X 4 Y 12 + 2X 3 Y 13 + X 4 Y 11 + X 3 Y 12 + X 2 Y 13 + X 4 Y 10 + X 3 Y 11 + X 4 Y 9
+ 3X 3 Y 10 + 2X 3 Y 9 + X 2 Y 10 − X 3 Y 8 − 2X 2 Y 9 − 3X 2 Y 8 − XY 9 − X 2 Y 7
− XY 8 − X 3 Y 5 − X 2 Y 6 − XY 7 − 2X 2 Y 5 − XY 6 − X 2 Y 4 − 2XY 5 + XY 3

+ Y 4 + XY 2 + Y 3 + Y 2 + 1







/ 1 − XY 5 1 − X 2 Y 3 1 − X 2 Y 4 1 − XY 2 (1 − XY ) 1 − Y 5 1 − Y 2 (1 − Y )
(B.1)

W541 = −X 3 Y 21 − X 3 Y 20 − 3X 3 Y 19 − 5X 3 Y 18 − 7X 3 Y 17 + X 2 Y 18 − 8X 3 Y 16 + 4X 2 Y 17
− 7X 3 Y 15 + 9X 2 Y 16 − 6X 3 Y 14 + 16X 2 Y 15 − 6X 3 Y 13 + 19X 2 Y 14 − XY 15 − 4X 3 Y 12
+ 21X 2 Y 13 − 4XY 14 − 3X 3 Y 11 + 21X 2 Y 12 − 8XY 13 − X 3 Y 10 + 20X 2 Y 11 − 14XY 12
+ 18X 2 Y 10 − 18XY 11 + 14X 2 Y 9 − 20XY 10 + Y 11 + 8X 2 Y 8 − 21XY 9 + 3Y 10
+ 4X 2 Y 7 − 21XY 8 + 4Y 9 + X 2 Y 6 − 19XY 7 + 6Y 8 − 16XY 6 + 6Y 7 − 9XY 5

+ 7Y 6 − 4XY 4 + 8Y 5 − XY 3 + 7Y 4 + 5Y 3 + 3Y 2 + Y + 1







/ 1 − XY 4 1 − XY 3 1 − XY 2 (1 − XY ) 1 − Y 7 1 − Y 4 1 − Y 3 1 − Y 2
(B.2)

W621 = X 4 Y 8 + X 4 Y 6 + X 3 Y 6 − X 3 Y 5 + X 2 Y 6 − X 3 Y 4 − X 2 Y 5 − X 3 Y 3 − XY 5


− X 2 Y 3 − XY 4 + X 2 Y 2 − XY 3 + XY 2 + Y 2 + 1 XY 2 + 1







/ 1 − X 2 Y 3 1 − XY 3 1 − X 3 Y 2 1 − X 2 Y 2 1 − X 2 Y (1 − XY ) 1 − Y 3 (1 − Y )
(B.3)

34

W623 = X 9 Y 14 + X 9 Y 13 + X 9 Y 12 − 3X 8 Y 11 − 2X 8 Y 10 − X 6 Y 11 − X 6 Y 10 + X 7 Y 8 − 3X 6 Y 9
− X 5 Y 9 − X 4 Y 10 + X 6 Y 7 + 2X 5 Y 8 + X 6 Y 6 + 2X 5 Y 7 + 2X 4 Y 8 + 2X 5 Y 6 + 2X 4 Y 7
+ X 3 Y 8 + 2X 4 Y 6 + X 3 Y 7 − X 5 Y 4 − X 4 Y 5 − 3X 3 Y 5 + X 2 Y 6 − X 3 Y 4 − X 3 Y 3




2
− 2XY 4 − 3XY 3 + Y 2 + Y + 1 / 1 − X 4 Y 3 1 − X 3 Y 3 1 − XY 3 1 − XY 2


2 
× 1 − X 3 Y 1 − X 2 Y (1 − XY ) 1 − Y 2
(B.4)

W631 = −X 5 Y 18 − X 5 Y 16 − X 5 Y 15 − X 4 Y 16 − X 5 Y 14 − X 4 Y 15 + 2X 4 Y 13 + X 3 Y 14
+ X 4 Y 12 + 2X 3 Y 13 + X 4 Y 11 + X 3 Y 12 + X 2 Y 13 + X 4 Y 10 + X 3 Y 11 + X 4 Y 9
+ 3X 3 Y 10 + 2X 3 Y 9 + X 2 Y 10 − X 3 Y 8 − 2X 2 Y 9 − 3X 2 Y 8 − XY 9 − X 2 Y 7 − XY 8
− X 3 Y 5 − X 2 Y 6 − XY 7 − 2X 2 Y 5 − XY 6 − X 2 Y 4 − 2XY 5 + XY 3 + Y 4 + XY 2






+ Y 3 + Y 2 + 1 / 1 − XY 5 1 − X 2 Y 4 1 − X 2 Y 3 1 − XY 2 1 − X 2 Y



× (1 − XY ) 1 − Y 5 1 − Y 2 (1 − Y )
(B.5)

W632 = X 3 Y 16 + 2X 3 Y 15 + 4X 3 Y 14 + 7X 3 Y 13 + X 2 Y 14 + 10X 3 Y 12 + 2X 2 Y 13 + 11X 3 Y 11
− XY 13 + 10X 3 Y 10 − 3X 2 Y 11 − 3XY 12 + 7X 3 Y 9 − 8X 2 Y 10 − 6XY 11 + 4X 3 Y 8
− 11X 2 Y 9 − 9XY 10 + 2X 3 Y 7 − 11X 2 Y 8 − 10XY 9 + Y 10 + X 3 Y 6 − 10X 2 Y 7
− 11XY 8 + 2Y 9 − 9X 2 Y 6 − 11XY 7 + 4Y 8 − 6X 2 Y 5 − 8XY 6 + 7Y 7 − 3X 2 Y 4

− 3XY 5 + 10Y 6 − X 2 Y 3 + 11Y 5 + 2XY 3 + 10Y 4 + XY 2 + 7Y 3 + 4Y 2 + 2Y + 1




× (1 − Y )/ 1 − XY 3 1 − X 2 Y 2 1 − XY 2 1 − X 2 Y (1 − XY )




× 1−Y5 1−Y4 1−Y3 1−Y2
(B.6)

W633 = X 3 Y 14 + X 3 Y 13 + 3X 3 Y 12 + 4X 3 Y 11 + X 2 Y 12 + 5X 3 Y 10 + 4X 3 Y 9 − X 2 Y 10
− XY 11 + 3X 3 Y 8 − 3X 2 Y 9 − XY 10 + X 3 Y 7 − 5X 2 Y 8 − 4XY 9 + X 3 Y 6 − 5X 2 Y 7
− 4XY 8 − 4X 2 Y 6 − 5XY 7 + Y 8 − 4X 2 Y 5 − 5XY 6 + Y 7 − X 2 Y 4 − 3XY 5 + 3Y 6

− X 2 Y 3 − XY 4 + 4Y 5 + 5Y 4 + XY 2 + 4Y 3 + 3Y 2 + Y + 1





2 
/ 1 − XY 3 1 − X 2 Y 2 1 − XY 2 1 − X 2 Y (1 − XY ) 1 − Y 3 1 − Y 4
(B.7)

35

W643 = −X 3 Y 21 − X 3 Y 20 − 3X 3 Y 19 − 5X 3 Y 18 − 7X 3 Y 17 + X 2 Y 18 − 8X 3 Y 16 + 4X 2 Y 17
− 7X 3 Y 15 + 9X 2 Y 16 − 6X 3 Y 14 + 16X 2 Y 15 − 6X 3 Y 13 + 19X 2 Y 14 − XY 15 − 4X 3 Y 12
+ 21X 2 Y 13 − 4XY 14 − 3X 3 Y 11 + 21X 2 Y 12 − 8XY 13 − X 3 Y 10 + 20X 2 Y 11 − 14XY 12
+ 18X 2 Y 10 − 18XY 11 + 14X 2 Y 9 − 20XY 10 + Y 11 + 8X 2 Y 8 − 21XY 9 + 3Y 10
+ 4X 2 Y 7 − 21XY 8 + 4Y 9 + X 2 Y 6 − 19XY 7 + 6Y 8 − 16XY 6 + 6Y 7 − 9XY 5 + 7Y 6

− 4XY 4 + 8Y 5 − XY 3 + 7Y 4 + 5Y 3 + 3Y 2 + Y + 1




/ 1 − XY 4 1 − XY 3 1 − XY 2 1 − X 2 Y (1 − XY )




× 1−Y7 1−Y4 1−Y3 1−Y2
(B.8)

References
[1] W. W. Adams and P. Loustaunau, An introduction to Gröbner bases, Graduate Studies in Mathematics, vol. 3, American Mathematical Society, Providence, RI, 1994.
[2] N. Avni, B. Klopsch, U. Onn, and C. Voll, Representation zeta functions of compact p-adic analytic
groups and arithmetic groups, Duke Math. J. 162 (2013), no. 1, 111–197.
[3] V. Baldoni, N. Berline, J. A. De Loera, B. Dutra, M. Köppe, S. Moreinis, G. Pinto, M. Vergne,
and J. Wu, A user’s guide for LattE integrale v1.7.3, 2015. Software package. LattE is available at
http://www.math.ucdavis.edu/~latte/.
[4] A. Barvinok, Integer points in polyhedra, Zurich Lectures in Advanced Mathematics, European
Mathematical Society (EMS), Zürich, 2008.
[5] A. Barvinok and J. E. Pommersheim, An algorithmic theory of lattice points in polyhedra, New
perspectives in algebraic combinatorics (Berkeley, CA, 1996–97), 1999, pp. 91–147.
[6] A. Barvinok and K. Woods, Short rational generating functions for lattice point problems, J. Amer.
Math. Soc. 16 (2003), no. 4, 957–979 (electronic).
[7] A. I. Barvinok, A polynomial time algorithm for counting integral points in polyhedra when the
dimension is fixed, Math. Oper. Res. 19 (1994), no. 4, 769–779.
[8] J. F. Brakenhoff, Counting problems for number rings. PhD Thesis, Universiteit Leiden, 2009. See
http://hdl.handle.net/1887/14539.
[9] W. A. de Graaf, Classification of solvable Lie algebras, Experiment. Math. 14 (2005), no. 1, 15–25.
[10] W. A. de Graaf, Classification of 6-dimensional nilpotent Lie algebras over fields of characteristic
not 2, J. Algebra 309 (2007), no. 2, 640–653.
[11] M. Demazure and P. Gabriel, Groupes algébriques. Tome I: Géométrie algébrique, généralités, groupes
commutatifs, Masson & Cie, Éditeur, Paris; North-Holland Publishing Co., Amsterdam, 1970. Avec
un appendice ıt Corps de classes local par Michiel Hazewinkel.
[12] J. Denef, Report on Igusa’s local zeta function, Astérisque 201-203 (1991), Exp. No. 741, 359–386
(1992). Séminaire Bourbaki, Vol. 1990/91.
[13] J. Denef and F. Loeser, Caractéristiques d’Euler-Poincaré, fonctions zêta locales et modifications
analytiques, J. Amer. Math. Soc. 5 (1992), no. 4, 705–720.
[14] M. P. F. du Sautoy, The zeta function of sl2 (Z), Forum Math. 12 (2000), no. 2, 197–221.
[15] M. P. F. du Sautoy and F. J. Grunewald, Analytic properties of zeta functions and subgroup growth,
Ann. of Math. (2) 152 (2000), no. 3, 793–833.

36

[16] M. P. F. du Sautoy and F. Loeser, Motivic zeta functions of infinite-dimensional Lie algebras, Selecta
Math. (N.S.) 10 (2004), no. 2, 253–303.
[17] M. P. F. du Sautoy and G. Taylor, The zeta function of sl2 and resolution of singularities, Math.
Proc. Cambridge Philos. Soc. 132 (2002), no. 1, 57–73.
[18] M. P. F. du Sautoy and L. Woodward, Zeta functions of groups and rings, Lecture Notes in
Mathematics, vol. 1925, Springer-Verlag, Berlin, 2008.
[19] D. H. Dung and C. Voll, Uniform analytic properties of representation zeta functions of finitely
generated nilpotent groups (2015). To appear in Trans. Amer. Math. Soc. See arXiv:1503.06947.
[20] A. Evseev, Reduced zeta functions of Lie algebras, J. Reine Angew. Math. 633 (2009), 197–211.
[21] S. Ezzat, Representation growth of finitely generated torsion-free nilpotent groups: Methods and
examples. PhD Thesis, University of Canterbury, 2012. See http://hdl.handle.net/10092/7235.
[22]

, Counting irreducible representations of the Heisenberg group over the integers of a quadratic
number field, J. Algebra 397 (2014), 609–624.

[23] E. S. Golod and I. R. Šafarevič, On the class field tower (Russian), Izv. Akad. Nauk SSSR Ser. Mat.
28 (1964), 261–272.
[24] J. González-Sánchez, A. Jaikin-Zapirain, and B. Klopsch, The representation zeta function of a
FAb compact p-adic Lie group vanishes at −2, Bull. Lond. Math. Soc. 46 (2014), no. 2, 239–244.
MR3194743
[25] G.-M. Greuel, G. Pfister, and H. Schönemann, Singular 3.0, Centre for Computer Algebra,
University of Kaiserslautern, 2005. Available from http://www.singular.uni-kl.de/.
[26] F. J. Grunewald, D. Segal, and G. C. Smith, Subgroups of finite index in nilpotent groups, Invent.
Math. 93 (1988), no. 1, 185–223.
[27] E. Hrushovski, B. Martin, S. Rideau, and R. Cluckers, Definable equivalence relations and zeta
functions of groups (preprint) (2015). arXiv:0701011.
[28] I. Ilani, Zeta functions related to the group SL2 (Zp ), Israel J. Math. 109 (1999), 157–172.
[29] N. M. Katz, Review of `-adic cohomology, Motives (Seattle, WA, 1991), 1994, pp. 21–30.
[30] B. Klopsch and C. Voll, Zeta functions of three-dimensional p-adic Lie algebras, Math. Z. 263 (2009),
no. 1, 195–210.
[31] O. Kuzmich, Graded nilpotent Lie algebras in low dimensions, Lobachevskii J. Math. 3 (1999),
147–184 (electronic). Towards 100 years after Sophus Lie (Kazan, 1998).
[32] V. V. Morozov, Classification of nilpotent Lie algebras of sixth order, Izv. Vysš. Učebn. Zaved.
Matematika 1958 (1958), no. 4 (5), 161–171.
[33] J. Nakagawa, Orders of a quartic field, Mem. Amer. Math. Soc. 122 (1996), no. 583, viii+75.
[34] C. Nunley and A. Magid, Simple representations of the integral Heisenberg group, Classical groups
and related topics (Beijing, 1987), 1989, pp. 89–96.
[35] T. Rossmann, Computing topological zeta functions of groups, algebras, and modules, I, Proc. Lond.
Math. Soc. (3) 110 (2015), no. 5, 1099–1134.
[36]

, Computing topological zeta functions of groups, algebras, and modules, II, J. Algebra 444
(2015), 567–605.

[37]

, Stability results for local zeta functions of groups and related structures (preprint) (2015).
arXiv:1504.04164.
, Topological representation zeta functions of unipotent groups, J. Algebra 448 (2016), 210–

[38]
237.
[39]

, Zeta, version 0.3, 2016. See http://www.math.uni-bielefeld.de/~rossmann/Zeta/.

[40] J.-P. Serre, Lectures on NX (p), Chapman & Hall/CRC Research Notes in Mathematics, vol. 11,
CRC Press, Boca Raton, FL, 2012.

37

[41] R. Snocken, Zeta functions of groups and rings. PhD Thesis, University of Southampton, 2012. See
http://eprints.soton.ac.uk/id/eprint/372833.
[42] L. Solomon, Zeta functions and integral representation theory, Advances in Math. 26 (1977), no. 3,
306–326.
[43] A. Stasinski and C. Voll, Representation zeta functions of nilpotent groups and generating functions
for Weyl groups of type B, Amer. J. Math. 136 (2014), no. 2, 501–550.
[44] W. A. Stein et al., Sage Mathematics Software (Version 6.9), The Sage Development Team, 2015.
Available from http://www.sagemath.org/.
[45] G. Taylor, Zeta functions of algebras and resolution of singularities, Ph.D. Thesis, 2001.
[46] C. Voll, Functional equations for zeta functions of groups and rings, Ann. of Math. (2) 172 (2010),
no. 2, 1181–1218.
[47]

, Local functional equations for submodule zeta functions associated to nilpotent algebras of
endomorphisms (in preparation) (2016).

[48] J. White, Zeta functions of groups. DPhil Thesis, University of Oxford, 2000.
[49] L. Woodward, Zeta functions of groups: computer calculations and functional equations. DPhil Thesis,
University of Oxford, 2005.
[50]

, Zeta functions of Lie rings of upper-triangular matrices, J. Lond. Math. Soc. (2) 77 (2008),
no. 1, 69–82.

38

