# Benjamini-Schramm-Konvergenz

In der Mathematik ist Benjamini-Schramm-Konvergenz oder kurz BS-Konvergenz ein ursprünglich aus der Graphentheorie stammender und inzwischen auch in Geometrie und Topologie Anwendung findender Begriff.
Die Idee ist, unendliche Graphen oder nichtkompakte Riemannsche Mannigfaltigkeit durch endliche Graphen oder kompakte Riemannsche Mannigfaltigkeit zu approximieren.

## Benjamini-Schramm-Konvergenz von Graphen

Die folgende Definition wurde von Itai Benjamini und Oded Schramm in die Graphentheorie eingeführt.

### Definition

Zu jedem Graphen $G$ betrachten wir das Wahrscheinlichkeitsmaß $\mu _{G}$ auf der Menge der Wurzelgraphen, welches der Gleichverteilung auf der Menge der Wurzelgraphen $(G,o)$ für Knoten $o$ von $G$ entspricht. (Insbesondere hat $\mu _{G}$ seinen Träger auf der Menge der Wurzelgraphen, deren zugrundeliegender Graph $G$ ist.)
Auf einem Graphen $G$ kann man eine Metrik dadurch definieren, dass jeder Kante die Länge 1 zugeordnet wird. Für einen Wurzelgraphen $(G,o)$ und $r\in \mathbb {N}$ bezeichnet $B_{G}(o,r)$ den Untergraphen, der von allen Knoten aufgespannt wird, die von $o$ den Abstand kleiner als $r$ haben.
Eine Folge von Graphen beschränkter Valenz $G_{n}$ BS-konvergiert gegen einen Graph $G_{\infty }$, wenn für jeden Wurzelgraphen $(H,o_{H})$ und jedes $r\in \mathbb {N}$ die Wahrscheinlichkeit, dass $(G_{n},o)$ zu $(H,o_{H})$ isomorph ist, konvergiert gegen die Wahrscheinlichkeit, dass $(G_{\infty },o)$ zu $(H,o_{H})$ isomorph ist.

### Beispiel

Die Folge der Kreisgraphen $C_{n}$ BS-konvergiert gegen den Cayley-Graphen der Gruppe der ganzen Zahlen, also den unendlichen linearen Graphen $P_{\infty }$.

## Benjamini-Schramm-Konvergenz Riemannscher Mannigfaltigkeiten
### Definition

Wir versehen die Menge ${\mathcal {M}}$ der punktierten Riemannschen Mannigfaltigkeiten mit der Gromov-Hausdorff-Topologie.
Sei $M$ eine (nicht-kompakte) Riemannsche Mannigfaltigkeit und $\Gamma _{n}$ eine Folge von Gittern in der Isometrie-Gruppe $Isom(M)$.
Man sagt, dass die Folge Riemannscher Mannigfaltigkeiten $M_{n}=\Gamma _{n}/M$ gegen $M$ im Sinne von Benjamini-Schramm konvergiert, wenn für alle $R>0$ die Wahrscheinlichkeit, dass die Kugel vom Radius $R$ um einen zufälligen Punkt in $M_{n}$ isometrisch zur entsprechenden Kugel vom Radius $R$ in $M$ ist, für $n\to \infty$ gegen $1$ konvergiert.
Eine äquivalente Bedingung ist, dass für jedes $R>0$
    $\lim _{n\to \infty }{\frac {vol((M_{n})_{<R})}{vol(M_{n})}}=0$
gilt, wobei $(M_{n})_{<R}=\left\{x\in M_{n}\colon inj_{M_{n}}(x)<R\right\}$ den $R$-dünnen Teil von $M_{n}$ beziehungsweise $inj_{M_{n}}$ den Injektivitätsradius bezeichnet.

### Beispiel

Sei $\Gamma \subset Isom(M)$ ein kokompaktes Gitter und $\Gamma _{n}\subset \Gamma$ eine Folge normaler Untergruppen mit $\textstyle \bigcap _{n}\Gamma _{n}=\left\{0\right\}$. Dann ist $(M_{n})_{<R}=\emptyset$ für hinreichend große $n$, also BS-konvergiert die Folge $M_{n}=\Gamma _{n}/M$ gegen $M$.

## Benjamini-Schramm-Konvergenz metrischer Räume

Die folgende allgemeine Definition umfasst die beiden vorhergehenden.
Wir versehen die Menge ${\mathcal {X}}$ der punktierten, eigentlichen, kompakten metrischen Räume mit der Gromov-Hausdorff-Topologie.
Sei $X$ ein eigentlicher, kompakter, metrischer Raum mit einem Wahrscheinlichkeitsmaß $\mu$. Dieses Wahrscheinlichkeitsmaß definiert ein $\mu _{X}$ genanntes Wahrscheinlichkeitsmaß auf ${\mathcal {X}}$, welches der Verteilung der $x\in X$ gemäß $\mu$ auf der Menge der punktierten Räume $(X,x)\in {\mathcal {X}}$ mit $x\in X$ entspricht. (Insbesondere hat $\mu _{X}$ seinen Träger auf der Menge der punktierten metrischen Räume, deren zugrundeliegender metrischer Raum $X$ ist.)
Sei $X_{n}$ eine Folge eigentlicher, kompakter, metrischer Räume mit einem Wahrscheinlichkeitsmaß $\mu _{n}$. Man sagt, dass die Folge $X_{n}$ Benjamini-Schramm-konvergiert, wenn die Folge $\mu _{X_{n}}$ in der Schwach-*-Topologie gegen ein Maß $\mu _{\infty }$ auf ${\mathcal {X}}$ konvergiert.