Strong subgroup recurrence and the Nevo-Stuck-Zimmer theorem

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Glasner, Yair, Lederle, Waltraud
Format: Preprint
Published: 2022
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913510641893376
author Glasner, Yair
Lederle, Waltraud
author_facet Glasner, Yair
Lederle, Waltraud
contents Let $Γ$ be a countable group and $\mathrm{Sub}(Γ)$ its Chabauty space, namely the compact $Γ$-space consisting of all subgroups of $Γ$. We call a subgroup $Δ\in \mathrm{Sub}(Γ)$ a boomerang subgroup if for every $γ\in Γ$, $γ^{n_i} Δγ^{-n_i} \rightarrow Δ$ for some subsequence $\{n_i \} \subset \mathbb{N}$. Poincaré recurrence implies that $μ$-almost every subgroup of $Γ$ is a boomerang, with respect to every invariant random subgroup $μ$ of $Γ$. We establish for boomerang subgroups many density related properties, most of which are known to hold almost surely for invariant random subgroups. Let $\mathbb{K}$ be a number field, $O$ its ring of integers, $S$ a finite set of valuations including all the Archimedean valuations, and $\mathbb{G}$ an absolutely almost simple group defined over $\mathbb{K}$. Our main result is that if $\mathrm{rk}_{\mathbb{K}} \mathbb{G} \ge 2$ then any $Γ$ which is commensurable to the $S$-arithmetic group $\mathbb{G}(O_S)$ has very few boomerang subgroups. Namely, every boomerang in $Γ$ is either finite and central or of finite index. In particular we recover Margulis' normal subgroup theorem as well as the Nevo-Stuck-Zimmer theorem for such lattices. We include a short, accessible proof for the above theorem in the case that $Γ$ is commensurable to $\mathrm{SL}_n(\mathbb{Z}), \ n \ge 3$.
format Preprint
id arxiv_https___arxiv_org_abs_2208_14758
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle Strong subgroup recurrence and the Nevo-Stuck-Zimmer theorem
Glasner, Yair
Lederle, Waltraud
Group Theory
20F65, 37B20, 20E42
Let $Γ$ be a countable group and $\mathrm{Sub}(Γ)$ its Chabauty space, namely the compact $Γ$-space consisting of all subgroups of $Γ$. We call a subgroup $Δ\in \mathrm{Sub}(Γ)$ a boomerang subgroup if for every $γ\in Γ$, $γ^{n_i} Δγ^{-n_i} \rightarrow Δ$ for some subsequence $\{n_i \} \subset \mathbb{N}$. Poincaré recurrence implies that $μ$-almost every subgroup of $Γ$ is a boomerang, with respect to every invariant random subgroup $μ$ of $Γ$. We establish for boomerang subgroups many density related properties, most of which are known to hold almost surely for invariant random subgroups. Let $\mathbb{K}$ be a number field, $O$ its ring of integers, $S$ a finite set of valuations including all the Archimedean valuations, and $\mathbb{G}$ an absolutely almost simple group defined over $\mathbb{K}$. Our main result is that if $\mathrm{rk}_{\mathbb{K}} \mathbb{G} \ge 2$ then any $Γ$ which is commensurable to the $S$-arithmetic group $\mathbb{G}(O_S)$ has very few boomerang subgroups. Namely, every boomerang in $Γ$ is either finite and central or of finite index. In particular we recover Margulis' normal subgroup theorem as well as the Nevo-Stuck-Zimmer theorem for such lattices. We include a short, accessible proof for the above theorem in the case that $Γ$ is commensurable to $\mathrm{SL}_n(\mathbb{Z}), \ n \ge 3$.
title Strong subgroup recurrence and the Nevo-Stuck-Zimmer theorem
topic Group Theory
20F65, 37B20, 20E42
url https://arxiv.org/abs/2208.14758