Arithmetische Gruppe

In der Mathematik spielen arithmetische Gruppen eine wichtige Rolle in der Zahlentheorie, Differentialgeometrie, Topologie, Algebraischen Geometrie und in der Theorie der Lie-Gruppen. Es handelt sich um arithmetisch definierte Gitter in Lie-Gruppen; klassische Beispiele sind die Modulgruppe $SL(2,\mathbb {Z} )$ und allgemein die Gruppen $SL(n,\mathbb {Z} )$ für $n\geq 2$ . Arithmetizität ist stets in Bezug auf eine umgebende Lie-Gruppe definiert. Nach einem Satz von Margulis sind alle irreduziblen Gitter in halbeinfachen Lie-Gruppen vom Rang $\geq 2$ ohne kompakten Faktor immer arithmetische Untergruppen.

Definition

Sei $G$ eine nichtkompakte halbeinfache Lie-Gruppe, $\Gamma \subset G$ eine Untergruppe. $\Gamma$ heißt arithmetisch, wenn es

eine über $\mathbb {Q}$ definierte zusammenhängende lineare algebraische Gruppe $\mathrm {G} ^{\prime }\subset GL(n,\mathbb {C} )$ und
einen Isomorphismus $\phi :G/K\rightarrow \mathrm {G} ^{\prime }(\mathbb {R} )_{0}/K^{\prime }$ (für geeignete kompakte Normalteiler $K,K^{\prime }$ )

gibt, so dass $\phi (\Gamma K)$ kommensurabel zu $(\mathrm {G} (\mathbb {Z} )^{\prime }\cap \mathrm {G} ^{\prime }(\mathbb {R} )_{0})K^{\prime }$ ist.

Anmerkung: Eine über $\mathbb {Q}$ definierte lineare algebraische Gruppe ist – per Definition – eine durch Polynome mit rationalen Koeffizienten definierte Untergruppe $G\subset GL(n,\mathbb {C} )$ . Wenn $\mathrm {G}$ eine über $\mathbb {Q}$ definierte lineare algebraische Gruppe ist, dann ist nach dem Satz von Borel und Harish-Chandra $\mathrm {G} (\mathbb {Z} )$ ein Gitter in $\mathrm {G} (\mathbb {R} )$ . Folglich ist jede arithmetische Gruppe ein Gitter in der Zusammenhangskomponente der umgebenden Lie-Gruppe.

Beispiele

Nach Definition ist klar, dass $SL(n,\mathbb {Z} )\subset SL(n,\mathbb {R} )$ und auch zu $SL(n,\mathbb {Z} )$ kommensurable Gruppen arithmetisch sind.

