Kohärente Garbe

aus Wikipedia, der freien Enzyklopädie

In den mathematischen Teilgebieten der algebraischen Geometrie und komplexen Analysis sind kohärente Garben das Analogon endlich erzeugter Moduln über noetherschen Ringen.

Definition

Es sei 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 X} ein geringter Raum, d. h. ein topologischer Raum zusammen mit einer Garbe von Ringen. Dann heißt eine 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 O_X} -Modulgarbe 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 M} kohärent, wenn

  1. endlich erzeugt ist, d. h. jeder Punkt 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 x} von 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 X} hat eine offene Umgebung 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 U} , auf der eine Surjektion 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 O_U^n\to\mathcal M_{|U}} existiert, und
  2. für jede offene Teilmenge von 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 X} und jeden Morphismus 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 O_U^n\to\mathcal M_{|U}} ist der Kern endlich erzeugt

Eigenschaften

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\to\mathcal M'\to\mathcal M\to\mathcal M''\to0}
eine kurze exakte Folge von Modulgarben, und sind zwei der drei Garben kohärent, so ist es auch die dritte.
  • Der Träger einer kohärenten Garbe ist abgeschlossen. (Dies gilt allgemeiner für beliebige endlich erzeugte Modulgarben.)

Kohärente Garben in der algebraischen Geometrie

  • 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 X} ein lokal noethersches Schema, so sind die kohärenten Garben gerade diejenigen quasikohärenten Garben, die lokal den endlich erzeugten Moduln entsprechen.
  • Kohärenzsatz: Direkte Bilder und höhere direkte Bilder kohärenter Garben unter eigentlichen Morphismen sind kohärent, sofern das Zielschema lokal noethersch ist. Ist insbesondere 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 A} ein noetherscher Ring 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 X} ein eigentliches 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 A} -Schema, so sind die Kohomologiegruppen kohärenter Garben als 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 A} -Moduln endlich erzeugt.

Kohärente Garben in der komplexen Analysis

  • Kohärenzsatz von Oka: Im Unterschied zur algebraischen Geometrie ist die Tatsache, dass 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 O_X} selbst kohärent ist, nicht trivial.
  • Direkte Bilder und höhere direkte Bilder kohärenter Garben unter eigentlichen holomorphen Abbildungen sind kohärent.

Literatur

  • Hans Grauert, Reinhold Remmert, Coherent Analytic Sheaves. Springer-Verlag, Berlin 1984. ISBN 3-540-13178-7
    Allgemeines: Anhang, §3; Kohärenz der Strukturgarbe: Kap. 2, §5; direkte Bilder: Kap. 10, §4
  • A. Grothendieck, J. Dieudonné: Éléments de géométrie algébrique. Publications mathématiques de l'IHÉS 4, 8, 11, 17, 20, 24, 28, 32 (1960–1967)
    Allgemeines: 0I, 5.3; direkte Bilder: III, 3.2