Steinsche Mannigfaltigkeit
# Steinsche Mannigfaltigkeit

Eine Stein'sche Mannigfaltigkeit ist ein Objekt aus der höherdimensionalen Funktionentheorie. Benannt wurde dieses nach dem Mathematiker Karl Stein. Eine Stein'sche Mannigfaltigkeit ist eine spezielle komplexe Mannigfaltigkeit. Sie ist die natürliche Definitionsmenge von holomorphen Funktionen, denn es ist sichergestellt, dass es genügend holomorphe Funktionen gibt; also außer den konstanten Funktionen weitere holomorphe Funktionen existieren.

## Definition

Mit ${\mathcal {O}}(M)$ bezeichne man die Menge der holomorphen Funktionen auf $M$. Eine komplexe Mannigfaltigkeit $M$ der Dimension $n$ heißt Stein'sche Mannigfaltigkeit, falls

* $M$ holomorph konvex ist, das heißt

       ${\hat {K}}=\{z\in M;|f(z)|\leq \sup _{K}|f|\ \mathrm {f{\ddot {u}}r\,jedes} \ f\in {\mathcal {O}}(M)\}$
    ist eine kompakte Teilmenge von $M$ für jede kompakte Teilmenge $K\subset M$.
* $M$ ist holomorph separabel, das heißt für zwei unterschiedliche Punkte $z_{1}$ und $z_{2}$ in $M$, gibt es eine holomorphe Funktion $f\in {\mathcal {O}}(M)$ mit

       $f(z_{1})\neq f(z_{2})$.

## Beispiele

* Jedes Holomorphiegebiet ist eine Stein'sche Mannigfaltigkeit.
* Sei $X$ eine Untermannigfaltigkeit einer Stein'schen Mannigfaltigkeit. Falls $X$ abgeschlossen ist, so ist $X$ wieder eine Stein'sche Mannigfaltigkeit.
* Eine Riemann'sche Fläche $M$ ist genau dann eine Stein'sche Mannigfaltigkeit, wenn $M$ nicht kompakt ist.

## Einbettungssatz

Jede reelle $n$-dimensionale differenzierbare Mannigfaltigkeit kann nach dem Einbettungssatz von Whitney in den $\mathbb {R} ^{2n}$ eingebettet werden. Dieses Resultat ist für komplexe Mannigfaltigkeiten im Allgemeinen falsch. Kompakte, komplexe Mannigfaltigkeiten positiver Dimension kann man beispielsweise nicht in den $\mathbb {C} ^{N}$ einbetten. Jedoch lassen sich Stein'sche Mannigfaltigkeiten immer einbetten. Der folgende Satz wurde von Reinhold Remmert und Errett Bishop bewiesen.

Sei $M$ eine Stein'sche Mannigfaltigkeit der Dimension $n$, dann existiert eine holomorphe Abbildung $f\colon M\to \mathbb {C} ^{2n+1}$, welche injektiv und eigentlich ist.

In dem Fall $n\geq 2$ kann man jede $n$-dimensionale Stein'sche Mannigfaltigkeit in den $\mathbb {C} ^{2n}$ einbetten. Für $n>6$ kann man diese sogar in den $\mathbb {C} ^{2n-\left[(n-2)/3\right]}$ einbetten. Hierbei ist $[.]$ die Gaußklammer, welche den Wert auf die nächste ganze Zahl aufrundet.

