Quantifying residual finiteness of arithmetic groups.

DOI10.1112/S0010437X11007469MaRDI QIDQ2894208zbMATH OpenFDO

Authors Khalid Bou-Rabee, Tasho Kaletha

Publication date 29 June 2012

Published in Compositio Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1008.3579

zbMATH Keywords

arithmetic groupsfinitely generated residually finite groupsgrowth functionsnormal residual finiteness growthresidual finitenesssubgroups of finite index

Mathematics Subject Classification ID

Structure of modular groups and generalizations; arithmetic groups (11F06) Subgroup theorems; subgroup growth (20E07) Residual properties and generalizations; residually finite groups (20E26) Generators, relations, and presentations of groups (20F05) Asymptotic properties of groups (20F69) Linear algebraic groups over arbitrary fields (20G15) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05) Discrete subgroups of Lie groups (22E40)

Abstract: The normal Farb growth of a group quantifies how well-approximated the group is by its finite quotients. We show that any S-arithmetic subgroup of a higher rank Chevalley group G has normal Farb growth n^dim(G).

Review text

Let \(\Gamma\) be a finitely generated residually finite group. Given an element \(g\in\Gamma\), define its `depth' \(D_\Gamma(g)\) as the minimal order of a finite quotient of \(\Gamma\) in which \(g\) remains not equal to \(1\). The `normal residual finiteness growth function' \(F_{\Gamma,X}(n)\) is defined as the maximal depth of a non-identity element in \(\Gamma\) of length at most \(n\) with respect to a finite generating set \(X\). The asymptotic growth of this function is independent of \(X\). It is called the `normal residual finiteness growth' of \(\Gamma\). The normal residual finiteness growth quantifies how well approximated the group is by its finite quotients. Its study was initiated by the first author of this paper [in J. Algebra 323, No. 3, 729-737 (2010; Zbl 1222.20020)].NEWLINENEWLINE Let \(G\) be a Chevalley group of rank at least two. The main result of the present paper shows that the normal residual finiteness growth of every \(S\)-arithmetic subgroup of \(G\) is precisely \(n^{\dim(G)}\). This is somewhat surprising because in general the normal residual finiteness growth of a group and its finite index subgroup is not necessarily the same -- see Example~2.5 in the paper. The proofs use a wide variety of known results about algebraic groups and arithmetic subgroups.

Recommendations

• Quantifying residual finiteness of linear groups
• Quantifying residual finiteness.
• Arbitrarily large residual finiteness growth
• Normal Subgroup Growth of Linear Groups: the (G2; F4;E8)-Theorem
• Rapid growth in finite simple groups
• scientific article; zbMATH DE number 3977259
• Some properties of polynomial subgroup growth groups
• On groups of polynomial subgroup growth
• scientific article; zbMATH DE number 4183695

Cites work

• Bounding the residual finiteness of free groups.
• Die adjungierten Darstellungen der Chevalley-Gruppen
• Quantifying residual finiteness.
• The word and Riemannian metrics on lattices of semisimple groups
• Unrefined minimal \(K\)-types for \(p\)-adic groups

Cited in

(26)

• Groups with near exponential residual finiteness growth
• Expected depth of random walks on groups
• Higher finiteness properties of reductive arithmetic groups in positive characteristic: the rank theorem.
• Residual dimension of nilpotent groups
• Quantifying residual finiteness.
• Effective twisted conjugacy separability of nilpotent groups
• Extremal behavior of divisibility functions.
• Zariski closures and subgroup separability
• Residual finiteness growths of virtually special groups.
• On the residual finiteness growths of particular hyperbolic manifold groups
• Systolic growth of linear groups
• Full residual finiteness growths of nilpotent groups
• Characterizing linear groups in terms of growth properties
• Approximating a group by its solvable quotients.
• The primitivity index function for a free group, and untangling closed curves on hyperbolic surfaces.With the appendix by Khalid Bou–Rabee
• Local commensurability graphs of solvable groups
• Quantifying residual finiteness of linear groups
• Intersection growth in groups
• Quantitative residual properties of Γ-limit groups
• Primitivity index bounds in free groups, and the second Chebyshev function
• Residual finiteness of extensions of arithmetic subgroups of \(\mathrm{SU}(d,1)\) with cusps
• Residual finiteness growth in virtually abelian groups
• Quantifying separability in limit groups via representations
• Effective conjugacy separability of virtually abelian groups
• Residual finiteness growth in two-step nilpotent groups
• Arbitrarily large residual finiteness growth

This page was built for publication: Quantifying residual finiteness of arithmetic groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894208)