## The normal zeta function of the free class two nilpotent group on four generators

### November 27, 2006

Abstract
We calculate explicitly the normal zeta function of the free group of class two on four generators, denoted by ${F}_{2,4}$  . This has Hirsch length ten.

1 Introduction

A zeta function of a group is a tool used in infinite group theory to understand subgroup growth, the study of the properties of the sequence $\left({a}_{n}\left(G\right){\right)}_{n\in \mathbb{N}}$  , where ${a}_{n}\left(G\right)$  encodes the number of subgroups of index $n$  in a finitely generated infinite group $G$  . By studying analytic properties of the zeta function ${\zeta }_{G}^{\le }\left(s\right)={\sum }_{n=1}^{\infty }{a}_{n}^{\le }\left(G\right){n}^{-s},$  where ${a}_{n}^{\le }\left(G\right)=|\left\{H\le G:|G:H|=n\right\}|,$  we hope to get algebraic information about the group.
We can define a normal zeta function ${\zeta }_{G}^{◃}\left(s\right)={\sum }_{n=1}^{\infty }{a}_{n}^{◃}\left(G\right){n}^{-s}$  by the additional condition that we count only normal subgroups of $G$  , so ${a}_{n}^{◃}\left(G\right)=|\left\{H◃G:|G:H|=n\right\}|.$  In the example in this paper we calculate a zeta function of a finitely generated torsion-free nilpotent group — we call these the $\mathfrak{T}$  -groups — and the nilpotency gives us the extra feature that for $*\in \left\{◃,\le \right\}$  the zeta function decomposes as an Euler product of local factors (also known as the local zeta functions) over primes $p$  ${\zeta }_{G}^{*}\left(s\right)={\prod }_{p}{\zeta }_{G,p}^{*}\left(s\right)$  where ${\zeta }_{G,p}^{*}\left(s\right)={\sum }_{n=0}^{\infty }{a}_{{p}^{n}}^{*}\left(G\right){p}^{-ns}.$  One of the main results in [6was to prove that these local zeta functions are rational functions in ${p}^{-s}$  . Moreover, in [6it is proved that the zeta functions of the free nilpotent groups of class two are uniform; this means that for almost all, that is, for all but finitely many, primes $p$  the local factor is the same for each prime. It should be noted that this is not always the case, there are examples of zeta functions whose local factors don’t fall into even finitely many classes for primes $p$  . The elliptic curve example by du Sautoy discussed in [1and [3explains why the the local factors of a zeta function depend on the points on an elliptic curve modulo $p$  .
More generally, in [5du Sautoy and Grunewald link the theory of zeta functions of groups to the classical problem of counting points on varieties.
Theorem 1.1 (du Sautoy, Grunewald). Let $G$  be a finitely generated nilpotent infinite group. Then there exist an algebraic variety $Y$  defined over $\mathbb{Q}$  , consisting of finitely many irreducible components ${V}_{i}$  , $i\in T$  , defined over $\mathbb{Q}$  . All these irreducible components are smooth and intersect normally. There also exist rational functions ${P}_{I}\left(x,y\right)\in \mathbb{Q}\left(x,y\right)$  for each $I\subseteq T$  with the property that for almost all primes $p$
 $\begin{array}{c}{\zeta }_{G,p}^{*}\left(s\right)={\sum }_{I\subseteq T}{d}_{I,p}{P}_{I}\left(p,{p}^{-s}\right),\end{array}$ (1)
where
 $\begin{array}{c}{d}_{I,p}=|\left\{a\in \overline{Y}\left({\mathbb{F}}_{p}\right):a\in \overline{{V}_{i}}⇔i\in I\right\}|\end{array}$ (2)
and $\overline{Y}$  means the reduction $modp$  of the variety $Y$  .
However this theorem still has mainly theoretical meaning. One of the big questions recently has been to describe which varieties appear in the decomposition. In [1and [3we saw that a zeta function of a certain group depends on the number of ${\mathbb{F}}_{p}$  -points on an elliptic curve. In this paper we can add Fano varieties of linear spaces to the list of varieties we need to consider in this context. But even so, we need to be very careful, as we shall see in this example. Not all points on the Fano variety of planes appear in the zeta function. Only one of the two rulings of planes gets picked up by the zeta function.
In some sense this work can also be considered as a generalisation of Voll’s work in [13and [12. In the paper [13he proves that a local normal zeta function satisfies a functional equation of the form ${\zeta }_{G,p}^{◃}\left(s\right){|}_{p↦{p}^{-1}}=\left(-1{\right)}^{l}{p}^{m-ns}\cdot {\zeta }_{G,p}^{◃}\left(s\right),$  for some $l,m,n\in \mathbb{N}$  , if the Pfaffian hypersurface associated to the group is smooth, absolutely irreducible and does not contain lines. The example that we shall present in this paper however involves a group whose associated Pfaffian is smooth, contains lines and planes, and still satisfies a functional equation of the same form.
Apart from the pure interest in such a standard example as a nilpotent free group, this calculation has application to the problem of counting $p$  -groups.
As du Sautoy explains in [2, counting normal subgroups in the free class $c$  nilpotent groups on $d$  generators is intimately related to counting $p$  -groups of class $c$  on $d$  generators — the latter being identifiable by quotients of the former.
In addition to giving an explicit calculation of the normal zeta function of ${F}_{2,4}$  , we shall do it in a systematic and theoretical manner which hopefully leads to a better theoretical understanding about the shape of the function and its poles. In a future paper [10I shall consider the more general case, where the Pfaffian is assumed to be smooth.
This result was already announced in [13.
It also should be noted that no computer calculations are used in this example. If one tried to calculate this example using $p$  -adic integrals, the cone conditions would contain 53 polynomial equations and involve 55 variables.
Thanks are due to Luke Woodward who generated these conditions for me.

1.1 Results

Let ${F}_{2,d}$  be the free class two, $d$  generator nilpotent group. ${F}_{2,d}={F}_{d}/{\gamma }_{3}\left({F}_{d}\right)$  , where ${F}_{d}$  is the free group on $d$  generators and ${\gamma }_{3}\left({F}_{d}\right)$  is the third term in the lower central series of ${F}_{d}$  . ${F}_{2,d}$  has a presentation ${F}_{2,d}=〈{x}_{1},...,{x}_{d},{y}_{1},...,{y}_{\frac{d\left(d-1\right)}{2}}:\left[{x}_{1},{x}_{2}\right]={y}_{1},\left[{x}_{1},{x}_{3}\right]={y}_{2},...,\left[{x}_{d-1},{x}_{d}\right]={y}_{\frac{d\left(d-1\right)}{2}}〉,$  with the convention that generators not appearing explicitly in the relations are assumed to commute. Note that for this group $\left[{F}_{2,d},{F}_{2,d}\right]=Z\left({F}_{2,d}\right)$  .
To start with, let us recall from [6what the normal zeta functions of smaller examples of the class two nilpotent free groups look like. The two generator one is isomorphic to the Heisenberg group and has local normal zeta function ${\zeta }_{{F}_{2,2},p}^{◃}\left(s\right)=\frac{1}{\left(1-{p}^{-s}\right)\left(1-{p}^{1-s}\right)\left(1-{p}^{2-3s}\right)}.$  The global zeta function ${\zeta }_{{F}_{2,2}}^{◃}\left(s\right)={\prod }_{p}{\zeta }_{{F}_{2,2},p}^{◃}\left(s\right)$  has abscissa of convergence 2. The normal zeta function of ${F}_{2,3}$  is ${\zeta }_{{F}_{2,3},p}^{◃}\left(s\right)=\frac{1+{p}^{3-3s}+{p}^{4-3s}+{p}^{6-5s}+{p}^{7-5s}+{p}^{10-8s}}{\left(1-{p}^{-s}\right)\left(1-{p}^{1-s}\right)\left(1-{p}^{2-s}\right)\left(1-{p}^{5-3s}\right)\left(1-{p}^{8-5s}\right)\left(1-{p}^{9-6s}\right)}.$  The global zeta function has abscissa of convergence 3.
In order to write the normal zeta function of ${F}_{2,4}$  in a reasonable form — an explicit expression would take two and half pages of polynomial formula — we need to introduce some notation and terminology. We shall get back to these definitions later and terminology will be made more precise.
Definition 1.2. The Igusa factor with $n$  variables $\mathbf{U}=\left({U}_{1},...,{U}_{n}\right)$  is defined to be ${I}_{n}\left(\mathbf{U}\right)={\sum }_{I\subseteq \left\{1,...,n\right\}}{b}_{I}\left({p}^{-1}\right){\prod }_{i\in I}\frac{{U}_{i}}{1-{U}_{i}},$  where ${b}_{I}\left(p\right)$  is the number of ${\mathbb{F}}_{p}$  -points on a flag variety of type $I$  , this is a polynomial in $p$  , which can be written in terms of $p$  -binomial coefficients and is independent of the prime $p$  .
The precise definition of a flag variety of type $I$  will be given in  2.2 .
Example 1.3. In the above, we can write ${\zeta }_{{F}_{2,3},p}^{◃}\left(s\right)={\zeta }_{{\mathbb{Z}}^{3},p}\left(s\right){\zeta }_{p}\left(6s-9\right)\cdot {I}_{2}\left({U}_{1},{U}_{2}\right),$  where ${U}_{1}={p}^{8-5s}$  and ${U}_{2}={p}^{5-3s},$  and ${\zeta }_{p}\left(s\right)=\frac{1}{1-{p}^{-s}}$  denotes a local factor of the Riemann zeta function.
Let us denote by $d=h\left({F}_{2,4}^{ab}\right)=4$  the torsion-free rank of the abelianisation and by ${d}^{\prime }=h\left(Z\left({F}_{2,4}\right)\right)=6$  the torsion-free rank of the centre, which is also an abelian group. In the general case of free class two nilpotent groups $d$  will be number of generators and ${d}^{\prime }=\frac{d\left(d-1\right)}{2}$  .
As will be explained later, to each class two nilpotent group we can naturally associate a Pfaffian hypersurface in ${\mathbb{P}}^{{d}^{\prime }-1}$  . Let ${d}_{i}$  be the dimension and ${c}_{i}$  the codimension of the Fano variety of the $\left(i-1\right)$  -dimensional linear subspaces on the Pfaffian. Then ${n}_{i}={c}_{i}+{d}_{i}$  is the dimension of the variety of $\left(i-1\right)$  -dimensional linear subspaces in ${\mathbb{P}}^{{d}^{\prime }-1}$  .
Definition 1.4. We call a rational function of the form ${E}_{i}\left({X}_{i},{Y}_{i}\right)=\frac{{p}^{-{d}_{i}}{Y}_{i}-{p}^{-{n}_{i}}{X}_{i}}{\left(1-{X}_{i}\right)\left(1-{Y}_{i}\right)}$  the ${i}^{th}$  exceptional factor with variables ${X}_{i}$  and ${Y}_{i}$  .
With the above definitions we can now write down an expression for the zeta function of ${F}_{2,4}$  . It does show some structure, which would be completely missing if the zeta function were to be written explicitly.
Theorem 1.5. The local normal zeta function of ${F}_{2,4}$  is for (almost) all primes $p$  ${\zeta }_{{F}_{2,4},p}^{◃}\left(s\right)={\zeta }_{{\mathbb{Z}}^{4},p}\left(s\right){\zeta }_{p}\left(10s-24\right)\cdot \left({W}_{0}\left(p,{p}^{-s}\right)+{\mathfrak{n}}_{1}\left(p\right){W}_{1}\left(p,{p}^{-s}\right)+{\mathfrak{n}}_{2}\left(p\right){W}_{2}\left(p,{p}^{-s}\right)+{\mathfrak{n}}_{3}\left(p\right){W}_{3}\left(p,{p}^{-s}\right)\right)$  where
 $\begin{array}{cc}{\mathfrak{n}}_{1}\left(p\right)& =\left({p}^{2}+1\right)\left({p}^{2}+p+1\right),\end{array}$
 $\begin{array}{cc}{\mathfrak{n}}_{2}\left(p\right)& =\left(p+1\right)\left({p}^{2}+1\right)\left({p}^{2}+p+1\right),\end{array}$
 $\begin{array}{cc}{\mathfrak{n}}_{3}\left(p\right)& =\left({p}^{2}+1\right)\left(p+1\right),\end{array}$
 $\begin{array}{}\end{array}$
and ${W}_{i}\left(X,Y\right)={I}_{5-i}\left({X}_{5},...,{X}_{i+1}\right){E}_{i}\left({X}_{i},{Y}_{i}\right){I}_{i-1}\left({Y}_{i-1},...,{Y}_{1}\right)$  for $i=0,1,2,3$  , with the convention that ${E}_{0}={I}_{-1}={I}_{0}=1.$  The numerical data are
 $\begin{array}{cc}{X}_{i}& ={p}^{i\left(10-i\right)-\left(4+i\right)s}\end{array}$
 $\begin{array}{cc}{Y}_{1}& ={p}^{8-3s}\end{array}$
 $\begin{array}{cc}{Y}_{2}& ={p}^{13-5s}\end{array}$
 $\begin{array}{cc}{Y}_{3}& ={p}^{15-6s}.\end{array}$
 $\begin{array}{}\end{array}$
One can calculate the closed expression of this zeta function where everything is put over a common denominator. However, it is not done here, since the numerator is a polynomial with 490 terms and the whole zeta function would take more than two pages to write out. We can read off the degree of polynomial subgroup growth from the expression above.
Corollary 1.6. The abscissa of convergence of the global zeta function is $4$  .
This is still the torsion-free rank of the abelianisation. However, for ${F}_{2,5}$  the abscissa is bigger than 5, which can be deduced for instance from Theorem 1.3 in [9.
Corollary 1.7. The function satisfies a functional equation of the form ${\zeta }_{{F}_{2,4},p}^{◃}\left(s\right){|}_{p↦{p}^{-1}}={p}^{45-14s}\cdot {\zeta }_{{F}_{2,4},p}^{◃}\left(s\right).$
This is of the form conjectured to hold for all class two normal zeta functions, see section  5 .
Acknowledgements. I would like to thank Christopher Voll for numerous helpful conversations and Marcus du Sautoy for his encouragement as a supervisor. My DPhil, part of which this paper forms, has been financially supported by Academy of Finland, Finnish Academy of Science and Letters, Osk. Huttunen Foundation and Oxford University Graduate Scholarship Scheme. I am also grateful for the friendliness of Helsinki University of Technology during the writing up of this paper.

2 Theory behind the calculation

The class two nilpotent groups split naturally into two parts, the derived group and the abelianisation. With free class two groups we even have ${G}^{\prime }=\left[G,G\right]=Z\left(G\right)$  . By the Mal’cev correspondence there is a Lie algebra $\mathfrak{L}=\mathfrak{L}\left(G\right)$  over $\mathbb{Z}$  constructed as the image under $log$  of $G$  .
For a Lie algebra $\mathfrak{L}$  , and $*\in \left\{\le ,◃\right\}$  , we define the zeta function ${\zeta }_{\mathfrak{L}}^{*}\left(s\right)={\sum }_{n=1}^{\infty }{a}_{n}^{*}\left(\mathfrak{L}\right){n}^{-s}$  where ${a}_{n}^{*}\left(\mathfrak{L}\right)$  is the number of subalgebras or ideals of $\mathfrak{L}$  of index $n$  . Then we have the following theorem
Theorem 2.1 ([6). Let $G$  be a finitely generated nilpotent group.
For $*\in \left\{\le ,◃\right\}$  and almost all primes $p$  ${\zeta }_{G,p}^{*}\left(s\right)={\zeta }_{\mathfrak{L}\left(G\right),p}^{*}\left(s\right).$
This allows us to concentrate on counting in a ring setting, which is usually easier than the corresponding group setting.
According to [6(Lemma 6.1) for class two normal zeta functions it is enough to run over the lattices of the centre of the group (or Lie algebra) in order to calculate the zeta function. In particular, if for each lattice ${\Lambda }^{\prime }\subseteq {\mathfrak{L}}^{\prime }$  we define $X\left({\Lambda }^{\prime }\right)/{\Lambda }^{\prime }:=Z\left(\mathfrak{L}/{\Lambda }^{\prime }\right),$  then
 $\begin{array}{cc}{\zeta }_{\mathfrak{L}}^{◃}\left(s\right)=& {\zeta }_{{\mathbb{Z}}^{d}}\left(s\right){\sum }_{{\Lambda }^{\prime }\subseteq {\mathfrak{L}}^{\prime }}|{\mathfrak{L}}^{\prime }:{\Lambda }^{\prime }{|}^{d-s}|\mathfrak{L}:X\left({\Lambda }^{\prime }\right){|}^{-s}\end{array}$
 $\begin{array}{}\end{array}$
We can also use the local version of this lemma by considering ${\mathfrak{L}}_{p}=\mathfrak{L}{\otimes }_{\mathbb{Z}}{\mathbb{Z}}_{p}$  . An ideal of a finite index in ${\mathfrak{L}}_{p}$  corresponds to an ideal of a $p$  -power index in $\mathfrak{L}$  . We shall call a lattice ${\Lambda }^{\prime }\subseteq {\mathbb{Z}}_{p}^{{d}^{\prime }}$  maximal if ${p}^{-1}{\Lambda }^{\prime }⊈{\mathbb{Z}}_{p}^{{d}^{\prime }}$  . It is enough to consider only maximal lattices of $p$  -power index, since if ${\Lambda }^{\prime }$  is not maximal, then in general, ${\Lambda }^{\prime }={p}^{{r}_{{d}^{\prime }}}{\Lambda }_{max}^{\prime }$  , where ${\Lambda }_{max}^{\prime }$  is maximal in its class.
Now $|{\mathfrak{L}}_{p}^{\prime }:{\Lambda }^{\prime }|={p}^{{d}^{\prime }{r}_{{d}^{\prime }}}|{\mathfrak{L}}_{p}^{\prime }:{\Lambda }_{max}^{\prime }|$  and $|{\mathfrak{L}}_{p}:X\left({\Lambda }^{\prime }\right)|={p}^{d{r}_{{d}^{\prime }}}|{\mathfrak{L}}_{p}:X\left({\Lambda }_{max}^{\prime }\right)|.$  Then we have
 $\begin{array}{cccc}{\zeta }_{\mathfrak{L},p}^{◃}\left(s\right)={\zeta }_{{\mathfrak{L}}_{p}}^{◃}\left(s\right)=& {\zeta }_{{\mathbb{Z}}_{p}^{d}}\left(s\right){\sum }_{{\Lambda }^{\prime }\subseteq {\mathfrak{L}}_{p}^{\prime }}|{\mathfrak{L}}_{p}^{\prime }:{\Lambda }^{\prime }{|}^{d-s}|{\mathfrak{L}}_{p}:X\left({\Lambda }^{\prime }\right){|}^{-s}& =& {\zeta }_{{\mathbb{Z}}_{p}^{d}}\left(s\right){\zeta }_{p}\left(\left(d+{d}^{\prime }\right)s-d{d}^{\prime }\right)A\left(p,{p}^{-s}\right),\end{array}$
where
 $\begin{array}{c}A\left(p,{p}^{-s}\right)={\sum }_{{\Lambda }^{\prime }\subseteq {\mathfrak{L}}_{p}^{\prime }{\Lambda }^{\prime }\text{maximal}}|{\mathfrak{L}}_{p}^{\prime }:{\Lambda }^{\prime }{|}^{d-s}|{\mathfrak{L}}_{p}:X\left({\Lambda }^{\prime }\right){|}^{-s}.\end{array}$ (3)
Recall from [12the definition of the weight functions
 $\begin{array}{cc}w\left({\Lambda }^{\prime }\right)& :=lo{g}_{p}\left(|{\mathfrak{L}}_{p}^{\prime }:{\Lambda }^{\prime }|\right)\end{array}$
 $\begin{array}{cc}{w}^{\prime }\left({\Lambda }^{\prime }\right)& :=w\left({\Lambda }^{\prime }\right)+{log}_{p}\left(|{\mathfrak{L}}_{p}:X\left({\Lambda }^{\prime }\right)|\right).\end{array}$
 $\begin{array}{}\end{array}$
Put $T:={p}^{-s}$  . Then we can write our generating function as
 $\begin{array}{c}A\left(p,T\right)={\sum }_{{\Lambda }^{\prime }\subseteq {\mathfrak{L}}_{p}^{\prime },maximal}{p}^{dw\left({\Lambda }^{\prime }\right)}{T}^{{w}^{\prime }\left({\Lambda }^{\prime }\right)}.\end{array}$ (4)
Let us consider ${\mathfrak{L}}_{p}$  and a lattice ${\Lambda }^{\prime }\in {\mathfrak{L}}_{p}^{\prime }\sim ={\mathbb{Z}}_{p}^{{d}^{\prime }}.$  In order to do the counting effectively, we enumerate the lattices in the centre using the elementary divisor type. The lattices maximal in their class have elementary divisor types $\left(1,{p}^{{r}_{{d}^{\prime }-1}},{p}^{{r}_{{d}^{\prime }-2}+{r}_{{d}^{\prime }-1}},...,{p}^{{r}_{1}+{r}_{2}+\cdot \cdot \cdot +{r}_{{d}^{\prime }-1}}\right)$  , where ${r}_{i}\ge 0$  . Let us denote by $\left\{{i}_{1},...,{i}_{n}{\right\}}_{<}$  the ordered set where ${i}_{1}<{i}_{2}<...{i}_{l}$  . Then the type of lattice is given by $\nu \left({\Lambda }^{\prime }\right)=\left(I,{r}_{I}\right)$  where $I=\left\{{i}_{1},...{i}_{l}{\right\}}_{<}\subseteq \left\{1,...,{d}^{\prime }-1\right\},{r}_{I}=\left({r}_{{i}_{1}},...,{r}_{{i}_{l}}\right)$  and $I=\left\{{i}_{j}\in \left\{1,...,{d}^{\prime }-1\right\}:{r}_{{i}_{j}}>0\right\}$  .
This way we have the same enumeration for the lattices, and for the weight functions depending on the lattices’ types. From these definitions and the above notation for the lattices we have immediately $w\left({\Lambda }^{\prime }\right)={\sum }_{i\in I}i{r}_{i}.$
Definition 2.2. A flag of type $I$  in ${\mathbb{P}}^{{d}^{\prime }-1}\left({\mathbb{F}}_{p}\right)$  , $I\subseteq \left\{1,...,{d}^{\prime }-1\right\}$  is a sequence $\left({V}_{{i}_{j}}{\right)}_{{i}_{j}\in I}$  of incident vector spaces ${\mathbb{P}}^{{d}^{\prime }-1}\left({\mathbb{F}}_{p}\right)>{V}_{{i}_{1}}>\cdot \cdot \cdot >{V}_{{i}_{l}}>\left\{0\right\}$  with $codi{m}_{{\mathbb{F}}_{p}}\left({V}_{{i}_{j}}\right)={i}_{j}-{i}_{j-1}$  in the vector space ${V}_{{i}_{j-1}}$  . The flags of type $I$  form a projective variety ${\mathcal{ℱ}}_{I}$  , whose number of ${\mathbb{F}}_{p}$  -points is given by ${b}_{I}\left(p\right)\in \mathbb{Z}\left[p\right]$  a polynomial whose leading term equals ${p}^{dim{\mathcal{ℱ}}_{I}}$  and can be easily expressed as a product of $p-$  binomial coefficients.
Using duality properties of $p$  -binomial coefficients we observe that ${b}_{I}\left({p}^{-1}\right)={p}^{-dim{\mathcal{ℱ}}_{I}}{b}_{I}\left(p\right).$
$S{L}_{{d}^{\prime }}\left({\mathbb{Z}}_{p}\right)$  acts transitively on maximal lattices of an elementary divisor type $\left(1,{p}^{{r}_{{d}^{\prime }-1}},{p}^{{r}_{{d}^{\prime }-2}+{r}_{{d}^{\prime }-1}},...,{p}^{{r}_{1}+{r}_{2}+\cdot \cdot \cdot +{r}_{{d}^{\prime }-1}}\right)$  relative to the standard lattice.
Let ${G}_{\nu }$  denote the stabiliser of the diagonal matrix $diag\left(1,{p}^{{r}_{{d}^{\prime }-1}},{p}^{{r}_{{d}^{\prime }-2}+{r}_{{d}^{\prime }-1}},...,{p}^{{r}_{1}+{r}_{2}+\cdot \cdot \cdot +{r}_{{d}^{\prime }-1}}\right)$  in $S{L}_{{d}^{\prime }}\left({\mathbb{Z}}_{p}\right)$  . Then by the orbit-stabiliser theorem we have $\left\{\text{maximal lattices of type}\nu \right\}↔1-1S{L}_{{d}^{\prime }}\left({\mathbb{Z}}_{p}\right)/{G}_{\nu }.$  Thus we identify a maximal lattice ${\Lambda }^{\prime }$  with the pair $\left(\nu ,\alpha {G}_{\nu }\right)$  consisting of its partition of elementary divisors and the respective coset of the stabiliser ${G}_{\nu }.$  Let $\alpha \in S{L}_{{d}^{\prime }}\left({\mathbb{Z}}_{p}\right)$  and $I$  be a type of a lattice ${\Lambda }^{\prime }$  . Let $\overline{\alpha }$  denote the reduction $modp$  and define vector spaces for ${i}_{j}\in I$  , $I=\left\{{i}_{1},...,{i}_{l}{\right\}}_{<},$  ${V}_{{i}_{j}}=〈\overline{{\alpha }^{{i}_{1}}},...,\overline{{\alpha }^{{i}_{j}}}〉<{\mathbb{P}}^{{d}^{\prime }-1}\left({\mathbb{F}}_{p}\right)$  We observe that $codi{m}_{{\mathbb{F}}_{p}}\left({V}_{{i}_{j}}\right)={i}_{j}-{i}_{j-1}.$  Following Voll we call the flag $\left({V}_{i}{\right)}_{i\in I}$  of type $I$  the flag associated with ${\Lambda }^{\prime }$  if $\nu \left({\Lambda }^{\prime }\right)=I$  and ${\Lambda }^{\prime }$  corresponds to the coset $\alpha {G}_{\nu }$  under the 1-1 correspondence.
Definition 2.3. Given a fixed flag variety ${\mathcal{ℱ}}_{I}$  of type $I=\left\{{i}_{1},...,{i}_{l}{\right\}}_{<}$  on ${\mathbb{P}}^{{d}^{\prime }-1}$  , then we call a maximal lattice ${\Lambda }^{\prime }$  of type $J=\left\{{j}_{1},...,{j}_{k}{\right\}}_{<}$  where $k\ge l$  a lift of ${\mathcal{ℱ}}_{I}$  if its associated flag $\left({V}_{j}{\right)}_{j\in J}$  contains ${\mathcal{ℱ}}_{I}$  , $I\subseteq J$  and ${i}_{m}={j}_{m}$  for $m=1,...,l.$
The reason we define these is that we can describe $|{\mathfrak{L}}_{p}:X\left({\Lambda }^{\prime }\right)|$  by set of polynomial equations.
Theorem 2.4 (Voll [13). Let ${\Lambda }^{\prime }$  correspond to the coset $\alpha {G}_{\nu }$  under the correspondence defined above, where $\alpha \in S{L}_{6}\left({\mathbb{Z}}_{p}\right)$  with column vectors ${\alpha }^{j}$  , $j=1,...,6$  . Then $|{\mathfrak{L}}_{p}:X\left({\Lambda }^{\prime }\right)|$  equals the index of the kernel of the following system of linear congruences in ${\mathfrak{L}}_{p}/{\mathfrak{L}}_{p}^{\prime }$  :
 $\begin{array}{c}\forall i\in \left\{1,...,6\right\}\overline{\mathbf{g}}M\left({\alpha }^{j}\right)\equiv 0mod{p}^{{r}_{i}+\cdot \cdot \cdot +{r}_{6}}\end{array}$ (5)
where $\overline{\mathbf{g}}=\left({\overline{g}}_{1},...,{\overline{g}}_{4}\right)\in {\mathfrak{L}}_{p}/{\mathfrak{L}}_{p}^{\prime }\sim ={\mathbb{Z}}_{p}^{4}.$
From this it is clear that we need to separate cases when $M\left({\alpha }^{j}\right)$  is singular and when it is not. The space of singular matrices can be described using the Pfaffian hypersurface, which is defined by the vanishing of the determinant of the matrix of relations $det\left(M\left(\mathbf{y}\right)\right)=0$  .
In addition to the above two weight functions we need to define the multiplicity function $\mu$  which measures how many lattices there are of each given type.
Definition 2.5. Let ${\Lambda }^{\prime }$  be a lattice of type $I$  . The multiplicity of ${\Lambda }^{\prime }$  , denoted by $\mu \left({\Lambda }^{\prime }\right)$  is the number of lattices of type $I$  divided by the number of points on the flag variety of type $I$  .
We can calculate the multiplicity $\mu \left({\Lambda }^{\prime }\right)$  by defining the function mu (as a ‘measureť or a multiplicity) to measure the size of the set of $x\in p{\mathbb{Z}}_{p}/\left({p}^{a}\right)$  of a fixed $p$  -adic valuation as follows:
Definition 2.6. Let $a,b$  be positive integers. We define a function $\mu$  of $a$  and $b$  as
 $\begin{array}{c}\mu \left(a,b\right)=|\left\{x\in p{\mathbb{Z}}_{p}/\left({p}^{a}\right):{v}_{p}\left(x\right)=b\right\}|=\left\{\begin{array}{cc}1& \text{if}a=b\text{}\\ {p}^{a-b}\left(1-{p}^{-1}\right)& \text{if}a>b\text{}\\ 0& \text{otherwise.}\end{array}\end{array}$ (6)
This definition extends naturally also to a vector $\mathbf{b}=\left({b}_{1},...,{b}_{n}\right)$  . We denote $\mu \left(a,\mathbf{b}\right)=|\left\{\mathbf{x}\in p{\mathbb{Z}}_{p}/\left({p}^{a}\right):{v}_{p}\left({x}_{i}\right)={b}_{i}\right\}|=\mu \left(a;{b}_{1},{b}_{2},{b}_{3},...,{b}_{n}\right)=\mu \left(a,{b}_{1}\right)\mu \left(a,{b}_{2}\right)...\mu \left(a,{b}_{n}\right).$
Now we can calculate the multiplicity of lattices of a given type $I$  .
Lemma 2.7. Let ${\Lambda }^{\prime }$  be a lattice of type $I$  corresponding to the coset $\alpha {G}_{\nu }$  under the 1-1 correspondence. Let ${a}_{ij}$  be the $ij$  -entry of $\alpha$  (in the ith column from the right and (j-1)th row from the bottom).
Then the multiplicity of ${\Lambda }^{\prime }$  is $\mu \left({\Lambda }^{\prime }\right)={\prod }_{i\in Ij\in Ij\le i}{\sum }_{{a}_{ij}=1}^{{\sum }_{k=i}^{j}{r}_{k}}\mu \left({\sum }_{k=i}^{j}{r}_{k},{a}_{ij}\right)={p}^{-dim{\mathcal{ℱ}}_{I}}{p}^{{\sum }_{i\in I}\left({d}^{\prime }-i\right)i{r}_{i}}.$
• Proof. A simple computation using the orbit-stabiliser theorem.

3 The group and its Pfaffian hypersurface

The free class two nilpotent group on 4 generators has the following presentation
 $\begin{array}{cccc}{F}_{2,4}=& 〈{x}_{1},{x}_{2},{x}_{3},{x}_{4},{y}_{1},{y}_{2},{y}_{3},{y}_{4},{y}_{5},{y}_{6}:\left[{x}_{1},{x}_{2}\right]={y}_{1},\left[{x}_{1},{x}_{3}\right]={y}_{2},& & \left[{x}_{1},{x}_{4}\right]={y}_{3},\left[{x}_{2},{x}_{3}\right]={y}_{4},\left[{x}_{2},{x}_{4}\right]={y}_{5},\left[{x}_{3},{x}_{4}\right]={y}_{6}〉.\end{array}$
We can also write the commutator structure in the form of the matrix of relations as $M\left(\mathbf{y}\right)=\left(\begin{array}{cccc}0& {y}_{1}& {y}_{2}& {y}_{3}\\ -{y}_{1}& 0& {y}_{4}& {y}_{5}\\ -{y}_{2}& -{y}_{4}& 0& {y}_{6}\\ -{y}_{3}& -{y}_{5}& -{y}_{6}& 0\end{array}\right).$  Then the presentation is given by
 $\begin{array}{cc}{F}_{2,4}=& 〈{x}_{1},{x}_{2},{x}_{3},{x}_{4},{y}_{1},{y}_{2},{y}_{3},{y}_{4},{y}_{5},{y}_{6}:\left[{x}_{i},{x}_{j}\right]=M\left(\mathbf{y}{\right)}_{ij}〉.\end{array}$
The Pfaffian hypersurface is defined by the square-root of the determinant of the matrix of relations $M\left(\mathbf{y}\right)$  ; in this case it is defined by the equation
 $\begin{array}{c}{y}_{1}{y}_{6}-{y}_{2}{y}_{5}+{y}_{3}{y}_{4}=0.\end{array}$ (7)
This is a smooth quadric four-fold in ${\mathbb{P}}^{5}$  . It is a fact (see e.g. Theorem 22.13 in [7) that a smooth quadric of dimension $m$  contains linear subspaces only up to dimension less than or equal to $m/2$  , thus the linear subspaces lying on the Pfaffian hypersurface $\mathfrak{P}$  associated with ${F}_{2,4}$  are points, lines and planes, these are also smooth by the above mentioned Theorem 22.13 . As we can find, for example from from [8p. 5, there are ${\mathfrak{P}}_{1}\left(p\right)=\left({p}^{2}+1\right)\left({p}^{2}+p+1\right)$  points, ${\mathfrak{P}}_{2}\left(p\right)=\left(p+1\right)\left({p}^{2}+1\right)\left({p}^{2}+p+1\right)$  lines and ${\mathfrak{P}}_{3}\left(p\right)=2\left({p}^{2}+1\right)\left(p+1\right)$  planes over ${\mathbb{F}}_{p}$  . There are two rulings of planes, which again is from the general theory of quadrics, see Theorem 22.14 in [7.
Thus the different lifts of fixed flags that lie on the Pfaffian hypersurface (Recall Definition  2.3 ) and can cause different congruence conditions and weight functions are the following:
• 1. The lattice ${\Lambda }^{\prime }$  lifts the flag $〈{\alpha }^{1}〉$  , which consists of a point on the Pfaffian. Note that the line $〈{\alpha }^{1},{\alpha }^{2}〉$  does not lie on the quadric four-fold in this case.
• 2.
• (a) The lattice ${\Lambda }^{\prime }$  lifts the flag $〈{\alpha }^{1},{\alpha }^{2}〉$  , which consists of a line on the Pfaffian.
• (b) ${\Lambda }^{\prime }$  lifts the flag $〈{\alpha }^{1},{\alpha }^{2}〉\ge 〈{\alpha }^{1}〉$  , which is a line-point pair on the Pfaffian.
• 3.
• (a) ${\Lambda }^{\prime }$  lifts the flag $〈{\alpha }^{1},{\alpha }^{2},{\alpha }^{3}〉$  , which consists of a plane on the Pfaffian.
• (b) ${\Lambda }^{\prime }$  lifts the flag $〈{\alpha }^{1},{\alpha }^{2},{\alpha }^{3}〉\ge 〈{\alpha }^{1},{\alpha }^{2}〉$  , which consists of a plane-line pair on the Pfaffian.
• (c) ${\Lambda }^{\prime }$  lifts the flag $〈{\alpha }^{1},{\alpha }^{2},{\alpha }^{3}〉\ge 〈{\alpha }^{1}〉$  , consisting of a plane-point pair on the Pfaffian.
• (d) ${\Lambda }^{\prime }$  lifts the flag $〈{\alpha }^{1},{\alpha }^{2},{\alpha }^{3}〉\ge 〈{\alpha }^{1},{\alpha }^{2}〉\ge 〈{\alpha }^{1}〉$  , which is a fixed plane-line-point triplet on the Pfaffian.

3.1 Weight functions

In this section we consider different types of lattices and what kind of weight functions ${w}^{\prime }\left({\Lambda }^{\prime }\right)$  we obtain following the above geometric list.
The easiest case is when a lattice lifts a flag no part of which lies on the Pfaffian hypersurface, so all the matrices $M\left({\alpha }^{i}\right)$  are non-singular and the congruence conditions reduce to:
$\forall i\in \left\{1,...,6\right\}\overline{\mathbf{g}}\equiv 0mod{p}^{{r}_{i}+\cdot \cdot \cdot +{r}_{5}}.$  The weight function ${w}^{\prime }\left({\Lambda }^{\prime }\right)={\sum }_{i\in I}\left(4+i\right){r}_{i}$  depends only on the lattice’s type.
Now we need to consider the conditions on the Pfaffian as listed above.
The easiest of them is that a lattice ${\Lambda }^{\prime }$  lifts a fixed point $x\in {\mathbb{P}}^{5}\left({\mathbb{F}}_{p}\right)$  on the Pfaffian hypersurface.
Lemma 3.1 (Voll, Proposition 4 in [13). Let $x\in \mathfrak{P}$  , and let ${\Lambda }^{\prime }$  be a lattice lifting this fixed point. Then the weight function is ${w}^{\prime }\left({\Lambda }^{\prime }\right)={\sum }_{i\in I}\left(4+i\right){r}_{i}-2min\left\{{r}_{1},{v}_{p}\left({a}_{11}\right)\right\}$  . This depends on more than the lattice’s type, but it is independent of the point $x$  chosen.
• Proof. (Proposition 4 in [13) Let ${\alpha }^{1}=\left({a}_{11},{a}_{12},...,{a}_{16}\right)\in {\mathbb{P}}^{5}\left({\mathbb{Z}}_{p}/{p}^{{r}_{1}}\right)$  and ${\alpha }^{1}=\left(0,1,...,1\right)modp.$  Then we can choose local coordinates such that around any of the ${\mathfrak{n}}_{1}\left(p\right)$  points of the Pfaffian hypersurface $modp$  the congruence conditions look like
 $\begin{array}{cc}\overline{\mathbf{g}}\cdot \left(\begin{array}{cccc}0& {a}_{11}& 0& 0\\ -{a}_{11}& 0& 0& 0\\ 0& 0& 0& 1\\ 0& 0& -1& 0\end{array}\right)& \equiv 0mod{p}^{{r}_{1}+\cdot \cdot \cdot +{r}_{5}}\end{array}$
 $\begin{array}{cc}\overline{\mathbf{g}}& \equiv 0mod{p}^{{r}_{2}+\cdot \cdot \cdot +{r}_{5}}.\end{array}$
 $\begin{array}{}\end{array}$
It can be read off that the weight function is ${w}^{\prime }\left({\Lambda }^{\prime }\right)={\sum }_{i\in I}\left(4+i\right){r}_{i}-2min\left\{{r}_{1},{v}_{p}\left({a}_{11}\right)\right\}$  .
With lines we have the following situation: The variety of lines is smooth and irreducible, and all lines belong to the same family, so it is enough to consider one given line only.
Lemma 3.2. The weight function for lattices lifting a given line on the Pfaffian is ${w}^{\prime }\left({\Lambda }^{\prime }\right)=6{r}_{2}-min\left\{{r}_{2},{v}_{p}\left({a}_{15}\right),{v}_{p}\left({a}_{25}\right),{v}_{p}\left({a}_{24}\right)\right\}$  . This is independent of the line chosen.
• Proof. The lattice of type $\left(1,1,1,1,{p}^{{r}_{2}},{p}^{{r}_{2}}\right)$  is in one-to-one correspondence with the pair of vectors ${\alpha }^{1}=\left({a}_{15},{a}_{14},{a}_{13},{a}_{12},0,1{\right)}^{t}$  and ${\alpha }^{2}=\left({a}_{25},{a}_{24},{a}_{23},{a}_{22},1,0{\right)}^{t}$  , where ${a}_{ij}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{2}}\right)$  , so that $modp$  the span $〈{\alpha }^{1},{\alpha }^{2}〉$  defines a line on the Pfaffian. With suitable local coordinate changes the congruences reduce to $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{15}& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 1\\ 0& 0& -1& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{2}}\right)$  $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{25}& {a}_{24}& 0\\ 0& 0& 0& 1\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{2}}\right).$
Corollary 3.3. For a mixed lattice of type $\left(1,...,1,{p}^{{r}_{2}},{p}^{{r}_{1}+{r}_{2}}\right)$  any flag $〈{\alpha }^{1}〉\le 〈{\alpha }^{1},{\alpha }^{2}〉$  gives the same weight function.
• Proof. As each of the lines and each of the points give the same weight function, so does any flag of any point-line combination. We can thus take the following vectors ${\alpha }^{1}=\left({a}_{15},{a}_{14},{a}_{13},{a}_{12},{a}_{11},1{\right)}^{t}$  and ${\alpha }^{2}=\left({a}_{25},{a}_{24},{a}_{23},{a}_{22},1,0{\right)}^{t}$  , where ${a}_{2j}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{2}}\right)$  , ${a}_{1j}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{1}+{r}_{2}}\right)$  for $2\le j\le 5$  , ${a}_{11}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{1}}\right)$  . With suitable chance of local coordinates the congruence conditions look like $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{15}& 0& 0\\ -{a}_{15}& 0& 0& 0\\ 0& 0& 0& 1\\ 0& 0& -1& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{1}+{r}_{2}}\right)$  $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{25}& {a}_{24}& 0\\ 0& 0& 0& 1\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{2}}\right),$  from which we can read off the weight function to be ${w}^{\prime }\left({\Lambda }^{\prime }\right)=6{r}_{2}+5{r}_{1}-min\left\{{r}_{1},{v}_{p}\left({a}_{15}\right)\right\}-min\left\{{r}_{1}+{r}_{2},{v}_{p}\left({a}_{15}\right),{v}_{p}\left({a}_{25}\right)+{r}_{1},{v}_{p}\left({a}_{24}\right)+{r}_{1}\right\}.$
However, with planes we need to be more careful. As planes are the highest dimensional linear subspace on the quadric, there are two families of planes, and as we shall see, these rulings do not behave equally; only one of them gives a different weight function. The variety of the planes is smooth, thus it is enough to consider a representative in each one of the rulings.
Lemma 3.4. The plane generated by the vectors ${\alpha }^{1}=\left(1,0,0,{a}_{33},{a}_{34},{a}_{35}{\right)}^{t}$  , ${\alpha }^{2}=\left(0,1,0,{a}_{23},{a}_{24},{a}_{25}{\right)}^{t}$  and ${\alpha }^{3}=\left(0,0,1,{a}_{13},{a}_{14},{a}_{15}{\right)}^{t}$  , ${a}_{ij}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{3}}\right)$  lies on the Pfaffian $modp$  , but doesn’t give a different weight function. For this half of the planes the weight function is ${w}^{\prime }\left({\Lambda }^{\prime }\right)=7{r}_{3}$  which is also the weight function for planes outside the Pfaffian. There are $\left({p}^{2}+1\right)\left(p+1\right)$  such planes.
• Proof. It is easy to see that the plane spanned by $〈{\alpha }^{1},{\alpha }^{2},{\alpha }^{3}〉$  is on the Pfaffian $modp$  . The congruence conditions $modp$  are $\overline{\mathbf{g}}\cdot M\left({\alpha }^{i}\right)\equiv 0modp$  for $i=1,2,3,$  and $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& 1& 0& 0\\ -1& 0& {a}_{33}& {a}_{34}\\ 0& -{a}_{33}& 0& {a}_{35}\\ 0& -{a}_{34}& -{a}_{35}& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{3}}\right)$  $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& 0& 1& 0\\ 0& 0& {a}_{23}& {a}_{24}\\ -1& -{a}_{23}& 0& {a}_{25}\\ 0& -{a}_{24}& -{a}_{25}& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{3}}\right)$  $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& 0& 0& 1\\ 0& 0& {a}_{13}& {a}_{14}\\ 0& -{a}_{13}& 0& {a}_{15}\\ -1& -{a}_{14}& -{a}_{15}& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{3}}\right).$  This set of equations has rank 4, and thus the weight function is ${w}^{\prime }\left({\Lambda }^{\prime }\right)=7{r}_{3}$  which is also the weight function for planes outside the Pfaffian.
Lemma 3.5. For the other $\left({p}^{2}+1\right)\left(p+1\right)$  of planes the weight function is ${w}^{\prime }\left({\Lambda }^{\prime }\right)=7{r}_{3}-min\left\{{r}_{3},{v}_{p}\left({a}_{15}\right),{v}_{p}\left({a}_{25}\right),{v}_{p}\left({a}_{24}\right),{v}_{p}\left({a}_{35}\right),{v}_{p}\left({a}_{34}\right),{v}_{p}\left({a}_{33}\right)\right\}.$
• Proof. The other family of planes can be represented by the span of the three vectors ${\alpha }^{1}=\left({a}_{15},{a}_{14},{a}_{13},0,0,1{\right)}^{t}$  , ${\alpha }^{2}=\left({a}_{25},{a}_{24},{a}_{23},0,1,0{\right)}^{t}$  , ${\alpha }^{3}=\left({a}_{35},{a}_{34},{a}_{33},1,0,0\right),$  where ${a}_{ij}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{3}}\right)$  . With a suitable change of local coordinates the congruence conditions look like. $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{15}& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 1\\ 0& 0& -1& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{3}}\right)$  $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{25}& {a}_{24}& 0\\ 0& 0& 0& 1\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{3}}\right)$  $\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{35}& {a}_{34}& {a}_{33}\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ \end{array}\right)\equiv 0\left(mod{p}^{{r}_{3}}\right)$  We can read off the weight function to be as claimed.
Corollary 3.6. For the mixed lattices containing the type $\left(1,...,{p}^{{r}_{3}},{p}^{{r}_{2}+{r}_{3}},{p}^{{r}_{1}+{r}_{2}+{r}_{3}}\right)$  ${r}_{3}>0$  and ${r}_{1},{r}_{2}\ge 0$  we need to consider the planes that give a different weight function only. Other planes reduce this to the two-dimensional case.
• Proof. For mixed lattices corresponding to the vectors ${\alpha }^{3}=\left(1,{a}_{34},{a}_{33},{a}_{32},{a}_{31},{a}_{30}\right)$  , ${\alpha }^{2}=\left(0,1,{a}_{23},{a}_{22},{a}_{21},{a}_{20}\right)$  , ${\alpha }^{1}=\left(0,0,1,{a}_{12},{a}_{11},{a}_{10}\right)$  the rank of matrices on the level of planes is four.
Lemma 3.7. The weight function for mixed lattices where the plane is not one of the rank four planes is
 $\begin{array}{c}\begin{array}{cccccc}{w}^{\prime }\left({\Lambda }^{\prime }\right)=& 7{r}_{3}+6{r}_{2}+5{r}_{1}-min\left\{{r}_{1},{v}_{p}\left({a}_{15}\right)\right\}& -min\left\{& {r}_{1}+{r}_{2}+{r}_{3},{v}_{p}\left({a}_{15}\right),{v}_{p}\left({a}_{25}\right)+{r}_{1},{v}_{p}\left({a}_{24}\right)+{r}_{1},& & {v}_{p}\left({a}_{35}\right)+{r}_{1}+{r}_{2},{v}_{p}\left({a}_{34}\right)+{r}_{1}+{r}_{2},{v}_{p}\left({a}_{33}\right)+{r}_{1}+{r}_{2}\right\}.\end{array}\end{array}$ (8)
