Let @math be a number field with ring of integers @math . We compute explicitly the local factors of the normal zeta functions of the Heisenberg groups @math that are indexed by rational primes which are unramified in @math . We show that these local zeta functions satisfy functional equations upon the inversion of the prime.
In the recent past, zeta functions associated to Heisenberg groups and their various generalizations have often served as a test case for an ensuing general theory. For instance, the seminal paper @cite_0 contains special cases of the computations done in the present paper as examples. Similarly, Ezzat @cite_9 computed the representation zeta functions of the groups @math for quadratic number rings @math , enumerating irreducible finite-dimensional complex representations of such groups up to twists by one-dimensional representations. The paper @cite_2 develops a general framework for the study of representation zeta functions of finitely generated nilpotent groups. Moreover, it generalized Ezzat's explicit formulae to arbitrary number rings and more general group schemes.
@cite_0 @cite_9 @cite_2
2088880658 2962953026 2093477771
We study representation zeta functions of finitely generated, torsion-free nilpotent groups which are groups of rational points of unipotent group schemes over rings of integers of number fields. Using the Kirillov orbit method and @math -adic integration, we prove rationality and functional equations for almost all local factors of the Euler products of these zeta functions. We further give explicit formulae, in terms of Dedekind zeta functions, for the zeta functions of class- @math -nilpotent groups obtained from three infinite families of group schemes, generalizing the integral Heisenberg group. As an immediate corollary, we obtain precise asymptotics for the representation growth of these groups, and key analytic properties of their zeta functions, such as meromorphic continuation. We express the local factors of these zeta functions in terms of generating functions for finite Weyl groups of type @math . This allows us to establish a formula for the joint distribution of three functions, or statistics'', on such Weyl groups. Finally, we compare our explicit formulae to @math -adic integrals associated to relative invariants of three infinite families of prehomogeneous vector spaces. 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. These zeta functions encode, 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. In this paper, we show that such bivariate zeta functions specialise to (univariate) class number zeta functions. In case of nilpotency class 2, bivariate representation zeta functions also specialise to (univariate) twist representation zeta functions. Moreover, we show that these zeta functions satisfy Euler factorisations and almost all of their Euler factors satisfy rationality and functional equations. In the second part of this work, we compute the above mentioned zeta functions of three infinite families of nilpotent groups of class two and deduce some combinatorial corollaries. 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 [9, Section 5]. 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. Abstract We calculate the representation zeta function of the Heisenberg group over the integers of a quadratic number field. In general, the representation zeta function of a finitely generated torsion-free nilpotent group enumerates equivalence classes of representations, called twist-isoclasses. This calculation is based on an explicit description of a representative from each twist-isoclass. Our method of construction involves studying the eigenspace structure of the elements of the image of the representation and then picking a suitable basis for the underlying vector space. We produce explicit formulae for various ideal zeta functions associated to the members of an infinite family of class- @math -nilpotent Lie rings, introduced in [8], 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 enumerate traceless square matrices over finite quotients of compact discrete valuation rings by their image sizes. We express the associated rational generating functions in terms of statistics on symmetric and hyperoctahedral groups, viz. Coxeter groups of types A and B, respectively. These rational functions may also be interpreted as local representation zeta functions associated to the members of an infinite family of finitely generated class-2-nilpotent groups. We introduce new methods from p-adic integration into the study of representation zeta functions associated to compact p-adic analytic groups and arithmetic groups. They allow us to establish that the representation zeta functions of generic members of families of p-adic analytic pro-p groups obtained from a global, perfect' Lie lattice satisfy functional equations. In the case of semisimple' compact p-adic analytic groups, we exhibit a link between the relevant p-adic integrals and a natural filtration of the locus of irregular elements in the associated semisimple Lie algebra, defined by centraliser dimension. Based on this algebro-geometric description, we compute explicit formulae for the representation zeta functions of principal congruence subgroups of the groups SL_3(O), where O is a compact discrete valuation ring of characteristic 0, and of the corresponding unitary groups. These formulae, combined with approximative Clifford theory, allow us to determine the abscissae of convergence of representation zeta functions associated to arithmetic subgroups of algebraic groups of type A_2. Assuming a conjecture of Serre on the Congruence Subgroup Problem, we thereby prove a conjecture of Larsen and Lubotzky on lattices in higher-rank semisimple groups for algebraic groups of type A_2 defined over number fields. 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 Sln(Qp). 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. The pro-isomorphic zeta function ( ^ _ (s) ) 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 ( Q _p )-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 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(O K ), where 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 inversion of the prime. We develop a practical method for computing local zeta functions of groups, algebras, and modules in fortunate cases. Using our method, we obtain a complete classification of generic local representation zeta functions associated with unipotent algebraic groups of dimension at most six. We also determine the generic local subalgebra zeta functions associated with gl2(Q). Finally, we introduce and compute examples of graded subobject zeta functions. Let @math be a number field with ring of integers @math . We compute explicitly the local factors of the normal zeta functions of the Heisenberg groups @math that are indexed by rational primes which are unramified in @math . We show that these local zeta functions satisfy functional equations upon the inversion of the prime. Publisher Summary This chapter focuses on zeta functions of finite graphs and representations of p-adic groups. It discusses two different subjects: first is a combinatorial problem in algebraic graph theory, and the other is arithmetic of discrete subgroups of p-adic groups and their representations. The chapter presents the notation and basic definitions in graph theory. It also presents a generalization of the definition of zeta function. Spectrum of a finite multigraph is analyzed in the chapter. Moreover, the chapter also describes harmonic functions and the Hodge decomposition. The chapter also presents the computation of zeta functions Zx(u) for some well known families of graphs. These computations give many examples of graphs that are not Ramanujan graphs. We report on progress and problems concerning the analytical behaviour of the zeta functions of groups and rings. We also describe how these generating functions are special cases of adelic cone integrals for which our results hold. Let BG be the classifying space of a finite group G. Given a multiplicative cohomology theory E ⁄ , the assignment G 7i! E ⁄ (BG) is a functor from groups to rings, endowed with induction (transfer) maps. In this paper we investigate these functors for complex oriented cohomology theories E ⁄ , using the theory of complex representations of finite groups as a model for what one would like to know. An analogue of Artin's Theorem is proved for all complex oriented E ⁄ : the abelian subgroups of G serve as a detecting family for E ⁄ (BG), modulo torsion dividing the order of G. When E ⁄ is a complete local ring, with residue field of characteristic p and associated formal group of height n, we construct a character ring of class functions that computes 1 E ⁄ (BG). The domain of the characters is Gn,p, the set of n-tuples of elements in G each of which has order a power of p. A formula for induction is also found. The ideas we use are related to the Lubin Tate theory of formal groups. The construction applies to many cohomology theories of current interest: completed versions of elliptic cohomology, E ⁄ n- theory, etc. The nth Morava K-theory Euler characteristic for BG is computed to be the number of G-orbits in Gn.p. For various groups G, including all symmetric groups, we prove that K(n)⁄(BG) concentrated in even degrees. Our results about E⁄(BG) extend to theorems about E⁄(EG◊GX), where X is a finite G-CW complex. Let F2,d denote the free class-2-nilpotent group on d generators. We compute the normal zeta functions ζ � F2,d (s), prove that they satisfy local functional equations and determine their abscissae of convergence and pole orders. Let G be a compact Lie group. We present two induction theorems for certain generalized G-equivariant cohomology theories. The theory applies to G-equivariant K-theory K G , and to the Borel cohomology associated with any complex oriented cohomology theory. The coefficient ring of K G is the representation ring R(G) of G. When G is a finite group the induction theorems for K G coincide with the classical Artin and Brauer induction theorems for R(G). We prove a two-part theorem on local ideal zeta functions of Lie rings of upper-triangular matrices. First, we prove that these local zeta functions display a strong uniformity. Secondly, we prove that these zeta functions satisfy a local functional equation. Some explicit examples of these zeta functions are also presented. Finally, we consider certain quotients of these Lie rings, showing that the strong uniformity continues to hold, and that under certain circumstances the functional equation does too. We conjecture that every finite groupGhas a short presentation (in terms of generators and relations) in the sense that the totallengthof the relations is (log|G|)O(1). We show that it suffices to prove this conjecture for simple groups. Motivated by applications in computational complexity theory, we conjecture that for finite simple groups, such a short presentation is computable in polynomial time from the standard name ofG, assuming in the case of Lie type simple groups overGF(pm) that an irreducible polynomialfof degreemoverGF(p) and a primitive root ofGF(pm) are given. We verify this (stronger) conjecture for all finite simple groups except for the three families of rank 1 twisted groups: we do not handle the unitary groupsPSU(3, q) = 2A2(q), the Suzuki groupsSz(q) = 2B2(q), and the Ree groupsR(q) = 2G2(q). In particular,all finite groups G without composition factors of these types have presentations of length O((log|G|)3). For groups of Lie type (normal or twisted) of rank ≥ 2, we use a reduced version of the Curtis–Steinberg–Tits presentation. We use generating functions to relate the expected values of polynomial factorization statistics over @math to the cohomology of ordered configurations in @math as a representation of the symmetric group. Our methods lead to a new proof of the twisted Grothendieck-Lefschetz formula for squarefree polynomial factorization statistics of Church, Ellenberg, and Farb.