Lexikon der Mathematik: Serre, Dualitätssatz von
in impliziter Form einer der klassischen Sätze der Theorie der algebraischen Kurven.
In expliziter allgemeiner Form (für nicht notwendig kompakte komplexe Mannigfaltigkeiten beliebiger Dimension) wurde der Satz 1954 von J.-P. Serre formuliert und bewiesen.
Sei X eine zusammenhängende kompakte Riemannsche Fläche mit Strukturgarbe \({\mathcal{O}}\). Ω = Ω1 bezeichne die Garbe der Keime der holomorphen 1-Formen auf X und \( {\mathcal M} \) die Garbe der Keime der meromorphen Funktionen auf X. \({\mathcal{D}}={{\mathcal M}}^{*}/{{\mathcal{O}}}^{*}\) sei die Garbe der Keime der Divisoren. Die Divisorengruppe Div X := \({\mathcal{D}}\) (X) ist kanonisch isomorph zu der von den Punkten x ∈ X erzeugten freien abelschen Gruppe, jeder Divisor D ist also von der Form
Für jeden Divisor D ∈ Div X gibt es eine natürliche ℂ-Isomorphie
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.