Searcharxiv⌕ Search

arXiv subjects

Uri Onn

Publications and source records attributed to Uri Onn.

At least 19 recordsLinked to original sources
arXiv2024

Representation zeta functions of groups of type $A_2$ in positive characteristic

We prove two conjectures regarding the representation growth of groups of type $A_2$. The first, conjectured by Avni, Klopsch, Onn and Voll, regards the uniformity of representation zeta functions over local complete discrete valuation rings. The second is the Larsen--Lubotzky conjecture on the representation growth of irreducible lattices in groups of type $A_2$ in positive characteristic assuming Serre's conjecture on the congruence subgroup problem.

math.RT↗
arXiv2024

An inductive approach to representations of general linear groups over compact discrete valuation rings

In his seminal Lecture Notes in Mathematics published in 1981, Andrey Zelevinsky introduced a new family of Hopf algebras which he called {\em PSH-algebras}. These algebras were designed to capture the representation theory of the symmetric groups and of classical groups over finite fields. The gist of this construction is to translate representation-theoretic operations such as induction and restriction and their parabolic variants to algebra and coalgebra operations such as multiplication and comultiplication. The Mackey formula, for example, is then reincarnated as the Hopf axiom on the algebra side. In this paper we take substantial steps to adapt these ideas for general linear groups over compact discrete valuation rings. We construct an analogous bialgebra that contains a large PSH-algebra that extends Zelevinsky's algebra for the case of general linear groups over finite fields. We prove several base change results relating algebras over extensions of discrete valuation rings.

math.RT↗
arXiv2023

Functor morphing and representations of automorphism groups of modules

We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible representations in terms of smaller building blocks using symmetric monoidal categories and invariant theory.

math.RT↗
arXiv2023

On pro-isomorphic zeta functions of $D^*$-groups of even Hirsch length

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'.

math.GR↗
arXiv2016

A variant of Harish-Chandra functors

Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a test case, we examine in detail the induction and restriction of representations from and to the Siegel Levi subgroup of the symplectic group Sp(4) over a finite local principal ideal ring of length two. We obtain in this case a Mackey-type formula for the composition of these induction and restriction functors which is a perfect analogue of the well-known formula for the composition of Harish-Chandra functors. In a different direction, we study representations of the Iwahori subgroup I(n) of GL(n,F), where F is a non-archimedean local field. We establish a bijection between the set of irreducible representations of I(n) and tuples of primitive irreducible representations of smaller Iwahori subgroups, where primitivity is defined by the vanishing of suitable restriction functors.

math.RT↗
arXiv2016

A family of class-2 nilpotent groups, their automorphisms and pro-isomorphic zeta functions

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$.

math.GR↗
arXiv2016

Regular characters of groups of type A_n over discrete valuation rings

Let O be a complete discrete valuation ring with finite residue field k of odd characteristic. Let G be a general or special linear group or a unitary group defined over O and let $\mathfrak{g}$ denote its Lie algebra. For every positive integer l, let $K^l$ be the l-th principal congruence subgroup of G(O). A continuous irreducible representation of G(O) is called regular of level l if it is trivial on $K^{l+1}$ and its restriction to $K^l/K^{l+1} \simeq \mathfrak{g}(k)$ consists of characters with G(k)-stabiliser of minimal dimension. In this paper we construct the regular characters of G(O), compute their degrees and show that the latter satisfy Ennola duality. We give explicit uniform formulae for the regular part of the representation zeta functions of these groups.

math.RT↗
arXiv2016

Arithmetic groups, base change, and representation growth

