Source author record

Nir Avni

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

14works
9topics
4close collaborators

Published work

14 publications

preprint2020arXiv

On the model theory of higher rank arithmetic groups

Let ΓΓ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if ΓΓ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then ΓΓ is bi-interpretable with the ring Z\mathbb{Z} of integers. It follows that the first order theory of ΓΓ is undecidable, that all finitely generated subgroups of ΓΓ are definable, and that ΓΓ is characterized by a single first order sentence among all finitely generated groups.

preprint2016arXiv

Arithmetic groups, base change, and representation growth

Consider an arithmetic group G(OS)\mathbf{G}(O_S), where G\mathbf{G} is an affine group scheme with connected, simply connected absolutely almost simple generic fiber, defined over the ring of SS-integers OSO_S of a number field KK with respect to a finite set of places SS. For each n∈Nn \in \mathbb{N}, let Rn(G(OS))R_n(\mathbf{G}(O_S)) denote the number of irreducible complex representations of G(OS)\mathbf{G}(O_S) of dimension at most nn. The degree of representation growth α(G(OS))=lim⁡n→∞log⁡Rn(G(OS))/log⁡nα(\mathbf{G}(O_S)) = \lim_{n \rightarrow \infty} \log R_n(\mathbf{G}(O_S)) / \log n is finite if and only if G(OS)\mathbf{G}(O_S) has the weak Congruence Subgroup Property. We establish that for every G(OS)\mathbf{G}(O_S) with the weak Congruence Subgroup Property the invariant α(G(OS))α(\mathbf{G}(O_S)) is already determined by the absolute root system of G\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⊂LK \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.

preprint2016arXiv

Bounds on multiplicities of spherical spaces over finite fields

Let GG be a reductive group scheme of type AA acting on a spherical scheme XX. We prove that there exists a number CC such that the multiplicity dim⁡Hom(ρ,C[X(F)])\dim Hom(ρ,\mathbb{C}[X(F)]) is bounded by CC, for any finite field FF and any irreducible representation ρρ of G(F)G(F). We give an explicit bound for CC. We conjecture that this result is true for any reductive group scheme and when FF ranges (in addition) over all local fields of characteristic 00.

preprint2016arXiv

Relative Frobenius Formula

For a finite group GG, Frobenius found a formula for the values of the function ∑IrrG(dim⁡ π)−s\sum_{\mathrm{Irr} G} (\dim\, π)^{-s} for even integers ss, where IrrG\mathrm{Irr} G is the set of irreducible representations of GG. We generalize this formula to the relative case: for a subgroup HH, we find a formula for the values of the function ∑IrrG(dim⁡ π)−s(dim⁡ πH)−t\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.

preprint2014arXiv

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

We relate the asymptotic representation theory of SL(d,Zp)SL(d,\mathbb{Z}_p) and the singularities of the moduli space of SL(d)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,Zp)SL(d,\mathbb{Z}_p) grows slower than n22n^{22}, confirming a conjecture of Larsen and Lubotzky. Regarding the latter, we prove that the moduli space of SL(d)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.

preprint2011arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.

preprint2008arXiv

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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.