Cartan-Invariante

In der Mathematik ist die Cartan-Invariante eine das Doppelverhältnis der klassischen projektiven Geometrie verallgemeinernde Invariante der komplex-hyperbolischen Geometrie, mit der insbesondere entschieden werden kann, ob Punkte in einem komplexen oder Lagrangeschen Unterraum liegen.

Definition

Der Rand im Unendlichen <math>\partial_\infty\Complex H^n</math> des komplex-hyperbolischen Raumes <math>\Complex H^n</math> ist

<math>\partial_\infty\Complex H^n=\left\{X\in\mathbb C^{n,1}: \langle X,X\rangle =0\right\}/\Complex</math>

Für jedes Tripel <math>(\left[x_1\right],\left[x_2\right],\left[x_3\right])\in \partial_\infty\Complex H^n\times \partial_\infty\Complex H^n \times \partial_\infty\Complex H^n</math> hat das Hermitesche Tripelprodukt

<math>\langle x_1,x_2,x_3\rangle:=\langle x_1,x_2\rangle\langle x_2,x_3\rangle\langle x_3,x_1\rangle\in\Complex</math>

wegen

<math>\langle\xi_1x_1,\xi_2x_2,\xi_3x_3\rangle=\vert \xi_1\xi_2\xi_3\vert^2\langle x_1,x_2,x_3\rangle</math>

ein wohldefiniertes Argument, das nur von den Äquivalenzklassen der <math>x_i</math> abhängt. Man kann also definieren

<math>{\mathbb A}(\left[x_1\right],\left[x_2\right],\left[x_3\right]):=arg(-\langle x_1,x_2,x_3\rangle)</math>.

Die so definierte Funktion

<math>{\mathbb A}:\partial_\infty\Complex H^n\times \partial_\infty\Complex H^n \times \partial_\infty\Complex H^n\to \left[-\frac{\pi}{2},\frac{\pi}{2}\right] </math>

heißt die Cartan-Invariante. Weil das Hermitesche Tripelprodukt negativen Realteil hat, liegen die Werte in <math>\left[-\frac{\pi}{2},\frac{\pi}{2}\right] </math>.

Eigenschaften

Die Cartan-Invariante ist eine vollständige Invariante von Tripeln im Unendlichen: wenn für zwei Tripel unterschiedlicher Punkte

<math>{\mathbb A}(\left[x_1\right],\left[x_2\right],\left[x_3\right])={\mathbb A}(\left[y_1\right],\left[y_2\right],\left[y_3\right])</math>

gilt, dann gibt es eine Isometrie <math>g\in PU(n,1)</math>, welche das eine Tripel in das andere überführt. Die Isometrie ist eindeutig modulo Isometrien, die die vom ersten Tripel aufgespannte Ebene invariant lassen.

Ein Tripel liegt genau dann im Rand einer 2-dimensionalen komplexen Ebene, wenn

<math>{\mathbb A}(\left[x_1\right],\left[x_2\right],\left[x_3\right])=\pm\frac{\pi}{2}</math>.

Ein Tripel liegt genau dann im Rand einer Lagrangeschen Ebene, wenn

<math>{\mathbb A}(\left[x_1\right],\left[x_2\right],\left[x_3\right])=0</math>.

Literatur

• Goldman, William M.: Complex hyperbolic geometry. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1999. ISBN 0-19-853793-X
• Parker, John R.; Platis, Ioannis D.: Complex hyperbolic quasi-Fuchsian groups. Geometry of Riemann surfaces, 309–355, London Math. Soc. Lecture Note Ser., 368, Cambridge Univ. Press, Cambridge, 2010.