Spitze (hyperbolische Geometrie)

Spitzen (engl.: cusps) in der hyperbolischen Geometrie sind in der für die Zahlentheorie wichtigen Theorie der Modulformen und allgemein in der Theorie Fuchsscher und Kleinscher Gruppen von Bedeutung.

Definition

Es sei $\mathrm{\Gamma }\subset \mathrm{Isom}(H^n)$ eine diskrete Gruppe von Isometrien des hyperbolischen Raumes $H^n$.

Ein Punkt im Unendlichen $c\in {\partial }_{\mathrm{\infty }}{H}^n$ ist eine Spitze von $\mathrm{\Gamma }$, wenn es eine parabolische Isometrie $\gamma \in \mathrm{\Gamma }$ mit Fixpunkt $c$ gibt.

Beispiel

Pflasterung von $H^2$ durch Fundamentalbereiche der $PSL(2,\mathbb{Z})$-Wirkung. Die Eckpunkte im Unendlichen sind die Spitzen $\mathbb{Q}\cup \left\{\mathrm{\infty }\right\}$ von $PSL(2,Z)$.

Sei $\mathrm{\Gamma }=PSL(2,\mathbb{Z})$ die auf der hyperbolischen Ebene $H^2$ wirkende Modulgruppe. Nach der Identifikation

${\partial }_{\mathrm{\infty }}{H}^2=P^1ℝ=ℝ\cup \left\{\mathrm{\infty }\right\}$

entsprechen die Spitzen von $PSL(2,\mathbb{Z})$ genau den rationalen Punkten

$\mathbb{Q}\cup \left\{\mathrm{\infty }\right\}$.

Zum Beispiel ist $\mathrm{\infty }$ der Fixpunkt der parabolischen Isometrie $\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$ und $\frac{a}{c}\in \mathbb{Q}$ ist ein Fixpunkt der parabolischen Isometrie $\left(\begin{array}{cc}1-ac& a^2\\ -c^2& 1+ac\end{array}\right)$.

Alle Spitzen von $PSL(2,\mathbb{Z})$ liegen im $PSL(2,\mathbb{Z})$-Orbit von $\mathrm{\infty }$.

Eine Kongruenzuntergruppe $\mathrm{\Gamma }(N):=\ker (PSL(2,\mathbb{Z})\to PSL(2,\mathbb{Z}/N\mathbb{Z}))\subset PSL(2,\mathbb{Z})$ hat dieselben Spitzen wie $PSL(2,\mathbb{Z})$, also ebenfalls $\mathbb{Q}\cup \left\{\mathrm{\infty }\right\}$. Es gibt in diesem Fall aber mehrere ${\mathrm{\Gamma }}_N$-Orbiten von Spitzen.

Rang einer Spitze

Der Stabilisator ${\mathrm{\Gamma }}_c$ einer Spitze $c$ ist eine freie abelsche Gruppe parabolischer Isometrien. Der Rang $\mathrm{rk}(c)$ der Spitze $c$ ist definiert als der Rang der freien abelschen Gruppe ${\mathrm{\Gamma }}_c$.

Für jede Spitze $c\in {\partial }_{\mathrm{\infty }}{H}^n$ gilt die Ungleichung

$1\le \mathrm{rk}(c)\le n-1$.

Kompaktifizierungen durch Spitzen

Falls alle Spitzen von $\mathrm{\Gamma }$ den Rang $n-1$ haben, kann die nichtkompakte Mannigfaltigkeit $\mathrm{\Gamma }\mathrm{\setminus }{H}^n$ durch Hinzunahme je einer Spitze aus jedem $\mathrm{\Gamma }$-Orbit kompaktifiziert werden.

Jede Spitze $c$ hat dann in der Kompaktifizierung eine Familie von Umgebungen, die (nach Herausnehmen der Spitze) homöomorph zu Quotienten ${\mathrm{\Gamma }}_c\mathrm{\setminus }{H}_c$ von Horobällen $H_c$ mit Zentrum $c$ sind. Diese Umgebungen sind Spitzen im Sinne der Differentialgeometrie.

Beispiel: $PSL(2,\mathbb{Z})\mathrm{\setminus }{H}^2$ ist vermittels der j-Invariante homöomorph zur komplexen Ebene $ℂ$, durch Hinzunahme der Spitze $PSL(2,\mathbb{Z}).\mathrm{\infty }$ erhält man die Kompaktifizierung $P^1ℂ=ℂ\cup \left\{\mathrm{\infty }\right\}$. (Dies ist ein Spezialfall der Satake-Kompaktifizierung.) Ähnlich können die Quotienten $\mathrm{\Gamma }(N)\mathrm{\setminus }{H}^2$ durch Hinzunahme endlich vieler Spitzen kompaktifiziert werden. Diese Konstruktion ist beim Verständnis von Spitzenformen von Bedeutung.

Verallgemeinerungen

Spitzen können allgemeiner auch für gewisse lokal symmetrische Räume definiert werden, sie sind damit zusammenhängend in der für die Zahlentheorie wichtigen und die Theorie der Modulformen verallgemeinernden Theorie der automorphen Formen von Bedeutung.

Literatur

• Boris Apanasov: Discrete groups in space and uniformization problems. Translated and revised from the 1983 Russian original. Mathematics and its Applications (Soviet Series), 40. Kluwer Academic Publishers Group, Dordrecht 1991, ISBN 0-7923-0216-8.

Siehe auch

• Spitze (Differentialgeometrie)