Invariant random subgroups of linear groups

Probabilistic methods in group theory (20P99) General properties and structure of locally compact groups (22D05) Measurable group actions (22F10) Probability measures on groups or semigroups, Fourier transforms, factorization (60B15) Probability theory on algebraic and topological structures (60B99)

Abstract: Let

G a m m a < m a t h r m {G L}_{n} (F)

be a countable non-amenable linear group with a simple, center free Zariski closure,

m a t h r m S u b (G a m m a)

the space of all subgroups of

G a m m a

with the, compact, metric, Chabauty topology. An invariant random subgroup (IRS) of

G a m m a

is a conjugation invariant Borel probability measure on

m a t h r m S u b (G a m m a)

. An

m a t h r m I R S

is called nontrivial if it does not have an atom in the trivial group, i.e. if it is nontrivial almost surely. We denote by

m a t h r m {I R S}^{0} (G a m m a)

the collection of all nontrivial

m a t h r m I R S

on

G a m m a

. We show that there exits a free subgroup

F < G a m m a

and a non-discrete group topology

m a t h r m S t

on

G a m m a

such that for every

m u i n m a t h r m {I R S}^{0} (G a m m a)

the following properties hold: (i)

m u

-almost every subgroup of

G a m m a

is open. (ii)

F c d o t D e l t a = G a m m a

for

m u

-almost every

D e l t a i n m a t h r m S u b (G a m m a)

. (iii)

F c a p D e l t a

is infinitely generated, for every open subgroup. (iv) The map

P h i : (m a t h r m S u b (G a m m a), m u) i g h t a r r o w (m a t h r m S u b (F), P h i_{*} m u)

given by

D e l t a m a p s t o D e l t a c a p F

, is an

F

-invariant isomorphism of probability spaces. We say that an action of

G a m m a

on a probability space, by measure preserving transformations, is almost surely non free (ASNF) if almost all point stabilizers are non-trivial. As a corollary of the above theorem we show that the product of finitely many ANSF

G a m m a

-spaces, with the diagonal

G a m m a

action, is ASNF. Let

G a m m a < m a t h r m {G L}_{n} (F)

be a countable linear group,

A l h d G a m m a

the maximal normal amenable subgroup of

G a m m a

. We show that if

m u i n m a t h r m I R S (G a m m a)

is supported on amenable subgroups of

G a m m a

then in fact it is supported on

m a t h r m S u b (A)

. In particular if

A (G a m m a) = l a n g l e e a n g l e

then

D e l t a = l a n g l e e a n g l e, m u

almost surely.

Review text

Let \(\Gamma\) be a countable group. \(\text{Sub}(\Gamma)\), the collection of all subgroups of \(\Gamma\), is a compact metrizable space under the Chabauty topology. An invariant random subgroup (IRS) of \(\Gamma\) is by definition a Borel probability measure on \(\text{Sub}(\Gamma)\) that is invariant w.r.t.\ \(\Gamma\) acting by conjugation. For example, if \(\Gamma\) acts on a probability space by measure preserving transformations, then the distribution of the stabilizer of a random point defines an IRS. The main result of the paper under review is somewhat reminiscent of the Tits alternative. A simple version, given as Theorem 1.14, is concerned with the case in which \(\Gamma\) is non-amenable, and \(\chi\) is a linear representation of \(\Gamma\) whose image has simple, center free, Zariski closure. \(\chi\) gives rise to a subclass \(\text{IRS}^{\chi}(\Gamma)\), consisting of those \(\mu\) for which almost all samples have nontrivial image under \(\chi\). Then there is a topology on \(\Gamma\) such that \(\mu\)-almost every \(\Delta \in \text{Sub}(\Gamma)\) is open for every \(\mu \in \text{IRS}^{\chi}(\Gamma)\). Furthermore, \(\Gamma\) contains a proper free subgroup \(F\) such that for every \(\mu \in \text{IRS}^{\chi}(\Gamma)\) one has that \(F \cdot \Delta = \Gamma, F \cap \Delta \neq 1\) for \(\mu\)-almost all random subgroups \(\Delta\), and \(\Delta \mapsto \Delta \cap F\) is an isomorphism of the probability spaces \((\text{Sub}(\Gamma), \mu)\) and \((\text{Sub}(F), \mu_{|F})\).

Recommendations

Cites work

Cited in

(21)

This page was built for publication: Invariant random subgroups of linear groups

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