Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 13/latex
\setcounter{section}{13}
\zwischenueberschrift{Analytische Fortsetzung}
\inputdefinition
{}
{
Es sei ${ \mathcal G }$ eine
\definitionsverweis {Garbe}{}{}
auf einem
\definitionsverweis {topologischen Raum}{}{}
$X$. Es seien
\mavergleichskette
{\vergleichskette
{P,Q
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Punkte. Man sagt, dass die
\definitionsverweis {Keime}{}{}
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ { \mathcal G }_P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{ { \mathcal G }_Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
miteinander
\definitionswort {verbunden}{}
sind, wenn es eine
\definitionsverweis {zusammenhängende}{}{}
offene Teilmenge
\mavergleichskette
{\vergleichskette
{P,Q
}
{ \in }{U
}
{ \subseteq }{X
}
{ }{
}
{ }{
}
}
{}{}{}
und einen Schnitt
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ { \mathcal G } { \left( U \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{r_P
}
{ = }{s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{r_Q
}
{ = }{t
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
Bei
\mavergleichskette
{\vergleichskette
{P
}
{ = }{Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ein Keim nur mit sich selbst verbunden. Ohne die Voraussetzung zusammenhängend wären in einem Hausdorffraum je zwei Keime zu verschiedenen Punkten miteinander verbunden. Zu einem fixierten Keim
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ { \mathcal G }_P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einem weiteren Punkt
\mavergleichskette
{\vergleichskette
{Q
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man sich fragen, ob $s$ mit einem Keim aus ${ \mathcal G }_Q$ verbunden ist und, wenn ja, mit wie vielen. Im Folgenden interessieren uns für diese Fragen im Fall, wenn ${ \mathcal G }$ die Garbe der holomorphen Funktionen auf einer riemannschen Fläche ist. Die Verbundenheit ist keine Äquivalenzrelation auf der Menge aller Keime, da man Schnitte auf offenen Mengen im Allgemeinen nicht auf die Vereinigung fortsetzen kann. Um dies zu erreichen, muss man Verbundenheiten aneinander legen.
\inputdefinition
{}
{
Es sei ${ \mathcal G }$ eine
\definitionsverweis {Garbe}{}{}
auf einem
\definitionsverweis {topologischen Raum}{}{}
$X$. Es seien
\mavergleichskette
{\vergleichskette
{P,Q
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Punkte. Man sagt, dass die
\definitionsverweis {Keime}{}{}
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ { \mathcal G }_P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{ { \mathcal G }_Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
miteinander
\definitionswort {schrittweise verbunden}{}
sind, wenn es eine Punktkette
\mathl{P=P_0,P_1 , \ldots , P_{n-1}, P_n=Q}{} und Keime
\mavergleichskette
{\vergleichskette
{ s_i
}
{ \in }{ { \mathcal G }_{P_i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mathkor {} {s_{i-1}} {und} {s_{i}} {}
für
\mavergleichskette
{\vergleichskette
{ i
}
{ = }{ 1 , \ldots , n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
miteinander
\definitionsverweis {verbunden}{}{}
sind.
}
Auf einer Mannigfaltigkeit ist zusammenhängend das Gleiche wie \definitionsverweis {wegzusammenhängend}{}{.} Oft formuliert man daher die Fragen nach Verbundenheit und schrittweiser Verbundenheit entlang eines fixierten stetigen Weges, der \mathkor {} {P} {und} {Q} {} verbindet.
\inputdefinition
{}
{
Es sei ${ \mathcal G }$ eine
\definitionsverweis {Garbe}{}{}
auf einem
\definitionsverweis {topologischen Raum}{}{}
$X$. Es seien
\mavergleichskette
{\vergleichskette
{P,Q
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Punkte und
\maabbdisp {\gamma} {[0,1]} {X
} {}
ein
\definitionsverweis {stetiger Weg}{}{}
mit
\mavergleichskette
{\vergleichskette
{\gamma(0)
}
{ = }{P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\gamma(1)
}
{ = }{Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man sagt, dass die
\definitionsverweis {Keime}{}{}
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ { \mathcal G }_P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{ { \mathcal G }_Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {längs}{}
$\gamma$ miteinander
\definitionswort {verbunden}{}
sind, wenn es eine offene Teilmenge mit
\mavergleichskette
{\vergleichskette
{ \gamma([0,1])
}
{ \subseteq }{U
}
{ \subseteq }{X
}
{ }{
}
{ }{
}
}
{}{}{}
und einen Schnitt
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ { \mathcal G } { \left( U \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{r_P
}
{ = }{s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{r_Q
}
{ = }{t
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
\inputdefinition
{}
{
Es sei ${ \mathcal G }$ eine
\definitionsverweis {Garbe}{}{}
auf einem
\definitionsverweis {topologischen Raum}{}{}
$X$. Es seien
\mavergleichskette
{\vergleichskette
{P,Q
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Punkte und
\maabbdisp {\gamma} {[0,1]} {X
} {}
ein
\definitionsverweis {stetiger Weg}{}{}
mit
\mavergleichskette
{\vergleichskette
{\gamma(0)
}
{ = }{P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\gamma(1)
}
{ = }{Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man sagt, dass die
\definitionsverweis {Keime}{}{}
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ { \mathcal G }_P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{ { \mathcal G }_Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {längs}{}
$\gamma$ miteinander
\definitionswort {schrittweise verbunden}{}
sind, wenn es Punkte
\mavergleichskette
{\vergleichskette
{ 0
}
{ = }{t_0
}
{ < }{ t_1
}
{ < }{ \ldots
}
{ < }{ t_{n-1}
}
}
{
\vergleichskettefortsetzung
{ < }{ t_n
}
{ = }{1
}
{ }{}
{ }{}
{}{}
}{}{}
und Keime
\mavergleichskette
{\vergleichskette
{s_i
}
{ \in }{ { \mathcal G }_{ \gamma(t_i)}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mavergleichskette
{\vergleichskette
{s_0
}
{ = }{s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{s_n
}
{ = }{t
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mathkor {} {s_{i-1}} {und} {s_{i}} {}
miteinander längs
\mavergleichskette
{\vergleichskette
{ \gamma_{i}
}
{ \defeq }{ \gamma {{|}} _{ [t_{i-1},t_i] }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {verbunden}{}{}
sind.
}
Bei der schrittweisen Verbundenheit gibt es zusammenhängende offene Mengen
\mathbed {U_i} {}
{i=1 , \ldots , n} {}
{} {} {} {,}
mit
\mavergleichskette
{\vergleichskette
{ \gamma( [t_{i-1},t_i])
}
{ \subseteq }{U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und Schnitte
\mavergleichskette
{\vergleichskette
{r_i
}
{ \in }{ \Gamma { \left( U_i, { \mathcal G } \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die auf die Keime an den Endpunkten einschränken. Da die
\mathkor {} {r_i} {und} {r_{i+1}} {}
in den Übergangspunkten den gleichen Keim definieren, sind sie auf einer offenen Umgebung des Übergangspunktes überhaupt gleich. Das heißt aber nicht, dass sie überhaupt zu einem Schnitt über
\mathl{U_i \cup U_{i+1}}{} fortgesetzt werden können, da es ja auch einen nichtleeren Durchschnitt jenseits des Übergangspunktes geben kann, wie wenn $\gamma$ ein voller Kreisbogen ist, den man in den oberen und den unteren Bogen aufteilt. Insbesondere ist die Verbundenheit bei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
trivial, die schrittweise Verbundenheit aber nicht. Im holomorphen Kontext wird diese schrittweise Verbundenheit verwendet, um holomorphe Funktionskeime miteinander in Beziehung zu setzen.
\inputdefinition
{}
{
Es sei $X$ eine
\definitionsverweis {riemannsche Fläche}{}{}
und sei
\maabb {\gamma} {[0,1]} {X
} {}
ein
\definitionsverweis {stetiger Weg}{}{}
mit
\mavergleichskette
{\vergleichskette
{\gamma(0)
}
{ = }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\gamma(1)
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man sagt, dass ein
\definitionsverweis {holomorpher Funktionskeim}{}{}
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{ {\mathcal O}_{X,y}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus einem holomorphen Funktionskeim
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathcal O}_{X,x}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch
\definitionswort {analytische Fortsetzung}{}
längs $\gamma$ hervorgeht, wenn es Punkte
\mavergleichskette
{\vergleichskette
{0
}
{ = }{t_0
}
{ < }{t_1
}
{ < }{ \ldots
}
{ < }{t_{n-1}
}
}
{
\vergleichskettefortsetzung
{ < }{t_n
}
{ = }{1
}
{ }{}
{ }{}
{}{}
}{}{,}
zusammenhängende offene Mengen
\mavergleichskette
{\vergleichskette
{U_i
}
{ \subseteq }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \gamma( [t_{i-1}, t_{i} ]
}
{ \subseteq }{U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\definitionsverweis {holomorphe Funktionen}{}{}
\mavergleichskette
{\vergleichskette
{f_i
}
{ \in }{ \Gamma (U_i, {\mathcal O}_X )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mavergleichskette
{\vergleichskette
{f_1
}
{ = }{f
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{f_n
}
{ = }{g
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mathkor {} {f_i} {und} {f_{i+1}} {}
in einer offenen Umgebung von
\mathl{\gamma(t_i)}{} übereinstimmen.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Analytic continuation 3.png} }
\end{center}
\bildtext {} }
\bildlizenz { Analytic continuation 3.png } {} {Snty-tact~commonswiki} {Commons} {CC-by-sa 3.0} {}
Eine wichtige Beobachtung ist, dass wenn man mit verschiedenen stetigen Wegen von $x$ nach $y$ gelangt und wenn entlang beider Wege eine analytische Fortsetzung eines Keimes in $x$ möglich ist, das man dann keineswegs im gleichen Keim landen muss. Das folgende Beispiel ist typisch.
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {riemannsche Fläche}{}{}
\mavergleichskette
{\vergleichskette
{ X
}
{ = }{ {\mathbb C} \setminus \{0\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und den geschlossenen Weg
\maabbdisp {\gamma} {[0, 2 \pi ]} { \left( \cos t , \, \sin t \right)
} {}
mit Anfangs- und Endpunkt $1$. Zu jedem Punkt
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt die Quadratüberlagerung
\zusatzklammer {siehe
Beispiel 6.2} {} {}
\maabbeledisp {} { X } {X
} {w} {w^2
} {,}
in einer lokalen offenen Umgebung von $a$ zwei Schnitte. Diese sind durch Potenzreihen mit Entwicklungspunkt $a$ der Form
\mathdisp {\sum_{ n = 0}^\infty c_n ( z-a)^n} { }
gegeben, wobei
\mavergleichskettedisp
{\vergleichskette
{ { \left( \sum_{ n = 0}^\infty c_n ( z-a)^n \right) }^2
}
{ =} { z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ c_0^2
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Wenn man $c_0$ mit dieser letzten Bedingung fixiert, wird dadurch die gesamte Potenzreihe festgelegt. Die andere erhält man durch Negation. Wir behaupten, dass im Punkt $1$ die beiden Potenzreihen der Wurzel durch
\definitionsverweis {analytische Fortsetzung}{}{}
längs $\gamma$ auseinander hervorgehen. Dies folgt daraus, dass zu jedem Punkt auf dem Einheitskreis durch den Funktionswert bereits die gesamte Potenzreihe der Quadratwurzel festgelegt ist. Wenn man in $1$ mit
\mavergleichskette
{\vergleichskette
{ c_0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
startet, so legt dies die Potenzreihe im Entwicklungspunkt $1$ mit einem gewissen Konvergenzradius
\zusatzklammer {nämlich $1$} {} {}
fest. Auf den Punkten auf dem Einheitskreis innerhalb des Konvergenzradius wird dadurch der Wert festgelegt, nämlich durch die Halbierung des Winkels. Dieser Wert legt wiederum in diesen Punkten die Potenzreihen fest. So erhält man in den Punkten $1, { \mathrm i}, -1, - { \mathrm i}$ zueinander passende Potenzreihen, deren Werte auf dem Einheitskreis durch die Halbierung des Winkels gegeben sind. Daher erhält man nach einer Volldrehung die Potenzreihe der Wurzel um $1$ mit dem Wert $-1$.
}
Aufgrund dieses Phänomens, dass verschiedene Wege zu verschiedenen Fortsetzungen führen, sagt man manchmal, dass die komplexe Quadratwurzel \zusatzklammer {und viele andere Funktionen} {} {} eine \stichwort {mehrdeutige Funktion} {} ist. Sie ist aber auf ${\mathbb C}$ oder auf ${\mathbb C} \setminus \{0\}$ definitiv keine Funktion, sie kann nur auf gewissen offenen Teilmengen eindeutig definiert werden, diese Funktionen \zusatzklammer {\stichwort {Zweige} {}} {} {} passen aber nicht zusammen. Eine naheliegende Frage ist es, ob man die riemannsche Fläche durch eine andere Fläche ersetzen kann, auf der die verschiedenen, durch analytische Fortsetzung entstandenen Zweige eine globale holomorphe Funktion definieren. Dies wird positiv in Lemma 13.14 beantwortet.
\inputfaktbeweis
{Riemannsche Fläche/Holomorphe Funktionskeime/Analytische Fortsetzung/Einfache Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {riemannsche Fläche}{}{}
und sei
\maabb {\gamma} {[0,1]} {X
} {}
ein
\definitionsverweis {stetiger Weg}{}{}
mit
\mavergleichskette
{\vergleichskette
{\gamma(0)
}
{ = }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\gamma(1)
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es seien
\mavergleichskette
{\vergleichskette
{f_1,f_2
}
{ \in }{ {\mathcal O}_{X,x}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{g_1,g_2
}
{ \in }{ {\mathcal O}_{X,y}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {holomorphe Funktionskeime}{}{,}
wobei $g_1$ aus $f_1$ und $g_2$ aus $f_2$ durch
\definitionsverweis {analytische Fortsetzung}{}{}
längs $\gamma$ hervorgeht.}
\faktfolgerung {Dann geht auch
\mathl{g_1+g_2}{} aus
\mathl{f_1+f_2}{} und
\mathl{g_1 \cdot g_2}{} aus
\mathl{f_1 \cdot f_2}{} durch analytische Fortsetzung längs $\gamma$ hervor.}
\faktzusatz {}
\faktzusatz {}
}
{
Man kann zuerst zu einer gemeinsamen Verfeinerung der sukzessiven offenen Umgebungen übergehen. Beide Aussagen folgen, da man die Operationen auf den jeweiligen holomorphen Funktionen auf den $U_i$ ausführen kann.
\inputbemerkung
{}
{
Lemma 13.7 ist nicht so zu verstehen, dass es zu einem gegebenen $\gamma$ einen \definitionsverweis {Ringisomorphismus}{}{} \maabbdisp {} { {\mathcal O}_{X,x} } {{\mathcal O}_{X,y} } {} gibt, der die analytische Fortsetzung längs $\gamma$ beschreibt. Das Problem ist, dass man im Allgemeinen einen holomorphen Funktionskeim nicht entlang eines Weges fortsetzen kann. Dies geht insbesondere nicht für Potenzreihen, die im Schnittpunkt des Weges mit dem Rand ihres Konvergenzbereiches gegen unendlich streben.
}
\inputfaktbeweis
{Riemannsche Fläche/Holomorphe Funktionskeime/Algebraische Relation/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {riemannsche Fläche}{}{,}
es seien
\mathl{a_0, a_1 , \ldots , a_n}{}
\definitionsverweis {holomorphe Funktionen}{}{}
auf $X$ und sei $f$ ein
\definitionsverweis {holomorpher Funktionskeim}{}{}
im Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
der im Halm ${\mathcal O}_{ X,P }$ die
\definitionsverweis {algebraische Relation}{}{}
\mavergleichskettedisp
{\vergleichskette
{ a_nf^n+ a_{n-1}f^{n-1} + \cdots + a_1f + a_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfülle.}
\faktfolgerung {Dann erfüllt jede analytische Fortsetzung von $f$ ebenfalls diese Relation.}
\faktzusatz {}
\faktzusatz {}
}
{
Zu einem holomorphen Keim $g$, der in einem Punkt $Q$ definiert ist und aus $f$ durch holomorphe Fortsetzung hervorgeht, gibt es insbesondere eine Kette von
offenen zusammenhängenden Teilmengen
\mathl{U_1 , \ldots , U_m}{} mit
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{P_0
}
{ \in }{ U_1
}
{ }{
}
{ }{
}
}
{}{}{,}
mit Punkten
\mavergleichskette
{\vergleichskette
{ P_i
}
{ \in }{ U_{i} \cap U_{i+1 }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{ P_{m}
}
{ \in }{ U_m
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei $f_i$ der Keim zum Punkt $P_i$ bei der analytischen Fortsetzung.
Wenn $f_i$ die algebraische Gleichung im Halm zu $P_i$ erfüllt, dann auch in einer offenen Umgebung von $P_i$ und damit nach
Satz 3.5
auch auf $U_i$ und auf $U_{i+1}$. Deshalb folgt die Aussage durch Induktion.
Wir werden uns später mit der umgekehrten Frage beschäftigen, inwiefern holomorphe Funktionskeime in einem Punkt, die ein-und dieselbe algebraische Relation erfüllen, durch analytische Fortsetzung auseinander hervorgehen. Siehe insbesondere Satz 26.11.
\zwischenueberschrift{Analytische Fortsetzung und der Ausbreitungsraum}
Die analytische Fortsetzung lässt sich am besten mit dem Ausbreitungsraum zur Strukturgarbe verstehen.
\inputfaktbeweis
{Riemannsche Fläche/Holomorphe Funktionskeime/Analytische Fortsetzung/Ausbreitungsraum/Liftung/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {riemannsche Fläche}{}{}
mit dem
\definitionsverweis {Ausbreitungsraum}{}{}
\maabb {p} {E} {X
} {}
zur
\definitionsverweis {Strukturgarbe}{}{.}
Es sei
\maabbdisp {\gamma} {[0,1]} {X
} {}
ein
\definitionsverweis {stetiger Weg}{}{}
mit
\mavergleichskette
{\vergleichskette
{\gamma(0)
}
{ = }{x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{\gamma(1)
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und seien
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathcal O}_{X,x}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{ {\mathcal O}_{X,y}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {holomorphe Keime}{}{}
in den Endpunkten.}
\faktfolgerung {Genau dann ist $g$ eine
\definitionsverweis {analytische Fortsetzung}{}{}
von $f$ längs $\gamma$, wenn es eine
\definitionsverweis {Liftung}{}{}
\maabbdisp {\tilde{\gamma}} { [0,1]} { E
} {}
zu $\gamma$ mit
\mavergleichskette
{\vergleichskette
{(x,f), (y,g)
}
{ \in }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als Endpunkte gibt.}
\faktzusatz {}
\faktzusatz {}
}
{
Es gebe eine analytische Fortsetzung von $f$ nach $g$. D.h. es gibt eine Intervallunterteilung
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} {t_0
}
{ <} {t_1
}
{ <} { \ldots
}
{ <} {t_{n-1}
}
}
{
\vergleichskettefortsetzung
{ <} {t_n
}
{ =} {1
}
{ } {}
{ } {}
}{}{,}
zusammenhängende offene Mengen
\mavergleichskette
{\vergleichskette
{U_i
}
{ \subseteq }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \gamma( [t_{i-1}, t_{i} ]
}
{ \subseteq }{U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\definitionsverweis {holomorphe Funktionen}{}{}
\mavergleichskette
{\vergleichskette
{f_i
}
{ \in }{ \Gamma (U_i, {\mathcal O}_X )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass
\mavergleichskette
{\vergleichskette
{f_1
}
{ = }{f
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{f_n
}
{ = }{g
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mathkor {} {f_i} {und} {f_{i+1}} {}
in einer offenen Umgebung von
\mathl{\gamma(t_i)}{} übereinstimmen. Die zugehörigen offenen Mengen
\mavergleichskette
{\vergleichskette
{(U_i,f)
}
{ \subseteq }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bilden unter $p$ nach
Lemma 12.9
homöomorph auf $U_i$ ab. Wir definieren die Liftung $\tilde{\gamma}$ durch
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\gamma}
}
{ =} { { \left( p {{|}}_{ (U_i,f_i) } \right) }^{-1} \circ \gamma_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In einer offenen Umgebung von
\mathl{\gamma(t_i)}{}
\zusatzklammer {innerhalb von \mathlk{U_i \cap U_{i +1}}{}} {} {}
stimmen
\mathkor {} {f_i} {und} {f_{i+1}} {}
überein und daher stimmen darauf die stückweisen Liftungen überein.
Wenn umgekehrt eine Liftung $\tilde{\gamma}$ existiert, so wird die kompakte Bildkurve
\mavergleichskette
{\vergleichskette
{ \tilde{\gamma}([0,1])
}
{ \subseteq }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch endlich viele offene Mengen der Form
\mathbed {(U_i,f_i)} {}
{i = 1 , \ldots , n} {}
{} {} {} {,}
mit
\mavergleichskettedisp
{\vergleichskette
{(U_i,f_i) \cap (U_{i+1},f_{i+1})
}
{ \neq} {\emptyset
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
überdeckt. Diese Daten konstituieren eine analytische Fortsetzung.
\inputfaktbeweis
{Riemannsche Fläche/Holomorphe Funktionskeime/Analytische Fortsetzung/Ausbreitungsraum/Zusammenhang/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {riemannsche Fläche}{}{}
mit dem
\definitionsverweis {Ausbreitungsraum}{}{}
\maabb {p} {E} {X
} {}
zur
\definitionsverweis {Strukturgarbe}{}{.}
Es seien
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Punkte und seien
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathcal O}_{X,x}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{ {\mathcal O}_{X,y}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {holomorphe Keime}{}{.}}
\faktfolgerung {Genau dann ist $g$ eine
\definitionsverweis {analytische Fortsetzung}{}{}
von $f$
\zusatzklammer {bezüglich irgendeines stetigen Weges} {} {,}
wenn
\mathkor {} {(x,f)} {und} {(y,g)} {}
der gleichen
\definitionsverweis {Zusammenhangskomponente}{}{}
von $E$ angehören.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt direkt aus Satz 13.10 und daraus, dass auf \zusatzklammer {wegen Satz 12.12} {} {} der Mannigfaltigkeit $E$ die \definitionsverweis {Zusammenhangskomponenten}{}{} \definitionsverweis {wegzusammenhängend}{}{} sind.
\inputfaktbeweis
{Riemannsche Fläche/Holomorphe Funktionskeime/Analytische Fortsetzung/Zusammenhängende Überlagerung/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {X} {und} {Y} {}
\definitionsverweis {zusammenhängende}{}{}
\definitionsverweis {riemannsche Flächen}{}{}
und sei
\maabb {p} {Y} {X
} {}
eine
\definitionsverweis {Überlagerung}{}{.}
Es sei $f$ eine
\definitionsverweis {holomorphe Funktion}{}{}
auf $Y$ und es seien
\mavergleichskette
{\vergleichskette
{y_1,y_2
}
{ \in }{Y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Punkte über
\mathkor {} {x_1} {bzw.} {x_2} {}}
\faktfolgerung {Dann entstehen die
\definitionsverweis {holomorphen Funktionskeime}{}{}
\mavergleichskette
{\vergleichskette
{f_i
}
{ \in }{ {\mathcal O}_{X,x_i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die aus $f$ durch die induzierten
\definitionsverweis {Ringisomorphismen}{}{}
\maabbdisp {\theta_i} { {\mathcal O}_{Y,y_i} } { {\mathcal O}_{X,x_i}
} {}
gestiftet werden, wechselseitig durch
\definitionsverweis {analytische Fortsetzung}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\maabb {\tilde{\gamma}} {[0,1]} {Y
} {}
ein
\definitionsverweis {stetiger Weg}{}{}
von
\mavergleichskette
{\vergleichskette
{ \tilde{\gamma}(0)
}
{ = }{y_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach
\mavergleichskette
{\vergleichskette
{ \tilde{\gamma}(1)
}
{ = }{y_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Bildweg
\mavergleichskette
{\vergleichskette
{ \gamma
}
{ = }{ p \circ \tilde{\gamma}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verbindet dann
\mathkor {} {x_1} {und} {x_2} {}
und längs dieses Weges kann man $f_1$ in $f_2$ überführen. Dazu wählt man eine Überdeckung von
\mathl{\tilde{\gamma}([0,1])}{} mit offenen Mengen, die unter $p$ homöomorph auf offene Mengen von $X$ abgebildet werden, wozu eine endliche Teilüberdeckung gehört.
\inputfaktbeweis
{Riemannsche_Fläche/Holomorphe_Funktionskeime/Analytische_Fortsetzung/Zusammenhängende_Überlagerung/Ein_Punkt/Fakt}
{Korollar}
{}
{
\faktsituation {Es seien
\mathkor {} {X} {und} {Y} {}
\definitionsverweis {zusammenhängende}{}{}
\definitionsverweis {riemannsche Flächen}{}{}
und sei
\maabb {p} {Y} {X
} {}
eine
\definitionsverweis {Überlagerung}{}{.}
Es sei $f$ eine
\definitionsverweis {holomorphe Funktion}{}{}
auf $Y$ und es seien
\mavergleichskette
{\vergleichskette
{y_1,y_2
}
{ \in }{Y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Punkte über
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann entstehen die
\definitionsverweis {holomorphen Funktionskeime}{}{}
\mavergleichskette
{\vergleichskette
{f_1,f_2
}
{ \in }{ {\mathcal O}_{X,x}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die aus $f$ durch die induzierten Isomorphismen
\maabbdisp {\theta_i} { {\mathcal O}_{Y,y_i} } { {\mathcal O}_{X,x}
} {}
gestiftet werden, wechselseitig durch
\definitionsverweis {analytische Fortsetzung}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies ist ein Spezialfall von Lemma 13.12.
\inputfaktbeweis
{Riemannsche Fläche/Holomorpher Funktionskeim/Ausbreitungsraum/Zusammenhangskomponente/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {riemannsche Fläche}{}{,}
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ {\mathcal O}_{ X,P }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} ein
\definitionsverweis {holomorpher Funktionskeim}{}{.}}
\faktuebergang {Dann besitzt diejenige
\definitionsverweis {Zusammenhangskomponente}{}{}
$Z$ des
\definitionsverweis {Ausbreitungsraumes}{}{}
$E$ zur
\definitionsverweis {Strukturgarbe}{}{,}
die den Punkt
\mathl{(P,f)}{} enthält, folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungzwei {Es gibt eine holomorphe Funktion
\maabb {g} {Z} {{\mathbb C}
} {,}
die den Keim $f$
\zusatzklammer {aufgefasst in \mathlk{{\mathcal O}_{ Z, (P,f) }}{}} {} {}
fortsetzt.
} {Das Bild von
\maabbdisp {} {Z} {X
} {}
besteht aus allen Punkten
\mavergleichskette
{\vergleichskette
{ Q
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
für die es eine analytische Fortsetzung von $f$ zu einem Keim in $Q$ gibt.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungzwei {Dies ergibt sich durch Einschränkung der holomorphen Auswertungsabbildung aus
Satz 12.12
auf
\mavergleichskette
{\vergleichskette
{ Z
}
{ \subseteq }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {Dies folgt aus
Satz 13.10.
}
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {riemannsche Fläche}{}{}
\mavergleichskettedisp
{\vergleichskette
{X
}
{ =} { {\mathbb C} ^{\times}
}
{ =} { {\mathbb C} \setminus \{0\}
}
{ } {
}
{ } {
}
}
{}{}{.}
Zur
\definitionsverweis {komplexen Exponentialfunktion}{}{}
\maabbdisp {\exp} { {\mathbb C} } { {\mathbb C} ^{\times}
} {}
gibt es lokal Umkehrfunktionen, die \stichwort {komplexe Logarithmen} {} heißen. Die Existenz folgt aus
dem Satz über die Umkehrabbildung
oder aus der lokalen Existenz für Stammfunktionen zu $1/w$. Auf einer offenen Teilmenge
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{ {\mathbb C} ^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
unterscheiden sich zwei Logarithmen um ein additives Vielfaches von
\mathl{2 \pi { \mathrm i}}{.} Im Punkt $1$ ist die Potenzreihe
\mathdisp {\sum_{k=1}^\infty (-1)^{k+1} { \frac{ 1 }{ k } } (w-1)^{k}} { }
die Taylorreihe eines Logarithmus mit Konvergenzradius $1$. Diese Potenzreihe lässt sich auf einfach zusammenhängendes $U$ eindeutig fortsetzen, aber nicht auf ${\mathbb C} ^{\times}$. Die Fortsetzung auf
\mathl{{\mathbb C} \setminus \R_{\leq 0}}{} nennt man auch den Hauptzweig des komplexen Logarithmus.
Nach
Korollar 13.13
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ f
}
{ = }{ z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
gehen die verschiedenen Logarithmen in einem Punkt auseinander durch analytische Fortsetzung hervor. Mit jeder Umdrehung des Nullpunktes erreicht man eine Verschiebung des Logarithmus um $2 \pi { \mathrm i}$.
}
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {riemannsche Fläche}{}{}
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ {\mathbb C} \setminus [0,1]
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{,}
es wird also das reelle abgeschlossene Einheitsintervall aus den komplexen Zahlen herausgenommen. Der Funktion
\mathl{\ln z - \ln \left( z-1 \right)}{} kann man auf $X$ eine sinnvolle Bedeutung zuordnen. Es sei
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fixiert. Man setzt
\mavergleichskettedisp
{\vergleichskette
{ h(z)
}
{ \defeq} { \int_a^z { \frac{ 1 }{ w } } dw - \int_a^z { \frac{ 1 }{ w-1 } } dw
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei sind in den beiden Integralen die Integrationswege gleich zu wählen. Wenn man den Weg durch einen anderen Weg ersetzt, so ändern sich beide Wegintegrale um den gleichen Summanden, aber mit verschiedenem Vorzeichen, und die Summe bleibt gleich.
}