Kurs:Algebraische Kurven/14/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	4	3	1	4	4	5	6	4	4	7	7	4	4	1	64

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

Eine Nullstellenmenge zu einer Menge an Polynomen im Polynomring ${}K[X_{1},\ldots ,X_{n}]$ .
Ein ${}R$ -Modul ${}M$ über einem kommutativen Ring ${}R$ .
Der Koordinatenring zu einer affin-algebraischen Menge ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ .
Ein glatter Punkt ${}P$ auf einer ebenen algebraischen Kurve ${}C=V(F)\subseteq {\mathbb {A} }_{K}^{2}$ .
Ein diskreter Bewertungsring.
Der projektive Raum ${}{\mathbb {P} }_{K}^{n}$ .

Lösung

Man nennt
${\left\{P\in {{\mathbb {A} }_{K}^{n}}\mid F_{j}(P)=0{\text{ für alle }}j\in J\right\}}$

das durch die Familie definierte Nullstellengebilde.
Man nennt ${}M$ ${}M$ einen ${}R$ ${}R$ -Modul, wenn eine Operation
$R\times M\longrightarrow M,\,(r,v)\longmapsto rv=r\cdot v,$

festgelegt ist, die folgende Axiome erfüllt (dabei seien $r,s\in R$ und $u,v\in M$ beliebig):
1. ${}r(su)=(rs)u$ ,
2. ${}r(u+v)=(ru)+(rv)$ ,
3. ${}(r+s)u=(ru)+(su)$ ,
4. ${}1u=u$ .
Zu ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ mit Verschwindungsideal ${}\operatorname {Id} \,(V)$ nennt man ${}R(V)=K[X_{1},\ldots ,X_{n}]/\operatorname {Id} \,(V)$ den Koordinatenring von ${}V$ .
Der Punkt ${}P$ heißt glatt, wenn
${\frac {\partial F}{\partial X}}(P)\neq 0{\text{ oder }}{\frac {\partial F}{\partial Y}}(P)\neq 0$

gilt.
Ein diskreter Bewertungsring ${}R$ ist ein Hauptidealbereich mit der Eigenschaft, dass es bis auf Assoziiertheit genau ein Primelement in ${}R$ gibt.
Der projektive Raum ${}{\mathbb {P} }_{K}^{n}$ besteht aus allen Geraden des ${}{{\mathbb {A} }_{K}^{n+1}}$ durch den Nullpunkt.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

Der Satz über den globalen Schnittring zu ${}D(f)$ .
Der Satz über Gleichungen für monomiale Kurven.
Der Satz über Automorphismen auf dem Potenzreihenring.

Lösung

Es sei ${}K$ ein algebraisch abgeschlossener Körper, ${}R$ eine reduzierte ${}K$ - Algebra von endlichem Typ und sei ${}V=K\!\!-\!\operatorname {Spek} \,{\left(R\right)}$ das ${}K$ - Spektrum von ${}R$ . Es sei ${}F\in R$ mit zugehöriger offener Menge ${}D(F)\subseteq V$ . Dann ist
${}\Gamma (D(F),{\mathcal {O}})=R_{F}\,.$
Es sei ${}M\subseteq \mathbb {N}$ ein durch teilerfremde Elemente ${}e_{1},\ldots ,e_{n}$ erzeugtes Untermonoid und sei ${}\mathbb {N} ^{n}\rightarrow M$ die zugehörige surjektive Abbildung mit dem zugehörigen Restklassenhomomorphismus ${}\varphi \colon K[X_{1},\ldots ,X_{n}]\rightarrow K[M]$ . Dann wird das Kernideal durch
$\ker \varphi ={\left(\prod _{i\in I_{1}}X_{i}^{r_{i}}-\prod _{i\in I_{2}}X_{i}^{s_{i}}:\,I_{1},I_{2}\subseteq \{1,\ldots ,n\}{\text{ disjunkt }},\sum _{i\in I_{1}}r_{i}e_{i}=\sum _{i\in I_{2}}s_{i}e_{i}\right)}\,$
Es sei ${}K$ ein Körper, ${}K[\![T]\!]$ der Potenzreihenring über ${}K$ und ${}G={\sum }_{j=0}^{\infty }b_{j}T^{j}$ mit $b_{0}=0$ und $b_{1}\neq 0$ . Dann definiert der durch ${}T\mapsto G$ definierte Einsetzungshomomorpismus einen ${}K$ -Algebraautomorphismus auf ${}K[\![T]\!]$ .

