Kurs:Algebraische Kurven/11/Klausur mit Lösungen

Aufgabe	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	${}\sum$
Punkte	3	3	0	3	4	4	0	12	0	3	3	2	2	3	3	5	50

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Das Radikal zu einem Ideal ${}{\mathfrak {a}}\subseteq R$ in einem kommutativen Ring ${}R$.
2. Ein Kegelschnitt.
3. Die Lokalisierung eines kommutativen Ringes ${}R$ an einem Primideal ${}{\mathfrak {p}}$.
4. Die Normalisierung zu einem kommutativen Monoid ${}M$.
5. Die Homogenisierung zu einem Ideal ${}{\mathfrak {a}}=K[X_{1},\ldots ,X_{n}]$.
6. Eine projektive Varietät.

Lösung

1. Man nennt die Menge

   ${\left\{f\in R\mid {\text{es gibt ein }}r{\text{ mit }}f^{r}\in {\mathfrak {a}}\right\}}$

   das Radikal zu ${}{\mathfrak {a}}$.

2. Ein Kegelschnitt ${}C$ ist der Durchschnitt des Standardkegels ${}V(Z^{2}-X^{2}-Y^{2})$ mit einer affinen Ebene ${}V(aX+bY+cZ+d)$ (nicht alle $a,b,c=0$), also

   ${}C=V(Z^{2}-X^{2}-Y^{2})\cap V(aX+bY+cZ+d)\,.$

3. Man nennt die Nenneraufnahme an ${}S=R\setminus {\mathfrak {p}}$ die Lokalisierung von ${}R$ an ${}{\mathfrak {p}}$.
4. Das Untermonoid

   ${}{\tilde {M}}={\left\{m\in \Gamma (M)\mid {\text{ es gibt }}r\in \mathbb {N} _{+}{\text{ mit }}rm\in M\right\}}\,$

   heißt die Normalisierung von ${}M$.

5. Das Ideal in ${}K[X_{1},\ldots ,X_{n},Z]$, das von allen Homogenisierungen von Elementen aus ${}{\mathfrak {a}}$ erzeugt wird, heißt die Homogenisierung von ${}{\mathfrak {a}}$.
6. Eine Zariski-abgeschlossene Teilmenge ${}V_{+}({\mathfrak {a}})\subseteq {\mathbb {P} }_{K}^{n}$, wobei ${}{\mathfrak {a}}$ ein homogenes Ideal in ${}K[X_{0},X_{1},\ldots ,X_{n}]$ ist, heißt projektive Varietät.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

1. Der Satz über die Stetigkeit der Spektrumsabbildung.
2. Der Satz über die universelle Eigenschaft der Monoidringe.
3. Der Satz über die Glattheit und Normalität einer ebenen Kurve.

Lösung

1. Sei ${}K$ ein Körper und seien ${}R$ und ${}S$ kommutative Algebren von endlichem Typ. Es sei ${}\varphi \colon R\rightarrow S$ ein ${}K$-Algebrahomomorphismus. Dann induziert dies eine Abbildung

   $\varphi ^{*}\colon K\!\!-\!\operatorname {Spek} \,{\left(S\right)}\longrightarrow K\!\!-\!\operatorname {Spek} \,{\left(R\right)},\,P\longmapsto P\circ \varphi .$

   Diese Abbildung ist stetig bezüglich der Zariski-Topologie.
2. Sei ${}R$ ein kommutativer Ring und sei ${}M$ ein kommutatives Monoid. Sei ${}B$ eine kommutative ${}R$-Algebra und

   $\varphi \colon M\longrightarrow B$

   ein Monoidhomomorphismus (bezüglich der multiplikativen Struktur von ${}B$). Dann gibt es einen eindeutig bestimmten ${}R$-Algebrahomomorphismus

   ${\tilde {\varphi }}\colon R[M]\longrightarrow B$

   derart, dass das Diagramm

   ${\begin{matrix}M&{\stackrel {}{\longrightarrow }}&R[M]&\\&\searrow &\downarrow &\\&&B&\!\!\!\!\!\!\!\!\\\end{matrix}}$

   kommutiert.