• Proof. We count over lattices of elementary divisor type $\left(1,1,1,{p}^{{r}_{3}},{p}^{{r}_{2}+{r}_{3}},{p}^{{r}_{1}+{r}_{2}+{r}_{3}}\right)$  . The lattices ${\Lambda }^{\prime }$  lifting this flag are in one-to-one correspondence with the three of vectors encoded as columns of the matrix. Call the vectors ${\alpha }^{3}$  , ${\alpha }^{2}$  and ${\alpha }^{1}$  , respectively, $\left(\begin{array}{ccc}{a}_{35}& {a}_{25}& {a}_{15}\\ {a}_{34}& {a}_{24}& {a}_{14}\\ {a}_{33}& {a}_{23}& {a}_{13}\\ 1& {a}_{22}& {a}_{12}\\ 0& 1& {a}_{11}\\ 0& 0& 1\end{array}\right)$  where ${a}_{35},{a}_{34},{a}_{33}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{3}}\right)$  , ${a}_{25},{a}_{24},{a}_{23}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{2}+{r}_{3}}\right)$  , ${a}_{22}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{2}}\right)$  , ${a}_{15},{a}_{14},{a}_{13}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{1}+{r}_{2}+{r}_{3}}\right)$  , ${a}_{12}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{1}+{r}_{2}}\right)$  , ${a}_{11}\in p{\mathbb{Z}}_{p}/\left({p}^{{r}_{1}}\right).$  So what we are required to do is to solve the following congruences:
 $\begin{array}{c}\begin{array}{cccccc}\overline{\mathbf{g}}\cdot M\left({\alpha }^{3}\right)& \equiv 0\left(mod{p}^{{r}_{3}}\right)& \overline{\mathbf{g}}\cdot M\left({\alpha }^{2}\right)& \equiv 0\left(mod{p}^{{r}_{2}+{r}_{3}}\right)& \overline{\mathbf{g}}\cdot M\left({\alpha }^{1}\right)& \equiv 0\left(mod{p}^{{r}_{1}+{r}_{2}+{r}_{3}}\right)\end{array}\end{array}$ (9)