Bezeichne $\mathbb {Z} \left[i\right]\subset \mathbb {C}$ die Gruppe der ganzen Gaußschen Zahlen. $GL(n,\mathbb {Z} \left[i\right])$ ist eine arithmetische Untergruppe von $GL(n,\mathbb {C} )$ , denn es ist $\phi (GL(n,\mathbb {Z} \left[i\right])=\phi (GL(n,\mathbb {C} ))\cap GL(2n,\mathbb {Z} )$ für die kanonische Einbettung $\phi :GL(n,\mathbb {C} )\rightarrow GL(2n,\mathbb {R} )$ .

Sei $SO(1,n)=\left\{g\in SL(n+1,\mathbb {R} ):gI_{1,n}g^{T}=I_{1,n}\right\}$ , wobei $I_{1,n}$ die Diagonalmatrix $I_{1,n}=diag(1,-1,-1,\ldots ,-1)$ bezeichnet und sei $SO(1,n,\mathbb {Z} )=SO(1,n)\cap SL(n+1,\mathbb {Z} )$ . Dann ist $SO(1,n,\mathbb {Z} )$ eine arithmetische Untergruppe von $SO(1,n)$ , denn $SO(1,n)$ ist durch Polynome mit rationalen Koeffizienten definiert.

Im Folgenden wollen wir die Definition auf eine Klasse von weniger offensichtlichen Beispielen anwenden, nämlich auf die Hilbertschen Modulgruppen.

Sei

k=Q\left[{\sqrt {D}}\right]=\left\{a+b{\sqrt {D}}:a,b\in \mathbb {Q} \right\}

ein reeller quadratischer Zahlkörper – für eine quadratfreie ganze Zahl $D>0$ mit $D\cong 3\ mod\ 4$ – und $O_{k}\subset k$ sein Ganzheitsring. Es gibt zwei durch $\sigma _{\pm }(a+b{\sqrt {D}})=a\pm b{\sqrt {D}}$ definierte Einbettungen $\sigma _{\pm }:k\rightarrow \mathbb {R}$ und dementsprechend zwei Einbettungen $\sigma _{\pm }:SL(2,k)\rightarrow SL(2,\mathbb {R} )$ .

Wir betrachten die halbeinfache Lie-Gruppe

G=SL(2,\mathbb {R} )\times SL(2,\mathbb {R} )

und die Untergruppe

\Gamma =\left\{(\sigma _{+}(A),\sigma _{-}(A)):A\in SL(2,O_{k})\right\}\subset G

und wollen zeigen, dass $\Gamma$ eine arithmetische Gruppe ist.

Wir betrachten zunächst die algebraische Varietät

\mathrm {H

und den durch

\psi (a+b{\sqrt {D}})={\begin{pmatrix}a&b\\bD&a\end{pmatrix}}

definierten Homomorphismus :

\psi :k\rightarrow \mathrm {H} (\mathbb {Q} )\subset Mat(2,\mathbb {Q} )

.

Dann ist $\psi (O_{k})=\mathrm {H} (\mathbb {Z} )$ .

Wir bemerken, dass es einen bijektiven (additiven und multiplikativen) Homomorphismus ${\displaystyle \Psi$ mit

\Psi \circ (\sigma _{+},\sigma _{-})=\psi

,

also $\Psi (a+b{\sqrt {D}},a-b{\sqrt {D}})=\psi (a+b{\sqrt {D}})$ für alle $a+b{\sqrt {D}}\in k$ gibt, nämlich $\Psi (x,y)={\begin{pmatrix}{\frac {x+y}{2}}&{\frac {x-y}{2{\sqrt {D}}}}\\{\frac {x-y}{2}}{\sqrt {D}}&{\frac {x+y}{2}}\end{pmatrix}}$ .

Nun betrachten wir die lineare algebraische Gruppe

\mathrm {G

.

(Hier sind $A,B,C,D$ 2x2-Blöcke in einer 4x4-Matrix.)

Wir definieren einen Gruppen-Homomorphismus

\phi :SL(2,\mathbb {R} )\times SL(2,\mathbb {R} )\rightarrow \mathrm {G} (\mathbb {R} )\subset GL(4,\mathbb {R} )

durch

\phi \left({\begin{pmatrix}a&b\\c&d\end{pmatrix}},{\begin{pmatrix}a^{\prime }&b^{\prime }\\c^{\prime }&d^{\prime }\end{pmatrix}}\right)={\begin{pmatrix}\Psi (a,a^{\prime })&\Psi (b,b^{\prime })\\\Psi (c,c^{\prime })&\Psi (d,d^{\prime })\end{pmatrix}}

.

$\phi$ bildet tatsächlich nach $\mathrm {G} (\mathbb {R} )$ ab: offensichtlich liegen die Blöcke der Bildmatrizen in $\mathrm {H}$ , außerdem ist $\Psi (a,a^{\prime })\Psi (d,d^{\prime })-\Psi (b,b^{\prime })\Psi (c,c^{\prime })={\begin{pmatrix}{\frac {\det(X)+\det(Y)}{2}}&{\frac {\det(X)-\det(Y)}{2{\sqrt {D}}}}\\{\frac {\det(X)-\det(Y)}{2}}{\sqrt {D}}&{\frac {\det(X)+\det(Y)}{2}}\end{pmatrix}}={\begin{pmatrix}1&0\\0&1\end{pmatrix}}$ mit $X={\begin{pmatrix}a&b\\c&d\end{pmatrix}},Y={\begin{pmatrix}a^{\prime }&b^{\prime }\\c^{\prime }&d^{\prime }\end{pmatrix}}$ .

Aus der Bijektivität von $\Psi$ folgt, dass auch $\phi$ bijektiv und mithin ein Isomorphismus ist.

Wegen $\phi (\Gamma )=\mathrm {G} (\mathbb {Z} )$ beweist das die Arithmetizität von $\Gamma$ .

Arithmetische Untergruppen von SL(n,R)

Alle arithmetischen Untergruppen von $SL(n,\mathbb {R} )$ kann man mittels Divisionsalgebren, mittels unitärer Gruppen oder mittels einer Kombination dieser beiden Methoden konstruieren.

Divisionsalgebren

Sei eine Körpererweiterung von $\mathbb {Q}$ mit $\left[F:\mathbb {Q} \right]=d$ und sei ${\mathcal {O}}$ der Ganzheitsring von $F$ . Sei $j\in \mathbb {C}$ mit $j^{d}\in \mathbb {Z}$ und $jx=\eta (x)j$ für das nichttriviale Element $\eta \in Gal(F/\mathbb {Q} )$ und alle $x\in F$ .

Wir betrachten die Divisionsalgebra $D=F+Fj+Fj^{2}+\ldots +Fj^{d-1}$ und $D_{\mathbb {Z} }={\mathcal {O}}+{\mathcal {O}}j+{\mathcal {O}}j^{2}+\ldots +{\mathcal {O}}j^{d-1}$ .

Dann ist $SL(n,D_{\mathbb {Z} })$ eine arithmetische Untergruppe von $SL(dn,\mathbb {R} )$ .

Unitäre Gruppen

Sei $F=\mathbb {Q} \left[{\sqrt {r}}\right]$ mit $r\in \mathbb {Z}$ und sei $\eta \in Gal(F/\mathbb {Q} )$ das nichttriviale Element der Galoisgruppe. Sei $A\in GL(n,F)$ eine hermitesche Matrix.

Wir betrachten $SU(A,\eta ;F)=\left\{g\in SL(n,F):gA(\eta (g))^{T}=A\right\}$ .

Dann ist ${\displaystyle SU(A,\eta$ eine arithmetische Untergruppe von $SL(n,\mathbb {C} )$ .

Kombination

Sei $F=\mathbb {Q} \left[{\sqrt {r}}\right]$ mit $r\in \mathbb {Z}$ und sei $\eta \in Gal(F/\mathbb {Q} )$ das nichttriviale Element. Sei $D$ eine Divisionsalgebra über $F$ , so dass $\eta$ zu einem Antiautomorphismus von $D$ fortgesetzt werden kann. Sei $A\in GL(n,D)$ eine hermitesche Matrix, d. h. $(\eta (A))^{T}=A$ .

Dann ist $SU(A,\eta ;D_{\mathbb {Z} })$ eine arithmetische Untergruppe von $SU(A,\eta ;D\otimes _{\mathbb {Q} }\mathbb {R} )$ .

Q-Rang und R-Rang

Spaltende Tori

Sei $G\subset GL(n,\mathbb {C} )$ eine algebraische Gruppe. Ein Torus ist eine abgeschlossene, zusammenhängende Untergruppe $T\subset G$ , die (über $\mathbb {C}$ ) diagonalisierbar ist, das heißt, es gibt einen Basiswechsel $B\in GL(n,\mathbb {C} )$ , so dass $BTB^{-1}$ aus diagonalisierbaren Matrizen besteht.

Der Torus heißt $\mathbb {R}$ -spaltend, wenn man $B\in GL(n,\mathbb {R} )$ wählen kann. Zum Beispiel ist $SO(2)$ kein $\mathbb {R}$ -spaltender Torus in $SL(2,\mathbb {R} )$ , die Gruppe der Diagonalmatrizen (mit Determinante 1) aber doch. Der $\mathbb {R}$ -Rang einer algebraischen Gruppe ist die maximale Dimension eines $\mathbb {R}$ -spaltenden Torus. Zum Beispiel ist $\mathbb {R} -rk(SL(n,\mathbb {R} ))=n-1$ oder $\mathbb {R} -rk(SO(n))=0$ .

Ein Torus heißt $\mathbb {Q}$ -spaltend, wenn er über $\mathbb {Q}$ definiert ist und man $B\in GL(n,\mathbb {Q} )$ wählen kann.

Q-Rang

Für eine arithmetische Gruppe $\Gamma \subset G$ gibt es per Definition eine über $\mathbb {Q}$ definierte zusammenhängende lineare algebraische Gruppe $\mathrm {G}$ und einen Isomorphismus $\phi$ , so dass (modulo kompakter Gruppen) das Bild von $\Gamma$ zu $\mathrm {G} (\mathbb {Z} )\cap \mathrm {G} (\mathbb {R} )_{0}$ isomorph ist. Der $\mathbb {Q}$ -Rang von $\Gamma$ wird definiert als die Dimension eines maximalen $\mathbb {Q}$ -spaltenden Torus in $\mathrm {G}$ . (Man beachte, dass $\mathbb {Q} -rk(\Gamma )$ nur von $\mathrm {G}$ abhängt, dass aber verschiedene arithmetische Untergruppen $\Gamma _{1},\Gamma _{2}\subset G$ einer Lie-Gruppe $G$ unterschiedlichen $\mathbb {Q}$ -Rang haben können, weil die zu wählenden algebraischen Gruppen $\mathrm {G} _{1},\mathrm {G} _{2}$ sich unterscheiden.)

Beispiele

Man sieht leicht, dass $\mathbb {R} -rk(SL(2,\mathbb {R} )\times SL(2,\mathbb {R} ))=\mathbb {Q} -rk(SL(2,\mathbb {R} )\times SL(2,\mathbb {R} ))=2$ . Die arithmetische Untergruppe $SL(2,\mathbb {Z} )\times SL(2,\mathbb {Z} )\subset SL(2,R)\times SL(2,\mathbb {R} )$ hat also $\mathbb {Q}$ -Rang $2$ . Der $\mathbb {Q}$ -Rang der oben besprochenen Hilbertschen Modulgruppe ist hingegen der $\mathbb {Q}$ -Rang der oben konstruierten Gruppe $\mathrm {G$ . Man kann zeigen, dass $\left\{diag(\lambda ,\lambda ,{\frac {1}{\lambda }},{\frac {1}{\lambda }}):\lambda \in \mathbb {R} ^{\times }\right\}$ ein maximaler $\mathbb {Q}$ -spaltender Torus in $\mathrm {G} (\mathbb {R} )$ ist, mithin $\mathbb {Q} -rk(\Gamma )=\mathbb {Q} -rk(\mathrm {G} (\mathbb {R} ))=1$ .

Geometrische Interpretation

Sei $G$ eine nichtkompakte halbeinfache Lie-Gruppe ohne kompakten Faktor, $K$ eine maximal kompakte Untergruppe und $\Gamma \subset G$ ein arithmetisches Gitter. Die Killing-Form definiert eine riemannsche Metrik auf $G/K$ , man erhält einen symmetrischen Raum. Der $\mathbb {R}$ -Rang von $G$ lässt sich interpretieren als die Dimension eines maximalen flachen Unterraumes (d. h. einer einfach zusammenhängenden total-geodätischen Untermannigfaltigkeit mit Schnittkrümmung konstant $0$ ) in $G/K$ .

Der Quotient $X=\Gamma \backslash G/K$ ist ein lokal symmetrischer Raum. Der $\mathbb {Q}$ -Rang von $\Gamma$ lässt sich interpretieren als die maximale Dimension eines flachen Unterraumes in einer endlichen Überlagerung von $X$ oder als die kleinste Zahl $r$ , so dass ganz $X$ in endlichem Abstand von einer endlichen Vereinigung $r$ -dimensionaler flacher Unterräume ist. Insbesondere ist $\mathbb {Q} -rk(\Gamma )=0$ , falls $X$ kompakt ist.

Charakterisierung arithmetischer Gitter

Satz (Margulis): Ein irreduzibles Gitter $\Gamma \subset G$ in einer halbeinfachen Lie-Gruppe $G$ ist arithmetisch dann und nur dann, wenn $\Gamma$ unendlichen Index in seinem Kommensurator hat, also wenn $[\operatorname {comm} _{G}(\Gamma ):\Gamma ]=\infty$ .

Arithmetizitäts-Satz von Margulis

Satz: Sei $G$ eine halbeinfache Lie-Gruppe ohne kompakten Faktor mit $\mathbb {R} -rk(G)\geq 2$ . Dann ist jedes irreduzible Gitter $\Gamma \subset G$ arithmetisch.

Erläuterungen: Ein Gitter ist eine diskrete Untergruppe $\Gamma \subset G$ mit $vol(\Gamma \backslash G)<\infty$ , wobei das Volumen bzgl. des Haarmaßes berechnet wird. Ein Gitter heißt irreduzibel, falls es keine Zerlegung $G=G_{1}\times G_{2},\Gamma =\Gamma _{1}\times \Gamma _{2}$ mit Gittern $\Gamma _{1}\subset G_{1},\Gamma _{2}\subset G_{2}$ gibt.

Margulis bewies diesen Satz als eine Folgerung aus dem von ihm bewiesenen Superstarrheitssatz.

Literatur

Lizhen Ji: Arithmetic groups and their generalizations. What, why, and how (= Studies in Advanced Mathematics. Bd. 43). American Mathematical Society, Providence RI 2008, ISBN 978-0-8218-4675-9.
Vladimir Platonov, Andrei Rapinchuk: Algebraic Groups and Number Theory (= Pure and Applied Mathematics. Bd. 139). Academic Press, Boston MA u. a. 1994, ISBN 0-12-558180-7, Digitalisat (PDF; 22,46 MB).

Weblinks

Witte Morris, Dave: Introduction to Arithmetic Groups
Witte Morris, Dave: Introduction to Arithmetic Groups (Folien einer Vortragsreihe; PDF; 537 kB)

Einzelnachweise

↑ Margulis, G.A.: Arithmeticity of the irreducible lattices in the semisimple groups of rank greater than 1. Invent. Math (1984) 76 - 93. doi:10.1007/BF01388494

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Margulis, G.A.: Arithmeticity of the irreducible lattices in the semisimple groups of rank greater than 1. Invent. Math (1984) 76 - 93. doi:10.1007/BF01388494