Zeta functions of groups and rings: Uniformity
type: Item
instance of: scholarly article
title: Zeta functions of groups and rings: Uniformity
zbMATH Open document ID: 0865.20021
DOI: 10.1007/BF02773672
author: Marcus du Sautoy
published in: Israel Journal of Mathematics
publication date: 1994-07-12T00:00:00Z
review text: Consider the following zeta functions (firstly studied by F. J. Grunewald, D. Segal and G. C. Smith) for finitely generated abstract or profinite groups \(G\): \(\zeta^*_G(s)=\sum_{H\in\chi^*(G)}|G:H|^{-s}\) where \(*\in\{\leq,\triangleleft,\wedge\}\) and \(\chi^\leq(G)=\{H\mid H\) is a subgroup of finite index in \(G\}\), \(\chi^\triangleleft(G)=\{H\mid H\) is a normal subgroup of finite index in \(G\}\), \(\chi^\wedge(G)=\{H\mid H\) is a subgroup of finite index in \(G\) and \(\widehat H\cong\widehat G\}\), here \(\widehat G\) denotes the profinite completion of \(G\). The ``local factors'' associated with these zeta functions for each prime \(p\) are given by: \(\zeta^*_{G,p}(s)=\sum_{H\in\chi^*_p(G)}|G:H|^{-s}\) where \(\chi^*_p(G)=\{H\in\chi^*(G)\mid H\) has \(p\)-power index in \(G\}\). For the class of finitely generated torsion-free nilpotent groups these zeta-functions can be decomposed as an Euler product of the local factors: \(\zeta^*_G(s)=\prod_p\zeta^*_{G,p}(s)\). In the paper under review contributions to the following questions are made: Question 1: For a fixed group \(G\), how does \(\zeta^*_{G,p}(s)\) behave as \(p\) varies over all primes \(p\)? Question 2: For a fixed prime \(p\), how does \(\zeta^*_{G,p}(s)\) behave as \(G\) varies over \(p\)-adic analytic groups of fixed dimension \(d\) (or nilpotent groups of a fixed Hirsch length \(d\))? Question 3: For a fixed finitely generated nilpotent group \(G\) do there exist finitely many rational functions \(W^*_1(Y,X),\dots,W^*_n(Y,X)\) of two variables over \(\mathbb{Q}\) such that for each prime \(p\) there is an \(i\) for which \(\zeta^*_p(s)=W^*_i(p,p^{-s})\)? Partial answers to questions 1 and 2 are given in the reviewed article. The proof uses the method of Denef and van den Dries for the calculation of \(p\)-adic integrals over semi-algebraic, respectively over sub-analytic sets and results of Macintyre, which allows the calculation of this \(p\)-adic integrals uniformly for all primes \(p\).
reviewed by: Hans-Jochen Bartels
Mathematics Subject Classification ID: 20F18
Mathematics Subject Classification ID: 11S40
Mathematics Subject Classification ID: 32P05
Mathematics Subject Classification ID: 14G10
Mathematics Subject Classification ID: 22E35
Mathematics Subject Classification ID: 20E18
Mathematics Subject Classification ID: 11M41
Mathematics Subject Classification ID: 03C10
zbMATH DE Number: 590933
zbMATH Keywords: zeta functions
zbMATH Keywords: profinite groups
zbMATH Keywords: subgroups of finite index
zbMATH Keywords: profinite completions
zbMATH Keywords: torsion-free nilpotent groups
zbMATH Keywords: Euler products
zbMATH Keywords: \(p\)-adic analytic groups
zbMATH Keywords: \(p\)-adic integrals
MaRDI profile type: Publication
cites work: The rationality of the Poincaré series associated to the p-adic points on a variety
cites work: Q3729023
cites work: \(p\)-adic and real subanalytic sets
cites work: Q3997907
cites work: Finitely generated groups, 𝑝-adic analytic groups, and Poincaré series
cites work: Finitely generated groups, \(p\)-adic analytic groups and Poincaré series
cites work: Functional equations and uniformity for local zeta functions of nilpotent groups
cites work: Q3676345
cites work: Subgroups of finite index in nilpotent groups
cites work: Q5612538
cites work: Analytic pro-\(p\) groups and their Lie algebras
cites work: \(p\)-adic analytic groups
cites work: Quelques calculs concernant la formule de Hausdorff
cites work: On definable subsets of p-adic fields
cites work: Rationality of p-adic Poincaré series: Uniformity in p
cites work: Uniform p-adic cell decomposition and local zeta functions.
cites work: Cell Decomposition and Local Zeta Functions in a Tower of Unramified Extensions of a p -Adic Field
cites work: Q3663506
cites work: Q4026915
full work available at URL: https://doi.org/10.1007/bf02773672
OpenAlex ID: W2000606791
description: scientific article; zbMATH DE number 590933