Konvexer Kern
# Konvexer Kern

In der Geometrie und Topologie spielt der konvexe Kern (engl. convex core, franz. âme convexe) eine wichtige Rolle vor allem in der Theorie hyperbolischer 3-Mannigfaltigkeiten.

## Definition

Es sei $M$ eine Riemannsche Mannigfaltigkeit oder ein CAT(0)-Raum. Der konvexe Kern $C(M)$ ist eine minimale nichtleere konvexe Teilmenge, für die die Inklusion $C(M)\to M$ eine Homotopieäquivalenz ist.

## Konvexe Hülle der Limesmenge

Für Mannigfaltigkeiten negativer Schnittkrümmung kann man den konvexen Kern alternativ wie folgt definieren. Es sei ${\widetilde {M}}$ die universelle Überlagerung, also $M=\Gamma \backslash {\widetilde {M}}$ für eine diskrete Gruppe von Isometrien. Sei $\Lambda (\Gamma )\in \partial _{\infty }{\widetilde {M}}$ die Limesmenge von $\Gamma$ in der Sphäre im Unendlichen und $C(\Lambda (\Gamma ))\subset {\widetilde {M}}$ ihre konvexe Hülle. Dann ist

    $C(M)=\Gamma \backslash C(\Lambda (\Gamma ))$.

Die konvexe Hülle der Limesmenge ist also die universelle Überlagerung des konvexen Kerns.

Für jeden Punkt $x\in {\widetilde {M}}$ gibt es einen eindeutigen Punkt $r(x)\in C(\Lambda (\Gamma ))$ mit

    $d(x,r(x))=\min \left\{d(x,y):y\in C(\Lambda (\Gamma ))\right\}$.

Die so definierte Abbildung $r\colon {\widetilde {M}}\to C(\Lambda (\Gamma ))$ lässt sich zu einer stetigen Abbildung $r\colon {\widetilde {M}}\cup \Omega (\Gamma )\to C(\Lambda (\Gamma ))$ fortsetzen.

## Rand des konvexen Kerns

Der Rand des konvexen Kerns ist im Allgemeinen keine glatte Mannigfaltigkeit. Im Falle hyperbolischer 3-Mannigfaltigkeiten wird der Rand des konvexen Kerns als gefaltete Fläche (engl.: pleated surface) bezeichnet. Man betrachtet deshalb oft eine $\delta$-Umgebung des konvexen Kernes für ein (beliebiges) $\delta >0$. Der Rand der $\delta$-Umgebung ist eine glatte Mannigfaltigkeit.

Die Inklusion der $\delta$-Umgebung in $M$ ist ein Deformationsretrakt.

Im Fall hyperbolischer 3-Mannigfaltigkeiten ist die $\delta$-Umgebung des konvexen Kerns homöomorph zur Kleinschen Mannigfaltigkeit $\Gamma \backslash (H^{3}\cup \Omega (\Gamma ))$, wobei $\Omega (\Gamma )$ den Diskontinuitätsbereich für die Wirkung von $\Gamma$ auf der Sphäre im Unendlichen bezeichnet. Insbesondere ist in diesem Fall der Rand des konvexen Kerns homöomorph zu $\Gamma \backslash \Omega (\Gamma )$.

## Konvex-kokompakte und geometrisch endliche Gruppen

Eine diskrete Gruppe $\Gamma$ von Isometrien eines CAT(0)-Raumes ${\widetilde {M}}$ (zum Beispiel des hyperbolischen Raumes $H^{n}$) heißt konvex-kokompakt, wenn der konvexe Kern von $M=\Gamma \backslash {\widetilde {M}}$ kompakt ist. Sie heißt geometrisch endlich, wenn eine (also jede) $\delta$-Umgebung des konvexen Kernes endliches Volumen hat.