Consider an arithmetic group $\mathbf{G}(O_S)$, where $\mathbf{G}$ is an affine group scheme with connected, simply connected absolutely almost simple generic fiber, defined over the ring of $S$-integers $O_S$ of a number field $K$ with respect to a finite set of places $S$. For each $n \in \mathbb{N}$, let $R_n(\mathbf{G}(O_S))$ denote the number of irreducible complex representations of $\mathbf{G}(O_S)$ of dimension at most $n$. The degree of representation growth $α(\mathbf{G}(O_S)) = \lim_{n \rightarrow \infty} \log R_n(\mathbf{G}(O_S)) / \log n$ is finite if and only if $\mathbf{G}(O_S)$ has the weak Congruence Subgroup Property. We establish that for every $\mathbf{G}(O_S)$ with the weak Congruence Subgroup Property the invariant $α(\mathbf{G}(O_S))$ is already determined by the absolute root system of $\mathbf{G}$. To show this we demonstrate that the abscissae of convergence of the representation zeta functions of such groups are invariant under base extensions $K \subset L$. We deduce from our result a variant of a conjecture of Larsen and Lubotzky regarding the representation growth of irreducible lattices in higher rank semi-simple groups. In particular, this reduces Larsen and Lubotzky's conjecture to Serre's conjecture on the weak Congruence Subgroup Property, which it refines.

math.GR↗
arXiv2015

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

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'.

math.GR↗
arXiv2012

On some geometric representations of GL(n,O)

We study a family of complex representations of the group GL(n,O), where O is the ring of integers of a non-archimedean local field F. These representations occur in the restriction of the Grassmann representation of GL(n,F) to its maximal compact subgroup GL(n,O). We compute explicitly the transition matrix between a geometric basis of the Hecke algebra associated with the representation and an algebraic basis which consists of its minimal idempotents. The transition matrix involves combinatorial invariants of lattices of submodules of finite O-modules. The idempotents are p-adic analogs of the multivariable Jacobi polynomials.

math.RT↗
arXiv2012

Uniform cell decomposition with applications to Chevalley groups

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.

math.LO↗
arXiv2011

Geometric interpretation of Murphy bases and an application

In this article we study the representations of general linear groups which arise from their action on flag spaces. These representations can be decomposed into irreducibles by proving that the associated Hecke algebra is cellular. We give a geometric interpretation of a cellular basis of such Hecke algebras which was introduced by Murphy in the case of finite fields. We apply these results to decompose representations which arise from the space of modules over principal ideal local rings of length two with a finite residue field.

math.RT↗
arXiv2010

Representation zeta functions of compact p-adic analytic groups and arithmetic 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.

math.GR↗
arXiv2010

Representation zeta functions of some compact p-adic analytic groups

Using the Kirillov orbit method, novel methods from p-adic integration and Clifford theory, we study representation zeta functions associated to compact p-adic analytic groups. In particular, we give general estimates for the abscissae of convergence of such zeta functions. We compute explicit formulae for the representation zeta functions of some compact p-adic analytic groups, defined over a compact discrete valuation ring O of characteristic 0. These include principal congruence subgroups of SL_2(O), without any restrictions on the residue field characteristic of O, as well as the norm one group SL_1(D) of a non-split quaternion algebra D over the field of fractions of O and its principal congruence subgroups. We also determine the representation zeta functions of principal congruence subgroups of SL_3(O) in the case that O has residue field characteristic 3 and is unramified over Z_3.

math.GR↗
arXiv2010

On representation zeta functions of groups and a conjecture of Larsen and Lubotzky

We study zeta functions enumerating finite-dimensional irreducible complex linear representations of compact p-adic analytic and of arithmetic groups. Using methods from p-adic integration, we show that the zeta functions associated to certain p-adic analytic pro-p groups satisfy functional equations. We prove a conjecture of Larsen and Lubotzky regarding the abscissa of convergence of arithmetic groups of type A_2 defined over number fields, assuming a conjecture of Serre on lattices in semisimple groups of rank greater than 1.

math.GR↗
arXiv2008

Representations of automorphism groups of finite O-modules of rank two

Let O be a complete discrete valuation domain with finite residue field. In this paper we describe the irreducible representations of the groups Aut(M) for any finite O-module M of rank two. The main emphasis is on the interaction between the different groups and their representations. An induction scheme is developed in order to study the whole family of these groups coherently. The results obtained depend on the ring O in a very weak manner, mainly through the degree of the residue field. In particular, a uniform description of the irreducible representations of GL(2,O/P^k) is obtained, where P is the maximal ideal of O.

math.RT↗