text:
# Kohomologie mit Schranken und Fortsetzung holomorpher Funktionen durch lineare stetige Operatoren

## 1 Einführung und Ergebnisse

Ein häufig von verschiedenen Autoren behandeltes Problem ist die Frage nach Bedingungen oder Kriterien für die Existenz einer Rechtsinversen $`r`$ zu einer surjektiven Abbildung $`q`$. Diese Fragestellung tritt oft in Form einer kurzen exakten Sequenz von Frécheträumen

$$0E\stackrel{i}{}G\stackrel{q}{}F0$$

auf. Hier ist also $`qr=id_F`$. $`F`$ ist in diesem Fall isomorph zu einem projizierten Unterraum von $`G`$, nämlich Bild $`r`$. Man sagt auch, daß die Sequenz zerfällt.

Bekannte Beispiele für eine solche Fragestellung ergeben sich in der Komplexen Analysis in den Situationen, in denen $`F`$ der Raum der holomorphen Funktionen auf einer komplexen Untermannigfaltigkeit $`V`$ einer Steinschen Mannigfaltigkeit $`X`$ ist.

Ist $`X`$ eine Steinsche Mannigfaltigkeit, dann sei stets $`H(X)`$ der Raum der holomorphen Funktionen auf $`X`$. Für Definitionen und Sätze in diesem Zusammenhang sei auf das Buch von Hörmander , Kapitel 5, verwiesen. Sei $`𝒪_X`$ die Garbe von Keimen holomorpher Funktionen auf $`X`$. Es sei mit $`\mathrm{\Gamma }(X,J_V)`$ der Raum der globalen Schnitte über $`X`$ mit Werten in $`J_V`$ bezeichnet, wobei $`J_V`$ die Idealgarbe in der Garbe $`𝒪_X`$ der Keime holomorpher Funktionen auf $`X`$ ist, die auf $`V`$ verschwinden (vgl. Kapitel 7 in ). $`\mathrm{\Gamma }(X,J_V)`$ können wir mit dem Teilraum der holomorphen Funktionen auf $`X`$ identifizieren, die auf $`V`$ verschwinden.

Nach der Oka-Cartan-Theorie ist die Sequenz

$$0\mathrm{\Gamma }(X,J_V)H(X)\stackrel{R}{}H(V)0()$$

stets exakt. $`R`$ ist hierbei die Restriktionsabbildung auf $`V`$. Die Surjektivität von $`R`$ bedeutet gerade die globale Fortsetzbarkeit von holomorphen Funktionen auf $`V`$ zu solchen auf $`X`$ (Theorem 7.4.8 in ).

Mityagin und Khenkin haben eine Rechtsinverse zu $`R`$ in $`()`$ konstruiert für den Fall, daß $`X`$ ein Gebiet in einem $`^n`$ ist, das sich darstellen läßt durch eine strikt plurisubharmonische Funktion $`u`$ auf einer Umgebung $`X^{}`$ von $`\overline{X}`$ als $`X=\{zX^{}:u(z)<0\}`$, wobei zusätzlich grad $`u0`$ auf $`X`$ ist. Es wird weiter vorausgesetzt, daß $`V`$ den Rand von $`X`$ transversal schneidet (Theorem 4.2 in ).

Haupthilfsmittel in  ist eine Abwandlung von Hörmanders Theorem B mit Schranken (Theorem 7.6.10 in ), angewandt auf die Garbe $`J_V`$, die in diesem Fall durch endlich viele globale Schnitte erzeugt wird. Im allgemeinen können wir nicht erwarten, daß die Idealgarbe einer analytischen Untervarietät des $`^N`$ durch endlich viele globale Schnitte erzeugt wird.

Wir werden in dieser Arbeit die Technik von Mityagin und Khenkin auf Situationen übertragen, in denen keine endliche Menge von erzeugenden Schnitten für $`J_V`$ existiert.

Von großer Bedeutung sind in diesem Kontext Potenzreihenräume, da für viele Räume holomorpher Funktionen Darstellungen als Potenzreihenräume bekannt sind. Ist $`\alpha =(a_k)_{k_0}`$ eine Folge positiver reeller Zahlen mit $`a_k\mathrm{}`$ für $`k\mathrm{}`$ und $`r\{0,\mathrm{}\}`$, dann sei

$$\mathrm{\Lambda }_r(\alpha ):=\{x=(x_0,x_1,\mathrm{})^_0:x_\varrho :=\underset{k=0}{\overset{\mathrm{}}{}}x_ke^{\varrho a_k}<\mathrm{}\text{ für alle }\varrho <r\}$$

Im Falle $`r=0`$ heißt $`\mathrm{\Lambda }_r(\alpha )`$ Potenzreihenraum endlichen Typs, im Falle $`r=\mathrm{}`$ heißt $`\mathrm{\Lambda }_r(\alpha )`$ Potenzreihenraum unendlichen Typs.

Für die Charakterisierung von Frécheträumen mit aufsteigendem Fundamentalsystem von Halbnormen $`(_n)_n`$, die zu einem Potenzreihenraum isomorph sind, sind die folgenden von D. Vogt eingeführten linear topologischen Invarianten hilfreich (vgl. Kapitel 29 in ), wobei diese Eigenschaften auch in vielen anderen Zusammenhängen bedeutsam sind. Sei hierfür $`(E,_n)`$ ein Fréchetraum:

1. Es gibt ein $`n_0`$, so daß für jedes $`k`$ ein $`K`$, ein $`C>0`$ und ein $`0<\tau <1`$ existiert mit

$$x_kCx_{n_0}^{1\tau }x_K^\tau \text{ für jedes }xE.$$
2. Es gibt ein $`n_0`$, so daß für jedes $`k`$ ein $`K`$ und ein $`C>0`$ existiert mit

$$x_k^2Cx_{n_0}x_K\text{ für jedes }xE.$$
3. Für jedes $`n`$ gibt es ein $`k`$, so daß zu jedem $`K`$ ein $`C>0`$ und ein $`0<\tau <1`$ existiert mit

$$y_k^{}Cy_n^{1\tau }y_K^\tau \text{ für jedes }yE^{}.$$
4. Für jedes $`n`$ gibt es ein $`k`$, so daß zu jedem $`K`$ ein $`C>0`$ existiert mit

$$y_k^2Cy_n^{}y_K^{}\text{ für jedes }yE^{}.$$

Hierbei sei $`_k^{}`$ die duale Norm zu der Halbnorm $`_k`$, d.h. für ein Dualelement $`\mathrm{\Phi }`$ ist $`\mathrm{\Phi }_k^{}=sup\{\mathrm{\Phi }(x):x_k1\}\{\mathrm{}\}`$.

Wir unterscheiden die Fälle, in denen $`H(X)`$ isomorph zu einem Potenzreihenraum endlichen Typs ist, von den Fällen, in denen $`H(X)`$ isomorph zu einem Potenzreihenraum unendlichen Typs ist. Es muß nicht zwingend einer der beiden Fälle vorliegen. Wir sprechen vom endlichen bzw. unendlichen Fall.

Mityagin und Khenkin haben gezeigt, daß die Isomorphie von $`H(V)`$ und $`\mathrm{\Lambda }_1(\alpha )`$ in dem von Ihnen betrachteten endlichen Fall hinreichend für die Existenz einer Rechtsinversen der Restriktionsabbildung ist (Proposition 4.2 in ). In allen endlichen Fällen ist die Isomorphie von $`H(V)`$ und $`\mathrm{\Lambda }_1(\alpha )`$ nach einem Ergebnis von Mityagin aber auch notwendig, denn jeder unendlichdimensionale, komplementierte Unterraum eines Potenzreihenraumes endlichen Typs ist isomorph zu einem Potenzreihenraum endlichen Typs (siehe z.B. Folgerung 29.20 in ). Im unendlichen Fall gibt es bislang keine analoge Aussage.

Sei jetzt der unendliche Fall betrachtet, daß $`V`$ eine abgeschlossene Untermannigfaltigkeit des $`^N`$ ist (vgl. , Def. 5.1.4.). $`V`$ ist dann lokal endlich, d.h. jeder Punkt des $`^N`$ besitzt eine Umgebung, die nur endlich viele Zusammenhangskomponenten schneidet.

$`H(^N)`$ soll im folgenden stets die Fréchetraumtopologie tragen, die durch die Suprema auf einer abzählbaren kompakten Ausschöpfung des $`^N`$ erzeugt wird. Die Fréchetraumtopologie von $`H(V)`$ soll für eine abgeschlossene Untermannigfaltigkeit $`V`$ stets durch die Spuren der kompakten Ausschöpfung des $`^N`$ gebildet werden.

Wir wenden uns also solchen Untermannigfaltigkeiten $`V`$ des $`^N`$ mit Dimension $`d`$ zu, für die $`()`$ zerfällt, d.h. für die es einen linearen stetigen Operator $`E:H(V)H(^N)`$ gibt mit $`(Ef)_V=f`$ für jedes $`fH(V)`$.

Für die Existenz eines solchen Ausdehnungsoperators haben verschiedene Autoren notwendige und hinreichende Bedingungen gezeigt. Wir fassen diese in folgendem Satz zusammen und nennen die Zuordnung zu den einzelnen Autoren im Beweis:

Satz 1.1. :
Äquivalent sind:

1. Es gibt einen linearen stetigen Operator $`E:H(V)H(^N)`$ mit $`(Ef)_V=f`$ für jedes $`fH(V)`$.
2. $`H(V)`$ besitzt (DN).
3. Jede beschränkte plurisubharmonische Funktion auf $`V`$ ist konstant (Stark-Liouvillesche Eigenschaft).
4. $`H(V)`$ ist isomorph zu $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})`$.
5. $`H(V)`$ ist isomorph zu $`H(^d)`$.
6. Es gibt eine Basisfolge $`(f_k)_{k_0}`$ in $`H(V)`$, so daß für eine fest gewählte Folge $`\varrho _n\mathrm{}`$ gilt:

1. Zu jedem $`n`$ gibt es ein $`m`$ und ein $`C>0`$, so daß

    $$f_k_nC\varrho _m^{(k^{\frac{1}{d}})}\text{ für alle }k_0.$$
    2. Zu jedem $`n`$ gibt es ein $`m`$ und ein $`C>0`$, so daß

    $$\varrho _n^{(k^{\frac{1}{d}})}Cf_k_m\text{ für alle }k_0.$$

Beweis:

Für 2)$``$1) ist der Splittingsatz von Vogt für kurze exakte Sequenzen von Fréchet-Hilberträumen anwendbar (siehe z.B. , Satz 30.1). Die hier vorliegenden Frécheträume sind nuklear und daher Fréchet-Hilbert.

Der Vogtsche Splittingsatz besagt, daß $`()`$ (mit $`X=^N`$) spaltet, falls $`H(V)`$ die Eigenschaft (DN) und $`\mathrm{\Gamma }(^N,J_V)`$ die Eigenschaft $`(\mathrm{\Omega })`$ besitzt. Letzteres ist für jede analytische Teilmenge des $`^N`$ der Fall (siehe z.B. ).

Wenn umgekehrt $`()`$ spaltet, dann ist $`H(V)`$ isomorph zu einem projizierten Teilraum von $`H(^N)`$. Auf abgeschlossene Teilräume vererbt sich stets die Eigenschaft (DN). Also folgt, daß $`H(V)`$ auch die Eigenschaft (DN) besitzt.

4)$``$5) ist elementar (siehe z.B. ).

3)$``$2) findet man in , Theorem I.12. Auch Vogt und Zaharyuta sind unabhängig zu diesem Ergebnis gekommen (siehe auch ; bzw. ).

4)$``$6) ist elementar. Man nehme als Basisfolge die Urbilder des Isomorphismus $`H(V)\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})`$.

Für 6)$``$4) zeigen wir, daß $`T:\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})H(V)`$, $`(\lambda _k)_{k_0}_{k_0}\lambda _kf_k`$ ein Isomorphismus ist.

Einerseits gibt es wegen a) zu jedem $`n`$ ein $`m`$ und ein $`C>0`$, so daß für jedes $`\lambda :=(\lambda _k)_{k_0}`$ in $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})`$ gilt:

$$T\lambda _n\underset{k_0}{}\lambda _kf_k_nC\underset{k_0}{}\lambda _k\varrho _m^{(k^{\frac{1}{d}})}=C\lambda _m.$$

Andererseits ist $`H(V)`$ nuklear, und daher ist $`(f_k)_k`$ in $`H(V)`$ absolut nach dem Satz von Dynin-Mityagin (siehe z.B. , Satz 28.12). Mit b) folgt also, daß zu jedem $`n`$ ein $`m`$ und ein $`C>0`$ existiert mit

$$\underset{k_0}{}\lambda _k\varrho _n^{(k^{\frac{1}{d}})}C\underset{k_0}{}\lambda _kf_k_m\text{ für alle }\underset{k_0}{}\lambda _kf_kH(V).$$

5)$``$2) ist klar, da $`H(^d)`$ die Eigenschaft (DN) besitzt.

Es verbleibt 2)$``$5) zu zeigen.

Im unendlichen Fall können wir nicht wie im endlichen Fall ein allgemeines Argument verwenden, denn es ist offen, ob jeder unendlichdimensionale, komplementierte Unterraum eines Potenzreihenraumes unendlichen Typs wieder isomorph zu einem Potenzreihenraum unendlichen Typs ist (vgl.  S. 354).

In ihrer Arbeit  konnten aber Aytuna, Krone und Terzioǧlu unter Verwendung eines Ergebnisses von Vogt zeigen, daß 5) aus 2) folgt (, Proposition 2.1). Damit ist der Beweis vollständig $`\mathrm{}`$

Anmerkungen zum Beweis zu Satz 1:

Ist $`V`$ eine Steinsche Mannigfaltigkeit, so kann man nach dem bekannten Einbettungssatz (siehe z.B. , Theorem 5.3.9) $`V`$ als abgeschlossene Untermannigfaltigkeit in den $`^N`$ einbetten. Die Existenz des Extensionsoperators hängt nach Satz 1 nicht von der Art der Einbettung ab.

In Proposition 6.4 in  stellten Mityagin und Khenkin die These auf, daß 1) aus 5) folgt, wenn man die aus der Isomorphie in 5) herrührende Basisfolge in $`H(V)`$ gliedweise mit geeigneten Schranken zu einer Folge ganzer Funktionen fortsetzen kann. Dies ist exakt die Technik in  zur Konstruktion einer Rechtsinversen in der Situation, wo $`V`$ eine abgeschlossene Untermannigfaltigkeit in einem strikt pseudokonvexen Gebiet ist, die den Rand transversal schneidet.

Will man der Argumentation in  unter Verwendung von Hörmanders Theorem B mit Schranken folgen, so ergibt sich als wesentliches Hindernis, daß die Idealgarbe $`J_V`$ im allgemeinen nicht durch die Keime endlich vieler globaler Schnitte über dem $`^N`$ erzeugt werden kann, so wie das über beschränkten pseudokonvexen Gebieten möglich ist (siehe z.B.  Theorem 7.2.1 in Verbindung mit Theorem 7.2.9).

Wir werden in dieser Arbeit zeigen, wie man dieses Hindernis überwinden kann. Damit wird die Konstruktion eines Ausdehnungsoperators durch Fortsetzungen von Basisfunktionen in $`H(V)`$ auch im unendlichen Fall möglich.

Insbesondere geht es um die Frage, ob dieser konstruktive Ansatz weiterführende Informationen über die „Qualität“ der Stetigkeit des Ausdehnungsoperators liefert. Das bedeutet für jeweils gegebene Gradierungen auf $`H(V)`$ und $`H(X)`$, zu fragen, wie groß man zu einer vorgegebenen Stufe in $`H(X)`$ die Stufe in $`H(V)`$ wählen muß, damit sich die Fortsetzungen, die der Ausdehnungsoperator liefert, gegen die Urbildfunktionen jeweils abschätzen.

Tatsächlich ermöglicht uns dieser Ansatz, eine Reihe von Kriterien und Bedingungen analog zu denjenigen aus Satz 1 verschiedener Autoren zu einem Satz über die Existenz eines linear zahmen Ausdehnungsoperators zusammenzufassen.

Wir werden also die Argumentation von Mityagin und Khenkin wieder aufgreifen und ein Theorem B mit Schranken für lokal endlich erzeugte Untergarben von $`𝒪^p`$, $`p`$, in einer Steinschen Mannigfaltigkeit $`\mathrm{\Omega }`$ zeigen. Hiermit ist eben auch die Idealgarbe $`J_A`$ einer beliebigen analytischen Teilmenge $`A`$ von $`\mathrm{\Omega }`$ erfaßt.

Der Beweis umfaßt die Kapitel 2 bis 5. Die Grundstruktur ist ein Induktionsverfahren (vgl. Beweis zu Theorem 7.6.10 in ).

Wir betrachten dazu das folgende kommutative Diagramm von linearen Räumen und linearen Abbildungen:

$`\begin{array}{ccccccccc}& & 0\hfill & & 0\hfill & & 0\hfill & & \\ & & \hfill & & \hfill & & \hfill & & \\ \mathrm{}\hfill & \stackrel{P_{\mathrm{1,2}}}{}\hfill & F_{\mathrm{1,2}}\hfill & \stackrel{P_{\mathrm{1,1}}}{}\hfill & F_{\mathrm{1,1}}\hfill & \stackrel{P_{\mathrm{1,0}}}{}\hfill & F_{\mathrm{1,0}}\hfill & \hfill & 0\hfill \\ & & d_{\mathrm{1,2}}\hfill & & d_{\mathrm{1,1}}\hfill & & d_{\mathrm{1,0}}\hfill & & \\ \mathrm{}\hfill & \stackrel{P_{\mathrm{2,2}}}{}\hfill & F_{\mathrm{2,2}}\hfill & \stackrel{P_{\mathrm{2,1}}}{}\hfill & F_{\mathrm{2,1}}\hfill & \stackrel{P_{\mathrm{2,0}}}{}\hfill & F_{\mathrm{2,0}}\hfill & \hfill & 0\hfill \\ & & d_{\mathrm{2,2}}\hfill & & d_{\mathrm{2,1}}\hfill & & d_{\mathrm{2,0}}\hfill & & \\ \mathrm{}\hfill & \stackrel{P_{\mathrm{3,2}}}{}\hfill & F_{\mathrm{3,2}}\hfill & \stackrel{P_{\mathrm{3,1}}}{}\hfill & F_{\mathrm{3,1}}\hfill & \stackrel{P_{\mathrm{3,0}}}{}\hfill & F_{\mathrm{3,0}}\hfill & \hfill & 0\hfill \\ & & d_{\mathrm{3,2}}\hfill & & d_{\mathrm{3,1}}\hfill & & d_{\mathrm{3,0}}\hfill & & \\ & & \mathrm{}\hfill & & \mathrm{}\hfill & & \mathrm{}\hfill & & \end{array}`$
(1.1.1)

In diesem Diagramm seien sämtliche Zeilen und Spalten exakt bis auf die erste Spalte von rechts. Diese sei lediglich ein Komplex.

Die folgende Induktion zeigt nun, daß auch die erste Spalte exakt ist. Dazu zeigen wir indukiv über aufsteigendes $`n`$, daß für jedes $`k=\mathrm{0,1},\mathrm{}`$ gilt: Zu jedem $`x_kF_{n,k}`$ mit $`d_{n1,k}x_k=0`$ und $`P_{n,k1}x_k=0`$ gibt es ein $`y_kF_{n+1,k}`$ mit $`d_{n,k}y_k=x_k`$ und $`P_{n+1,k1}y_k=0`$ (hierbei setzen wir $`P_{n,1}:=0`$).

Der Induktionsanfang ist klar, wenn wir uns vorstellen, man würde das Diagramm nach obenhin durch Nullräume und Nullabbildungen erweitern.

Um von $`n`$ nach $`n+1`$ zu gelangen, sei $`xF_{n+1,k}`$ mit $`d_{n,k}x=0`$ und $`P_{n+1,k1}x=0`$. Wegen der Exaktheit der Zeilen gibt es ein $`y_1F_{n+1,k+1}`$, so daß $`P_{n+1,k}y_1=x`$. Sei $`y_2=d_{n,k+1}y_1`$, dann ist wegen der Kommutativität des Diagramms $`P_{n,k}y_2=d_{n,k}P_{n+1,k}y_1=d_{n,k}x=0`$.

Da auch $`d_{n1,k+1}y_2=0`$ ist, gibt es nach der Induktionsvoraussetzung ein $`y_3F_{n+1,k+1}`$ mit $`d_{n,k+1}y_3=y_2`$ und $`P_{n+1,k}y_3=0`$. Es liegt $`y_4:=y_1y_3`$ im Kern von $`d_{n,k+1}`$. Da $`k+11`$ ist, ist die $`k+1`$-te Spalte exakt. Also gibt es $`y_5F_{n+2,k+1}`$ mit $`d_{n+1,k+1}y_5=y_4`$. Man rechnet leicht nach, daß für $`y:=P_{n+2,k}y_5F_{n+2,k}`$ gilt $`d_{n+1,k}y=x`$ und $`P_{n+2,k1}y=0`$.

Für die Definitionen der im folgenden vorkommenden Begriffe wie dem des Kokettenraumes und des Korandoperators $`\delta `$ verweisen wir auf , Chapter 7. Durch den Korandoperator werden Koketten der Länge $`\sigma `$ auf Koketten der Länge $`\sigma +1`$ abgebildet.

Das klassische Beispiel für Koketten ist die Cousin-I-Verteilung bezüglich einer Überdeckung $`(U_i)_i`$ eines Gebietes in $``$ bzw. allgemeiner einer Steinschen Mannigfaltigkeit. Die Cousin Data sind nichts anderes als eine Kokette $`c=(c_{ij})_{ij}`$ der Länge 1, bestehend aus holomorphen Funktionen $`c_{ij}`$ auf $`U_iU_j`$, für die $`\delta c=0`$ gilt (vgl. , Theorem 5.5.1). Die Lösung $`c^{}=(c_i^{})_i`$ des Cousin-I-Problems ist eine Kokette der Länge 0, bestehend aus holomorphen Funktionen $`c_i`$ auf $`U_i`$, für die $`\delta c^{}=c`$ gilt. Aus der Lösung des Cousin-I-Problems auf $``$ kann man z.B. den Satz von Mittag-Leffler folgern.

Die Aussage des Theorem B von Cartan, nämlich daß die $`p`$-te Kohomologiegruppe $`H^p(\mathrm{\Omega },)`$ einer Steinschen Mannigfaltigkeit $`\mathrm{\Omega }`$ mit Werten in einer kohärenten analytischen Garbe $``$ für jedes $`p>0`$ verschwindet (siehe z.B. , Theorem 7.4.3), ist wesentlich allgemeiner und abstrakter, umfaßt aber die Lösbarkeit von Cousin-I-Verteilungen auf Steinschen Mannigfaltigkeiten.

Sei jetzt $`𝒰=(U_i)_i`$ eine Überdeckung einer Steinschen Mannigfaltigkeit $`\mathrm{\Omega }`$ mit pseudokonvexen relativ kompakten Gebieten mit der Eigenschaft, daß eine feste Überdeckungsmenge von höchstens $`M`$ paarweise verschiedenen Überdeckungsmengen geschnitten wird. Dann ist der Schnitt von $`M+1`$ paarweise verschiedenen Überdeckungsmengen leer.

In das Diagramm (1) setzen wir für $`F_{n\mathrm{,0}}`$, $`n=0,\mathrm{},M+1`$ jeweils den Kokettenraum $`C^{M+1n}(𝒰,)`$ von Schnitten über $`U_{i_0,\mathrm{},i_{M+1n}}:=U_{i_0}\mathrm{}U_{i_{M+1n}}`$ mit Werten in $``$ ein. $`d_{n\mathrm{,0}}`$ ist dann der Korandoperator $`\delta `$ der Stufe $`Mn`$. $`F_{M+\mathrm{2,0}}`$ sei $`\mathrm{\Gamma }(\mathrm{\Omega },)`$ und $`d_{M+\mathrm{1,0}}:\mathrm{\Gamma }(\mathrm{\Omega },)C^0(𝒰,)`$ definieren wir dann durch $`f(f_{U_i})_i`$. Für $`nM+3`$ setzen wir $`F_{n\mathrm{,0}}:=\{0\}`$, wodurch die obige Induktion nach endlich vielen Schritten abgeschlossen ist.

Einen Kokettenraum von Koketten der Länge $`\sigma +1`$ können wir als Teilraum von $`_i`$ $`\mathrm{\Gamma }(U_{i_0,\mathrm{},i_\sigma },`$ $`)`$ auffassen und, wie wir im Kapitel 2 sehen werden, mit einer Fréchetraumtopologie versehen, die sich aus der Fréchetraumtopologie der Räume $`\mathrm{\Gamma }(U_{i_0,\mathrm{},i_\sigma },)`$ herleiten läßt. Da wir stets voraussetzen, daß $``$ eine Untergarbe einer $`p`$-fachen Kopie von $`𝒪`$ ist, können wir auf $`\mathrm{\Gamma }(U_{i_0,\mathrm{},i_\sigma },)`$ jeweils die Fréchetraumtopologie der kompakt gleichmäßigen Konvergenz auf einer ausschöpfenden Folge von kompakten Teilmengen von $`U_{i_0,\mathrm{},i_\sigma }`$ für $`p`$-tupel holomorpher Funktionen auf $`U_{i_0,\mathrm{},i_\sigma }`$ induzieren.

In jedem Schritt des oben beschriebenen Induktionsverfahrens werden wir die Stetigkeits- bzw. Urbildabschätzungen nachhalten, um zu einer Lösungsabschätzung für den $`\delta `$-Operator zu gelangen.

Die Hauptarbeit besteht nun darin, das Diagramm (1) mit Frécheträumen und stetigen linearen Abbildungen so aufzufüllen, daß das Diagramm kommutiert und die erforderlichen Exaktheitsbedingungen der Zeilen und Spalten erfüllt sind. Ferner sind Stetigkeits- bzw. Urbildabschätzungen zu zeigen. Dies alles geschieht in den Kapiteln 3 bis 6.

Die Exaktheit der ersten Spalte in dem Diagramm unter Berücksichtigung von Lösungsabschätzungen ist nichts anderes als das angestrebte Theorem B mit Schranken.

Wir wollen mit $`\mathrm{\Phi }_\gamma (𝒰)`$ die Menge der stetigen plurisubharmonischen Funktionen bezeichnen, für die $`\phi 0`$ und $`sup_{U_i}\phi \gamma ^{\frac{1}{M}}inf_{U_i}\phi `$ für jedes $`i`$ gilt.

Das in Kapitel 6 gezeigte Theorem B mit Schranken ergibt dann auf der nullten Stufe den folgenden Satz, den wir hier ohne die Verwendung der Begriffe Kokette und Korandoperator formulieren wollen:

Satz 1.2. :
Sei $`(K_i)_i`$ eine Folge von kompakten Teilmengen mit $`K_iU_i`$ für $`i`$ und $`\psi `$ eine nicht negative plurisubharmonische Funktion auf $`\mathrm{\Omega }`$. Dann gibt es eine plurisubharmonische Funktion $`\chi `$ auf $`\mathrm{\Omega }`$, so daß folgendes gilt:

Zu jeder Doppelfolge $`(c_{i,j})_{i,j}`$ mit $`c_{i,j}\mathrm{\Gamma }(U_iU_j,)`$, $`c_{i,j}=c_{j,i}`$ und $`c_{i,j}+c_{j,k}+c_{k,i}=0`$ für alle $`i,j,k`$, sowie jedem $`\phi \mathrm{\Phi }_\gamma (𝒰)`$ gibt es eine Folge $`(c_i^{})_i`$ mit $`c_i\mathrm{\Gamma }(U_i,)`$, $`c_i^{}c_j^{}=c_{i,j}`$ für jedes $`i,j`$ und eine Abschätzung

$$\underset{i}{}\underset{K_i}{sup}e^{\gamma \phi \psi \chi }\underset{K_i}{sup}c_i^{}\underset{i,j}{}\underset{U_iU_j}{sup}e^\phi \underset{U_iU_j}{sup}e^\psi \underset{U_iU_j}{sup}c_{i,j}.$$

Das entscheidende an der gewonnenen Lösungsabschätzung ist, daß der Gewichtverlust $`\chi `$ nicht von $`\phi \mathrm{\Phi }_\gamma (𝒰)`$ abhängt. Durch direkte Anwendung des Satzes von der offenen Abbildung auf den Korandoperator kann dieses Ergebnis nicht gezeigt werden.

Wenn wir für $`\mathrm{\Omega }`$ den $`^N`$ und für $``$ die Idealgarbe $`J_V`$ der Keime der auf $`V`$ verschwindenden holomorphen Funktionen einsetzen, können wir mit Hilfe von Satz 1 lokale Fortsetzungen einer auf $`V`$ holomorphen Funktion zu einer ganzen Funktion zusammensetzen. Hierzu muß $`V`$ nicht singularitätenfrei sein. Da wir aber für die lokalen Fortsetzungen die Existenz eines holomorphen Retraktes für $`V`$ verwenden wollen und damit gewissermaßen optimale Daten für die Anwendung von Satz 1 erhalten, haben wir gefordert, daß $`V`$ eine abgeschlossene Untermannigfaltigkeit des $`^N`$, und damit Steinsch ist.

Wir erhalten aus Satz 1 den in Kapitel 8 gezeigten Fortsetzungssatz für holomorphe Funktionen auf einer abgeschlossenen Untermannigfaltigkeit $`V`$ des $`^N`$ ( siehe Satz 8):

Satz 1.3. :
Seien $`\phi _1>0`$ und $`\phi _2>0`$ stetige plurisubharmonische Funktionen auf dem $`^N`$. Sei ferner $`\gamma >1`$ fest. Dann gibt es zu jedem Kompaktum $`K`$ eine Konstante $`B_K`$, so daß zu jedem $`fH(V)`$ und jedem $`\alpha >0`$ mit

$`\mathrm{log}f(z)\phi _1(z)+\alpha \phi _2(z)\text{ für jedes }zV`$
(1.3.1)

eine ganze Funktion $`F`$ existiert mit

1. $`F(z)=f(z)`$ für jedes $`zV`$,
2. $`sup_KF(z)e^{B_K}e^{\gamma sup_K(\phi _1+\alpha \phi _2)}`$ für jedes Kompaktum $`K`$.

Hierbei hängt $`B_K`$ zwar von $`\phi _1`$ und $`\phi _2`$ ab, aber nicht von $`\alpha `$.

Aus Satz 1 folgt nun leicht in Anlehnung an die Argumentation in  die Existenz eines Ausdehnungsoperators, wenn man eine Basisfolge in $`H(V)`$ zur Verfügung hat, die von der vorausgesetzten Isomorphie von $`H(V)`$ zu $`H(^d)`$ induziert wird.

Wir wollen hier wie angekündigt als Anwendung von Satz 1 die Bedingungen untersuchen, unter denen der Ausdehnungsoperator darüberhinaus linear zahmen Abschätzungen genügt.

Eine stetig lineare Abbildung $`T:(E,_{E,n})(F,_{F,n})`$ zwischen den gradierten Frécheträumen $`E`$ und $`F`$ wird als linear zahm bezeichnet, falls es $`a,b_0`$ mit $`a0`$ gibt, so daß zu jedem $`n`$ ein $`C_n`$ existiert mit

$$Tx_nC_nx_{an+b}\text{ für alle }xE.$$

$`T`$ heißt zahm, falls $`a=1`$ gewählt werden kann. Gradierungen in einem Fréchetraum heißen linear zahm äquivalent, falls die Identität in der jeweiligen Richtung linear zahm ist.

Eine linear zahme Isomorphie von $`H(V)`$ und $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})`$ ist leicht durch Eigenschaften einer Basisfolge $`(f_k)_k`$ in $`H(V)`$ zu charakterisieren. Ist nämlich $`H(V)`$ zu $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})`$ linear zahm isomorph, so existiert eine Basisfolge $`(f_k)_k`$ in $`H(V)`$ mit folgenden Eigenschaften:

1. Es existieren $`a,b_0`$, $`a1`$, so daß es zu jedem $`n`$ ein $`C1`$ gibt mit

$$f_k_nCe^{(an+b)k^{\frac{1}{d}}}\text{ für alle }k.$$
2. Es existieren $`a,b_0`$, $`a1`$, so daß es zu jedem $`n`$ ein $`C1`$ gibt mit

$$\lambda _kf_{an+b}e^{nk^{\frac{1}{d}}}$$

für alle $`f=_k\lambda _kf_kH(V)`$ und alle $`k`$.

Besitzt andererseits $`H(V)`$ eine Basisfolge $`(f_k)_k`$ mit B1) und B2), dann ist $`H(V)`$ zu $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})`$ linear zahm isomorph, denn wegen B1) ist

$$\underset{k}{}\lambda _kf_k_nC\underset{k}{}\lambda _ke^{(an+b)k^{\frac{1}{d}}}$$

und wegen B2) ist

$$\underset{k}{}\lambda _ke^{nk^{\frac{1}{d}}}=\underset{k}{}\lambda _ke^{(n+1)k^{\frac{1}{d}}}e^{k^{\frac{1}{d}}}Cf_{a(n+1)+b}\underset{k}{}e^{k^{\frac{1}{d}}}=C^{}f_{a(n+1)+b}.$$

Für Potenzreihenräume ist der Begriff linear zahm von besonderer Bedeutung, da zueinander isomorphe Potenzreihenräume $`\mathrm{\Lambda }_{\mathrm{}}(a_k)`$ bzw. $`\mathrm{\Lambda }_{\mathrm{}}(b_k)`$ stets linear zahm isomorph sind, vermöge der Identität. Andererseits ist zum Beispiel bei nuklearen Potenzreihenräumen eine zahme Isomorphie sehr viel seltener zu erwarten, da dies $`lim\frac{a_k}{b_k}=lim\frac{b_k}{a_k}=1`$ impliziert. Wir bemerken hierzu zunächst, daß der nukleare Potenzreihenraum $`\mathrm{\Lambda }_{\mathrm{}}(c_k)`$ stets per Identität zahm isomorph zu

$$\{x^_0:x_n:=\underset{k=0}{\overset{\mathrm{}}{}}x_k^2e^{2nc_k}<\mathrm{}\text{ für alle }n\}$$

ist. Dann erhalten wir dem Beweis zu Proposition 29.1 in  folgend zu jedem $`\theta >1`$ eine Konstante $`D1`$, so daß $`a_k\theta b_k+D`$ für jedes $`k`$ ist und umgekehrt.

Wir wollen durch die Suprema auf folgenden Polyzylindern des $`^N`$

$$\mathrm{\Delta }_n:=\{z^N:z_je^n\text{ für alle }0jN\}$$

die Standardgradierung $`(_n)_n`$ für $`H(^N)`$ festlegen.

Auf $`V`$ sei die Standardgradierung $`(_{H(V),n})_n`$ gerade durch die Spuren $`\mathrm{\Delta }_nV`$ gegeben. Die Gradierung hängt also von der Einbettung von $`V`$ in den $`^N`$ ab. Ohne Einschränkung können wir $`0V`$ annehmen.

Wenn wir die Polyzylinder $`\mathrm{\Delta }_n`$, $`n`$, durch $`B_n:=\{z^N:z<e^n\}`$ ersetzen, erhalten wir auf $`H(^N)`$ bzw. auf $`H(V)`$ eine zahm äquivalente Gradierung. Solche zahm äquivalente Gradierungen fassen wir auch als Standardgradierungen für $`H(^N)`$ bzw. $`H(V)`$ auf.

Auf $`H(V)`$ ist wegen der Surjektivität der Einschränkungsabbildung $`H(^N)H(V)`$ ein Quotientenhalbnormensystem durch

$$f_n^q:=inf\{F_n:FH(^N),F_V=f\}$$

gegeben. Es gilt natürlich $`_n_n^q`$ auf $`H(V)`$ für jedes $`n`$. Da der Satz von der offenen Abbildung gilt, ist $`(_n^q)_n`$ ein zu $`(_{H(V),n})_n`$ äquivalentes Halbnormensystem.

Die Monome in $`H(^N)`$ besitzen bezüglich der Standardgradierung die Eigenschaften B1) und B2) und zwar jeweils mit $`a=1`$ und $`b=0`$. Die Eigenschaft B2) ist äquivalent zu den Cauchyschen Ungleichungen für ganze Funktionen auf den Polyzylindern $`\mathrm{\Delta }_n`$ (siehe z.B. , Theorem 2.2.7). Wir haben also gezeigt, daß $`H(^N)`$ sogar zahm isomorph zu einem Potenzreihenraum $`\mathrm{\Lambda }_{\mathrm{}}(a_k)`$ ist, falls $`a_k`$ gerade die Summe der Exponenten des $`k`$-ten Monoms ist.

$`H(^N)`$ ist daher auch linear zahm isomorph zu $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{N}})`$, aber nicht zahm isomorph, falls $`N2`$. Um das einzusehen, sei $`(z_l)_k`$ eine Abzählung der Monome $`z_1^{\alpha _1}\mathrm{}z_N^{\alpha _N}`$, wobei $`\alpha _1,\mathrm{},\alpha _N_0`$, mit der Eigenschaft, daß für $`s(z_1^{\alpha _1}\mathrm{}z_N^{\alpha _N}):=\alpha _1+\mathrm{}+\alpha _N`$ gilt $`s(z_l)s(z_{k+1})`$.

Man zeigt leicht, daß die Anzahl der Monome $`z_l`$ mit $`s(z_l)m`$ jeweils $`\left(\genfrac{}{}{0pt}{}{N+m}{m}\right)`$ beträgt. Es gilt daher

$$\frac{m}{\left(\genfrac{}{}{0pt}{}{N+m}{m}\right)^{\frac{1}{N}}}\frac{s(z_l)}{k^{\frac{1}{N}}}\frac{m}{\left(\left(\genfrac{}{}{0pt}{}{N+(m1)}{m1}\right)+1\right)^{\frac{1}{N}}}$$

