Lemma von Margulis

In der Differentialgeometrie, einem Teilgebiet der Mathematik, beschreibt das Lemma von Margulis oder Margulis-Lemma die Topologie des „dünnen Teils“ einer negativ gekrümmten riemannschen Mannigfaltigkeit. Es dient vor allem zur Beschreibung der Enden hyperbolischer Mannigfaltigkeiten endlichen Volumens.

Es ist nach Grigori Alexandrowitsch Margulis benannt.

Dünner und dicker Teil einer Mannigfaltigkeit

Dicker und dünner Teil einer Mannigfaltigkeit endlichen Volumens

Für eine riemannsche Mannigfaltigkeit $M$ und eine Konstante $\epsilon$ bezeichnet man als $\epsilon$-dünnen Teil der Mannigfaltigkeit den Teil

$M_{<\epsilon }:=\left\{x\in M\colon \operatorname {inj} (x)<\epsilon \right\}$

(wobei $\operatorname {inj} (x)$ den Injektivitätsradius im Punkt $x$ bezeichnet) und als $\epsilon$-dicken Teil $M_{\geq \epsilon }$ das Komplement des $\epsilon$-dünnen Teils.

$M_{<\epsilon }$ ist also die Menge derjenigen $x\in M$, zu denen es eine geschlossene, nicht nullhomotope Kurve $\gamma \colon \left[0,1\right]\to M$ der Länge $l(\gamma )<2\epsilon$ mit $\gamma (0)=\gamma (1)=x$ gibt. Häufig spricht man auch nur vom dünnen und dicken Teil einer $n$-dimensionalen Mannigfaltigkeit und meint damit den $\epsilon$-dünnen und $\epsilon$-dicken Teil für ein $\epsilon$, welches kleiner als die unten definierte Margulis-Konstante $\epsilon _{n}$ ist.

Lemma von Margulis (differentialgeometrische Formulierung)

Das Lemma von Margulis besagt, dass es zu jeder Dimension $n$ eine Margulis-Konstante $\epsilon _{n}$ gibt, so dass für alle vollständigen riemannschen Mannigfaltigkeiten der Dimension $n$ mit Schnittkrümmungen im Intervall $\left[-1,0\right]$ und für alle $\epsilon <\epsilon _{n}$ der $\epsilon$-dünne Teil $M_{<\epsilon }$ eine fast-nilpotente Fundamentalgruppe hat: Es gibt in $\pi _{1}(M_{<\epsilon },x_{0})$ eine nilpotente Untergruppe vom Index $<v(n)$ für eine nur von $n$ abhängende Konstante $v(n)$.

Lemma von Margulis (gruppentheoretische Formulierung)

Das Lemma von Margulis besagt, dass es zu jeder Dimension $n$ eine Margulis-Konstante $\epsilon _{n}$ gibt, so dass die folgende Aussage für alle einfach zusammenhängenden vollständigen riemannschen Mannigfaltigkeiten der Dimension $n$ mit Schnittkrümmungen im Intervall $\left[-1,0\right]$ und für alle $\epsilon <\epsilon _{n}$ zutrifft:

Es sei ${\widetilde {M}}$ eine einfach zusammenhängende riemannsche Mannigfaltigkeit der Dimension $n$ mit Schnittkrümmungen im Intervall $\left[-1,0\right]$. Sei $\Gamma$ eine eigentlich diskontinuierlich wirkende Gruppe von Isometrien von ${\widetilde {M}}$ und $x\in {\widetilde {M}}$. Dann ist die von

$\left\{\gamma \in \Gamma \colon d(\gamma (x),x)<\epsilon \right\}$

erzeugte Untergruppe $\Gamma _{\epsilon }(x)\subset \operatorname {Isom} ({\widetilde {M}})$ fast-nilpotent.

Der Spezialfall für Matrizengruppen ist auch als Lemma von Zassenhaus bekannt: Es gibt eine Konstante $\mu _{N}$, so dass jede von Matrizen der Norm $<\mu _{N}$ erzeugte diskrete Untergruppe $\Gamma \subset GL(N,\mathbb {C} )$ fast-nilpotent ist. Tatsächlich gilt das folgende auf Hans Zassenhaus zurückgehende elementare Lemma: Wenn zwei Matrizen $A,B\subset O^{+}(n,1)$ eine diskrete Gruppe erzeugen und $\max \left\{\parallel A-Id\parallel ,\parallel B-Id\parallel \right\}<2-{\sqrt {3}}$ gilt, dann kommutieren A und B.

Die gruppentheoretische und differentialgeometrische Formulierung des Margulis-Lemmas sind äquivalent zueinander. Die Äquivalenz erhält man vermittels der Wirkung von $\Gamma =\pi _{1}(M,x_{0})$ auf der universellen Überlagerung $p\colon {\widetilde {M}}\to M$. Für ein Urbild ${\tilde {x}}_{0}\in p^{-1}(x_{0})\subset {\widetilde {M}}$ entspricht $d({\tilde {x}}_{0},\gamma {\tilde {x}}_{0})$ der Länge des kürzesten $\gamma \in \pi _{1}(M,x_{0})$ repräsentierenden geschlossenen Weges.