3. Sei ${}K$ ein Körper und sei ${}F\in K[X,Y]$ nichtkonstant ohne mehrfachen Faktor mit zugehöriger algebraischer Kurve ${}C=V(F)$. Es sei ${}P=(a,b)\in C$ ein Punkt der Kurve mit maximalem Ideal ${}{\mathfrak {m}}=(X-a,Y-b)$ und mit lokalem Ring ${}R=(K[X,Y]_{\mathfrak {m}})/(F)$. Dann sind folgende Aussagen äquivalent.
   1. ${}P$ ist ein glatter Punkt der Kurve.
   2. Die Multiplizität von ${}P$ ist eins.
   3. ${}R$ ist ein diskreter Bewertungsring.
   4. ${}R$ ist ein normaler Integritätsbereich.

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (3 (1+1+1) Punkte)

1. Ist das Bild der Funktion

   $\mathbb {R} \longrightarrow \mathbb {R} ^{2},\,t\longmapsto \left(e^{t},\,e^{t}\right),$

   eine algebraische Kurve?

2. Ist das Bild der Funktion

   ${\mathbb {C} }\longrightarrow {\mathbb {C} }^{2},\,z\longmapsto \left(e^{z},\,e^{z}\right),$

   eine algebraische Kurve?

3. Ist das Bild der Funktion

   ${\mathbb {C} }\longrightarrow {\mathbb {C} }^{2},\,z\longmapsto \left(e^{z},\,e^{z}\right),$

   „isomorph“ zu einer algebraischen Kurve?

Lösung

1. Das Bild ist die Menge

   ${\left\{(x,x)\mid x\in \mathbb {R} _{+}\right\}}.$

   Der Durchschnitt mit der vollen Diagonalen ${}{\left\{(x,x)\mid x\in \mathbb {R} \right\}}$ besitzt unendlich viele Punkte, ist aber nicht die volle gerade, also ist das Bild nach Lemma 1.3 (Algebraische Kurven (Osnabrück 2017-2018)) keine ebene algebraische Kurve.

2. Das Bild ist die Menge

   ${\left\{(x,x)\mid x\in {\mathbb {C} }\setminus \{0\}\right\}}.$

   Somit ist wie in (1) keine ebene algebraische Kurve.

3. Nach (2) ist das Bild gleich ${}{\mathbb {C} }\setminus \{0\}$, dies ist isomorph zur komplexen Hyperbel ${}V(XY-1)\subseteq {\mathbb {C} }^{2}$.

Aufgabe (4 Punkte)

Bestimme die ${}x$-Koordinaten der Schnittpunkte von ${}V(X^{2}+Y^{2}-1)$ und ${}V(Y-2X^{2}+2)$ in ${}{\mathbb {A} }_{\mathbb {C} }^{2}$.

Lösung

Wir setzen

${}Y=2X^{2}-2\,$

in die Kreisgleichung ein und erhalten

${}{\begin{aligned}0&=X^{2}+Y^{2}-1\\&=X^{2}+{\left(2X^{2}-2\right)}^{2}-1\\&=X^{2}+4X^{4}-8X^{2}+4-1\\&=4X^{4}-7X^{2}+3.\end{aligned}}$

Dies führt auf

${}X^{4}-{\frac {7}{4}}X^{2}+{\frac {3}{4}}=0\,$

und somit auf

${}{\left(X^{2}-{\frac {7}{8}}\right)}^{2}-{\frac {49}{64}}+{\frac {3}{4}}=0\,.$

Daher ist

${}{\begin{aligned}X^{2}&=\pm {\sqrt {{\frac {49}{64}}-{\frac {3}{4}}}}+{\frac {7}{8}}\\&=\pm {\sqrt {{\frac {49}{64}}-{\frac {48}{64}}}}+{\frac {7}{8}}\\&=\pm {\frac {1}{8}}+{\frac {7}{8}},\end{aligned}}$

also

${}X^{2}=1\,$

oder

${}X^{2}={\frac {3}{4}}\,.$

Somit ist

${}X=1,-1,{\frac {\sqrt {3}}{2}},-{\frac {\sqrt {3}}{2}}\,.$

Aufgabe (4 Punkte)

Beweise den Satz über den Zariski-Abschluss zu einer Teilmenge ${}T\subseteq {{\mathbb {A} }_{K}^{n}}$.