für alle $`k`$ mit $`s(z_l)=m`$. Die linke und die rechte Seite der Ungleichung haben den gleichen Grenzwert für $`m\mathrm{}`$. Wenn man den linken Ausdruck ausmultipliziert, sieht man sofort, daß dieser gegen die $`N`$-te Wurzel aus $`N!`$ konvergiert für $`m\mathrm{}`$.

Für den angekündigten Charakterisierungssatz benötigen wir noch einige Begriffe und Definitionen.

Für einen gradierten Fréchetraum $`(E,_n)`$ wollen wir die Eigenschaften (DN) und $`(\mathrm{\Omega })`$ verschärfen:

Wir sagen, daß $`(E,_n)`$ (DN) in Standardform besitzt, falls für alle $`n2`$ gilt

$$_n^2C_n_{n1}_{n+1}.$$

$`(E,_n)`$ besitze $`(\mathrm{\Omega })`$ in Standardform, falls für alle $`n2`$ gilt

$$_n^2D_n_{n1}^{}_{n+1}^{}$$

Aufgrund der Cauchy-Schwarzschen Ungleichung besitzt $`\mathrm{\Lambda }_{\mathrm{}}(a_k)`$ stets (DN) und $`(\mathrm{\Omega })`$ in Standardform. Die Konstanten sind alle gleich 1.

Von jetzt an wollen wir annehmen, daß $`V`$ als analytische Untervarietät des $`^N`$ nur aus einer irreduziblen Komponente besteht. Dies ist genau dann der Fall, wenn $`V`$ zusammenhängend ist. Da nach Satz 1 die Existenz eines Ausdehnungsoperators notwendig die Eigenschaft (DN) für $`H(V)`$ voraussetzt, besitzt $`H(V)`$ mindestens eine stetige Norm. Daher impliziert die Existenz eines Ausdehungsoperators, daß $`V`$ ohnehin nur endlich viele Zusammenhangskomponenten besitzen kann.

$`V`$ heißt algebraisch, falls es eine endliche Menge S von Polynomen im $`^N`$ gibt, so daß $`V=\{z^N:p(z)=0\text{ für alle }pS\}`$. Die Anzahl der Polynome in $`S`$ kann man auf $`N`$ begrenzen (siehe z.B. , Chapter V.1).

Das nun folgende Kriterium für eine Teilmenge einer analytischen Untervarietät des $`^N`$, eine Teilmenge einer algebraischen Varietät zu sein, stammt von A. Sadullaev (, Theorem 2.2).

Sei dazu $`L`$ die Menge aller plurisubharmonischen Funktionen auf dem $`^N`$, für die es ein $`\alpha (u)`$ gibt, so daß $`u(z)\mathrm{log}(1+z)+\alpha (u)`$ auf dem $`^N`$. Ist $`K^N`$ ein Kompaktum, dann sei

$$S(z,K):=sup\{u(z):uL,u_K0\}.$$

Die obere Regularisierte von $`S(z,K)`$ heißt Siciaksche Extremalfunktion bezüglich $`K`$.

Das Kriterium besagt nun folgendes:

Eine Teilmenge $`A`$ einer analytischen Menge im $`^N`$ ist genau dann eine Teilmenge einer algebraischen Varietät, falls es ein Kompaktum in $`A`$ gibt, so daß $`S(z,K)`$ lokal wesentlich beschränkt ist in $`A`$.

A. Aytuna verwendet in  dieses Kriterium, um für eine irreduzible Komponente $`V`$ einer analytischen Varietät im $`^N`$ (die also auch singuläre Punkte haben darf) zu zeigen, daß $`V`$ genau dann algebraisch ist, wenn ein linear zahmer Ausdehnungsoperator $`H(V)H(^N)`$ bezüglich der Standardgradierungen existiert (, Theorem 2).

Wir werden das Kriterium von Sadullaev in Kapitel 10 dazu verwenden, ein Kriterium für die Existenz eines linear zahmen Ausdehnungsoperators abzuleiten, das das Wachstum plurisubharmonischer Funktionen auf $`V`$ relativ zu einer Standardgradierung beschreibt.

Ist $`\phi `$ plurisubharmonisch auf $`V`$, so sei für $`r_0^+`$

$$m_\phi (r):=sup\{\phi (z):zV,z<e^r\}.$$

Das Kriterium ist erfüllt, falls es $`a`$ und $`b_0`$ gibt, so daß für jedes auf $`V`$ plurisubharmonische $`\phi `$, für jedes $`\lambda [\mathrm{0,1}]`$ und alle $`r_1,r_2_0^+`$ gilt

$$m_\phi (\lambda r_1+(1\lambda )r_2)\lambda m_\phi (ar_1+b)+(1\lambda )m_\phi (ar_2+b).$$

Diese Eigenschaft ist stärker als die Stark-Liouvillesche Eigenschaft (Satz 1, 3)), denn ist $`\phi `$ plurisubharmonisch und beschränkt auf $`V`$, dann gilt für $`r>b`$

$$m_\phi (r)=m_\phi (\frac{n1}{n}0+\frac{1}{n}nr)\frac{n1}{n}m_\phi (b)+\frac{1}{n}m_\phi (anr+b)\stackrel{n\mathrm{}}{}m_\phi (b).$$

Wegen des Maximumprinzips für plurisubharmonische Funktionen auf $`V`$ (siehe z.B. , 1.3) ist $`\phi `$ auf jedem Kompaktum, das in $`\{z<e^r\}`$ enthalten ist, konstant. Damit ist $`\phi `$ auf ganz $`V`$ konstant.

Wir fassen nun alle Kriterien zusammen:

Für eine zusammenhängende abgeschlossene Untermannigfaltigkeit $`V`$ des $`^N`$ der Dimension $`d`$ gilt der folgende Satz:

Satz 1.4. :
Äquivalent sind:

1. Es gibt einen linear zahmen Ausdehnungsoperator

$$E:(H(V),_{H(V),n})(H(^N),_{H(^N),n})$$

bezüglich der durch die Polyzylinder $`(\mathrm{\Delta }_n)_n`$ gegebenen Standardgradierungen auf $`H(V)`$ bzw. $`H(^N)`$.
2. $`(H(V),_{H(V),n})`$ ist linear zahm isomorph zu einem nuklearen gradierten Fréchetraum $`(F,_n)`$, der (DN) in Standardform besitzt, und die Quotientenhalbnormen $`(_n^q)_n`$ auf $`H(V)`$ sind linear zahm äquivalent zu $`(_{H(V),n})_n`$.
3. Es gibt ein Kompaktum $`K`$ in $`V`$, so daß $`S(z,K)`$ in $`V`$ lokal wesentlich beschränkt ist.
4. Es gibt $`a`$ und $`b_0`$, so daß für jede auf $`V`$ plurisubharmonische Funktion $`\phi `$, jedes $`\lambda [\mathrm{0,1}]`$ und alle $`r_1,r_2_0^+`$ gilt mit $`m_\phi (r):=sup\{\phi (z):zV,z<e^r\}`$:

$$m_\phi (\lambda r_1+(1\lambda )r_2)\lambda m_\phi (ar_1+b)+(1\lambda )m_\phi (ar_2+b).$$
5. $`(H(V),_{H(V),n})`$ ist linear zahm isomorph zu $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})`$.
6. $`(H(V),_{H(V),n})`$ ist linear zahm isomorph zu $`(H(^d),_{H(^d),n})`$.
7. In $`H(V)`$ gibt es eine Basisfolge $`(f_k)_k`$ mit B1) und B2).
8. $`V`$ ist algebraisch.

Beweis:

1)$``$2) ist schlicht, denn das Bild von $`E`$ ist linear zahm isomorph zu einem projizierten Teilraum von $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{N}})`$, der darum (DN) in Standardform besitzt. Zum anderen ist für jedes $`fH(V)`$ die Quotientenhalbnorm $`f_n^qEf_{H(^N),n}`$. Also folgt auch die zweite Bedingung von 2) aus 1).

