Expansion, random walks and sieving in \(SL_2({\mathbb{F}_p}[t])\) (Q501844): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Uniform expansion bounds for Cayley graphs of \(\text{SL}_2(\mathbb F_p)\). / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2908720 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximate subgroups and super-strong approximation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximate subgroups of linear groups. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expansion in finite simple groups of Lie type. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the girth of random Cayley graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasirandom Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3416243 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the minimal degrees of projective representations of the finite Chevalley groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Number of Points of Varieties in Finite Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sieve methods in group theory I: Powers in linear groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Growth in linear groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expansion in perfect groups. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounds for multiplicities of automorphic representations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5248797 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Product set estimates for non-commutative groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expansion in \(\mathrm{SL}_d(\mathcal O_K/I)\), \(I\) square-free. / rank
 
Normal rank

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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references