Lösung

Die Inklusion ${}T\subseteq V(\operatorname {Id} \,(T))$ wurde in Lemma 3.8 (Algebraische Kurven (Osnabrück 2017-2018))  (1) gezeigt. Da ${}V(\operatorname {Id} \,(T))$ nach Definition abgeschlossen ist, folgt daraus ${}{\overline {T}}\subseteq V(\operatorname {Id} \,(T))$.

Sei umgekehrt ${}P\in V(\operatorname {Id} \,(T))$ und sei ${}P\not \in {\overline {T}}$ angenommen. Dies bedeutet, dass es eine Zariski-offene Menge ${}U$ gibt mit ${}P\in U$ und ${}U\cap T=\emptyset$. Sei ${}U=D({\mathfrak {a}})$. Die Bedingung ${}P\in U$ bedeutet, dass es ein ${}G\in {\mathfrak {a}}$ geben muss mit ${}G(P)\neq 0$. Es ist dann ${}P\in D(G)\subseteq U$ und damit ${}T\cap D(G)=\emptyset$. Also ist ${}T\subseteq V(G)$ und somit ${}G\in \operatorname {Id} \,(T)$. Wegen ${}G(P)\neq 0$ ergibt sich ein Widerspruch zu ${}P\in V(\operatorname {Id} \,(T))$.

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (12 (3+5+3+1) Punkte)

Es seien ${}R_{1},R_{2},\ldots ,R_{n}$ kommutative Ringe und sei

${}R=R_{1}\times R_{2}\times \cdots \times R_{n}\,$

der Produktring.

1. Es seien

   $I_{1}\subseteq R_{1},I_{2}\subseteq R_{2},\ldots ,I_{n}\subseteq R_{n}$

   Ideale. Zeige, dass die Produktmenge

   $I_{1}\times I_{2}\times \cdots \times I_{n}$

   ein Ideal in ${}R$ ist.

2. Zeige, dass jedes Ideal ${}I\subseteq R$ die Form

   ${}I=I_{1}\times I_{2}\times \cdots \times I_{n}\,$

   mit Idealen ${}I_{j}\subseteq R_{j}$ besitzt.

3. Sei

   ${}I=I_{1}\times I_{2}\times \cdots \times I_{n}\,$

   ein Ideal in ${}R$. Zeige, dass ${}I$ genau dann ein Hauptideal ist, wenn sämtliche ${}I_{j}$ Hauptideale sind.

4. Zeige, dass ${}R$ genau dann ein Hauptidealring ist, wenn alle ${}R_{j}$ Hauptidealringe sind.

Lösung

1. Wegen

   $0=(0,0,\ldots ,0)\in I$

   ist ${}I$ nicht leer. Für zwei Elemente ${}a=(a_{1},a_{2},\ldots ,a_{n})$ und ${}b=(b_{1},b_{2},\ldots ,b_{n})$ aus ${}I$ ist jeweils ${}a_{j},b_{j}\in I_{j}$. Daher ist stets ${}a_{j}+b_{j}\in I$ und somit gehört

   ${}a+b=(a_{1},a_{2},\ldots ,a_{n})+(b_{1},b_{2},\ldots ,b_{n})=(a_{1}+b_{1},a_{2}+b_{2},\ldots ,a_{n}+b_{n})\,$

   zum Ideal. Für

   $a=(a_{1},a_{2},\ldots ,a_{n})\in I$

   und

   $r=(r_{1},r_{2},\ldots ,r_{n})\in R$

   ist jeweils ${}a_{j}\in I_{j}$ und daher ${}r_{j}a_{j}\in I_{j}$. Somit gehört

   ${}ra=(r_{1},r_{2},\ldots ,r_{n})(a_{1},a_{2},\ldots ,a_{n})=(r_{1}a_{1},r_{2}a_{2},\ldots ,r_{n}a_{n})\,$

   zu ${}I$.

