We prove that the subgroup zeta function and the normal zeta function of a finitely generated virtually nilpotent group are finite sums of Euler products of cone integrals over $\mathbb{Q}$ and we deduce from this that they have rational abscissa of convergence and some meromorphic continuation. We also define Mal'cev completions of a finitely generated virtually nilpotent group and we prove that the subgroup growth and the normal subgroup growth of the latter are invariants of its $\mathbb{Q}$-Mal'cev completion.
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.
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.
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…
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…
Let $N$ be a finitely generated nilpotent group. The subgroup zeta function $ζ_N^{\leq}(s)$ and the normal zeta function $ζ_N^\lhd(s)$ of $N$ are Dirichlet series enumerating the finite index subgroups or the finite index normal subgroups of $N$. We present results about their abscissae of convergence $α_N^\leq$ and $α_N^\lhd$, also known as the degrees of polynomial subgroup growth and polynomial normal subgroup growth of $N$, respectively. We first prove some upper bounds for the functions $N\mapsto α_N^\leq$ and $N\mapstoα_N^\lhd$ when restricted to the class of torsion-free nilpotent group…
We consider coincidence Reidemeister zeta functions for tame endomorphism pairs of nilpotent groups of finite rank, shedding new light on the subject by means of profinite completion techniques. In particular, we provide a closed formula for coincidence Reidemeister numbers for iterations of endomorphism pairs of torsion-free nilpotent groups of finite rank, based on a weak commutativity condition, which derives from simultaneous triangularisability on abelian sections. Furthermore, we present results in support of a Pólya-Carlson dichotomy between rationality and a natural boundary for the an…
The subgroup zeta function and the normal zeta function of a finitely generated virtually nilpotent group can be expressed as finite sums of Dirichlet series admitting Euler product factorization. We compute these series except for a finite number of local factors when the group is virtually nilpotent of Hirsch length 3. We deduce that they can be meromorphically continued to the whole complex plane and that they satisfy local functional equations. The complete computation (with no exception of local factors) is presented for those groups that are also torsion-free, that is, for the 3-dimensio…
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…
Let p be a prime number. We give the explicit structure of 2- nilpotent multiplier for each finite 2-generator p-group of class two. Moreover, 2-capable groups in that class are characterized.
We prove that the theory of the $p$-adics ${\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\rm GL}_n({\mathbb Q}_p)/{\rm GL}_n({\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functions arising from definable equivalence relations. This also yields analogous results for definable equivalence relations over local fields of positive characteristic. The appendix contains an alternative proof, using cell decomposition, of t…
Let $G$ be a finitely generate nilpotent class-2 torsion-free group. We study how the zeta function enumerating normal subgroups of G varies on residue classes. In particular, we show that for small such $G$ of Hirsch length less than or equal to 7, the normal zeta functions are generically always rational functions on residue classes. We then show that there are examples of groups with Hirsch length 8 whose normal zeta function is not a rational function on residue classes. We observe the connection to Higman's PORC conjecture.
We prove a dichotomy between rationality and a natural boundary for the analytic behavior of the Reidemeister zeta function for automorphisms of non-finitely generated torsion abelian groups and for endomorphisms of groups $\mathbb Z_p^d,$ where $\mathbb Z_p$ the group of p-adic integers. As a consequence, we obtain a dichotomy for the Reidemeister zeta function of a continuous map of a topological space with fundamental group that is non-finitely generated torsion abelian group. We also prove the rationality of the coincidence Reidemeister zeta function for tame endomorphisms pairs of finitel…
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 …
The free nilpotent group $G_{m,n}$ of class $m$ and rank $n$ is the free object on $n$ generators in the category of nilpotent groups of class at most $m$. We show that $G_{m,n}$ can be recovered from its reduced group $C^*$-algebra, in the sense that if $H$ is any group such that $C^*_r(H)$ is isomorphic to $C^*_r(G_{m,n})$, then $H$ must be isomorphic to $G_{m,n}$.