-
Pro-isomorphic zeta functions of nilpotent groups and Lie rings under base extension
Authors:
Mark N. Berman,
Itay Glazer,
Michael M. Schein
Abstract:
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 th…
▽ More
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 computations are given for several families of unipotent groups. These include an apparently novel identity involving permutation statistics on the hyperoctahedral group.
△ Less
Submitted 15 September, 2022; v1 submitted 9 July, 2020;
originally announced July 2020.
-
A family of class-2 nilpotent groups, their automorphisms and pro-isomorphic zeta functions
Authors:
Mark N. Berman,
Benjamin Klopsch,
Uri Onn
Abstract:
The pro-isomorphic zeta function of a finitely generated nilpotent group $Γ$ is a Dirichlet generating function that enumerates finite-index subgroups whose profinite completion is isomorphic to that of $Γ$. Such zeta functions can be expressed as Euler products of $p$-adic integrals over the $p$-adic points of an algebraic automorphism group associated to $Γ$. In this way they are closely related…
▽ More
The pro-isomorphic zeta function of a finitely generated nilpotent group $Γ$ is a Dirichlet generating function that enumerates finite-index subgroups whose profinite completion is isomorphic to that of $Γ$. Such zeta functions can be expressed as Euler products of $p$-adic integrals over the $p$-adic points of an algebraic automorphism group associated to $Γ$. In this way they are closely related to classical zeta functions of algebraic groups over local fields.
We describe the algebraic automorphism groups for a natural family of class-$2$ nilpotent groups; these groups can be viewed as generalizations of $D^*$-groups of odd Hirsch length. General $D^*$-groups, that is `indecomposable' finitely generated, torsion-free class-$2$ nilpotent groups with central Hirsch length $2$, were classified up to commensurability by Grunewald and Segal. We calculate the local pro-isomorphic zeta functions for our groups and obtain, in particular, explicit formulae for the local pro-isomorphic zeta functions associated to $D^*$-groups of odd Hirsch length. From these we deduce local functional equations; for the global zeta functions we describe the abscissae of convergence and find meromorphic continuations. We deduce that the spectrum of abscissae of convergence for pro-isomorphic zeta functions of class-2 nilpotent groups contains infinitely many cluster points. For instance, the global abscissae of convergence of the pro-isomorphic zeta functions of $D^*$-groups of odd Hirsch length are determined and yield the cluster point $6$.
△ Less
Submitted 22 April, 2016; v1 submitted 23 November, 2015;
originally announced November 2015.
-
On pro-isomorphic zeta functions of $D^*$-groups of even Hirsch length
Authors:
Mark N. Berman,
Benjamin Klopsch,
Uri Onn
Abstract:
The pro-isomorphic zeta function of a finitely generated nilpotent group is a Dirichlet generating series that enumerates all finite-index subgroups whose profinite completion is isomorphic to that of the ambient group. We study the pro-isomorphic zeta functions of $\mathbb{Q}$-indecomposable $D^*$-groups of even Hirsch length. These groups are building blocks of finitely generated class-two nilpo…
▽ More
The pro-isomorphic zeta function of a finitely generated nilpotent group is a Dirichlet generating series that enumerates all finite-index subgroups whose profinite completion is isomorphic to that of the ambient group. We study the pro-isomorphic zeta functions of $\mathbb{Q}$-indecomposable $D^*$-groups of even Hirsch length. These groups are building blocks of finitely generated class-two nilpotent groups with rank-two centre, up to commensurability. Due to a classification by Grunewald and Segal, they are parameterised by primary polynomials whose companion matrices define commutator relations for an explicit presentation. For Grunewald-Segal representatives of even Hirsch length of type $f(t)=t^m$, we give a complete description of the algebraic automorphism groups of associated Lie lattices. Utilising the automorphism groups, we determine the local pro-isomorphic zeta functions of groups associated to $t^2$ and $t^3$. In both cases, the local zeta functions are uniform in the prime $p$ and satisfy functional equations. The functional equations for these groups, not predicted by the currently available theory, prompt us to formulate a conjecture which prescribes, in particular, information about the symmetry factor appearing in local functional equations for pro-isomorphic zeta functions of nilpotent groups. Our description of the local zeta functions also yields information about the analytic properties of the corresponding global pro-isomorphic zeta functions. Some of our results for the $D^*$-groups associated to $t^2$ and $t^3$ generalise to two infinite families of class-two nilpotent groups that result naturally from the initial groups via `base extensions'.
△ Less
Submitted 16 June, 2023; v1 submitted 19 November, 2015;
originally announced November 2015.
-
A nilpotent group without local functional equations for pro-isomorphic subgroups
Authors:
Mark N. Berman,
Benjamin Klopsch
Abstract:
The pro-isomorphic zeta function of a torsion-free finitely generated nilpotent group G enumerates finite index subgroups H such that H and G have isomorphic profinite completions. It admits an Euler product decomposition, indexed by the rational primes. We manufacture the first example of a torsion-free finitely generated nilpotent group G such that the local Euler factors of its pro-isomorphic z…
▽ More
The pro-isomorphic zeta function of a torsion-free finitely generated nilpotent group G enumerates finite index subgroups H such that H and G have isomorphic profinite completions. It admits an Euler product decomposition, indexed by the rational primes. We manufacture the first example of a torsion-free finitely generated nilpotent group G such that the local Euler factors of its pro-isomorphic zeta function do not satisfy functional equations. The group G has nilpotency class 4 and Hirsch length 25. It is obtained, via the Malcev correspondence, from a Z-Lie lattice L with a suitable algebraic automorphism group Aut(L).
△ Less
Submitted 28 August, 2014;
originally announced August 2014.
-
Simultaneous Detection and Estimation, False Alarm Prediction for a Continuous Family of Signals in Gaussian Noise
Authors:
D. Michael Milder,
Robert G. Lindgren,
Morris M. Berman
Abstract:
New problems arise when the standard theory of joint detection and estimation is applied to a set of signals drawn from a continuous family; decision thresholds must be determined as a function of the continuous parameter x characterizing the signals, and false alarms occur, not with a discrete probability, but with a density in x. A Bayes decision structure over the domain of signal parameters yi…
▽ More
New problems arise when the standard theory of joint detection and estimation is applied to a set of signals drawn from a continuous family; decision thresholds must be determined as a function of the continuous parameter x characterizing the signals, and false alarms occur, not with a discrete probability, but with a density in x. A Bayes decision structure over the domain of signal parameters yields a state estimate of the signal parameter x as an integral part of a signal declaration. The decision criterion is converted to a form in which detection and false alarm densities appear and from which is derived a relation between them for all x. The limiting case of additive Gaussian noise and a high detection threshold allows a simplified decision criterion and a state estimate of signal location in x that approaches the Cramer-Rao bound. Also in this limit, an analytic form for the false alarm probability density over x, a quantity not readily obtained in general, is evaluated here through its relation to the detection probability. The false alarm density expression and state accuracy prediction are tested through Monte Carlo simulations, and the comparison demonstrates excellent agreement.
△ Less
Submitted 15 July, 2014;
originally announced July 2014.
-
Uniform cell decomposition with applications to Chevalley groups
Authors:
Mark N. Berman,
Jamshid Derakhshan,
Uri Onn,
Pirita Paajanen
Abstract:
We express integrals of definable functions over definable sets uniformly for non-Archimedean local fields, extending results of Pas. We apply this to Chevalley groups, in particular proving that zeta functions counting conjugacy classes in congruence quotients of such groups depend only on the size of the residue field, for sufficiently large residue characteristic. In particular, the number of c…
▽ More
We express integrals of definable functions over definable sets uniformly for non-Archimedean local fields, extending results of Pas. We apply this to Chevalley groups, in particular proving that zeta functions counting conjugacy classes in congruence quotients of such groups depend only on the size of the residue field, for sufficiently large residue characteristic. In particular, the number of conjugacy classes in a congruence quotient depends only on the size of the residue field. The same holds for zeta functions counting dimensions of Hecke modules of intertwining operators associated to induced representations of such quotients.
△ Less
Submitted 5 October, 2012; v1 submitted 15 June, 2011;
originally announced June 2011.
-
Uniformity and Functional Equations for Local Zeta Functions of $\mathfrak{K}$-Split Algebraic Groups
Authors:
Mark Berman
Abstract:
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 function…
▽ More
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 provide a further criterion in terms of invariants of $\mathcal{G}$ and $ρ$ which guarantees that the local zeta functions satisfy functional equations for almost all primes of $\mathfrak{K}$. We obtain these results by using a $\mathfrak{p}$-adic Bruhat decomposition of Iwahori and Matsumoto [IM] to express the zeta function as a weighted sum over the Weyl group $W$ associated to $\mathcal{G}$ of generating functions over lattice points of a polyhedral cone. The functional equation reflects an interplay between symmetries of the Weyl group and reciprocities of the combinatorial object. We construct families of groups with representations violating our second structural criterion whose local zeta functions do not satisfy functional equations. Our work generalizes results of Igusa [Igu] and du Sautoy and Lubotzky [dSL] and has implications for zeta functions of finitely generated torsion-free nilpotent groups.
△ Less
Submitted 12 July, 2010; v1 submitted 28 February, 2008;
originally announced February 2008.