Aufgabe (4 Punkte)

Man erläutere das Begriffspaar „lokal“ und „global“ anhand typischer Situationen im Rahmen der Theorie der algebraischen Kurven.

Lösung erstellen

Aufgabe (3 Punkte)

Zeige, dass im Polynomring ${}K[X,Y]$ über einem Körper ${}K$ das Ideal ${}(X,Y)$ kein Hauptideal ist.

Lösung

Nehmen wir an, dass

{}(X,Y)=(F)\,

mit einem Polynom ${}F\in K[X,Y]$ ist. Dann ist insbesondere ${}X=GF$ und ${}Y=HF$ . Betrachtet man die erste Gleichung als Gleichung in ${}(K[Y])[X]$ , so ergibt sich, dass ${}F$ zu ${}X$ assoziiert oder eine Einheit ist. Unter Berücksichtigung der zweiten Gleichung folgt, dass ${}F$ eine Einheit sein muss. In diesem Fall ist aber

{}(X,Y)\subset (F)=K[X,Y]\,,

da keine Linearkombination von ${}X$ und ${}Y$ gleich ${}1$ ist.

Aufgabe (1 Punkt)

Bestimme alle Lösungen der Kreisgleichung

{}x^{2}+y^{2}=1\,

für den Körper ${}K=\mathbb {Z} /(11)$ .

Lösung erstellen

Aufgabe (4 Punkte)

Es sei ${}K$ ein Körper und ${}K[X_{1},\ldots ,X_{n}]$ der Polynomring über ${}K$ in ${}n$ Variablen und ${}K[X_{1},\ldots ,X_{n},Z]$ der Polynomring in ${}n+1$ Variablen. Zeige, dass die Homogenisierung (bezüglich ${}Z$ ) mit der Multiplikation verträglich ist.

Lösung

Es seien

{}F=F_{d}+F_{d-1}+\cdots +F_{1}+F_{0}\,

und

{}G=G_{e}+G_{e-1}+\cdots +G_{1}+G_{0}\,

Polynome vom Grad ${}d$ bzw. ${}e$ in ihrer homogenen Zerlegung. Ihre Homogenisierungen sind

{}{\tilde {F}}=F_{d}+F_{d-1}Z+\cdots +F_{1}Z^{d-1}+F_{0}Z^{d}\,

bzw.

{}{\tilde {G}}=G_{e}+G_{e-1}Z+\cdots +G_{1}Z^{e-1}+G_{0}Z^{e}\,.

Das Produkt ist

{}{\tilde {F}}{\tilde {G}}=\sum _{k=0}^{d+e}P_{k}Z^{d+e-k}\,

mit

{}P_{k}=\sum _{i=0}^{d}F_{i}G_{k-i}\,.

Andererseits ist

{}FG=\sum _{k=0}^{d+e}H_{k}\,

mit den homogenen Komponenten

{}H_{k}=\sum _{i=0}^{d}F_{i}G_{k-i}\,

und die Homogenisierung davon ist

{}\sum _{k=0}^{d+e}H_{k}Z^{d+e-k}=\sum _{k=0}^{d+e}{\left(\sum _{i=0}^{d}F_{i}G_{k-i}\right)}Z^{d+e-k}=\sum _{k=0}^{d+e}P_{k}Z^{d+e-k}\,,

was mit der ersten Berechnung übereinstimmt.

Aufgabe (4 (3+1) Punkte)

Es sei ${}M=\{P_{1},\ldots ,P_{n}\}\subseteq K^{2}$ eine endliche Punktmenge in der Ebene über einem unendlichen Körper.

a) Zeige, dass man ${}M$ als Durchschnitt von zwei algebraischen Kurven erhalten kann.

