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 \cite[Section 5]{duSG/06}. 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.
I survey some recent developments in the theory of zeta functions associated to infinite groups and rings, specifically zeta functions enumerating subgroups and subrings of finite index or finite-dimensional complex representations.
These notes grew out of lectures given at the LMS-EPSRC Short Course on Asymptotic Methods in Infinite Group Theory, University of Oxford, 9-14 September 2007, organised by Dan Segal.
We produce explicit formulae for various ideal zeta functions associated to the members of an infinite family of class-$2$-nilpotent Lie rings, introduced in [1], in terms of Igusa functions. As corollaries we obtain information about analytic properties of global ideal zeta functions, local functional equations, topological, reduced, and graded ideal zeta functions, as well as representation zeta functions for the unipotent group schemes associated to the Lie rings in question.
We compute explicitly the normal zeta functions of the Heisenberg groups $H(R)$, where $R$ is a compact discrete valuation ring of characteristic zero. These zeta functions occur as Euler factors of normal zeta functions of Heisenberg groups of the form $H(\mathcal{O}_K)$, where $\mathcal{O}_K$ is the ring of integers of an arbitrary number field~$K$, at the rational primes which are non-split in~$K$. We show that these local zeta functions satisfy functional equations upon the inversion of the prime.
Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We compute explicitly the local factors of the normal zeta functions of the Heisenberg groups $H(\mathcal{O}_K)$ that are indexed by rational primes which are unramified in $K$. We show that these local zeta functions satisfy functional equations upon the inversion of the prime.
This paper gives methods to describe the adjoint orbits of $\mathbf{G}(\mathfrak{o}_r)$ on $\mathrm{Lie}(\mathbf{G})(\mathfrak{o}_r)$ where $\mathfrak{o}_r=\mathfrak{o}/\mathfrak{p}^r$ ($r\in\mathbb{N}$) is a finite quotient of the localization $\mathfrak{o}$ of the ring of integers of a number field at a prime ideal $\mathfrak{p}$ and $\mathbf{G}$ is a closed $\mathbb{Z}$-subgroup scheme of $\mathrm{GL}_{n}$ for an $n\in\mathbb{N}$ and such that the Lie ring $\mathrm{Lie}(\mathbf{G})(\mathfrak{o})$ is quadratic.. The main result is a classification of the adjoint orbits in $\mathrm{Lie}(\math…
We study the local zeta functions of an algebraic group $\mathcal{G}$ defined over $\mathfrak{K}$ together with a faithful $\mathfrak{K}$-rational representation $ρ$ for a finite extension $\mathfrak{K}$ of $\mathbb{Q}$. These are given by integrals over $\mathfrak{p}$-adic points of $\mathcal{G}$ determined by $ρ$ for a prime $\mathfrak{p}$ of $\mathfrak{K}$. We prove that the local zeta functions are almost uniform for all $\mathfrak{K}$-split groups whose unipotent radical satisfies a certain lifting property. This property is automatically satisfied if $\mathcal{G}$ is reductive. We provid…
Let $L$ be a nilpotent algebra of class two over a compact discrete valuation ring $A$ of characteristic zero or of sufficiently large positive characteristic. Let $q$ be the residue cardinality of $A$. The ideal zeta function of $L$ is a Dirichlet series enumerating finite-index ideals of $L$. We prove that there is a rational function in $q$, $q^m$, $q^{-s}$, and $q^{-ms}$ giving the ideal zeta function of the amalgamation of $m$ copies of $L$ over the derived subring, for every $m \geq 1$, up to an explicit factor. More generally, we prove this for the zeta functions of nilpotent quiver rep…
We give explicit formulae for the local normal zeta functions of torsion-free, class-2-nilpotent groups, subject to conditions on the associated Pfaffian hypersurface which are generically satisfied by groups with small centre and sufficiently large abelianization. We show how the functional equations of two types of zeta functions - the Weil zeta function associated to an algebraic variety and zeta functions of algebraic groups introduced by Igusa - match up to give a functional equation for local normal zeta functions of groups. We also give explicit formulae and derive functional equations …
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.
We compute the zeta functions enumerating graded ideals in the graded Lie rings associated with the free $d$-generator Lie rings $\mathfrak{f}_{c,d}$ of nilpotency class $c$ for all $c\leq2$ and for $(c,d)\in\{(3,3),(3,2),(4,2)\}$. We apply our computations to obtain information about $\mathfrak{p}$-adic, reduced, and topological zeta functions, in particular pertaining to their degrees and some special values.
This is the first of two papers in which we introduce and study two bivariate zeta functions associated to unipotent group schemes over rings of integers of number fields. One of these zeta functions encodes the numbers of isomorphism classes of irreducible complex representations of finite dimensions of congruence quotients of the associated group and the other one encodes the numbers of conjugacy classes of each size of such quotients. In this paper, we show that these zeta functions satisfy Euler factorizations and almost all of their Euler factors are rational and satisfy functional equati…
Let $\mathbf{G}$ be a unipotent group scheme defined in terms of a nilpotent Lie lattice over the ring $\mathcal{O}$ of integers of a number field. We consider bivariate zeta functions of groups of the form $\mathbf{G}(\mathcal{O})$ encoding, respectively, the numbers of isomorphism classes of irreducible complex representations of finite dimensions and the numbers of conjugacy classes of congruence quotients of the associated groups. We show that the domains of convergence and meromorphic continuation of these zeta functions of groups $\mathbf{G}(\mathcal{O})$ are independent of the number fi…
We consider pro-isomorphic zeta functions of the groups $Γ(\mathcal{O}_K)$, where $Γ$ is a unipotent group scheme defined over $\mathbb{Z}$ and $K$ varies over all number fields. Under certain conditions, we show that these functions have a fine Euler decomposition with factors indexed by primes $\mathfrak{p}$ of $K$ and depending only on the structure of $Γ$, the degree $[K : \mathbb{Q}]$, and the cardinality of the residue field $\mathcal{O}_K / \mathfrak{p}$. We show that the factors satisfy a certain uniform rationality and study their dependence on $[K : \mathbb{Q}]$. Explicit computation…
This is the second of two papers introducing and investigating two bivariate zeta functions associated to unipotent group schemes over rings of integers of number fields. In the first part, we proved some of their properties such as rationality and functional equations. Here, we calculate such bivariate zeta functions of three infinite families of nilpotent groups of class 2 generalising the Heisenberg group of three by three unitriangular matrices over rings of integers of number fields. The local factors of these zeta functions are also expressed in terms of sums over finite hyperoctahedral …
We introduce and study multivariate zeta functions enumerating subrepresentations of integral quiver representations. For nilpotent such representations defined over number fields, we exhibit a homogeneity condition that we prove to be sufficient for local functional equations of the generic Euler factors of these zeta functions. This generalizes and unifies previous work on submodule zeta functions including, specifically, ideal zeta functions of nilpotent (Lie) rings and their graded analogues.
The definitions and main properties of the Ihara and Bartholdi zeta functions for infinite graphs are reviewed. The general question of the validity of a functional equation is discussed, and various possible solutions are proposed.
We compute the representation zeta functions of some finitely generated nilpotent groups associated to unipotent group schemes over rings of integers in number fields. These group schemes are defined by Lie lattices whose presentations are modelled on certain prehomogeneous vector spaces. Our method is based on evaluating $\mathfrak{p}$-adic integrals associated to certain rank varieties of matrices of linear forms.
We give a short introduction to the subject of representation growth and representation zeta functions of groups, omitting all proofs. Our focus is on results which are relevant to the study of arithmetic groups in semisimple algebraic groups, such as the special linear group of degree n over the ring of integers. In the last two sections we state several results which were recently obtained in joint work with N. Avni, U. Onn and C. Voll.
We study zeta functions enumerating submodules invariant under a given endomorphism of a finitely generated module over the ring of ($S$-)integers of a number field. In particular, we compute explicit formulae involving Dedekind zeta functions and establish meromorphic continuation of these zeta functions to the complex plane. As an application, we show that ideal zeta functions associated with nilpotent Lie algebras of maximal class have abscissa of convergence $2$.
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 Sl_n(Q_p). 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.