simultaneously.
With suitable local coordinate changes the conditions reduce to
 $\begin{array}{cc}\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{15}& 0& 0\\ -{a}_{15}& 0& 0& 0\\ 0& 0& 0& 1\\ 0& 0& -1& 0\\ \end{array}\right)& \equiv 0\left(mod{p}^{{r}_{1}+{r}_{2}+{r}_{3}}\right)\end{array}$
 $\begin{array}{cc}\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{25}& {a}_{24}& 0\\ 0& 0& 0& 1\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ \end{array}\right)& \equiv 0\left(mod{p}^{{r}_{2}+{r}_{3}}\right)\end{array}$
 $\begin{array}{cc}\overline{\mathbf{g}}\left(\begin{array}{cccc}0& {a}_{35}& {a}_{34}& {a}_{33}\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right)& \equiv 0\left(mod{p}^{{r}_{3}}\right)\end{array}$
 $\begin{array}{}\end{array}$
The explicit weight function for this is  $\begin{array}{c}\begin{array}{cccccc}{w}^{\prime }\left({\Lambda }^{\prime }\right)=& 7{r}_{3}+6{r}_{2}+5{r}_{1}-min\left\{{r}_{1},{v}_{p}\left({a}_{15}\right)\right\}& -min\left\{& {r}_{1}+{r}_{2}+{r}_{3},{v}_{p}\left({a}_{15}\right),{v}_{p}\left({a}_{25}\right)+{r}_{1},{v}_{p}\left({a}_{24}\right)+{r}_{1},& & {v}_{p}\left({a}_{35}\right)+{r}_{1}+{r}_{2},{v}_{p}\left({a}_{34}\right)+{r}_{1}+{r}_{2},{v}_{p}\left({a}_{33}\right)+{r}_{1}+{r}_{2}\right\}.\end{array}\end{array}$ (10)
Other types of mixed lattices containing ${r}_{3}$  are obtained by putting either of ${r}_{1}$  or ${r}_{2}$  equal to zero in the formula above.

