Searcharxiv⌕ Search

arXiv subjects

Nir Avni

Publications and source records attributed to Nir Avni.

34 records · Page 2Linked to original sources

Relative Frobenius Formula

For a finite group $G$, Frobenius found a formula for the values of the function $\sum_{\mathrm{Irr} G} (\dim\, π)^{-s}$ for even integers $s$, where $\mathrm{Irr} G$ is the set of irreducible representations of $G$. We generalize this formula to the relative case: for a subgroup $H$, we find a formula for the values of the function $\sum_{\mathrm{Irr} G} (\dim\, π)^{-s} (\dim\, π^H)^{-t}$. We apply our results to compute the E-polynomials of Fock--Goncharov spaces and to relate the Gelfand property to the geometry of generalized Fock--Goncharov spaces.

math.RT↗

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↗

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↗

Counting points of schemes over finite rings and counting representations of arithmetic lattices

We relate the singularities of a scheme $X$ to the asymptotics of the number of points of $X$ over finite rings. This gives a partial answer to a question of Mustata. We use this result to count representations of arithmetic lattices. More precisely, if $Γ$ is an arithmetic lattice whose $\mathbb{Q}$-rank is greater than one, let $r_n(Γ)$ be the number of irreducible $n$-dimensional representations of $Γ$ up to isomorphism. We prove that there is a constant $C$ (for example, $C=746$ suffices) such that $r_n(Γ)=O(n^C)$ for every such $Γ$. This answers a question of Larsen and Lubotzky.

math.GR↗

Representation Growth and Rational Singularities of the Moduli Space of Local Systems

We relate the asymptotic representation theory of $SL(d,\mathbb{Z}_p)$ and the singularities of the moduli space of $SL(d)$-local systems on a smooth projective curve, proving new theorems about both. Regarding the former, we prove that, for every d, the number of n-dimensional representations of $SL(d,\mathbb{Z}_p)$ grows slower than $n^{22}$, confirming a conjecture of Larsen and Lubotzky. Regarding the latter, we prove that the moduli space of $SL(d)$-local systems on a smooth projective curve of genus at least 12 has rational singularities. Most of our results apply more generally to semi-simple algebraic groups. For the proof, we study the analytic properties of push forwards of smooth measures under algebraic maps. More precisely, we show that such push forwards have continuous density if the algebraic map is flat and all of its fibers have rational singularities.

math.AG↗

Spherical Pairs Over Close Local Fields

Extending results of Kazhdan to the relative case, we relate harmonic analysis over some spherical spaces G(F)/H(F), where F is a field of positive characteristic, to harmonic analysis over the spherical spaces G(E)/H(E), where E is a suitably chosen field of characteristic 0. One of the Ingredients of the proof is a condition for finite generation of some modules over the Hecke algebra. We apply our results to show that the pair (GL_{n+1},GL_n) is a strong Gelfand pair for all local fields, and that the pair (GL_{n+k},GL_n x GL_k) is a Gelfand pair for all local fields of odd characteristic.

math.RT↗

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↗

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↗

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↗

Entropy Theory for Cross Sections

We define the notion of entropy for a cross section of an action of continuous amenable group and relate it to the entropy of the ambient action. As a result, we are able to answer a question of J.P. Thouvenot about completely positive entropy actions.

math.DS↗

On Commensurizer Growth

We study new asymptotic invariant of a pair consisting of a group and a subgroup, which we call Commensurizer Growth. We compute the commensurizer growth for several examples, concentrating mainly on the case of a locally compact topological group and a lattice inside it.

math.GR↗

Generating Product Systems

Generalizing Krieger's finite generation theorem, we give conditions for an ergodic system to be generated by a pair of partitions, each required to be measurable with respect to a given sub-algebra, and also required to have a fixed size.

math.DS↗

Similarity classes of 3x3 matrices over a local principal ideal ring

In this paper similarity classes of three by three matrices over a local principal ideal commutative ring are analyzed. When the residue field is finite, a generating function for the number of similarity classes for all finite quotients of the ring is computed explicitly.

math.GR↗

Arithmetic Groups Have Rational Representation Growth

Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a rational number.

math.GR↗

Connectivity of the Product Replacement Graph of Simple Groups of Bounded Lie Rank

The Product Replacement Algorithm is a practical algorithm for generating random elements of a finite group. The algorithm can be described as a random walk on a graph whose vertices are the generating k-tuples of the group (for a fixed integer k). We show that there is a function c(r) such that for any finite simple group of Lie type, with Lie rank r, the product replacement graph of the generating k-tuples is connected for any k > c(r). The proof uses results of Larsen and Pink and does not rely on the classification of finite simple groups.

math.GR↗