We give a sufficient criterion for generic local functional equations for submodule zeta functions associated to nilpotent algebras of endomorphisms defined over number fields. This allows us, in particular, to prove various conjectures on such functional equations for ideal zeta functions of nilpotent Lie lattices. Via the Mal'cev correspondence, these results have corollaries pertaining to zeta functions enumerating normal subgroups of finite index in finitely generated nilpotent groups, most notably finitely generated free nilpotent groups of any given class.
Local functional equations akin to are also ubiquitous in the theory of representation zeta functions associated to arithmetic (and related pro- @math ) groups; see, for instance, @cite_10 @cite_17 .
@cite_10 @cite_17
2023829897 2054570374 2093477771 2068681643
We introduce a new method to compute explicit formulae for various zeta functions associated to groups and rings. The specific form of these formulae enables us to deduce local functional equations. More precisely, we prove local functional equations for the subring zeta functions associated to rings, the subgroup, conjugacy and representation zeta functions of finitely generated, torsion-free nilpotent (or T -)groups, and the normal zeta functions of T -groups of class 2. In particular we solve the two problems posed in [9, Section 5]. We deduce our theorems from a ‘blueprint result’ on certain p-adic integrals which generalises work of Denef and others on Igusa’s local zeta function. The Malcev correspondence and a Kirillov-type theory developed by Howe are used to ‘linearise’ the problems of counting subgroups and representations in T -groups, respectively. We introduce a new method to calculate local normal zeta functions of finitely generated, torsion-free nilpotent groups. It is based on an enumeration of vertices in the Bruhat-Tits building for Sln(Qp). It enables us to give explicit computations for groups of class 2 with small centres and to derive local functional equations. Examples include formulae for non-uniform normal zeta functions. We study representation zeta functions of finitely generated, torsion-free nilpotent groups which are groups of rational points of unipotent group schemes over rings of integers of number fields. Using the Kirillov orbit method and @math -adic integration, we prove rationality and functional equations for almost all local factors of the Euler products of these zeta functions. We further give explicit formulae, in terms of Dedekind zeta functions, for the zeta functions of class- @math -nilpotent groups obtained from three infinite families of group schemes, generalizing the integral Heisenberg group. As an immediate corollary, we obtain precise asymptotics for the representation growth of these groups, and key analytic properties of their zeta functions, such as meromorphic continuation. We express the local factors of these zeta functions in terms of generating functions for finite Weyl groups of type @math . This allows us to establish a formula for the joint distribution of three functions, or statistics'', on such Weyl groups. Finally, we compare our explicit formulae to @math -adic integrals associated to relative invariants of three infinite families of prehomogeneous vector spaces. We prove a two-part theorem on local ideal zeta functions of Lie rings of upper-triangular matrices. First, we prove that these local zeta functions display a strong uniformity. Secondly, we prove that these zeta functions satisfy a local functional equation. Some explicit examples of these zeta functions are also presented. Finally, we consider certain quotients of these Lie rings, showing that the strong uniformity continues to hold, and that under certain circumstances the functional equation does too.