4 Generating functions

Recall from ( 3 ) that the zeta function takes the shape
 $\begin{array}{c}{\zeta }_{{F}_{2,4}}^{◃}\left(s\right)={\zeta }_{{\mathbb{Z}}^{4},p}\left(s\right){\zeta }_{p}\left(10s-24\right)\cdot A\left(p,{p}^{-s}\right).\end{array}$ (11)
We can decompose the generating function $A\left(p,{p}^{-s}\right)$  further to run over lattices of fixed type, and write it as
 $\begin{array}{c}A\left(p,{p}^{-s}\right)={\sum }_{I\subseteq \left\{1,...,{d}^{\prime }-1\right\}}{A}_{I}\left(p,{p}^{-s}\right)\end{array}$ (12)
where
 $\begin{array}{c}{A}_{I}\left(p,{p}^{-s}\right)={\sum }_{\nu \left({\Lambda }^{\prime }\right)=I}{p}^{dw\left({\Lambda }^{\prime }\right)-s{w}^{\prime }\left({\Lambda }^{\prime }\right)}\mu \left({\Lambda }^{\prime }\right),\end{array}$ (13)
${\Lambda }^{\prime }$  is a representative lattice of type $I$  , and $\mu \left({\Lambda }^{\prime }\right)$  is its multiplicity.
However, the above is still not the optimal way to decompose things; we somehow need to involve the dependence on the geometric pieces which give a different weight function. A more subtle decomposition is needed.
Let us denote by $\left\{{i}^{*}\right\}$  , $i=1,2,3$  those lattices of type $\left\{i\right\}$  that lift a given $i-1$  -dimensional linear subspace of the projective space ${\mathbb{P}}^{5}$  that lies on the Pfaffian and accordingly by ${A}_{{i}^{*}}$  the generating function counting along these lattices. Similarly for mixed lattices. For instance, we have the lattices $\left\{{1}^{*},{2}^{*}\right\}$  which lift a flag of type ${\mathcal{ℱ}}_{1,2}$  consisting of a line containing a point on the Pfaffian, and ${A}_{{1}^{*},{2}^{*}}$  for the corresponding generating function. In short, ${A}_{I}$  denotes the generating function along lattices of type $I$  and the extra stars on elements $I$  just tell if this part of the lattice has lifted a flag variety that lies on the Pfaffian hypersurface.

4.1 Indexing

The indexing in this case has to be done carefully in order to take all the possibilities into account and we shall use the indexing set $I\subset \left\{1,2,3,4,5,{1}^{*},{2}^{*},{3}^{*}\right\}$  , such that if $i\in I$  then ${i}^{*}\notin I$  and if ${j}^{*}\in I$  then $k\notin I$  when $k\le j.$  Now the generating function $A\left(p,{p}^{-s}\right)$  can be split into parts
 $\begin{array}{cc}A\left(p,{p}^{-s}\right)& ={\sum }_{I\subseteq \left\{1,...,5\right\}}{c}_{I,p}{A}_{I}\left(p,{p}^{-s}\right)+{\sum }_{I={1}^{*}\cup {J}_{2}{J}_{2}\subseteq \left\{2,...,5\right\}}{c}_{I,p}{A}_{I}\left(p,{p}^{-s}\right)+{\sum }_{I={J}_{1}\cup {2}^{*}\cup {J}_{2}{J}_{1}\subseteq \left\{{1}^{*}\right\}{J}_{2}\subseteq \left\{3,4,5\right\}}{c}_{I,p}{A}_{I}\left(p,{p}^{-s}\right)\end{array}$
 $\begin{array}{cc}& +{\sum }_{I={J}_{1}\cup {3}^{*}\cup {J}_{2}{J}_{1}\subseteq \left\{{1}^{*},{2}^{*}\right\}{J}_{2}\subseteq \left\{4,5\right\}}{c}_{I,p}{A}_{I}\left(p,{p}^{-s}\right),\end{array}$ (14)
 $\begin{array}{}\end{array}$
where ${A}_{I}\left(p,{p}^{-s}\right)$  are as in ( 13 ) and ${c}_{I,p}$  are coefficients depending on the type of lattice and number of ${\mathbb{F}}_{p}$  -points on certain varieties, and can be explicitly written down as polynomials in $p$  .
In order to write down the coefficients ${c}_{I,p}$  we need some definitions.
Let ${\mathfrak{n}}_{i}\left(p\right)$  be the number of ${\mathbb{F}}_{p}$  -rational points of the Fano varieties of $\left(i-1\right)$  -dimensional subspaces on the Pfaffian hypersurface. In the case of planes, however, we need to take the number of planes on the ruling that gave the different weight function. Explicitly
 $\begin{array}{cc}{\mathfrak{n}}_{1}\left(p\right)& =\left({p}^{2}+1\right)\left({p}^{2}+p+1\right),\end{array}$
 $\begin{array}{cc}{\mathfrak{n}}_{2}\left(p\right)& =\left(p+1\right)\left({p}^{2}+1\right)\left({p}^{2}+p+1\right),\end{array}$
 $\begin{array}{cc}{\mathfrak{n}}_{3}\left(p\right)& =\left({p}^{2}+1\right)\left(p+1\right).\end{array}$
 $\begin{array}{}\end{array}$