2. Zu einem Ideal

   ${}I\subseteq R\,$

   setzen wir

   ${}I_{j}={\left\{x\in R_{j}\mid (0,\ldots ,0,x,0,\ldots ,0)\in I\right\}}\,.$

   Hierbei steht ${}x$ an der ${}j$-ten Stelle. Dies ist jeweils ein Ideal in ${}R_{j}$: Es ist ${}0\in I_{j}$; wenn

   $(0,\ldots ,0,x,0,\ldots ,0),(0,\ldots ,0,y,0,\ldots ,0)\in I$

   ist auch

   $(0,\ldots ,0,x+y,0,\ldots ,0)\in I;$

   Wenn ${}x\in I_{j}$ und ${}r\in R_{j}$ ist, so ist

   $(0,\ldots ,0,x,0,\ldots ,0)\in I$

   und somit ist

   $(0,\ldots ,0,r,0,\ldots ,0)(0,\ldots ,0,x,0,\ldots ,0)=(0,\ldots ,0,rx,0,\ldots ,0)\in I,$

   also ${}rx\in I_{j}$. Wir behaupten

   ${}I=I_{1}\times I_{2}\times \cdots \times I_{n}\,.$

   Wenn

   $(a_{1},a_{2},\ldots ,a_{n})\in I$

   ist, so ist auch (mit der ${}1$ an der ${}j$-ten Stelle)

   $(0,\ldots ,0,1,0,\ldots ,0)\cdot (a_{1},a_{2},\ldots ,a_{n})=(0,\ldots ,0,a_{j},0,\ldots ,0)\in I,$

   also ${}a_{j}\in I_{j}$. Also ist ${}(a_{1},a_{2},\ldots ,a_{n})\in I_{1}\times I_{2}\times \cdots \times I_{n}$. Wenn umgekehrt${}a=(a_{1},a_{2},\ldots ,a_{n})\in I_{1}\times I_{2}\times \cdots \times I_{n}$ ist, so ist ${}a_{j}\in I_{j}$, also

   $(0,\ldots ,0,a_{j},0,\ldots ,0)\in I.$

   Wegen

   ${}(a_{1},a_{2},\ldots ,a_{n})=(a_{1},0,\ldots ,0)+(0,a_{2},0,\ldots ,0)+\cdots +(0,0,\ldots ,a_{n})\,$

   ist somit ${}a\in I$.

3. Es seien zunächst die ${}I_{j}=(f_{j})$ Hauptideale in ${}R_{j}$. Für jedes Element ${}a=(a_{1},a_{2},\ldots ,a_{n})\in I$ ist dann ${}a_{j}=r_{j}f_{j}$ mit einem ${}r_{j}\in R_{j}$. Damit ist

   ${}a=(a_{1},a_{2},\ldots ,a_{n})=(r_{1}f_{1},r_{2}f_{2},\ldots ,r_{n}f_{n})=(r_{1},r_{2},\ldots ,r_{n})(f_{1},f_{2},\ldots ,f_{n})\,,$

   also ist ${}(f_{1},f_{2},\ldots ,f_{n})$ ein Erzeuger von ${}I_{1}\times I_{2}\times \cdots \times I_{n}$ und es liegt ein Hauptideal vor. Wenn umgekehrt ${}I_{1}\times I_{2}\times \cdots \times I_{n}$ ein Hauptideal ist, so sei ${}(f_{1},f_{2},\ldots ,f_{n})$ ein Erzeuger davon. Zu jedem ${}a_{j}\in I_{j}$ gehört ${}(0,\ldots ,0,a_{j},0,\ldots ,0)$ zu ${}I$ und somit gibt es ein ${}r\in R$ mit

   ${}(0,\ldots ,0,a_{j},0,\ldots ,0)=(r_{1},r_{2},\ldots ,r_{n})(f_{1},f_{2},\ldots ,f_{n})\,.$

   Also ist

   ${}a_{j}=r_{j}f_{j}\,$

   und daher ist ${}f_{j}$ ein Erzeuger von ${}I_{j}$.

4. Dies folgt unmittelbar aus (3).

Aufgabe (0 Punkte)

Lösung /Aufgabe/Lösung

Aufgabe (3 (1+1+1) Punkte)

Wir betrachten die beiden Kurven ${}C=V(Y)$ und ${}D=V(Y-X^{2})$ über einem Körper ${}K$.

