Rand (Gruppe)
# Rand (Gruppe)

In der Mathematik ist der Rand einer Gruppe ein wichtiges Hilfsmittel der Darstellungstheorie. Darstellungen von Gruppen können häufig mittels ihrer Randabbildungen untersucht werden.

Die hier gegebene allgemeine Definition verallgemeinert den Furstenberg-Poisson-Rand lokalkompakter Gruppen und auch den Rand im Unendlichen hyperbolischer Fundamentalgruppen.

## Definition

Sei $G$ eine topologische Gruppe. Ein G-Raum $B$ mit einem invarianten Lebesgue-Maß $\mu$ heißt Rand von G, wenn er ein mittelbarer G-Raum ist und die Projektion $B\times B\to B$ auf den ersten oder zweiten Faktor relativ metrisch ergodisch ist.

## Existenz

Jede lokalkompakte Gruppe, die das zweite Abzählbarkeitsaxiom erfüllt, besitzt einen Rand. Er stimmt mit dem Furstenberg-Poisson-Rand eines symmetrischen, aufspannenden Maßes überein.

## Beispiele

* Der Furstenberg-Rand einer halbeinfachen Lie-Gruppe $G$ ist $G/P$ für eine Borel-Untergruppe $P\subset G$. Jeder Rand von $G$ ist ein äquivariantes Bild von $G/P$.
* Wenn $B$ der Rand einer lokalkompakten Gruppe $G$ ist, dann ist es auch ein Rand für jedes Gitter $\Gamma \subset G$.
* Sei $M$ eine kompakte Riemannsche Mannigfaltigkeit negativer Schnittkrümmung und ${\widetilde {M}}$ ihre universelle Überlagerung. Dann ist der Rand im Unendlichen mit einem Patterson-Sullivan-Maß ein Rand von $\pi _{1}M$.

## Randabbildung

### Definition

Sei $\Gamma$ eine abzählbare Gruppe mit Rand $B$. Dann gibt es zu jeder Darstellung

    $\rho \colon \Gamma \to \operatorname {GL} (n,k)$

mit unbeschränktem und Zariski-dichtem Bild in die allgemeine lineare Gruppe über einem lokalen Körper $k$ eine eindeutige messbare, $\rho$-äquivariante Abbildung

    $\xi \colon B\to \operatorname {Flag} (k^{n+1})$

in die Fahnenmannigfaltigkeit $\operatorname {Flag} (k^{n+1})$.

### Beispiele

* Anosov-Darstellungen haben eine stetige Randabbildung.
* Die Randabbildung der einzigen irreduziblen Darstellung $\rho \colon \operatorname {SL} (2,\mathbb {R} )\to \operatorname {GL} (n,\mathbb {R} )$ ist eine von einer hyperkonvexen Kurve erzeugte Einbettung $\xi =(\xi _{1},\ldots ,\xi _{n})\colon P^{1}\mathbb {R} \to \operatorname {Flag} (\mathbb {R} ^{n+1})$, deren erzeugende erste Komponente $\xi _{1}\colon P^{1}\mathbb {R} \to P^{n}\mathbb {R}$ die Veronese-Einbettung ist.