So in this example we have ${\mathfrak{n}}_{3}\left(p\right)=\left({p}^{2}+1\right)\left(p+1\right)$  but really there are ${\mathfrak{P}}_{3}\left(p\right)=2\left({p}^{2}+1\right)\left(p+1\right)$  ${\mathbb{F}}_{p}$  -points on the Fano variety of planes on a quadric four-fold.
Now we can explicitly describe the coefficients ${c}_{I,p}$  appearing in the generating function. Let us denote by ${b}_{I}\left(p\right)$  the number of points on the flag variety defined by lattices of type $I$  . We also write $I-k$  to mean the type of lattice we get if we subtract from each index $i\in I$  , the number $k$  , so if $I=\left\{4,5,6\right\}$  then $I-3=\left\{1,2,3\right\}$  . With this notation we have 1) If $I\subseteq \left\{1,...,5\right\}$  and $I=\left\{{i}_{1},...,{i}_{n}\right\}$  , then
 $\begin{array}{cc}{c}_{I,p}& =\left(\genfrac{}{}{0}{}{6-{i}_{1}-\cdot \cdot \cdot -{i}_{n-1}}{{i}_{n-1}-{i}_{n}}{\right)}_{p}...\left(\genfrac{}{}{0}{}{6-{i}_{1}}{{i}_{1}-{i}_{2}}{\right)}_{p}\left(\left(\genfrac{}{}{0}{}{6}{{i}_{1}}{\right)}_{p}-{\mathfrak{n}}_{{i}_{1}}\left(p\right)\right)\end{array}$
 $\begin{array}{cc}& ={b}_{I}\left(p\right)-{b}_{I-{i}_{1}}\left(p\right){\mathfrak{n}}_{{i}_{1}}\left(p\right).\end{array}$
 $\begin{array}{}\end{array}$
2) If $I=\left\{{i}_{1},...,{i}_{n},{k}^{*},{j}_{1},...,{j}_{r}\right\}$  , then
 $\begin{array}{cc}{c}_{I,p}& =\left(\genfrac{}{}{0}{}{6-k-\cdot \cdot \cdot -{j}_{r-1}}{{j}_{r}-{j}_{r-1}}{\right)}_{p}...\left(\genfrac{}{}{0}{}{6-k-{j}_{1}}{{j}_{2}-{j}_{1}}{\right)}_{p}\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left(\left(\genfrac{}{}{0}{}{6-k}{k-{j}_{1}}{\right)}_{p}{\mathfrak{n}}_{k}\left(p\right)\left(\genfrac{}{}{0}{}{k-{i}_{1}\cdot \cdot \cdot -{i}_{n}}{{i}_{n}-{i}_{n-1}}{\right)}_{p}...\left(\genfrac{}{}{0}{}{k}{{i}_{1}}{\right)}_{p}-{\mathfrak{n}}_{{j}_{1}}\left(p\right)\left(\genfrac{}{}{0}{}{{j}_{1}-{i}_{1}-...{i}_{n}}{k-{i}_{n}}{\right)}_{p}...\left(\genfrac{}{}{0}{}{{j}_{1}}{{i}_{1}}{\right)}_{p}\right)\end{array}$
 $\begin{array}{cc}& ={b}_{{J}_{2}-k}\left(p\right){\mathfrak{n}}_{k}\left(p\right){b}_{{J}_{1}}\left(p\right)-{b}_{{J}_{2}-\left(k-{j}_{1}\right)}\left(p\right){\mathfrak{n}}_{k+1}\left(p\right){b}_{{J}_{1}\cup k}\left(p\right).\end{array}$
 $\begin{array}{}\end{array}$
To see exactly where in the zeta function we have the dependence on the ${\mathbb{F}}_{p}$  -points of a Fano variety, let us now rearrange ( 14 ) into the form
 $\begin{array}{c}A\left(p,{p}^{-s}\right)={W}_{0}\left(p,{p}^{-s}\right)+{\mathfrak{n}}_{1}\left(p\right){W}_{1}\left(p,{p}^{-s}\right)+{\mathfrak{n}}_{2}\left(p\right){W}_{2}\left(p,{p}^{-s}\right)+{\mathfrak{n}}_{3}\left(p\right){W}_{3}\left(p,{p}^{-s}\right).\end{array}$ (15)
From the formulae for the coefficients ${c}_{I,p}$  we see that the only ${c}_{I,p}$  that don’t depend on any of the ${\mathfrak{n}}_{i}\left(p\right)$  come from the first summand, and so we get
 $\begin{array}{c}{W}_{0}\left(p,{p}^{-s}\right)={\sum }_{I\subseteq \left\{1,...,5\right\}}{b}_{I}\left(p\right){A}_{I}\left(p,{p}^{-s}\right).\end{array}$ (16)
We also observe that ${\mathfrak{n}}_{1}\left(p\right)$  appears only in the first two summands in ( 14 ) and thus
 $\begin{array}{cc}{W}_{1}\left(p,{p}^{-s}\right)& ={\sum }_{I={1}^{*}\cup {J}_{2}{J}_{2}\subseteq \left\{2,...,5\right\}}{b}_{I-1}\left(p\right){A}_{I}\left(p,{p}^{-s}\right)-{\sum }_{I=1\cup {J}_{2}{J}_{2}\subseteq \left\{2,...,5\right\}}{b}_{I-1}\left(p\right){A}_{I}\left(p,{p}^{-s}\right)\end{array}$
 $\begin{array}{cc}& ={\sum }_{I\subseteq \left\{2,...,5\right\}}{b}_{I-1}\left(p\right)\left({A}_{{1}^{*}\cup I}\left(p,{p}^{-s}\right)-{A}_{1\cup I}\left(p,{p}^{-s}\right)\right).\end{array}$
 $\begin{array}{}\end{array}$
Similarly we extract the dependence on ${\mathfrak{n}}_{2}\left(p\right)$  and notice that it appears only in the first two summands of ( 14 )
 $\begin{array}{cc}{W}_{2}\left(p,{p}^{-s}\right)& ={\sum }_{I={J}_{1}\cup {2}^{*}\cup {J}_{2}{J}_{1}\subseteq \left\{{1}^{*}\right\}{J}_{2}\subseteq \left\{3,4,5\right\}}{b}_{{J}_{2}-2}\left(p\right){b}_{{J}_{1}}\left(p\right){A}_{I}\left(p,{p}^{-s}\right)-{\sum }_{I={J}_{1}\cup 2\cup {J}_{2}{J}_{1}\subseteq \left\{{1}^{*}\right\}{J}_{2}\subseteq \left\{3,4,5\right\}}{b}_{{J}_{2}-2}\left(p\right){b}_{{J}_{1}}\left(p\right){A}_{I}\left(p,{p}^{-s}\right)\end{array}$
 $\begin{array}{cc}& ={\sum }_{{J}_{1}\subseteq \left\{{1}^{*}\right\}{J}_{2}\subseteq \left\{3,4,5\right\}}{b}_{{J}_{2}-2}\left(p\right){b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {2}^{*}\cup {J}_{2}}\left(p,{p}^{-s}\right)-{A}_{{J}_{1}\cup 2\cup {J}_{2}}\left(p,{p}^{-s}\right)\right)\end{array}$
 $\begin{array}{}\end{array}$
And finally we do the same for ${\mathfrak{n}}_{3}\left(p\right)$  and get
 $\begin{array}{cc}{W}_{3}\left(p,{p}^{-s}\right)& ={\sum }_{I={J}_{1}\cup {3}^{*}\cup {J}_{2}{J}_{1}\subseteq \left\{{1}^{*},{2}^{*}\right\}{J}_{2}\subseteq \left\{4,5\right\}}{b}_{{J}_{2}-3}\left(p\right){b}_{{J}_{1}}\left(p\right){A}_{I}\left(p,{p}^{-s}\right)-{\sum }_{I={J}_{1}\cup 3\cup {J}_{2}{J}_{1}\subseteq \left\{{1}^{*},{2}^{*}\right\}{J}_{2}\subseteq \left\{4,5\right\}}{b}_{{J}_{2}-3}\left(p\right){b}_{{J}_{1}}\left(p\right){A}_{I}\left(p,{p}^{-s}\right)\end{array}$
 $\begin{array}{cc}& ={\sum }_{{J}_{1}\subseteq \left\{{1}^{*},{2}^{*}\right\}{J}_{2}\subseteq \left\{4,5\right\}}{b}_{{J}_{2}-3}\left(p\right){b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {3}^{*}\cup {J}_{2}}\left(p,{p}^{-s}\right)-{A}_{{J}_{1}\cup 3\cup {J}_{2}}\left(p,{p}^{-s}\right)\right)\end{array}$
 $\begin{array}{}\end{array}$

4.2 Igusa factors

We observe the factor ${I}_{n}\left(\mathbf{U}\right)$  appearing frequently in the formulae. In this section we see that it is a natural part of the zeta functions.
Definition 4.1. In an expression of the form ${W}_{i}\left(X,Y\right)={I}_{{d}^{\prime }-i-1}\left({X}_{{d}^{\prime }-1},...,{X}_{i+1}\right){E}_{i}\left({X}_{i},{Y}_{i}\right){I}_{i-1}\left({Y}_{i-1},...,{Y}_{1}\right)$  we shall call the factor ${I}_{{d}^{\prime }-i-1}\left(\mathbf{X}\right)$  the upper Igusa factor and the factor ${I}_{i-1}\left(\mathbf{Y}\right)$  the lower Igusa factor.
Some of Voll’s work has concerned the Igusa factor, for instance his formula for the normal zeta function of the so-called Grenham groups in [13is completely of this form. There he also observed the existence of the upper Igusa factor in the formula of ${W}_{1}\left(p,{p}^{-s}\right)$  . The existence of the lower Igusa factor is recorded here publicly for the first time. However, it did appear in the calculation of the Segre example [11where the Pfaffian hypersurface was the Segre surface.
Let us now start to calculate and determine where these factors come from.
For completeness we shall calculate ${W}_{0}\left(p,{p}^{-s}\right)$  here again, and in this context using the $\mu$  -function.
Lemma 4.2 (Voll).
 $\begin{array}{c}{W}_{0}\left(p,{p}^{-s}\right)={\sum }_{I\subseteq \left\{1,...,5\right\}}{b}_{I}\left(p\right){A}_{I}\left(p,{p}^{-s}\right)={\sum }_{I\subseteq \left\{1,...,5\right\}}{b}_{I}\left({p}^{-1}\right){\prod }_{i\in I}\frac{{X}_{i}}{1-{X}_{i}},\end{array}$ (17)
where ${X}_{i}={p}^{i\left(10-i\right)-\left(4+i\right)s}$  for $i=1,...,5.$
• Proof. Using the lemma  2.7 we can write
 $\begin{array}{cc}& {\sum }_{I\subseteq \left\{1,...,5\right\}}{b}_{I}\left(p\right){A}_{I}\left(p,{p}^{-s}\right)\end{array}$
 $\begin{array}{cc}& ={\sum }_{I\subseteq \left\{1,...,5\right\}}{b}_{I}\left(p\right){\prod }_{i\in I}{\sum }_{{r}_{i}=1}^{\infty }{p}^{4i{r}_{i}-\left(4+i\right){r}_{i}s}{p}^{-dim{\mathcal{ℱ}}_{I}}{p}^{{\sum }_{i\in I}\left(6-i\right)i{r}_{i}}\end{array}$
 $\begin{array}{cc}& ={\sum }_{I\subseteq \left\{1,...,5\right\}}{b}_{I}\left({p}^{-1}\right){\prod }_{i\in I}{\sum }_{{r}_{i}=1}^{\infty }{p}^{i\left(10-i\right){r}_{i}-\left(4+i\right){r}_{i}s}\end{array}$
 $\begin{array}{cc}& ={\sum }_{I\subseteq \left\{1,...,5\right\}}{b}_{I}\left({p}^{-1}\right){\prod }_{i\in I}\frac{{p}^{i\left(10-i\right)-\left(4+i\right)s}}{1-{p}^{i\left(10-i\right)-\left(4+i\right)s}}.\end{array}$
 $\begin{array}{}\end{array}$

4.3 Extracting the upper Igusa factor

For simplicity of notation we shall ignore the variables $p$  and ${p}^{-s}$  from the generating functions and use only ${A}_{I}$  to denote ${A}_{I}\left(p,{p}^{-s}\right).$  We shall also from now on forget the $p-$  adic valuations ${v}_{p}\left({a}_{ij}\right)$  in the $min$  -expressions and will write, for example, $min\left\{{r}_{1},{a}_{15}\right\}$  instead of $min\left\{{r}_{1},{v}_{p}\left({a}_{15}\right)\right\}.$  We can first simplify our formulae by summing out most of the variables.
We do this in the next two lemmas.
Lemma 4.3.
 $\begin{array}{c}\left({A}_{{J}_{1}\cup {i}^{*}\cup {J}_{2}}-{A}_{{J}_{1}\cup i\cup {J}_{2}}\right)={p}^{-dim{\mathcal{ℱ}}_{{J}_{2}-i}}{\stackrel{~}{A}}_{{J}_{2}}\cdot \left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right),\end{array}$ (18)
where ${\stackrel{~}{A}}_{{J}_{2}}={\prod }_{{j}_{2}\in {J}_{2}}\frac{{X}_{{j}_{2}}}{1-{X}_{{j}_{2}}}$  and ${X}_{{j}_{2}}={p}^{\left(10-{j}_{2}\right){j}_{2}-s\left(4+{j}_{2}\right)}$  as before.
• Proof.
 $\begin{array}{cc}& \left({A}_{{J}_{1}\cup {i}^{*}\cup {J}_{2}}-{A}_{{J}_{1}\cup i\cup {J}_{2}}\right)={\prod }_{{j}_{2}\in {J}_{2}}{\sum }_{{r}_{{j}_{2}}=1}^{\infty }{p}^{4{j}_{2}{r}_{{j}_{2}}-s\left(4+{j}_{2}\right){r}_{{j}_{2}}}{\sum }_{{r}_{i}=1}^{\infty }{p}^{4i{r}_{i}-s\left(4+i\right){r}_{i}}\cdot \end{array}$
 $\begin{array}{cc}& \cdot {\prod }_{{j}_{1}\in {J}_{1}}{\sum }_{{r}_{{j}_{1}}=1}^{\infty }{p}^{4{j}_{1}{r}_{{j}_{1}}-s\left(4+{j}_{1}\right){r}_{{j}_{1}}}{\prod }_{i,j\in {J}_{1}\cup i\cup {J}_{2}j\le i}{\sum }_{{a}_{ij}=1}^{{\sum }_{k=i}^{j}{r}_{k}}\mu \left({\sum }_{k=i}^{j}{r}_{k},{a}_{ij}\right)\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left({p}^{smin\left\{{\sum }_{{j}_{1}\in {J}_{1}}{r}_{{j}_{1}}+{r}_{i},{a}_{ij}+{r}_{1}+\cdot \cdot \cdot +{r}_{i-1}\right\}}-{p}^{smin\left\{{\sum }_{{j}_{1}\in {J}_{1}}{r}_{{j}_{1}},{a}_{ij}+{r}_{1}+\cdot \cdot \cdot +{r}_{i-2}\right\}}\right).\end{array}$
 $\begin{array}{}\end{array}$
We can now sum up all those $\mu$  -functions that depend only on ${r}_{{j}_{2}}$  and from those we get ${p}^{-dim{\mathcal{ℱ}}_{{J}_{2}-i}}{p}^{{\sum }_{{j}_{2}\in {J}_{2}}\left(6-{j}_{2}-i\right){j}_{2}{r}_{{j}_{2}}}$  . Moreover we can use the property of $\mu$  that ${\sum }_{{a}_{ij}=1}^{{r}_{i}+\cdot \cdot \cdot +{r}_{j}}\mu \left({r}_{i}+\cdot \cdot \cdot +{r}_{j},{a}_{ij}\right)={p}^{{r}_{k}+\cdot \cdot \cdot +{r}_{j}}{\sum }_{{a}_{ij}=1}^{{r}_{i}+\cdot \cdot \cdot +{r}_{k-1}}\mu \left({r}_{i}+\cdot \cdot \cdot +{r}_{k-1},{a}_{ij}\right)$  to extract the ${r}_{{j}_{2}}$  from the $\mu$  -part as well, as these don’t appear in the $min$  -expressions. Then we get ${p}^{{\sum }_{{j}_{2}\in {J}_{2}}i{j}_{2}{r}_{{j}_{2}}}$  out of the $\mu$  ’s.
In conclusion, we have extracted ${p}^{-dim{\mathcal{ℱ}}_{{J}_{2}-i}}{p}^{{\sum }_{{j}_{2}\in {J}_{2}}\left(6-{j}_{2}\right){j}_{2}{r}_{{j}_{2}}},$  and we can rewrite
 $\begin{array}{cc}\left({A}_{{J}_{1}\cup {i}^{*}\cup {J}_{2}}-{A}_{{J}_{1}\cup i\cup {J}_{2}}\right)& ={\prod }_{{j}_{2}\in {J}_{2}}{\sum }_{{r}_{{j}_{2}}=1}^{\infty }{p}^{4{j}_{2}{r}_{{j}_{2}}-s\left(4+{j}_{2}\right){r}_{{j}_{2}}}{p}^{-dim{\mathcal{ℱ}}_{{J}_{2}-i}}{p}^{{\sum }_{{j}_{2}\in {J}_{2}}\left(6-{j}_{2}\right){j}_{2}{r}_{{j}_{2}}}\left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right)\end{array}$
 $\begin{array}{cc}& ={p}^{-dim{\mathcal{ℱ}}_{{J}_{2}-i}}{\prod }_{{j}_{2}\in {J}_{2}}{\sum }_{{r}_{{j}_{2}}=1}^{\infty }{p}^{\left(10-{j}_{2}\right){r}_{{j}_{2}}-s\left(4+{j}_{2}\right){r}_{{j}_{2}}}\left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right)\end{array}$
 $\begin{array}{cc}& ={p}^{-dim{\mathcal{ℱ}}_{{J}_{2}-i}}{\stackrel{~}{A}}_{{J}_{2}}\cdot \left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right)\end{array}$
 $\begin{array}{}\end{array}$
