Satz von Riemann-Roch

aus Wikipedia, der freien Enzyklopädie

Der Satz von Riemann-Roch (nach dem Mathematiker Bernhard Riemann und seinem Schüler Gustav Roch) ist eine zentrale Aussage der Theorie kompakter riemannscher Flächen. Er gibt an, wie viele linear unabhängige meromorphe Funktionen mit vorgegebenen Null- und Polstellen auf einer kompakten riemannschen Fläche existieren. Der Satz wurde später auf algebraische Kurven ausgedehnt, noch weiter verallgemeinert und wird auch in der aktuellen Forschung noch weiterentwickelt.

Divisor

Um Null- und Polstellen einer Funktion an bestimmten Stellen vorschreiben zu können, wird der Begriff Divisor eingeführt. 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} eine riemannsche Fläche. Eine Funktion 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 \colon X \rightarrow \mathbb{Z}} heißt Divisor, falls sie nur an isolierten Punkten von null verschieden ist.

Der Divisor einer meromorphen Funktion 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 f:X \rightarrow \mathbb{P}^1} in die riemannsche Sphäre wird mit bezeichnet und ist so definiert, dass jedem 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 \in X} die Null- bzw. Polstellenordnung 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 f} 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 x} zugeordnet wird:

Damit ist der Divisor einer Funktion tatsächlich ein Divisor nach der ersten Definition, wenn die Funktion auf jeder Zusammenhangskomponente von von der Nullfunktion verschieden ist. Für eine meromorphe 1-Form auf wird der Divisor Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (\omega )} wie bei einer Funktion definiert. Ein Divisor heißt kanonischer Divisor, wenn er sich als Divisor einer meromorphen 1-Form Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (\omega )} schreiben lässt, also wenn Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle D=(\omega )} .

Für eine kompakte riemannsche Fläche ist der Grad eines Divisors definiert durch . Die Summe ist endlich, da aufgrund der Kompaktheit der Träger aus isolierten Punkten eine endliche Menge sein muss.

Aussage über riemannsche Flächen

Sei eine kompakte riemannsche Fläche vom topologischen Geschlecht Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle g\in \mathbb {N} _{0}} und ein Divisor auf . Dann gilt:

steht für einen beliebigen kanonischen Divisor 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 X} . 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 \ell(E)} bezeichnet für einen Divisor 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 E} die Dimension des 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 \mathbb{C}} -Vektorraums 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 L(E)} der meromorphen Funktionen 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 X} , deren Null- und Polstellen durch den Divisor wie folgt eingeschränkt werden:

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 L(E) := \left\{ f : X \rightarrow \mathbb{P}^1 \mbox{ meromorph} \,|\, \left(f\right)(x) \geq -E(x) \; \forall \, x \in X \right\}}

Aussage über algebraische Kurven

Für nicht-singuläre projektive algebraische Kurven über einem algebraisch abgeschlossenen Körper 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 K} wird der Satz von Riemann-Roch üblicherweise mit Hilfe der Kohomologietheorie formuliert.

Er lautet dann:

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 \dim_K H^0\left(X, \mathcal{O}_X\right) - \dim_K H^1\left(X, \mathcal{O}_X\right) = 1 - g}

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} ist die Garbe der regulären Funktionen 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 X} . Anstelle des topologischen Geschlechts tritt das arithmetische Geschlecht der Kurve, welches im Falle 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 K = \mathbb{C}} mit dem topologischen zusammenfällt. Der Dualitätssatz von Serre besagt, dass die Formulierung im Falle 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 K = \mathbb{C}} mit der des Abschnitts über riemannsche Flächen übereinstimmt.

Konsequenzen

  • Als ein erstes Klassifikationsresultat folgt sofort, dass jede riemannsche Fläche vom Geschlecht 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} isomorph ist zur riemannschen Sphäre , insbesondere kann also auf der Sphäre 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 {S}^2} nur eine einzige holomorphe Struktur definiert werden. Für nicht-singuläre projektive Kurven vom Geschlecht 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} gilt entsprechend, dass sie birational äquivalent zu 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 \mathbb{P}^1} sind.
  • Die Formel von Riemann-Hurwitz über das Abbildungsverhalten holomorpher Funktionen zwischen zwei kompakten riemannschen Flächen bzw. über das Abbildungsverhalten von Morphismen zwischen zwei nicht-singulären projektiven Kurven.
  • Ein Einbettungssatz: Jede kompakte riemannsche Fläche bzw. jede nicht-singuläre projektive Kurve kann in den projektiven Raum 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 \mathbb{P}^3} eingebettet werden.

Weitere Verallgemeinerungen

Literatur

  • Otto Forster: Riemannsche Flächen (= Heidelberger Taschenbücher 184). Springer, Berlin u. a. 1977, ISBN 3-540-08034-1 (Englisch: Lectures on Riemann Surfaces (= Graduate Texts in Mathematics 81). Corrected 2nd printing. ebenda 1991, ISBN 3-540-90617-7).
  • Robin Hartshorne: Algebraic Geometry (= Graduate Texts in Mathematics 52). Springer, New York u. a. 1977, ISBN 0-387-90244-9.
  • Klaus Lamotke: Riemannsche Flächen. Springer, Berlin u. a. 2005, ISBN 3-540-57053-5.
  • Jeremy Gray, The Riemann-Roch theorem and geometry, 1854-1914, ICM Berlin 1998, Documenta Mathematica, 1998, S. 811–822