Expansion, random walks and sieving in \(SL_2({\mathbb{F}_p}[t])\) (Q501844): Difference between revisions
From MaRDI portal
Revision as of 06:17, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Expansion, random walks and sieving in \(SL_2({\mathbb{F}_p}[t])\) |
scientific article |
Statements
Expansion, random walks and sieving in \(SL_2({\mathbb{F}_p}[t])\) (English)
0 references
10 January 2017
0 references
The author considers random walks on \(\Gamma:=\mathrm{SL}_2(\mathbb F_p[t])\), for a prime \(p\geq 3\), and establishes escape rates from various proper subsets. The elementary law \(\mu_S\) of the random walk is assumed to be uniform on a finite symmetric subset \(S\subset\Gamma\), that generates a non-elementary subgroup of \(\Gamma\). A first result provides the following escape rate from a proper algebraic subvariety \(V\) of \(\Gamma^r:\mu_S^{(n)\otimes r}(V)\leq C^{-1}e^{-Cn}\), for arbitrary convolution power \(n\) and some positive constant \(C\). A second result extends a previous result established in characteristic 0, and asserts that \(\mu_S^{(n)}(\{g^2\mid g\in\Gamma\})\leq C^{-1}e^{-C\sqrt{n/\log n}}\). A third result asserts that this same second estimate holds for the subset of those \(g\in\Gamma\) which have a reducible characteristic polynomial. The strategy of the author is based on the construction of convenient so-called ``expanders'', that is to say, pairs \((G,\Sigma)\), where \(G\) is a finite group and \(\Sigma\) a symmetric subset of \(G\) such that the convolution by the uniform law on \(\Sigma\) yields an operator of norm \(<1\) in \(L^2_0(G)\). The construction of those expanders relies mainly on a method initiated by Bourgain and Gamburd, who use ``quasirandom'' groups \(G\). In this spirit, the author obtains families of expanders having the form \((\mathrm{SL}_2(\mathbb F_p[t]/(P)),S/(P))\), where \(S\) is as above, \(S/(P)\) denotes the canonical image of \(S\) in the quotient \(\mathbb F_p[t]/(P)\), and, for example, the polynomial \(P\in\mathbb F_p[t]\) is irreducible with degree having only large prime divisors.
0 references
linear groups in characteristic \(\geq 3\)
0 references
convolution powers
0 references
random walks on groups
0 references
escape rate
0 references
algebraic subvariety
0 references
congruence quotients
0 references
adjacency operator
0 references
expanders
0 references