English

On the degree of polynomial subgroup growth of nilpotent groups

Group Theory 2022-10-13 v2

Abstract

Let NN be a finitely generated nilpotent group. The subgroup zeta function ζN(s)\zeta_N^{\leq}(s) and the normal zeta function ζN(s)\zeta_N^\lhd(s) of NN are Dirichlet series enumerating the finite index subgroups or the finite index normal subgroups of NN. We present results about their abscissae of convergence αN\alpha_N^\leq and αN\alpha_N^\lhd, also known as the degrees of polynomial subgroup growth and polynomial normal subgroup growth of NN, respectively. We first prove some upper bounds for the functions NαNN\mapsto \alpha_N^\leq and NαNN\mapsto\alpha_N^\lhd when restricted to the class of torsion-free nilpotent groups of a fixed Hirsch length. We then show that if two finitely generated nilpotent groups have isomorphic C\mathbb{C}-Mal'cev completions, then their subgroup (resp. normal) zeta functions have the same abscissa of convergence. This follows, via the Mal'cev correspondence, from a similar result that we establish for zeta functions of rings. This result is obtained by proving that the abscissa of convergence of an Euler product of certain Igusa-type local zeta functions introduced by du Sautoy and Grunewald remains invariant under base change. We also apply this methodology to formulate and prove a version of our result about nilpotent groups for virtually nilpotent groups. As a side application of our result about zeta functions of rings, we present a result concerning the distribution of orders in number fields.

Keywords

Cite

@article{arxiv.2109.04580,
  title  = {On the degree of polynomial subgroup growth of nilpotent groups},
  author = {Diego Sulca},
  journal= {arXiv preprint arXiv:2109.04580},
  year   = {2022}
}

Comments

The paper has changed significantly. Among other things, an application to the distribution of orders in number fields has been added. Accepted for publication in the Mathematische Zeitschrift