Search arXivSearch

arXiv · 1410.4533

Similarity classes of integral $p$-adic matrices and representation zeta functions of groups of type $A_2$

Abstract

We compute explicitly Dirichlet generating functions enumerating finite-dimensional irreducible complex representations of various $p$-adic analytic and adelic profinite groups of type $\mathsf{A}_2$. This has consequences for the representation zeta functions of arithmetic groups $Γ\subset \mathbf{H}(k)$, where $k$ is a number field and $\mathbf{H}$ a $k$-form of $\mathsf{SL}_3$: assuming that $Γ$ possesses the strong Congruence Subgroup Property, we obtain precise, uniform estimates for the representation growth of $Γ$. Our results are based on explicit, uniform formulae for the representation zeta functions of the $p$-adic analytic groups $\mathsf{SL}_3(\mathfrak{o})$ and $\mathsf{SU}_3(\mathfrak{o})$, where $\mathfrak{o}$ is a compact discrete valuation ring of characteristic $0$. These formulae build on our classification of similarity classes of integral $\mathfrak{p}$-adic $3\times3$ matrices in $\mathfrak{gl}_3(\mathfrak{o})$ and $\mathfrak{gu}_3(\mathfrak{o})$, where $\mathfrak{o}$ is a compact discrete valuation ring of arbitrary characteristic. Organising the similarity classes by invariants which we call their shadows allows us to combine the Kirillov orbit method with Clifford theory to obtain explicit formulae for representation zeta functions. In a different direction we introduce and compute certain similarity class zeta functions. Our methods also yield formulae for representation zeta functions of various finite subquotients of groups of the form $\mathsf{SL}_3(\mathfrak{o})$, $\mathsf{SU}_3(\mathfrak{o})$, $\mathsf{GL}_3(\mathfrak{o})$, and $\mathsf{GU}_3(\mathfrak{o})$, arising from the respective congruence filtrations; these formulae are valid in case that the characteristic of $\mathfrak{o}$ is either $0$ or sufficiently large. Analysis of some of these formulae leads us to observe $p$-adic analogues of `Ennola duality'.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nir Avni, Benjamin Klopsch, Uri Onn, Christopher Voll. 2015-11-09. Similarity classes of integral $p$-adic matrices and representation zeta functions of groups of type $A_2$. https://doi.org/10.1112/plms%2Fpdv071

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Subindices and subfactors of $\mathbb{Z}_n$ and $k$-index stability of finite groups

We study subindices, subfactors, and index stability in the cyclic group $\mathbb{Z}_n$. We prove several theorems that not only confirm a conjecture and resolve some open problems about index stability of such groups, but also provide basic tools for the characterization of finite $k$-index stable groups. As a consequence, we completely characterize all 2-element index stable subsets of $\mathbb{Z}_n$, obtain an exact closed formula for their density, and determine all $n$ for which every 2-subset is index unstable. Finally, we present some problems and a research project extending the study to 3-subsets and general $k$-subsets.

math.GR

Virtually generating graphs of pro-$p$ groups

We study the virtually generating graph of pro-$p$ groups. We show that various classes of pro-$p$ groups have connected virtually generating graph and we bound its diameter in these cases; e.g.\ compact subgroups of analytic groups over local fields and the Nottingham group.

math.GR

Surface subgroups of Baumslag doubles along short words

If $U$ is a minimal, diskbusting, finite list of words in a free group $F_n$ of rank $n$ such that the sum of the lengths of words in $U$ is at most $2n+4$, we prove that the natural presentation complex of the Baumslag double of $F_n$ along $U$ virtually contains a $π_1$-injective embedded closed hyperbolic surface. This verifies the Tiling Conjecture of Kim and Wilton for this type of lists of words, and in particular, implies that the corresponding Baumslag double contains a hyperbolic surface subgroup.

math.GR