Kurs:Einführung in die Theorie der Schemata/Arbeitsblatt 13

Übungsaufgaben

Aufgabe

Es sei ${}{\mathcal {F}}$ ein ${}{\mathcal {O}}_{X}$- Modul auf einem beringten Raum ${}{\left(X,{\mathcal {O}}_{X}\right)}$. Zeige, dass zu jedem Punkt  ${}P\in X$  der Halm ${}{\mathcal {F}}_{P}$ ein ${}{\mathcal {O}}_{X,P}$- Modul ist.

Aufgabe

Es seien ${}{\mathcal {F}}$ und ${}{\mathcal {G}}$ ${}{\mathcal {O}}_{X}$- Moduln auf einem beringten Raum ${}{\left(X,{\mathcal {O}}_{X}\right)}$. Zeige, dass dann auch die direkte Summe ${}{\mathcal {F}}\oplus {\mathcal {G}}$ ein ${}{\mathcal {O}}_{X}$-Modul ist.

Aufgabe

Es sei ${}{\mathcal {F}}$ ein ${}{\mathcal {O}}_{X}$- Modul auf einem beringten Raum ${}{\left(X,{\mathcal {O}}_{X}\right)}$ und  ${}{\mathcal {G}}\subseteq {\mathcal {F}}$  ein ${}{\mathcal {O}}_{X}$- Untermodul. Zeige, dass die Quotientengarbe ${}{\mathcal {F}}/{\mathcal {G}}$ in natürlicher Weise ein ${}{\mathcal {O}}_{X}$-Modul ist.

Aufgabe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein beringter Raum. Zeige, dass  ${}s\in \Gamma (X,{\mathcal {O}}_{X})$  genau dann eine Einheit ist, wenn der zugehörige ${}{\mathcal {O}}_{X}$- Modulhomomorphismus ${}{\mathcal {O}}_{X}\rightarrow {\mathcal {O}}_{X}$ ein Isomorphismus ist.

Aufgabe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein beringter Raum. Es seien  ${}s_{1},\ldots ,s_{n}\in \Gamma (X,{\mathcal {O}}_{X})$  globale Schnitte, die in ${}\Gamma (X,{\mathcal {O}}_{X})$ das Einheitsideal erzeugen. Zeige, dass der zugehörige ${}{\mathcal {O}}_{X}$- Modulhomomorphismus ${}{\mathcal {O}}_{X}^{n}\longrightarrow {\mathcal {O}}_{X}$, ${}e_{i}\longmapsto s_{i}$, surjektiv ist.

In der vorstehenden Aussage gilt nicht die Umkehrung, siehe Aufgabe 14.10.

Aufgabe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein beringter Raum. Es seien  ${}s_{1},\ldots ,s_{n}\in \Gamma (X,{\mathcal {O}}_{X})^{n}$  globale Schnitte mit  ${}s_{i}=\left(s_{i1},\,\ldots ,\,s_{in}\right)$.  Zeige, dass die Determinante der Matrix ${}{\left(s_{ij}\right)}_{1\leq i,j\leq n}$ genau dann eine Einheit in ${}\Gamma (X,{\mathcal {O}}_{X})$ ist, wenn der zugehörige ${}{\mathcal {O}}_{X}$- Modulhomomorphismus ${}{\mathcal {O}}_{X}^{n}\longrightarrow {\mathcal {O}}_{X}^{n}$, ${}e_{i}\longmapsto s_{i}$, ein Isomorphismus ist.

Aufgabe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein beringter Raum und seien ${}{\mathcal {M}}$ und ${}{\mathcal {N}}$ Modulgarben auf ${}X$. Es sei

$\varphi \colon {\mathcal {M}}\longrightarrow {\mathcal {N}}$

ein Garbenmorphismus und es sei  ${}X=\bigcup _{i\in I}U_{i}$  eine offene Überdeckung. Zeige die folgenden Aussagen.

1. Wenn die Abbildungen

   $\varphi _{U_{i}}\colon \Gamma {\left(U_{i},{\mathcal {M}}\right)}\longrightarrow \Gamma {\left(U_{i},{\mathcal {N}}\right)}$

   für alle ${}i$ mit der Addition verträglich sind, so gilt dies auch für

   $\varphi _{X}\colon \Gamma {\left(X,{\mathcal {M}}\right)}\longrightarrow \Gamma {\left(X,{\mathcal {N}}\right)}.$

2. Wenn die

   $\varphi _{U_{i}}\colon \Gamma {\left(U_{i},{\mathcal {M}}\right)}\longrightarrow \Gamma {\left(U_{i},{\mathcal {N}}\right)}$

   für alle ${}i$ mit den ${}\Gamma (U_{i},{\mathcal {O}}_{X})$-Skalarmultiplikationen verträglich sind, so gilt dies auch für

   $\varphi _{X}\colon \Gamma {\left(X,{\mathcal {M}}\right)}\longrightarrow \Gamma {\left(X,{\mathcal {N}}\right)}.$

3. Wenn die

   $\varphi {|}_{U_{i}}\colon {\mathcal {M}}{|}_{U_{i}}\longrightarrow {\mathcal {N}}{|}_{U_{i}}$

   ${}{\mathcal {O}}_{X}{|}_{U_{i}}$- Modulhomomorphismen für alle ${}i$ sind, so gilt dies auch für ${}\varphi$.