1. Zeige, dass der affine Koordinatenring von ${}C$ und auch der von ${}D$ in natürlicher Weise gleich ${}K[X]$ ist.
2. Bestimme die ${}K$-Dimension des Restklassenringes ${}R=K[X,Y]/(Y,Y-X^{2})$, der den Durchschnitt der beiden Kurven beschreibt.
3. Zeige, dass es Einheiten in ${}R$ gibt, die man nicht als ein Produkt von Einheiten schreiben kann, die von den beiden Koordinantenringen herrühren.

Lösung

1. Für ${}C$ ist der Koordinatenring unmittelbar gleich ${}K[X,Y]/(Y)\cong K[X]$. Für ${}D$ betrachten wir den Ringhomomorphismus ${}K[X,Y]\rightarrow K[X]$, der ${}X$ auf ${}X$ und ${}Y$ auf ${}X^{2}$ schickt. Der Kern ist dabei ${}(Y-X^{2})$ und smoit induziert dies eine Isomorphie ${}K[X,Y]/(Y-X^{2})\cong K[X]$.
2. Es ist

   ${}R=K[X,Y]/(Y,Y-X^{2})\cong K[X]/(X^{2})\,$

   mit der ${}K$-Basis ${}1,X$, die Dimension ist also ${}2$.

3. Wegen ${}(1+X)(1-X)=1-X^{2}=1$ in ${}R$ ist ${}1+X$ eine Einheit. Die Einheiten in den Koordinatenringen sind aber nur die Konstanten ${}\neq 0$ aus ${}K$, deren Produkte ergeben nur die Konstanten.

Aufgabe (3 Punkte)

Es sei ${}C\subseteq \mathbb {R} ^{3}$ das Bild der Abbildung

$\mathbb {R} \longrightarrow \mathbb {R} ^{3},\,t\longmapsto (t,t^{2},t^{3})=(x,y,z).$

Skizziere die Bilder von ${}C$ unter den Projektionen auf die verschiedenen Koordinatenebenen.

Lösung Projektionen/t t^2 t^3/Skizziere/Aufgabe/Lösung

Aufgabe (2 Punkte)

Man gebe ein Beispiel für einen injektiven Monoidhomomorphismus ${}M\rightarrow N$ zwischen kommutativen Monoiden derart an, dass die zugehörige Spektrumsabbildung nicht surjektiv ist.

Lösung

Wir betrachten die Inklusion ${}\mathbb {N} \subset \mathbb {Z}$. Zu einem beliebigen Körper ${}K$ ist die Abbildung ${}\varphi \colon \mathbb {N} \rightarrow (K,\cdot ,1)$, die ${}0$ auf ${}1$ und alle positiven Zahlen auf ${}0$ abbildet, ein Monoidhomomorphismus, also ein Punkt aus ${}K\!\!-\!\operatorname {Spek} \,{\left(K[\mathbb {N} ]\right)}$. Dieser Homomorphismus ist nicht zu einem Monoidhomomorphismus auf ganz ${}\mathbb {Z}$ ausdehnbar, da dort ${}1$ invertierbar ist und daher auf eine Einheit geschickt werden muss.

Aufgabe (2 Punkte)

Ist die ebene projektive Kurve ${}V_{+}{\left(X^{4}+Z^{3}Y+Z^{4}\right)}\subset {\mathbb {P} }_{\mathbb {C} }^{2}$ isomorph zum projektiven Abschluss einer monomialen Kurve?

Lösung

Wir schreiben

${}X^{4}+Z^{3}Y+Z^{4}=X^{4}+Z^{3}(Y+Z)=X^{4}-Z^{3}W\,,$

wobei wir ${}W=-Y-Z$ schreiben. D.h. wir führen eine projektive Variablentransformation durch und schreiben die Gleichung in den neuen Variablen ${}X,Z,W$. In dieser Form ist die Kurve der projektive Abschluss der affinen monomialen Kurve ${}X^{4}-Z^{3}$.

Aufgabe (3 Punkte)

Es sei ${}A$ eine kommutative ${}R$-Algebra über einem kommutativen Ring ${}R$. Zu ${}f\in A$ bezeichne

$\mu _{f}\colon A\longrightarrow A,\,x\longmapsto fx,$

die ${}R$-lineare Multiplikationsabbildung und zu zwei ${}R$-linearen Abbildungen

