Invariant Random Subgroup
# Invariant Random Subgroup

Invariant Random Subgroup (IRS) ist ein Begriff aus der Mathematik.

## Definition

Sei $G$ eine topologische Gruppe, $Sub(G)$ der Raum der abgeschlossenen Untergruppen mit der Chabauty-Topologie. Eine invariant random subgroup ist ein Borelsches Wahrscheinlichkeitsmaß auf $Sub(G)$, dass unter der Konjugationswirkung von $G$ auf $Sub(G)$ invariant ist.

Der Raum aller solchen Maße mit der schwachen Topologie wird mit $IRS(G)$ bezeichnet.

## Beispiele

* Wenn $N$ ein Normalteiler ist, ist das Dirac-Maß $\delta _{N}$ eine IRS.
* Wenn $\Gamma \subset G$ ein Gitter ist, erhält man mittels der Abbildung $\Gamma g\in \Gamma \backslash G\to g^{-1}\Gamma g\in Sub(G)$ durch Push-Forward des auf $\Gamma \subset G$ auf Volumen $1$ normierten Haar-Maßes eine IRS auf $G$, die mit $\mu _{\Gamma }$ bezeichnet wird.

## Zusammenhang mit Benjamini-Schramm-Konvergenz

Sei $G$ eine zusammenhängende, halbeinfache Lie-Gruppe ohne kompakten Faktor und mit trivialem Zentrum, sei $K\subset G$ eine maximal kompakte Untergruppe und $X=G/K$ der symmetrische Raum. Dann sind für eine Folge von Gittern $\Gamma _{n}\subset G$ äquivalent:

* Die Folge $\Gamma _{n}\backslash X$ BS-konvergiert gegen $X$.
* Die Folge $\mu _{\Gamma _{n}}$ konvergiert in $IRS(G)$ gegen das Dirac-Maß auf der trivialen Untergruppe $\left\{1\right\}$.

## IRS in Lie-Gruppen

Sei $G$ eine nicht-kompakte, einfache Lie-Gruppe mit trivialem Zentrum und $rank_{\mathbb {R} }(G)\geq 2$. Dann folgt aus dem Satz von Nevo-Stuck-Zimmer, dass alle IRS entweder $\mu _{\Gamma }$ für ein Gitter $\Gamma$ oder $\mu _{id}$ oder $\mu _{G}$ sind.

Dagegen gibt es für nicht-kompakte, einfache Lie-Gruppen mit trivialem Zentrum und $rank_{\mathbb {R} }(G)=1$ zahlreiche „exotische“ IRS.

