Probabilistic Tits alternative for circle diffeomorphisms

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autore principale: Vio, Martín Gilabert
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866910829955252224
author Vio, Martín Gilabert
author_facet Vio, Martín Gilabert
contents Let $μ_1, μ_2$ be probability measures on $\mathrm{Diff}^1_+(S^1)$ satisfying a suitable moment condition and such that their supports genererate discrete groups acting proximally on $S^1$. Let $(f^n_ω)_{n \in \mathbb{N}}, (f^n_{ω'})_{n \in \mathbb{N}}$ be two independent realizations of the random walk driven by $μ_1, μ_2$ respectively. We show that almost surely there is an $N \in \mathbb{N}$ such that for all $n \geq N$ the elements $f^n_ω, f^n_{ω'}$ generate a nonabelian free group. The proof is inspired by the strategy by R. Aoun for linear groups and uses work of A. Gorodetski, V. Kleptsyn and G. Monakov, and of P. Barrientos and D. Malicet. A weaker (and easier) statement holds for measures supported on $\mathrm{Homeo}_+(S^1)$ with no moment conditions.
format Preprint
id arxiv_https___arxiv_org_abs_2412_08779
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Probabilistic Tits alternative for circle diffeomorphisms
Vio, Martín Gilabert
Group Theory
Dynamical Systems
Probability
Let $μ_1, μ_2$ be probability measures on $\mathrm{Diff}^1_+(S^1)$ satisfying a suitable moment condition and such that their supports genererate discrete groups acting proximally on $S^1$. Let $(f^n_ω)_{n \in \mathbb{N}}, (f^n_{ω'})_{n \in \mathbb{N}}$ be two independent realizations of the random walk driven by $μ_1, μ_2$ respectively. We show that almost surely there is an $N \in \mathbb{N}$ such that for all $n \geq N$ the elements $f^n_ω, f^n_{ω'}$ generate a nonabelian free group. The proof is inspired by the strategy by R. Aoun for linear groups and uses work of A. Gorodetski, V. Kleptsyn and G. Monakov, and of P. Barrientos and D. Malicet. A weaker (and easier) statement holds for measures supported on $\mathrm{Homeo}_+(S^1)$ with no moment conditions.
title Probabilistic Tits alternative for circle diffeomorphisms
topic Group Theory
Dynamical Systems
Probability
url https://arxiv.org/abs/2412.08779