$\varphi _{1},\varphi _{2}\colon A\longrightarrow A$

bezeichne

${}[\varphi _{1},\varphi _{2}]=\varphi _{1}\circ \varphi _{2}-\varphi _{2}\circ \varphi _{1}\,.$

Es sei ${}\delta \colon A\rightarrow A$ eine ${}R$-Derivation. Zeige, dass zu jedem ${}g\in A$ die Abbildung ${}[\delta ,\mu _{g}]$ eine Multiplikationsabbildung ist.

Lösung

Es ist

${}{\begin{aligned}[\delta ,\mu _{g}](x)&={\left(\delta \circ \mu _{g}-\mu _{g}\circ \delta \right)}(x)\\&=\delta (gx)-g\delta (x)\\&=g\delta (x)+x\delta (g)-g\delta (x)\\&=x\delta (g).\end{aligned}}$

Somit ist ${}[\delta ,\mu _{g}]$ die Multiplikation mit ${}\delta (g)$.

Aufgabe (3 (1+1+1) Punkte)

Betrachte die affine Nullstellenmenge

${}V:=V{\left(X^{2}+Y^{2}+1\right)}\subseteq {\mathbb {A} }_{K}^{2}\,$

über dem Körper ${}K=\mathbb {Z} /(2)$ mit zwei Elementen.

1. Bestimme die Punkte von ${}V$.
2. Bestimme den projektiven Abschluss von ${}V$.
3. Zeige, dass der projektive Abschluss von ${}V$ nicht mit der projektiven Nullstellenmenge zur Homogenisierung von ${}X^{2}+Y^{2}+1$ übereinstimmt.

Lösung

1. ${}V$ besteht genau aus den beiden Punkten ${}(1,0)$ und ${}(0,1)$.
2. Der projektive Abschluss von ${}V$ stimmt mit ${}V$ überein, da endliche Mengen stets abgeschlossen sind.
3. Die Homogenisierung von ${}X^{2}+Y^{2}+1$ ist ${}X^{2}+Y^{2}+Z^{2}$. Die Punkte im Unendlichen ergeben sich, wenn man ${}Z=0$ setzt, also als Lösung der Gleichung

   ${}X^{2}+Y^{2}=0\,.$

   Es kommt der Punkt mit den homogenen Koordinaten ${}(1,1,0)$ hinzu, deshalb sind die beiden Mengen verschieden.

Aufgabe (5 Punkte)

Beweise den Satz über die noethersche Normalisierung für projektive Kurven.

Lösung

Es sei ${}P\in {\mathbb {P} }_{K}^{2}$ ein Punkt, der nicht auf der Kurve liegt. Einen solchen Punkt gibt es, da der Körper insbesondere unendlich ist. Wir betrachten die Projektion weg von ${}P$, die insgesamt einen Morphismus

$C\hookrightarrow {\mathbb {P} }_{K}^{2}\setminus \{P\}\longrightarrow {\mathbb {P} }_{K}^{1}$

induziert. Die Faser dieses Morphismus über einem Punkt ${}Q\in {\mathbb {P} }_{K}^{1}$ (der eine Richtung in $P\in {\mathbb {P} }_{K}^{2}$ repräsentiert) besteht genau aus den Punkten der Kurve, die auf der durch ${}Q$ definierten Geraden

${}G=V_{+}(aX+bY+cZ)\cong {\mathbb {P} }_{K}^{1}\subset {\mathbb {P} }_{K}^{2}\,$

liegen. Daher wird die Faser über ${}Q$ auf ${}G$ beschrieben, indem man in der Kurvengleichung ${}C=V_{+}(F)$ mittels der Geradengleichung eine Variable eliminiert. Das Ergebnis ist ein homogenes Polynom ${}{\bar {F}}$ in zwei Variablen vom Grad ${}d$, das nicht ${}0$ ist, denn sonst wäre ${}P$ ein Punkt der Kurve. Da wir über einem algebraisch abgeschlossenen Körper sind, besitzt dieses Polynom ${}{\bar {F}}$ mindestens eine und höchstens ${}d$ Nullstellen, die alle von ${}P$ verschieden sind. Dies ergibt die Surjektivität und die Abschätzung für die Faser.