Enden hyperbolischer Mannigfaltigkeiten endlichen Volumens

Es sei $M$ eine vollständige hyperbolische Mannigfaltigkeit endlichen Volumens. Dann ist der $\epsilon$-dicke Teil $M_{\geq \epsilon }$ kompakt (für beliebige $\epsilon >0$) und für die Gruppe $\Gamma _{\epsilon }$ gibt es (für $\epsilon <\epsilon _{n}$) die folgenden Möglichkeiten:

• $\Gamma _{\epsilon }$ ist eine Gruppe parabolischer Isometrien mit demselben Fixpunkt im Unendlichen
• $\Gamma _{\epsilon }=\mathbb {Z}$ erzeugt von einer hyperbolischen Isometrie
• $\Gamma _{\epsilon }=\left\{id\right\}$

Daraus ergeben sich für die Topologie der Zusammenhangskomponenten des $\epsilon$-dünnen Teils $M_{<\epsilon }$ die folgenden Möglichkeiten:

• $V\times \left[0,\infty \right]$ für eine geschlossene flache Mannigfaltigkeit $V$ der Dimension $n-1$
• $B^{n-1}\times S^{1}$ oder $S^{1}$

Im ersten Fall handelt es sich um sogenannte Spitzen (engl.: cusps). Im zweiten Fall handelt es sich um Tubenumgebungen geschlossener Geodäten (oder um geschlossene Geodäten der Länge $\epsilon$).

Margulis-Zahlen

Für eine riemannsche Mannigfaltigkeit $M$ ist die Margulis-Zahl $\mu (M)$ die größte reelle Zahl, so dass die Konklusion des Margulis-Lemmas für alle $\epsilon <\mu (M)$ gilt.

Für hyperbolische 3-Mannigfaltigkeiten ist $\mu (M)\geq 0{,}104$. Peter Shalen bewies, dass für fast alle hyperbolischen 3-Mannigfaltigkeiten $\mu (M)\leq 0{,}29$ gilt. Aufgrund numerischer Berechnungen wird vermutet, dass immer $\mu (M)\leq 0{,}616$ gilt.

Für hyperbolische Mannigfaltigkeiten der Dimension $n$ gilt

$\mu (M)\geq {\frac {2^{\nu +1}}{3^{\nu +1}\pi ^{\nu }}}{\frac {\Gamma ({\frac {\nu +2}{2}})^{2}}{\Gamma (\nu +2)}}$

mit $\nu =\left[{\frac {n+1}{2}}\right]$. Umgekehrt gibt es die auf Kapovich zurückgehende Ungleichung $\epsilon _{n}\leq {\frac {C_{n}}{\sqrt {n}}}$ mit einer explizit bestimmbaren Konstante $C_{n}$.

Kragen-Lemma

Aus dem Lemma von Margulis lässt sich herleiten, dass sehr kurze geschlossene Geodäten eine Kragenumgebung großen hyperbolischen Volumens besitzen müssen. Eine quantitative Beschreibung dieses Zusammenhangs für Flächen liefert das Kragen-Lemma (engl.: collar lemma), dessen erste Version 1974 von Linda Keen bewiesen wurde. Die bestmögliche Abschätzung geht auf Randol zurück: In einer hyperbolischen Fläche hat eine geschlossene Geodäte der Länge $l$ eine Kragenumgebung der Breite $w$ mit $\cosh \left({\tfrac {w}{2}}\right)=\coth \left({\tfrac {l}{2}}\right)$. Man beachte, dass $\lim _{l\to 0}\coth \left({\tfrac {l}{2}}\right)=\infty$ ist.

Literatur

• Každan, D. A.; Margulis, G. A.: A proof of Selberg's hypothesis. (Russian) Mat. Sb. (N.S.) 75 (117) 1968, 163–168.
• Raghunathan, M. S.: Discrete subgroups of Lie groups. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 68. Springer-Verlag, New York-Heidelberg, 1972.
• Buser, Peter; Karcher, Hermann: Gromov's almost flat manifolds. Astérisque, 81. Société Mathématique de France, Paris, 1981.
• Ballmann, Werner; Gromov, Mikhael; Schroeder, Viktor: Manifolds of nonpositive curvature. Progress in Mathematics, 61. Birkhäuser Boston, Inc., Boston, MA, 1985. ISBN 0-8176-3181-X
• Benedetti, Riccardo; Petronio, Carlo: Lectures on hyperbolic geometry. Universitext. Springer-Verlag, Berlin, 1992. ISBN 3-540-55534-X

Weblinks

• Bromberg: The Thick-Thin Decomposition
• Gallot: Margulis Lemmas without curvature
• Shalen: Margulis Numbers of Hyperbolic 3-Manifolds
• Bergeron, Guilloux: Géométrie hyperbolique et représentations de groupes de surface (Chapitre III: Théorème de Bieberbach et lemme de Margulis)
• Martelli: Geometric Topology (Chapter 4: Thin-thick decomposition)