Lemma 4.4.
 $\begin{array}{cc}{W}_{i}& ={\sum }_{{J}_{1}\subseteq \left\{{1}^{*},...,i-{1}^{*}\right\}{J}_{2}\subseteq \left\{i+1,...,5\right\}}{b}_{{J}_{2}-i}\left(p\right){b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {i}^{*}\cup {J}_{2}}-{A}_{{J}_{1}\cup i\cup {J}_{2}}\right)\end{array}$
 $\begin{array}{cc}& ={I}_{5-i}\left({X}_{i+1},...,{X}_{5}\right)\cdot {\sum }_{{J}_{1}\subseteq \left\{{1}^{*},...,i-{1}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right)\end{array}$
 $\begin{array}{}\end{array}$
with the poles ${X}_{k}={p}^{k\left(10-k\right)-\left(4+k\right)s}$  for $k=i+1,...,5.$
• Proof.
 $\begin{array}{cc}{W}_{i}& ={\sum }_{{J}_{1}\subseteq \left\{{1}^{*},...,i-{1}^{*}\right\}{J}_{2}\subseteq \left\{i+1,...,5\right\}}{b}_{{J}_{2}-i}\left(p\right){b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {i}^{*}\cup {J}_{2}}-{A}_{{J}_{1}\cup i\cup {J}_{2}}\right)\end{array}$
 $\begin{array}{cc}& ={\sum }_{{J}_{1}\subseteq \left\{{1}^{*},...,i-{1}^{*}\right\}{J}_{2}\subseteq \left\{i+1,...,5\right\}}{b}_{{J}_{2}-i}\left(p\right){b}_{{J}_{1}}\left(p\right){p}^{-dim{\mathcal{ℱ}}_{{J}_{2}-i}}{A}_{{J}_{2}}\cdot \left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right)\end{array}$
 $\begin{array}{cc}& ={\sum }_{{J}_{2}\subseteq \left\{i+1,...,5\right\}}{\sum }_{{J}_{1}\subseteq \left\{{1}^{*},...,i-{1}^{*}\right\}}{b}_{{J}_{2}-i}\left({p}^{-1}\right){b}_{{J}_{1}}\left(p\right){A}_{{J}_{2}}\cdot \left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right)\end{array}$
 $\begin{array}{cc}& ={\sum }_{{J}_{2}\subseteq \left\{i+1,...,5\right\}}{b}_{{J}_{2}-i}\left({p}^{-1}\right){A}_{{J}_{2}}{\sum }_{{J}_{1}\subseteq \left\{{1}^{*},...,i-{1}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right)\end{array}$
 $\begin{array}{cc}& ={I}_{5-i}\left({X}_{i+1},...,{X}_{5}\right)\cdot {\sum }_{{J}_{1}\subseteq \left\{{1}^{*},...,i-{1}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right).\end{array}$
 $\begin{array}{}\end{array}$
Corollary 4.5. Using the above lemma we can write the rational functions
 $\begin{array}{cc}{W}_{0}\left(p,{p}^{-s}\right)& ={\sum }_{I\subseteq \left\{1,...,5\right\}}{b}_{I}\left({p}^{-1}\right){\prod }_{i\in I}\frac{{X}_{i}}{1-{X}_{i}}={I}_{5}\left({X}_{1},...,{X}_{5}\right).\end{array}$
 $\begin{array}{cc}{W}_{1}\left(p,{p}^{-s}\right)& ={I}_{4}\left({X}_{2},...,{X}_{5}\right)\cdot \left({A}_{{1}^{*}}-{A}_{1}\right)\end{array}$
 $\begin{array}{cc}{W}_{2}\left(p,{p}^{-s}\right)& ={I}_{3}\left({X}_{3},{X}_{4},{X}_{5}\right)\cdot {\sum }_{{J}_{1}\subseteq \left\{{1}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {2}^{*}}-{A}_{{J}_{1}\cup 2}\right)\end{array}$
 $\begin{array}{cc}{W}_{3}\left(p,{p}^{-s}\right)& ={I}_{2}\left({X}_{4},{X}_{5}\right)\cdot {\sum }_{{J}_{1}\subseteq \left\{{1}^{*},{2}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {3}^{*}}-{A}_{{J}_{1}\cup 3}\right),\end{array}$
 $\begin{array}{}\end{array}$
where ${X}_{i}={p}^{\left(10-i\right)i-\left(4+i\right)s}$  for $i=1,...,5.$
Thus it is enough to consider the sums ${\sum }_{{J}_{1}\subseteq \left\{{1}^{*},...,i-{1}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {i}^{*}}-{A}_{{J}_{1}\cup i}\right),$  and that is what we shall do in the next section.

4.4 The lower Igusa factor

From the corollary  4.5 we recall the form of ${W}_{2}\left(p,{p}^{-s}\right)$  as
 $\begin{array}{c}{W}_{2}\left(p,{p}^{-s}\right)={I}_{3}\left({X}_{3},{X}_{4},{X}_{5}\right)\cdot {\sum }_{{J}_{1}\subseteq \left\{{1}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {2}^{*}}-{A}_{{J}_{1}\cup 2}\right)\end{array}$ (19)
Here we need to calculate two terms, namely $\left({A}_{{2}^{*}}-{A}_{2}\right)$  and $\left({A}_{{1}^{*},{2}^{*}}-{A}_{{1}^{*},2}\right)$  .
We shall start with the latter. This example demonstrates very well the general idea and isn’t too hard to do explicitly.
Lemma 4.6.
 $\begin{array}{c}\left({A}_{{1}^{*},{2}^{*}}-{A}_{{1}^{*},2}\right)={p}^{-dim{\mathcal{ℱ}}_{\left\{1\right\}}}\frac{{Y}_{1}}{1-{Y}_{1}}\left({A}_{{2}^{*}}-{A}_{2}\right),\end{array}$ (20)
where ${Y}_{1}={p}^{8-3s}$  .
Corollary 4.7. ${\sum }_{{J}_{1}\subseteq \left\{{1}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {2}^{*}}-{A}_{{J}_{1}\cup 2}\right)={I}_{1}\left({Y}_{1}\right)\left({A}_{{2}^{*}}-{A}_{2}\right).$
• Proof. (Proof of corollary  4.7 )
 $\begin{array}{cc}{\sum }_{{J}_{1}\subseteq \left\{{1}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {2}^{*}}-{A}_{{J}_{1}\cup 2}\right)& =\left(1+{b}_{1}\left(p\right){p}^{-1}\frac{{Y}_{1}}{1-{Y}_{1}}\right)\left({A}_{{2}^{*}}-{A}_{2}\right)\end{array}$
 $\begin{array}{cc}& ={I}_{1}\left({Y}_{1}\right)\left({A}_{{2}^{*}}-{A}_{2}\right)\end{array}$
 $\begin{array}{}\end{array}$
by definition of the Igusa factor.
So we have proved that ${W}_{2}\left(p,{p}^{-s}\right)$  is of the form claimed. It is left to prove the lemma. This is the first example of a process I call extracting the lower Igusa factor.
• Proof. (Proof of lemma  4.6 ) For simplicity, let us write $T:={p}^{-s}$  .
 $\begin{array}{cc}{A}_{{1}^{*},{2}^{*}}-{A}_{{1}^{*},2}=& {\sum }_{{r}_{2}=1}^{\infty }{p}^{8{r}_{2}}{T}^{6{r}_{2}}{\sum }_{{r}_{1}=1}^{\infty }{p}^{4{r}_{1}}{T}^{5{r}_{1}}{\sum }_{{a}_{15},{a}_{14},{a}_{13},{a}_{12}=1}^{{r}_{1}+{r}_{2}}\mu \left({r}_{1}+{r}_{2};{a}_{15},{a}_{14},{a}_{13},{a}_{12}\right)\end{array}$
 $\begin{array}{cc}& {\sum }_{{a}_{11}=1}^{{r}_{1}}\mu \left({r}_{1},{a}_{11}\right){\sum }_{{a}_{25},{a}_{24},{a}_{23},{a}_{22}=1}^{{r}_{2}}\mu \left({r}_{2};{a}_{25},{a}_{24},{a}_{23},{a}_{22}\right)\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left({T}^{-min\left\{{r}_{1},{a}_{15}\right\}-min\left\{{r}_{1}+{r}_{2},{a}_{15},{a}_{25}+{r}_{1},{a}_{24}+{r}_{1}\right\}}-{T}^{-2min\left\{{r}_{1},{a}_{15}\right\}}\right).\end{array}$
 $\begin{array}{}\end{array}$
First we can see that some variables are independent and can be summed separately. We shall write ${\sum }_{{a}_{11}=1}^{{r}_{1}}\mu \left({r}_{1},{a}_{11}\right)={p}^{{r}_{1}-1}$  and more importantly ${\sum }_{{a}_{15},{a}_{14},{a}_{13},{a}_{12}=1}^{{r}_{1}+{r}_{2}}\mu \left({r}_{1}+{r}_{2};{a}_{15},{a}_{14},{a}_{13},{a}_{12}\right)={p}^{3{r}_{1}}{\sum }_{{a}_{14},{a}_{13},{a}_{12}=1}^{{r}_{2}}\mu \left({r}_{2};{a}_{14},{a}_{13},{a}_{12}\right){\sum }_{{a}_{15}=1}^{{r}_{1}+{r}_{2}}\mu \left({r}_{1}+{r}_{2},{a}_{15}\right).$  Denoting $\mathbf{a}=\left({a}_{14},{a}_{13},{a}_{12},{a}_{25},{a}_{24},{a}_{23},{a}_{22}\right)$  and inserting the above two simplifications we can write our summations as
 $\begin{array}{cc}{A}_{{1}^{*},{2}^{*}}-{A}_{{1}^{*},2}=& {p}^{-1}{\sum }_{{r}_{2}=1}^{\infty }{p}^{4{r}_{2}}{T}^{6{r}_{2}}{\sum }_{\mathbf{a}=1}^{{r}_{2}}\mu \left({r}_{2};\mathbf{a}\right){\sum }_{{r}_{1}=1}^{\infty }{p}^{8{r}_{1}}{T}^{5{r}_{1}}{\sum }_{{a}_{15}=1}^{{r}_{1}+{r}_{2}}\mu \left({r}_{1}+{r}_{2},{a}_{15}\right)\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left({T}^{-min\left\{{r}_{1},{a}_{15}\right\}-min\left\{{r}_{1}+{r}_{2},{a}_{15},{a}_{25}+{r}_{1},{a}_{24}+{r}_{1}\right\}}-{T}^{-2min\left\{{r}_{1},{a}_{15}\right\}}\right).\end{array}$
 $\begin{array}{}\end{array}$
Write
 $\begin{array}{cc}B\left({r}_{2}\right)& ={\sum }_{{r}_{1}=1}^{\infty }{p}^{8{r}_{1}}{T}^{5{r}_{1}}{\sum }_{{a}_{15}=1}^{{r}_{1}+{r}_{2}}\mu \left({r}_{1}+{r}_{2},{a}_{15}\right)\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left({T}^{-min\left\{{r}_{1},{a}_{15}\right\}-min\left\{{r}_{1}+{r}_{2},{a}_{15},{a}_{25}+{r}_{1},{a}_{24}+{r}_{1}\right\}}-{T}^{-2min\left\{{r}_{1},{a}_{15}\right\}}\right)\end{array}$
 $\begin{array}{}\end{array}$
and start to decompose this according ${r}_{1}=1$  and ${r}_{1}\ge 2$  , in the latter case change the variable ${r}_{1}^{\prime }=1+{r}_{1}$  :
 $\begin{array}{cc}B\left({r}_{2}\right)& ={p}^{8}{T}^{5}{\sum }_{{a}_{15}=1}^{1+{r}_{2}}\mu \left(1+{r}_{2},{a}_{15}\right)\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left({T}^{-1-min\left\{1+{r}_{2},{a}_{15},{a}_{25}+1,{a}_{24}+1\right\}}-{T}^{-2min\left\{1,{a}_{15}\right\}}\right)\end{array}$
 $\begin{array}{cc}& +{p}^{8}{T}^{5}{\sum }_{{r}_{1}^{\prime }=1}^{\infty }{p}^{8{r}_{1}}{T}^{5{r}_{1}}{\sum }_{{a}_{15}=1}^{1+{r}_{1}^{\prime }+{r}_{2}}\mu \left(1+{r}_{1}^{\prime }+{r}_{2},{a}_{15}\right)\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left({T}^{-min\left\{1+{r}_{1}^{\prime },{a}_{15}\right\}-min\left\{1+{r}_{1}^{\prime }+{r}_{2},{a}_{15},{a}_{25}+{r}_{1}^{\prime }+1,{a}_{24}+{r}_{1}^{\prime }+1\right\}}-{T}^{-2min\left\{1+{r}_{1}^{\prime },{a}_{15}\right\}}\right).\end{array}$
 $\begin{array}{}\end{array}$
Now if ${a}_{15}=1$  all the $min$  -expressions will take value $1$  and so the subtraction will cancel all these parts. Thus we can assume that ${a}_{15}\ge 2$  .
Moreover, we can change the range of summation ${\sum }_{{a}_{15}=2}^{1+{r}_{1}^{\prime }}\mu \left(1+{r}_{1}^{\prime },{a}_{15}\right)={\sum }_{{a}_{15}=1}^{{r}_{1}^{\prime }}\mu \left({r}_{1}^{\prime },{a}_{15}\right)$  and note that $min\left\{1+{r}_{1}^{\prime },1+{a}_{15}\right\}=1+min\left\{{r}_{1}^{\prime },{a}_{15}\right\}$  . Now we can write the summations in the form
 $\begin{array}{cc}B\left({r}_{2}\right)& ={p}^{8}{T}^{3}{\sum }_{{a}_{15}=1}^{{r}_{2}}\mu \left({r}_{2},{a}_{15}\right)\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left({T}^{-min\left\{{r}_{2},{a}_{15},{a}_{25},{a}_{24}\right\}}-1\right)\end{array}$
 $\begin{array}{cc}& +{p}^{8}{T}^{3}{\sum }_{{r}_{1}^{\prime }=1}^{\infty }{p}^{8{r}_{1}}{T}^{5{r}_{1}}{\sum }_{{a}_{15}=1}^{{r}_{1}^{\prime }+{r}_{2}}\mu \left({r}_{1}^{\prime }+{r}_{2},{a}_{15}\right)\cdot \end{array}$
 $\begin{array}{cc}& \cdot \left({T}^{-min\left\{{r}_{1}^{\prime },{a}_{15}\right\}-min\left\{{r}_{1}^{\prime }+{r}_{2},{a}_{15},{a}_{25}+{r}_{1}^{\prime },{a}_{24}+{r}_{1}^{\prime }\right\}}-{T}^{-2min\left\{{r}_{1}^{\prime },{a}_{15}\right\}}\right).\end{array}$
 $\begin{array}{}\end{array}$
Inserting this back to ${A}_{{1}^{*},{2}^{*}}-{A}_{{1}^{*},2}$  we obtain that  $\begin{array}{c}\left(1-{p}^{8}{T}^{3}\right)\left({A}_{{1}^{*},{2}^{*}}-{A}_{{1}^{*},2}\right)={p}^{-1}{p}^{8}{T}^{3}\left({A}_{{2}^{*}}-{A}_{2}\right),\end{array}$ (21)
and thus $\left({A}_{{1}^{*},{2}^{*}}-{A}_{{1}^{*},2}\right)={p}^{-1}\frac{{Y}_{1}}{1-{Y}_{1}}\left({A}_{{2}^{*}}-{A}_{2}\right)$  where ${Y}_{1}={p}^{8}{T}^{3}$  as claimed.
Calculating ${W}_{3}\left(p,{p}^{-s}\right)$  is very similar to ${W}_{2}\left(p,{p}^{-s}\right)$  . We just have some more summands to consider.
Proposition 4.8.
 $\begin{array}{c}{\sum }_{{J}_{1}\subseteq \left\{{1}^{*},{2}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {3}^{*}}-{A}_{{J}_{1}\cup 3}\right)={I}_{2}\left({Y}_{1},{Y}_{2}\right)\cdot \left({A}_{{3}^{*}}-{A}_{3}\right).\end{array}$ (22)
Let us state the lemmas needed
Lemma 4.9. $\left({A}_{{1}^{*}\cup {3}^{*}}-{A}_{{1}^{*}\cup 3}\right)={p}^{-dim{\mathcal{ℱ}}_{1}}\frac{{Y}_{1}}{1-{Y}_{1}}\left({A}_{{3}^{*}}-{A}_{3}\right)$
Lemma 4.10. $\left({A}_{{2}^{*}\cup {3}^{*}}-{A}_{{2}^{*}\cup 3}\right)={p}^{-dim{\mathcal{ℱ}}_{2}}\frac{{Y}_{2}}{1-{Y}_{2}}\left({A}_{{3}^{*}}-{A}_{3}\right)$
Lemma 4.11. $\left({A}_{{1}^{*},{2}^{*}\cup {3}^{*}}-{A}_{{1}^{*},{2}^{*}\cup 3}\right)={p}^{-dim{\mathcal{ℱ}}_{1,2}}\frac{{Y}_{2}}{1-{Y}_{2}}\frac{{Y}_{1}}{1-{Y}_{1}}\left({A}_{{3}^{*}}-{A}_{3}\right)$
• Proof. The above three lemmas are proved in exactly the same way as lemma  4.6 – in the proof of lemma  4.11 we just need to do the procedure twice.
• Proof. (of proposition  4.8 ) By the above lemmas
 $\begin{array}{cc}{\sum }_{{J}_{1}\subseteq \left\{{1}^{*},{2}^{*}\right\}}{b}_{{J}_{1}}\left(p\right)\left({A}_{{J}_{1}\cup {3}^{*}}-{A}_{{J}_{1}\cup 3}\right)& ={\sum }_{{J}_{1}\subseteq \left\{{1}^{*},{2}^{*}\right\}}{b}_{{J}_{1}}\left({p}^{-1}\right){\prod }_{{j}_{1}\in {J}_{1}}\frac{{Y}_{{j}_{1}}}{1-{Y}_{{j}_{1}}}\end{array}$
 $\begin{array}{cc}& ={I}_{2}\left({Y}_{1},{Y}_{2}\right)\cdot \left({A}_{{3}^{*}}-{A}_{3}\right).\end{array}$
 $\begin{array}{}\end{array}$

4.5 The exceptional factor and final formulae

Finally we need to calculate the exceptional factor ${E}_{i}=\left({A}_{{i}^{*}}-{A}_{i}\right)$  .
Proposition 4.12. Let $d=h\left({G}^{ab}\right)$  be the torsion-free rank of the abelianisation and ${d}^{\prime }=h\left(Z\left(G\right)\right)$  the torsion-free rank of the centre. Let ${n}_{i}={c}_{i}+{d}_{i}$  where ${n}_{i}$  is the dimension of the space of $i-1$  -dimensional linear subspace in ${\mathbb{P}}^{{d}^{\prime }-1}$  , ${d}_{i}$  the dimension of the Fano variety of $i-1$  -dimensional linear subspace of the Pfaffian, and ${c}_{i}$  the codimension of the same object. Then
 $\begin{array}{cc}{A}_{{i}^{*}}-{A}_{i}& ={\sum }_{{r}_{i}=1}^{\infty }{\sum }_{{b}_{1}=1}^{{r}_{i}}{\sum }_{{b}_{2}=1}^{{r}_{i}}...{\sum }_{{b}_{{n}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i};{b}_{1},{b}_{2},...,{b}_{{n}_{i}}\right){p}^{id{r}_{i}}{T}^{\left(d+i\right){r}_{i}}\left({T}^{-tmin\left\{{r}_{i},{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}-1\right)\end{array}$
 $\begin{array}{cc}& =\frac{{p}^{di}{T}^{d+i-t}\left(1-{T}^{t}\right)}{\left(1-{p}^{id+{d}_{i}}{T}^{d+i-t}\right)\left(1-{p}^{di+{n}_{i}}{T}^{d+i}\right)}\end{array}$
 $\begin{array}{}\end{array}$
where $t=2$  in the case of points and $t=1$  in the case of lines and higher dimensional Fano varieties.
To prove the proposition, we use the following crucial lemma.
Lemma 4.13.
 $\begin{array}{cc}& {\sum }_{{r}_{i}=1}^{\infty }{\sum }_{{b}_{1}=1}^{{r}_{i}}{\sum }_{{b}_{2}=1}^{{r}_{i}}...{\sum }_{{b}_{{c}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i};{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){p}^{\left(id+{d}_{i}\right){r}_{i}}{T}^{\left(d+i\right){r}_{i}}{T}^{-tmin\left\{a,{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}\end{array}$
 $\begin{array}{cc}& =\frac{{p}^{id+{d}_{i}}{T}^{d+i-t}\left(1-{p}^{id+{d}_{i}}{T}^{d+i}\right)}{\left(1-{p}^{id+{d}_{i}}{T}^{d+i-t}\right)\left(1-{p}^{id+{d}_{i}+{c}_{i}}{T}^{d+i}\right)}\end{array}$
 $\begin{array}{}\end{array}$
Now we can prove the proposition.
• Proof. (of proposition  4.12 .)  $\begin{array}{cccc}{A}_{{i}^{*}}-{A}_{i}& ={\sum }_{{r}_{i}=1}^{\infty }{\sum }_{{b}_{1}=1}^{{r}_{i}}{\sum }_{{b}_{2}=1}^{{r}_{i}}...{\sum }_{{b}_{{n}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i};{b}_{1},{b}_{2},...,{b}_{n}\right){p}^{id{r}_{i}}{T}^{\left(d+i\right){r}_{i}}{T}^{-tmin\left\{{r}_{i},{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}& & -{\sum }_{{r}_{i}=1}^{\infty }{\sum }_{{b}_{1}=1}^{{r}_{i}}{\sum }_{{b}_{2}=1}^{{r}_{i}}...{\sum }_{{b}_{{n}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i};{b}_{1},{b}_{2},...,{b}_{n}\right){p}^{id{r}_{i}}{T}^{\left(d+i\right){r}_{i}}\end{array}$
First we sum all the ${b}_{i}$  ’s that don’t appear in the $min$  -expression using the properties of the $\mu$  -function:  $\begin{array}{cccc}{A}_{{i}^{*}}-{A}_{i}& ={p}^{-{d}_{i}}{\sum }_{{r}_{i}=1}^{\infty }{\sum }_{{b}_{1}=1}^{{r}_{i}}{\sum }_{{b}_{2}=1}^{{r}_{i}}...{\sum }_{{b}_{{c}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i},{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){p}^{\left(id+{d}_{i}\right){r}_{i}}{T}^{\left(d+i\right){r}_{i}}{T}^{-tmin\left\{{r}_{i};{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}& & -{p}^{-\left({d}_{i}+{c}_{i}\right)}{\sum }_{{r}_{i}=1}^{\infty }{p}^{\left(id+{d}_{i}+{c}_{i}\right){r}_{i}}{T}^{\left(d+i\right){r}_{i}}\end{array}$
Now using lemma  4.13 and summation of geometric progressions we get
 $\begin{array}{cc}{A}_{{i}^{*}}-{A}_{i}& ={p}^{-{d}_{i}}\frac{{p}^{id+{d}_{i}}{T}^{d+i-t}\left(1-{p}^{id+{d}_{i}}{T}^{d+i}\right)}{\left(1-{p}^{id+{d}_{i}}{T}^{d+i-t}\right)\left(1-{p}^{id+{d}_{i}+{c}_{i}}{T}^{d+i}\right)}\end{array}$
 $\begin{array}{cc}& -{p}^{-\left({d}_{i}+{c}_{i}\right)}\frac{{p}^{id+{d}_{i}+{c}_{i}}}{1-{p}^{id+{c}_{i}+{d}_{i}}{T}^{d+i}},\end{array}$
 $\begin{array}{}\end{array}$
and by a routine calculation we get the formula given in the corollary.
And finally, the proof of lemma  4.13 depends on the following combinatorial observations:
Lemma 4.14.
 $\begin{array}{cc}& {\sum }_{{b}_{1}=1}^{{r}_{i}+1}{\sum }_{{b}_{2}=1}^{{r}_{i}+1}...{\sum }_{{b}_{{c}_{i}}=1}^{{r}_{i}+1}\mu \left({r}_{i}+1;{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{{r}_{i}+1,{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}\end{array}$
 $\begin{array}{cc}& ={T}^{-t}{\sum }_{{b}_{1}=1}^{{r}_{i}}{\sum }_{{b}_{2}=1}^{{r}_{i}}...{\sum }_{{b}_{{c}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i};{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{{r}_{i},{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}+{T}^{-t}{p}^{{c}_{i}{r}_{i}}\left(1-{p}^{-{c}_{i}}\right)\end{array}$
 $\begin{array}{}\end{array}$
Lemma 4.15. ${p}^{nk}\left(1-{p}^{-n}\right)=\left(\genfrac{}{}{0}{}{n}{1}\right){p}^{k}\left(1-{p}^{-1}\right)\left({p}^{k-1}{\right)}^{n-1}+\left(\genfrac{}{}{0}{}{n}{2}\right)\left({p}^{k}\left(1-{p}^{-1}\right){\right)}^{2}\left({p}^{k-1}{\right)}^{n-2}+\cdot \cdot \cdot +\left({p}^{k}\left(1-{p}^{-1}\right){\right)}^{n}$
• Proof. Binomial theorem.
Lemma 4.16.
 $\begin{array}{cc}& {\sum }_{{b}_{1}=2}^{{r}_{i}+1}{\sum }_{{b}_{2}=2}^{{r}_{i}+1}...{\sum }_{{b}_{{c}_{i}}=2}^{{r}_{i}+1}\mu \left({r}_{i}+1;{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{{r}_{i}+1,{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}\end{array}$
 $\begin{array}{cc}& ={T}^{-t}{\sum }_{{b}_{1}=1}^{{r}_{i}}{\sum }_{{b}_{2}=1}^{{r}_{i}}...{\sum }_{{b}_{{c}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i};{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{{r}_{i},{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}\end{array}$
 $\begin{array}{}\end{array}$
• Proof. Change the range of summation and observe that $\mu$  is invariant under this action.
Next we prove lemma  4.14 .
• Proof. We split the range of summation into two parts according to whether the min-expression takes value equal or greater than 1. Then
 $\begin{array}{cc}& {\sum }_{{b}_{1}=1}^{{r}_{i}+1}...{\sum }_{{b}_{{c}_{i}}=1}^{{r}_{i}+1}\mu \left({r}_{i}+1;{b}_{1},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{{r}_{i}+1,{b}_{1},...,{b}_{{c}_{i}}\right\}}=\end{array}$
 $\begin{array}{cc}& ={T}^{-t}\left(\text{number of terms for which min is / 1}\right)+\end{array}$
 $\begin{array}{cc}& +{\sum }_{{b}_{1}=2}^{{r}_{i}+1}...{\sum }_{{b}_{{c}_{i}}=2}^{{r}_{i}+1}\mu \left({r}_{i}+1;{b}_{1},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{{r}_{i}+1,{b}_{1}...,{b}_{{c}_{i}}\right\}}\end{array}$
 $\begin{array}{cc}& ={T}^{-t}\cdot \left(\text{no of {min/1}}\right)+{T}^{-t}{\sum }_{{b}_{1}=1}^{{r}_{i}}...{\sum }_{{b}_{{c}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i};,{b}_{1},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{{r}_{i},{b}_{1},...,{b}_{{c}_{i}}\right\}}\end{array}$
 $\begin{array}{}\end{array}$
by lemma  4.16 . Now all that is left is to count the terms for which $min=1$  .
As all the ${b}_{i}$  are integers between 1 and ${r}_{i}+1$  , the only way that $min\left\{{r}_{i}+1,{b}_{1},...,{b}_{{c}_{i}}\right\}=1$  is when one or more of the ${b}_{i}=1$  . Note that $\mu \left({r}_{i}+1,1\right)={p}^{{r}_{i}}\left(1-{p}^{-1}\right)$  , and ${\sum }_{{b}_{i}=2}^{{r}_{i}+1}\mu \left({r}_{i}+1,{b}_{i}\right)={p}^{{r}_{i}-1}$  , so with these we have multiplicity $\left(\genfrac{}{}{0}{}{{c}_{i}}{r}\right)\left({p}^{r}\left(1-{p}^{-1}\right){\right)}^{m}\left({p}^{{r}_{i}-1}{\right)}^{{c}_{i}-m}$  when exactly $m$  of the ${b}_{i}$  are equal to one. Now putting these together and using lemma  4.15 we have the multiplicity of ${T}^{-t}$  ${p}^{{c}_{i}{r}_{i}}\left(1-{p}^{-{c}_{i}}\right)$  as claimed. This proves lemma  4.14 .
And then finally lemma  4.13 :
• Proof. (of lemma  4.13 ) Write ${A}_{{i}^{*}}^{\prime }={\sum }_{{r}_{i}=1}^{\infty }{p}^{\left(id+{d}_{i}\right){r}_{i}}{T}^{\left(d+i\right){r}_{i}}{\sum }_{{b}_{1}=1}^{{r}_{i}}{\sum }_{{b}_{2}=1}^{{r}_{i}}...{\sum }_{{b}_{{c}_{i}}=1}^{{r}_{i}}\mu \left({r}_{i};{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{{r}_{i},{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}$  We split ${A}_{{i}^{*}}^{\prime }$  into pieces when ${r}_{i}=1$  and ${r}_{i}\ge 2$  and in the latter we change the variable ${r}_{i}=k+1$  .
 $\begin{array}{cc}{A}_{{i}^{*}}^{\prime }& ={p}^{id+{d}_{i}}{T}^{d+i-t}+\end{array}$
 $\begin{array}{cc}& +{p}^{id+{d}_{i}}{T}^{d+i}{\sum }_{k=1}^{\infty }{p}^{\left(id+{d}_{i}\right)k}{T}^{\left(d+i\right)k}{\sum }_{{b}_{1}=1}^{k+1}...{\sum }_{{b}_{{c}_{i}}=1}^{k+1}\mu \left(k+1;{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{k+1,{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}\end{array}$
 $\begin{array}{cc}& ={p}^{id+{d}_{i}}{T}^{d+i-t}+\end{array}$
 $\begin{array}{cc}& +{p}^{id+{d}_{i}}{T}^{d+i-t}{\sum }_{k=1}^{\infty }{p}^{\left(id+{d}_{i}\right)k}{T}^{\left(d+i\right)k}{\sum }_{{b}_{1}=1}^{k}...{\sum }_{{b}_{{c}_{i}}=1}^{k}\mu \left(k,{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right){T}^{-tmin\left\{k;{b}_{1},{b}_{2},...,{b}_{{c}_{i}}\right\}}\end{array}$
 $\begin{array}{cc}& +\left(1-{p}^{-{c}_{i}}\right){p}^{id+{d}_{i}}{T}^{d+i-t}{\sum }_{k=1}^{\infty }{p}^{\left(id+{d}_{i}+{c}_{i}\right)k}{T}^{\left(d+i\right)k},\end{array}$
 $\begin{array}{}\end{array}$
using lemma  4.14 . Now
 $\begin{array}{cc}\left(1-{p}^{\left(id+{d}_{i}\right)}{T}^{d+i-t}\right){A}_{{i}^{*}}^{\prime }& ={p}^{id+{d}_{i}}{T}^{d+i-t}+\left(1-{p}^{-{c}_{i}}\right){p}^{id+{d}_{i}}{T}^{d+i-t}{\sum }_{k=1}^{\infty }{p}^{\left(id+{d}_{i}+{c}_{i}\right)k}{T}^{\left(d+i\right)k}\end{array}$
 $\begin{array}{cc}& ={p}^{id+{d}_{i}}{T}^{d+i-t}+\left(1-{p}^{-{c}_{i}}\right){p}^{id+{d}_{i}}{T}^{d+i-t}\frac{{p}^{id+{d}_{i}+{c}_{i}}{T}^{d+i}}{1-{p}^{id+{d}_{i}+{c}_{i}}{T}^{d+i}},\end{array}$
 $\begin{array}{}\end{array}$
just summing up the geometric progressions. Now rearranging our rational functions we get ${A}_{{i}^{*}}^{\prime }=\frac{{p}^{id+{d}_{i}}{T}^{d+i-t}\left(1-{p}^{id+{d}_{i}}{T}^{d+i}\right)}{\left(1-{p}^{id+{d}_{i}}{T}^{d+i-t}\right)\left(1-{p}^{id+{d}_{i}+{c}_{i}}{T}^{d+i}\right)}$  as claimed.

5 Functional equation

The functional equation in this example is now an easy corollary of the general shape of the zeta function. It is conjectured in [4Conjecture 5.47 that all uniform zeta functions of class two nilpotent groups satisfy the functional equation ${\zeta }_{G,p}^{◃}\left(s\right){|}_{p↦{p}^{-1}}=\left(-1{\right)}^{d+{d}^{\prime }}{p}^{\left(\genfrac{}{}{0}{}{d+{d}^{\prime }}{2}\right)-\left(2d+{d}^{\prime }\right)s}\cdot {\zeta }_{G,p}^{◃}\left(s\right).$  Recall from [12the observation that ${\zeta }_{G,p}^{◃}\left(s\right){|}_{p↦{p}^{-1}}=\left(-1{\right)}^{d+{d}^{\prime }}{p}^{\left(\genfrac{}{}{0}{}{d+{d}^{\prime }}{2}\right)-\left(2d+{d}^{\prime }\right)s}\cdot {\zeta }_{G,p}^{◃}\left(s\right)⇔$  $A\left(p,T\right){|}_{p↦{p}^{-1}}=\left(-1{\right)}^{{d}^{\prime }-1}{p}^{\left(\genfrac{}{}{0}{}{{d}^{\prime }}{2}\right)}\cdot A\left(p,T\right).$  We can also observe that in our decomposition of $A\left(p,T\right)={W}_{0}\left(p,T\right)+{\sum }_{i=1}^{3}{\mathfrak{n}}_{i}\left(p\right){W}_{i}\left(p,T\right)$  it is enough to show that each of the summands satisfies the same functional equation as $A\left(p,T\right)$  satisfies. In this example $d=4$  and ${d}^{\prime }=6$  , but we do this in general, since the functional equation doesn’t depend on the actual numerical values $d$  and ${d}^{\prime }$  take.
It is known at least from [13and can in fact be explicitly observed that ${I}_{k}\left(\mathbf{U}\right){|}_{{U}_{i}↦{U}_{i}^{-1}}=\left(-1{\right)}^{k}{p}^{\left(\genfrac{}{}{0}{}{k+1}{2}\right)}{I}_{k}\left(\mathbf{U}\right),$  where ${U}_{i}={p}^{{a}_{i}-{b}_{i}s}.$  So in each of ${W}_{i}\left(X,Y\right)={I}_{{d}^{\prime }-i-1}\left({X}_{{d}^{\prime }-1},...,{X}_{i+1}\right){E}_{i}\left({X}_{i},{Y}_{i}\right){I}_{i-1}\left({Y}_{i-1},...,{Y}_{1}\right)$  we have a functional equations from the Igusa factors as $\left(-1{\right)}^{{d}^{\prime }-i-1}{p}^{\left(\genfrac{}{}{0}{}{{d}^{\prime }-i}{2}\right)}$  and $\left(-1{\right)}^{i-1}{p}^{\left(\genfrac{}{}{0}{}{i}{2}\right)},$  and it is left to see what is the functional equation on ${E}_{i}$  .
But this is now easy since we have the explicit formula ${E}_{i}\left({X}_{i},{Y}_{i}\right)=\frac{{p}^{-{d}_{i}}{Y}_{i}-{p}^{-{n}_{i}}{X}_{i}}{\left(1-{X}_{i}\right)\left(1-{Y}_{i}\right)},$  and we see that ${E}_{i}\left({X}_{i},{Y}_{i}\right){|}_{↦{p}^{-1}}={p}^{{n}_{i}+{d}_{i}}{E}_{i}\left({X}_{i},{Y}_{i}\right).$  Here ${n}_{i}=i\left({d}^{\prime }-i\right)$  and ${d}_{i}=$  the dimension of the Fano variety of $\left(i-1\right)$  -dimensional linear subspaces on $\mathfrak{P}$  .
If we know observe that for $i=1,2,3$  the points on the Fano varieties have functional equations ${\mathfrak{n}}_{i}\left(p\right){|}_{p↦{p}^{-1}}={p}^{-{d}_{i}}{\mathfrak{n}}_{i}\left(p\right)$  , since these ${\mathfrak{n}}_{i}\left(p\right)$  are polynomials in $p$  with nice symmetry properties.
So putting all of these together ${W}_{i}\left(p,T\right){|}_{p↦{p}^{-1}}=\left(-1{\right)}^{{d}^{\prime }-i-1+\left(i-1\right)}{p}^{\left(\genfrac{}{}{0}{}{{d}^{\prime }-i}{2}\right)+{n}_{i}+\left(\genfrac{}{}{0}{}{i}{2}\right)}{W}_{i}\left(p,T\right),$  and as $\left(\genfrac{}{}{0}{}{{d}^{\prime }-i}{2}\right)+{n}_{i}+\left(\genfrac{}{}{0}{}{i}{2}\right)=\left(\genfrac{}{}{0}{}{{d}^{\prime }}{2}\right)$  we have that ${W}_{i}\left(p,T\right){|}_{p↦{p}^{-1}}=\left(-1{\right)}^{{d}^{\prime }}{p}^{\left(\genfrac{}{}{0}{}{{d}^{\prime }}{2}\right)}{W}_{i}\left(p,T\right)$  as required. This proves the functional equation.
References

1. M.P.F. du Sautoy, A nilpotent group and its elliptic curve: non-uniformity of local zeta functions of groups, Israel J. of Math. 126 (2001), 269 – 288.
2. M.P.F. du Sautoy, Counting finite $p$  -groups and nilpotent groups, Inst. Hautes Études Scientifiques, Publ. Math., 92 (2000), 63 – 112.
3. M.P.F. du Sautoy, Counting subgroups in nilpotent groups and points on elliptic curves, J. Reine. Angew. Math. 549 (2002), 1 – 21.
4. M.P.F. du Sautoy, Zeta functions of groups: The quest for order versus the flight from ennui, Groups St Andrews 2001 in Oxford, Volume 1, CUP 2003.
5. M.P.F. du Sautoy and F.J. Grunewald, Analytic properties of zeta functions and subgroup growth, Annals of Math. 152 (2000), 793 – 833.
6. F.J. Grunewald, D. Segal and G.C. Smith, Subgroups of finite index in nilpotent groups, Invent. Math. 93 (1988), 185 – 223.
7. J. Harris, Algebraic Geometry: A First Course, Springer-Verlag, New York, 1992.
8. J.W.P. Hirschfeld and J.A. Thas, General Galois Geometries, Clarendon Press, Oxford, 1991.
9. P.M. Paajanen, On the degree of polynomial subgroup growth in class 2 nilpotent groups, preprint.
10. P.M. Paajanen, Structure and functional equations of normal zeta functions of class two nilpotent groups, in preparation.
11. P.M. Paajanen, The Segre example – lines on Pfaffian, a chapter of DPhil thesis, Oxford, in preparation.
12. C. Voll, Zeta functions of groups and enumeration in Bruhat-Tits buildings, Amer. J. Math. 126 (2004), no. 5, 1005 – 1032.
13. C. Voll, Functional equations for local normal zeta functions of nilpotent groups, Geom. Funct. Anal., to appear.