Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Arbeitsblatt 21

Aufgabe

Beschreibe das Spektrum eines diskreten Bewertungsringes.

Aufgabe

Es sei ${}R$ ein diskreter Bewertungsring und sei ${}{\mathfrak {m}}=(\pi )$. Es sei ${}K=R/(\pi )$ der Restklassenkörper von ${}R$. Zeige, dass es für jedes ${}n\in \mathbb {N}$ einen ${}R$- Modulisomorphismus

$(\pi ^{n})/(\pi ^{n+1})\longrightarrow K$

gibt.

Aufgabe

Es sei ${}R$ ein diskreter Bewertungsring mit Quotientenkörper ${}Q$. Zeige, dass es keinen echten Zwischenring zwischen ${}R$ und ${}Q$ gibt.

Aufgabe

Es sei ${}R$ ein diskreter Bewertungsring mit Quotientenkörper ${}Q$. Charakterisiere die endlich erzeugten ${}R$- Untermoduln von ${}Q$. Auf welche Form kann man ein Erzeugendensystem bringen?

Aufgabe

Es sei ${}K$ ein Körper der Charakteristik ${}0$ und sei ${}f\in K[X]$, ${}f\neq 0$, und ${}a\in K$. Zeige, dass die folgenden „Ordnungen“ von ${}f$ an der Stelle ${}a$ übereinstimmen.

1. Die Verschwindungsordnung von ${}f$ an der Stelle ${}a$, also die maximale Ordnung einer formalen Ableitung mit ${}f^{(k)}(a)=0$.
2. Der Exponent des Linearfaktors ${}X-a$ in der Zerlegung von ${}f$.
3. Die Ordnung von ${}f$ an der Lokalisierung ${}K[X]_{(X-a)}$ von ${}K[X]$ am maximalen Ideal ${}(X-a)$.

Aufgabe

Es sei ${}K$ ein Körper und ${}K(T)$ der Körper der rationalen Funktionen über ${}K$. Finde einen diskreten Bewertungsring ${}R\subseteq K(T)$ mit ${}Q(R)=K(T)$ und mit ${}R\cap K[T]=K$.

Aufgabe

Es sei ${}R$ ein diskreter Bewertungsring mit maximalem Ideal ${}{\mathfrak {m}}=(p)$. Zeige, dass die Ordnung

$R\setminus \{0\}\longrightarrow \mathbb {N} ,\,f\longmapsto \operatorname {ord} \,(f),$

folgende Eigenschaften besitzt.

1. ${}\operatorname {ord} \,(fg)=\operatorname {ord} \,(f)+\operatorname {ord} \,(g)$.
2. ${}\operatorname {ord} \,(f+g)\geq \operatorname {min} \left(\operatorname {ord} \,(f),\,\operatorname {ord} \,(g)\right)$.
3. Es ist ${}f\in {\mathfrak {m}}$ genau dann, wenn ${}\operatorname {ord} \,(f)\geq 1$ ist.
4. Es ist ${}f\in R^{\times }$ genau dann, wenn ${}\operatorname {ord} \,(f)=0$ ist.

Aufgabe

Es sei ${}p$ eine fixierte Primzahl. Zu jeder ganzen Zahl ${}n\neq 0$ bezeichne ${}\nu _{p}(n)$ den Exponenten, mit dem die Primzahl ${}p$ in der Primfaktorzerlegung von ${}n$ vorkommt.

a) Zeige: die Abbildung ${}\nu _{p}\colon \mathbb {Z} \setminus \{0\}\rightarrow \mathbb {N}$ ist surjektiv.

b) Zeige: es gilt ${}\nu _{p}(nm)=\nu _{p}(n)+\nu _{p}(m)$.

c) Finde eine Fortsetzung ${}\nu _{p}\colon \mathbb {Q} \setminus \{0\}\rightarrow \mathbb {Z}$ der gegebenen Abbildung, die ein Gruppenhomomorphismus ist (wobei ${}\mathbb {Q} ^{\times }=\mathbb {Q} \setminus \{0\}$ mit der Multiplikation und ${}\mathbb {Z}$ mit der Addition versehen ist).

d) Beschreibe den Kern des unter c) beschriebenen Gruppenhomomorphismus.

Aufgabe *

Es sei ${}K$ ein Körper und sei

$\nu \colon (K^{\times },\cdot ,1)\longrightarrow (\mathbb {Z} ,+,0)$

ein surjektiver Gruppenhomomorphismus mit ${}\nu (f+g)\geq \min\{\nu (f),\nu (g)\}$ für alle ${}f,g\in K^{\times }$. Zeige, dass

${}R={\left\{f\in K^{\times }\mid \nu (f)\geq 0\right\}}\cup \{0\}\,$

ein diskreter Bewertungsring ist.

Aufgabe *

Es sei ${}P\in C=V(F)\subset {\mathbb {A} }_{K}^{2}$ ein glatter Punkt einer ebenen irreduziblen Kurve. Zeige, dass der zugehörige lokale Ring ein diskreter Bewertungsring ist.

Aufgabe

Es sei ${}V=V(x^{2}+y^{2}-1)\subseteq {\mathbb {A} }_{K}^{2}$ der Einheitskreis über einem Körper ${}K$ und es sei ${}P=(a,b)\in V$ ein Punkt.

1. Zeige, dass der lokale Ring ${}R$ von ${}V$ im Punkt ${}P$ ein diskreter Bewertungsring ist.
2. Folgere, dass der Koordinatenring ${}K[X,Y]/(X^{2}+Y^{2}-1)$ normal ist (man kann ${}K$ algebraisch abgeschlossen annehmen).
3. Zeige, dass ${}K[X,Y]/(X^{2}+Y^{2}-1)$ nicht faktoriell ist.
4. Bestimme die Ordnung von ${}X$ und von ${}Y-1$ im lokalen Ring zum Punkt ${}(0,1)$.

Aufgabe

Es sei ${}K$ ein Körper. Eine Potenzreihe in einer Variablen über ${}K$ ist ein formaler Ausdruck der Form

$a_{0}+a_{1}T+a_{2}T^{2}+a_{3}T^{3}+\ldots {\text{ mit }}a_{i}\in K.$

Es kann hier also unendlich viele von ${}0$ verschiedene Koeffizienten ${}a_{i}$ geben. Definiere eine Ringstruktur auf der Menge aller Potenzreihen, die die Ringstruktur auf dem Polynomring in einer Variablen fortsetzt. Zeige, dass dieser Ring ein diskreter Bewertungsring ist.

Ein Modul, der außer ${}0$ keine Torsionselemente enthält, heißt torsionsfrei.

Aufgabe

Zeige, dass ein torsionsfreier endlich erzeugter Modul ${}M$ über einem diskreten Bewertungsring frei ist.