Riemannsche Fläche/Divisoren/Kohomologie/Fakt/Beweis

Beweis

Die lange exakte Kohomologiesequenz zur kurzen exakten Garbensequenz

$0\,{\stackrel {}{\longrightarrow }}\,{\mathcal {O}}_{X}^{\times }\,{\stackrel {}{\longrightarrow }}\,{\mathcal {M}}_{X}^{\times }\,{\stackrel {\operatorname {div} {\left(-\right)}}{\longrightarrow }}\,{{\mathcal {D}}iv}_{X}\,{\stackrel {}{\longrightarrow }}\,0$

ist

$0\longrightarrow H^{0}(X,{\mathcal {O}}_{X}^{\times })\longrightarrow H^{0}(X,{\mathcal {M}}_{X}^{\times }){\stackrel {\operatorname {div} {\left(-\right)}}{\longrightarrow }}\operatorname {Div} {\left(X\right)}{\stackrel {\delta }{\longrightarrow }}H^{1}(X,{\mathcal {O}}_{X}^{\times })\longrightarrow H^{1}(X,{\mathcal {M}}_{X}^{\times })\longrightarrow 0,$

wobei die ${}0$ rechts auf der Welkheit der Divisorengarbe beruht. Der Zusatz folgt unmittelbar aus der Definition der Divisorenklassengruppe.

Zur bewiesenen Aussage