2)$``$5) ist ein Ergebnis von D. Vogt (, Theorem 2.3), das wir auf die wegen 2) linear zahme Sequenz $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{N}})F0`$ anwenden. Wir erhalten eine linear zahme Isomorphie von $`F`$ zu einem Potenzreihenraum $`\mathrm{\Lambda }_{\mathrm{}}(a_k)`$, woraus 5) folgt.

5)$``$1) ist der Spezialfall $`\phi (z):=\mathrm{log}z`$ von Satz 9. Wir zeigen in Kapitel 9, daß Satz 9 leicht aus dem Fortsetzungssatz 1 folgt.

Die Äquivalenzen 3)$``$8) und 1)$``$8) sind Spezialfälle der oben zitierten Ergebnisse von A. Sadullaev bzw. A. Aytuna. Die Äquivalenz 5)$``$6)$``$7) sind nach den obigen Ausführungen klar.

1)$``$4) folgt aus Satz 10. 4)$``$8) folgt aus Satz 10 $`\mathrm{}`$

Die Eigenschaft 4) aus Satz 1 läßt sich in einer Weise verallgemeinern, die unabhängig von der Einbettung der Steinschen Mannigfaltigkeit in einen $`^N`$ ist:

Eine Steinsche Mannigfaltigkeit $`V`$ habe die Eigenschaft (LK), falls eine plurisubharmonische Ausschöpfungsfunktion $`\psi `$, sowie $`a`$, $`b_0`$ existieren, so daß für jede plurisubharmonische Funktion $`\phi `$ auf $`V`$ und alle $`r_1,r_2_0^+`$ und jedes $`\lambda [\mathrm{0,1}]`$ gilt

$$m_\phi ^\psi (\lambda r_1+(1\lambda )r_2)\lambda m_\phi ^\psi (ar_1+b)+(1\lambda )m_\phi ^\psi (ar_2+b),$$

wobei

$$m_\phi ^\psi (r):=sup\{\phi (z):zV,\psi (z)<r\}\text{ ist für jeder }r.$$

Eine in den $`^N`$ eingebettete abgeschlossene zusammenhängende Untermannigfaltigkeit ist also genau dann algebraisch nach Satz 1, falls sie (LK) mit $`\psi (z)=lnz`$ für $`zV`$ besitzt.

Ferner impliziert (LK) die Stark-Liouvillesche Eigenschaft (Satz 1, 3)) für zusammenhängende Steinsche Mannigfaltigkeiten.

Hieraus leiten sich zwei Fragen ab:

1. Ist jede Steinsche Mannigfaltigkeit mit (LK) biholomorph äquivalent zu einer algebraischen Varietät in einem $`^N`$?
2. Ist die Stark-Liouvillesche Eigenschaft auf einer zusammenhängenden Mannigfaltigkeit äquivalent zur Eigenschaft (LK)?

Wenn und nur wenn beide Fragen eine positive Antwort haben, wäre jede zusammenhängende Steinsche Mannigfaltigkeit $`V`$, für die $`H(V)`$ die Eigenschaft (DN) besitzt, isomorph zu einer algebraischen Varietät eines $`^N`$.

An dieser Stelle möchte ich mich bei den Herren Dr. L. Frerick und Dr. M. Tidten sehr herzlich bedanken für die Bereitschaft zu vielen Anregungen und Gesprächen, die das Entstehen dieser Arbeit begleitet haben. Mein ganz besonderer Dank gilt meinem Doktorvater Herrn Prof. Dr. D. Vogt, der durch seine geduldige und stetige Anregung und Unterstützung entscheidend zum Gelingen dieser Arbeit beigetragen hat.

## 2 Der verallgemeinerte Lösungssatz für den Korandoperator $`\delta `$

Wir führen in diesem Kapitel die in Kapitel 1 dargestellte Induktion in dem Diagramm (1) durch, indem wir das Diagramm mit speziellen Frécheträumen und linearen stetigen Abbildungen auffüllen. Dabei ist jede Spaltenabbildung ein Korandoperator. Wir behandeln die Kommutativität des Diagramms und die Exaktheitsbedingungen an die Zeilen und Spalten als Eigenschaften der Familie der vorkommenden Frécheträume. Wir zeigen, daß sich die Urbildabschätzungen der exakten Spalten auf die erste Spalte überträgt.

In den folgenden Kapiteln muß dann gezeigt werden, daß es ein solches Diagramm von Frécheträumen gibt, wo in der ersten Spalte die Sequenz der Korandabbildungen zwischen den Kokettenräumen mit Werten in einer lokal endlich erzeugten Untergarbe von $`𝒪^p`$ steht.

Sei $`I`$ eine abzählbare Indexmenge. Sei für jedes $`k_0`$, $`\sigma _0`$ eine Familie $`S_{k,\sigma }`$ von Frécheträumen gegeben, so daß zu jedem Multiindex $`\alpha =i_0,\mathrm{},i_\sigma I^{\sigma +1}`$, paarweise verschiedener Indizes aus $`I`$ ein Fréchetraum $`F_\alpha ^k`$ mit einem jeweiligen aufsteigenden Halbnormensystem $`(_{\alpha ,n}^k)_n`$ existiert. Es gelte $`F_{\pi (i_0,\mathrm{},i_\sigma )}^k=F_{i_0,\mathrm{},i_\sigma }^k`$ für jede Permutation $`\pi `$ der Indizes $`i_0,\mathrm{},i_\sigma `$. Für die lokalen Banachräume von $`F_{i_0,\mathrm{},i_\sigma }^k`$ bezüglich $`_{i_0,\mathrm{},i_\sigma ,n}^k`$ sollen die kanonischen Verbindungsabbildungen injektiv sein und dichtes Bild besitzen.

Ferner sei für jeden Multiindex $`i_1,\mathrm{},i_\sigma I^\sigma `$ die Anzahl der Frécheträume $`F_{i,i_1,\mathrm{},i_\sigma }^kS_{k,\sigma }`$, $`iI`$, die nicht der Nullraum sind, gleichmäßig für jedes $`k_0`$ und $`\sigma _0`$ durch eine Schranke $`M`$ beschränkt. Die Menge solcher Indizes $`i`$ zu einem Multiindex $`i_1,\mathrm{},i_\sigma `$ sei für jedes $`k_0`$ gleich. Wir bezeichnen sie mit $`I_{i_1,\mathrm{},i_\sigma }`$. Wir verlangen ferner, daß $`I_{j,i_1,\mathrm{},i_\sigma }I_{i_1,\mathrm{},i_\sigma }`$ für jedes $`jI`$ und jedes $`i_1,\mathrm{},i_\sigma I^\sigma `$ ist.

Ist $`\alpha =i_0,\mathrm{},i_\sigma I^{\sigma +1}`$ ein Multiindex, dann sei mit $`\alpha _j`$ derjenige Multiindex in $`I^\sigma `$ bezeichnet, der durch Streichung des Index $`i_j`$ entsteht.

Wir führen jetzt den Begriff einer Kokette auf $`S_{k,\sigma }`$, $`kN_0`$, $`\sigma _0`$ ein:

Definition 2.1. :

Eine Kokette $`c=(c_{i_0,\mathrm{},i_\sigma })_{i_0,\mathrm{},i_\sigma I^{\sigma +1}}`$ der Länge $`\sigma `$ auf der Stufe $`k`$ sei ein Element aus $`\underset{i_0,\mathrm{},i_\sigma I^{\sigma +1}}{}F_{i_0,\mathrm{},i_\sigma }^k`$ mit der folgenden alternierenden Eigenschaft:

$$c_{i_0,\mathrm{},i_\sigma }=(1)^{\text{sign }\pi }c_{\pi (i_0,\mathrm{},i_\sigma )},$$

wobei $`\pi `$ eine Permutation der Indizes $`i_0,\mathrm{},i_\sigma `$ ist und sign $`\pi `$ die minimale Anzahl der Transpositionen angibt, in die $`\pi `$ zerlegt werden kann.

Man beachte, daß $`c_{i_0,\mathrm{},i_\sigma }`$ und $`c_{\pi (i_0,\mathrm{},i_\sigma )}`$ Elemente desselben Fréchetraumes sind.

Die Menge aller Koketten der Länge $`\sigma `$ sei mit $`𝒞(S_{k,\sigma })`$ bezeichnet.

Wir wollen nun Räume gewichteter Koketten einführen und diese mit einer Fréchetraumtopologie versehen.

Ist $`J`$ eine abzählbare Indexmenge und $`(F_j)_{jJ}`$ eine Familie von Frécheträumen mit aufsteigenden Halbnormensystemen $`(_{j,n})_n`$ jeweils in dem Fréchetraum $`F_j`$, dann sei

$$l_1((F_j)_j):=\{x=(x_j)_{jJ}\underset{jJ}{}F_j:x_n:=\underset{jJ}{}x_j_{j,n}<\mathrm{}\text{ für jedes }n\}$$

der Raum der bezüglich $`(F_j)_j`$ absolutsummierbaren Folgen. $`l_1((F_j)_j)`$ ist also ein linearer Teilraum von $`\underset{j}{}F_j`$. Man zeigt wie im skalaren Fall, daß $`l_1((F_j)_j)`$ versehen mit der durch $`(_n)_n`$ induzierten Topologie ein Fréchetraum ist.

Sei jetzt $`C=(C_\alpha )_{\alpha I^{\sigma +1}}`$ eine Familie von Konstanten aus dem halboffenen Intervall $`(\mathrm{0,1}]`$ mit $`C_\alpha =C_{\pi (\alpha )}`$ für jede Permutation $`\pi `$ des Multiindex $`\alpha `$. Dann sei

$$𝒞(S_{k,\sigma },C):=\{c=(c_\alpha )_{\alpha I^{\sigma +1}}𝒞(S_{k,\sigma }):Cc:=(C_\alpha c_\alpha )_{\alpha I^{\sigma +1}}l_1(S_{k,\sigma })\}.$$

Für $`c𝒞(S_{k,\sigma },C)`$ gilt also

$$c_{n,C}^k:=\underset{\alpha I^{\sigma +1}}{}C_\alpha c_\alpha _{\alpha ,n}^k<\mathrm{}$$

für jedes $`n`$. Dasjenige Konstantensystem, das nur aus Einsen besteht, bezeichnen wir mit $`1`$.

$`𝒞(S_{k,\sigma },C)`$ ist versehen mit $`(_{n,C}^k)_n`$ ein Fréchetraum, denn $`𝒞(S_{k,\sigma },C)=l_1((F_\alpha ^k)_{\alpha I^{\sigma +1}})`$, wobei die Halbnormen in den $`F_\alpha ^k`$ jeweils mit $`C_\alpha `$ skaliert sind.

Ferner sei

$$𝒞_n(S_{k,\sigma },C):=\{c𝒞(S_{k,\sigma }):c_{n,C}^k<\mathrm{}\}.$$

Um einen Korandoperator für Koketten auf der Stufe $`k`$ einführen zu können, benötigen wir für jedes $`\alpha I^{\sigma +1}`$, $`\sigma 1`$ und $`j=0,\mathrm{},\sigma `$ lineare stetige Abbildungen

$$\iota _{\alpha _j}^{k,\alpha }:F_{\alpha _j}^kF_\alpha ^k$$

mit folgenden Eigenschaften:

1) $`\iota _{\alpha _j}^{k,\alpha }x_{\alpha ,n}^kx_{\alpha _j,n}^k\text{ für jedes }n`$
2) $`\iota _{\alpha _j}^{k,\alpha }\iota _{(\alpha _j)_i}^{k,\alpha _j}=\iota _{\alpha _i}^{k,\alpha }\iota _{(\alpha _i)_{j1}}^{k,\alpha _i}\text{ für }1i<j\sigma +1`$
3) $`\iota _{\alpha _j}^{k,\alpha }\iota _{(\alpha _j)_i}^{k,\alpha _j}=\iota _{\alpha _{i+1}}^{k,\alpha }\iota _{(\alpha _{i+1})_j}^{k,\alpha _{i+1}}\text{ für }0ji\sigma `$
4) $`\iota _{\alpha _j}^{k,\alpha }\text{ ist injektiv, falls }F_\alpha ^k\{0\}\text{ ist.}`$
(2.1.1)

Falls klar ist, auf welcher Stufe $`k`$ sich die Abbildungen befinden, lassen wir den Index $`k`$ fort. Den Korandoperator auf der Stufe $`k`$ definieren wir nun wie folgt:

Für $`\sigma 0`$ sei

$`\delta ^\sigma :𝒞(S_{k,\sigma })(c_\alpha )_{\alpha I^{\sigma +1}}`$ $``$ $`((\delta ^\sigma c)_\beta )_{\beta I^{\sigma +2}}𝒞(S_{k,\sigma +1})`$
$`\text{mit }(\delta ^\sigma c)_\beta `$ $`:=`$ $`{\displaystyle \underset{j=0}{\overset{\sigma +1}{}}}(1)^j\iota _{\beta _j}^\beta c_{\beta _j}`$
Zwischen zwei Konstantensystemen $`C=(C_\alpha )_{\alpha I^{\sigma +1}}`$ und $`D=(D_\beta )_{\beta I^{\sigma +2}}`$ sei die Vergleichsrelation $`CD`$ genau dann gegeben, falls

$$C_\alpha \underset{iI_\alpha }{\mathrm{max}}D_{i,\alpha }\text{ für alle }\alpha I^{\sigma +1}.$$

Für den Korandoperator gilt das folgende

Lemma 2.2. :
Falls $`CD`$, dann ist $`\delta ^\sigma `$ ein stetiger linearer Operator $`𝒞_n(S_{k,\sigma },C)𝒞_n(S_{k,\sigma +1},D)`$. Ferner gilt

1. $`\delta ^\sigma \delta ^{\sigma 1}=0`$ für $`\sigma =\mathrm{1,2},\mathrm{}`$.
2. $`\delta ^\sigma c_n^kM(\sigma +2)c_n^k`$ für jedes $`c𝒞_n(S_{k,\sigma },C)`$.

Beweis:

Wir zeigen zunächst $`\delta ^\sigma \delta ^{\sigma 1}c=0`$ für ein $`c𝒞(S_{k,\sigma 1})`$. Für $`\alpha I^{\sigma +2}`$ gilt:

$`(\delta ^\sigma (\delta ^{\sigma 1}c))_\alpha `$ $`=`$ $`{\displaystyle \underset{j=0}{\overset{\sigma +1}{}}}(1)^j\iota _{\alpha _j}^\alpha \left({\displaystyle \underset{i=0}{\overset{\sigma }{}}}(1)^i\iota _{(\alpha _j)_i}^{\alpha _j}c_{(\alpha _j)_i}\right)`$
$`=`$ $`{\displaystyle \underset{0i<j\sigma +1}{}}(1)^{i+j}\iota _{\alpha _j}^\alpha \iota _{(\alpha _j)_i}^{\alpha _j}c_{(\alpha _j)_i}+{\displaystyle \underset{0ji\sigma }{}}(1)^{i+j}\iota _{\alpha _j}^\alpha \iota _{(\alpha _j)_i}^{\alpha _j}c_{(\alpha _j)_i}`$
Wir wenden die Kommutationseigenschaften (LABEL:10.1.1) an und erhalten mit $`n:=j`$ und $`m:=i+1`$

$`{\displaystyle \underset{0ji\sigma }{}}(1)^{i+j}\iota _{\alpha _j}^\alpha \iota _{(\alpha _j)_i}^{\alpha _j}c_{(\alpha _j)_i}`$ $`=`$ $`{\displaystyle \underset{0ji\sigma }{}}(1)^{i+j}\iota _{\alpha _{i+1}}^\alpha \iota _{(\alpha _{i+1})_j}^{\alpha _{i+1}}c_{(\alpha _{i+1})_j}`$
$`=`$ $`(1){\displaystyle \underset{0n<m\sigma +1}{}}(1)^{m+n}\iota _{\alpha _m}^\alpha \iota _{(\alpha _m)_n}^{\alpha _m}c_{(\alpha _m)_n}.`$
Also ist $`(\delta ^\sigma (\delta ^{\sigma 1}c))_\alpha =0`$.

Wir zeigen nun die Stetigkeitsabschätzung:

$`\delta ^\sigma c_n^k`$ $`=`$ $`{\displaystyle \underset{\alpha I^{\sigma +2}}{}}D_\alpha {\displaystyle \underset{j=0}{\overset{\sigma +1}{}}}(1)^j\iota _{\alpha _j}^\alpha c_{\alpha _j}_{\alpha ,n}^k`$
$``$ $`{\displaystyle \underset{\alpha I^{\sigma +2}}{}}D_\alpha {\displaystyle \underset{j=1}{\overset{\sigma +1}{}}}(1)^j\iota _{\alpha _j}^\alpha c_{\alpha _j}_{\alpha ,n}^k+{\displaystyle \underset{\alpha I^{\sigma +2}}{}}D_\alpha c_{\alpha _0}_{\alpha ,n}^k.`$
Für den zweiten Summanden der rechten Seite gilt:

$`{\displaystyle \underset{\alpha I^{\sigma +2}}{}}D_\alpha c_{\alpha _0}_{\alpha ,n}^k`$ $`=`$ $`{\displaystyle \underset{\beta I^{\sigma +1}}{}}{\displaystyle \underset{iI_\beta ^k}{}}D_{i,\beta }c_\beta _{\beta ,n}^k`$
$``$ $`M{\displaystyle \underset{\beta I^{\sigma +1}}{}}C_\beta c_\beta _{\beta ,n}^k`$
$`=`$ $`Mc_n^k.`$
Durch iteratives Abspalten der weiteren Summanden erhalten wir schließlich

$$\delta ^\sigma c_n^k(\sigma +2)Mc_n^k.$$

$`\mathrm{}`$

Wir bemerken noch, daß für jeden Multiindex $`\alpha I^{M+2}`$ mit paarweise verschiedenen Indizes aus $`I`$ der Raum $`F_\alpha ^k`$ stets der Nullraum ist für alle $`k`$. Denn es gibt ein $`j\{1,\mathrm{},M+1\}`$, so daß $`F_{i_0,i_j}^k=\{0\}`$ ist, sonst wäre die Anzahl der Indizes in $`I_{i_0}`$ größer als $`M`$, was der Definition von $`M`$ widerspräche. Ohne Einschränkung sei $`j=1`$. Also ist $`I_{i_0,i_1}=\mathrm{}`$. Daher ist $`I_{i_0,i_1,\mathrm{},i_M}=\mathrm{}`$, woraus $`F_{i_0,\mathrm{},i_{M+1}}^k=\{0\}`$ folgt.

Im folgenden wollen wir unter einem System $`(S_{k,\sigma })_{k,\sigma }`$ stets ein System von Frécheträumen wie oben verstehen, das einen wohldefinierten Korandoperator zuläßt.

Ein Beispiel für ein solches System $`S_{k,\sigma }`$ mit festem $`k`$ und $`\sigma =0`$ wird durch die Räume holomorpher Funktionen auf jeweils einem Element einer offenen zusammenhängenden Überdeckung $`(U_i)_{iI}`$ einer komplexen Mannigfaltigkeit gegeben, wobei sich nicht mehr als eine feste Anzahl von Elementen der Überdeckung schneiden sollen. Für größere $`\sigma `$ sind die Räume holomorpher Funktionen auf den Schnittmengen von jeweils $`\sigma +1`$ Überdeckungsmengen zu nehmen.

Die Halbnormensysteme der einzelnen Frécheträume sind dann durch die Suprema auf kompakten Ausschöpfungen der jeweiligen Überdeckungsmengen gegeben. Auf den Schnittmengen wählt man die Schnitte der jeweiligen kompakten Ausschöpfungsmengen.

Die Abbildungen $`i_{\alpha _j}^\alpha `$ für ein $`\alpha I^{\sigma +1}`$ und $`j\{0,\mathrm{},\sigma \}`$ kann man als Einschränkungen der holomorphen Funktionen jeweils auf durch den Schnitt mit $`U_{i_j}`$ entstehende kleinen Menge $`U_\alpha `$ wählen. Hierdurch sind die Eigenschaften (LABEL:10.1.1) sofort erfüllt.

Die Koketten werden in diesem Beispiel zu den üblichen Koketten holomorpher Funktionen einer Cousin-I-Verteilung, $`\delta ^1c=0`$ ist dann exakt die Zykelbedingung.

Wir fassen weitere Voraussetzungen, die wir benötigen, zu der folgenden Eigenschaft (E) zusammen. Die Untereigenschaft (E.1) beschreibt die Bedingungen für die Kommutativität des Diagramms (1), die Exaktheit der Zeilen sowie Urbild- und Stetigkeitsabschätzungen. Die Untereigenschaft (E.2) beschreibt Urbildabschätzungen der Spaltenabbildungen.

Definition 2.3. :
Ein System $`S=(S_{k,\sigma })_{k,\sigma }`$ habe die Eigenschaft (E), falls die folgenden Eigenschaften (E.1) und (E.2) erfüllt sind:

1. Ist $`\sigma 0`$ fest, so gibt es für jedes $`\alpha I^{\sigma +1}`$ eine exakte Sequenz von linearen stetigen Abbildungen $`p_\alpha ^k`$, $`k0`$, die $`0`$ sind, falls $`F_\alpha ^{k+1}\{0\}`$, und die invariant unter Permutationen der Indizes in $`\alpha `$ sind

1. $$\mathrm{}F_\alpha ^3\stackrel{p_\alpha ^2}{}F_\alpha ^2\stackrel{p_\alpha ^1}{}F_\alpha ^1\stackrel{p_\alpha ^0}{}F_\alpha ^00.$$

Es gelten ferner

1. $$p_\alpha ^k\iota _{\alpha _j}^\alpha =\iota _{\alpha _j}^\alpha p_{\alpha _j}^k\text{ für }\alpha I^{\sigma +1},j=0,\mathrm{},\sigma ,k0,$$

sowie die folgenden Eigenschaften:

1. Zu $`\alpha I^{\sigma +1}`$, $`k0`$ und $`n`$ gibt es $`C>0`$, so daß es für jedes $`xF_\alpha ^k`$ mit $`p_\alpha ^{k1}x=0`$ und $`x_{\alpha ,n+1}1`$ ein $`yF_\alpha ^{k+1}`$ mit $`p_\alpha ^ky=x`$ und $`y_{\alpha ,n}C`$ gibt. Hierbei sei $`p_\alpha ^1:F_\alpha ^00`$ die Nullabbildung.
    2. Für alle $`n`$, $`\alpha I^{\sigma +1}`$ und $`k0`$ gibt es ein Konstantensystem $`C_{n,k}=(C_{n,k,\alpha })_{\alpha I^{\sigma +1}}`$, so daß

    $$p_\alpha ^kx_{n,C_{n,k}}^kx_{n\mathrm{,1}}^{k+1}\text{ für jedes }xF_\alpha ^{k+1}$$
2. Für $`k1`$ gelte: Es gibt eine nicht leere Menge $`M_\gamma `$ zu einem festen $`\gamma >1`$ mit

1. $`M_\gamma \{[C:=(C_\alpha )_{\alpha I^{\sigma +1}},C^{}:=(C_\alpha ^{})_{\alpha I^\sigma }]:CC^{}\}`$,
    2. aus $`[C,C^{}]M_\gamma `$ folgt $`[C^\theta ,C_{}^{}{}_{}{}^{\theta }]M_\gamma `$ für jedes $`\theta 1`$,
    3. ist $`[C,C^{}]M_\gamma `$ dann gibt es $`C^{\prime \prime }C`$, so daß $`[C^{\prime \prime },C]M_\gamma `$,

für die gilt: Zu jedem Konstantensystem $`C_1=(C_{1,\alpha })_{\alpha I^{\sigma +1}}`$ und $`n`$ gibt es ein Konstantensystem $`C_2=(C_{2,\alpha })_{\alpha I^\sigma }`$, so daß für alle $`[C,C^{}]M_\gamma `$ gilt:

Ist $`c𝒞_n(S_{k,\sigma },CC_1)`$ mit $`\delta ^\sigma c=0`$, dann existiert ein $`c^{}𝒞_{n1}(S_{k,\sigma 1},C_{}^{}{}_{}{}^{\gamma }C_2)`$ mit

$`\delta ^{\sigma 1}c^{}`$ $`=`$ $`c\text{ und}`$
$`c^{}_{n1,C_{}^{}{}_{}{}^{\gamma }C_2}^k`$ $``$ $`c_{n,CC_1}^k`$

Der nun folgende Satz zeigt, daß auch auf der Stufe $`k=0`$ Lösungen für den verallgemeinerten Korandoperator existieren, falls Eigenschaft (E) gilt.

Der Beweis verwendet das Induktionsverfahren, daß für den Beweis des Theorem B von Cartan auf relativ kompakten holomorph konvexen Stufen verwendet wird (vgl. Beweis von Theorem 7.4.3 bzw. 7.6.10 in ).

Satz 2.4. :
Sei $`(S_{k,\sigma })_{k,\sigma }`$ ein System von Frécheträumen, für das die Eigenschaft (E) gilt. Dann gilt für $`k=0`$:

Sei $`\gamma >1`$ und $`M_\gamma `$ so gewählt wie in (E.2), dann gibt es zu jedem Konstantensystem $`C_1=(C_{1,\alpha })_{\alpha I^{\sigma +1}}`$ und $`n`$, $`n>2(M+1)`$ ein Konstantensystem $`C_2=(C_{2,\alpha })_{\alpha I^\sigma }`$, so daß für alle $`[C,C^{}]M_\gamma `$ gilt:

Ist $`c𝒞_n(S_{0,\sigma },CC_1)`$ mit $`\delta ^\sigma c=0`$, dann existiert ein $`c^{}𝒞_{n2(M+1\sigma )}(S_{0,\sigma 1},C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}C_2)`$ mit

$`\delta ^{\sigma 1}c^{}`$ $`=`$ $`c\text{ und}`$
$`c^{}_{n2(M+1\sigma ),C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}C_2}^0`$ $``$ $`c_{n,CC_1}^0`$
Beweis:

Wir führen eine Induktion über fallende $`\sigma `$ durch.

Wir zeigen die folgende von $`\sigma `$ abhängige Induktionsbehauptung für festes aber beliebiges $`k0`$:

Zu jedem Konstantensystem $`C_1=(C_{1,\alpha })_{\alpha I^{\sigma +1}}`$ und $`n`$, $`n>2(M+1)`$ gibt es ein Konstantensystem $`C_2=(C_{2,\alpha })_{\alpha I^\sigma }`$, so daß für alle $`[C,C^{}]M_\gamma `$ gilt:

Ist $`c𝒞_n(S_{k,\sigma },CC_1)`$ mit $`\delta ^\sigma c=0`$ und $`p_\alpha ^{k1}c_\alpha =0`$ für alle $`\alpha I^{\sigma +1}`$, dann existiert ein $`c^{}𝒞_{n2(M+1\sigma )}(S_{k,\sigma 1},C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}C_2)`$ mit

$`p_\alpha ^{k1}c_\alpha ^{}`$ $`=`$ $`0\text{ für alle }\alpha I^\sigma `$
$`\delta ^{\sigma 1}c^{}`$ $`=`$ $`c\text{ und}`$
$`c^{}_{n2(M+1\sigma ),C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}C_2}^k`$ $``$ $`c_{n,CC_1}^k.`$
Der Induktionsanfang $`\sigma =M+1`$ ist klar, da nur Nullelemente auftauchen.

Zum Induktionschritt $`\sigma +1`$ nach $`\sigma `$:

Sei $`C_1=(C_{1,\alpha })_{\alpha I^{\sigma +1}}`$ ein Konstantensystem und $`n>2(M+1)`$, $`n`$. Sei ferner $`[C=(C_\alpha )_{\alpha I^{\sigma +1}},C^{}=(C_\alpha ^{})_{\alpha I^\sigma }]M_\gamma `$.

Wir starten mit einem $`c𝒞_n(S_{k,\sigma },CC_1)`$ mit $`\delta ^\sigma c=0`$ und $`p_\alpha ^{k1}=0`$ für alle $`\alpha I^{\sigma +1}`$. Nach (E.1.3) gibt es zu $`c_\alpha F_\alpha ^k`$ ein $`d_\alpha F_\alpha ^{k+1}`$ mit $`p_\alpha ^kd_\alpha =c_\alpha `$ und $`d_\alpha _{\alpha ,n1}\stackrel{~}{C}_\alpha c_\alpha _{\alpha ,n}`$. Hierbei hängt $`\stackrel{~}{C}_\alpha `$ nur von $`\alpha `$ und $`n`$ ab.

Wenn wir also $`\stackrel{~}{C}:=(\stackrel{~}{C}_\alpha ^1)_{\alpha I^{\sigma +1}}`$ setzen, so erhalten wir ein $`d=(d_\alpha )_{\alpha I^{\sigma +1}}𝒞_{n1}(S_{k+1,\sigma },C\stackrel{~}{C}C_1)`$ mit

$$d_{n1,C\stackrel{~}{C}C_1}^{k+1}c_{n,CC_1}^k$$

Wir wählen gemäß der 3. Eigenschaft von $`M_\gamma `$ ein $`C^{\prime \prime }C`$, so daß $`[C^{\prime \prime },C]M_\gamma `$. Nach Lemma 2 folgt dann mit $`D^{}:=\stackrel{~}{C}C_1(M(\sigma +3))^1`$, daß $`d^{}:=\delta ^{\sigma +1}d𝒞_{n1}(S_{k+1,\sigma +1},C^{\prime \prime }D^{})`$ und

$$d^{}_{n1,C^{\prime \prime }D^{}}^{k+1}d_{n1,C\stackrel{~}{C}C_1}^{k+1}$$

Ist $`\alpha I^{\sigma +2}`$, dann folgt wegen (E.1.2)

$`p_\alpha ^kd_\alpha ^{}`$ $`=`$ $`p_\alpha ^k(\delta ^{\sigma +1}d)_\alpha `$
$`=`$ $`{\displaystyle \underset{j=0}{\overset{\sigma +2}{}}}(1)^jp_\alpha ^ki_{\alpha _j}^\alpha d_{\alpha _j}`$
$`=`$ $`{\displaystyle \underset{j=0}{\overset{\sigma +2}{}}}(1)^ji_{\alpha _j}^\alpha p_{\alpha _j}^kd_{\alpha _j}`$
$`=`$ $`(\delta ^{\sigma +1}c)_\alpha `$
$`=`$ $`0.`$
Wir können also auf $`d^{}`$ die Induktionsvoraussetzung auf der Stufe $`k+1`$ anwenden. Es gibt daher ein Konstantensystem $`D^{\prime \prime }`$, unabhängig von $`C`$, $`C^{\prime \prime }`$ und $`d^{}`$, so daß zu $`d^{}`$ eine Lösung der Gleichung $`\delta ^\sigma d^{\prime \prime }=d^{}`$ existiert mit $`d^{\prime \prime }`$ in $`𝒞_{n12(M+1\sigma 1)}(S_{k+1,\sigma },C^{\gamma ^{M\sigma 1}}D^{\prime \prime })`$, $`p_\alpha ^kd_\alpha ^{\prime \prime }=0`$ für alle $`\alpha I^{\sigma +1}`$ und

$$d^{\prime \prime }_{n12(M\sigma ),C^{\gamma ^{M\sigma 1}}D^{\prime \prime }}^{k+1}d^{}_{n1,C^{\prime \prime }D^{}}^{k+1}.$$

Hierbei ist ohne Einschränkung $`D^{\prime \prime }\stackrel{~}{C}C_1`$.

Wir setzen nun $`h:=dd^{\prime \prime }𝒞(S_{k+1,\sigma })`$. Dann gilt

$$\delta ^\sigma h=\delta ^\sigma d\delta ^\sigma d^{\prime \prime }=d^{}d^{}=0\text{ und}$$

$`h_{n12(M\sigma ),C^{\gamma ^{M\sigma 1}}D^{\prime \prime }}^{k+1}`$ $``$ $`d_{n1,CD^{\prime \prime }}^{k+1}+d^{}_{n1,C^{\prime \prime }D^{}}^{k+1}`$
$``$ $`d_{n1,C\stackrel{~}{C}C_1}^{k+1}+c_{n,CC_1}^k`$
$``$ $`2c_{n,CC_1}^k`$
Also ist $`h𝒞_{n12(M\sigma )}(S_{k+1,\sigma },C^{\gamma ^{M\sigma 1}}D^{\prime \prime })`$

Wir wenden jetzt Eigenschaft (E.2) an:

Es gibt demnach ein von $`C`$ und $`C^{}`$ unabhängiges $`D^{\prime \prime \prime }=(D_\alpha ^{\prime \prime \prime })_{\alpha I^\sigma }`$, so daß für das Paar $`[C^{\gamma ^{M\sigma 1}},`$ $`C_{}^{}{}_{}{}^{\gamma ^{M\sigma 1}}]M_\gamma `$ gilt: Zu obigem $`h𝒞_{n12(M\sigma )}(S_{k+1,\sigma },C^{\gamma ^{M\sigma 1}}D^{\prime \prime })`$ gibt es wegen $`\delta ^\sigma h=0`$ ein $`h^{}𝒞_{n12(M\sigma )1}`$ $`(S_{k+1,\sigma 1},C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}D^{\prime \prime \prime })`$, so daß

$`\delta ^{\sigma 1}h^{}`$ $`=`$ $`h\text{ und}`$
$`h^{}_{n12(M\sigma )1,C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}D^{\prime \prime \prime }}^{k+1}`$ $``$ $`h_{n12(M\sigma ),C^{\gamma ^{M\sigma 1}}D^{\prime \prime }}^{k+1}`$
Wir zeigen nun, daß $`c^{}:=(p_\alpha ^kh_\alpha ^{})_{\alpha I^\sigma }`$ die gesuchte Lösung ist.

Es ist klar, daß $`p_\alpha ^{k1}c_\alpha ^{}=0`$ für alle $`\alpha I^\sigma `$ gilt. Ferner gilt für alle $`\alpha I^{\sigma +1}`$, daß

$`(\delta ^{\sigma 1}c^{})_\alpha `$ $`=`$ $`{\displaystyle \underset{j=0}{\overset{\sigma }{}}}(1)^j\iota _{\alpha _j}^\alpha p_{\alpha _j}^kh_{\alpha _j}^{}`$
$`\stackrel{(E\mathrm{.1.2})}{=}`$ $`{\displaystyle \underset{j=0}{\overset{\sigma }{}}}(1)^jp_\alpha ^k\iota _{\alpha _j}^\alpha h_{\alpha _j}^{}`$
$`=`$ $`p_\alpha ^k(\delta ^{\sigma 1}h^{})_\alpha `$
$`=`$ $`p_\alpha ^kh_\alpha `$
$`=`$ $`p_\alpha ^kd_\alpha p_\alpha ^kd_\alpha ^{\prime \prime }`$
$`=`$ $`c_\alpha .`$
Wegen (E.1.4) gibt es zur Stufe $`n2(M+1\sigma )`$ ein Konstantensystem $`\stackrel{~}{\stackrel{~}{C}}=(\stackrel{~}{\stackrel{~}{C}}_\alpha )_{\alpha I^{\sigma +1}}`$ mit

$$p_\alpha ^kx_{n2(M+1\sigma ),\stackrel{~}{\stackrel{~}{C}}_\alpha }^kx_{n2(M+1\sigma )\mathrm{,1}}^{k+1}$$

für jedes $`x=(x_\alpha )_{\alpha I^{\sigma +1}}`$, $`x_\alpha F_\alpha ^{k+1}`$. Es folgt daher

$`c^{}_{n2(M+1\sigma ),C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}D^{\prime \prime \prime }\frac{\stackrel{~}{\stackrel{~}{C}}}{2}}^k`$ $``$ $`{\displaystyle \frac{1}{2}}h^{}_{n2(M+1\sigma ),C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}D^{\prime \prime \prime }}^{k+1}`$
$``$ $`{\displaystyle \frac{1}{2}}h_{n12(M+1\sigma ),C^{\gamma ^{M\sigma 1}}D^{\prime \prime }}^{k+1}`$
$``$ $`c_{n,CC_1}^k`$
Wir setzen also $`C_2:=D^{\prime \prime \prime }\frac{\stackrel{~}{\stackrel{~}{C}}}{2}`$ und erhalten damit $`c^{}𝒞_{n2(M+1\sigma )}(S_{k,\sigma 1},C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}C_2)`$. Damit ist der Induktionsschritt bewiesen $`\mathrm{}`$

## 3 $`\overline{}`$-Lösungen mit Abschätzungen auf Steinschen Mannigfaltigkeiten

Sei $`\mathrm{\Omega }`$ eine komplexe Mannigfaltigkeit der Dimension $`n`$, die abzählbar gegen unendlich ist. $`𝒪`$ sei die Garbe von Keimen analytischer Funktionen auf $`\mathrm{\Omega }`$ und $``$ eine kohärente analytische Garbe auf $`\mathrm{\Omega }`$. Wir identifizieren für eine offene Menge $`\mathrm{\Omega }^{}\mathrm{\Omega }`$ die holomorphen Funktionen auf $`\mathrm{\Omega }^{}`$ mit den Schnitten $`\mathrm{\Gamma }(\mathrm{\Omega }^{},𝒪)`$.

Eine $`(p,q)`$-Form $`f`$ auf $`\mathrm{\Omega }`$ sei dadurch definiert, daß sie sich auf jeder Karte als $`(p,q)`$-Form in den lokalen Koordinaten schreiben läßt, d.h. auf einer Karte $`U`$ existieren Koefizientenfunktionen aus $`L^2(\mathrm{\Omega },loc)`$ bezüglich eines festen Volumenelementes $`dV`$, so daß $`f`$ auf $`U`$ in den lokalen Koordinaten $`z_1,\mathrm{},z_n`$ die Form hat

$$f=\underset{|I|=p}{}^{}\underset{|J|=q}{}^{}f_{I,J}dz^Id\overline{z}^J,$$

wobei hier die Notation aus \[Hör\] verwendet wird. Das bedeutet insbesondere, daß die Summierung nur über aufsteigende Indizes der Länge p bzw. q erfolgt.

Der Raum der $`(p,q)`$-Formen auf $`\mathrm{\Omega }`$ heiße $`L_{p,q}^2(\mathrm{\Omega },loc)`$.

Wir wählen eine hermitsche Metrik $`<,>`$, die folgende Eigenschaft hat (siehe \[Hör\], S. 113):

Es gibt eine Folge $`(\eta _\nu )_\nu `$ in $`C_{}^{\mathrm{}}(\mathrm{\Omega })`$, so daß $`0\eta _\nu 1`$ und $`\eta _\nu 1`$ auf einem beliebigen Kompaktum in $`\mathrm{\Omega }`$, für $`\nu `$ genügend groß, und

$$\overline{}\eta _\nu ^2=<\overline{}\eta _\nu ,\overline{}\eta _\nu >1\text{ auf }\mathrm{\Omega }\nu =\mathrm{1,2},\mathrm{}$$

Mit einer Orthonormalisierung erreicht man, daß zu jedem $`z\mathrm{\Omega }`$ eine offene Umgebung $`U`$ existiert, sowie $`(\mathrm{1,0})`$-Formen $`\omega _1,\mathrm{},\omega _n`$ mit $`C^{\mathrm{}}`$-Koeffizienten, so daß

$$<\omega _j,\omega _k>=\delta _{jk}\text{ für }zU$$

Eine $`(p,q)`$-Form $`f`$ läßt sich in eindeutiger Weise in $`\omega _1,\mathrm{},\omega _n`$ entwickeln:

$$f=\underset{|I|=p}{}^{}\underset{|J|=q}{}^{}f_{I,J}\omega ^I\overline{\omega }^J\text{ auf }U$$

und es gilt

$$<f,f>=\underset{|I|=p}{}^{}\underset{|J|=q}{}^{}f_{I,J}^2\text{ auf }U.$$

Sei $`\phi C^2(\mathrm{\Omega })`$ und $`fL^2(\mathrm{\Omega },loc)`$, so daß

$`f_\phi ^2:={\displaystyle f^2e^\phi 𝑑V}<\mathrm{}`$
(3.0.1)

Der Raum dieser $`(p,q)`$-Formen sei mit $`L_{p,q}^2(\mathrm{\Omega },\phi )`$ bezeichnet.

Sei von jetzt ab $`\mathrm{\Omega }`$ Steinsch.

Es gilt das folgende Lemma über unbeschränkte Operatoren zwischen Hilberträumen (siehe , Lemma 4.1.1).

Lemma 3.1. :

Sei $`T:H_1H_2`$ ein linearer dicht definierter abgeschlossener Operator. Es gebe $`C>0`$, so daß

$`f_{H_2}CT^{}f_{H_1}\text{ für alle }fFD_T^{},`$
(3.1.1)

wobei $`FH_2`$ abgeschlossen ist und für das Bild von $`T`$ gilt $`R_TF`$.

Dann existiert zu jedem $`fF`$ ein $`gH_1`$, so daß

$`Tg=f\text{ und }g_{H_1}Cf_{H_2}`$
(3.1.2)

gilt. Hierbei kann in (3) die gleiche Konstante $`C`$ gewählt werden wie in (3).

Tatsächlich beweist Hörmander die Äquivalenz von (3) und (3). Die Tatsache, daß in (3) die gleiche Konstante gilt, wie in (3), folgt unmittelbar aus der Anwendung des Satzes von Hahn-Banach im Beweis.

$`\overline{}`$ definiert folgende lineare abgeschlossene dicht definierte Operatoren zwischen Hilberträumen:

$`T:L_{p,q}^2(\mathrm{\Omega },\phi )`$ $``$ $`L_{p,q+1}^2(\mathrm{\Omega },\phi )`$
$`S:L_{p,q+1}^2(\mathrm{\Omega },\phi )`$ $``$ $`L_{p,q+2}^2(\mathrm{\Omega },\phi )`$
(3.1.3)

Den Raum der $`(p,q)`$-Formen auf $`\mathrm{\Omega }`$ mit $`C^{\mathrm{}}`$-Koeffizienten und kompaktem Träger bezeichnen wir mit $`D_{(p,q)}(\mathrm{\Omega })`$.

Wir benötigen die folgende Aussage über die Lösungen von $`\overline{}`$ auf einer Steinschen Mannigfaltigkeit. Da die Beweisführung sich weitestgehend auf den Beweis zu Theorem 5.3.4 in  stützt, können wir uns hier kurz fassen.

Satz 3.2. :
Sei $`\mathrm{\Omega }`$ eine Steinsche Mannigfaltigkeit. Dann existiert eine streng plurisubharmonische Funktion $`\psi C^2(\mathrm{\Omega })`$, so daß für jede plurisubharmonische Funktion $`\phi `$ auf $`\mathrm{\Omega }`$ gilt:

Zu jedem $`fL_{(p,q+1)}^2(\mathrm{\Omega },\phi )`$ mit $`\overline{}f=0`$ existiert eine Lösung $`uL_{(p,q)}^2(\mathrm{\Omega },loc)`$ der Gleichung $`\overline{}u=f`$, so daß

$`{\displaystyle _\mathrm{\Omega }}u^2e^{\phi \psi }𝑑V{\displaystyle _\mathrm{\Omega }}f^2e^\phi 𝑑V.`$
(3.2.1)

Beweis:

Wir wählen eine streng plurisubharmonische Ausschöpfungsfunktion $`\kappa `$ auf $`\mathrm{\Omega }`$ (siehe z.B. , Thm. 5.2.10). Dann gibt es eine wachsende konvexe Funktion $`\chi :`$, so daß für jede zweimal differenzierbare plurisubharmonische Funktion $`\phi `$ die sogenannte basic estimate

$`f_{\chi (\kappa )+\phi }^2T^{}f_{\chi (\kappa )+\phi }^2+Sf_{\chi (\kappa )+\phi }^2\text{ für alle }fD_{p,q+1}(\mathrm{\Omega })`$
(3.2.2)

gilt. Die basic estimate gilt auch für alle $`fD_T^{}D_S`$, da $`D_{p,q+1}(\mathrm{\Omega })`$ bezüglich der Graphennorm

$$f_{\chi (\kappa )+\phi }^2+T^{}f_{\chi (\kappa )+\phi }^2+Sf_{\chi (\kappa )+\phi }^2$$

dicht in $`D_T^{}D_S`$ liegt.

Sei jetzt $`F`$ der Kern von $`S`$, dann ist $`F`$ abgeschlossen in $`L_{(p,q+1)}^2(\mathrm{\Omega },\chi (\kappa )+\phi )`$, da $`S`$ abgeschlossen ist. Wir erhalten also

$$f_{\chi (\kappa )+\phi }T^{}f_{\chi (\kappa )+\phi }\text{ für alle }fFD_T^{}.$$

Mit Lemma 3 folgt hieraus, daß zu jedem $`fL_{(p,q+1)}^2(\mathrm{\Omega },\chi (\kappa )+\phi )`$ mit $`\overline{}f=0`$ ein $`uL_{(p,q)}^2(\mathrm{\Omega },\chi (\kappa )+\phi )`$ existiert mit

$$u_{\chi (\kappa )+\phi }f_{\chi (\kappa )+\phi }f_\phi .$$

Für den Übergang zu einer beliebigen plurisubharmonischen Funktion $`\phi `$ verwenden wir die Standardargumentation wie z.B. im Beweis zu Theorem 4.4.2 in . $`\mathrm{}`$

Korollar 3.3. :
Ist $`\stackrel{~}{\mathrm{\Omega }}\mathrm{\Omega }`$ offen und pseudokonvex, dann existiert zu jedem $`fL_{(p,q+1)}^2(\stackrel{~}{\mathrm{\Omega }},\phi )`$ mit $`\overline{}f=0`$ eine Lösung $`uL_{(p,q)}^2(\stackrel{~}{\mathrm{\Omega }},loc)`$ der Gleichung $`\overline{}u=f`$, so daß

$$_{\stackrel{~}{\mathrm{\Omega }}}u^2e^{\phi \psi }𝑑V_{\stackrel{~}{\mathrm{\Omega }}}f^2e^\phi 𝑑V.$$

Hier ist $`\phi `$ eine beliebige plurisubharmonische Funktion auf $`\mathrm{\Omega }`$ und $`\psi `$ aus obigem Satz.

Beweis:

Wir können auf $`\stackrel{~}{\mathrm{\Omega }}`$ das eingeführte Volumenelement für $`\mathrm{\Omega }`$ eingeschränkt auf $`\stackrel{~}{\mathrm{\Omega }}`$ verwenden. Da (3) auch für alle $`fD_{p,q+1}(\stackrel{~}{\mathrm{\Omega }})`$ gilt, kann man wie im Beweis zu Satz 3 argumentieren. $`\mathrm{}`$

Lemma 3.4. :
Seien $`\mathrm{\Omega }_1`$, $`\mathrm{\Omega }_2`$ und $`\mathrm{\Omega }_3`$ offene pseudokonvexe Teilmengen einer komplexen Mannigfaltifkeit $`\mathrm{\Omega }`$. Sei $`\mathrm{\Omega }_1\mathrm{\Omega }_2`$ relativ kompakt und $`\mathrm{\Omega }_2\mathrm{\Omega }_3`$, ferner sei $`q1`$ und $`\phi \text{PSH}(\mathrm{\Omega }_2)`$.

Dann gibt es zu jedem $`fL_{(0,q)}^2(\mathrm{\Omega }_2,\phi )`$ mit $`\overline{}f=0`$ ein $`FL_{(0,q)}^2(\mathrm{\Omega }_3,loc)`$ mit

$$\overline{}F=0\text{ und }F=f\text{ auf }\mathrm{\Omega }_1$$

Beweis: Wir wenden Satz 3 auf $`fL_{(0,q)}^2(\mathrm{\Omega }_2,\phi )`$ an und erhalten ein $`uL_{(0,q1)}^2(\mathrm{\Omega }_2,loc)`$ mit $`\overline{}u=f`$.

Wir wählen eine $`C^{\mathrm{}}`$-Funktion $`\chi `$ mit Werten im Intervall $`[\mathrm{0,1}]`$, so daß der Träger von $`\chi `$ in $`\mathrm{\Omega }_2`$ liegt und $`\mathrm{\Omega }_1\chi ^1(1)`$.

Es sei $`w:=\chi u`$ und $`F:=\overline{}w`$. Dann ist $`FL_{(0,q)}^2(\mathrm{\Omega }_3,loc)`$ und $`\overline{}F=0`$. Ferner gilt

$$F_{\mathrm{\Omega }_1}=\left[\overline{}u\chi +u\overline{}\chi \right]_{\mathrm{\Omega }_1}=\overline{}u_{\mathrm{\Omega }_1}=f_{\mathrm{\Omega }_1}.$$

$`\mathrm{}`$

Korollar 3.5. :
Seien $`\mathrm{\Omega }_1\mathrm{\Omega }_2\mathrm{\Omega }_3`$ pseudokonvexe Teilmengen von $`\mathrm{\Omega }`$ aus Satz 3 und sei $`\mathrm{\Omega }_1`$ in $`\mathrm{\Omega }_2`$ relativ kompakt. Sei ferner $`\phi \text{PSH}(\mathrm{\Omega })`$ und $`q1`$.

Dann gibt es zu jedem $`fL_{(0,q+1)}^2(\mathrm{\Omega }_3,\phi )`$ mit $`\overline{}f=0`$ eine Lösung $`uL_{(0,q)}^2(\mathrm{\Omega }_3,loc)`$ der Gleichung $`\overline{}u=f`$, so daß die Abschätzung

$$_{\mathrm{\Omega }_1}u^2e^{\phi \psi }𝑑V_\mathrm{\Omega }_{\mathrm{\Omega }_2}f^2e^\phi 𝑑V_\mathrm{\Omega }$$

mit $`\psi `$ aus Satz 3 erfüllt wird.

Beweis: Wir wenden Korollar 3 auf $`fL_{(0,q+1)}^2(\mathrm{\Omega }_3,\phi )`$ mit $`\overline{}f=0`$ zweifach an und erhalten $`u_1L_{(0,q)}^2(\mathrm{\Omega }_2,\phi +\psi )`$ und $`u_2L_{(0,q)}^2(\mathrm{\Omega }_3,\phi +\psi )`$ mit $`f=\overline{}u_1`$ auf $`\mathrm{\Omega }_2`$ und $`f=\overline{}u_2`$ auf $`\mathrm{\Omega }_3`$, sowie

$`{\displaystyle _{\mathrm{\Omega }_2}}u_1^2e^{\phi \psi }𝑑V_\mathrm{\Omega }`$ $``$ $`{\displaystyle _{\mathrm{\Omega }_2}}f^2e^\phi 𝑑V_\mathrm{\Omega }\text{ und}`$
$`{\displaystyle _{\mathrm{\Omega }_3}}u_2^2e^{\phi \psi }𝑑V_\mathrm{\Omega }`$ $``$ $`{\displaystyle _{\mathrm{\Omega }_3}}f^2e^\phi 𝑑V_\mathrm{\Omega }.`$
Dann erfüllt $`w:=u_2|_{\mathrm{\Omega }_2}u_1`$ die Voraussetzungen von Lemma 3. Wir erhalten daher $`WL_{(0,q)}^2(\mathrm{\Omega }_3,loc)`$ mit $`\overline{}W=0`$ und $`W=w`$ auf $`\mathrm{\Omega }_1`$.

Wir setzen $`u:=u_2WL_{(0,q)}^2(\mathrm{\Omega }_3,loc)`$. Da $`\overline{}u=\overline{}u_2\overline{}W=\overline{}u_2=f`$ gilt auf $`\mathrm{\Omega }_3`$ und

$`{\displaystyle _{\mathrm{\Omega }_1}}u^2e^{\phi \psi }𝑑V_\mathrm{\Omega }`$ $`=`$ $`{\displaystyle _{\mathrm{\Omega }_1}}u_2u_2+u_1^2e^{\phi \psi }𝑑V_\mathrm{\Omega }`$
$``$ $`{\displaystyle _{\mathrm{\Omega }_2}}f^2e^\phi 𝑑V_\mathrm{\Omega },`$
ist das Korollar gezeigt $`\mathrm{}`$

## 4 Beweis eines Theorem B mit Schranken für Koketten mit Werten in der Garbe $`𝒪_\mathrm{\Omega }`$ von Keimen holomorpher Funktionen auf einer Steinschen Mannigfaltigkeit

Im nächsten Schritt werden wir ein Theorem B mit Lösungsabschätzungen beweisen für die Garbe von Keimen holomorpher Funktionen auf einer Steinschen Mannigfaltigkeit. Dies wird die Eigenschaft E.2 zeigen.

Ein ebensolches Lösungstheorem mit präzisen Angaben des Gewichtsverlustes findet sich in , Proposition 7.6.2. Dieses Ergebnis bezieht sich jedoch lediglich auf die Situation im $`^n`$. Deshalb streben wir hier an, die Situation auf Steinschen Mannigfaltigkeiten zu untersuchen. Dabei werden die Angaben des Gewichtsverlustes naturgemäß unpräziser. Der Beweisgang wird im wesentlichen gleich verlaufen und zwar als Induktion über $`\sigma `$, wobei in den Beweis des Induktionsanfangs $`\sigma =1`$ der $`\overline{}`$-Lösungssatz 3 eingehen wird.

Sei also $`\mathrm{\Omega }`$ eine Steinsche Mannigfaltigkeit der Dimension $`n`$ und $`𝒰:=(U_i)_{iI}`$ eine abzählbare Überdeckung mit Steinschen Gebieten und der Eigenschaft, daß eine feste Überdeckungsmenge von höchstens $`M`$ verschiedenen Überdeckungsmengen geschnitten wird. $`𝒲:=(W_i)_{iI}`$ sei eine Verfeinerung zu $`𝒰`$. Insbesondere gelte $`W_iU_i`$ relativ kompakt und $`W_i`$ Steinsches Gebiet für jedes $`iI`$. $`(\chi _i)_i`$ sei eine Teilung der Eins bezüglich $`(W_i)_i`$. Wir wählen ferner eine plurisubharmonische Funktion $`\phi `$, die

$$\left(\underset{iI}{}\overline{}\chi _i(z)\right)^2e^\phi 1,z\mathrm{\Omega },$$

erfüllt. Es sei $`_q`$ die Garbe von Keimen von $`(0,q)`$-Formen. Auf den Stufenindex des Korandoperators $`\delta `$ wird verzichtet, wenn sich die entsprechende Stufe aus dem Zusammenhang ergibt. Für einen Multiindex $`i_0,\mathrm{},i_\sigma `$ bezeichnen wir mit $`U_{i_0,\mathrm{},i_\sigma }`$ den Schnitt $`U_{i_0}\mathrm{}U_{i_\sigma }`$. Dies gelte für $`W_{i_0,\mathrm{},i_\sigma }`$ entsprechend. Die Menge aller auf $`\mathrm{\Omega }`$ plurisubharmonischen Funktionen bezeichnen wie im folgenden mit PSH$`(\mathrm{\Omega })`$.

Poposition 4.1. :
Sei $`(\stackrel{~}{W}_i)_{iI}`$ eine Familie von pseudokonvexen Gebieten mit $`W_i\stackrel{~}{W}_i`$ relativ kompakt und $`\stackrel{~}{W}_iU_i`$ für jedes $`iI`$. Ist $`cC^\sigma (𝒰,_q)`$, $`\delta c=0`$, $`\overline{}c=0`$ und

$`{\displaystyle \underset{i_0,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{W}_{i_0,\mathrm{},i_\sigma }}}c_{i_0,\mathrm{},i_\sigma }^2e^\kappa 𝑑V<\mathrm{}`$
(4.1.1)

für eine plurisubharmonische Funktion $`\kappa `$ auf $`\mathrm{\Omega }`$, dann existiert $`c^{}C^{\sigma 1}(𝒰,_q)`$ mit $`\overline{}c^{}=0`$, so daß $`\delta c^{}=c`$ und

$`{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle _{W_{i_1,\mathrm{},i_\sigma }}}c_{i_1,\mathrm{},i_\sigma }^{}^2e^{\kappa (\phi +\psi )\sigma }𝑑VC_\sigma {\displaystyle \underset{i_0,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{W}_{i_0,\mathrm{},i_\sigma }}}c_{i_0,\mathrm{},i_\sigma }^2e^\kappa 𝑑V,`$
(4.1.2)

wobei $`\psi \text{PSH}(\mathrm{\Omega })`$ unabhängig von $`\kappa `$ und $`c`$ gewählt werden kann.

Beweis:

Bemerkungen: Das $`\psi `$ hier ist das gleiche wie in Satz 3. Die Konstanten $`C_\sigma `$ hängen nicht von den Gewichtsfunktionen ab.

Sei $`cC^\sigma (𝒰,_q)`$, $`\delta c=0`$, $`\overline{}c=0`$. Setze

$$b_{i_1,\mathrm{},i_\sigma }:=\underset{i}{}\chi _ic_{i,i_1,\mathrm{},i_\sigma }$$

und $`b:=(b_{i_1,\mathrm{},i_\sigma })_{i_1,\mathrm{},i_\sigma }C^{\sigma 1}(𝒰,_q)`$. Man beachte, daß die Summe jeweils endlich ist. Es gilt:

$`(\delta ^{\sigma 1}b)_{i_0,\mathrm{},i_\sigma }`$ $`=`$ $`{\displaystyle \underset{k=0}{\overset{\sigma }{}}}(1)^k{\displaystyle \underset{i}{}}\chi _ic_{i,i_0,\mathrm{},\widehat{i}_k,\mathrm{},i_\sigma }`$
$`=`$ $`{\displaystyle \underset{i}{}}\chi _i{\displaystyle \underset{k=0}{\overset{\sigma }{}}}(1)^kc_{i,i_0,\mathrm{},\widehat{i}_k,\mathrm{},i_\sigma }`$
$`=`$ $`{\displaystyle \underset{i}{}}\chi _ic_{i_0,\mathrm{},i_\sigma }`$
$`=`$ $`c_{i_0,\mathrm{},i_\sigma },`$
(4.1.3)

denn $`\delta ^\sigma c=0`$.

Ist $`UU_{i_1,\mathrm{},i_\sigma }`$ offen, dann gilt für $`\beta PSH(\mathrm{\Omega })`$ wegen der Cauchy-Schwarzschen Ungleichung:

$`{\displaystyle _U}b_{i_1,\mathrm{},i_\sigma }^2e^\beta 𝑑V`$ $``$ $`{\displaystyle _U}{\displaystyle \underset{i}{}}\chi _ic_{i,i_1,\mathrm{},i_\sigma }^2e^\beta dV`$
$``$ $`{\displaystyle \underset{i}{}}{\displaystyle _{UW_i}}c_{i,i_1,\mathrm{},i_\sigma }^2e^\beta 𝑑V.`$
(4.1.4)

Setze $`f_{i_1,\mathrm{},i_\sigma }=(\overline{}b)_{i_1,\mathrm{},i_\sigma }:=\overline{}b_{i_1,\mathrm{},i_\sigma }`$. Hierdurch wird eine Kokette $`f:=(f_{i_1,\mathrm{},i_\sigma })_{i_1,\mathrm{},i_\sigma }C^{\sigma 1}(𝒰,_{q+1})`$ definiert. Es gilt:

$`f_{i_1,\mathrm{},i_\sigma }=\overline{}b_{i_1,\mathrm{},i_\sigma }`$ $`=`$ $`{\displaystyle \underset{i}{}}\overline{}(\chi _ic_{i,i_1,\mathrm{},i_\sigma })`$
$`=`$ $`{\displaystyle \underset{i}{}}\overline{}\chi _ic_{i,i_1,\mathrm{},i_\sigma },`$
denn $`\overline{}c=0`$. Da $`\overline{}`$ auf jedes einzelne lokale Element einer Kokette wirkt, vertauscht $`\overline{}`$ mit dem Korandoperator $`\delta `$ auf jeder Stufe. Daher gilt

$$\delta ^{\sigma 1}f=\delta ^{\sigma 1}\overline{}b=\overline{}\delta ^{\sigma 1}b=\overline{}c=0.$$

Für jedes $`UU_{i_1,\mathrm{},i_\sigma }`$ und jedes $`\beta PSH(\mathrm{\Omega })`$ gilt wegen der Wachstumseigenschaft von $`\phi `$

$`{\displaystyle _U}f_{i_1,\mathrm{},i_\sigma }^2e^{\phi \beta }𝑑V`$ $``$ $`{\displaystyle _U}\left({\displaystyle \underset{i}{}}\overline{}\chi _i\right)\left({\displaystyle \underset{i}{}}\overline{}\chi _ic_{i,i_1,\mathrm{},i_\sigma }^2\right)e^{\phi \beta }𝑑V`$
$``$ $`{\displaystyle _U}{\displaystyle \underset{i}{}}\overline{}\chi _ic_{i,i_1,\mathrm{},i_\sigma }^2e^{\frac{\phi }{2}\beta }dV`$
$``$ $`{\displaystyle \underset{i}{}}{\displaystyle _{UW_i}}\overline{}\chi _ic_{i,i_1,\mathrm{},i_\sigma }^2e^{\frac{\phi }{2}\beta }𝑑V`$
$``$ $`{\displaystyle \underset{i}{}}{\displaystyle _{UW_i}}c_{i,i_1,\mathrm{},i_\sigma }^2e^\beta 𝑑V.`$
(4.1.5)

Wir führen nun eine Induktion über $`\sigma `$ durch:

Für den Induktionsanfang $`\sigma =1`$ sei $`cC^1(𝒰,_q)`$, $`\delta ^1c=0`$, $`\overline{}c=0`$ und

$$\underset{i,j}{}_{U_{i,j}}c_{i,j}^2e^\kappa 𝑑V<\mathrm{}.$$

$`b`$ und $`f`$ seien wie oben konstruiert, dann gilt $`\delta ^0f=0`$ und $`\overline{}f=\overline{}\overline{}b=0`$. $`f`$ definiert also eine $`(0,q+1)`$-Form auf $`\mathrm{\Omega }`$, die $`\overline{}`$-geschlossen ist. Wir erhalten wegen (4) und (4)

$`{\displaystyle _\mathrm{\Omega }}f^2e^{\phi \kappa }𝑑V`$ $``$ $`{\displaystyle \underset{j}{}}{\displaystyle _{W_j}}f_j^2e^{\phi \kappa }𝑑V`$
$``$ $`{\displaystyle \underset{j}{}}{\displaystyle \underset{i}{}}{\displaystyle _{W_iW_j}}c_{i,j}^2e^\kappa 𝑑V`$
$`<`$ $`\mathrm{}`$
(4.1.6)

Es gibt daher nach Satz 3 ein $`gL_{(0,q)}^2(\mathrm{\Omega },loc)`$ mit $`\overline{}g=f`$ und

$`{\displaystyle _\mathrm{\Omega }}g^2e^{\phi \psi \kappa }𝑑V{\displaystyle _\mathrm{\Omega }}f^2e^{\phi \kappa }𝑑V,`$
(4.1.7)

wobei $`\psi `$ unabhängig von $`f`$ und $`\kappa +\phi `$ gewählt werden kann.

Setze $`c_i^{}:=b_ig`$ für jedes $`iI`$. Dann wird durch $`c^{}:=(c_i^{})_i`$ eine Kokette in $`C^0(𝒰,_q)`$ definiert, für die

$$\delta ^0c^{}=\delta ^0b\delta ^0g=\delta ^0b=c$$

und

$$\overline{}c^{}=\overline{}b\overline{}g=ff=0\text{ gilt. }$$

Wir können wegen (4) und (4) abschätzen

$`{\displaystyle \underset{j}{}}{\displaystyle _{W_j}}c_j^{}^2e^{\phi \psi \kappa }𝑑V`$ $``$ $`2{\displaystyle \underset{j}{}}{\displaystyle _{W_j}}b_j^2e^{\phi \psi \kappa }𝑑V+2{\displaystyle \underset{j}{}}{\displaystyle _{W_j}}g^2e^{\phi \psi \kappa }𝑑V`$
$``$ $`2{\displaystyle \underset{j}{}}{\displaystyle \underset{i}{}}{\displaystyle _{W_iW_j}}c_{i,j}^2e^{\phi \psi \kappa }𝑑V+2M{\displaystyle _\mathrm{\Omega }}g^2e^{\phi \psi \kappa }𝑑V`$
$``$ $`2{\displaystyle \underset{i,j}{}}{\displaystyle _{W_{i,j}}}c_{i,j}^2e^\kappa 𝑑V+2M{\displaystyle \underset{i,j}{}}{\displaystyle _{W_{i,j}}}c_{i,j}^2e^\kappa 𝑑V.`$
Mit $`C_1:=2(M+1)`$ ist der Induktionsanfang gezeigt.

Für den Induktionsschritt $`\sigma 1\sigma `$ sei $`cC^\sigma (𝒰,_q)`$, $`\delta ^\sigma c=0`$, $`\overline{}c=0`$ und

$$\underset{i_0,\mathrm{},i_\sigma }{}_{\stackrel{~}{W}_{i_0,\mathrm{},i_\sigma }}c_{i_0,\mathrm{},i_\sigma }^2e^\kappa 𝑑V<\mathrm{}.$$

Wir bilden $`b`$ und $`f`$ wie oben. Dann ist $`fC^{\sigma 1}(𝒰,_{q+1})`$ und $`\delta ^{\sigma 1}f=0`$, $`\overline{}f=0`$.

Wir können die Induktionsvorraussetzung auf $`f`$ und $`\kappa +\phi `$ anwenden, denn wegen (4) gilt

$`{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{W}_{i_1,\mathrm{},i_\sigma }}}f_{i_1,\mathrm{},i_\sigma }^2e^{\phi \kappa }𝑑V`$ $``$ $`{\displaystyle \underset{i_0,i_1,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{W}_{i_0,i_1,\mathrm{},i_\sigma }}}c_{i_0,\mathrm{},i_\sigma }^2e^\kappa 𝑑V`$
$`<`$ $`\mathrm{}`$
(4.1.8)

Es existiert also $`b^{}C^{\sigma 2}(𝒰,_{q+1})`$, $`\overline{}b^{}=0`$ mit $`\delta ^{\sigma 2}b^{}=f`$ und

$`{\displaystyle \underset{i_2,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{\stackrel{~}{W}}_{i_2,\mathrm{},i_\sigma }}}b_{i_2,\mathrm{},i_\sigma }^{}^2`$ $`e^{(\kappa +\phi )(\phi +\psi )(\sigma 1)}dV`$
$``$ $`C_{\sigma 1}{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{W}_{i_1,\mathrm{},i_\sigma }}}f_{i_1,\mathrm{},i_\sigma }^2e^{\kappa \phi }𝑑V,`$
(4.1.9)

wobei $`(\stackrel{~}{\stackrel{~}{W}}_i)_i`$ eine Verfeinerung zu $`(\stackrel{~}{W}_i)_i`$ ist mit $`W_i\stackrel{~}{\stackrel{~}{W}}_i`$ und $`\stackrel{~}{\stackrel{~}{W}}_i\stackrel{~}{W}_i`$ jeweils relativ kompakt für jedes $`iI`$.

Wir wenden Korollar 3 an auf jedes $`b_{i_2,\mathrm{},i_\sigma }^{}`$, $`U_{i_2,\mathrm{},i_\sigma }`$ und $`\beta =(\kappa +\phi )+(\phi +\psi )(\sigma 1)PSH(\mathrm{\Omega })`$, sowie $`W_{i_2,\mathrm{},i_\sigma }\stackrel{~}{\stackrel{~}{W}}_{i_2,\mathrm{},i_\sigma }U_{i_2,\mathrm{},i_\sigma }`$.

Es existiert also jeweils $`b_{i_2,\mathrm{},i_\sigma }^{\prime \prime }L_{(0,q)}^2(U_{i_2,\mathrm{},i_\sigma },loc)`$ mit

$`\overline{}b_{i_2,\mathrm{},i_\sigma }^{\prime \prime }`$ $`=`$ $`b_{i_2,\mathrm{},i_\sigma }^{}\text{ und}`$
$`{\displaystyle _{W_{i_2,\mathrm{},i_\sigma }}}b_{i_2,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V`$ $``$ $`{\displaystyle _{\stackrel{~}{\stackrel{~}{W}}_{i_2,\mathrm{},i_\sigma }}}b_{i_2,\mathrm{},i_\sigma }^{}^2e^\beta 𝑑V`$
(4.1.10)

Sei $`b^{\prime \prime }:=(b_{i_2,\mathrm{},i_\sigma }^{\prime \prime })_{i_2,\mathrm{},i_\sigma }C^{\sigma 2}(𝒰,_q)`$. Mit (4), (4) und (4) erhalten wir

$`{\displaystyle \underset{i_2,\mathrm{},i_\sigma }{}}{\displaystyle _{W_{i_2,\mathrm{},i_\sigma }}}b_{i_2,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V`$ $``$ $`{\displaystyle \underset{i_2,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{\stackrel{~}{W}}_{i_2,\mathrm{},i_\sigma }}}b_{i_2,\mathrm{},i_\sigma }^{}^2e^{(\kappa +\phi )(\phi +\psi )(\sigma 1)}𝑑V`$
$``$ $`C_{\sigma 1}{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{W}_{i_1,\mathrm{},i_\sigma }}}f_{i_1,\mathrm{},i_\sigma }^2e^{\phi \kappa }𝑑V`$
$``$ $`C_{\sigma 1}{\displaystyle \underset{i_0,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{W}_{i_0,\mathrm{},i_\sigma }}}c_{i_0,\mathrm{},i_\sigma }^2e^\kappa 𝑑V.`$
(4.1.11)

Wir setzen $`b^{\prime \prime \prime }:=\delta ^{\sigma 2}b^{\prime \prime }`$. Dann ist $`b^{\prime \prime \prime }C^{\sigma 1}(𝒰,_q)`$. Schließlich setzen wir $`c^{}:=bb^{\prime \prime \prime }C^{\sigma 1}(𝒰,_q)`$. Dann gilt

$`\delta ^{\sigma 1}c^{}=\delta ^{\sigma 1}b\delta ^{\sigma 1}b^{\prime \prime \prime }`$ $`=`$ $`\delta ^{\sigma 1}b\delta ^{\sigma 1}\delta ^{\sigma 2}b^{\prime \prime }`$
$`=`$ $`\delta ^{\sigma 1}b`$
$`=`$ $`c.`$
und

$`\overline{}c^{}=\overline{}b\overline{}b^{\prime \prime \prime }`$ $`=`$ $`f\overline{}\delta ^{\sigma 2}b^{\prime \prime }`$
$`=`$ $`f\delta ^{\sigma 2}\overline{}b^{\prime \prime }`$
$`=`$ $`f\delta ^{\sigma 2}b^{}`$
$`=`$ $`ff`$
$`=`$ $`0`$
Es gilt $`\beta +\psi =\kappa +(\phi +\psi )\sigma `$. Daher erhalten wir aus (4) und (4):

$`{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle _{W_{i_1,\mathrm{},i_\sigma }}}`$ $`c_{i_1,\mathrm{},i_\sigma }^{}^2e^{\kappa (\phi +\psi )\sigma }dV`$
$``$ $`2{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle \underset{i}{}}{\displaystyle _{W_iW_{i_1,\mathrm{},i_\sigma }}}c_{i,i_1,\mathrm{},i_\sigma }^2e^\kappa 𝑑V`$
$`+`$ $`2{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle _{W_{i_1,\mathrm{},i_\sigma }}}{\displaystyle \underset{j=1}{\overset{\sigma }{}}}(1)^{j1}b_{i_1,\mathrm{},\widehat{i}_j,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V`$
$``$ $`2{\displaystyle \underset{i_0,\mathrm{},i_\sigma }{}}{\displaystyle _{W_{i_0,\mathrm{},i_\sigma }}}c_{i_0,\mathrm{},i_\sigma }^2e^\kappa 𝑑V`$
$`+`$ $`2{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle \underset{j=1}{\overset{\sigma }{}}}{\displaystyle _{W_{i_1,\mathrm{},i_\sigma }}}b_{i_1,\mathrm{},\widehat{i}_j,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V`$
Es gilt für den letzten Summanden

$`{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle \underset{j=1}{\overset{\sigma }{}}}{\displaystyle _{W_{i_1,\mathrm{},i_\sigma }}}`$ $`b_{i_1,\mathrm{},\widehat{i}_j,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }dV`$
$`=`$ $`{\displaystyle \underset{i_2,\mathrm{},i_\sigma }{}}{\displaystyle \underset{i}{}}{\displaystyle _{W_iW_{i_2,\mathrm{},i_\sigma }}}b_{i_2,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V`$
$`+`$ $`{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle \underset{j=2}{\overset{\sigma }{}}}{\displaystyle _{W_{i_1,\mathrm{},i_\sigma }}}b_{i_1,\mathrm{},\widehat{i}_j,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V`$
$``$ $`{\displaystyle \underset{i_2,\mathrm{},i_\sigma }{}}M{\displaystyle _{W_{i_2,\mathrm{},i_\sigma }}}b_{i_2,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V`$
$`+`$ $`{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle \underset{j=2}{\overset{\sigma }{}}}{\displaystyle _{W_{i_1,\mathrm{},i_\sigma }}}b_{i_1,\mathrm{},\widehat{i}_j,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V,`$
denn $`W_{i_2,\mathrm{},i_\sigma }`$ wird von höchstens $`M`$ Mengen aus $`𝒲`$ geschnitten. Wenn wir diese Abschätzung für $`j=2,\mathrm{},\sigma `$ iterativ fortsetzen erhalten wir

$`{\displaystyle \underset{i_1,\mathrm{},i_\sigma }{}}{\displaystyle \underset{j=1}{\overset{\sigma }{}}}{\displaystyle _{W_{i_1,\mathrm{},i_\sigma }}}`$ $`b_{i_1,\mathrm{},\widehat{i}_j,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }dV`$
$``$ $`\sigma M{\displaystyle \underset{i_2,\mathrm{},i_\sigma }{}}{\displaystyle _{W_{i_2,\mathrm{},i_\sigma }}}b_{i_2,\mathrm{},i_\sigma }^{\prime \prime }^2e^{\beta \psi }𝑑V`$
$``$ $`\sigma MC_{\sigma 1}{\displaystyle \underset{i_0,\mathrm{},i_\sigma }{}}{\displaystyle _{\stackrel{~}{W}_{i_0,\mathrm{},i_\sigma }}}c_{i_0,\mathrm{},i_\sigma }^2e^\kappa 𝑑V.`$
Wir haben also mit $`C_\sigma :=2(1+\sigma ^2MC_{\sigma 1})`$ den Induktionsschritt gezeigt $`\mathrm{}`$

Bemerkung: Der Beweis zu Proposition 4 ist auch mit $`W_i=U_i`$ für jedes $`iI`$ durchzuführen. Anstelle von Korollar 3 ist dann Korollar 3 anzuwenden. Daher gilt Proposition 4 sinngemäß auch für $`W_i=\stackrel{~}{W}_i=U_i`$ für jedes $`iI`$.

Wir schöpfen jedes $`U_i`$, $`iI`$ durch pseudokonvexe Gebiete $`A_{i,n}`$, $`n`$ aus, für die für jedes $`n`$ jeweils $`A_{i,n}A_{i,n+1}`$ relativ kompakt gilt. Ohne Einschränkung sei $`_{iI}A_{i\mathrm{,1}}=\mathrm{\Omega }`$. Für $`(i_0,\mathrm{},i_\sigma )I^{\sigma +1}`$ sei $`A_{i_0,\mathrm{},i_\sigma ,n}:=A_{i_0,n}\mathrm{}A_{i_\sigma ,n}`$.

Für eine Kokette der Länge $`\sigma `$, die aus Schnitten über den Überdeckungsmengen aus der Überdeckung $`𝒰`$ besteht mit Werten in der Garbe von Keimen von $`L^2`$-Formen sei für $`\phi PSH(\mathrm{\Omega })`$

$$c_{\phi ,n}^2:=\underset{i_0,\mathrm{},i_\sigma }{}_{A_{i_0,\mathrm{},i_\sigma ,n}}c_{i_0,\mathrm{},i_\sigma }^2e^\phi 𝑑V$$

bzw.

$$c_\phi ^2:=\underset{i_0,\mathrm{},i_\sigma }{}_{U_{i_0,\mathrm{},i_\sigma }}c_{i_0,\mathrm{},i_\sigma }^2e^\phi 𝑑V$$

eingeführt. Mit $`C_n^\sigma (𝒰,_q,\phi )`$ bzw. $`C^\sigma (𝒰,_q,\phi )`$ bezeichnen wir die Koketten aus $`C^\sigma (𝒰,_q)`$, für die

$$c_{\phi ,n}^2<\mathrm{}\text{ bzw. }c_\phi ^2<\mathrm{}\text{ gilt.}$$

Proposition 4 können wir also auch wie folgt formulieren:

Satz 4.2. :
Es gibt eine plurisubharmonische Funktion $`\psi `$, so daß für jedes $`n`$, eine beliebige plurisubharmonische Funktion $`\kappa `$ und $`cC_{n+1}^\sigma (𝒰,_q,\kappa )`$ mit $`\delta c=0`$ und $`\overline{}c=0`$ ein $`c^{}C_n^{\sigma 1}(𝒰,_q)`$ mit $`\delta c^{}=c`$ und $`\overline{}c^{}=0`$ existiert, so daß

$$c^{}_{\kappa +\psi ,n}^2c_{\kappa ,n+1}^2$$

erfüllt ist.

Ein wichtiger Spezialfall von Satz 4 ist $`q=0`$, denn die $`\overline{}`$-geschlossenen Schnitte über $`\mathrm{\Omega }`$ mit Werten in $`_0`$ sind die holomorphen Funktionen auf $`\mathrm{\Omega }`$.

## 5 Konstruktion einer exakten Sequenz

Es sei $`\mathrm{\Omega }`$ eine Steinsche Mannigfaltigkeit und $`U\mathrm{\Omega }`$ offen holomorph konvex. Sei $``$ eine kohärente analytische Garbe auf $`\mathrm{\Omega }`$. Ist $`U\mathrm{\Omega }`$ relativ kompakt, dann kann auf den Schnitten $`\mathrm{\Gamma }(U,)`$ in der folgenden Weise eine Fréchetraumtopologie eingeführt werden:

Nach Theorem A von Cartan gibt es $`F_1,\mathrm{},F_q\mathrm{\Gamma }(\mathrm{\Omega },)`$, die $``$ in $`U`$ erzeugen. In der Umgebung eines jeden Kompaktums $`K_p`$, $`p`$ einer holomorph konvexen kompakten Ausschöpfung $`(K_p)_p`$ von $`U`$ wird $``$ von $`F_1,\mathrm{},F_q`$ erzeugt, d.h. für jeden Schnitt $`x`$ von einer Umgebung von $`K_p`$ in $``$ gibt es auf einer Umgebung von $`K_p`$ holomorphe Funktionen $`c_1,\mathrm{},c_q`$, so daß in einer Umgebung von $`K_p`$ die Darstellung

$$x=\underset{j=1}{\overset{q}{}}c_jF_j$$

existiert.

Es ist für jedes $`pN`$

$`x_p:=\underset{x=_jc_jF_j}{inf}{\displaystyle \underset{j=1}{\overset{q}{}}}\underset{K_p}{sup}c_j`$
(5.0.1)

eine Halbnorm und $`(\mathrm{\Gamma }(U,),(_p)_p)`$ ein Fréchetraum (siehe z.B. ,Cor. 7.2.6 ).

Der Übergang zu einem anderen Erzeugendensystem liefert ein äquivalentes Halbnormensystem. Wir bezeichnen mit $`H_U()`$ den Raum $`\mathrm{\Gamma }(U,)`$ zusammen mit erzeugenden Schnitten $`F_1,\mathrm{},F_q\mathrm{\Gamma }(\mathrm{\Omega },)`$ und einer holomorph konvexen kompakten Ausschöpfung von $`U`$. Auf dem Fréchetraum $`H_U()`$ ist damit eine Fréchetraumgradierung festgelegt.

$`H_U(𝒪)`$ fällt mit dem Fréchetraum der holomorphen Funktionen in $`U`$ (mit dem durch Suprema auf der kompakten Ausschöpfung gebildeten Normensystem) zusammen, falls als Erzeugendensystem die konstante Funktion $`1`$ gewählt wird. Im folgenden werden wir $`H_U(𝒪)`$ stets in dieser Weise auffassen, falls nichts anderes vermerkt ist.

Sei nun $`𝒪^r`$ eine lokal endlich erzeugte Untergarbe, dann ist $``$ kohärent nach dem Satz von Oka (siehe z.B. ,Theorem 7.1.5). Sei ferner $`F_1,\mathrm{},F_q`$ ein Erzeugendensystem von $``$ in $`U`$ und $`(K_p)_p`$ eine holomorph konvexe kompakte Ausschöpfung. Wir wollen nun die entsprechende Gradierung $`(_p)_p`$ auf $`H_U()`$ mit den Suprema auf den $`K_p`$ vergleichen. Für $`f\mathrm{\Gamma }(U,𝒪^r)`$ sei $`[f]_j`$ die $`j`$-te Komponente von $`f`$. $`\mathrm{\Gamma }(U,)`$ ist als Teilraum des Raumes der $`r`$-tupel holomorpher Funktionen in $`U`$ in der kompakt gleichmäßigen Topologie abgeschlossen (siehe , Theorem 7.2.12), also induzieren die Supremumsnormen

$$x_p:=\underset{j=1}{\overset{r}{}}\underset{K_p}{sup}[x]_j,x\mathrm{\Gamma }(U,𝒪^r)$$

eine Fréchetraumgradierung auf $`\mathrm{\Gamma }(U,)`$. Es gilt das folgende

Lemma 5.1. :
Für jedes $`p`$ gilt

1. $`x_pC_px_p`$ und
2. $`x_pC_p^{}x_{p+1}`$

für jedes $`x\mathrm{\Gamma }(U,)`$ mit unabhängigen Konstanten $`C_p`$ und $`C_p^{}`$.

Beweis:

Sei $`g\mathrm{\Gamma }(U,)`$, $`g=_{i=1}^qd_jF_j`$, dann ist

$`g_p`$ $`=`$ $`{\displaystyle \underset{j=1}{\overset{r}{}}}\underset{K_p}{sup}[g]_j`$
$`=`$ $`{\displaystyle \underset{j=1}{\overset{r}{}}}\underset{K_p}{sup}[{\displaystyle \underset{i=1}{\overset{q}{}}}d_iF_i]_j`$
$``$ $`{\displaystyle \underset{j=1}{\overset{r}{}}}{\displaystyle \underset{i=1}{\overset{q}{}}}\underset{K_p}{sup}d_j\underset{K_p}{sup}[F_i]_j`$
$``$ $`C_p{\displaystyle \underset{j=1}{\overset{r}{}}}\underset{K_p}{sup}d_j`$
Durch Übergang zum Infimum über alle Darstellungen $`g=_{i=1}^qd_iF_i`$ erhält man $`g_pC_pg_p`$.

Sei $`p`$ fest, dann wähle eine holomorph konvexe offene Menge $`U^{}`$ und $`K_{p+1}U^{}K_p`$. Sei $`(A_n)_n`$ eine Ausschöpfung von $`U^{}`$ mit holomorph konvexen kompakten Mengen mit $`A_1=K_p`$. Die Abbildung

$`\phi :H_U^{}(𝒪^q)`$ $``$ $`\mathrm{\Gamma }(U^{},)`$
$`c_1,\mathrm{},c_q`$ $``$ $`{\displaystyle \underset{j=1}{\overset{q}{}}}c_jF_j`$
(5.1.1)

ist stetig linear zwischen Frécheträumen, surjektiv und offen (Theorem 7.2.12 ).

Da $`\phi `$ offen ist, gibt es zu jedem $`n`$ ein $`m`$ und $`C_{n,m}`$, so daß zu jedem $`g\mathrm{\Gamma }(U^{},)`$ ein Element $`c=(c_1,\mathrm{},c_q)H_U^{}(𝒪^q)`$ existiert mit $`g=_{j=1}^qc_jF_j`$ und

$$\underset{j=1}{\overset{q}{}}\underset{A_n}{sup}c_jC_{n,m}\underset{i=1}{\overset{r}{}}\underset{A_m}{sup}[g]_i.$$

Hieraus folgt

$$\underset{g=\underset{j=1}{\overset{q}{}}c_jF_j}{inf}\underset{j=1}{\overset{q}{}}\underset{K_p}{sup}c_jC\underset{i=1}{\overset{r}{}}\underset{K_{p+1}}{sup}[g]_j,$$

für $`g\mathrm{\Gamma }(U,)`$. Also gilt $`g_pC_p^{}g_{p+1}`$ $`\mathrm{}`$

Wir wollen für Abbildungen wie in (5) Urbildabschätzungen zeigen, falls der Bildraum die Gradierung (5) trägt:

Lemma 5.2. :
Sei $`U`$ eine Steinsche Mannigfaltigkeit und sei $`(K_p)_p`$ eine Ausschöpfung von $`U`$ mit holomorph konvexen kompakten Mengen. Seien ferner $`F_1,\mathrm{},F_q\mathrm{\Gamma }(U,𝒪^r)`$ und $`𝒪^r`$ die von $`F_1,\mathrm{},F_q`$ erzeugte Untergarbe. Dann ist

$$\phi :H_U(𝒪^q)H_U(),c_1,\mathrm{},c_q\underset{j=1}{\overset{q}{}}c_jF_j$$

eine stetige, lineare und surjektive Abbildung und es gilt für jedes $`\theta >1`$: Zu jedem $`fH_U()`$ gibt es ein $`gH_U(𝒪^q)`$ mit $`\phi (g)=f`$ und $`g_p\theta f_p`$.

Beweis:

Nach Theorem 7.2.12 aus  ist $`\phi `$, aufgefaßt als Abbildung in $`\mathrm{\Gamma }(U,)`$, linear, stetig und surjektiv, wobei $`\mathrm{\Gamma }(U,)`$ die kompakt gleichmäßige Topologie von $`H_U(𝒪^q)`$ trägt. Wegen Lemma 5 ist daher $`\phi `$, aufgefaßt als Abbildung in $`H_U()`$ ebenfalls stetig.

Sei $`\theta >1`$. Sei nun $`fH_U()`$ mit $`f_p1`$. Dann gibt es nach der Definition von $`f_p`$ in einer Umgebung von $`K_p`$ holomorphe Funktionen $`c=c_1,\mathrm{},c_q`$, so daß dort $`f=_{j=1}^qc_jF_j`$ gilt und $`_{j=1}^qsup_{K_p}c_j<\sqrt{\theta }f_p\sqrt{\theta }`$.

Sei $`:=(F_1,\mathrm{},F_q)`$ die Relationsgarbe von $`F_1,\mathrm{},F_q`$, d.h. $`\mathrm{\Gamma }(U,)`$ ist der Kern von $`\phi `$. $``$ ist nach dem Satz von Oka kohärent in $`U`$. Ist $`d=d_1,\mathrm{},d_qH_U(𝒪^q)`$ und $`_{j=1}^qd_jF_j=f`$, dann ist $`cd`$ ein Schnitt in die Relationsgarbe über einer Umgebung von $`K_p`$.

Wir können eine Folge $`(h_n)_n`$ in $`\mathrm{\Gamma }(U,)`$ finden, so daß $`h_n(cd)_p0`$ für $`n\mathrm{}`$ (siehe , Theorem 7.2.7). Nach Lemma 5 folgt

$$\underset{j=1}{\overset{q}{}}\underset{K_p}{sup}[h_n]_j(c_jd_j)0\text{ für }n\mathrm{}$$

Zu jedem $`\epsilon >0`$ können wir also $`h=h_1,\mathrm{},h_q\mathrm{\Gamma }(U,)`$ finden, so daß $`_{j=1}^qsup_{K_p}(h_j+d_j)c_j<\epsilon `$. Also gilt $`h+d\mathrm{\Gamma }(U,𝒪^q)`$, $`\phi (h+d)=_{j=1}^q(h_j+d_j)F_j=_{j=1}^qd_jF_j=f`$ und $`_{j=1}^qsup_{K_p}h_j+d_j<\sqrt{\theta }+\epsilon `$. Mit $`\epsilon :=\theta \sqrt{\theta }`$ folgt daher $`h+d_p\theta `$. Hieraus folgt die Behauptung $`\mathrm{}`$

Sei $``$ wieder allgemein eine kohärente analytische Garbe über $`\mathrm{\Omega }`$ und $`F_1,\mathrm{},F_q\mathrm{\Gamma }(\mathrm{\Omega },)`$ erzeugende Schnitte von $``$ über $`U\mathrm{\Omega }`$ offen, holomorph konvex und relativ kompakt. Es gilt das folgende

Lemma 5.3. :
Es gibt eine exakte Sequenz

$$\mathrm{}H_U(𝒪^{r_3})\stackrel{p_2}{}H_U(𝒪^{r_2})\stackrel{p_1}{}H_U(𝒪^{r_1})\stackrel{p_0}{}H_U()0$$

Ferner gilt für $`i1`$: Es gibt ein $`C>0`$, so daß $`B_{p+1}^i\text{Kern }p_{i1}p_i(CB_p^{i+1})`$, wobei $`B_p^i:=\{fH_U(𝒪^{r_i}):f_p1\}`$, $`i1`$ und $`B_p^0:=\{fH_U():f_p1\}`$.

Für $`i=0`$ gilt sogar $`B_p^0p_0(\theta B_p^1)`$ für jedes $`\theta >1`$.

Beweis: 1) $`p_0:H_U(𝒪^q)H_U()`$, $`c_1,\mathrm{},c_q_{j=1}^qc_jF_j`$ ist eine lineare, stetige und surjektive Abbildung nach Lemma 5. Setze also $`r_1=q`$. Es folgt sofort $`B_p^0p_0(\theta B_p^1)`$ für jedes $`\theta >1`$.

2) Sei $``$ die Relationsgarbe von $`F_1,\mathrm{},F_q`$. Es gibt Schnitte $`G_1,\mathrm{},G_{r_2}\mathrm{\Gamma }(\mathrm{\Omega },)`$, die $``$ über $`U`$ erzeugen. Wie unter 1) ist $`\stackrel{~}{p}_1:H_U(𝒪^{r_2})`$ $`H_U()`$, $`c_1,\mathrm{},c_{r_2}_{j=1}^{r_2}c_jG_j`$ linear, stetig und surjektiv und es gilt $`\{fH_U():f_p1\}\stackrel{~}{p}_1(\theta B_p^2)`$ für $`\theta >1`$.

Wenn wir mit $`p_1`$ die Abbildung $`\stackrel{~}{p}_1`$, aufgefaßt als Abbildung in $`H_U(𝒪^{r_1})`$, bezeichnen, dann gibt es nach Lemma 5, jetzt angewandt auf $``$, ein $`C^{}>0`$, so daß

$$\{fH_U(𝒪^{r_1}):p_0f=0\text{ und }f_{p+1}\frac{1}{C^{}}\}\{fH_U():f_p1\}\stackrel{~}{p}_1(\theta B_p^2)=p_1(\theta B_p^2)$$

Mit $`C:=C^{}\theta `$ folgt die Behauptung für $`i=1`$, denn $`B_{p+1}^1=C^{}\{fH_U(𝒪^{r_1}):f_{p+1}\frac{1}{C^{}}\}`$.

Durch Iteration des zweiten Schrittes mit den jeweiligen Relationsgarben folgt die Behauptung für alle $`i`$ $`\mathrm{}`$

Wir betrachten für $`U\mathrm{\Omega }`$ offen holomorph konvex den Raum $`l_1(H_U()):=\{x=(x_j)_jH_U()^{},_{j=1}^{\mathrm{}}x_j_p<\mathrm{}p\}`$. Dies ist wiederum ein Fréchetraum mit dem Halbnormensystem

$$(x_j)_j_p:=\underset{j=1}{\overset{\mathrm{}}{}}x_j_p,p,$$

wobei $`_p`$ die $`p`$-te Halbnorm auf $`H_U()`$ ist bezüglich einer holomorph konvexen kompakten Ausschöpfung $`(K_p)_p`$ von $`U`$.

Wir wollen eine exakte Sequenz

$$\mathrm{}l_1(H_U(𝒪))\stackrel{p_2^U}{}l_1(H_U(𝒪))\stackrel{p_1^U}{}l_1(H_U(𝒪))\stackrel{p_0^U}{}H_U()0$$

mit stetig linearen Abbildungen konstruieren. Hierbei soll für jedes $`U^{}U\mathrm{\Omega }`$ jeweils

$$p_i^U^{}_{l_1\left(H_U\left(𝒪\right)\right)}=p_i^U\text{ für }i0$$

gelten. Hierzu benötigen wir zunächst die folgende

Proposition 5.4. :
Sei $``$ ein kohärente analytische Garbe auf einer Steinschen Mannigfaltigkeit $`\mathrm{\Omega }`$, $`(K_t)_{t0}`$ eine holomorph konvexe kompakte Ausschöpfung von $`\mathrm{\Omega }`$. Sei $`(f_j)`$ eine Folge in $`_lH_\mathrm{\Omega }()`$.

Sei $`p_U:l_1(H_U(𝒪))l_1(H_U())`$, $`(\lambda _j)_j_j\lambda _jf_j`$ für jedes $`U\mathrm{\Omega }`$ offen, holomorph konvex, eine wohldefinierte stetige lineare Abbildung.

Es gebe Folgen natürlicher Zahlen $`(a_t)_{t0}`$, $`(b_t)_{t0}`$ mit

$$a_tb_ta_{t+1},t0\text{ und }b_t<b_{t+1},t0,$$

so daß auf einer Umgebung einer Stufe $`K_s`$ es Gleichungen

$$f_{b_t+i}=\underset{j=1}{\overset{b_t}{}}c_{t,i,j}f_j$$

für alle $`ts`$ und $`b_t+ia_{t+1}`$ gibt mit Funktionen $`c_{t,i,j}`$, die auf einer Umgebung von $`K_s`$ holomorph sind und

$`\underset{\genfrac{}{}{0pt}{}{ts}{1ia_{t+1}b_t}}{sup}{\displaystyle \underset{j=1}{\overset{b_t}{}}}\underset{K_s}{sup}c_{t,i,j}<1`$
(5.4.1)

erfüllen.

Ferner gelte für eine Folge $`\lambda =(\lambda _j)_j\text{Kern }p_U`$, $`UK_s`$, $`r`$ beliebig, daß aus $`\lambda _{b_r+i}=0`$ für alle $`rts`$, $`i=1,\mathrm{},a_{r+1}b_r`$ schon

$`\lambda _j=0\text{ für alle }ja_t+1\text{ folgt.}`$
(5.4.2)

Sind die vorstehenden Voraussetzungen erfüllt, dann gibt es eine Folge $`(g_j)_jl_1(H_\mathrm{\Omega }(𝒪))`$, so daß für ein $`U\mathrm{\Omega }`$ offen, holomorph konvex die Abbildung

$`q_U:l_1(H_U(𝒪))`$ $``$ $`l_1(H_U(𝒪))`$
$`\lambda =(\lambda _j)_j`$ $``$ $`{\displaystyle \underset{j}{}}\lambda _jg_j`$
stetig linear ist und $`\text{Bild}q_U=\text{Kern }p_U`$ ist. Ferner gelten für $`(g_j)_j`$ die Eigenschaften (5) und (5) entsprechend.

Beweis:

Für jedes offene holomorph konvexe $`U\mathrm{\Omega }`$ sei eine holomorph konvexe kompakte Ausschöpfung $`(A_p)_p`$ fest gewählt. Wir bezeichnen mit $`_p`$, $`p`$ die $`p`$-te Halbnorm des Fréchetraumes $`l_1(H_U(𝒪))`$.

Sei $`UK_s`$ offen holomorph konvex. Definiere für $`ts+1`$ eine Abbildung $`P_t^{t1}:l_1(H_U(𝒪))l_1(H_U(𝒪))`$, $`\lambda :=(\lambda _l)_l\mu :=(\mu _l)_l`$ durch

$$\mu _l:=\{\begin{array}{cc}\lambda _l+_{i=1}^{a_tb_{t1}}\lambda _{b_{t1}+i}c_{t1,i,l};\hfill & lb_{t1}\hfill \\ 0;\hfill & b_{t1}+1la_t\hfill \\ \lambda _l;\hfill & \text{sonst}\hfill \end{array}.$$

Eigenschaften von $`P_t^{t1}`$:

1. $`P_t^{t1}(\text{Kern }p_U)\text{Kern }p_U`$.
2. $`P_t^{t1}P_t^{t1}=P_t^{t1}`$.
3. $`P_t^{t1}`$ ist stetig mit $`P_t^{t1}\lambda _p\lambda _p`$, $`p`$.

ad 1): Sei $`\lambda =(\lambda _l)_l\text{Kern }p_U`$, das heißt $`_{l=1}^{\mathrm{}}\lambda _lf_l=0`$. Es ist

$`{\displaystyle \underset{l=1}{\overset{a_t}{}}}\lambda _lf_l`$ $`=`$ $`{\displaystyle \underset{l=1}{\overset{b_{t1}}{}}}\lambda _lf_l+{\displaystyle \underset{i=1}{\overset{a_tb_{t1}}{}}}\lambda _{b_{t1}+i}f_{b_{t1}+i}`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{b_{t1}}{}}}\lambda _lf_l+{\displaystyle \underset{i=1}{\overset{a_tb_{t1}}{}}}\lambda _{b_{t1}+i}\left({\displaystyle \underset{l=1}{\overset{b_{t1}}{}}}c_{t1,i,l}f_l\right)`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{b_{t1}}{}}}\left(\lambda _l+{\displaystyle \underset{i=1}{\overset{a_tb_{t1}}{}}}\lambda _{b_{t1}+i}c_{t1,i,l}\right)f_l`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{b_{t1}}{}}}\mu _lf_l`$
Andererseits ist

$$\underset{l=1}{\overset{a_t}{}}\lambda _lf_l=\underset{l=a_t+1}{\overset{\mathrm{}}{}}\lambda _lf_l=\underset{l=a_t+1}{\overset{\mathrm{}}{}}\mu _lf_l=\underset{l=b_{t1}+1}{\overset{\mathrm{}}{}}\mu _lf_l,$$

also ist $`P_t^{t1}(\lambda )\text{Kern }p_U`$.

Die 2. Aussage ist klar.

ad 3):

$`P_t^{t1}(\lambda )_p`$ $`=`$ $`{\displaystyle \underset{l=1}{\overset{b_{t1}}{}}}\underset{A_p}{sup}\lambda _l+{\displaystyle \underset{i=1}{\overset{a_tb_{t1}}{}}}\lambda _{b_{t1}+i}c_{t1,i,l}+{\displaystyle \underset{l=a_t+1}{\overset{\mathrm{}}{}}}\underset{A_p}{sup}\lambda _l`$
$``$ $`{\displaystyle \underset{l=1}{\overset{b_{t1}}{}}}\underset{A_p}{sup}\lambda _l+{\displaystyle \underset{l=b_{t1}+1}{\overset{a_t}{}}}\underset{A_p}{sup}\lambda _l+{\displaystyle \underset{l=a_t+1}{\overset{\mathrm{}}{}}}\underset{A_p}{sup}\lambda _l`$
$`=`$ $`\lambda _p,`$
da $`sup_{A_p}c_{t1,i,l}<1`$ für $`ts+1`$, $`i=1,\mathrm{},a_tb_{t1}`$, $`l=1,\mathrm{},b_{t1}`$ .

Definiere $`C_i^tl_1(H_U(𝒪))`$ für $`i=1,\mathrm{},a_{t+1}b_t`$, $`ts+1`$, durch die Komponenten

$$\left[C_i^t\right]_l:=\{\begin{array}{cc}c_{t,i,l};\hfill & l=1,\mathrm{},b_t\hfill \\ 1;\hfill & l=b_t+i\hfill \\ 0;\hfill & \text{sonst}\hfill \end{array}$$

Bemerkung: Es gilt

$$\underset{l=1}{\overset{b_{t+1}}{}}[C_i^t]_lf_l=0$$

auf einer Umgebung von $`K_t`$, denn nach Voraussetzung gilt:

$$\underset{l=1}{\overset{b_{t+1}}{}}[C_i^t]_lf_l=\underset{l=1}{\overset{b_t}{}}c_{t,i,l}f_l+(1)f_{b_t+i}=0.$$

Soweit die Bemerkung.

Es gilt

$$\text{Kern }P_t^{t1}=\{\underset{i=1}{\overset{a_tb_{t1}}{}}\alpha _iC_i^{t1}:\alpha _iH_U(𝒪)\},$$

denn ist $`\alpha H_U(𝒪)`$, dann gilt für $`i=1,\mathrm{},a_tb_{t1}`$

$`\left[P_t^{t1}(\alpha C_i^{t1})\right]_l`$ $`=`$ $`\{\begin{array}{cc}\alpha c_{t1,i,l}+\alpha (c_{t1,i,l});\hfill & lb_{t1}\hfill \\ 0;\hfill & \text{sonst}\hfill \end{array}`$
$`=`$ $`0.`$
Sei andererseits $`P_t^{t1}\lambda =0`$, dann folgt $`\lambda _l=0`$ für $`la_t+1`$. Für $`lb_{t1}`$ gilt

$`\lambda _l`$ $`=`$ $`{\displaystyle \underset{i=1}{\overset{a_tb_{t1}}{}}}\lambda _{b_{t1}+i}c_{t1,i,l}`$
$`=`$ $`{\displaystyle \underset{i=1}{\overset{a_tb_{t1}}{}}}(\lambda _{b_{t1}+i})[C_i^{t1}]_l,`$
und da für $`l=b_{t1}+i`$, $`i=1,\mathrm{},a_tb_{t1}`$

$$\lambda _{b_{t1}+i}=(\lambda _{b_{t1}+i})[C_i^{t1}]_l\text{ ist},$$

folgt

$$\lambda =(\lambda _1,\mathrm{},\lambda _{a_t})=\underset{i=1}{\overset{a_tb_{t1}}{}}(\lambda _{b_{t1}+i})C_i^{t1}.$$

Setze $`Q_{t+n}^t:=P_t^{t1}\mathrm{}P_{t+n}^{t+n1}`$. Ist $`\lambda l_1(H_U(𝒪))`$ fest, dann ist $`(Q_{t+n}^t\lambda )_n`$ Cauchyfolge in $`l_1(H_U(𝒪))`$:

Sei dazu $`x_n:=Q_{t+n}^t\lambda `$, dann ist für $`p`$

$`x_{n+1}x_n_p`$ $`=`$ $`P_t^{t1}\mathrm{}P_{t+n}^{t+n1}P_{t+n+1}^{t+n}\lambda P_t^{t1}\mathrm{}P_{t+n}^{t+n1}\lambda _p`$
$``$ $`P_{t+n+1}^{t+n}\lambda \lambda _p`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{b_{t+n}}{}}}\underset{K_p}{sup}\lambda _l+{\displaystyle \underset{i=1}{\overset{a_{t+n+1}b_{t+n}}{}}}\lambda _{b_{t+n}+i}c_{t+n,i,l}\lambda _l+{\displaystyle \underset{b_{t+n}+1}{\overset{a_{t+n+1}}{}}}\underset{K_p}{sup}\lambda _l`$
$``$ $`{\displaystyle \underset{i=1}{\overset{a_{t+n+1}b_{t+n}}{}}}\underset{K_p}{sup}\lambda _{b_{t+n}+i}{\displaystyle \underset{l=1}{\overset{b_{t+n}}{}}}\underset{K_p}{sup}c_{t+n,i,l}+{\displaystyle \underset{b_{t+n}+1}{\overset{a_{t+n+1}}{}}}\underset{K_p}{sup}\lambda _l`$
$`<`$ $`2{\displaystyle \underset{b_{t+n}+1}{\overset{a_{t+n+1}}{}}}\underset{K_p}{sup}\lambda _l.`$
Es folgt

$$\underset{n=1}{\overset{\mathrm{}}{}}x_{n+1}x_n_p2\lambda _p.$$

Wir setzen also $`Q_t(\lambda ):=lim_nQ_{t+n}^t(\lambda )`$ für $`\lambda l_1(H_U(𝒪))`$. Dann ist $`Q_t`$ eine lineare Abbildung $`Q_t:l_1(H_U(𝒪))l_1(H_U(𝒪))`$. Es sei

$$F_t:=\{\lambda l_1(H_U(𝒪)):\lambda _l=0\text{ für }lb_{t1}+1\}$$

Eigenschaften von $`Q_t`$:

1. $`Q_t`$ ist stetig und $`Q_t(\lambda )_p\lambda _p`$ für $`\lambda l_1(H_U(𝒪))`$, $`p`$.
2. $`Q_r(\lambda )=\lambda `$ für $`\lambda F_t`$, $`rt`$.
3. $`Q_t(\lambda )\lambda `$ für $`t\mathrm{}`$ in $`l_1(H_U(𝒪))`$.
4. $`Q_t(\text{Kern }p_U)\text{Kern }p_U`$.
5. $`Q_t(\lambda )F_t`$ für alle $`\lambda \text{Kern }p_U`$.

1. $`Q_t\lambda _p=lim_nQ_{t+n}^t(\lambda )_p\lambda _p`$.
2. $`P_t^{t1}\lambda =\lambda `$, falls $`\lambda _l=0`$ für $`lb_{t1}+1`$. Daher ist $`Q_{r+n}^r\lambda =\lambda `$, falls $`\lambda F_t`$, $`rt`$ und $`n_0`$ .
3. Sei $`p`$ und $`\epsilon >0`$, dann gibt es ein $`t`$, so daß sich $`\lambda `$ für $`rt`$ schreiben läßt als $`\lambda =\lambda _1+\lambda _2`$ mit $`\lambda _1F_r`$ und $`\lambda _2_p<\frac{\epsilon }{2}`$.

Es folgt für jedes $`rt`$

$`Q_r(\lambda )\lambda _p`$ $`=`$ $`Q_r(\lambda _1+\lambda _2)\lambda _p`$
$`=`$ $`\lambda _1+Q_r(\lambda _2)\lambda _p`$
$`=`$ $`Q_r(\lambda _2)\lambda _2_p`$
$``$ $`\lambda _2_p+\lambda _2_p`$
$`<`$ $`\epsilon .`$
Bemerkung: Da $`F:=\{\lambda l_1(H_U(𝒪)):\lambda F_r\text{ für ein }r\}`$ eine in $`l_1(H_U(𝒪))`$ totale Menge ist, folgt 3) direkt aus dem Satz von Banach-Steinhaus \[Köthe Bd 2, S.142\].
4. Ist $`\lambda \text{Kern }p_U`$, dann ist $`Q_{t+n}^t(\lambda )\text{Kern }p_U`$. Da $`\text{Kern }p_u`$ in $`l_1(H_U(𝒪))`$ abgeschlossen ist, folgt $`Q_t(\lambda )\text{Kern }p_U`$.
5. Sei $`rt`$, $`t+n>r`$, $`\mu ^n:=Q_{t+n}^t\lambda `$, $`\lambda \text{Kern }p_U`$ . Setze

$$\mu ^{}:=P_{r+1}^r(P_{r+2}^{r+1}\mathrm{}P_{t+n}^{t+n1}\lambda ),$$

dann ist $`[\mu ^{}]_{b_r+i}=0`$ für $`i=1,\mathrm{},a_{r+1}b_r`$. Andererseits ist $`\mu ^n=P_t^{t1}\mathrm{}P_r^{r1}\mu ^{}`$ und damit $`\mu _l^n=\mu _l^{}`$ für $`la_r+1`$, also folgt $`\mu _{b_r+i}^n=0`$ für $`i=1,\mathrm{},a_{r+1}b_r`$.

Sei $`\mu :=Q_t(\lambda )=lim_nQ_{t+n}^t(\lambda )=lim_n\mu ^n`$, dann gilt $`\mu _l^n\mu _l`$ für $`n\mathrm{}`$ in $`H_U(𝒪)`$, also ist $`\mu _{b_r+i}=0`$ für $`rt`$, $`i=1,\mathrm{},a_{r+1}b_r`$. Nach Voraussetzung (5) gilt dann aber bereits $`\mu _l=0`$ für $`la_t+1`$, daher ist $`\mu F_t`$.

Wir behalten die Situation $`UK_s`$ bei und setzen für $`\lambda \text{Kern }p_U`$

$$x_t:=\{\begin{array}{cc}Q_s(\lambda );\hfill & t=s1\hfill \\ Q_{t+1}(\lambda )Q_t(\lambda );\hfill & ts\hfill \end{array}.$$

Es gilt $`\underset{t=s1}{\overset{\mathrm{}}{}}x_t=\lambda `$ da $`Q_t(\lambda )\lambda `$ für $`t\mathrm{}`$ in $`l_1(H_U(𝒪))`$.

Für $`ts`$ gilt

$`P_t^{t1}x_t`$ $`=`$ $`P_t^{t1}(\underset{n}{lim}Q_{t+n}^{t+1}(\lambda )\underset{n}{lim}Q_{t+n}^t(\lambda ))`$
$`=`$ $`\underset{n}{lim}(P_t^{t1}Q_{t+n}^{t+1}(\lambda )P_t^{t1}Q_{t+n}^t(\lambda ))`$
$`=`$ $`0.`$
Also ist $`x_t\text{Kern }P_t^{t1}=\{\underset{i=1}{\overset{a_tb_{t1}}{}}\alpha _iC_i^{t1},\alpha _iH_U(𝒪)\}`$.

Es gibt also $`\alpha _{i,t}H_U(𝒪)`$, $`i=1,\mathrm{},a_{t+1}b_t`$, so daß

$$x_t=\underset{i=1}{\overset{a_tb_{t1}}{}}\alpha _{i,t}C_i^{t1}.$$

Daher ist $`\lambda Q_s(\lambda )=\underset{t=s}{\overset{\mathrm{}}{}}\underset{i=1}{\overset{a_tb_{t1}}{}}\alpha _{i,t}C_i^{t1}`$.

Zeige nun, daß $`\underset{t=s}{\overset{\mathrm{}}{}}_{i=1}^{a_{t+1}b_t}sup_{K_p}\alpha _{i,t}<\mathrm{}`$ für $`p`$ ist, und damit $`(\alpha _{i,t})_{i,ts}l_1(H_U(𝒪))`$ gilt:

Es gibt $`D_p^+`$, so daß $`\underset{t=s}{\overset{n}{}}x_t_p<D_p`$ gleichmäßig in $`n`$ ist. Sei also $`ns`$ beliebig, dann gilt

$`D_p`$ $`>`$ $`{\displaystyle \underset{t=s}{\overset{n}{}}}x_t_p`$
$`=`$ $`{\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\alpha _{i,t}C_i^t_p`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{\mathrm{}}{}}}\underset{K_p}{sup}{\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\alpha _{i,t}d_{t,i,l}\text{ mit}`$
$$d_{t,i,l}:=[C_i^t]_l=\{\begin{array}{cc}c_{t,i,l};\hfill & l=1,\mathrm{}b_t\hfill \\ 1;\hfill & l=b_t+i\hfill \\ 0;\hfill & \text{sonst}\hfill \end{array}.$$

Setze

$$\beta _l:=\{\begin{array}{cc}\alpha _{i,t};\hfill & l=b_t+i,1ia_{t+1}b_t,stn\hfill \\ 0;\hfill & \text{sonst}\hfill \end{array}.$$

Dann ist

$$\underset{l=1}{\overset{\mathrm{}}{}}\underset{K_p}{sup}\beta _l=\underset{t=s}{\overset{\mathrm{}}{}}\left(\underset{l=b_t+1}{\overset{a_{t+1}}{}}\underset{K_p}{sup}\beta _l+\underset{l=a_{t+1}+1}{\overset{b_{t+1}}{}}\underset{K_p}{sup}\beta _l\right)=\underset{t=s}{\overset{n}{}}\underset{i=1}{\overset{a_{t+1}b_t}{}}\underset{K_p}{sup}\alpha _{i,t}.$$

Also ist

$`D_p`$ $`>`$ $`{\displaystyle \underset{l=1}{\overset{\mathrm{}}{}}}\underset{K_p}{sup}{\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\alpha _{i,t}d_{t,i,l}`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{\mathrm{}}{}}}\underset{K_p}{sup}\beta _l{\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{\genfrac{}{}{0pt}{}{i=1}{b_t+il}}{\overset{a_{t+1}b_t}{}}}\alpha _{i,t}d_{t,i,l}`$
$``$ $`{\displaystyle \underset{l=1}{\overset{\mathrm{}}{}}}\underset{K_p}{sup}\beta _l{\displaystyle \underset{l=1}{\overset{\mathrm{}}{}}}{\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{\genfrac{}{}{0pt}{}{i=1}{b_t+il}}{\overset{a_{t+1}b_t}{}}}\underset{K_p}{sup}\alpha _{i,t}\underset{K_p}{sup}d_{t,i,l}`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{\mathrm{}}{}}}\underset{K_p}{sup}\beta _l{\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\underset{K_p}{sup}\alpha _{i,t}{\displaystyle \underset{l=1}{\overset{b_t}{}}}\underset{K_p}{sup}c_{t,i,l}`$
$``$ $`{\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\underset{K_p}{sup}\alpha _{i,t}\varrho {\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\underset{K_p}{sup}\alpha _{i,t}\text{ mit }\varrho <1\text{ geeignet}`$
$`=`$ $`(1\varrho ){\displaystyle \underset{t=s}{\overset{n}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\underset{K_p}{sup}\alpha _{i,t}.`$
Oben wurde gezeigt, daß $`Q_s(\lambda )F_s`$, da $`\lambda `$ Kern $`p_U`$. Das bedeutet, daß $`_{l=1}^{b_s}[Q_s(\lambda )]_lf_l=0`$.

Da $`f_j_lH_\mathrm{\Omega }()`$ ist für $`j=\mathrm{1,2},\mathrm{}`$, gibt es ein $`N_s`$, so daß $`(f_1)_z,\mathrm{},(f_{b_s})_z`$ einen Untermodul $`(_s)_z`$ von $`_z^{N_s}`$ erzeugen für $`z\mathrm{\Omega }`$. Es ist $`\underset{z\mathrm{\Omega }}{}(_s)_z=:_s`$ eine kohärente analytische Garbe (,Chap IV, Sec. B, Proposition 12). $`_s`$ wird also von $`f_1,\mathrm{},f_{b_s}`$ in $`\mathrm{\Omega }`$ global erzeugt (, Theorem 7.2.9).

Ist $`_s:=(f_1,\mathrm{},f_{b_s})`$ die Relationsgarbe von $`f_1,\mathrm{},f_{b_s}`$, dann gibt es zu jedem offenen $`\omega \mathrm{\Omega }`$ endlich viele globale Schnitte, die $`_s`$ in $`\omega `$ erzeugen (\[Grauert Fritzsche\] ).

Wir konstruieren eine Folge $`(\overline{g}_j)_j`$ in $`l_1(H_U(𝒪))`$ wie folgt:

$`\overline{g}_1,\mathrm{},\overline{g}_{m_0}`$ seien die in $`l_1(H_U(𝒪))`$ kanonisch eingebetteten globalen Schnitte, die $`_0`$ in $`\underset{0}{\overset{}{K}}`$ erzeugen. $`\overline{g}_{m_{s1}+1},\mathrm{},\overline{g}_{m_s}`$ seien die in $`l_1(H_U(𝒪))`$ kanonisch eingebetteten globalen Schnitte, die $`_s`$ in $`\underset{s}{\overset{}{K}}`$ erzeugen für $`s1`$. Ohne Einschränkung können wir annehmen, daß $`m_t`$ streng monoton in $`t`$ wächst.

Für jedes $`\lambda \text{Kern }p_U`$ liegt $`Q_s(\lambda )`$ in dem Kern der Abbildung

$$\pi :H_U(𝒪^{b_s})H_U(_s),c_1,\mathrm{},c_{b_s}\underset{j}{}c_jf_j.$$

Nach Lemma 5 ist

$$H_U(𝒪^{m_s})\text{Kern }\pi ,c_1,\mathrm{},c_{m_s}\underset{j}{}c_j\overline{g}_j$$

eine stetige lineare surjektive Abbildung.

Insgesamt folgt:

Ist $`UK_s`$ offen holomorph konvex, dann ist die Abbildung

$`\stackrel{~}{q}_U:H_U(𝒪^{m_s})\times l_1(H_U(𝒪))`$ $``$ $`l_1(H_U(𝒪))`$
$`((\beta _1,\mathrm{},\beta _{m_s}),(\alpha _{i,t})_{ts,1ia_tb_{t1}})`$ $``$ $`{\displaystyle \underset{j=1}{\overset{m_s}{}}}\beta _j\overline{g}_j+{\displaystyle \underset{ts}{}}{\displaystyle \underset{i=1}{\overset{a_tb_{t1}}{}}}\alpha _{i,t}C_i^t`$
stetig linear mit $`\text{Bild}\stackrel{~}{q}_U=\text{Kern }p_U`$.

Bemerkung: Ist $`\lambda \text{Kern }p_UF_r`$ für ein $`rs`$, dann gilt $`Q_{t+1}(\lambda )=Q_t(\lambda )=\lambda `$ für $`tr`$. Daher gilt

$`\lambda ={\displaystyle \underset{t=s1}{\overset{\mathrm{}}{}}}x_t`$ $`=`$ $`{\displaystyle \underset{t=s1}{\overset{r1}{}}}x_t={\displaystyle \underset{j=1}{\overset{m_s}{}}}\beta _j\overline{g}_j+{\displaystyle \underset{t=s}{\overset{r1}{}}}{\displaystyle \underset{i=1}{\overset{a_tb_{t1}}{}}}\alpha _{i,t}C_i^{t1}.`$
(5.4.3)

Die erzeugenden Schnitte $`C_i^t`$ aus der Abbildung $`\stackrel{~}{q}_U`$ haben den Nachteil, daß sie lediglich jeweils auf einer Umgebung von $`K_s`$ definiert sind für $`ts`$.

Wir zeigen im nächsten Schritt, daß es globale Schnitte $`G_i^t`$, $`i=1,\mathrm{},a_{t+1}b_t`$, $`t0`$ gibt, so daß

$`\stackrel{~}{\stackrel{~}{q}}_U:H_U(𝒪^{m_s})\times l_1(H_U(𝒪))`$ $``$ $`l_1(H_U(𝒪))`$
$`((\beta _1,\mathrm{},\beta _{m_s}),(\alpha _{i,t})_{ts,1ia_{t+1}b_t})`$ $``$ $`{\displaystyle \underset{j=1}{\overset{m_s}{}}}\beta _j\overline{g}_j+{\displaystyle \underset{ts}{}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\alpha _{i,t}G_i^t`$
stetig linear ist mit $`\text{Bild}\stackrel{~}{\stackrel{~}{q}}_U=\text{Kern }p_U`$ für $`UK_s`$ offen, holomorph konvex.

Hierzu benötigen wir die folgenden zwei Lemmata:

Lemma 5.5. :
Sei $`E`$ ein Fréchetraum mit einem Fundamentalsystem von stetigen Halbnormen $`(_p)_p`$ und $`\mathrm{\Phi }:EE`$ stetig linear. Ferner gelte für die Identität $`Id`$ auf $`E`$, daß $`(Id\mathrm{\Phi })(x)_p\theta _px_p`$ mit $`\theta _p<1`$ für jedes $`p`$.

Dann ist $`\mathrm{\Phi }`$ invertierbar in L($`E`$) und es gilt

$$\mathrm{\Phi }^1x_p\frac{1}{1\theta _p}x_p$$

Beweis:

Es sei

$$\mathrm{\Psi }_n:=\underset{k=0}{\overset{n}{}}(Id\mathrm{\Phi })^k\text{ mit }(Id\mathrm{\Phi })^0:=Id$$

Dann gilt für $`mn`$ und für alle $`p`$ und $`xE`$

$$\mathrm{\Psi }_m(x)\mathrm{\Psi }_n(x)_p=\underset{k=n+1}{\overset{m}{}}(Id\mathrm{\Phi })^k(x)_p\underset{k=n+1}{\overset{m}{}}\theta _p^kx_p$$

Hieraus folgt insbesondere $`\mathrm{\Psi }_m(x)_p\frac{1}{1\theta _p}x_p`$.

Nach dem Satz von Banach-Steinhaus (siehe z.B. , S39, Nr. 5) gibt es ein $`\mathrm{\Psi }\mathrm{L}(E)`$ mit $`\mathrm{\Psi }_n\mathrm{\Psi }`$ punktweise. Es folgt daher wie beim von Neumannschen Lemma für jedes $`xE`$

$$\mathrm{\Psi }\mathrm{\Phi }(x)=\underset{n}{lim}\mathrm{\Psi }_n\mathrm{\Phi }(x)=x$$

Genauso folgert man wegen der Stetigkeit von $`\mathrm{\Phi }`$, daß $`\mathrm{\Phi }\mathrm{\Psi }(x)=x`$.

Wir setzen also $`\mathrm{\Phi }^1:=\mathrm{\Psi }`$. Für $`p`$ gilt

$$\mathrm{\Phi }^1_p=\underset{n}{lim}\mathrm{\Psi }_n(x)_p\frac{1}{1\theta _p}x_p\mathrm{}$$

Lemma 5.6. :
Sei $`(E,(_p)_p)`$ eine Fréchetalgebra mit Eins und $`A=(a_{i,j})_{i,j}`$ eine unendliche Matrix mit Einträgen aus $`E`$, so daß $`A`$ eine Abbildung aus L$`(l_1(E))`$ repräsentiert. Ferner gebe es eine aufsteigende Folge positiver ganzer Zahlen $`(n_m)_m_0`$ mit $`n_0=0`$, so daß

$$a_{i,j}=0\text{ für }i>n_{m(j)},\text{ falls }n_{m(j)1}<jn_{m(j)}$$

Ferner gelte für die Einheitsmatrix $`I`$ bestehend aus dem Einselement der Algebra auf der Diagonalen, daß für jedes $`vl_1(E)`$

$$(IA)(v)_p\theta _pv_p\text{ mit }\theta _p<1\text{ für jedes }p$$

Dann ist $`A`$ invertierbar auf $`l_1(E)`$ und für $`A^1=(b_{i,j})_{i,j}`$ gilt

$$b_{i,j}=0\text{ für }i>n_{m(j)},\text{ falls }n_{m(j)1}<jn_{m(j)}$$

Beweis:

Sei $`c_{i,j}^k`$ das $`i,j`$-te Element von $`(IA)^k`$, dann zeigt man wie folgt induktiv über $`k`$, daß

$$c_{i,j}^k=0\text{ für }i>n_{m(j)},\text{ falls }n_{m(j)1}<jn_{m(j)}$$

Der Induktionsanfang $`k=1`$ ist nach der Voraussetzung an $`A`$ klar. Für den Induktionsschritt $`kk+1`$ sei zu festem $`j`$ ein Index $`m(j)`$ so gewählt, daß $`n_{m(j)1}<jn_{m(j)}`$ ist. Für ein festes $`i`$ gibt es ein $`l`$, so daß $`n_{l1}<in_l`$. Dann gilt

$`c_{i,j}^{k+1}`$ $`=`$ $`{\displaystyle \underset{\nu =1}{\overset{\mathrm{}}{}}}c_{i,\nu }^kc_{\nu ,j}^1`$
$`=`$ $`{\displaystyle \underset{\nu =n_{l1}+1}{\overset{n_{m(j)}}{}}}c_{i,\nu }^kc_{\nu ,j}^1`$
Damit ist $`c_{i,j}^{k+1}=0`$, falls $`l1m(j)`$, was der Fall ist, wenn $`i>n_{m(j)}`$.

Ist $`b_{i,j}^n`$ das $`i,j`$-te Element von $`A_n:=_{k=0}^n(IA)^k`$, dann folgt

$$b_{i,j}^n=0\text{ für }i>n_{m(j)},\text{ falls }n_{m(j)1}<jn_{m(j)}$$

Sei $`e_j`$ der $`j`$-te Einheitsvektor in $`l_1(E)`$. Dann ist das $`i`$-te Element des Vektors $`A_ne_j`$ gerade $`b_{i,j}^n`$. Da $`(A_ne_j)_n`$ eine Cauchyfolge in $`l_1(E)`$ ist, die gegen $`A^1e_j`$ konvergiert, verschwindet für $`i>n_{m(j)}`$ auch das $`i`$-te Element des Vektors $`A^1e_j=b_{i,j}`$ $`\mathrm{}`$

Wir kommen zurück zum Beweis der Proposition 5:

Bemerkung: Ist $`d\mathrm{\Gamma }(\omega ,\chi )`$ ein Schnitt auf einer Umgebung $`\omega `$ von $`K_s`$ in eine kohärente analytische Garbe $`\chi `$, dann gibt es eine Folge $`(d_j)_j\mathrm{\Gamma }(\mathrm{\Omega },\chi )`$, so daß $`dd_j_{K_s}0`$, wenn $`j\mathrm{}`$, da $`K_s`$ holomorph konvex ist (, Theorem 7.2.7).

Ist $`(D_k^t)_{k=1}^{k_t}`$ für $`t_0`$ eine Folge von Schnitten in $`\chi `$, so daß $`D_1^t,\mathrm{},D_{k_t}^t`$ jeweils $`\chi `$ um $`K_t`$ erzeugt, und ist für eine offene Umgebung $`\stackrel{~}{\omega }`$ von $`K_t`$

$$x_{K_t}:=\underset{x=_{k=1}^{k_t}h_kD_k^t}{inf}\underset{k=1}{\overset{k_t}{}}\underset{K_t}{sup}h_k\text{ für }x\mathrm{\Gamma }(\stackrel{~}{\omega },\chi ),$$

dann gibt es zu vorgegebenem $`\epsilon >0`$ ein $`J`$, so daß $`dd_j_{K_t}<\epsilon `$ für $`jJ`$, $`0ts`$. Soweit die Bemerkung.

Sei $`\varrho <1`$ fest. $`C_i^t`$ ist ein Schnitt in $`_{t+1}`$ auf einer Umgebung von $`K_t`$. Wenden wir (5) auf $`U=\underset{\tau }{\overset{}{K}}`$, $`\tau t`$ an, so wird $`_{t+1}`$ in $`\underset{\tau }{\overset{}{K}}`$ durch

$$M_\tau :=\{\overline{g}_1,\mathrm{},\overline{g}_{m_\tau },(C_i^l)_{l=\tau ,\mathrm{},t,i=1,\mathrm{},a_{l+1}b_l}\}$$

erzeugt. Nach Theorem 7.2.9 in , einer unmittelbaren Folgerung aus Theorem A von Cartan, wird $`_{t+1}`$ auch in pseudokonvexen Umgebungen von $`K_{\tau 1}`$, die in $`\underset{\tau }{\overset{}{K}}`$ liegen, durch $`M_\tau `$ erzeugt. Sei für einen Schnitt $`x`$ in $`_{t+1}`$ um $`K_\tau `$

$$x_{s,\tau }:=inf\{\underset{j=1}{\overset{m_{s+1}}{}}\underset{K_s}{sup}\beta _j+\underset{l=s+1}{\overset{t}{}}\underset{i=1}{\overset{a_{l+1}b_l}{}}\underset{K_s}{sup}\alpha _{i,l}:x=\underset{j=1}{\overset{m_{s+1}}{}}\beta _j\overline{g}_j+\underset{l=s+1}{\overset{t}{}}\underset{i=1}{\overset{a_{l+1}b_l}{}}\alpha _{i,l}C_i^l\}.$$

Dann gibt es entsprechend der obigen Bemerkung jeweils ein $`G_i^t\mathrm{\Gamma }(\mathrm{\Omega },_{t+1})`$, so daß

$`C_i^tG_i^t_s<{\displaystyle \frac{\varrho }{2}}\text{ für }0st1,i=1,\mathrm{},a_{t+1}b_t`$
(5.6.1)

Auf diese Weise konstruieren wir für jedes $`t0`$ jeweils $`G_i^t`$ für $`i=1,\mathrm{},a_{t+1}b_t`$.

Ist $`s`$ fest, dann gibt es somit für jedes $`\tau s`$ jeweils um $`K_{s1}`$ eine Darstellung

$$G_j^\tau C_j^\tau =\underset{l=1}{\overset{m_s}{}}\beta _l^{\tau ,j}\overline{g}_l+\underset{t=s}{\overset{\tau }{}}\underset{i=1}{\overset{a_{t+1}b_t}{}}\alpha _{t,i}^{\tau ,j}C_i^t$$

mit

$$\underset{l=1}{\overset{m_s}{}}\underset{K_{s1}}{sup}\beta _l^{\tau ,j}+\underset{t=s}{\overset{\tau }{}}\underset{i=1}{\overset{a_{t+1}b_t}{}}\underset{K_{s1}}{sup}\alpha _{t,i}^{\tau ,j}<\varrho $$

Sei eine Abbildung $`H:l_1(H_U(𝒪))^2l_1(H_U(𝒪))^2`$ durch $`H(\mu ^1,\mu ^2):=(H_1(\mu ^1,\mu ^2),H_2(\mu ^1,\mu ^2))`$ definiert, wobei wir

$$\left[H_1(\mu ^1,\mu ^2)\right]_l:=\{\begin{array}{cc}\hfill \mu _l^1+_{\tau =s}^{\mathrm{}}_{j=1}^{a_{\tau +1}b_\tau }\mu _{b_\tau +j}^2\beta _l^{\tau ,j};& l=1,\mathrm{},m_s\hfill \\ \hfill 0;& \text{sonst}\hfill \end{array}$$

setzen und $`H_2(\mu ^1,\mu ^2)=A\mu ^2`$ mit einer Matrix $`A=(a_{l,n})_{l,n}`$. Hierbei seien die Matrixeinträge wie folgt definiert:

$$a_{l,n}:=\{\begin{array}{cc}\hfill \alpha _{t,i}^{\tau ,j};& l=b_t+i,st\tau ,i=1,\mathrm{},a_{t+1}b_t,lb_\tau +j,n=b_\tau +j\hfill \\ \hfill 1+\alpha _{t,i}^{\tau ,j};& l=n=b_\tau +j,t=\tau ,i=j\hfill \\ \hfill 0;& \text{sonst}\hfill \end{array}.$$

$`H`$ hängt natürlich von $`s`$ ab. Wir schreiben aus Vereinfachungsgründen $`H`$ statt $`H_s`$.

Wir zeigen

1. $`H_1(\mu ^1,\mu ^2)_p\mu ^1_p+\mu ^2_p`$ für alle $`p`$.
2. $`A`$ ist eine Abbildung in L$`(l_1(H_U(𝒪)))`$. Es gilt $`A\lambda _p2\lambda _p`$ für alle $`p`$, $`\lambda l_1(H_U(𝒪))`$. $`A`$ ist eingeschränkt als Abbildung auf

$$N_s:=\{\mu l_1(H_U(𝒪)):\mu _1=\mathrm{}\mu _{b_s}=0,\mu _{a_\tau +j}=0,\tau 0,j=1,\mathrm{},b_\tau a_\tau \}$$

in sich invertierbar.
3. $`H`$ ist eine stetige lineare Abbildung und $`H(\mu ^1,\mu ^2)_p3(\mu ^1_p+\mu ^2_p)`$ für $`p`$.

1. $`H_1(\mu ^1,\mu ^2)_p`$ $`=`$ $`{\displaystyle \underset{l=1}{\overset{m_s}{}}}\underset{A_p}{sup}\mu _l^1+{\displaystyle \underset{\tau s}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\mu _{b_\tau +j}^2\beta _l^{\tau ,j}`$
$``$ $`{\displaystyle \underset{l=1}{\overset{m_s}{}}}\underset{A_p}{sup}\mu _l^1+{\displaystyle \underset{\tau s}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\underset{A_p}{sup}\mu _{b_\tau +j}^2{\displaystyle \underset{l=1}{\overset{m_s}{}}}\underset{K_{s1}}{sup}\beta _l^{\tau ,j}`$
$``$ $`\mu ^1_p+\mu ^2_p.`$
2. Es ist $`A\mu N_s`$ für $`\mu N_s`$. Für $`\lambda N_s`$ gilt

$`(Id_{N_s}A)\lambda _p`$ $`=`$ $`{\displaystyle \underset{t=s}{\overset{\mathrm{}}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\underset{A_p}{sup}{\displaystyle \underset{\tau =t}{\overset{\mathrm{}}{}}}\left({\displaystyle \underset{\genfrac{}{}{0pt}{}{j=1}{\genfrac{}{}{0pt}{}{ij,falls}{t=\tau }}}{\overset{a_{\tau +1}b_\tau }{}}}\alpha _{t,i}^{\tau ,j}\lambda _{b_\tau +j}\right)+(1(1\alpha _{t,i}^{t,i}))\lambda _{b_t+i}`$
$``$ $`{\displaystyle \underset{t=s}{\overset{\mathrm{}}{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}{\displaystyle \underset{\tau =t}{\overset{\mathrm{}}{}}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\underset{A_p}{sup}\alpha _{t,i}^{\tau ,j}\lambda _{b_\tau +j}`$
$`=`$ $`{\displaystyle \underset{\tau =s}{\overset{\mathrm{}}{}}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\left({\displaystyle \underset{t=s}{\overset{\tau }{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\underset{A_p}{sup}\alpha _{t,i}^{\tau ,j}\right)\underset{A_p}{sup}\lambda _{b_\tau +j}`$
$`<`$ $`\varrho \lambda _p`$
Hieraus folgt einerseits $`A\lambda _p=Id_{N_s}\lambda (Id_{N_s}A)\lambda _p\lambda _p+\varrho \lambda _p2\lambda _p`$. Andererseits folgt aus Lemma 5, daß $`A_{N_s}`$ invertierbar ist.

Wir bezeichnen mit $`A^1`$ die kanonische Fortsetzung von $`(A_{N_s})^1`$ auf $`l_1(H_U(𝒪))`$. Für $`A^1`$ gilt $`A^1\lambda _p\frac{1}{1\varrho }\lambda _p`$ für jedes $`p`$ und jedes $`\lambda l_1(H_U(𝒪))`$.
3. 3) folgt direkt aus 1) und 2).

Wenn wir den Definitionsraum von $`\stackrel{~}{q}_U`$ und $`\stackrel{~}{\stackrel{~}{q}}_U`$ jeweils kanonisch in $`(l_1(H_U(𝒪)))^2`$ einbetten, dann gilt $`\stackrel{~}{q}_U(H(\mu ^1,\mu ^2))=\stackrel{~}{\stackrel{~}{q}}_U(\mu ^1,\mu ^2)`$.

Berechne für $`\lambda l_1(H_U(𝒪))`$ mit $`\lambda _{\tau ,j}:=[\lambda ]_{b_\tau +j}`$, $`\tau s`$, $`j=1,\mathrm{},a_{\tau +1}b_\tau `$:

$`[A\lambda ]_l`$ $`=`$ $`\{\begin{array}{cc}\hfill \underset{\tau >t}{}\underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}a_{l,b_\tau +j}\lambda _{\tau ,j};& l=b_t+i,ts,i=1,\mathrm{},a_{t+1}b_t\hfill \\ \hfill 0;& \text{sonst}\hfill \end{array}`$
$`=`$ $`\{\begin{array}{cc}\hfill \begin{array}{c}\underset{\tau >t}{}\underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}\alpha _{t,i}^{\tau ,j}\lambda _{\tau ,j}\hfill \\ +\underset{j=1,ij}{\overset{a_{t+1}b_t}{}}\alpha _{t,i}^{t,j}\lambda _{t,i}+(1+\alpha _{t,i}^{t,i})\lambda _{t,i}\hfill \end{array};& l=b_t+i,ts,i=1,\mathrm{},a_{t+1}b_t\hfill \\ \hfill 0;& \text{sonst}\hfill \end{array}`$
$`=`$ $`\{\begin{array}{cc}\hfill \left(\underset{\tau t}{}\underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}\alpha _{t,i}^{\tau ,j}\lambda _{\tau ,j}\right)+\lambda _{t,i};& l=b_t+i,ts,i=1,\mathrm{},a_{t+1}b_t\hfill \\ \hfill 0;& \text{sonst}\hfill \end{array}`$
Daher ist mit $`\mu _{\tau ,j}^2:=[\mu ^2]_{b_\tau +j}`$

$`\stackrel{~}{q}_U(H(\mu ^1,\mu ^2))`$ $`=`$ $`{\displaystyle \underset{l=1}{\overset{m_s}{}}}[H_1(\mu ^1,\mu ^2)]_l\overline{g}_l+{\displaystyle \underset{ts}{}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}[A\mu ^2]_{l=b_t+i}C_i^t`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{m_s}{}}}(\mu _l^1+{\displaystyle \underset{\tau s}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\mu _{\tau ,j}^2\beta _l^{\tau ,j})\overline{g}_l+{\displaystyle \underset{ts}{}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}({\displaystyle \underset{\tau t}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\alpha _{t,i}^{\tau ,j}\mu _{\tau ,j}^2+\mu _{t,i}^2)C_i^t`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{m_s}{}}}\mu _l^1\overline{g}_l+{\displaystyle \underset{\tau s}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\mu _{\tau ,j}^2{\displaystyle \underset{l=1}{\overset{m_s}{}}}\beta _l^{\tau ,j}\overline{g}_l+{\displaystyle \underset{\tau s}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\mu _{\tau ,j}^2{\displaystyle \underset{t=s}{\overset{\tau }{}}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\alpha _{t,i}^{\tau ,j}C_i^t+{\displaystyle \underset{\tau s}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\mu _{\tau ,j}^2C_j^\tau `$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{m_s}{}}}\mu _l^1\overline{g}_l+{\displaystyle \underset{\tau s}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\mu _{\tau ,j}^2G_j^\tau `$
$`=`$ $`\stackrel{~}{\stackrel{~}{q}}_U(\mu ^1,\mu ^2)`$
Also ist $`\stackrel{~}{\stackrel{~}{q}}_U:H_U(𝒪^{m_s})\times l_1(H_U(𝒪))l_1(H_U(𝒪))`$ stetig linear. Bleibt zu zeigen, daß $`\text{Bild}\stackrel{~}{\stackrel{~}{q}}_U=\text{Kern }p_U`$:

Sei $`x\text{Kern }p_U=\text{Bild}\stackrel{~}{q}_U`$. Finde also $`\eta =(\eta _1,\mathrm{},\eta _{m_s})`$, $`\xi =(\xi _j)_jl_1(H_U(𝒪))`$, so daß

$$x=\stackrel{~}{q}_U(\eta ,\xi )=\underset{l=1}{\overset{m_s}{}}\eta _l\overline{g}_l+\underset{ts}{}\underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}\xi _{b_t+i}C_i^t$$

Ohne Einschränkung ist also $`\xi _j=0`$ für $`jb_s`$ und $`j=a_t+i`$, $`ts`$, $`i=1,\mathrm{},a_{t+1}b_t`$, d.h. $`\xi N_s`$.

Setze $`\lambda :=A^1(\xi )`$ und

$$\beta _l:=\eta _l\underset{\tau =s}{\overset{\mathrm{}}{}}\underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}\lambda _{b_\tau +j}\beta _l^{\tau ,j},l=1,\mathrm{},m_s,\beta :=(\beta _1,\mathrm{},\beta _{m_s})$$

Dann ist $`H_1(\beta ,\lambda )=\eta `$ und $`H_2(\beta ,\lambda )=A\lambda =\xi `$. Also ist

$$\stackrel{~}{\stackrel{~}{q}}_U(\beta ,\lambda )=\stackrel{~}{q}_U(H(\beta ,\lambda ))=\stackrel{~}{q}_U(\eta ,\xi )=x.$$

Ist umgekehrt $`x\text{Bild}\stackrel{~}{\stackrel{~}{q}}_U`$, dann ist $`x\text{Bild}\stackrel{~}{q}_U=\text{Kern }p_U`$.

Im nächsten Schritt konstruieren wir aus den Folgen $`(\overline{g}_j)_j`$ und $`(G_i^t)_{i,t}`$ eine Folge $`(g_l)_l`$ aus $`\underset{l}{}H_\mathrm{\Omega }(𝒪)`$, die $`\text{Kern }p_U`$ in der gewünschten Weise erzeugt und die Eigenschaften (5) und (5) erfüllt.

Wir setzen unter Verwendung der obigen Indexfolge $`(m_t)_{t0}`$

$$\begin{array}{cccc}g_{m_t+n_{t+1}+i}:=\hfill & \overline{g}_{m_t+i},\hfill & i=1,\mathrm{},m_{t+1}m_t,\hfill & t1\hfill \\ g_{m_{t+1}+n_{t+1}+i}:=\hfill & G_i^{t+1},\hfill & i=1,\mathrm{},n_{t+2}n_{t+1},\hfill & t1,\hfill \end{array}$$

wobei $`m_1:=0`$ und $`n_t:=_{\tau =1}^ta_\tau b_{\tau 1}`$ für $`t1`$, sowie $`n_0:=0`$.

Für jedes $`l`$ ist damit $`g_l`$ wohldefiniert, denn, da $`m_t`$ strikt monoton wachsend ist, gibt es zu jedem $`l`$ ein $`t1`$, so daß $`m_t+n_{t+1}<lm_{t+1}+n_{t+2}`$. Ist also im einen Fall $`m_t+n_{t+1}<lm_{t+1}+n_{t+1}`$, dann setze $`i:=l(m_t+n_{t+1})`$. Ist im anderen Fall $`m_{t+1}+n_{t+1}<lm_{t+1}+n_{t+2}`$, dann setze $`i:=l(m_{t+1}+n_{t+1})`$.

Wir wollen Eigenschaft (5) zeigen. Sei dazu $`l`$ und es gelte $`m_t+n_{t+1}<lm_{t+1}+n_{t+1}`$ für ein $`ts1`$, dann gilt das folgende

Lemma 5.7. :
Es gibt für $`UK_{s1}`$ Funktionen $`(\mu _k)_k`$ aus $`H_U(𝒪)`$, so daß

$$g_l=\underset{k=1}{\overset{m_t+n_{t+1}}{}}\mu _kg_k$$

Beweis: Es ist $`g_l=\overline{g}_{m_t+i}`$ für ein $`i\{1,\mathrm{},m_{t+1}m_t\}`$ Also ist $`g_l\mathrm{\Gamma }(\mathrm{\Omega },_{t+1})`$. Ist $`F_t:=\{\lambda l_1(H_U(𝒪)):\lambda _k=0\text{ für }kb_{t1}+1\}`$, dann gilt natürlich auch $`g_l\text{Kern }p_UF_{t+2}`$. Für Elemente aus $`\text{Kern }p_UF_{t+2}`$ wurde gezeigt, daß die folgende Darstellung auf $`U`$ existiert:

$$g_l=\underset{k=1}{\overset{m_{s1}}{}}\stackrel{~}{\beta }_k\overline{g}_k+\underset{\tau =s1}{\overset{t+1}{}}\underset{j=1}{\overset{a_\tau b_{\tau 1}}{}}\alpha _{j,\tau }C_j^{\tau 1}$$

Sei $`\alpha =(\alpha _l)_l`$ eine Folge mit $`\alpha _{b_{\tau 1}+j}=\alpha _{j,\tau }`$ für $`\tau =s1,\mathrm{},t+1`$, $`j=1,\mathrm{},\alpha _\tau b_{\tau 1}`$ und $`\alpha _l=0`$ sonst, dann ist $`\alpha N_{s1}`$. Setze nun $`\lambda :=A^1\alpha `$ und

$$\beta _k:=\stackrel{~}{\beta }_k\underset{\tau =s1}{\overset{t+1}{}}\underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}\lambda _{b_\tau +j}\beta _l^{\tau ,j},k=1,\mathrm{},m_s,\beta _k=0\text{ sonst}.$$

Hieraus folgt $`\stackrel{~}{\beta }=H_1(\beta ,\lambda )`$ und $`\alpha =H_2(\beta ,\lambda )`$. Daher gilt

$$g_l=\stackrel{~}{q}_U(H(\beta ,\lambda )=\stackrel{~}{\stackrel{~}{q}}_U(\beta ,\lambda )=\underset{k=1}{\overset{m_{s1}}{}}\beta _k\overline{g}_k+\underset{\tau =s1}{\overset{\mathrm{}}{}}\underset{j=1}{\overset{a_\tau b_{\tau 1}}{}}\lambda _{b_{\tau 1}+j}G_j^{\tau 1}$$

Da $`\alpha =_{\tau =s1}^t_{j=1}^{a_{\tau +1}b_\tau }\alpha _{b_\tau +j}e_{b_\tau +j}`$ ist, folgt mit Blick auf Lemma 5 $`\lambda =A^1\alpha F_{t+1}`$. Damit haben wir

$$g_l=\underset{k=1}{\overset{m_{s1}}{}}\beta _k\overline{g}_k+\underset{\tau =s1}{\overset{t+1}{}}\underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}\lambda _{b_\tau +j}G_j^\tau =\underset{k=1}{\overset{m_{s1}+n_{s1}}{}}\mu _kg_k+\underset{k=m_{s1}+n_{s1}+1}{\overset{m_t+n_{t+1}}{}}\mu _kg_k,$$

denn $`\{\overline{g}_k:k=1,\mathrm{},m_{s1}\}\{g_k:k=1,\mathrm{},m_{s1}+n_{s1}\}`$ und $`\{G_j^\tau :s1\tau t+1,j=1,\mathrm{},a_{\tau +1}b_\tau \}\{g_k:k=m_{s1}+n_{s1}+1,\mathrm{},m_{t+1}+n_{t+2}\}`$.

Hieraus folgt das Lemma $`\mathrm{}`$

Für $`t0`$ setzen wir $`u_t:=m_{t+1}+n_{t+1}`$ und $`v_t:=m_{t+1}+n_{t+2}`$. Dann ist $`u_tv_tu_{t+1}`$ und $`v_{t+1}v_tm_{t+2}m_{t+1}>0`$ alle $`t0`$. Sei $`l`$ mit $`m_t+n_{t+1}<lm_{t+1}+n_{t+1}`$, dann ist $`l=v_{t1}+i`$ mit $`i\{1,\mathrm{},m_{t+1}m_t\}=\{1,\mathrm{},u_tv_{t1}\}`$.

Nach Lemma 5 gibt es Funktionen $`\mu _{t1,i,k}`$ aus $`H_U(𝒪)`$ für $`K_{s2}UK_{s1}`$ und $`st`$, so daß

$$g_{v_{t1}+i}=\underset{k=1}{\overset{v_{t1}}{}}\mu _{t1,i,k}g_k.$$

Wir können, ohne die Erzeugungseigenschaft der Folge $`(g_l)_l`$ zu verändern, die Folge $`(g_l)_l`$ bezüglich festem $`\varrho <1`$ wie folgt induktiv skalieren:

Sei $`\stackrel{~}{g}_1,\mathrm{},\stackrel{~}{g}_{v_s}`$ bereits skaliert, dann gibt es Funktionen $`\stackrel{~}{\mu }_{s,i,k}H_U(𝒪)`$, $`K_{s1}UK_s`$, so daß

$$g_{v_s+i}=\underset{k=1}{\overset{v_s}{}}\stackrel{~}{\mu }_{s,i,k}\stackrel{~}{g}_k\text{ auf }U.$$

Sei

$`S_{s,i}`$ $`:=`$ $`{\displaystyle \underset{k=1}{\overset{v_s}{}}}\underset{K_s}{sup}\stackrel{~}{\mu }_{t,i,k}\text{für }i=1,\mathrm{},u_{s+1}v_s\text{ und}`$
$`S_s`$ $`:=`$ $`\underset{i=1,\mathrm{},u_{s+1}v_s}{\mathrm{max}}S_{s,i}{\displaystyle \frac{1}{\varrho }}`$
(5.7.1)

Für $`l=v_s+i`$ sei $`\stackrel{~}{g}_l:=\frac{g_l}{S_s}`$, $`i=1,\mathrm{},u_{s+1}v_s`$. Für $`l=u_{s+1}+i`$, $`i=1,\mathrm{},v_{s+1}u_{s+1}`$ sei $`\stackrel{~}{g}_l=g_l`$. Dann gilt für die auf diese Weise induktiv skalierte Folge $`(\stackrel{~}{g}_l)_l`$ die Eigenschaft (5): Ist $`l=v_t+i`$, $`i\{1,\mathrm{},u_{t+1}v_t\}`$, $`ts`$, dann gibt es in einer Umgebung von $`K_{t1}`$ holomorphe Funktionen $`\mu _{t,i,k}`$, $`k=1,\mathrm{},v_t`$, so daß

$$\stackrel{~}{g}_{v_t+i}=\underset{k=1}{\overset{v_t}{}}\mu _{t,i,k}\stackrel{~}{g}_k$$

und

$$\underset{k=1}{\overset{v_t}{}}\underset{K_{s1}}{sup}\mu _{t,i,k}\underset{k=1}{\overset{v_t}{}}\underset{K_{t1}}{sup}\mu _{t,i,k}\varrho <1\text{ für alle }ts$$

Wir benennen von hier an $`(\stackrel{~}{g}_l)_l`$ in $`(g_l)_l`$ um und definieren für ein $`U\mathrm{\Omega }`$ holomorph konvex

$$q_U:l_1(H_U(𝒪))l_1(H_U(𝒪)),(\mu _l)_l\underset{l}{}\mu _lg_l$$

Wir zeigen jetzt, daß $`q_U`$ stetig ist:

Da $`UK_{s1}`$ gilt für alle $`ts`$ und $`1iu_tv_t`$

$$g_{v_t+i}=\underset{k=1}{\overset{v_t}{}}\mu _{t,i,k}g_k\text{ mit }\underset{k=1}{\overset{v_t}{}}\underset{U}{sup}\mu _{t,i,k}<1$$

Sei $`(A_p)_p`$ eine kompakte Ausschöpfung von $`U`$, dann folgt für die $`p`$-te Halbnorm des zugehörigen Halbnormensystems in $`l_1(H_U(𝒪))`$ induktiv:

$$g_{v_t+i}_pC_{p,s}:=\mathrm{max}\{g_k_p:1kv_s\}$$

für jedes $`ts`$ und $`1iu_tv_t`$.

Für $`ts`$ und $`1iv_{t+1}u_{t+1}`$ gilt $`g_{u_{t+1}+i}=G_i^{t+2}`$. Um $`K_{s1}`$ sind $`C_i^{t+1}`$ definiert für jedes $`ts`$, $`1iv_{t+1}u_{t+1}=a_{t+3}b_{t+2}`$, und es gilt $`C_i^{t+1}_p2`$ für alle $`p`$.

Wegen (5) in Verbindung mit Lemma 5 gibt es $`C_{p,s}^{}`$, so daß

$$G_i^{t+1}_pC_{p,s}^{}$$

für alle $`p`$ und alle $`ts`$, $`1iv_{t+1}u_{t+1}`$ gilt.

Daher gibt es zu jedem $`p`$ eine Konstante $`C_p`$, so daß

$`q_U(\mu )_pC_p\mu _p\text{ für jedes }\mu l_1(H_U(𝒪))`$
(5.7.2)

Bemerkung: Es ist $`g_l\mathrm{\Gamma }(\mathrm{\Omega },_{t+1})`$, für $`u_t+1lu_{t+1}`$.

Zum Schluß bleibt nur noch Eigenschaft (5) zu zeigen:

Sei $`\mu =(\mu _l)_l\text{Kern }q_U`$ für ein $`UK_{s1}`$ holomorph konvex. Sei $`ts`$ und $`\mu _{v_r+i}=0`$ für alle $`rt`$ und $`i=1,\mathrm{},u_{r+1}v_r`$. Also ist

$`0={\displaystyle \underset{l1}{}}\mu _lg_l`$ $`=`$ $`{\displaystyle \underset{lu_t}{}}\mu _lg_l+{\displaystyle \underset{rt}{}}({\displaystyle \underset{u_r<lv_r}{}}\mu _lg_l+{\displaystyle \underset{v_r<lu_{r+1}}{}}\mu _lg_l)`$
$`=`$ $`{\displaystyle \underset{lu_t}{}}\mu _lg_l+{\displaystyle \underset{rt}{}}{\displaystyle \underset{i=1}{\overset{a_{r+2}b_{r+1}}{}}}\mu _{u_r+i}G_i^{r+1},`$
denn $`v_ru_r=n_{r+2}n_{r+1}=a_{r+2}b_{r+1}`$. Da $`_{lu_t}\mu _lg_l\mathrm{\Gamma }(\mathrm{\Omega },_{t+1})`$, folgt nach Indexverschiebung

$$0=\underset{rt+1}{}\underset{i=1}{\overset{a_{r+1}b_r}{}}\stackrel{~}{\mu }_{r,i}[G_i^r]_k\text{ mit }\stackrel{~}{\mu }_{r,i}=\mu _{u_{r1}+i}\text{ für }kb_{t+1}+1$$

Also auch nach Umrechnung

$$0=\underset{rt+1}{}\underset{i=1}{\overset{a_{r+1}b_r}{}}[A\stackrel{~}{\mu }]_{b_r+i}[C_i^r]_k\text{ für }kb_t+1,$$

wobei $`\stackrel{~}{\mu }`$ eine Folge ist mit $`\stackrel{~}{\mu }_l=\stackrel{~}{\mu }_{r,i}`$ für $`l=b_r+i`$, $`i=1,\mathrm{},a_{r+1}b_r`$ und $`rt+1`$ und $`\stackrel{~}{\mu }_l=0`$ in allen anderen Fällen.

Setze $`\lambda =(\lambda _l)_l`$ und $`\lambda _l:=[A\stackrel{~}{\mu }]_{br+i}`$ für $`l=b_r+i`$, $`i=1,\mathrm{},a_{r+1}b_r`$ und $`rt+1`$ und sonst gleich Null. Da $`[C_j^\tau ]_{b_\tau +j}=1`$ für $`\tau t+1`$, $`j=1,\mathrm{},a_{\tau +1}b_\tau `$, folgt

$$\underset{A_p}{sup}\lambda _{b_\tau +j}=\underset{A_p}{sup}\underset{rt+1}{}\underset{\genfrac{}{}{0pt}{}{i=1}{ij,\text{falls }r=\tau }}{\overset{a_{r+1}b_r}{}}\lambda _{b_r+i}[C_i^r]_{b_\tau +j}$$

für alle $`p`$, wobei $`(A_p)_p`$ die oben fest gewählte Ausschöpfung von $`U`$ ist.

Also gilt

$`{\displaystyle \underset{\tau t+1}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\underset{A_p}{sup}\lambda _{b_\tau +j}`$ $`=`$ $`{\displaystyle \underset{\tau t+1}{}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\underset{A_p}{sup}{\displaystyle \underset{rt+1}{}}{\displaystyle \underset{\genfrac{}{}{0pt}{}{i=1}{ij,\text{falls }r=\tau }}{\overset{a_{r+1}b_r}{}}}\lambda _{b_r+i}[C_i^r]_{b_\tau +j}`$
$``$ $`{\displaystyle \underset{rt+1}{}}{\displaystyle \underset{i=1}{\overset{a_{r+1}b_r}{}}}\underset{A_p}{sup}\lambda _{b_r+i}{\displaystyle \underset{\tau t+1}{}}{\displaystyle \underset{\genfrac{}{}{0pt}{}{j=1}{ji,\text{falls }r=\tau }}{\overset{a_{\tau +1}b_\tau }{}}}\underset{A_p}{sup}[C_i^r]_{b_\tau +j}`$
$`=`$ $`{\displaystyle \underset{rt+1}{}}{\displaystyle \underset{i=1}{\overset{a_{r+1}b_r}{}}}\underset{A_p}{sup}\lambda _{b_r+i}{\displaystyle \underset{\tau =t+1}{\overset{r1}{}}}{\displaystyle \underset{j=1}{\overset{a_{\tau +1}b_\tau }{}}}\underset{A_p}{sup}c_{r,i,b_\tau +j}`$
$``$ $`{\displaystyle \underset{rt+1}{}}{\displaystyle \underset{i=1}{\overset{a_{r+1}b_r}{}}}\underset{A_p}{sup}\lambda _{b_r+i}\theta `$
für ein $`\theta <1`$ nach Eigenschaft (5) der Voraussetzung.

Hieraus folgt $`\lambda _{b_r+i}=0`$ für $`rt+1`$, $`i=1,\mathrm{},a_{r+1}b_r`$.

Da $`\stackrel{~}{\mu }N_{t+1}`$ folgt $`\stackrel{~}{\mu }=A^1\lambda =0`$. Also ist $`\stackrel{~}{\mu }_{r,i}=0`$ für $`rt+1`$, $`i=1,\mathrm{},a_{r+1}b_r`$. Dies bedeutet nach Rückverschiebung der Indizes $`\mu _{u_r+i}=0`$ für $`rt`$, $`i=1,\mathrm{},v_ru_r`$. Insgesamt ist also $`\mu _l=0`$ für alle $`lu_t+1`$.

Hieraus folgt Eigenschaft (5) und die Proposition 5 ist bewiesen $`\mathrm{}`$

Ist $`U\mathrm{\Omega }`$ holomorph konvex. $`(A_p)_p`$ eine holomorph konvexe kompakte Ausschöpfung von $`U`$. Dann sei

$`B_p`$ $`:=`$ $`\{fl_1(H_U(𝒪)):f_p1\}`$
$`B_p^0`$ $`:=`$ $`\{fH_U():f_p1\}`$
Wir kommen nun zum Hauptergebnis dieses Abschnittes.

Satz 5.8. :
Sei $``$ ein kohärente analytische Garbe über $`\mathrm{\Omega }`$. $`U\mathrm{\Omega }`$ holomorph konvex. Dann gibt es eine exakte Sequenz

$`\mathrm{}l_1(H_U(𝒪))\stackrel{p_2^U}{}l_1(H_U(𝒪))\stackrel{p_1^U}{}l_1(H_U(𝒪))\stackrel{p_0^U}{}H_U()0.`$
(5.8.1)

Hierbei können die Abbildungen $`p_i^U`$, $`i=\mathrm{0,1},\mathrm{}`$, so gewählt werden, daß $`p_i^U=\underset{l}{}\lambda _lf_l^i`$ mit von $`U`$ unabhängigen $`f_l^il_1(H_\mathrm{\Omega }(𝒪))`$ für alle $`i1`$ bzw. $`f_l^iH_\mathrm{\Omega }()`$ für $`i=0`$.

Es gilt ferner

$`B_{p+1}\text{Kern }p_{i1}^Up_i^U(CB_p)\text{für }i1`$
(5.8.2)

und einer von $`p`$ und $`i`$ abhängigen Konstante $`C`$, sowie

$`B_p^0p_0^U(\theta B_p)\text{für jedes }\theta >1.`$
(5.8.3)

Beweis:

Sei $`(K_t)_t`$ eine holomorph konvexe kompakte Ausschöpfung von $`\mathrm{\Omega }`$. Sei $`0<\varrho <1`$ fest. Ferner gelten die Bezeichnungen wie in der Proposition 5.

Wir zeigen die Exaktheit von (5) über die induktive Konstruktion der $`(f_l^i)_l`$:

Im Beweis werden wir $`i^{}`$ statt $`i`$ verwenden.

1) Induktionsanfang $`i^{}=0`$:

Ist $`t_0`$, dann gibt es nach Theorem A von Cartan $`\stackrel{~}{f}_1,\mathrm{},\stackrel{~}{f}_{a_t}\mathrm{\Gamma }(\mathrm{\Omega },)`$, die $``$ um $`K_t`$ erzeugen. Ohne Einschränkung ist $`(a_t)_{t0}`$ strikt monoton steigend. (Ist z.B. $``$ endlich erzeugt, dann werden die Erzeuger dupliziert.)

Setze ferner $`f_1^0:=\stackrel{~}{f}_1,\mathrm{},f_{a_0}^0:=\stackrel{~}{f}_{a_0}`$. Es seien für $`t>0`$ die Schnitte $`f_1^0,\mathrm{},f_{a_t}^0`$ durch Skalierung mit Konstanten aus $`\stackrel{~}{f}_1,\mathrm{},\stackrel{~}{f}_{a_t}`$ hervorgegangen. Betrachten wir $`\stackrel{~}{f}_{a_t+i}`$ in einer Umgebung von $`K_t`$ nahe genug an $`K_t`$, dann lassen sich um $`K_t`$ holomorphe Funktionen $`\lambda _{t,i,j}`$, $`j=1,\mathrm{},a_t`$ finden, so daß

$$\stackrel{~}{f}_{a_t+i}=\underset{j=1}{\overset{a_t}{}}\lambda _{t,i,j}f_j^0\text{gilt.}$$

Wir setzen $`C_{t,i}:=_{j=1}^{a_t}sup_{K_t}\lambda _{t,i,j}`$ und $`f_{a_t+i}^0:=\stackrel{~}{f}_{a_t+i}\frac{\varrho }{C_{t,i}}`$ für $`i=1\mathrm{},a_{t+1}a_t`$.

Dann erzeugen $`f_1^0,\mathrm{},f_{a_t}^0`$ die Garbe $``$ um $`K_t`$. Für jedes $`UK_s`$ holomorph konvex erhalten wir eine Abbildung

$$p_0^U:l_1(H_U(𝒪))H_U(),(\lambda _l)_l\underset{l}{}\lambda _lf_l^0,$$

die surjektiv und stetig linear ist. Denn es gilt für $`UK_s`$ und eine kompakte Ausschöpfung $`(A_p)_p`$ von $`U`$, sowie für $`ts`$

$`\underset{A_p}{sup}f_{a_t+i}^0`$ $`=`$ $`\underset{A_p}{sup}{\displaystyle \underset{j=1}{\overset{a_t}{}}}\lambda _{t,i,j}f_j^0{\displaystyle \frac{\varrho }{C_{t,i}}}`$
$``$ $`\underset{j=1}{\overset{a_t}{\mathrm{max}}}\underset{A_p}{sup}f_j^0\underset{A_p}{sup}\lambda _{t,i,j}{\displaystyle \frac{\varrho }{C_{t,i}}}`$
$`<`$ $`\underset{j=1}{\overset{a_t}{\mathrm{max}}}\underset{A_p}{sup}f_j^0`$
Also induktiv

$$\underset{A_p}{sup}f_l^0\underset{l=1}{\overset{a_s}{\mathrm{max}}}\underset{A_p}{sup}f_l^0=:C_{p,s}\text{für alle }la_s.$$

Also gilt

$`\underset{A_p}{sup}{\displaystyle \underset{l}{}}\lambda _lf_l^0`$ $``$ $`{\displaystyle \underset{l}{}}\underset{A_p}{sup}\lambda _l\underset{A_p}{sup}f_l^0`$
$``$ $`C_{p,s}{\displaystyle \underset{l}{}}\underset{A_p}{sup}\lambda _l`$
$`=`$ $`C_{p,s}(\lambda _l)_l_p`$
(5.8.4)

Wir bemerken, daß die $`C_{p,s}`$ eine gleichmäßige obere Schranke in $`p`$ besitzen.

$`(f_l^0)_l`$ erfüllt die Eigenschaften (5) und (5) aus der Proposition mit $`b_t:=a_t`$ alle $`t`$. Eigenschaft (5) ist wegen der obigen Skalierung erfüllt und Eigenschaft (5) gilt automatisch wegen $`a_t=b_t`$ für alle $`t`$.

2) Die Folgen $`(f_l^i^{})_l`$ für $`i^{}1`$ erhalten wir induktiv durch Anwenden von Proposition 5.

Bezogen auf die Folge $`(f_l^{i^{}1})_l`$ ist damit

$`f_l^i^{}`$ $`=`$ $`{\displaystyle \frac{\overline{g}_{ln_{t+1}}}{S_{t1}}}\text{ für }v_{t1}+1lu_t\text{ und}`$
$`f_l^i^{}`$ $`=`$ $`G_{ln_t}^{t+1}\text{ für }u_{t1}lv_t\text{, wobei}`$
die $`S_t`$ für $`t1`$ die Skalierungskonstanten aus (5) sind.

3) Es bleibt (5) und (5) zu zeigen. Sei $`fH_U()`$ für ein $`U\mathrm{\Omega }`$ holomorph konvex und sei $`f_p1`$. Es sei $`s`$ so gewählt, daß $`UK_s`$. Da $`f_1^0,\mathrm{},f_{a_s}^0`$ globale erzeugende Schnitte von $``$ über $`U`$ sind, kann Lemma 5 angewandt werden.

Es gibt daher für $`\theta >1`$ Funktionen $`\lambda _1,\mathrm{},\lambda _{a_s}H_U(𝒪)`$ mit $`_{l=1}^{a_s}\lambda _lf_l^0=f`$ und $`_{l=1}^{a_s}sup_{A_p}\lambda _l\theta `$. Damit ist $`fp_0^U(\theta B_p)`$.

Sei jetzt $`i^{}1`$, $`f\text{Kern }p_{i^{}1}^U`$ und $`f_{p+1}1`$ mit $`f=(f_k)_k`$. Da $`UK_s`$ können wir mit in $`U`$ holomorphen Funktionen $`\beta =(\beta _1,\mathrm{},\beta _{m_s})`$ und $`\alpha =(\alpha _{i,t})_{ts,i=1,\mathrm{},a_{t+1}b_t}`$

$$f=\underset{l=1}{\overset{m_s}{}}\beta _l\overline{g}_l+\underset{ts}{}\underset{i=1}{\overset{a_{t+1}b_t}{}}\alpha _{i,t}C_i^t\text{schreiben, wobei}$$

$`(a_t)_t`$, $`(b_t)_t`$, sowie $`(C_i^t)_{t,i}`$ etc. von der Folge $`(f_l^{i^{}1})_l`$ herrühren gemäß Proposition 5.

Da $`\overline{g}_l\mathrm{\Gamma }(\mathrm{\Omega },_s)`$ für $`l=1,\mathrm{},m_s`$ ist, gilt $`[\overline{g}_l]_k=0`$ für $`kb_s+1`$. Also gilt

$$f_k=\underset{ts}{}\underset{i=1}{\overset{a_{t+1}b_t}{}}\alpha _{i,t}[C_i^t]_k\text{für }kb_s+1$$

Wie im Beweis der Proposition 5 gezeigt wurde, gilt

$`1{\displaystyle \underset{kb_s+1}{}}\underset{A_{p+1}}{sup}f_k`$ $`=`$ $`{\displaystyle \underset{kb_s+1}{}}\underset{A_{p+1}}{sup}{\displaystyle \underset{ts}{}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\alpha _{i,t}[C_i^t]_k`$
$``$ $`(1\varrho ){\displaystyle \underset{ts}{}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\underset{A_{p+1}}{sup}\alpha _{i,t},`$
wobei $`\varrho <1`$ gemäß (5) gewählt ist. Sei $`\stackrel{~}{f}:=f_{ts}_{i=1}^{a_{t+1}b_t}\alpha _{i,t}C_i^t`$. Dann ist

$`\stackrel{~}{f}_{p+1}`$ $``$ $`f_{p+1}+{\displaystyle \underset{ts}{}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\underset{A_{p+1}}{sup}\alpha _{i,t}C_i^t_{p+1}`$
$``$ $`1+{\displaystyle \frac{1}{1\varrho }}2`$
Da $`\overline{g}_1,\mathrm{},\overline{g}_{m_s}`$ die Garbe $`(f_1^{i^{}1},\mathrm{},f_{b_s}^{i^{}1})`$ um $`K_s`$ erzeugt, kann in Anwendung von Lemma 5 und Lemma 5 $`\gamma _1,\mathrm{},\gamma _{m_s}H_U(𝒪)`$ gefunden werden, so daß

$$\stackrel{~}{f}=\underset{l=1}{\overset{m_s}{}}\gamma _l\overline{g}_l\text{und}\underset{l=1}{\overset{m_s}{}}\underset{A_p}{sup}\gamma _lC_{i,p},$$

wobei $`C_{i,p}`$ von $`f`$ unabhängig ist. Wir setzen $`\alpha :=(\alpha _l)_l`$ mit $`\alpha _{b_t+i}:=\alpha _{i,t}`$ für $`ts`$, $`i=1,\mathrm{},a_{t+1}b_t`$ und $`a_l=0`$ sonst. Sei $`\lambda :=A^1\alpha `$. Dann gilt $`\lambda _{p+1}\frac{1}{1\varrho }\alpha _{p+1}\frac{1}{(1\varrho )^2}`$.

Wir bilden $`\mu =(\mu _l)_l`$ durch

$$\mu _l:=\{\begin{array}{cc}\hfill \gamma _{m_t+i}S_{t1};& \text{für }l=v_{t1}+i,ts1,i=1,\mathrm{},u_tv_{t1}\hfill \\ \hfill \lambda _{i,t};& \text{für }l=u_t+i,ts1,i=1,\mathrm{},v_tu_t\hfill \\ \hfill 0;& \text{sonst}\hfill \end{array}$$

Dann folgt

$`p_i^{}^U\mu `$ $`=`$ $`{\displaystyle \underset{l}{}}\mu _lf_l^i^{}`$
$`=`$ $`{\displaystyle \underset{ts1}{}}{\displaystyle \underset{i=1}{\overset{u_tv_{t1}}{}}}\gamma _{m_t+i}S_{t1}f_{v_{t1}+i}^i^{}+{\displaystyle \underset{ts1}{}}{\displaystyle \underset{i=1}{\overset{v_tu_t}{}}}\lambda _{i,t}f_{u_t+i}^i^{}`$
$`=`$ $`{\displaystyle \underset{ts1}{}}{\displaystyle \underset{i=1}{\overset{u_tv_{t1}}{}}}\gamma _{m_t+i}\overline{g}_{m_t+1}+{\displaystyle \underset{ts1}{}}{\displaystyle \underset{i=1}{\overset{v_tu_t}{}}}\lambda _{i,t}G_i^{t+1}`$
$`=`$ $`{\displaystyle \underset{l=1}{\overset{m_s}{}}}\gamma _l\overline{g}_l+{\displaystyle \underset{ts1}{}}{\displaystyle \underset{i=1}{\overset{a_{t+2}b_{t+1}}{}}}\lambda _{i,t}G_i^{t+1}`$
$`=`$ $`\stackrel{~}{f}+{\displaystyle \underset{ts}{}}{\displaystyle \underset{i=1}{\overset{a_{t+1}b_t}{}}}\alpha _{i,t}C_i^t`$
$`=`$ $`f`$
und $`\mu _p=\gamma _p+\lambda _pC_{i,p}+\frac{1}{(1\varrho )^2}=:\stackrel{~}{C}_{i,p}`$. Also ist $`fp_i^U(\stackrel{~}{C}_{i,p}H_p)`$$`\mathrm{}`$

## 6  Theorem B mit Schranken für lokal endlich erzeugte Untergarben von $`𝒪_\mathrm{\Omega }^p`$

Wir wollen nun Satz 2 anwenden auf Koketten Werten in lokal endlich erzeugten Untergarben $``$ von $`𝒪^p`$ für ein beliebiges natürliches $`p`$. $`𝒪`$ sei hier die Garbe von Keimen holomorpher Funktionen auf einer Steinschen Mannigfaltigkeit $`\mathrm{\Omega }`$. Nach dem Satz von Oka (siehe z.B. , Theorem 6.4.1) ist $``$ eine kohärente analytische Garbe.

Sei $`(U_i)_{iI}`$ eine Überdeckung von $`\mathrm{\Omega }`$ mit relativ kompakten, Steinschen Gebieten in $`\mathrm{\Omega }`$, wobei es eine Schranke $`M`$ geben soll, so daß $`U_i`$ nicht von mehr als $`M`$ verschiedenen Mengen aus $`(U_i)_{iI}`$ geschnitten wird.

Es sei $`(A_{i,n})_{iI,n_0}`$ ein System von holomorph konvexen kompakten Mengen in $`\mathrm{\Omega }`$, so daß für jedes $`i`$ die Folge $`(A_{i,n})_n`$ eine Ausschöpfung von $`U_i`$ bildet. Ohne Einschränkung sei $`\mathrm{\Omega }_{iI}\underset{i\mathrm{,0}}{\overset{}{A}}`$ und $`A_{i_1\mathrm{,0}}\mathrm{}A_{i_\sigma \mathrm{,0}}=\mathrm{}`$ genau dann, wenn $`U_{i_1}\mathrm{}U_{i_\sigma }=\mathrm{}`$. Für $`\alpha =(i_1,\mathrm{},i_\sigma )`$ sei $`A_{\alpha ,n}:=A_{i_1,n}\mathrm{}A_{i_\sigma ,n}`$.

Auf den Frécheträumen der holomorphen Funktionen auf $`U_{i_0,\mathrm{},i_\sigma }:=U_{i_0}\mathrm{}U_{i_\sigma }`$ ist jeweils eine Gradierung durch

$$f_{i_0,\mathrm{},i_\sigma ,n}:=\underset{A_{i_0,\mathrm{},i_\sigma ,n}}{sup}f(z)$$

gegeben.

Es sei für $`\alpha I^{\sigma +1}`$, $`\sigma 0`$, jeweils $`F_\alpha ^k:=l_1(H(U_\alpha ))`$, falls $`U_\alpha \mathrm{}`$ für $`k=\mathrm{1,2},\mathrm{}`$. Hiebei trägt $`F_\alpha ^k`$ die folgende Gradierung:

$$(f_l)_l_{\alpha ,n}:=\underset{l=1}{\overset{\mathrm{}}{}}f_l_{\alpha ,n},n.$$

Für $`k=0`$ und $`\alpha I^{\sigma +1}`$, $`\sigma 0`$ sei jeweils $`F_\alpha ^0=\mathrm{\Gamma }(U_\alpha ,)`$ versehen mit der Gradierung, die sich durch die Suprema auf $`(A_{\alpha ,n})_n`$ ergibt.

Im Fall $`U_\alpha =\mathrm{}`$ sei $`F_\alpha ^k:=\{0\}`$ für $`k=\mathrm{0,1,2},\mathrm{}`$.

Sei also $`S=(S_{k,\sigma })_{k,\sigma }`$ mit $`S_{k,\sigma }:=\{F_\alpha ^k,\alpha I^{\sigma +1}\}`$.

Für die Indexmengen $`I_\alpha `$, $`\alpha `$ Multiindex, gilt dann $`I_\alpha =\{iI:U_\alpha U_i\mathrm{}\}`$. $`I_\alpha `$ ist also für jeden Multiindex $`\alpha `$ durch $`M`$ beschränkt und es gilt $`I_{\alpha ,j}I_\alpha `$ für jeden Index $`jI`$ und jeden Multiindex $`\alpha `$.

Für $`\alpha I^{\sigma +1}`$, $`\sigma 0`$ mit $`U_\alpha \mathrm{}`$ und $`j\{0,\mathrm{},\sigma \}`$ sowie $`k1`$ sei

$$\iota _{\alpha _j}^{k,\alpha }:l_1(H(U_{\alpha _j}))l_1(H(U_\alpha ))$$

diejenige Abbildung, die komponentenweise $`H(U_{\alpha _j})`$ in $`H(U_\alpha )`$ einbettet. Diese Abbildung ist stetig, linear und injektiv und es gilt:

$$\iota _{\alpha _j}^{k,\alpha }(f_l)_l_{\alpha ,n}(f_l)_l_{\alpha _j,n}.$$

Ist $`U_\alpha =\mathrm{}`$, dann soll $`\iota _{\alpha _j}^{k,\alpha }`$ komponentenweise aus der Nullabbildung bestehen.

Ist $`k=0`$, dann sei für $`\alpha I^{\sigma +1}`$, $`\sigma 0`$ mit $`U_\alpha \mathrm{}`$ und $`j\{1,\mathrm{},\sigma \}`$

$$\iota _{\alpha _j}^{0,\alpha }:H_{U_{\alpha _j}}()H_{U_\alpha }()$$

die Einschränkungsabbildung von Schnitten auf $`U_{\alpha _j}`$ zu Schnitten auf $`U_\alpha `$. Die Topologie auf $`H_U()`$ für ein offenes $`U\mathrm{\Omega }`$ wurde in Kapitel 5 eingeführt. Diese Abbildung ist stetig linear mit

$$\iota _{\alpha _j}^{k,\alpha }(f_l)_l_{\alpha ,n}(f_l)_l_{\alpha _j,n}$$

für alle $`n`$. $`\iota _{\alpha _j}^{k,\alpha }`$ ist ebenfalls injektiv, da ja $`𝒪^p`$ vorausgesetzt ist.

Ist $`U_\alpha =\mathrm{}`$, dann soll auch $`\iota _{\alpha _j}^{0,\alpha }`$ komponentenweise aus der Nullabbildung bestehen.

Die Eigenschaften (LABEL:10.1.1) sind erfüllt, da die $`\iota _{\alpha _j}^{k,\alpha }`$ jeweils Einschränkungsabbildungen sind.

Wir wollen zeigen, daß für $`S`$ die Eigenschaft (E1) gilt:

Wir setzen dazu $`p_\alpha ^k:=p_k^{U_\alpha }`$ für jedes $`k0`$ und $`\alpha I^{\sigma +1}`$, $`\sigma 0`$, mit $`p_k^{U_\alpha }`$ aus Satz 5. Der Satz besagt gerade, daß die Folge $`(p_k^{U_\alpha })_{k_0}`$ mit absteigendem $`k`$ die in (E.1.1) geforderte exakte Sequenz bildet.

Es gilt für $`(\lambda _l)_ll_1(H_{U_{\alpha _j}}(𝒪))`$

$$p_\alpha ^k\iota _{\alpha _j}^{k+1,\alpha }((\lambda _l)_l)=\underset{l}{}\left[\iota _{\alpha _j}^{k+1,\alpha }((\lambda _l)_l)\right]_lf_l^k_{U_\alpha }=\underset{l}{}\lambda _l_{U_\alpha }f_l^k_{U_\alpha }=\iota _{\alpha _j}^{k+1,\alpha }p_\alpha ^k((\lambda _l)_l)$$

für $`\alpha I^{\sigma +1}`$, $`j=0,\mathrm{},\sigma `$, $`k0`$. Hierdurch wird (E.1.2) erfüllt.

Die Eigenschaft (E.1.3) ist wegen (5) bzw. (5) erfüllt. (E.1.4) folgt aus (5).

Wir zeigen nun, daß auch Eigenschaft (E.2) für $`S`$ gilt.

Es sei für ein $`\gamma >1`$

$$P_\gamma :=\{\phi PSH(\mathrm{\Omega }):\phi 0,\underset{U_i}{sup}\phi \gamma \underset{U_i}{inf}\phi \text{ für jedes }iI\}$$

Wir setzen

$$M_\gamma :=\{[(\underset{U_\alpha }{sup}e^\phi )_{\alpha I^{\sigma +1}},(\underset{U_\alpha }{sup}e^\phi )_{\alpha I^\sigma }]:\phi P_\gamma \}$$

Wir behaupten, daß zu jedem $`\gamma >1`$ die offensichtlich nicht leere Menge $`M_\gamma `$ die Eigenschaften 1) bis 3) aus (E.2) besitzt:

dazu:

1) Sei $`[C,C^{}]M_\gamma `$, dann gilt für alle $`\alpha I^{\sigma +1}`$ beziehungsweise $`\beta I^\sigma `$, daß $`0<C_\alpha 1`$ und $`0<C_\beta ^{}1`$. Ist ferner $`\alpha I^\sigma `$, dann gilt

$$C_\alpha ^{}=\underset{U_\alpha }{sup}e^\phi \underset{U_\alpha U_i}{sup}e^\phi $$

für jedes $`iI_\alpha `$. Also gilt $`CC^{}`$.

2) Ist $`\theta >1`$ und ist $`[C,C^{}]M_\gamma `$, dann $`[C^\theta ,C_{}^{}{}_{}{}^{\theta }]M_\gamma `$, denn $`\theta \phi P_\gamma `$.

3) Sei $`[C,C^{}]=[(sup_{U_\alpha }e^\phi )_{\alpha I^{\sigma +1}},(sup_{U_\alpha }e^\phi )_{\alpha I^\sigma }]M_\gamma `$. Dann gilt für $`C^{\prime \prime }:=(sup_{U_\alpha }e^\phi )_{\alpha I^{\sigma +2}}`$, daß $`[C^{\prime \prime },C]M_\gamma `$ ist.

Es sei $`C_1:=(C_{1,\alpha })_{\alpha I^{\sigma +1}}`$ und $`n`$. Es sei $`[C,C^{}]M_\gamma `$ und $`c𝒞_n(S_{k,\sigma },CC_1)`$ mit $`\delta ^\sigma c=0`$.

Für festes $`\alpha I^{\sigma +1}`$ und $`k1`$ ist $`c_\alpha =(c_{\alpha ,l})_ll_1(H(U_\alpha ))`$. Wir setzen $`c^l:=(c_{\alpha ,l})_{\alpha I^{\sigma +1}}`$. Jedes $`c^l`$ ist eine Kokette der Länge $`\sigma `$ bezüglich der Überdeckung $`(U_i)_{iI}`$. $`\delta ^\sigma c=0`$ bedeutet gerade, daß $`\delta ^\sigma c^l=0`$ für jedes $`l`$.

Es gilt für jedes $`n`$

$`\mathrm{}>c_{n,CC_1}^2`$ $`=`$ $`\left({\displaystyle \underset{\alpha I^{\sigma +1}}{}}C_\alpha C_{1,\alpha }{\displaystyle \underset{l}{}}\underset{A_{\alpha ,n}}{sup}c_{\alpha ,l}\right)^2`$
$``$ $`{\displaystyle \underset{\alpha I^{\sigma +1}}{}}C_\alpha ^2C_{1,\alpha }^2\left({\displaystyle \underset{l}{}}\underset{A_{\alpha ,n}}{sup}c_{\alpha ,l}\right)^2`$
$``$ $`{\displaystyle \underset{\alpha I^{\sigma +1}}{}}{\displaystyle \underset{l}{}}C_\alpha ^2C_{1,\alpha }^2\underset{A_{\alpha ,n}}{sup}c_{\alpha ,l}^2.`$
Es sei $`\phi P_\gamma `$ die zu $`C`$ gehörige Funktion. Wir wählen eine plurisubharmonische Funktion auf $`\mathrm{\Omega }`$, so daß für jedes $`\alpha I^{\sigma +1}`$ auf $`U_\alpha `$

$$e^{\psi _1}C_{1,\alpha }^2D_\alpha $$

gilt, wobei $`D_\alpha :=_{U_\alpha }𝑑\mathrm{\Omega }(z)`$.

Also gilt

$`c^l_{2\phi +\psi _1,n}^2`$ $`:=`$ $`{\displaystyle \underset{\alpha I^{\sigma +1}}{}}{\displaystyle _{A_{\alpha ,n}^{}}}c_{\alpha ,l}^2e^{2\phi \psi _1}𝑑\mathrm{\Omega }(z)`$
$``$ $`{\displaystyle \underset{\alpha I^{\sigma +1}}{}}D_\alpha \underset{A_{\alpha ,n}}{sup}c_{\alpha ,l}^2\underset{A_{\alpha ,n}}{sup}e^{2\phi \psi _1}`$
$``$ $`{\displaystyle \underset{\alpha I^{\sigma +1}}{}}C_\alpha ^2C_{1,\alpha }^2\underset{A_{\alpha ,n}}{sup}c_{\alpha ,l}^2<\mathrm{}`$
Wir wenden nun das in Satz 4 gewonnene Theorem B mit Schranken für die Garbe $`𝒪=_0`$ an auf $`n`$ und die plurisubharmonische Funktion $`2\phi +\psi _1`$. Danach gibt es eine von $`n`$ unabhängige plurisubharmonische Funktion $`\psi _2`$, so daß zu jeder holomorphen Kokette $`c^l`$ eine holomorphe Kokette $`c_{}^{}{}_{}{}^{l}`$ existiert mit $`\delta ^{\sigma 1}c_{}^{}{}_{}{}^{l}=c^l`$ und

$$c_{}^{}{}_{}{}^{l}_{2\phi +\psi _1+\psi _2,n1}c^l_{2\phi +\psi _1,n}.$$

Bezüglich des Maßes $`e^{\psi _1}d\mathrm{\Omega }`$ und einer jeweils festen offenen Umgebung $`\stackrel{~}{U}_\alpha `$ von $`A_{\alpha ,n2}`$ mit $`\stackrel{~}{U}_\alpha A_{\alpha ,n1}^{}`$, $`\alpha I^\sigma `$ gibt es Konstanten $`K_{\alpha ,n}`$, $`\alpha I^\sigma `$, so daß

$$\underset{\stackrel{~}{U}_\alpha }{sup}f(z)^2K_{\alpha ,n}_{A_{\alpha ,n1}^{}}f(z)^2e^{\psi _1}𝑑\mathrm{\Omega }(z)$$

für jedes $`fH(A_{\alpha ,n1}^{})L_2(A_{\alpha ,n1}^{},e^{\psi _1}d\mathrm{\Omega })`$.

Es gilt daher

$`c^l_{2\phi +\psi _1,n}^2`$ $``$ $`c_{}^{}{}_{}{}^{l}_{2\phi +\psi _1+\psi _2,n1}^2={\displaystyle \underset{\alpha I^{\sigma +1}}{}}{\displaystyle _{A_{\alpha ,n1}^{}}}c_{\alpha ,l}^{}^2e^{2\phi \psi _1\psi _2}𝑑\mathrm{\Omega }`$
$``$ $`{\displaystyle \underset{\alpha I^\sigma }{}}K_{\alpha ,n1}^1\underset{A_{\alpha ,n1}}{inf}e^{\psi _2}\underset{A_{\alpha ,n1}}{inf}e^{2\phi }\underset{A_{\alpha ,n2}}{sup}c_{}^{}{}_{\alpha ,l}{}^{}^2`$
Wir setzen $`C_{2,\alpha }:=K_{\alpha ,n1}^{\frac{1}{2}}inf_{U_\alpha }e^{\frac{1}{2}\psi _2}n(\alpha )^1`$ mit einer Funktion $`n:I^\sigma ^+`$, so daß

$$\underset{\alpha I^\sigma }{}n(\alpha )^21.$$

Es gilt für $`\alpha I^\sigma `$

$$C_{}^{}{}_{\alpha }{}^{2\gamma }=\underset{U_\alpha }{sup}e^{2\phi \gamma }=e^{2(inf_{U\alpha }\phi )\gamma }e^{2sup_{U_\alpha }\phi }=\underset{U_\alpha }{inf}e^{2\phi }\underset{A_{\alpha ,n1}}{inf}e^{2\phi }.$$

Insgesamt folgt:

$`c^{}_{n2,C_{}^{}{}_{}{}^{\gamma }C_2}^2`$ $`=`$ $`\left({\displaystyle \underset{\alpha I^\sigma }{}}C_{}^{}{}_{\alpha }{}^{\gamma }C_{2,\alpha }{\displaystyle \underset{l}{}}\underset{A_{\alpha ,n2}}{sup}c_{}^{}{}_{\alpha ,l}{}^{}\right)^2`$
$``$ $`\left[{\displaystyle \underset{l}{}}\left({\displaystyle \underset{\alpha I^\sigma }{}}n(\alpha )^2\right)^{\frac{1}{2}}\left({\displaystyle \underset{\alpha I^\sigma }{}}K_{\alpha ,n1}^1\underset{U_\alpha }{inf}e^{\psi _2}C_{}^{}{}_{\alpha }{}^{2\gamma }\underset{A_{\alpha ,n2}}{sup}c_{\alpha ,l}^2\right)^{\frac{1}{2}}\right]^2`$
$``$ $`\left[{\displaystyle \underset{l}{}}(c^l_{2\phi +\psi _1,n}^2)^{\frac{1}{2}}\right]^2`$
$``$ $`\left[{\displaystyle \underset{l}{}}\left({\displaystyle \underset{\alpha I^{\sigma +1}}{}}C_\alpha ^2C_{1,\alpha }^2\underset{A_{\alpha ,n}}{sup}c_{\alpha ,l}^2\right)^{\frac{1}{2}}\right]^2`$
$``$ $`\left[{\displaystyle \underset{l}{}}{\displaystyle \underset{\alpha I^{\sigma +1}}{}}C_\alpha C_{1,\alpha }\underset{A_{\alpha ,n}}{sup}c_{\alpha ,l}\right]^2`$
$`=`$ $`c_{n,CC_1}^2`$
Damit ist nach Umnummerierung Eigenschaft (E.2) gezeigt.

Wir kommen nun zum Hauptergebnis dieses Abschnittes:

Sei $`\mathrm{\Omega }`$ eine Steinsche Mannigfaltigkeit und $``$ eine lokal endlich erzeugte Untergarbe von $`𝒪^p`$ auf $`\mathrm{\Omega }`$ für irgendein natürliches $`p`$. Sei ferner $`(U_i)_{iI}`$ eine abzählbare Steinsche Überdeckung von $`\mathrm{\Omega }`$, wobei höchstens $`M`$ paarweise verschiedene Überdeckungsmengen eine feste Überdeckungsmenge schneiden.

Für jedes $`\alpha I^{\sigma +1}`$, $`\sigma 0`$ wird durch erzeugende Schnitte $`F_1,\mathrm{},F_q\mathrm{\Gamma }(\mathrm{\Omega },)`$ eine Fréchetraumtopologie auf $`\mathrm{\Gamma }(U_\alpha ,)`$ induziert. Die einzelnen Stufen werden durch eine kompakte holomorph konvexe Ausschöpfung $`(A_n)_n`$ von $`U_\alpha `$ gegeben:

$$f_{\alpha ,n}:=\underset{f=_{j=1}^qd_jF_j}{inf}\underset{j=1}{\overset{q}{}}\underset{A_n}{sup}d_j$$

für $`f\mathrm{\Gamma }(U_\alpha ,)`$. Es gilt der folgende

Satz 6.1. :
Sei für jedes $`\alpha I^{\sigma +1}`$, $`\sigma 0`$, ein zu $`(_{\alpha ,n})_n`$ äquivalentes Halbnormensystem $`(_{\alpha ,n})_n`$ gegeben auf $`\mathrm{\Gamma }(U_\alpha ,)`$ und sei $`m`$ fest gewählt.

Dann gibt es zu jedem $`\sigma 0`$ ein Konstantensystem $`(D_\alpha )_{\alpha I^\sigma }`$, $`0<D_\alpha 1`$, so daß für jede auf $`\mathrm{\Omega }`$ plurisubharmonische Funktion $`\phi 0`$, für die es ein $`\gamma >1`$ gibt mit

$$\underset{U_i}{sup}\phi \gamma \underset{U_i}{inf}\phi \text{ für alle }iI,$$

das folgende gilt:

Zu jeder Kokette $`c=(c_\alpha )_{\alpha I^{\sigma +1}}`$, $`\sigma 0`$, mit $`c_\alpha \mathrm{\Gamma }(U_\alpha ,)`$, $`\delta ^\sigma c=0`$ und

$`{\displaystyle \underset{\alpha I^{\sigma +1}}{}}\underset{U_\alpha }{sup}e^\phi \underset{n}{sup}c_\alpha _{n,\alpha }<\mathrm{}`$
(6.1.1)

gibt es eine Kokette $`c^{}:=(c_{}^{}{}_{\alpha }{}^{})_{\alpha I^\sigma }`$ mit $`c_{}^{}{}_{\alpha }{}^{}\mathrm{\Gamma }(U_\alpha ,)`$, $`\delta ^{\sigma 1}c^{}=c`$ und

$$\underset{\alpha I^\sigma }{}D_\alpha \underset{U_\alpha }{sup}e^{\gamma ^M\phi }c_{}^{}{}_{\alpha }{}^{}_{\alpha ,m}\underset{\alpha I^{\sigma +1}}{}\underset{U_\alpha }{sup}e^\phi \underset{n}{sup}c_\alpha _{n,\alpha }$$

Bemerkung: Wegen Lemma 5 sind die Supremumsnormen in $`H(U_\alpha )`$ auf einer jeweiligen kompakten Ausschöpfung von $`U_\alpha `$ ein äquivalentes Halbnormensystem zu $`(_{\alpha ,n})_n`$.

Beweis des Satzes: Für das in Kapitel 2 definierte System $`S`$ von Frécheträumen ist oben die Eigenschaft (E) nachgewiesen worden. Wir wollen Satz 2 für $`S`$ anwenden bezüglich der Überdeckung $`(U_i)_i`$. Wir übernehmen die Bezeichnungen aus Kapitel 2

Wir können ohne Einschränkung der Allgemeinheit annehmen, daß es zu einem festen $`m`$ ein $`n`$ und Konstanten $`(K_{1,\alpha })_{\alpha I^{\sigma +1}}`$ gibt, so daß

$$K_{1,\alpha }f_{\alpha ,m}f_{\alpha ,n2(M+1)}$$

für jedes $`f\mathrm{\Gamma }(U_\alpha ,)`$ und jedes $`\alpha I^{\sigma +1}`$.

Ferner gibt es $`K_{2,\alpha }`$, so daß

$$K_{2,\alpha }f_{\alpha ,n}\underset{k}{sup}f_{\alpha ,k}$$

für jedes $`f\mathrm{\Gamma }(U_\alpha ,)`$, für das die rechte Seite existiert.

Da $`\phi P_\gamma `$ ist $`[C:=(sup_{U_\alpha }e^\phi )_{\alpha I^{\sigma +1}},C^{}:=(sup_{U_\alpha }e^\phi )_{\alpha I^\sigma }]M_\gamma `$. Es sei $`C_1:=(K_{2,\alpha })_{\alpha I^{\sigma +1}}`$.

Sei also $`c=(c_\alpha )_{\alpha I^{\sigma +1}}`$ mit $`\delta ^\sigma c=0`$ und (6), dann folgt $`c𝒞_n(S_{0,\sigma },CC_1)`$, denn

$$c_{n,CC_1}=\underset{\alpha I^{\sigma +1}}{}C_\alpha C_{1,\alpha }c_\alpha _{\alpha ,n}\underset{\alpha I^{\sigma +1}}{}\underset{U_\alpha }{sup}e^\phi \underset{k}{sup}c_\alpha _{\alpha ,k}<\mathrm{}$$

Wir wenden Satz 2 an und erhalten $`c^{}𝒞_{n2(M+1\sigma )}(S_{0,\sigma 1},C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}C_2)`$ mit $`\delta ^{\sigma 1}c^{}=c`$ und

$$c^{}_{n2(M+1\sigma ),C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}C_2}c_{n,CC_1}.$$

Hierbei ist das Konstantensystem $`C_2`$ unabhängig von $`C`$, $`C^{}`$ und $`c`$. Wir setzen $`D_\alpha :=C_{2,\alpha }K_{1,\alpha }`$ für $`\alpha I^\sigma `$ und erhalten

$`{\displaystyle \underset{\alpha I^\sigma }{}}D_\alpha \underset{U_\alpha }{sup}e^{\gamma ^M\phi }c_\alpha _{\alpha ,m}`$ $``$ $`{\displaystyle \underset{\alpha I^\sigma }{}}C_{2,\alpha }C_{}^{}{}_{}{}^{\gamma ^{M\sigma }}c_{}^{}{}_{\alpha }{}^{}_{\alpha ,n2(M+1\sigma )}`$
$``$ $`{\displaystyle \underset{\alpha I^{\sigma +1}}{}}C_{1,\alpha }C_\alpha c_\alpha _{\alpha ,n}`$
$``$ $`{\displaystyle \underset{\alpha I^{\sigma +1}}{}}\underset{U_\alpha }{sup}e^\phi \underset{k}{sup}c_\alpha _{\alpha ,k}.`$
Ende des Beweises $`\mathrm{}`$

## 7 Konstruktion einer Überdeckung des $`^N`$

Wir zeigen in diesem Kapitel, daß es spezielle Überdeckungen des $`^N`$ mit achsenparallelen Kuben gibt:

Proposition 7.1. :
Gegeben sei eine stetige Funktion $`\phi :^N^+`$, dann gibt es eine abzählbare Überdeckung $`(K_i)_{iI}`$ mit achsenparallelen offenen Kuben der Seitenlänge $`s_i`$, so daß folgendes erfüllt ist:

1. $`\phi (x)>s_i`$ für jedes $`xK_i`$ und $`iI`$.
2. Für jedes $`iI`$ ist die Anzahl der Elemente der Menge $`\{jI:K_iK_j\mathrm{}\}`$ durch die Zahl $`4^N2^N`$ beschränkt.

Sei $`T\{f:_0^+_0^+`$ beschränkt $`\}`$ durch folgendes definiert:

Ist $`fT`$, dann gibt es eine Folge $`0=t_0<t_1<t_2<\mathrm{}`$ mit $`t_k\mathrm{}`$, so daß

1. entweder

$`t_{k+1}t_k=t_kt_{k1}\text{ oder }t_{k+1}t_k={\displaystyle \frac{1}{2}}(t_kt_{k1})\text{ gilt }\text{ für alle }k,`$
(7.1.1)

1. $`f(x)=t_{k+1}t_k`$ für jedes $`x[t_k,t_{k+1}[`$ und $`k=\mathrm{0,1},\mathrm{}`$.

Lemma 7.2. :
Sei $`(f_k)_k`$ eine Folge wie oben, dann gibt es zu jedem $`k`$ ein $`m`$ und $`n_0`$, so daß $`t_k=m(t_kt_{k1})`$ und $`t_kt_{k1}=2^n(t_1t_0)`$

Beweis: Wir führen eine Induktion über $`k`$ durch. Der Induktionsanfang $`k=1`$ ist klar. Sei die Behauptung für $`k>1`$ richtig. Dann gilt $`mt_{k1}=(m1)t_k`$. Ferner gibt es ein $`n`$, so daß $`t_kt_{k1}=2^n(t_1t_0)`$.

Ist im 1. Fall von (7) $`t_{k+1}t_k=t_kt_{k1}`$, dann folgt zum einen $`t_{k+1}t_k=2^n(t_1t_0)`$, zum anderen folgt

$$mt_{k+1}=2mt_kmt_{k1}=(2mm+1)t_k$$

also gilt

$$(m+1)t_{k+1}=(m+1)t_k+t_{k+1}.$$

Im 2. Fall ist $`t_{k+1}t_k=\frac{1}{2}(t_kt_{k1})`$. Dann folgt zum einen $`t_{k+1}t_k=2^{(n+1)}(t_1t_0)`$, zum anderen folgt

$$2mt_{k+1}=3mt_kmt_{k1}=(3mm+1)t_k$$

also gilt

$$(2m+1)t_{k+1}=(2m+1)t_k+t_{k+1}\text{ }\mathrm{}$$

Lemma 7.3. :
Falls es ein $`n_0`$ gibt, so daß $`t_1t_0=2^{n_0}`$, dann gibt es zu jedem $`l`$ ein $`k`$, so daß $`t_k=l`$.

Beweis: Da $`t_k\mathrm{}`$, gibt es ein $`k`$, so daß $`t_{k1}<lt_k`$. Nach Lemma 7 gibt es $`n,m`$, so daß $`t_k=2^nm`$, sowie $`t_kt_{k1}=2^n`$. Hieraus folgt $`t_{k1}=(m1)2^n`$. Aus

$$(m1)2^n<l2^n2^nm2^n$$

folgt

$$m1<l2^nm$$

Also gilt $`m=l2^n`$ und damit $`t_k=2^nl\mathrm{\hspace{0.17em}2}^n=l`$ $`\mathrm{}`$

Lemma 7.4. :
Sei $`\phi :_0^+^+`$ eine stetige Funktion, dann gibt es ein $`fT`$, mit $`f<\phi `$.

Beweis: Sei $`\stackrel{~}{a}_k:=inf\{\phi (x):x[k,k+1]\}`$ und $`a_k:=\mathrm{min}\{\stackrel{~}{a}_l:lk\}\{1\}`$ jeweils für $`k=\mathrm{0,1,2},\mathrm{}`$. Dann ist $`(a_k)_k`$ eine monoton fallende Folge positiver Zahlen mit $`a_01`$.

Wir konstruieren induktiv eine Folge $`(t_k)_k`$ mit (7) und $`t_kt_{k1}<a_l`$, falls $`t_k]l,l+1]`$.

Sei die Folge $`(t_k)_k`$ bereits konstruiert bis zu einem $`t_K=l`$ und sei $`t_Kt_{K1}<a_l`$. Sei für $`j1`$ mit $`t_{K+j}l+1`$

$`t_{K+j}:=\{\begin{array}{cc}t_{K+j1}+\frac{1}{2}(t_{K+j1}t_{K+j2}),\text{ falls }\hfill & t_{K+j1}t_{K+j2}a_{l+1}\hfill \\ t_{K+j1}+(t_{K+j1}t_{K+j2}),\text{ falls }\hfill & t_{K+j1}t_{K+j2}<a_{l+1}\hfill \end{array}.`$
(7.4.1)

Dann ist (7) erfüllt. Es ist klar, daß dann

$$t_kt_{k1}t_Kt_{K1}<a_l\text{ für alle }kK\text{ mit }t_kl+1\text{ gilt.}$$

Es gibt ein $`J`$, so daß $`t_{K+J}=l+1`$. Wir zeigen, daß $`t_{K+J}t_{K+J1}<a_{l+1}`$ gilt:

Angenommen, es sei $`t_{K+J}t_{K+J1}a_{l+1}`$, dann gilt für $`t_{K+Ji}t_{K+Ji1}a_{l+1}`$ für jedes $`1iJ`$. Aus der Konstruktion in (7) folgt daher für $`1iJ`$

$$t_{K+Ji}t_{K+Ji1}=2^{J+i}(t_Kt_{K1})$$

Andererseits folgt wegen

$`1=t_{K+J}t_K`$ $`=`$ $`{\displaystyle \underset{i=0}{\overset{J1}{}}}(t_{K+Ji}t_{K+Ji1})`$
$`=`$ $`(t_Kt_{K1}){\displaystyle \underset{i=0}{\overset{J1}{}}}2^{J+i}`$
$`<`$ $`t_Kt_{K1}<a_l1`$
ein Widerspruch.

Der Induktionsschritt der Konstruktion ist damit gezeigt. Für das Intervall $`[\mathrm{0,1}]`$ setzen wir $`t_0=0`$ und $`t_1:=2^{n_0}`$, wobei $`2^{n_0}<a_0`$ gelten soll. Wir benutzen (7), um die weiteren $`t_k`$ bis zur Stelle $`1`$ zu konstruieren.

Sei $`f(x):=t_kt_{k1}`$ für $`x[t_{k1},t_k[`$. $`f`$ ist in $`T`$ und $`f(x)<\phi (x)`$ für jedes $`x_0^+`$ $`\mathrm{}`$

Beweis der Proposition: Wir setzen

$`A_t`$ $`:=`$ $`\{x^N:x_jt\text{ für alle }1jN\}`$
$`R_t`$ $`:=`$ $`A_t`$
$`\psi (t)`$ $`:=`$ $`\underset{xR_t}{inf}\phi (x).`$
Da $`\psi `$ stetig ist, können wir Lemma 7 anwenden. Wir erhalten eine Folge $`0=t_0<t_1<t_2<\mathrm{}`$ mit den genannten Eigenschaften. Nach Lemma 7 gibt es zu jedem $`k1`$ ein $`m`$, so daß $`t_k=m(t_kt_{k1})`$. Daher läßt sich $`A_{t_k}`$ durch exakt $`(2m)^N`$ achsenparallele abgeschlossene Kuben der Seitenlänge $`(t_kt_{k1})`$ überdecken. Die Menge dieser Kuben sei mit $`U_k`$ bezeichnet.

Für $`KU_k`$ gilt

$$t_kt_{k1}<\phi (x)\text{ für alle }xK,$$

denn wenn $`t_k`$ in $`]l,l+1]`$ liegt, dann folgt

$$t_kt_{k1}<a_l\underset{t[0,l+1]}{inf}\psi (t)=\underset{xA_{l+1}}{inf}\phi (x)\underset{xK}{inf}\phi (x)$$

Sei $`W_k:=\{KU_k:\stackrel{}{K}A_{t_{k1}}=\mathrm{}\}`$. Dann sei $`(L_i)_i`$ eine Abzählung von $`_kW_k`$. Es ist leicht zu sehen, daß $`_iL_i=^N`$.

Ist $`l_i`$ die Seitenlänge von $`L_i`$, dann gilt ferner, daß $`L_iL_j\mathrm{}`$ entweder $`l_i=l_j`$ oder $`l_i=2l_j`$ oder $`l_j=2l_i`$ impliziert, denn ist $`L_iW_k`$, dann ist $`L_jW_{k1}W_kW_{k+1}`$, wenn $`L_iL_j\mathrm{}`$ ist.

Hieraus folgt wiederum, daß die Anzahl der Elemente in $`J_i:=\{jI:L_iL_j\mathrm{}\}`$ durch $`4^N2^N`$ beschränkt ist.

Die gesuchte Überdeckung $`(K_i)_{iI}`$ erhalten wir durch jeweilige Vergrößerung der $`L_i`$ zu einem Kubus $`K_i`$ der Seitenlänge $`s_i`$ mit

1. $`\underset{i}{\overset{}{K}}L_i`$,
2. $`l_i<s_i<inf_{xK_i}\phi (x)`$ und
3. $`K_iK_j\mathrm{}`$ nur dann, wenn $`L_iL_j\mathrm{}`$,

für alle $`i,jI`$ $`\mathrm{}`$

## 8 Ein Fortsetzungssatz für holomorphe Funktionen auf Steinschen Mannigfaltigkeiten

Als Anwendung von Satz 6 zeigen wir den folgenden Fortsetzungssatz für holomorphe Funktionen auf Steinschen Untermannigfaltigkeiten des $`^N`$.

Sei $`V`$ eine abgeschlossene und damit Steinsche Untermannigfaltigkeit des $`^N`$. Dann gilt der folgende

Satz 8.1. :
Zu jedem Kompaktum $`K^N`$ und jedem $`\gamma >1`$ gibt es eine Konstante $`B_{K,\gamma }`$, so daß für alle $`fH(V)`$, und jede stetige Funktion $`C_f:^N_0^+`$ das folgende äquivalent ist:

1. Es gibt eine plurisubharmonische Funktion $`\phi >0`$ auf dem $`^N`$, so daß

1. $`\mathrm{log}f(z)\phi (z)`$ für jedes $`zV`$;
    2. $`sup_K\phi (z)sup_{KV}\mathrm{log}f(z)+sup_KC_f(z)`$ für jedes $`K^N`$ kompakt mit $`KV\mathrm{}`$ und $`KK_f:=\{zV:f(z)1\}`$.
2. Für jedes $`\gamma >1`$ gilt: Zu jedem $`m`$ und jedem Kompaktum $`K_0^N`$ mit $`K_0V\mathrm{}`$ und $`K_0K_f`$ gibt es eine ganze Funktion $`F_{m,K_0}`$, so daß

1. $`F_{m,K_0}(z)=f^m(z)`$ für jedes $`zV`$;
    2. $`sup_KF_{m,K_0}(z)e^{B_{K,\gamma }+m\gamma sup_KC_f}sup_{KV}f^m(z)^\gamma `$ für jede kompakte Menge $`K_0KK_f`$ mit $`KV\mathrm{}`$.
3. Für jedes $`\gamma >1`$ gilt: Zu jedem $`m`$ gibt es eine ganze Funktion $`F_m`$, so daß

1. $`F_m(z)=f^m(z)`$ für jedes $`zV`$;
    2. $`sup_KF_m(z)e^{B_{K,\gamma }+m\gamma sup_KC_f}sup_{KV}f^m(z)^\gamma `$ für jede kompakte Menge $`KK_f`$ mit $`KV\mathrm{}`$.

Bevor wir mit dem Beweis des Satzes beginnen, benötigen wir zwei Lemmata:

Lemma 8.2. :
Sei $`X`$ ein lokalkompakter, $`\sigma `$-kompakter topologischer Raum. Sei $`(K_n)_{n_0}`$ eine kompakte Ausschöpfung von $`X`$ mit $`\underset{n+1}{\overset{}{K}}K_n`$ für jedes $`n_0`$ und $`(\delta _n)_n`$ eine monoton fallende Folge positiver Zahlen. Dann gibt es eine stetige positive Funktion $`\psi `$ auf $`X`$, so daß für jedes $`xX`$ ein $`n`$ existiert mit $`\psi (x)\delta _n`$ und $`xK_n`$.

Beweis:

Nach dem Lemma von Urysohn finden wir Funktionen $`\phi _n:X[\mathrm{0,1}]`$, $`n`$, so daß $`\phi _n(x)=1`$ für $`xK_{n1}`$ und $`\phi _n(x)=0`$ für $`xX\backslash K_n`$ (siehe , Lemma 4.18). Sei $`\psi _n:=\mathrm{max}(\delta _1\phi _1,\mathrm{},`$ $`\delta _n\phi _n)`$. Dann gilt $`\psi _n(x)\delta _j`$ für jedes $`xX\backslash K_{j1}`$, $`j=1,\mathrm{},n`$, und $`\psi _n(x)\delta _n`$ für jedes $`xK_{n1}`$. Es gilt für jedes $`mn`$ und jedes $`xK_{n1}`$ daher $`\psi _n(x)=\psi _m(x)`$. Es wird also durch $`\psi (x):=lim_n\psi _n(x)`$ auf $`X`$ eine stetige positive Funktion definiert mit $`\psi (x)=\psi _{n+1}(x)\delta _n`$ für jedes $`xK_n\backslash K_{n1}`$ $`\mathrm{}`$

Lemma 8.3. :
Sei $`\gamma >1`$, $`\psi >0`$ eine stetige reellwertige Funktion auf einer offenen Menge $`\mathrm{\Omega }^N`$. Dann gibt es eine stetige reellwertige Funktion $`\xi >0`$ auf $`\mathrm{\Omega }`$, so daß für jedes relativ kompakte, offene $`U\mathrm{\Omega }`$ mit $`sup\{xy:x,yU\}<inf_U\xi (z)`$ folgt

$$\underset{U}{sup}\psi \gamma \underset{U}{inf}\psi $$

Beweis:

Zu jedem $`K\mathrm{\Omega }`$ kompakt wählen wir $`r_K>0`$, so daß $`\mathrm{log}\psi (x)\mathrm{log}\psi (y)<\mathrm{log}\gamma `$ für $`x,yK`$ mit $`xy<r_K`$. Hieraus folgt $`\frac{\psi (x)}{\psi (y)}<\gamma `$ für $`xy<r_K`$.

Sei $`(K_n)_{n_0}`$ eine kompakte Ausschöpfung von $`\mathrm{\Omega }`$. Ohne Einschränkung ist $`r_n:=r_{K_n}`$, $`n`$, eine monoton fallende Folge. Dann gibt es nach Lemma 8 eine stetige positive Funktion $`\xi `$ auf $`\mathrm{\Omega }`$, so daß zu jedem $`x\mathrm{\Omega }`$ ein $`n`$ existiert mit $`\xi (x)r_n`$ und $`xK_n`$.

Sei $`U\mathrm{\Omega }`$ relativ kompakt mit $`\text{diam}(U):=sup\{xy:x,yU\}<inf_U\xi (z)`$. Sei $`n`$ so gewählt, daß $`UK_n`$ und es gibt ein $`xU`$ mit $`xK_{n1}`$, dann folgt $`\xi (x)r_n`$. Also gilt für alle $`z,yU`$, daß $`zy<\xi (x)r_{K_n}`$. Daher folgt $`sup_U\psi \gamma inf_u\psi `$ $`\mathrm{}`$

Beweis von Satz 8: Wir zeigen zunächst die Äquivalenz von $`ii)`$ und $`iii)`$, wobei $`iii)ii)`$ klar ist.

$`ii)iii)`$: Sei $`(K_n)_n`$ eine kompakte Ausschöpfung des $`^N`$ mit $`K_1K_f`$ und $`K_1V\mathrm{}`$, dann ist $`(F_{m,K_n})_n`$ eine gleichmäßig auf Kompakta beschränkte Folge ganzer Funktionen. Nach dem Satz von Stieltjes-Vitali in mehreren komplexen Veränderlichen (siehe z.B. , Corollary 2.2.5) gibt es eine ganze Funktion $`F_m`$, deren Betrag ein Häufungspunkt der obigen Folge ist. Damit erfüllt $`F_m`$ die Aussagen iii), a) und iii), b).

$`i)ii)`$: Wir nehmen zunächst an, daß $`\phi `$ stetig ist und wenden Lemma 8 auf $`\phi `$ an.

Es gibt eine offene Umgebung $`W`$ von $`V`$ im $`^N`$ und eine holomorphe Retraktionsabbildung $`\pi :WV`$ mit $`\pi (z)=z`$ für jedes $`zV`$ (siehe z.B. , Chap. VIII, Sec. C, Theorem 8). Allgemeiner als hier benötigt zeigt Siu in , Corollary 1, daß für jede komplexe Untermannigfaltigkeit $`V`$ einer Steinschen Mannigfaltigkeit $`\mathrm{\Omega }`$ ein holomorpher Retrakt von einer in $`\mathrm{\Omega }`$ offenen Umgebung von $`V`$ auf $`V`$ existiert.

Sei $`\gamma >1`$. Wir wenden Lemma 8 auf $`\phi `$, $`\gamma `$ und $`W`$ an und erhalten eine stetige positive Funktion $`\xi `$ auf $`W`$ mit den entsprechenden Eigenschaften.

Sei für ein $`UW`$ offen und relativ kompakt in $`^N`$ und $`xU`$ jeweils $`B_{x,U}`$ die kleinste Kugel um $`\pi (x)`$, die $`U`$ enthält.

Es sei $`KV`$ kompakt, $`x_0K`$ beliebig. Da $`\xi `$ stetig und positiv ist auf $`W`$, gibt es daher ein $`\epsilon _K`$, so daß für jedes $`yK(B_{2\epsilon _K}(x_0)V)`$ gilt $`B_{2\epsilon _K}(y)W`$ und

$$inf\{\xi (x):xB_{2\epsilon _K}(y)\}\frac{1}{2}\xi (y)4\epsilon _K.$$

Andererseits gibt es ein $`\delta _K`$, so daß für jedes $`x_0K`$ gilt

$$\pi (x)x<\epsilon _K\text{ für alle }xB_{\delta _K}(x_0)\text{ und }$$

$$\delta _K\epsilon _K\text{ und damit }\delta _K\xi (x_0).$$

Sei $`x_0K`$ und $`\eta `$ eine stetige positive Funktion auf dem $`^N`$ mit $`\eta (x_0)\delta _K`$. Dann gilt für jede offene zusammenhängende Umgebung $`U`$ von $`x_0`$ in $`W`$ mit $`\text{diam}(U)<inf_U\eta `$, daß $`UB_{\delta _K}(x_0)`$. Damit ist $`\pi (x)x<\epsilon _K`$ für jedes $`xU`$. Sei $`yU`$, dann ist

$$\text{diam}(B_{y,U})2(\pi (x)x+\text{diam}(U))2(\epsilon _K+\delta _K)4\epsilon _K.$$

Da $`\pi (y)x_0<2\epsilon _K`$, gilt $`4\epsilon _K\frac{\xi (\pi (y))}{2}`$. Also folgt

$$\text{diam}(B_{y,U})inf\{\xi (x):xB_{y,U}\}.$$

Sei nun $`(K_n)_{n_0}`$ eine kompakte Ausschöpfung von $`V`$ und $`\delta _n:=\delta _{K_n}`$, dann gibt es nach Lemma 8 eine stetige positive Funktion $`\eta `$ auf $`V`$, so daß zu jedem $`x_0V`$ ein $`n`$ existiert mit $`\eta (x_0)\delta _n`$ und $`x_0K_n`$. Sei $`\stackrel{~}{\eta }`$ eine positive stetige Funktion auf dem $`^N`$ mit $`\stackrel{~}{\eta }(x)=\eta (x)`$ für jedes $`xV`$ nach dem Theorem von Tietze-Urysohn (siehe z.B. , Theorem 2.1.8). Dann hat $`\stackrel{~}{\eta }`$ die Eigenschaft, daß für eine offene zusammenhängende Menge $`U^N`$, $`UV\mathrm{}`$ mit

$`sup\{xy:x,yU\}<\underset{U}{inf}\stackrel{~}{\eta }(z)`$
(8.3.1)

schon folgt $`UW`$ und $`sup\{zy:z,yB_{x,U}\}<inf_{B_{x,U}}\xi (z)`$ für jedes $`xU`$.

Wir wenden Satz 7 auf $`\psi :=\frac{1}{\sqrt{2N}}\stackrel{~}{\eta }`$ an und erhalten eine Überdeckung des $`^N=^{2N}`$ mit achsenparallen Kuben $`(U_i)_{iI}`$.

Ist $`M:=16^N4^N`$, dann haben höchstens M paarweise verschiedene Überdeckungsmengen aus $`(U_i)_{iI}`$ einen nichtleeren Schnitt mit einer festen Überdeckungsmenge aus $`(U_i)_{iI}`$.

Es gilt $`sup\{xy:x,yU_i\}<inf_{U_i}\stackrel{~}{\eta }`$ für jedes $`iI`$. Hieraus folgt:

1. Ist $`U_iV\mathrm{}`$, dann folgt $`U_iW`$ für alle $`iI`$.
2. Ist $`xU_i`$ für ein $`U_i`$ mit $`U_iV\mathrm{}`$, dann folgt $`sup\{zy:z,yB_{x,U_i}\}<inf_{B_{x,U_i}}\xi `$. Mit Lemma 8 folgt hieraus $`sup_{B_{x,U_i}}\phi \gamma inf_{B_{x,U_i}}\phi `$ für jedes $`xU_i`$.

Sei $`U_iV\mathrm{}`$ und $`xU_i`$, dann folgt

$`\mathrm{log}f(\pi (x))`$ $``$ $`\phi (\pi (x))`$
$``$ $`\underset{B_{x,U_i}}{sup}\phi `$
$``$ $`\gamma \underset{B_{x,U_i}}{inf}\phi `$
$``$ $`\gamma \underset{U_i}{inf}\phi `$
Also folgt

$`\underset{U_i}{sup}\mathrm{log}f(\pi (x))\gamma \underset{U_i}{inf}\phi `$
(8.3.2)

Wir setzen

$$f_i(x):=\{\begin{array}{cc}f(\pi (x))& ,\text{falls }xU_i\text{ und }U_iV\mathrm{}\hfill \\ 0& ,\text{sonst}\hfill \end{array}.$$

Sei ferner $`f_{ij}(x):=f_i(x)f_j(x)`$ für alle $`xU_{ij}:=U_iU_j`$, $`i,jI`$, $`U_iU_j\mathrm{}`$.

Sei $`J:=\{(i,j)I^2:U_iV\mathrm{}\text{ und }U_jV=\mathrm{}\text{ oder umgekehrt }\}`$.

Es gilt für $`(i,j)J`$

$$\underset{U_{ij}}{sup}f_{ij}\{\begin{array}{cc}sup_{U_i}f(\pi (x))\text{, falls }& U_iV\mathrm{}\hfill \\ sup_{U_j}f(\pi (x))\text{, falls }& U_jV\mathrm{}\hfill \end{array}.$$

Ist $`(i,j)I^2\backslash J`$, dann folgt $`f_{ij}0`$.

Sei $`h:I^+`$ eine Funktion mit $`_{iI}h(i)1`$. Wir setzen $`h_{ij}:=\mathrm{min}(h(i),h(j))`$ für $`(i,j)I^2`$.

Es folgt

$`{\displaystyle \underset{\genfrac{}{}{0pt}{}{(i,j)I^2}{ij}}{}}h_{ij}\underset{U_{ij}}{sup}e^{\gamma \phi }\underset{U_{ij}}{sup}f_{ij}`$ $`=`$ $`{\displaystyle \underset{(i,j)J}{}}h_{ij}\underset{U_{ij}}{sup}e^{\gamma \phi }\underset{U_{ij}}{sup}f_{ij}`$
$``$ $`{\displaystyle \underset{\genfrac{}{}{0pt}{}{iI}{U_iV\mathrm{}}}{}}h(i)\underset{U_i}{sup}e^{\gamma \phi }\underset{U_i}{sup}f(\pi (z))`$
$``$ $`{\displaystyle \underset{iI}{}}h(i)\underset{U_i}{sup}e^{\gamma \phi }e^{\gamma inf_{U_i}\phi }`$
$``$ $`1`$
Sei $`𝒥_V`$ die Garbe von Keimen holomorpher Funktionen, die auf $`V`$ verschwinden. $`𝒥_V`$ ist eine analytische kohärente Garbe (siehe z.B. , Theorem 6.5.2 i.V.m. Theorem 7.1.5).

Wir wenden nun Satz 6 auf die Kokette $`(f_{ij})_{(i,j)I^2}`$ an. Es gilt $`f_{ij}\mathrm{\Gamma }(U_{ij},𝒥_V)`$ und $`\delta ^1((f_{ij})_{ij})=0`$, denn für $`i,j,kI`$ gilt $`f_{ij}+f_{jk}f_{ik}=0`$ auf $`U_iU_jU_k`$. (6) ist mit $`\gamma \phi `$ erfüllt. Sei $`V_iU_i`$, $`iI`$ jeweils eine offene holomorph konvexe Teilmenge und es gelte $`_{iI}V_i=^N`$.

Satz 6 liefert dann eine Kokette $`(d_i)_{iI}`$ mit $`d_i\mathrm{\Gamma }(U_i,𝒥_V)`$, $`iI`$ und $`\delta ^0((d_i)_i)=(f_{ij})_{ij}`$ also $`d_id_j=f_{ij}`$ auf $`U_{ij}`$ für alle $`(i,j)I^2`$.

Ferner liefert der Satz Konstanten $`(D_i)_{iI}`$ mit $`0<D_i1`$, die unabhängig von $`\phi `$ und $`(f_{ij})_{ij}`$ sind, so daß die folgende Abschätzung gilt:

$$\underset{iI}{}D_i\underset{U_i}{sup}e^{\gamma ^{M+1}\phi }\underset{V_i}{sup}d_i\underset{\genfrac{}{}{0pt}{}{(i,j)I^2}{ij}}{}h_{ij}\underset{U_{ij}}{sup}e^{\gamma \phi }\underset{U_{ij}}{sup}f_{ij}1$$

Sei ohne Einschränkung $`D_ih_i`$ für alle $`iI`$.

Wir erhalten zu $`f`$ eine Fortsetzung $`F`$ auf dem $`^N`$, indem wir

$$F(z):=f_i(z)d_i(z)$$

für jedes $`zU_i`$, $`iI`$, setzen. $`F`$ ist wohldefiniert und ganz, denn es gilt $`f_i(z)d_i(z)=f_j(z)d_j(z)`$ auf jeder nichtleeren Überlappungsmenge $`U_{ij}`$.

Wir untersuchen nun $`sup_KF(z)`$ für ein Kompaktum $`K^N`$:

Sei $`I_K:=\{iI:V_iK\mathrm{}\}`$. $`I_K`$ ist endlich, denn angenommen, es gebe eine Folge $`(i_j)_j`$ paarweise verschiedener Indizes in $`I_K`$, dann sei $`(z_j)_j`$ eine Folge von Punkten aus $`K`$ mit $`z_jV_{i_j}`$. Sei $`zK`$ ein Häufungspunkt von $`(z_j)_j`$, dann gibt es ein $`lI_K`$, so daß $`zV_l`$. $`V_l`$ hat dann allerdings einen nichtleeren Schnitt mit mehr als endlich vielen $`V_i`$, $`iI_K`$, was ein Widerspruch zu der endlichen Überlappungsordnung von $`(V_i)_i`$ ist.

Es gilt

$`\underset{K}{sup}F(z)`$ $``$ $`\underset{K}{sup}F(z)\underset{K}{sup}e^{\gamma ^{M+1}\phi }\underset{K}{sup}e^{\gamma ^{M+1}\phi }(\underset{iI_K}{\mathrm{min}}D_i)(\underset{iI_K}{\mathrm{min}}D_i)^1`$
$``$ $`\left(\underset{K}{sup}e^{\gamma ^{M+1}\phi }\right)(\underset{iI_K}{\mathrm{min}}D_i)^1{\displaystyle \underset{iI_K}{}}D_i\underset{V_i}{sup}F(z)\underset{V_i}{sup}e^{\gamma ^{M+1}\phi }.`$
Wegen

$`{\displaystyle \underset{iI_K}{}}D_i\underset{V_i}{sup}f_i(z)d_i(z)\underset{V_i}{sup}e^{\gamma ^{M+1}\phi }`$ $``$ $`1+{\displaystyle \underset{iI_K}{}}h_i\underset{V_i}{sup}f_i(z)\underset{V_i}{sup}e^{\gamma ^{M+1}\phi }`$
$``$ $`1+{\displaystyle \underset{\genfrac{}{}{0pt}{}{iI_K}{V_iV\mathrm{}}}{}}h_ie^{\gamma ^{M+1}inf_{U_i}\phi }e^{\gamma ^{M+1}inf_{U_i}\phi }`$
$``$ $`2`$
erhalten wir mit $`B_{K,\gamma }:=\mathrm{log}(2(\mathrm{min}_{iI_K}D_i)^1)`$

$`\underset{K}{sup}F(z)e^{B_{K,\gamma }}\underset{K}{sup}e^{\gamma ^{M+1}\phi }e^{B_{K,\gamma }+\gamma ^{M+1}sup_KC_f}\underset{KV}{sup}f(z)^{\gamma ^{M+1}}.`$
(8.3.3)

Hierbei hängt die Konstante $`B_{K,\gamma }`$ nur von $`K`$, $`\gamma `$ und der gewählten Überdeckung $`(U_i)_i`$ ab. $`M`$ ist nur von $`N`$ abhängig.

Wir betrachten nun die Potenzen $`f^m`$, $`m`$.

Es gilt für jedes Kompaktum $`KK_f`$ mit $`KV\mathrm{}`$

$`\mathrm{log}f^m(z)`$ $``$ $`m\phi \text{ für jedes }zV`$
$`\underset{K}{sup}m\phi (z)`$ $``$ $`\underset{KV}{sup}\mathrm{log}f^m(z)+m\underset{K}{sup}C_f(z).`$
Nach dem bisher Bewiesenen erhalten wir $`F_mH(^N)`$, $`m`$, mit

$`F_m`$ $`=`$ $`f^m(z)\text{ für jedes }zV\text{ und}`$
$`\underset{K}{sup}F_m(z)`$ $``$ $`e^{B_{K,\gamma }+\gamma ^{M+1}msup_KC_f}\underset{KV}{sup}f^m(z)^{\gamma ^{M+1}}`$
(8.3.4)

für jedes Kompaktum $`KK_f`$ mit $`KV\mathrm{}`$.

Sei jetzt $`\phi `$ eine beliebige plurisubharmonische Funktion, die i) erfüllt. Dann wählen wir eine fallende Folge plurisubharmonischer $`C^{\mathrm{}}`$-Funktionen $`(\phi _k)_k`$, die punktweise gegen $`\phi `$ strebt (siehe z.B. , Theorem 2.9.2).

Es gibt also nach Lemma 8 stetige positive Funktionen $`(G_k)_k`$ auf dem $`^N`$, so daß

$$\underset{K}{sup}\phi _k\underset{KV}{sup}\mathrm{log}f(z)+\underset{K}{sup}(C_f+G_k)$$

für jedes Kompaktum $`KK_f`$ mit $`KV\mathrm{}`$, wobei $`sup_KG_k0`$, falls $`k\mathrm{}`$. Wir erhalten also (8) auch mit $`C_f+G_k`$ an Stelle von $`C_f`$.

Wenn wir abhängig von $`K`$ ein genügend großes $`k`$ wählen, erhalten wir in Anwendung von (8) ein $`F_{m,k}`$, wobei $`msup_KG_k`$ durch ein weiteres $`\gamma `$ abgefangen werden kann. Es gibt also für jedes $`m`$ ein $`F_{m,K}H(^N)`$ mit

$`F_{m,K}`$ $`=`$ $`f^m(z)\text{ für jedes }zV\text{ und}`$
$`\underset{L}{sup}F_{m,K}(z)`$ $``$ $`e^{B_{L,\gamma }+\gamma ^{M+2}msup_LC_f}\underset{LV}{sup}f^m(z)^{\gamma ^{M+2}}`$
für jedes kompakte $`L`$ mit $`KLK_f`$ und $`LV\mathrm{}`$.

Da wir den Beweis für jedes $`\gamma >1`$ durchlaufen lassen können, folgt $`ii)`$.

$`ii)i)`$: Wir wählen eine kompakte Ausschöpfung $`(K_n)_n`$ mit $`K_1K_f`$ und $`K_1V\mathrm{}`$. Es sei $`\phi _{m,n}:=\mathrm{log}F_{m,K_n}`$ für $`n,m`$, wobei das zugehörige $`\gamma `$ in ii) jeweils $`1+\frac{1}{n}`$ sein soll.

Für ein $`n`$ ist die Funktion

$$\phi _n(z):=\overline{\underset{\zeta z}{lim}}\overline{\underset{m}{lim}}\frac{\phi _{m,n}(\zeta )}{m}$$

plurisubharmonisch, denn die $`(\phi _{n,m}/m)_m`$ sind in $`m`$ lokal gleichmäßig nach oben beschränkte plurisubharmonische Funktionen (vergleiche Theorem 2.9.17 in ).

Sei $`K_nK`$ und $`\stackrel{}{K}L`$ für kompaktes $`L`$ und $`LK_f`$. Ist $`z`$ im Inneren von $`K`$, dann folgt

$$\phi _n(z)\overline{\underset{m}{lim}}\underset{\zeta K}{sup}\phi _{m,n}(\zeta )/m(1+\frac{1}{n})\underset{K}{sup}C_f+(1+\frac{1}{n})\underset{KV}{sup}f$$

Wegen der Stetigkeit von $`C_f`$ und $`f`$ folgt

$$inf\{(1+\frac{1}{n})\underset{K}{sup}C_f+(1+\frac{1}{n})\underset{KV}{sup}f:KL\}=(1+\frac{1}{n})\underset{L}{sup}C_f+(1+\frac{1}{n})\underset{LV}{sup}f$$

und damit

$$\underset{L}{sup}\phi _n(1+\frac{1}{n})\underset{L}{sup}C_f+(1+\frac{1}{n})\underset{LV}{sup}f.$$

Mit der gleichen Argumentation ist

$$\phi (z):=\overline{\underset{\zeta z}{lim}}\overline{\underset{n}{lim}}\phi _n(\zeta )$$

plurisubharmonisch und es gilt für jedes $`K^N`$ kompakt mit $`KV\mathrm{}`$ und $`KK_f`$

$$\underset{K}{sup}\phi \underset{K}{sup}C_f+\underset{KV}{sup}\mathrm{log}f.$$

Ferner gilt für $`zV`$

$$\phi _n(z)\overline{\underset{\genfrac{}{}{0pt}{}{\zeta z}{\zeta V}}{lim}}\overline{\underset{m}{lim}}\frac{m\mathrm{log}f(\zeta )}{m}=\mathrm{log}f(z).$$

Hieraus folgt $`\phi (z)\mathrm{log}f(z)`$ für jedes $`zV`$ $`\mathrm{}`$

Für Anwendungen ziehen wir aus dem Beweis des Satzes 8 folgendes Ergebnis:

Satz 8.4. :
Seien $`\phi _1>0`$ und $`\phi _2>0`$ stetige plurisubharmonische Funktionen auf dem $`^N`$. Sei ferner $`\gamma >1`$ fest. Dann gibt es zu jedem Kompaktum $`K`$ eine Konstante $`B_K`$, so daß zu jedem $`fH(V)`$ und jedem $`\alpha >0`$ mit

$`\mathrm{log}f(z)\phi _1(z)+\alpha \phi _2(z)\text{ für jedes }zV`$
(8.4.1)

eine ganze Funktion $`F`$ existiert mit

1. $`F(z)=f(z)`$ für jedes $`zV`$,
2. $`sup_KF(z)e^{B_K}e^{\gamma sup_K\phi _1+\alpha \phi _2}`$ für jedes Kompaktum $`K`$.

Hierbei hängt $`B_K`$ zwar von $`\phi _1`$ und $`\phi _2`$ ab, aber nicht von $`\alpha `$.

Beweis:

Es gibt nach doppelter Anwendung von Lemma 8 eine Funktion $`\xi `$, so daß für jedes $`U\mathrm{\Omega }`$ mit

$$sup\{xy:x,yU\}<\underset{U}{inf}\xi (z)$$

folgt

$$\underset{U}{sup}\phi _1\gamma inf\phi _1\text{ und }\underset{U}{sup}\phi _2\gamma inf\phi _2.$$

Für solche $`U`$ gilt dann aber

$`\underset{U}{sup}(\phi _1+\alpha \phi _2)`$ $``$ $`\underset{U}{sup}\phi _1+\underset{U}{sup}\alpha \phi _2`$
$``$ $`\gamma \underset{U}{inf}\phi _1+\alpha \gamma \underset{U}{inf}\phi _2`$
$``$ $`\gamma \underset{U}{inf}(\phi _1+\alpha \phi _2)`$
(8.4.2)

für jedes $`\alpha _0^+`$.

In dem Beweis zu Satz 8 kann daher für jedes $`\alpha >0`$ die gleiche Überdeckung $`(U_i)_i`$ gewählt werden.

Ist $`fH(V)`$ mit (8) gegeben, dann existiert nach (8) für jedes $`\gamma >1`$ eine ganze Funktion $`F`$ mit

$$\underset{K}{sup}F(z)e^{B_{K,\gamma }}\underset{K}{sup}e^{\gamma ^{M+1}(\phi _1+\alpha \phi _2)},$$

wobei $`B_{K,\gamma }`$ unabhängig von $`f`$ und $`\alpha `$ ist $`\mathrm{}`$

## 9 Ein Kriterium für die Existenz eines linear zahmen Fortsetzungsoperators

Sei $`V`$ eine in den $`^N`$ eingebettete zusammenhängende abgeschlossene Untermannigfaltigkeit. $`\phi `$ sei eine stetige plurisubharmonische Ausschöpfungsfunktion des $`^N`$ mit $`inf_{zV}\phi (z)<1`$.

Sei

$$K_n:=\overline{\{z^N:\phi (z)<n\}}\text{ für }n$$

und

$`F_n`$ $`:=`$ $`\underset{zK_n}{sup}F(z)\text{ für }FH(^N)\text{ bzw.}`$
$`f_n`$ $`:=`$ $`\underset{zK_nV}{sup}f(z)\text{ für }fH(V)`$
Wir fixieren die Halbnormensysteme $`(_n)_n`$ und $`(_n)_n`$ und behandeln $`(H(^N),_n)`$ bzw. $`(H(V),_n)`$ von nun an als gradierte Frécheträume.

Definition 9.1. :
Seien $`(X,_n)`$ und $`(Y,_n)`$ gradierte Frécheträume, dann bezeichnen wir einen Operator $`T:(X,_n)(Y,_n)`$ als linear zahm, falls es Konstanten $`\alpha `$ und $`\beta _0`$ gibt, so daß zu jedem $`k`$ ein $`C_k>0`$ existiert mit

$$T(x)_kC_kx_{\alpha k+\beta }\text{ für alle }xX.$$

Kann $`\alpha =1`$ gewählt werden, so heißt der Operator zahm.

Zwei gradierte Frécheträume $`X,Y`$ heißen linear zahm bzw. zahm isomorph zueinander, falls es einen Isomorhismus $`\mathrm{\Phi }:XY`$ gibt, so daß $`\mathrm{\Phi }`$ und $`\mathrm{\Phi }^1`$ linear zahm bzw. zahm sind. Zwei Gradierungen $`(_n)_n`$ und $`(_n)_n`$ auf $`X`$ heißen linear zahm bzw. zahm äquivalent zueinander, falls die Identität $`(X,_n)(X,_n)`$ ein linear zahmer bzw. zahmer Isomorphismus ist.

Die Restriktionsabbildung $`R:(H(^N),_n)(H(V),_n)`$ ist ein zahmer Operator.

Sei $`0a_0a_1\mathrm{}`$ eine wachsende Folge von Zahlen mit $`a_kk^{\frac{1}{d}}`$ für ein festes $`d`$, d.h. es gibt eine Konstante $`C>0`$, so daß

$$\frac{1}{C}k^{\frac{1}{d}}a_kCk^{\frac{1}{d}}\text{ für alle }k.$$

Der Potenzreihenraum unendlichen Typs, definiert durch

$$\mathrm{\Lambda }_{\mathrm{}}(a_k):=\{x^_0:x_n^{\mathrm{}}:=\underset{k=0}{\overset{\mathrm{}}{}}x_ke^{na_k}<\mathrm{}\}$$

ist dann nuklear und zahm isomorph zu $`\mathrm{\Lambda }_{\mathrm{}}(k^{\frac{1}{d}})`$ (vergleiche hierzu , Satz 29.6).

Bemerkung: Ist $`V`$ eine Steinsche Mannigfaltigkeit der Dimension $`d`$ und ist $`H(V)`$ isomorph zu einem Potenzreihenraum unendlichen Typs $`\mathrm{\Lambda }_{\mathrm{}}(a_k)`$, dann ist $`a_kk^{\frac{1}{d}}`$ (siehe hierzu z.B. , Proposition I.1).

Satz 9.2. :
Zu jedem linear zahmen Operator $`T:(\mathrm{\Lambda }_{\mathrm{}}(a_k),_n^{\mathrm{}})(H(V),_n)`$ gibt es ein linear zahmes Lifting $`L:(\mathrm{\Lambda }_{\mathrm{}}(a_k),_n^{\mathrm{}})(H(^N),_n)`$ mit $`T=RL`$

Beweis:

Sei $`f_k:=Te_k`$, wobei $`e_k`$ der $`k`$-te Einheitsvektor in $`\mathrm{\Lambda }_{\mathrm{}}(a_k)`$ sei, $`k_0`$. Dann folgt

$$\underset{K_nV}{sup}f_kC_ne^{(\alpha n+\beta )a_k}$$

für jedes $`n`$ und jedes $`k_0`$.

Wir wählen eine stetige plurisubharmonische Funktion $`\phi _1`$ auf dem $`^{}`$, so daß für jedes $`n2`$ gilt

$$\underset{zK_{n1}}{inf}\phi _1(z)\mathrm{log}C_n\text{ und }\phi _1(z)\mathrm{log}C_1\text{ für alle }z^N.$$

Ferner sei eine plurisubharmonische Funktion $`\phi _2`$ für jedes $`z^N`$ durch

$$\phi _2(z):=\mathrm{max}(\alpha (\phi (z)+1)+\beta ,\alpha +\beta )$$

definiert. Für diese gilt

$$\underset{K_n}{sup}\phi _2\alpha (n+1)+\beta \text{ für alle }n.$$

Da wir Satz 8 anwenden wollen bei festem $`\gamma >1`$, müssen wir (8) zeigen:

Sei $`z(K_n\backslash K_{n1})V`$, $`n2`$, dann folgt für jedes $`k_0`$

$$\mathrm{log}f_k(z)\underset{K_nV}{sup}\mathrm{log}f_k\mathrm{log}C_n+(\alpha n+\beta )a_k.$$

Andererseits ist für jedes $`zK_{n1}V`$

$$\phi _1(z)\mathrm{log}C_n\text{ und }\phi _2(z)\alpha ((n1)+1)+\beta $$

Ist $`zK_1V`$, dann folgt

$$\mathrm{log}f_k(z)\underset{K_1V}{sup}\mathrm{log}f_k(z)\mathrm{log}C_1+(\alpha +\beta )a_k\phi _1(z)+a_k\phi _2(z)$$

Hieraus folgt insgesamt

$$\mathrm{log}f_k(z)\phi _1(z)+a_k\phi _2(z)\text{ für alle }zV$$

Satz 8 liefert also für jedes $`k_0`$ eine ganze Funktion $`F_k`$ mit

1. $`F_k(z)=f_k(z)`$ für jedes $`zV`$, $`k_0`$,
2. $`sup_{K_n}F_k(z)e^{B_{K_n}+\gamma sup_{K_n}(\phi _1+a_k\phi _2})`$ für jedes $`n`$ und $`k_0`$.

Dies wenden wir für $`\gamma =2`$ an und erhalten eine Folge ganzer Funktionen $`(F_k)_k`$ mit a) und b).

Wir setzen für eine Folge $`(\lambda _k)_k\mathrm{\Lambda }_{\mathrm{}}(a_k)`$

$$L((\lambda _k)_k):=\underset{k=0}{\overset{\mathrm{}}{}}\lambda _kF_k.$$

Durch die folgende Abschätzung wird die Wohldefiniertheit und linear Zahmheit gleichzeitig gezeigt. Die Linearität von $`L`$ ist offensichtlich. Für jedes $`n`$ gilt

$`L((\lambda _k)_k)_n`$ $`=`$ $`\underset{K_n}{sup}{\displaystyle \underset{k=0}{\overset{\mathrm{}}{}}}\lambda _kF_k`$
$``$ $`{\displaystyle \underset{k=0}{\overset{\mathrm{}}{}}}\lambda _ke^{B_{K_n}+2sup_{K_n}(\phi _1+a_k\phi _2)}`$
$``$ $`e^{B_{K_n}}e^{2sup_{K_n}\phi _1}{\displaystyle \underset{k=0}{\overset{\mathrm{}}{}}}\lambda _ke^{2(\alpha (n+1)+\beta )a_k}`$
$`=`$ $`D_n(\lambda _k)_k_{2\alpha n+2(\alpha +\beta )}.`$
Der Satz ist bewiesen $`\mathrm{}`$

Wir zeigen nun das angekündigte Ergebnis:

Korollar 9.3. :
Ist $`(H(V),_n)`$ linear zahm isomorph zu einem Potenzreihenraum unendlichen Typs $`\mathrm{\Lambda }_{\mathrm{}}(a_k)`$, dann gibt es einen linear zahmen Ausdehnungsoperator $`(H(V),_n)(H(^N),_n)`$.

Beweis: Sei $`T:(\mathrm{\Lambda }_{\mathrm{}}(a_k),_n^{\mathrm{}})(H(V),_n)`$ ein linear zahmer Isomorphismus.

Wir verwenden das im Beweis zu Satz 9 konstruierte linear zahme Lifting $`L:(\mathrm{\Lambda }_{\mathrm{}}(a_k),_n^{\mathrm{}})(H(^N),_n)`$ mit $`T=RL`$. Wir setzen nun $`E:=LT^1`$. E ist daher linear zahm und es gilt

$$RE(\underset{k=0}{\overset{\mathrm{}}{}}\lambda _kf_k)=RL((\lambda _k)_k)=R(\underset{k=0}{\overset{\mathrm{}}{}}\lambda _kF_k)=\underset{k=0}{\overset{\mathrm{}}{}}\lambda _kf_k.$$

Also gilt $`RE=id_{H(V)}`$ $`\mathrm{}`$

## 10 Konvexität plurisubharmonischer Funktionen auf abgeschlossenen Untermannigfaltigkeiten des $`^N`$

In diesem Kapitel wollen wir die Konvexität plurisubharmonischer Funktionen auf Steinschen Untermannigfaltigkeiten $`V`$ des $`^N`$ untersuchen und zwar relativ zu den Kugeln im $`^N`$ mit Radius $`r`$ und Mittelpunkt im Ursprung.

Wir werden die Algebraizität von $`V`$ in einen Zusammenhang mit der Qualität der Konvexität plurisubharmonischer Funktionen auf $`V`$ bringen.

Ausgehend von der Existenz eines linear zahmen Ausdehnungsoperators verwenden wir die Argumentation von A. Aytuna in , um eine Konvexitätsbedingung für plurisubharmonische Funktionen auf $`V`$ herzuleiten. Während A. Aytuna direkt die zur Algebraizität von $`V`$ äquivalente Bedingung von A. Sadullaev (siehe , Theorem 2.2, bzw. Kapitel 1) zeigt, werden wir hier ferner zeigen, daß die Bedingung von A. Sadullaev äquivalent zu der angesprochenen Konvexitätsbedingung für plurisubharmonische Funktionen auf $`V`$ ist.

Wir benötigen zunächst das folgende Lemma (siehe , Corollary 17.1.5), das direkt aus dem Satz über konvexe Hüllen von Caratheodory folgt (siehe , Theorem 17.1).

Hier können wir uns auf die Situation in der reellen Ebene beschränken:

Lemma 10.1. :
Sei $`f:_0^+`$ eine monoton wachsende Funktion und sei $`E:=\{(x,f(x)):x_0^+\}`$. $`ch(E)`$ sei die konvexe Hülle von $`E`$. Sei ferner $`h(x):=inf\{y:(x,y)ch(E)\}`$. Dann ist $`h`$ eine konvexe Funktion und es gilt

$$h(x)=inf\{\lambda f(x_1)+(1\lambda )f(x_2):x=\lambda x_1+(1\lambda )x_2,\lambda [\mathrm{0,1}],x_1,x_2_0^+\}$$

Hieraus folgt eine Aussage über eine schwache Form von Konvexität:

Proposition 10.2. :
Sei $`f:_0^+`$ eine monoton wachsende Funktion und seien $`a,b_0^+`$, $`a1`$. Dann sind äquivalent:

1. $`f(\lambda x_1+(1\lambda )x_2)\lambda f(ax_1+b)+(1\lambda )f(ax_2+b)`$ für alle $`\lambda [\mathrm{0,1}]`$, $`x_1,x_2_0^+`$.
2. Es gibt ein konvexe Funktion $`h`$, so daß

$`h(x)`$ $``$ $`f(x)\text{ für alle }x0\text{ und}`$
$`f(x)`$ $``$ $`h(ax+b)\text{ für alle }x0.`$

Beweis: 2)$``$1): Sei $`x_1,x_2_0^+`$ und $`\lambda [\mathrm{0,1}]`$, dann gilt

$`f(\lambda x_1+(1\lambda )x_2)`$ $``$ $`h(a(\lambda x_1+(1\lambda )x_2)+b)`$
$``$ $`\lambda h(ax_1+b)+(1\lambda )h(ax_2+b)`$
$``$ $`\lambda f(ax_1+b)+(1\lambda )f(ax_2+b).`$
1)$``$2): Wir wählen zu $`f`$ die Funktion $`h`$ aus Lemma 10. $`h`$ ist konvex und liegt unterhalb von $`f`$. Sei $`x_0^+`$ fest. Ist $`\epsilon >0`$, dann können wir nach Lemma 10 $`x_1,x_2_0^+`$ wählen, so daß $`ax+b=\lambda x_1+(1\lambda )x_2`$ und $`\lambda f(x_1)+(1\lambda )f(x_2)h(ax+b)+\epsilon `$. Wegen 1) ist

$`\lambda f(x_1)+(1\lambda )f(x_2)`$ $``$ $`f(\lambda ({\displaystyle \frac{x_1b}{a}})+(1\lambda )({\displaystyle \frac{x_2b}{a}}))`$
$`=`$ $`f(x).`$
Für $`\epsilon 0`$ erhalten wir $`f(x)h(ax+b)`$. Da $`x_0^+`$ beliebig gewählt war, folgt 2) $`\mathrm{}`$

Sei $`\mathrm{\Phi }PSH(^N)`$, dann sei $`M_\mathrm{\Phi }(r):=sup\{\mathrm{\Phi }(z):z=e^r\}`$ für $`r_0^+`$. $`M_\mathrm{\Phi }(r)`$ ist eine konvexe wachsende Funktion nach dem Hadamarschen Drei-Kreise-Satz für plurisubharmonische Funktionen (siehe z.B. , Theorem 4.1.13).

Sei $`V`$ eine abgeschlossene Untermannigfaltigkeit des $`^N`$ und sei durch die Spuren der Kugeln $`B_r:=\{z^N:z<e^r\}`$, $`r_0^+`$, auf $`V`$ eine Gradierung $`f_n:=sup_{B_nV}f`$, $`n`$, $`fH(V)`$, für $`H(V)`$ gegeben.

Es gilt der folgende Satz:

Satz 10.3. :
Sei $`E:H(V)H(^N)`$ ein linear zahmer Ausdehnungsoperator, d.h. es gebe $`a,b_0`$, $`a1`$, so daß für alle $`n`$ ein $`C_n>0`$ existiert mit

$`\underset{B_n}{sup}E(f)(z)C_nf_{an+b}\text{ für alle }fH(V).`$
(10.3.1)

Dann gibt es zu jedem $`\phi PSH(V)`$ ein $`\mathrm{\Phi }PSH(^N)`$ mit

$`\underset{B_rV}{sup}\phi (z)`$ $``$ $`M_\mathrm{\Phi }(r)\text{ und}`$
$`M_\mathrm{\Phi }(r)`$ $``$ $`\underset{B_{ar+a+b}V}{sup}\phi (z)\text{ für alle }r0.`$
Beweis:

Jedes $`\psi PSH(^N)`$ besitzt nach einem Ergebnis von Bremermann (, Theorem 2) eine Hartogsdarstellung auf dem $`^N`$

$$\psi (z)=\overline{\underset{n}{lim}}\frac{\mathrm{log}f_n(z)}{c_n}\text{ mit }f_nH(^N)\text{ für alle }n.$$

Ohne Einschränkung gilt $`c_n\mathrm{}`$. Der Fortsetzungssatz für plurisubharmonische Funktionen auf einer abgeschlossenen komplexen Untermannigfaltigkeit des $`^N`$ von Sadullaev (siehe , Theorem 1.1) zeigt, daß auch jedes $`\phi PSH(V)`$ eine Hartogsdarstellung

$`\phi (z)=\overline{\underset{n}{lim}}{\displaystyle \frac{\mathrm{log}f_n(z)}{c_n}}\text{ mit }f_nH(V)\text{ für alle }n`$
(10.3.2)

besitzt. Sei also $`\phi PSH(V)`$ mit einer Darstellung wie in (10) gegeben.

Wir zeigen, daß $`\{\frac{\mathrm{log}E(f_n)}{c_n}:n\}`$ eine lokal gleichmäßig beschränkte Familie ist.

Sei $`D_r:=sup_{B_rV}\phi (z)`$, $`r0`$. Nach dem Hartogslemma (siehe z.B. , Theorem 1.4) gibt es zu jedem $`\epsilon >0`$ und jedem $`r^{}<r`$ ein $`n_0`$, so daß für alle $`nn_0`$

$$\underset{B_r^{}V}{sup}\frac{\mathrm{log}f_n(z)}{c_n}D_r+\epsilon .$$

Wir setzen $`b^{}:=a+b`$. Für jedes $`r_0^+`$ liefert (10) für jedes $`fH(V)`$ die Abschätzung

$$\underset{B_r}{sup}E(f)(z)C_rf_{ar+b^{}},$$

wobei $`C_r=C_m`$ für $`m1rm`$ ist.

Wir erhalten zu jedem $`\epsilon >0`$ und jedem $`r^{}<r`$ ein $`n_0`$, so daß für $`nn_0`$ gilt

$`\underset{B_r^{}}{sup}{\displaystyle \frac{\mathrm{log}E(f_n)(z)}{c_n}}`$ $``$ $`{\displaystyle \frac{\mathrm{log}C_r^{}}{c_n}}+\underset{B_{ar^{}+b^{}}V}{sup}{\displaystyle \frac{\mathrm{log}f_n(z)}{c_n}}`$
$``$ $`{\displaystyle \frac{\mathrm{log}C_r^{}}{c_n}}+D_{ar+b^{}}+\epsilon .`$
Also ist $`\{\frac{\mathrm{log}E(f_n)}{c_n}:n\}`$ eine lokal gleichmäßig beschränkte Familie. Daher ist

$$\mathrm{\Phi }(z):=\overline{\underset{\zeta z}{lim}}\overline{\underset{n}{lim}}\frac{\mathrm{log}E(f_n)(\zeta )}{c_n}$$

eine plurisubharmonische Funktion auf dem $`^N`$ (siehe z.B. , Theorem 2.9.17).

Für $`r^{}<r^{\prime \prime }<r`$ und jedes $`\epsilon >0`$ gilt dann

$`M_\mathrm{\Phi }(r^{})`$ $``$ $`sup\{\mathrm{\Phi }(z):z<e^{r^{\prime \prime }}\}`$
$``$ $`\underset{B_{r^{\prime \prime }}}{sup}\overline{\underset{n}{lim}}{\displaystyle \frac{\mathrm{log}E(f_n)(z)}{c_n}}`$
$``$ $`\overline{\underset{n}{lim}}({\displaystyle \frac{\mathrm{log}C_{r^{\prime \prime }}}{c_n}}+D_{ar+b^{}}+\epsilon )`$
$`=`$ $`D_{ar+b^{}}+\epsilon .`$
Da $`M_\mathrm{\Phi }(r)`$ stetig ist in $`r`$, folgt insgesamt $`M_\mathrm{\Phi }(r)sup_{B_{ar+a+b}V}\phi (z)`$.

Wegen des Maximumprinzips für plurisubharmonische Funktionen auf $`V`$ gilt umgekehrt auch $`sup_{B_rV}\phi (z)M_\mathrm{\Phi }(r)`$ für $`r>0`$ $`\mathrm{}`$

Man beachte, daß wegen der Regularisierung zwar $`\phi (z)\mathrm{\Phi }(z)`$ für jedes $`zV`$, aber nicht notwendig $`\phi (z)=\mathrm{\Phi }(z)`$ gilt.

Sei für ein $`\phi PSH(V)`$ eine Funktion $`m_\phi :_0^+`$ durch $`m_\phi (r):=sup_{B_rV}\phi (z)`$ definiert, wobei wie oben $`B_r:=\{z^N:z<e^r\}`$ sei.

Kombiniert mit Proposition 10 ergibt sich

Satz 10.4. :
Unter den Voraussetzungen von Satz 10 gilt für jedes $`\phi PSH(V)`$ und jedes $`\lambda [\mathrm{0,1}]`$, sowie jedes $`r_1,r_2_0^+`$

$`m_\phi (\lambda r_1+(1\lambda )r_2)\lambda m_\phi (ar_1+b^{})+(1\lambda )m_\phi (ar_2+b^{}),`$
(10.4.1)

wobei $`a,b`$ aus Satz 10 sind und $`b^{}=a+b`$.

Wir zeigen nun, daß aus (10) bereits folgt, daß $`V`$ algebraisch ist.

Satz 10.5. :
Sei $`V`$ eine abgeschlossene Untermannigfaltigkeit des $`^N`$ und für jede plurisubharmonische Funktion auf $`V`$ gelte (10), dann ist $`V`$ algebraisch.

Beweis:

Wir zeigen, daß die Siciaksche Extremalfunktion $`S(z,K)`$ für mindestens ein Kompaktum $`KV`$ lokal beschränkt ist auf $`V`$. Dann können wir ein Ergebnis von Sadullaev anwenden, nach dem dann und nur dann $`V`$ algebraisch ist. Sadullaevs Ergebnis ist allgemeiner als hier benötigt, es erfaßt nämlich auch Varietäten, die singuläre Punkte besitzen (, Theorem 2.2).

$`S(z,K)`$ ist für ein Kompaktum $`KV`$ wie folgt definiert:

$$S(z,K):=\overline{\underset{\zeta z}{lim}}sup\{u(\zeta ):u0\text{ auf }K,uL\},$$

wobei

$$L:=\{uPSH(^N):\text{ es gibt }\alpha =\alpha (u):u(z)\mathrm{log}(1+z)+\alpha \text{ für alle }z^N\}.$$

Sei $`uL`$, $`u0`$ auf $`\overline{B_0V}`$. Sei $`\phi :=u_V`$. Aus Proposition 10 folgt die Existenz einer konvexen Funktion $`h`$, so daß $`h(r)m_\phi (r)`$ und $`m_\phi (r)h(ar+b)`$ für alle $`r0`$. Also ist

$`h(r)`$ $``$ $`sup\{\mathrm{log}(1+z)+\alpha (u):z<e^r\}`$
$``$ $`\mathrm{log}(1+e^r)+\alpha (u)`$
$``$ $`r+\alpha (u)+\mathrm{log}2`$
für $`r0`$.

Damit ist $`h`$ eine lineare Funktion mit Steigung kleiner oder gleich 1 auf $`_0^+`$ und wegen $`h(0)m_\phi (0)0`$ liegt $`h`$ unterhalb der Identität $`_0^+_0^+`$.

Ist $`zV`$, dann wählen wir $`r0`$, so daß $`zB_rV`$. Also gilt

$$u(\zeta )=\phi (\zeta )m_\phi (r)h(ar+b)ar+b$$

für alle $`\zeta V`$ nahe $`z`$. Damit ist $`S(z,\overline{B_0V})`$ lokal beschränkt in $`V`$ $`\mathrm{}`$