Feine Garbe

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 26. Dezember 2018 um 23:27 Uhr durch imported>Texvc2LaTeXBot(2946330) (Texvc Makros durch LaTeX Pendant ersetzt gemäß mw:Extension:Math/Roadmap).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Eine feine Garbe ist ein mathematischer Begriff aus dem Gebiet der algebraischen Topologie und Funktionentheorie. Es handelt sich um eine Garbe mit einer zusätzlichen Eigenschaft. Mit Hilfe solcher Garben kann die Garbenkohomologie auch für allgemeine Garben auf parakompakten Hausdorffräumen berechnet werden.

Definition

Es seien ein topologischer Raum und eine Garbe abelscher Gruppen über .

Ist eine lokalendliche, offene Überdeckung von , so heißt eine Familie von Garbenmorphismen eine der Überdeckung untergeordnete Partition der Eins, falls gilt:

  • Für alle gibt es eine offene Umgebung von , so dass für alle , wobei der Halm über sei und die auf den Halmen induzierten Morphismen ebenfalls mit bezeichnet seien.
  • für alle .

Man beachte, dass die Summe in obiger Definition wegen der Lokalendlichkeit der Überdeckung stets nur endlich viele von 0 verschiedene Summanden hat uns daher wohldefiniert ist.

Die Garbe über heißt fein, wenn es zu jeder lokalendlichen, offenen Überdeckung von eine untergeordnete Partition der Eins gibt.[1]

Beispiele

Sätze und Anwendungen

Da die parakompakten Hausdorffräume definitionsgemäß über hinreichend viele lokalendliche Überdeckungen verfügen, liegt es nahe, dass man auf solchen Räumen starke Sätze über feine Garben beweisen kann.

  • Ist eine feine Garbe über einem parakompakten Hausdorffraum, so gilt für die Garbenkohomologie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^q(M,\mathcal{G}) = 0} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q>0} .[2]

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q=0} gilt das nicht, denn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^0(M,\mathcal{G})} ist ja die Gruppe der globalen Schnitte. Dies kann man verwenden, um folgenden Satz zu zeigen

  • Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{G}} eine Garbe über einem parakompakten Hausdorffraum und
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0\rightarrow \mathcal{G} \rightarrow \mathcal{G}_0 \,\xrightarrow{d_0}\, \mathcal{G}_1 \,\xrightarrow{d_1}\, \mathcal{G}_2 \,\xrightarrow{d_2}\, \ldots }
eine feine Garbenauflösung, das heißt alle Garben Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{G}_q} sind fein und alle Garbenmorphismen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d_q} sind exakt, wobei Exaktheit hier für jeden Halm gelten soll, so induziert jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d_q} eine Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d^*_q:\Gamma(M,\mathcal{G}_q) \rightarrow \Gamma(M,\mathcal{G}_{q+1})} zwischen den Gruppen der globalen Schnitte, und es gilt[3]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^q(M,\mathcal{G}) \cong \mathrm{ker}(d^*_q)/\mathrm{im}(d^*_{q-1})} .

Man kann weiter zeigen, dass es zu jeder Garbe über einem parakompakten Hausdorffraum eine feine Auflösung gibt, so dass obiger Satz im Prinzip stets zur Berechnung von Kohomologiegruppen herangezogen werden kann. Ein typisches Anwendungsbeispiel ist die feine Auflösung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0\rightarrow \mathcal{O} \rightarrow \mathcal{C}^{\infty}\, \xrightarrow{\overline \partial} \,\mathcal{C}^{\infty} \rightarrow 0}

der Garbe der holomorphen Funktionen über einem Gebiet Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M\subset \Complex} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{\partial}} der Differentialoperator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle \frac{1}{2}(\frac{\partial}{\partial x} + i\frac{\partial}{\partial y})} sei. Daraus ergibt sich[4]

  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^0(M,\mathcal{O}) = \Gamma(M,\mathcal{O})}
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^1(M,\mathcal{O}) = \Gamma(M,\mathcal{C}^\infty)/\overline{\partial}\Gamma(M,\mathcal{C}^\infty)}
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^q(M,\mathcal{O}) = 0} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q\ge 2} .

Da nach dem sogenannten Lemma von Dolbeault die Differentialgleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{\partial}f=g} für vorgegebene Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C^\infty} -Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C^\infty} lösbar ist[5], gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{\partial}\Gamma(M,\mathcal{C}^\infty) = \Gamma(M,\mathcal{C}^\infty)} und daher sogar Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^q(M,\mathcal{O}) = 0} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q\ge 1} für Gebiete Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M\subset \Complex} .

Einzelnachweise

  1. Robert C. Gunning: Vorlesungen über Riemannsche Flächen, BI-Hochschultaschenbücher, Band 837 (1972), ISBN 3-411-00837-7, Kapitel III.4: Feine Garben
  2. Robert C. Gunning: Vorlesungen über Riemannsche Flächen, BI-Hochschultaschenbücher, Band 837 (1972), ISBN 3-411-00837-7, Kapitel III.4, Satz 2
  3. Robert C. Gunning: Vorlesungen über Riemannsche Flächen, BI-Hochschultaschenbücher, Band 837 (1972), ISBN 3-411-00837-7, Kapitel III.4, Satz 2
  4. Robert C. Gunning: Vorlesungen über Riemannsche Flächen, BI-Hochschultaschenbücher, Band 837 (1972), ISBN 3-411-00837-7, Kapitel III.5
  5. O. Forster: Riemannsche Flächen, Springer Verlag Heidelberg 1977, ISBN 3-540-08034-1, Kapitel II, §13