Aufgabe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein beringter Raum und sei ${}{\mathcal {F}}$ eine Modulgarbe auf ${}X$.

Zeige, dass es einen natürlichen ${}{\mathcal {O}}_{X}$- Modulhomomorphismus

${\mathcal {F}}\longrightarrow {\mathcal {F}}^{**}$

gibt.

Aufgabe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein beringter Raum und seien ${}{\mathcal {F}},{\mathcal {G}}$ Modulgarben auf ${}X$. Zeige, dass der Halm der Prägarbe

$U\longmapsto \Gamma {\left(U,{\mathcal {F}}\right)}\otimes _{\Gamma (U,{\mathcal {O}}_{X})}\Gamma {\left(U,{\mathcal {G}}\right)}$

in einem Punkt  ${}P\in X$  gleich

${}{\begin{aligned}\operatorname {colim} _{\Gamma {\left(U,{\mathcal {F}}\right)}\otimes _{\Gamma (U,{\mathcal {O}}_{X})}\Gamma {\left(U,{\mathcal {G}}\right)}}\,P\in U&={\left(\operatorname {colim} _{\Gamma {\left(U,{\mathcal {F}}\right)}}\,P\in U\right)}\otimes _{\left(\operatorname {colim} _{\Gamma (U,{\mathcal {O}}_{X})}\,P\in U\right)}{\left(\operatorname {colim} _{\Gamma {\left(U,{\mathcal {G}}\right)}}\,P\in U\right)}\\&={\mathcal {F}}_{P}\otimes _{{\mathcal {O}}_{X,P}}{\mathcal {G}}_{P}\end{aligned}}$

ist.

Aufgabe

Es sei ${}{\mathcal {F}}$ eine Modulgarbe auf einem beringten Raum ${}(X,{\mathcal {O}}_{X})$ und sei ${}{\mathcal {F}}^{*}$ die duale Garbe zu ${}{\mathcal {F}}$. Zeige, dass es einen natürlichen ${}{\mathcal {O}}_{X}$- Homomorphismus

${\mathcal {F}}\otimes _{{\mathcal {O}}_{X}}{\mathcal {F}}^{*}\longrightarrow {\mathcal {O}}_{X}$

gibt.

Aufgabe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein lokal beringter Raum und ${}{\mathcal {L}}$ eine invertierbare Garbe auf ${}X$. Es sei  ${}U\subseteq X$  eine offene Teilmenge derart, dass die Einschränkung ${}{\mathcal {L}}{|}_{U}$ trivial ist, und es sei ${}\varphi \colon {\mathcal {L}}{|}_{U}\rightarrow {\mathcal {O}}_{X}{|}_{U}$ ein Isomorphismus. Es sei  ${}s\in \Gamma {\left(X,{\mathcal {L}}\right)}$  ein globaler Schnitt mit dem Invertierbarkeitsort ${}X_{s}$. Zeige, dass  ${}X_{s}\cap U=U_{\varphi (s)}$,  wobei rechts der Invertierbarkeitsort zu ${}\Gamma {\left(U,{\mathcal {O}}_{X}{|}_{U}\right)}$ steht.

Aufgabe

Es sei ${}{\mathcal {L}}$ eine invertierbare Garbe auf einem beringten Raum ${}(X,{\mathcal {O}}_{X})$. Zeige, dass die duale Garbe ${}{\mathcal {L}}^{*}$ ebenfalls invertierbar ist.

Aufgabe

Es sei ${}{\mathcal {L}}$ und ${}{\mathcal {M}}$ invertierbare Garben auf einem beringten Raum ${}(X,{\mathcal {O}}_{X})$. Zeige, dass die Tensorierung ${}{\mathcal {L}}\otimes _{{\mathcal {O}}_{X}}{\mathcal {M}}$ ebenfalls invertierbar ist.

Aufgabe

Es sei ${}{\mathcal {L}}$ und ${}{\mathcal {M}}$ invertierbare Garben auf einem lokal beringten Raum ${}(X,{\mathcal {O}}_{X})$. Es seien  ${}s\in \Gamma {\left(X,{\mathcal {L}}\right)}$,   ${}t\in \Gamma {\left(X,{\mathcal {M}}\right)}$  und  ${}st\in \Gamma {\left(X,{\mathcal {L}}\otimes {\mathcal {M}}\right)}$.  Zeige, dass die Invertierbarkeitsorte

${}X_{st}=X_{s}\cap X_{t}\,$

erfüllen.

Aufgabe

Zeige, dass eine invertierbare Garbe ${}{\mathcal {L}}$ auf einem beringten Raum ${}(X,{\mathcal {O}}_{X})$ in natürlicher Weise isomorph zu ihrem Bidual ${}{\mathcal {L}}^{**}$ ist.

Aufgabe

Es sei ${}{\mathcal {L}}$ eine invertierbare Garbe auf einem beringten Raum ${}(X,{\mathcal {O}}_{X})$ und sei ${}{\mathcal {L}}^{*}$ die duale Garbe zu ${}{\mathcal {L}}$. Zeige, dass es einen natürlichen ${}{\mathcal {O}}_{X}$- Isomorphismus

${\mathcal {L}}\otimes _{{\mathcal {O}}_{X}}{\mathcal {L}}^{*}\longrightarrow {\mathcal {O}}_{X}$

gibt.