Patterson-Sullivan-Maß
# Patterson-Sullivan-Maß

In der Mathematik sind Patterson-Sullivan-Maße ein Hilfsmittel, um diskrete Gruppen von Isometrien symmetrischer Räume mittels ihrer „Dynamik im Unendlichen“ zu untersuchen. Es handelt sich um Maße auf der Limesmenge der Gruppe mit gewissen Äquivarianz- und Absolutstetigkeitseigenschaften.
Sie wurden zunächst für die hyperbolische Ebene durch Samuel Patterson und für höherdimensionale hyperbolische Räume durch Dennis Sullivan eingeführt und von Paul Albuquerque für symmetrische Räume nichtkompakten Typs verallgemeinert.

## Definition

Sei $M=\Gamma \backslash X$ ein lokal symmetrischer Raum mit riemannscher Metrik $g$. Dann gibt es eine Familie $\left\{\mu _{x}\right\}_{x\in X}$ von Wahrscheinlichkeitsmaßen auf dem Rand im Unendlichen $\partial X$ mit folgenden Eigenschaften
* Alle $\mu _{x}$ sind atomlose Maße.
* Die Familie der Maße $\left\{\mu _{x}\right\}$ ist $\Gamma$-äquivariant:
       $\gamma _{*}\mu _{x}=\mu _{\gamma x}\ \forall \gamma \in \Gamma$.
* Für alle $x,y\in X$ ist $\mu _{y}$ absolutstetig bzgl. $\mu _{x}$. Die Radon-Nikodým-Ableitung ist gegeben durch
       ${\frac {d\mu _{x}}{d\mu _{y}}}(\xi )=e^{h(g)B(x,y,\xi )}$,
    wobei $h(g)$ die Volumenentropie und $B(x,y,\xi )$ die Busemann-Funktion ist.

## Konstruktion

Für $x\in X$ und $s\in \mathbb {R}$ betrachte die Poincaré-Reihe
    $\psi (s)=\sum _{\gamma \in \Gamma }e^{-sd(x,\gamma x)}$.
Es gibt einen „kritischen Exponenten“ $\delta (\Gamma )$, so dass die Reihe für $s>\delta (\Gamma )$ konvergiert und für $s<\delta (\Gamma )$ divergiert.
Patterson-Sullivan-Maße $\mu _{x}$ erhält man für monoton fallende Folgen $s\to \delta (\Gamma )$ als schwach-*-Häufungspunkt der Folge von Maßen
    $\mu _{s,x}={\frac {1}{\psi (s)}}\sum _{\gamma \in \Gamma }e^{-sd(x,\gamma x)}D_{\gamma x}$,
wobei $D_{\gamma x}$ das Diracmaß in $\gamma x$ bezeichnet und im Fall $\psi (\delta (\Gamma ))<\infty$ noch eine langsam steigende Funktion dazuaddiert wird.

## Anwendungen
### Potentialtheorie

Für ein Patterson-Sullivan Maß $\left\{\mu _{x}\right\}_{x\in X}$ und eine beschränkte Funktion $f$ auf $\partial _{\infty }X$ erhält man eine harmonische Funktion auf $X$ durch
    $F(x)=\int _{\partial _{\infty }X}fd\mu _{x}$.
Es gilt $\Vert F\Vert _{\infty }=\Vert f\Vert _{\infty }$.

### Starrheitssätze

Für den Beweis verschiedener Starrheitssätze ist es nützlich, zu einer Randabbildung
    $f\colon \partial _{\infty }X\to \partial _{\infty }$
eine kanonische Abbildung
    $F\colon X\to Y$
mit $\partial _{\infty }F=f$ konstruieren zu können.
Dazu betrachtet man die durch die Patterson-Sullivan-Maße gegebene Einbettung
    $X\to {\mathcal {M}}(\partial _{\infty }X)$,
den Pushforward
    $f_{*}\colon {\mathcal {M}}(\partial _{\infty }X)\to {\mathcal {M}}(\partial _{\infty }Y)$
und das Baryzentrum
    $bar\colon {\mathcal {M}}(\partial _{\infty }y)\to Y$,
und definiert $F$ als die Hintereinanderausführung dieser Abbildungen.

### Kleinsche Gruppen

Nach der Identifikation $\partial _{\infty }H^{n}=S^{n-1}$ definiert
    $\nu :={\frac {\mu \times \mu }{\vert x-y\vert ^{2\delta }}}$
mit dem chordalen Abstand $\vert x-y\vert$ ein $\Gamma$-invariantes Maß auf dem Komplement der Diagonalen in $S^{n-1}\times S^{n-1}$. Da dieser Raum mit dem Einheitstangentialbündel $T^{1}H^{n}$ identifiziert werden kann, gibt $\nu$ ein Maß auf $T^{1}M$, welches unter dem geodätischen Fluss invariant ist. Der geodätische Fluss ist für dieses Maß entweder ergodisch oder dissipativ. Falls $\delta (\Gamma )>{\tfrac {n-1}{2}}$, dann ist der geodätische Fluss genau dann ergodisch, wenn die Poincaré-Reihe im kritischen Wert $s=\delta (\Gamma )$ divergiert.
Für konvex-kokompakte Gruppen ist $\delta (\Gamma )$ die Hausdorff-Dimension der Limesmenge. Die Poincaré-Reihe divergiert im kritischen Wert $s=\delta (\Gamma )$.

## Eigenschaften

Aus der ersten Bedingung und der Transitivität von $Isom(X)$ auf $X$ folgt, dass alle $\mu _{x}$ Wahrscheinlichkeitsmaße sind. Man bekommt also eine Einbettung von $X$ in den Raum der Wahrscheinlichkeitsmaße auf dem Rand im Unendlichen.
Wenn $\Gamma$ eine Zariski-dichte Untergruppe von $Isom(X)$ ist, dann gibt es einen $G$-Orbit auf $\partial _{\infty }X$, so dass der Träger jedes Patterson-Sullivan-Maßes der Durchschnitt dieses Orbits mit der Limesmenge von $\Gamma$ ist. Falls außerdem $\psi (\delta (\Gamma ))=\infty$, dann gibt es nur ein Patterson-Sullivan-Maß.
Wenn $\Gamma$ ein Gitter in $Isom(M)$ ist, dann ist der Träger von $\mu _{x}$ der $G$ des Baryzentrums einer Weyl-Kammer im Unendlichen. Im Allgemeinen kann für Zariski-dichte Gruppen aber jeder Orbit eines regulären Punktes als Träger von $\mu _{x}$ vorkommen.
Der Träger von $\mu _{x}$ ist damit also enthalten in einer Teilmenge
    $\partial _{F}X\subset \partial _{\infty }X$,
die äquivariant isomorph zum Furstenberg-Rand ist. $\mu _{x}$ ist das einzige $Stab(x)$-invariante Wahrscheinlichkeitsmaß auf $\partial _{F}X$.