Kurs:Fundamentalgruppe und Vektorbündel (Osnabrück 2011)/Vorlesung 1/latex
\setcounter{section}{1}
Die Fundamentalgruppe eines topologischen Raumes wird über Homotopieklassen von stetigen geschlossenen Wegen definiert. Eine solche Konstruktion ist im Kontext der algebraischen Geometrie nicht direkt durchführbar. Wenn eine
\zusatzklammer {glatte} {} {}
Varietät $X$ über den komplexen Zahlen vorliegt, so kann man zu dem zugehörigen komplexen Raum
\zusatzklammer {bzw. der komplexen Mannigfaltigkeit} {} {}
übergehen und dessen Fundamentalgruppe betrachten. Doch ist dieses Verfahren nicht algebraisch und für andere Grundkörper nicht durchführbar. Die Wege durch Morphismen von punktierten algebraischen Kurven
\zusatzklammer {wie die punktierte affine Gerade
\mathl{{\mathbb A}^\times ={\mathbb A}^1 \setminus \{ 0 \}}{}} {} {}
nach $X$ zu ersetzen und zu betrachten, welche sich zu Morphismen auf die unpunktierte Kurve fortsetzen lassen, ist ebenfalls nicht hilfreich, da es relativ wenige Morphismen von algebraischen Kurven in eine algebraische Varietät hinein gibt und diese Menge ziemlich unflexibel ist.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Abhyankar_Grothendieck.jpg} }
\end{center}
\bildtext {Grothendieck und Abhyankar 1970.} }
\bildlizenz { Abhyankar Grothendieck.jpg } {} {} {Commons} {} {}
Dagegen lässt sich der topologische Überlagerungsbegriff \zusatzklammer {mit endlichen Fasern} {} {,} der eng mit der Fundamentalgruppe zusammenhängt, algebraisieren und bildet so den Ansatzpunkt für die Entwicklung einer algebraischen Theorie der Fundamentalgruppe \zusatzklammer {und auch für eine algebraische Kohomologietheorie mit topologischen Eigenschaften: die \'{e}tale Kohomologie} {} {.} Dabei wird mit Hilfe der Automorphismengruppen der Überlagerungen \zusatzklammer {die Gruppe der Decktransformationen} {} {} über einen geeigneten Limes die \'{e}tale Fundamentalgruppe eingeführt. Durch diesen Zugang entsteht zugleich ein gemeinsamer Blick auf die Topologie von algebraischen Varietäten und auf die Galoistheorie. Diese Betrachtungsweise geht auf Abhyankar \zusatzklammer {im Kurvenfall} {} {} und Grothendieck \zusatzklammer {allgemein} {} {} zurück.
Der geeignete algebraische Ersatzbegriff für eine Überlagerung ist der des \zusatzklammer {endlichen} {} {} \'{e}talen Morphismus.
\zwischenueberschrift{Étale Morphismen}
\inputdefinition
{}
{
Es sei
\maabb {\varphi} {Y} {X
} {}
ein
\definitionsverweis {Schemamorphismus}{}{.}
Er heißt \definitionswort {unverzweigt}{} in einem Punkt
\mathl{y \in Y}{,} wenn für die maximalen Ideale die Beziehung
\mathl{{\mathfrak m}_y = {\mathfrak m}_{\varphi(y)} \cdot {\mathcal O}_y}{} gilt und wenn die
\definitionsverweis {Körpererweiterung}{}{}
\mathl{\kappa(\varphi(y)) \subseteq \kappa(y)}{}
\definitionsverweis {separabel}{}{}
ist. Wenn $\varphi$ in jedem Punkt
\mathl{y \in Y}{} unverzweigt ist, so nennt man $\varphi$ \definitionswort {unverzweigt}{.}
}
\inputdefinition
{}
{
Es sei
\maabbdisp {\varphi} {Y} {X
} {}
ein
Schemamorphismus von endlichem Typ.
Er heißt \definitionswort {\'{e}tale}{,} wenn er
flach
ist und wenn die Garbe der relativen Differentiale
\mathl{\Omega_{Y {{|}} X}}{} gleich $0$ ist.
}
\inputfakt{Schemamorphismus/Endlicher Typ/Etale/Charakterisierung/Fakt}{Lemma}{}
{
\faktsituation {Sei
\maabbdisp {\varphi} {Y} {X
} {} ein Schemamorphismus vom endlichen Typ.}
\faktuebergang {Dann sind folgende Aussagen äquivalent.}
\faktfolgerung {\aufzaehlungzwei {$\varphi$ ist
\definitionsverweis {\'{e}tale}{}{.}
} {$\varphi$ ist
flach
und
unverzweigt.
}}
\faktzusatz {}
\faktzusatz {}
}
\inputbeispiel{}
{
Eine
\definitionsverweis {endliche Körpererweiterung}{}{}
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist genau dann
\definitionsverweis {\'{e}tale}{}{,}
wenn sie
\definitionsverweis {separabel}{}{} ist.
}
\inputbeispiel{}
{
Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb A}^\times
}
{ =} { {\mathbb A}^1 \setminus \{ 0 \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
punktierte affine Gerade,
also die affine Gerade ohne das maximale Ideal
\mathl{(X)}{.} Für jede natürliche Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die kein Vielfaches der Charakteristik von $K$ ist, ist die Abbildung
\maabbeledisp {} {{\mathbb A}^\times } {{\mathbb A}^\times
} {x} {x^n
} {,}
\zusatzklammer {die dem Einsetzungshomomorphismus zu \mathlk{X \mapsto X^n}{} entspricht} {} {}
eine endliche \'{e}tale Abbildung. Dies folgt unmittelbar aus der Ableitung von $X^n$, da sich aus
\mavergleichskette
{\vergleichskette
{ nX^{n-1} dX
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
direkt
\mavergleichskette
{\vergleichskette
{dX
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\mathl{\Omega_{ {\mathbb A}^\times {{|}} {\mathbb A}^\times }}{} ergibt.
Die Automorphismengruppe dieser Überlagerung entspricht den $n$-ten Einheitswurzeln in $K$, wobei eine solche Einheitswurzel $\zeta$ auf ${\mathbb A}^\times$ durch
\mathl{x \mapsto \zeta x}{} wirkt, und ist daher zu
\mathl{\Z/(n)}{} isomorph.
}
\inputbeispiel{}
{
Es sei $K$ ein
\definitionsverweis {algebraisch abgeschlossener Körper}{}{}
und
\mathl{F \in K[X]}{} ein von $0$ verschiedenes Polynom vom Grad $n$, das wir als Morphismus
\maabbeledisp {F} {{\mathbb A}^1} {{\mathbb A}^1
} {x} {F(x)
} {,}
auffassen
\zusatzklammer {zum Einsetzungshomomorphismus
\mathl{Y \mapsto F}{}} {} {.}
Auf der Ringebene beschrieben geht es um die
\mathl{K[Y]}{-}Algebra
\mathdisp {K[X] \cong K[X,Y]/(Y-F) \cong K[Y] \cdot 1 \oplus K[Y] \cdot X \oplus \cdots \oplus K[Y] \cdot X^{n-1}} { }
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Courbe troisième degré 4.GIF} }
\end{center}
\bildtext {Die Abbildung, um die es geht, ist die horizontale Projektion der roten Kurve auf die $y$-Achse. Die beiden Verzweigungspunkte sind die beiden Extremumspunkte. Wenn man deren horizontalen Projektionspunkte
\zusatzklammer {also ihre beiden $y$-Koordinaten herausnimmt, bekommt man eine \'{e}tale Abbildung. Wenn man von diesen $y$-Koordinaten alle Urbildpunkte herausnimmt, so liegt eine Überlagerung vor} {} {.}} }
\bildlizenz { Courbe troisième degré 4.GIF } {} {Lydienoria} {Commons} {CC-by-sa 3.0} {}
mit der durch $F$ definierten Multiplikationsregel für $X^n$. Daher ist diese Abbildung endlich und frei vom Rang $n$ und insbesondere \definitionsverweis {flach}{}{.}
Der Modul der relativen Differentiale ist
\mathdisp {K[X]dX/ (dF) \cong K[X]dX/ (F'dX)} { . }
Daher ist die Einschränkung auf das Komplement der Verzweigungspunkte, also auf die offene Menge
\mathl{D(F') \subseteq {\mathbb A}^1}{,} ein \'{e}taler Morphismus. Diese Einschränkung ist im Allgemeinen nicht endlich und bei
\mathl{K={\mathbb C}}{} auch keine Überlagerung. Wenn man dagegen aus
\zusatzklammer {dem Bildbereich} {} {}
${\mathbb A}^1$ sämtliche Bildpunkte $B$ der Verzweigungspunkte herausnimmt und die Abbildung auf diese offene Menge und ihr Urbild einschränkt, so erhält man eine endliche \'{e}tale Abbildung. Es handelt sich ja einfach um eine Nenneraufnahme zu der vorgegebenen endlichen Abbildung, wobei sich die Endlicheit und der Rang überträgt. Zu jedem Punkt
\mathl{P \in {\mathbb A}^1 \setminus B}{} besteht die Faser aus $n$ Punkten, da die zugehörige $K$-Algebra, die die Faser beschreibt, die $K$-Dimension $n$ besitzt, separabel
\zusatzklammer {wegen der Unverzweigtheit} {} {}
über $K$ ist und sämtliche Restklassenkörper wegen der algebraischen Abgeschlossenheit isomorph zu $K$ sind.
}
\inputbeispiel{}
{
Es sei $C$ eine elliptische Kurve über einem algebraisch abgeschlossenen Körper $K$ und \maabbeledisp {[n]} {C} {C } {P} {nP } {,} die $n$-te Multiplikationsabbildung. Dies ist stets eine endliche Abbildung, die darüber hinaus \'{e}tale ist, wenn $n$ kein Vielfaches der Charakteristik des Grundkörpers $K$ ist. In diesem Fall liegt also eine Überlagerung \zusatzklammer {und zwar vom Grad $n^2$} {} {} der elliptischen Kurve durch sich selbst vor.
Bei
\mathl{K={\mathbb C}}{} besitzen elliptische Kurven die Beschreibung
\mathl{C={\mathbb C}/\Gamma}{,} wobei
\mathl{\Gamma \cong \Z^2}{} ein
\zusatzklammer {volles} {} {}
Gitter in ${\mathbb C}$ ist
\zusatzklammer {${\mathbb C}$ ist dann auch die universelle Überlagerung der elliptischen Kurve, deren topologische Fundamentalgruppe gleich $\Z^2$ ist} {} {.}
Ein Punkt
\mathl{P \in C}{} wird durch einen Punkt
\mathl{\tilde{P} \in {\mathbb C}}{} in einer fixierten Gittermasche repräsentiert.
Die Multiplikationsabbildung $[n]$ liftet zur Multiplikationsabbildung auf ${\mathbb C}$, und wenn
\mathl{P \in C}{} durch den Punkt
\mathl{\tilde{P} \in {\mathbb C}}{} repräsentiert wird, so wird die Faser von
\mathl{[n]}{} über $P$ in der Gittermasche durch die $n^2$ Punkte
\mathbeddisp {\tilde{P}+ { \frac{ i }{ n } }v_1 + { \frac{ j }{ n } }v_2} {}
{0 \leq i,j \leq n-1} {}
{} {} {} {,}
repräsentiert, wobei
\mathkor {} {v_1} {und} {v_2} {}
Erzeuger des Gitters seien. Die Multiplikation auf $C$ kann man auffassen als die
\zusatzklammer {natürliche Restklassen} {} {-}Abbildung
\maabbdisp {} {{\mathbb C}/ \Gamma} { {\mathbb C}/ { \frac{ 1 }{ n } } \Gamma \cong {\mathbb C}/ \Gamma
} {.}
Die Gruppe
\mathl{\Gamma/{ \frac{ 1 }{ n } } \Gamma \cong n \Gamma/\Gamma \cong \Z/(n) \times \Z/(n)}{} operiert dabei auf $C$, indem eben
\mathl{{ \frac{ i }{ n } }v_1 + { \frac{ j }{ n } }v_2}{} zu einem repräsentierenden Punkt $\tilde{P}$ addiert wird, und diese Operation ist einfach transitiv auf den Fasern. Insgesamt liegt das kommutative Diagramm
\mathdisp {\begin{matrix}{\mathbb C} & \stackrel{ }{\longrightarrow} & C \cong {\mathbb C}/\Gamma & \\ & \searrow & \downarrow & \\ & & C \cong {\mathbb C}/ { \frac{ 1 }{ n } } \Gamma & \!\!\!\!\! \!\!\! \\ \end{matrix}} { }
aus Überlagerungen vor.
}
\inputbemerkung
{}
{
Es sei $R$ ein
\definitionsverweis {normaler Integritätsbereich}{}{}
mit
\definitionsverweis {Quotientenkörper}{}{}
\mavergleichskette
{\vergleichskette
{K
}
{ = }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{K
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {endliche Galoiserweiterung}{}{}
mit
\definitionsverweis {Galoisgruppe}{}{}
$G$. Es sei $S$ der
\definitionsverweis {ganze Abschluss}{}{}
von $R$ in $L$. Dann operiert
nach Satz 21.2 (Algebraische Zahlentheorie (Osnabrück 2020-2021))
$G$ auf $S$ und der
\definitionsverweis {Invariantenring}{}{}
ist $R$. Der
\definitionsverweis {Morphismus}{}{}
\maabbdisp {\varphi} { \operatorname{Spec} { \left( S \right) } } { \operatorname{Spec} { \left( R \right) }
} {}
ist i.A. nicht
\definitionsverweis {\'{e}tale}{}{}
\zusatzklammer {weder flach noch unverzweigt} {} {.}
Es gibt aber natürliche offene nichtleere Mengen
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{\operatorname{Spec} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so dass die Einschränkung
\maabbdisp {} {\varphi^{-1}(U)} {U
} {}
\'{e}tale ist.
}
\inputbeispiel{}
{
Die
\definitionsverweis {symmetrische Gruppe}{}{}
$S_n$
\definitionsverweis {operiert}{}{}
auf dem
Polynomring in $n$ Variablen
bzw. auf dem
affinen Raum
\mathl{{ {\mathbb A}_{ K }^{ n } }}{}
\zusatzklammer {$K$ ein Körper} {} {}
Der
\definitionsverweis {Invariantenring}{}{}
ist der Polynomring in den $n$
\definitionsverweis {elementarsymmetrischen Polynomen}{}{}
\mathl{s_1 , \ldots , s_n}{.} Die
\definitionsverweis {Ringerweiterung}{}{}
\mathl{K[s_1 , \ldots , s_n] \subseteq K[x_1 , \ldots , x_n]}{} ist
\definitionsverweis {frei}{}{}
\zusatzklammer {insbesondere flach} {} {.}
Die zugehörige Erweiterung der Quotientenkörper ist eine
\definitionsverweis {Galoiserweiterung}{}{.}
Die Gesamtabbildung
\maabbeledisp {} { { {\mathbb A}_{ K }^{ n } } } { { {\mathbb A}_{ K }^{ n } }
} {(x_1 , \ldots , x_n)} {(s_1 , \ldots , s_n)
} {,}
ist nicht
\definitionsverweis {$\rm \acute{ e }$tale}{}{,}
sie ist in denjenigen Punkten verzweigt, deren
\definitionsverweis {Bahnen}{}{}
weniger als $n!$ Punkte besitzen, und das sind diejenigen Punkte, wo mindestens zwei Koordinaten übereinstimmen.
}
In Hinblick auf die Frage, inwiefern Vektorbündel mit Darstellungen der algebraischen Fundamentalgruppe zusammenhängen, ist das folgende Beispiel wichtig.
\inputbeispiel{}
{
Es sei $X$ ein
\definitionsverweis {Schema}{}{}
und ${\mathcal L}$ eine
\definitionsverweis {invertierbare Garbe}{}{}
auf $X$, die in der Picardgruppe $\operatorname{ Pic}_{ } ^{ } { \left( X \right) }$ endliche
\definitionsverweis {Ordnung}{}{}
$n$ besitze, wobei $n$ in $X$ invertierbar sei. Mit einem fixierten
\definitionsverweis {Isomorphismus}{}{}
\mathl{{\mathcal L}^n \cong {\mathcal O}_X}{} kann man auf der direkten Summe
\mathdisp {{\mathcal O}_X \oplus {\mathcal L} \oplus {\mathcal L}^{2} \oplus \cdots \oplus{\mathcal L}^{n-1}} { }
eine ${\mathcal O}_X$-Algebra-Struktur ${\mathcal A}$ definieren. Das zugehörige
\zusatzklammer {relative} {} {}
Spektrum definiert einen endlichen Schemamorphismus
\maabbdisp {} {Y = {\rm Spec} {\mathcal A}} {X
} {.}
Dieser ist flach, da die Algebra lokal frei ist. Die Unverzweigtheit weist man auch lokal nach, wobei man zu offenen affinen Mengen
\mathl{U \subseteq X}{} übergeht, über denen $\mathcal L$ trivial ist. Auf einer solchen Menge
\mathl{U = {\rm Spec} R}{} wird die Algebra durch
\mathl{B=R[T](T^n -r)}{} mit einer Einheit
\mathl{r \in R^{\times}}{} gegeben. Die relativen Differentiale werden von $dT$ erzeugt und dafür gilt
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} {d(T^n-r)
}
{ =} {nT^{n-1} dT
}
{ } {
}
{ } {
}
}
{}{}{.}
Da sowohl $n$ als auch $T$
\zusatzklammer {als Teiler von $r$} {} {}
Einheiten sind, ist
\mavergleichskette
{\vergleichskette
{dT
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn man die invertierbare Garbe ${\mathcal L}$ nach $Y$ zurückzieht, so ergibt sich wegen
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ ({\mathcal O}_X \oplus {\mathcal L} \oplus {\mathcal L}^{2} \oplus \cdots \oplus{\mathcal L}^{n-1}) \otimes_{ {\mathcal O}_X} {\mathcal L}
}
{ \cong} { {\mathcal L} \oplus {\mathcal L}^2 \oplus {\mathcal L}^{3} \oplus \cdots \oplus{\mathcal L}^{n}
}
{ \cong} { {\mathcal A}
}
{ } {
}
{ } {
}
}
{}{}{}
die Strukturgarbe. Die konstruierte \'{e}tale Abbildung trivialisiert also diese Torsionsgarbe.
}
\zwischenueberschrift{Zusammenhang zur komplexen Situation}
\inputfaktbeweis
{Glatte Varietäten/C/Endlich und etale/Überlagerung/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {X} {und} {Y} {}
\definitionsverweis {glatte Varietäten}{}{}
über ${\mathbb C}$ und sei
\maabbdisp {\varphi} {Y} {X
} {}
ein endlicher \'{e}taler Morphismus.}
\faktfolgerung {Dann ist die zugehörige Abbildung
\maabbdisp {\varphi_{\mathbb C}} {Y_{\mathbb C}} {X_{\mathbb C}
} {}
eine
\definitionsverweis {Überlagerung}{}{}
von
\definitionsverweis {komplexen Mannigfaltigkeiten}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wegen der vorausgesetzten Glattheit sind die Garben der Differentialformen
\mathkor {} {\Omega_Y} {und} {\Omega_X} {}
lokal frei, und ihr Rang ist gleich der
\zusatzklammer {wegen der Flachheit und Endlichkeit gemeinsamen} {} {}
Dimension von $Y$ und $X$. Wir betrachten auf $Y$ die exakte Sequenz
\mathdisp {\varphi^* \Omega_X \longrightarrow \Omega_Y \longrightarrow \Omega_{Y {{|}} X} \longrightarrow 0} { . }
Wegen \'{e}tale ist dabei
\mathl{\Omega_{Y {{|}} X} =0}{,} so dass ein surjektiver Garbenhomomorphismus
\maabb {} {\varphi^* \Omega_X } { \Omega_Y
} {}
vorliegt. Da beide Garben lokal frei sind und denselben Rang besitzen, handelt es sich um einen Isomorphismus. Es folgt durch Dualisieren, dass auch die Tangentialabbildung
\maabbdisp {{\mathcal T}(\varphi)} {{\mathcal T}_Y } { \varphi^* {\mathcal T}_X
} {}
ein Isomorphismus ist.
Wir gehen nun zu den zugehörigen komplexen Mannigfaltigkeiten
\mathkor {} {Y_{\mathbb C}} {und} {X_{\mathbb C}} {}
über. Nach der Überlegung von eben ist insbesondere für jeden Punkt
\mathl{y \in Y_{\mathbb C}}{} die Tangentialabbildung
\maabbdisp {} {T_{Y,y}} {T_{X,\varphi(y)}
} {}
ein
\definitionsverweis {Vektorraum-Isomorphismus}{}{,}
und dieser wird auf geeigneten Karten durch das
\definitionsverweis {totale Differential}{}{}
\mathl{\left(D\varphi\right)_{y}}{} beschrieben. Nach
dem Satz über die Umkehrabbildung
gibt es daher eine offene Umgebung
\zusatzklammer {in der komplexen Topologie} {} {}
von $y$, die unter $\varphi_{\mathbb C}$ eine Diffeomorphie mit einer offenen Umgebung von
\mathl{\varphi(y)}{} induziert. D.h., dass ein
\definitionsverweis {lokaler Homöomorphismus}{}{}
vorliegt.
\teilbeweis {}{}{}
{Da $\varphi$ endlich ist, ist $\varphi$ auch
eigentlich
und daher ist $\varphi_{\mathbb C}$ auch
eigentlich
im Sinne der Topologie, d.h. Urbilder von kompakten Mengen sind wieder kompakt. Daraus folgt insgesamt, dass $\varphi_{\mathbb C}$ eine Überlagerung mit endlichen Fasern ist.}
{}
Der folgende Satz ist der sogenannte Riemannsche Existenzsatz. Er wurde in der Dimension $1$
\zusatzgs {für projektive algebraische Kurven bzw. kompakte riemannsche Flächen} {}
von Riemann und in beliebiger Dimension von Grauert und Remmert bewiesen. Er bildet die Grundlage dafür, dass man die topologische Fundamentalgruppe in sinnvoller Weise mit der Grothendieckschen Fundamentalgruppe in Beziehung setzen kann.
\inputfakt{Glatte Varietäten/C/Riemannscher Existenzsatz/Fakt}{Satz}{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {glatte Varietät}{}{}
über ${\mathbb C}$ und sei $X_{\mathbb C}$ die zugehörige
\definitionsverweis {komplexe Mannigfaltigkeit}{}{.}
Es sei
\maabbdisp {\psi} {Z} {X_{\mathbb C}
} {}
eine
\definitionsverweis {endliche Überlagerung}{}{}
\zusatzklammer {also eine topologisch eigentliche Überlagerung mit endlichen Fasern} {} {}
durch eine komplexe Mannigfaltigkeit $Z$.}
\faktfolgerung {Dann gibt es eine eindeutig bestimmte Varietät $Y$ über ${\mathbb C}$ und einen endlichen \'{e}talen Morphismus
\maabbdisp {\varphi} {Y} {X
} {}
mit
\mathl{Z= Y_{\mathbb C}}{} und
\mathl{\psi= \varphi_{\mathbb C}}{.}}
\faktzusatz {}
\faktzusatz {}
}
\inputbemerkung
{}
{
Für eine \definitionsverweis {komplexe Mannigfaltigkeit}{}{} $X$ und eine Überlagerung \maabbdisp {} {Y} {X } {} besitzt $Y$ eine eindeutig bestimmte Struktur als komplexe Mannigfaltigkeit derart, dass die Abbildung zu einem lokalen Isomorphismus von komplexen Mannigfaltigkeiten wird. Dies beruht auf einer unmittelbaren Konstruktion und ist trivial im Vergleich mit dem Auffinden einer algebraischen Struktur auf $Y$, falls $X$ eine besitzt.