b) Zeige, dass man ${}M$ als Durchschnitt von zwei irreduziblen algebraischen Kurven erhalten kann.

Lösung

Man findet eine (hinreichend generische) Linearform, die für die Punkte unterschiedliche Werte ergibt. Man kann also annehmen, dass Koordinaten derart vorliegen, dass in den Punkten
${}P_{i}=(a_{i},b_{i})\,$

die ersten Koordinaten verschieden sind. Es sei

${}F=(X-a_{1})\cdots (X-a_{n})\,.$

Wir wählen ein Polynom ${}H$ in der einen Variablen ${}X$ gemäß dem Interpolationssatz mit

${}H(a_{i})=b_{i}\,$

für ${}i=1,\ldots ,n$ . Mit ${}G=Y-H$ ist

${}M=V(F)\cap V(G)\,$

erhält man ${}M$ als Durchschnitt von zwei Kurven.
Wir ersetzen ${}F$ durch ${}F'=Y-H+F$ . Es ist
${}V(G)\cap V(F')=V(G)\cap V(F)=M\,$

und die beiden Kurven sind Graphen, also irreduzibel.

Aufgabe (5 Punkte)

Es sei ${}R$ ein kommutativer Ring und ${}f\in R$ sei nicht nilpotent. Zeige, dass es ein Primideal ${}{\mathfrak {p}}$ mit ${}f\notin {\mathfrak {p}}$ gibt.

Lösung

Wir betrachten die Menge der Ideale

{}M={\left\{{\mathfrak {a}}{\text{ Ideal }}\mid f^{r}\not \in {\mathfrak {a}}{\text{ für alle }}r\right\}}\,.

Diese Menge ist nicht leer, da sie das Nullideal enthält. Ferner ist sie induktiv geordnet (bezüglich der Inklusion). Ist nämlich ${}{\mathfrak {a}}_{i}$ , ${}i\in I$ , eine total geordnete Teilmenge von ${}M$ , so ist deren Vereinigung ebenfalls ein Ideal, das keine Potenz von ${}f$ enthält. Nach dem Lemma von Zorn gibt es daher maximale Elemente in ${}M$ .

Wir behaupten, dass ein solches maximales Element ${}{\mathfrak {p}}$ ein Primideal ist. Es sei dazu ${}g,h\in R$ und ${}gh\in {\mathfrak {p}}$ , und sei ${}g,h\notin {\mathfrak {p}}$ angenommen. Dann hat man echte Inklusionen

{}{\mathfrak {p}}\subseteq {\mathfrak {p}}+(g),{\mathfrak {p}}+(h)\,.

Wegen der Maximalität können die beiden Ideale rechts nicht zu ${}M$ gehören, und das bedeutet, dass es Exponenten ${}r,s\in \mathbb {N}$ mit

f^{r}\in {\mathfrak {p}}+(g)\,\,{\text{  und }}\,\,f^{s}\in {\mathfrak {p}}+(h)

gibt. Dann ergibt sich der Widerspruch

{}f^{r}f^{s}\in {\mathfrak {p}}+(gh)\subseteq {\mathfrak {p}}\,.

Aufgabe (6 Punkte)

Es sei

{}K=\mathbb {R} [X]/{\left(X^{2}+3X+5\right)}\,

und

{}L=\mathbb {R} [Y]/{\left(Y^{2}+4Y+7\right)}\,.

Stifte einen expliziten ${}\mathbb {R}$ - Algebraisomorphismus

K\longrightarrow L.

Lösung

Wir setzen die beiden Ringe zueinander in Bezug, indem wir zeigen, dass beide Ringe isomorph zu ${}\mathbb {C}$ sind (daher sind sie auch Körper). Das definierende Polynom zu ${}K$ schreiben wir als

{}X^{2}+3X+5={\left(X+{\frac {3}{2}}\right)}^{2}+5-{\frac {9}{4}}={\left(X+{\frac {3}{2}}\right)}^{2}+{\frac {11}{4}}\,.

Das Element (die Restklasse von ${}X$ in ${}K$ sei ${}x$ ) ${}u=x+{\frac {3}{2}}$ besitzt also die Eigenschaft, dass sein Quadrat gleich ${}-{\frac {11}{4}}$ ist, und dies bedeutet, dass das Quadrat von ${}{\frac {2}{\sqrt {11}}}u$ gleich ${}-1$ ist (d.h. dass ${\frac {2}{\sqrt {11}}}u$ in ${}K$ die Rolle von ${}{\mathrm {i} }$ spielt). Das definierende Polynom zu ${}L$ schreiben wir als

{}Y^{2}+4Y+7={\left(Y+2\right)}^{2}+7-4={\left(Y+2\right)}^{2}+3\,.

Das Element ${}v=y+2$ besitzt also die Eigenschaft, dass sein Quadrat gleich ${}-3$ ist, und dies bedeutet, dass das Quadrat von ${}{\frac {1}{\sqrt {3}}}v$ gleich ${}-1$ ist.

Mit dem Ansatz, dass sich die beiden Elemente, deren Quadrat gleich ${}-1$ ist, entsprechen sollten, gelangt man zur Korrespondenz

{}{\begin{aligned}x&=u-{\frac {3}{2}}\\&\sim {\frac {\sqrt {11}}{2}}{\mathrm {i} }-{\frac {3}{2}}\\&\sim {\frac {\sqrt {11}}{2}}{\frac {1}{\sqrt {3}}}v-{\frac {3}{2}}\\&={\frac {\sqrt {11}}{2{\sqrt {3}}}}{\left(y+2\right)}-{\frac {3}{2}}\\&={\frac {\sqrt {11}}{2{\sqrt {3}}}}y+{\frac {\sqrt {11}}{\sqrt {3}}}-{\frac {3}{2}}\\&={\frac {\sqrt {11}}{2{\sqrt {3}}}}y+{\frac {2{\sqrt {11}}-3{\sqrt {3}}}{2{\sqrt {3}}}}.\end{aligned}}

Deshalb gehen wir vom Einsetzungshomomorphismus

\varphi \colon \mathbb {R} [X]\longrightarrow \mathbb {R} [Y]/{\left(Y^{2}+4Y+7\right)},\,X\longmapsto {\frac {\sqrt {11}}{2{\sqrt {3}}}}y+{\frac {2{\sqrt {11}}-3{\sqrt {3}}}{2{\sqrt {3}}}},

aus. Dieser ist surjektiv, da ${}y$ getroffen wird. Der Kern muss aufgrund der bisherigen Überlegungen gleich ${}{\left(X^{2}+3X+5\right)}$ sein. Dies kann man auch direkt aus

{}{\begin{aligned}&\,\,\,\,\,\,\,\varphi {\left(X^{2}+3X+5\right)}\\&=\left({\frac {{\sqrt {11}}y+2{\sqrt {11}}-3{\sqrt {3}}}{2{\sqrt {3}}}}\right)^{2}+3{\left({\frac {{\sqrt {11}}y+2{\sqrt {11}}-3{\sqrt {3}}}{2{\sqrt {3}}}}\right)}+5\\&={\frac {11y^{2}+{\left(44-6{\sqrt {33}}\right)}y+{\left(2{\sqrt {11}}-3{\sqrt {3}}\right)}^{2}+6{\sqrt {33}}y+12{\sqrt {33}}-54+60}{12}}\\&={\frac {11y^{2}+44y+44+27-12{\sqrt {33}}+12{\sqrt {33}}+6}{12}}\\&={\frac {11y^{2}+44y+77}{12}}\\&={\frac {11}{12}}{\left(y^{2}+4y+7\right)}\\&=0\,\end{aligned}}

ablesen und daraus, dass dies ein irreduzibles Polynom ist. Der Isomorphissatz ergibt die Isomorphie

{}K=\mathbb {R} [X]/{\left(X^{2}+3X+5\right)}\cong \mathbb {R} [Y]/{\left(Y^{2}+4Y+7\right)}=L\,

Aufgabe (4 Punkte)

Es seien ${}R$ und ${}S_{1},\ldots ,S_{n}$ kommutative Ringe und es seien ${}\varphi _{i}\colon R\rightarrow S_{i}$ surjektive Ringhomomorphismen. Es sei

\varphi =\varphi _{1}\times \cdots \times \varphi _{n}\colon R\longrightarrow S_{1}\times \cdots \times S_{n}

der zugehörige Ringhomomorphismus in den Produktring

{}S=S_{1}\times \cdots \times S_{n}\,.

Es sei vorausgesetzt, dass die Elemente der Form ${}(1,0,\ldots ,0),(0,1,0,\ldots ,0),\ldots ,(0,\ldots ,0,1)$ zum Bild von ${}\varphi$ gehören. Zeige, dass ${}\varphi$ surjektiv ist.

Lösung

Die aufgelisteten Elemente seien mit ${}e_{1},\ldots ,e_{n}$ bezeichnet, es seien ${}g_{1},\ldots ,g_{n}\in R$ Elemente mit

{}\varphi (g_{i})=e_{i}\,.

Dies bedeutet

{}\varphi _{j}(g_{i})={\begin{cases}1{\text{ für }}i=j\,,\\0{\text{ sonst}}\,.\end{cases}}\,

Ein beliebiges Element ${}s\in S$ im Produktring kann man als ${}s=(s_{1},\ldots ,s_{n})$ mit ${}s_{i}\in S_{i}$ schreiben. Aufgrund der Surjektivität der einzelen Ringhomomorphismen gibt es Elemente ${}f_{i}\in R$ mit

{}\varphi _{i}(f_{i})=s_{i}\,.

Wir behaupten, dass ${}f_{1}g_{1}+\cdots +f_{n}g_{n}$ unter ${}\varphi$ auf ${}s$ abbildet. Dies stimmt, da wir in der ${}j$ -ten Komponente

{}{\begin{aligned}{\left(\varphi {\left(f_{1}g_{1}+\cdots +f_{n}g_{n}\right)}\right)}_{j}&=\varphi _{j}{\left(f_{1}g_{1}+\cdots +f_{n}g_{n}\right)}\\&=\varphi _{j}{\left(f_{1}\right)}\varphi _{j}{\left(g_{1}\right)}+\cdots +\varphi _{j}{\left(f_{n}\right)}\varphi _{j}{\left(g_{n}\right)}\\&=\varphi _{i}(f_{i})\\&=s_{i}\end{aligned}}

haben.

Aufgabe (4 Punkte)

Es sei ${}n\in \mathbb {N} _{+}$ . Zeige, dass das ${}{\mathbb {C} }$ - Spektrum des kommutativen Monoids ${}M=\mathbb {N} \times \mathbb {Z} /(n)$ aus ${}n$ irreduziblen Komponenten besteht, die alle isomorph zur affinen Geraden ${}{\mathbb {A} }_{\mathbb {C} }^{1}$ sind.

Lösung

Es ist

{}{\begin{aligned}{\mathbb {C} }[M]&={\mathbb {C} }[S,T]/(S^{n}-1)\\&={\mathbb {C} }[T][S]/(S^{n}-1)\\&={\mathbb {C} }[T][S]/(\prod _{\eta }(S-\zeta ))\\&={\mathbb {C} }[S]/(\prod _{\eta }(S-\zeta ))[T],\end{aligned}}

wobei ${}\zeta$ die ${}n$ komplexen Einheitswurzeln durchläuft. Es ist

{}{\mathbb {C} }[S]/(\prod _{\eta }(S-\zeta ))\cong {\mathbb {C} }^{n}\,,

wobei die Abbildung durch ${}S\mapsto (\zeta _{0},\zeta _{1},\ldots ,\zeta _{n-1})$ gegeben ist. Daher ist

{}{\mathbb {C} }[S]/(\prod _{\eta }(S-\zeta ))[T]\cong {\mathbb {C} }^{n}[T]=({\mathbb {C} }[T])^{n}\,

ein Produktring aus ${}n$ Polynomringen ${}{\mathbb {C} }[T]$ . Daher besteht das ${}{\mathbb {C} }$ - Spektrum dieses Ringes nach Lemma 13.12 (Algebraische Kurven (Osnabrück 2025-2026)) aus der ${}n$ -fachen disjunkten Vereinigung von

{}\operatorname {Spek} {\left({\mathbb {C} }[T]\right)}={\mathbb {A} }_{\mathbb {C} }^{1}\,.

Die affine Gerade ist irreduzibel.

Aufgabe (7 Punkte)

Beweise den Satz über Gleichungen für monomiale Kurven.

Lösung

Dass die angegebenen Elemente zum Kernideal gehören folgt direkt aus

{}\varphi {\left(\prod _{i\in I_{1}}X_{i}^{r_{i}}\right)}=\prod _{i\in I_{1}}{\left(t^{e_{i}}\right)}^{r_{i}}=t^{\sum _{i\in I_{1}}r_{i}e_{i}}\,.

Für die Umkehrung sei ${}F\in K[X_{1},\ldots ,X_{n}]$ ein Polynom mit ${}\varphi (F)=0$ . Wir schreiben

{}F=\sum _{\nu }a_{\nu }X^{\nu }\,

(mit ${}\nu =(\nu _{1},\ldots ,\nu _{n})$ ). Daher ist

{}\varphi (F)=\sum _{\nu }a_{\nu }t^{\sum _{i=1}^{n}\nu _{i}e_{i}}=\sum _{k=0}{\left(\sum _{\nu :\,\sum _{i=1}^{n}\nu _{i}e_{i}=k}a_{\nu }\right)}t^{k}\,.

Da dieses Polynom gleich ${}0$ ist müssen alle Koeffizienten ${}0$ sein, d.h. zu jedem ${}k$ gehört auch

{}F_{k}=\sum _{\nu :\,\sum _{i=1}^{n}\nu _{i}e_{i}=k}a_{\nu }X^{\nu }\,

zum Kern. Wir können also annehmen, dass in ${}F$ nur Monome ${}X^{\nu }$ mit dem gleichen Wert ${}\sum _{i=1}^{n}\nu _{i}e_{i}=k$ vorkommen. Betrachten wir ein solches Monom aus ${}F$ , sagen wir ${}X^{\nu }$ (mit ${}a_{\nu }\neq 0$ ). Es muss in ${}F$ mindestens noch ein weiteres Monom, sagen wir ${}X^{\mu }$ , vorkommen, da ein einzelnes Monom nicht auf ${}0$ abgebildet wird. Wir schreiben

{}F=a_{\nu }(X^{\nu }-X^{\mu })+{\left(F-a_{\nu }X^{\nu }+a_{\nu }X^{\mu }\right)}\,.

Im Summand rechts kommt ${}X^{\nu }$ nicht mehr vor, und es kommt auch kein neues Monom hinzu. In ${}X^{\nu }-X^{\mu }$ können wir diejenigen Variablen, die beidseitig auftreten, so weit ausklammern, dass sich ein Ausdruck der Form

{}X^{\nu }-X^{\mu }=X_{1}^{b_{1}}\cdots X_{n}^{b_{n}}{\left(\prod _{i\in I_{1}}X_{i}^{r_{i}}-\prod _{i\in I_{2}}X_{i}^{s_{i}}\right)}\,

mit disjunkten ${}I_{1}$ und ${}I_{2}$ und mit ${}\sum _{i\in I_{1}}e_{i}r_{i}=\sum _{i\in I_{2}}e_{i}s_{i}$ ergibt. Der linke Summand in obiger Beschreibung von ${}F$ gehört also zu dem von den angegebenen Binomen erzeugten Ideal und wir können mit dem rechten Summand, in dem ein Monom weniger vorkommt, fortfahren.

Aufgabe (7 Punkte)

Beweise den Satz über Automorphismen auf dem Potenzreihenring.

Lösung

Wir zeigen zunächst, dass es eine Potenzreihe ${}F={\sum }_{i=0}^{\infty }a_{i}T^{i}$ mit ${}F(G)=T$ gibt. Dabei muss ${}a_{0}=0$ und ${}a_{1}=b_{1}^{-1}$ sein. Es sei nun die Potenreihe ${}F$ mit der gewünschten Eigenschaft bis zum ${}(k-1)$ -Koeffizienten bereits konstruiert. Für den Koeffizienten ${}c_{k}$ hat man nach der Definition . die Bedingung

{}{\begin{aligned}0&=c_{k}\\&=\sum _{s=0}^{k}a_{s}{\left(\sum _{j_{1}+\cdots +j_{s}=k}b_{j_{1}}\cdots b_{j_{s}}\right)}\\&=\sum _{s=0}^{k-1}a_{s}{\left(\sum _{j_{1}+\cdots +j_{s}=k}b_{j_{1}}\cdots b_{j_{s}}\right)}+a_{k}b_{1}^{k}.\end{aligned}}

Daraus ergibt sich eine eindeutig lösbare Bedingung an ${}a_{k}$ .

Wir betrachten nun die Hintereinanderschaltung

K[\![T]\!]{\stackrel {T\mapsto F}{\longrightarrow }}K[\![T]\!]{\stackrel {T\mapsto G}{\longrightarrow }}K[\![T]\!].

Dabei ist die Gesamtabbildung der Einsetzungshomomorphismus ${}T\mapsto T$ , und das ist die Identität. Insbesondere ist die hintere Abbildung surjektiv. Da ${}K[\![T]\!]$ nach Korollar 24.7 (Algebraische Kurven (Osnabrück 2025-2026)) ein diskreter Bewertungsring ist, sind die Ideale darin bekannt, und nur das Nullideal kommt als Kern der Abbildung in Frage. Die Abbildung ist also auch injektiv und damit bijektiv.

Aufgabe (4 Punkte)

Zeige, dass die ebene projektive Kurve

{}V_{+}{\left(X^{4}+Y^{3}Z+Z^{4}\right)}\subset {\mathbb {P} }_{\mathbb {C} }^{2}\,

glatt ist.

Lösung

Sei ${}P=(x,y,z)$ ein Punkt der Kurve. Wenn ${}x=y=0$ ist, so muss auch ${}z=0$ sein. Da dies keinem Punkt der Kurve entspricht, folgt, dass die Kurve von ${}D_{+}(X)$ und ${}D_{+}(Y)$ überdeckt wird. Daher können wir mit den inhomogenen Kurvengleichungen in diesen beiden affinen offenen Mengen arbeiten.

${}D_{+}(X)$ . Wir setzen ${}X=1$ und erhalten die Gleichung ${}1+Y^{3}Z+Z^{4}=0$ . Die partiellen Ableitungen sind

{\frac {\partial {\left(1+Y^{3}Z+Z^{4}\right)}}{\partial Y}}=3Y^{2}Z\,\,{\text{  und }}\,\,{\frac {\partial {\left(1+Y^{3}Z+Z^{4}\right)}}{\partial Z}}=Y^{3}+4Z^{3}.

Wir müssen schauen, ob es Punkte auf der Kurve gibt, wo diese beiden Ableitungen verschwinden. Diese beiden Gleichungen sind nur bei ${}Y=Z=0$ simultan erfüllbar, doch das ist kein Punkt der Kurve.

${}D_{+}(Y)$ . Wir setzen ${}Y=1$ und erhalten die Gleichung ${}X^{4}+Z+Z^{4}=0$ . Die partiellen Ableitungen sind

{\frac {\partial {\left(X^{4}+Z+Z^{4}\right)}}{\partial X}}=4X^{3}\,\,{\text{  und }}\,\,{\frac {\partial {\left(X^{4}+Z+Z^{4}\right)}}{\partial Z}}=1+4Z^{3}.

Da wir die Punkte mit ${}X$ -Koordinate ${}\neq 0$ schon abgehandelt haben, können wir ${}X=0$ annehmen. Dann hat man die Kurvenbedingung und die zweite Ableitungsbedingung, also ${}Z+Z^{4}=0=1+4Z^{3}$ . Daraus folgt aber ${}3Z^{4}=0$ und somit ${}Z=0$ , was aber keine Lösung ist. Die Kurve ist also auch in diesen Punkten glatt.