Kurs:Algebraische Kurven/10/Klausur mit Lösungen/latex

Aus Wikiversity

%Daten zur Institution

%\input{Dozentdaten}

%\renewcommand{\fachbereich}{Fachbereich}

%\renewcommand{\dozent}{Prof. Dr. . }

%Klausurdaten

\renewcommand{\klausurgebiet}{ }

\renewcommand{\klausurtyp}{ }

\renewcommand{\klausurdatum}{ . 20}

\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}

%Daten für folgende Punktetabelle


\renewcommand{\aeins}{ 3 }

\renewcommand{\azwei}{ 3 }

\renewcommand{\adrei}{ 2 }

\renewcommand{\avier}{ 3 }

\renewcommand{\afuenf}{ 6 }

\renewcommand{\asechs}{ 5 }

\renewcommand{\asieben}{ 3 }

\renewcommand{\aacht}{ 4 }

\renewcommand{\aneun}{ 3 }

\renewcommand{\azehn}{ 5 }

\renewcommand{\aelf}{ 8 }

\renewcommand{\azwoelf}{ 5 }

\renewcommand{\adreizehn}{ 4 }

\renewcommand{\avierzehn}{ 2 }

\renewcommand{\afuenfzehn}{ 3 }

\renewcommand{\asechzehn}{ 4 }

\renewcommand{\asiebzehn}{ 1 }

\renewcommand{\aachtzehn}{ 64 }

\renewcommand{\aneunzehn}{ }

\renewcommand{\azwanzig}{ }

\renewcommand{\aeinundzwanzig}{ }

\renewcommand{\azweiundzwanzig}{ }

\renewcommand{\adreiundzwanzig}{ }

\renewcommand{\avierundzwanzig}{ }

\renewcommand{\afuenfundzwanzig}{ }

\renewcommand{\asechsundzwanzig}{ }

\punktetabellesiebzehn

\klausurnote

\newpage


\setcounter{section}{0}





\inputaufgabepunkteloesung
{3}
{

Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die \stichwort {homogene Zerlegung} {} zu einem Polynom
\mathl{F \in K[X_1 , \ldots , X_n]}{.}

}{Ein \stichwort {zusammenhängender} {} topologischer Raum $X$.

}{Sei
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ U }
{ \subseteq }{ K\!-\!\operatorname{Spek}\, { \left( R \right) } }
{ }{ }
{ }{ }
} {}{}{} ein Punkt in einer offenen Menge $U$ im $K$-\definitionsverweis {Spektrum}{}{} von $R$. Es sei \maabb {f} {U} { {\mathbb A}^{1}_{K} = K } {} eine Funktion. Was bedeutet es, dass diese Funktion \stichwort {algebraisch} {} ist?

}{Die Führungszahl zu einem numerischen Monoid $M$.

}{Die \stichwort {Ordnung} {} zu einem Element \mathind { f \in R } { f \neq 0 }{,} in einem \definitionsverweis {diskreten Bewertungsring}{}{} $R$.

}{Das \stichwort {projektive Nullstellengebilde} {} zu einem homogenen Polynom
\mathl{F \in K[X_0,X_1 , \ldots , X_n ]}{.} }

}
{

\aufzaehlungsechs{Zu
\mavergleichskette
{\vergleichskette
{F }
{ = }{ \sum_{\nu} a_\nu X^\nu }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt die Zerlegung
\mavergleichskettedisp
{\vergleichskette
{F }
{ =} { \sum_{i = 0}^d F_i }
{ } { }
{ } { }
{ } { }
} {}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{F_i }
{ =} { \sum_{\nu,\, | \nu | = i} a_\nu X^\nu }
{ } { }
{ } { }
{ } { }
} {}{}{} die homogene Zerlegung von $F$. }{Ein \definitionsverweis {topologischer Raum}{}{} $X$ heißt zusammenhängend, wenn es in $X$ genau zwei Teilmengen gibt \zusatzklammer {nämlich $\emptyset$ und der Gesamtraum \mathlk{X \neq \emptyset}{}} {} {,} die sowohl \definitionsverweis {offen}{}{} als auch \definitionsverweis {abgeschlossen}{}{} sind. }{Algebraisch im Punkt $P$ bedeutet, dass es Elemente
\mathl{G,H \in R}{} gibt mit
\mathl{P \in D(H) \subseteq U}{} und mit
\mathdisp {f(Q) = \frac{G(Q)}{H(Q)} \text{ für alle } Q \in D(H)} { . }
}{Man nennt die minimale Zahl $f$ mit
\mavergleichskette
{\vergleichskette
{ \N_{\geq f} }
{ \subseteq }{ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Führungszahl von $M$. }{Es sei $p$ das \definitionsverweis {Primelement}{}{} von $R$. Die Zahl
\mathl{n \in \N}{} mit der Eigenschaft
\mavergleichskette
{\vergleichskette
{f }
{ = }{up^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wobei $u$ eine \definitionsverweis {Einheit}{}{} bezeichne, heißt die Ordnung von $f$. }{Man bezeichnet die Menge
\mavergleichskettedisp
{\vergleichskette
{ V_+(F) }
{ =} {{ \left\{ P=(x_0 , \ldots , x_n) \in {\mathbb P}^{n}_{K} \mid F(x_0 , \ldots , x_n) = 0 \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} als die projektive Nullstellenmenge zu $F$. }


}





\inputaufgabepunkteloesung
{3}
{

Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz über irreduzible Teilmengen und Verschwindungsideale.}{Der Satz über die Beziehung von faktoriell und normal.}{Potenreihenring/Eine Variable/Einsetzen ergibt Ringhomomorphismus/Fakt/Name}

}
{

\aufzaehlungdrei{Es sei
\mathl{V \subseteq { {\mathbb A}_{ K }^{ n } }}{} eine affin-algebraische Menge mit Verschwindungsideal
\mathl{\operatorname{Id} \,(V)}{.} Dann ist $V$ genau dann irreduzibel, wenn
\mathl{\operatorname{Id} \, (V)}{} ein Primideal ist.}{Es sei $R$ ein faktorieller Integritätsbereich. Dann ist $R$ normal.}{Potenreihenring/Eine Variable/Einsetzen ergibt Ringhomomorphismus/Fakt}


}





\inputaufgabepunkteloesung
{2}
{

Bestimme die Schnittpunkte des Einheitskreises $E$ mit dem Kreis $K$, der den Mittelpunkt $(1,0)$ und den Radius $2$ besitzt.

}
{

Der Einheitskreis ist die Lösungsmenge der Gleichung
\mavergleichskettedisp
{\vergleichskette
{x^2+y^2 }
{ =} {1 }
{ } { }
{ } { }
{ } { }
} {}{}{} und $K$ ist die Lösungsmenge der Gleichung
\mavergleichskettedisp
{\vergleichskette
{ (x-1)^2 +y^2 }
{ =} { x^2-2x +1 +y^2 }
{ =} {4 }
{ } { }
{ } { }
} {}{}{.} Wenn man von der zweiten Gleichung die erste abzieht, so erhält man
\mavergleichskettedisp
{\vergleichskette
{ -2x +1 }
{ =} {3 }
{ } { }
{ } { }
{ } { }
} {}{}{,} also
\mavergleichskettedisp
{\vergleichskette
{x }
{ =} { -1 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Aus der Einheitskreisgleichung folgt daraus, dass
\mavergleichskettedisp
{\vergleichskette
{y }
{ =} {0 }
{ } { }
{ } { }
{ } { }
} {}{}{} sein muss. Der einzige Schnittpunkt ist also
\mathl{(-1,0)}{} \zusatzklammer {der in der Tat ein Schnittpunkt ist} {} {.}


}





\inputaufgabepunkteloesung
{3 (1+2)}
{

Es sei $C \subseteq \R^3$ das \definitionsverweis {Bild}{}{} der Abbildung \maabbeledisp {} {\R} {\R^3 } {t} { \left( t , \, \cos t , \, \sin t \right) = \left( x , \, y , \, z \right) } {.} \aufzaehlungzwei {Erfüllt $C$ eine algebraische Gleichung? } {Ist $C$ eine algebraische Kurve? }

}
{

\aufzaehlungzwei {Das Bild $C$ erfüllt die algebraische Gleichung
\mavergleichskette
{\vergleichskette
{Y^2 + Z^2 }
{ = }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} } {Wir betrachten den Durchschnitt von $C$ mit der Geraden
\mavergleichskettedisp
{\vergleichskette
{ G }
{ =} { V(Y-1,Z) }
{ =} { { \left\{ \left( s , \, 1 , \, 0 \right) \mid s \in \R \right\} } }
{ } { }
{ } { }
} {}{}{.} Dieser enthält die unendlich vielen Punkte
\mathdisp {\left( s , \, 1 , \, 0 \right) \text { mit } s \in \Z 2 \pi} { . }
Die gesamte Gerade gehört aber nicht zum Bild, da beispielsweise
\mathl{\left( { \frac{ \pi }{ 2 } } , \, 1 , \, 0 \right)}{} nicht dazu gehört. Also ist $C$ keine algebraische Kurve. }


}





\inputaufgabepunkteloesung
{6 (3+1+2)}
{

Wir betrachten die Varietät der kommutierenden $2 \times 2$-\definitionsverweis {Matrizen}{}{,} also die Menge der Matrizenpaare
\mavergleichskettedisp
{\vergleichskette
{ V }
{ =} { { \left\{ (A,B) \mid A,B \in \operatorname{Mat}_{ 2 } (K) , \, AB = BA \right\} } }
{ \subseteq} { \operatorname{Mat}_{ 2 } (K) \times \operatorname{Mat}_{ 2 } (K) }
{ \cong} { { {\mathbb A}_{ K }^{ 8 } } }
{ } { }
} {}{}{.} \aufzaehlungdrei{Zeige, dass dies eine \definitionsverweis {affine Varietät}{}{} ist, und bestimme möglichst einfache Gleichungen, die diese Varietät beschreiben. }{Zeige, dass die Abbildung \maabbeledisp {\pi} {V} { \operatorname{Mat}_{ 2 } (K) } {(A,B)} { A } {,} \definitionsverweis {surjektiv}{}{} ist. }{Bestimme das Urbild von
\mathl{\begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix}}{} unter $\pi$. }

}
{

\aufzaehlungdrei{Es sei
\mavergleichskettedisp
{\vergleichskette
{A }
{ =} { \begin{pmatrix} X_1 & X_2 \\ X_3 & X_4 \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{B }
{ =} { \begin{pmatrix} Y_1 & Y_2 \\ Y_3 & Y_4 \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dann ist
\mavergleichskettedisp
{\vergleichskette
{AB }
{ =} { \begin{pmatrix} X_1 & X_2 \\ X_3 & X_4 \end{pmatrix} \begin{pmatrix} Y_1 & Y_2 \\ Y_3 & Y_4 \end{pmatrix} }
{ =} {\begin{pmatrix} X_1Y_1 +X_2Y_3 & X_1 Y_2 +X_2 Y_4 \\ X_3 Y_1 + X_4 Y_3 & X_3Y_2 + X_4Y_4 \end{pmatrix} }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ BA }
{ =} { \begin{pmatrix} Y_1 & Y_2 \\ Y_3 & Y_4 \end{pmatrix} \begin{pmatrix} X_1 & X_2 \\ X_3 & X_4 \end{pmatrix} }
{ =} { \begin{pmatrix} X_1Y_1 +X_3Y_2 & X_2 Y_1 +X_4 Y_2 \\ X_1 Y_3 + X_3 Y_4 & X_2Y_3 + X_4Y_4 \end{pmatrix} }
{ } { }
{ } { }
} {}{}{.} Diese beiden Produktmatrizen sind genau dann gleich, wenn die vier Einträge übereinstimmen, wenn also
\mavergleichskettedisp
{\vergleichskette
{ X_1Y_1 +X_2Y_3 }
{ =} {X_1Y_1 +X_3Y_2 }
{ } { }
{ } { }
{ } { }
} {}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ X_1Y_2 +X_2Y_4 }
{ =} {X_2Y_1 +X_4Y_2 }
{ } { }
{ } { }
{ } { }
} {}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ X_3Y_1 +X_4 Y_3 }
{ =} {X_1Y_3 + X_3Y_4 }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ X_3Y_2 +X_4Y_4 }
{ =} {X_2Y_3 +X_4Y_4 }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt. Somit liegt eine affine Varietät vor. Die erste und die vierte Gleichung sind zueinander und zu
\mavergleichskette
{\vergleichskette
{ X_2Y_3 }
{ = }{ X_3Y_2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} äquivalent, also werden die kommutierenden Matrizen durch das Gleichungssystem
\mavergleichskettedisp
{\vergleichskette
{ X_2Y_3 }
{ =} { X_3Y_2 }
{ } { }
{ } { }
{ } { }
} {}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ X_1Y_2 +X_2Y_4 }
{ =} { X_2Y_1 +X_4Y_2 }
{ } { }
{ } { }
{ } { }
} {}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ X_3Y_1 +X_4 Y_3 }
{ =} {X_1Y_3 + X_3Y_4 }
{ } { }
{ } { }
{ } { }
} {}{}{} beschrieben. }{Die Einheitsmatrix $E_2$ kommutiert mit jeder Matrix, daher ist
\mathl{(A, E_2)}{} ein Urbild von $A$. }{Es geht um die Matrizen
\mavergleichskettedisp
{\vergleichskette
{B }
{ =} { \begin{pmatrix} Y_1 & Y_2 \\ Y_3 & Y_4 \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{,} die zu
\mavergleichskettedisp
{\vergleichskette
{ A }
{ =} { \begin{pmatrix} X_1 & X_2 \\ X_3 & X_4 \end{pmatrix} }
{ =} { \begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix} }
{ } { }
{ } { }
} {}{}{} das obige Gleichungssystem erfüllen. Die Bedingungen werden zu
\mavergleichskettedisp
{\vergleichskette
{ Y_3 }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ Y_2 +Y_4 }
{ =} { Y_1 }
{ } { }
{ } { }
{ } { }
} {}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ 0 }
{ =} { Y_3 }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei man die dritte Bedingung weglassen kann. Das Urbild von
\mathl{\begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix}}{} ist also
\mathdisp {{ \left\{ \left( \begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix} , \, \begin{pmatrix} Y_2+Y_4 & Y_2 \\ 0 & Y_4 \end{pmatrix} \right) \mid Y_2,Y_4 \in K \right\} }} { . }
}


}





\inputaufgabepunkteloesung
{5}
{

Es sei $R$ ein \definitionsverweis {kommutativer Ring}{}{} und sei
\mathl{p \in R}{} ein \definitionsverweis {Primelement}{}{.} Zeige, dass $p$ auch im Polynomring
\mathl{R[X]}{} prim ist.

}
{

Sei
\mavergleichskette
{\vergleichskette
{ ph }
{ = }{ fg }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}  Wir nehmen an, dass $p$ weder \mathkor {} {f} {noch} {g} {} teilt. Dann teilt $p$ nicht alle Koeffizienten von \mathkor {} {f} {und von} {g} {.} Es sei \mathkor {} {f=\sum_{ i = 0 }^{ n } a_{ i } X^{ i}} {und} {g=\sum_{ j = 0 }^{ m } b_{ j } X^{ j}} {} und es seien \mathkor {} {i_0} {bzw.} {j_0} {} die kleinsten Indizes derart, dass $a_{i_0}$ \zusatzklammer {bzw. \mathlk{b_{j_0}}{}} {} {} kein Vielfaches von $p$ ist \zusatzklammer {für alle kleineren Indizes sind die Koeffizienten also Vielfache von $p$} {} {.} Wir betrachten den
\mathl{(i_0+j_0)}{-}ten Koeffizienten von $fg$, dieser ist
\mavergleichskettedisp
{\vergleichskette
{ c_{i_0+j_0} }
{ =} { a_0 b_{i_0+j_0} + \cdots + a_{i_0 -1} b_{j_0+1} + a_{i_0}b_{j_0} + a_{i_0+1}b_{j_0-1} + \cdots + a_{i_0 +j_0}b_{0} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Die Summanden links sind Vielfache von $p$ aufgrund der Wahl von $i_0$ und die Summanden rechts sind ebenso Vielfache von $p$. Da auch der Gesamtkoeffizient nach Voraussetzung ein Vielfaches von $p$ ist, muss auch der mittlere Summand
\mathl{a_{i_0} b_{j_0}}{} ein Vielfaches von $p$ sein. Da $p$ prim ist, ist dies ein Widerspruch.


}





\inputaufgabepunkteloesung
{3}
{

Es seien
\mavergleichskettedisp
{\vergleichskette
{F }
{ =} { X^4+9X^3Y+7X^2Y^2+XY^3+8Y^4 }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{G }
{ =} {X^3 +5X^2Y }
{ } { }
{ } { }
{ } { }
} {}{}{.} Finde \definitionsverweis {homogene Polynome}{}{}
\mathl{Q,R \in \Q[X,Y]}{,}
\mathl{Q \neq 0}{,} mit
\mavergleichskettedisp
{\vergleichskette
{F }
{ =} {GQ+R }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{

Durch Division mit Rest \zusatzklammer {im homogenen Fall} {} {} erhält man
\mavergleichskettedisp
{\vergleichskette
{ X^4+9X^3Y+7X^2Y^2+XY^3+8Y^4 }
{ =} { { \left( X^3 +5X^2Y \right) } { \left( X+4Y \right) } -13X^2Y^2+XY^3+8Y^4 }
{ } { }
{ } { }
{ } {}
} {}{}{,} also ist
\mavergleichskettedisp
{\vergleichskette
{Q }
{ =} { X+4Y }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ R }
{ =} { -13X^2Y^2+XY^3+8Y^4 }
{ } { }
{ } { }
{ } { }
} {}{}{.}


}





\inputaufgabepunkteloesung
{4}
{

Man gebe ein Beispiel für eine polynomiale Abbildung \maabbdisp {} {{\mathbb A}^{2}_{K} } {{\mathbb A}^{1}_{K} } {} derart, dass das Urbild von einem Punkt reduzibel ist, das Urbild von allen anderen Punkten aber irreduzibel.

}
{

Es sei $K$ ein algebraisch abgeschlossener Körper. Wir betrachten die Abbildung \maabbeledisp {} {{\mathbb A}^{2}_{K}} {{\mathbb A}^{1}_{K}} {(x,y)} {xy } {.} Die Faser über dem Nullpunkt ist das Achsenkreuz $V(xy) =V(x) \cup V(y)$, das nicht irreduzibel. Die Faser über einem Punkt
\mathbed {\lambda \in K} {}
{\lambda \neq 0} {}
{} {} {} {,} ist $V(xy- \lambda)$. Es genügt zu zeigen, dass $xy-\lambda$ ein Primpolynom ist. Dies folgt aber aus der Isomorphie
\mathdisp {K[x,y]/(xy- \lambda) \longrightarrow K[u]_u,\, x \mapsto u,\, y \mapsto \lambda u^{-1}} { , }
mit der Umkehrabbildung $u \mapsto x$. Die universellen Eigenschaften von Restklassenbildung und Nenneraufnahme sichern dabei, dass wirklich eine Bijektion vorliegt.


}





\inputaufgabepunkteloesung
{3}
{

Beweise den Satz über die Restklassenringe zu affin-linear äquivalenten affin-algebraischen Teilmengen
\mavergleichskette
{\vergleichskette
{ V , \tilde{V} }
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}
{

Nach Definition von \definitionsverweis {affin-linear äquivalent }{}{} gibt es eine \definitionsverweis {affin-lineare Variablentransformation }{}{} \maabbeledisp {} { { {\mathbb A}_{ K }^{ n } } } { { {\mathbb A}_{ K }^{ n } } } {P} { \varphi(P) } {,} mit
\mathl{\varphi^{-1}(V) = \tilde{V}}{.} Es sei $\tilde{\varphi}$ der zugehörige Automorphismus des Polynomrings
\mathl{K[X_1 , \ldots , X_n]}{.} Dabei ist
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\varphi}^{-1}\, ( \operatorname{Id} (\tilde{V} )) }
{ =} { \operatorname{Id} \, (V) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Nach dem Isomorphiesatz folgt die Isomorphie der Restklassenringe.


}





\inputaufgabepunkteloesung
{5}
{

Es sei $K$ ein Körper, $R$ eine endlich erzeugte $K$-Algebra, sei ${\mathfrak a} \subseteq R$ ein Ideal und sei $X=K\!-\!\operatorname{Spek}\, { \left( R \right) }$. In welcher Beziehung stehen die beiden Aussagen
\mathdisp {V( {\mathfrak a}) = \emptyset \text{ und } {\mathfrak a} \text{ ist das Einheitsideal}} { }
und die beiden Aussagen
\mathdisp {V( {\mathfrak a}) = X \text{ und } {\mathfrak a} \text{ ist nilpotent}} { }
zueinander. Zeige, dass die Antwort davon abhängt, ob $K$ algebraisch abgeschlossen ist oder nicht.

}
{

Wenn ${\mathfrak a}$ das Einheitsideal ist, so ist $V({\mathfrak a}) = \emptyset$, da die $1$ in keinem Punkt verschwindet. Die Umkehrung davon gilt wenn $K$ algebraisch abgeschlossen ist, da dann aus der Voraussetzung $V(1) \subseteq V({\mathfrak a})$ (da beides die leere Menge ist) mit dem Hilbertschen Nullstellensatz sofort $1=1^n \in {\mathfrak a}$ gilt. Bei $K=\R$ gilt die Aussage nicht, wie das Polynom $F=X^2+1$ zeigt, das keine Einheit ist, dessen Nullstellenmenge aber leer ist.

Wenn ${\mathfrak a}$ nilpotent ist, so ist jedes Element davon nilpotent und damit verschwindet jedes Element davon unter jedem Ringhomomorphismus in einen Körper (da ein Körper reduziert ist). Bei einem algebraisch abgeschlossenen Grundkörper gilt wieder die Umkehrung, da man die Voraussetzung für jedes $f \in {\mathfrak a}$ schreiben kann als $V({\mathfrak a}) \subseteq V(f) =X=V(0)$. Nach dem Hilbertschen Nullstellensatz folgt daraus $f^n =0$, d.h. $f$ ist nilpotent (in einem noetherschen Ring ist dann auch das Ideal selbst nilpotent). Über einem endlichen Körper gilt die Umkehrung nicht. Bei $K=\mathbb F_2$ ist das Polynom $X^2-X \in K[X]$ nicht nilpotent, aber es verschwindet an beiden (allen) Punkten.


}





\inputaufgabepunkteloesung
{8}
{

Beweise den Satz über den globalen Schnittring eines $K$-Spektrums.

}
{

Ein Element
\mathl{F \in R}{} liefert direkt eine algebraische Funktion auf ganz $V$, was einen $K$-\definitionsverweis {Algebrahomomorphismus}{}{} \maabbdisp {} {R} { \Gamma (V, {\mathcal O} ) } {} ergibt. Wenn dabei $F$ an jedem Punkt die Nullfunktion induziert, so ist nach Fakt ***** und wegen der Reduziertheit auch
\mavergleichskette
{\vergleichskette
{F }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} D.h. die Abbildung ist injektiv.

Es sei nun \maabb {f} {V} {K } {} ein algebraische Funktion. Dann gibt es zu jedem Punkt
\mathl{P \in V}{} zwei Elemente
\mathl{G_P,H_P \in R}{} mit
\mathl{P \in D(H_P)}{} und mit
\mavergleichskette
{\vergleichskette
{f }
{ = }{ { \frac{ G_P }{ H_P } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} auf
\mathl{D(H_P)}{.} Die $D(H_P)$ bilden eine offene Überdeckung von $V$ und das bedeutet nach Fakt *****, dass die $H_P$ in $R$ das \definitionsverweis {Einheitsideal}{}{} erzeugen. Dann gibt es aber auch eine endliche Auswahl davon, die das Einheitsideal erzeugen, sagen wir
\mathl{H_i=H_{P_i}}{,}
\mathl{i=1, \ldots, m}{.} Dann wiederum überdecken diese
\mathl{D(H_i)}{,} $i=1, \ldots, m$, ganz $V$.

Auf den Durchschnitten
\mavergleichskette
{\vergleichskette
{ D(H_iH_j) }
{ = }{ D(H_i) \cap D(H_j) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} haben wir die Identitäten
\mathdisp {f(Q) = \frac{G_i(Q)}{H_i(Q)} = \frac{G_j(Q)}{H_j(Q)} \text{ für alle } Q \in D(H_iH_j)} { . }
Daraus folgt nach Fakt ***** und der Reduziertheit, dass
\mavergleichskettedisp
{\vergleichskette
{ H_iH_j G_iH_j }
{ =} { H_iH_j G_j H_i }
{ } { }
{ } { }
{ } { }
} {}{}{} in $R$ gilt. Wir ersetzen $H_i$ durch $H_i^2$ und $G_i$ durch
\mathl{G_iH_i}{.} Dann ist nach wie vor $G_i/H_i$ eine lokale Beschreibung für $f$, und die letzte Bedingung vereinfacht sich zu
\mavergleichskettedisp
{\vergleichskette
{ H_iG_j }
{ =} { H_jG_i }
{ } { }
{ } { }
{ } { }
} {}{}{.}

Da die $H_i$ das Einheitsideal erzeugen, gibt es Elemente
\mathl{A_i \in R}{} mit
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^m A_i H_i }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{} in $R$. Wir behaupten, dass das Element
\mavergleichskettedisp
{\vergleichskette
{F }
{ =} { \sum_{i = 1}^m A_i G_i }
{ } { }
{ } { }
{ } { }
} {}{}{} auf ganz $V$ die Funktion $f$ induziert. Dazu sei
\mathl{Q \in V}{} ein beliebiger Punkt, und zwar sei ohne Einschränkung
\mathl{Q \in D(H_1)}{.} Dann ist
\mavergleichskettealign
{\vergleichskettealign
{ f(Q) }
{ =} {\frac{G_1(Q)}{H_1(Q)} }
{ =} { \frac{G_1(Q)}{H_1(Q)} { \left( \sum_{i = 1}^m A_i H_i \right) } (Q)) }
{ =} {\sum_{i = 1}^m A_i(Q) \frac{ G_1(Q) H_i(Q) }{H_1(Q)} }
{ =} { \sum_{i = 1}^m A_i(Q)G_i(Q) }
} {
\vergleichskettefortsetzungalign
{ =} { F(Q) }
{ } {}
{ } {}
{ } {}
} {}{.}


}





\inputaufgabepunkteloesung
{5}
{

Zeige, dass durch \maabbeledisp {\varphi} {V(Z^2+W^2-1)} { V(X^2+Y^2-1) } {(Z,W)} { ( Z^2 - W^2 , 2ZW ) = (X,Y) } {.} ein \definitionsverweis {Morphismus}{}{} des Einheitskreises in sich gegeben ist. Zeige, dass das Urbild zu jedem Punkt
\mathl{P \in V(X^2+Y^2-1)}{} aus zwei Punkten besteht.

}
{

Es liegt ein Morphismus \maabbdisp {} {V(Z^2+W^2-1)} { {\mathbb A}^{2}_{K} } {} vor. Es ist also lediglich zu zeigen, dass das Bild die Kreisgleichung erfüllt. Dies ergibt sich aus
\mavergleichskettealign
{\vergleichskettealign
{ X^2 + Y^2 }
{ =} { { \left( Z^2 -W^2 \right) }^2 + 4Z^2W^2 }
{ =} { { \left( Z^2 - { \left( 1- Z^2 \right) } \right) }^2 + 4Z^2 { \left( 1- Z^2 \right) } }
{ =} { { \left( 2 Z^2 - 1 \right) }^2 + 4Z^2 { \left( 1- Z^2 \right) } }
{ =} { 4Z^4 - 4Z^2 +1 +4Z^2-4 Z^4 }
} {
\vergleichskettefortsetzungalign
{ =} {1 }
{ } {}
{ } {}
{ } {}
} {}{.}


}





\inputaufgabepunkteloesung
{4 (1+1+2)}
{

Wir betrachten das Nullstellengebilde
\mavergleichskettedisp
{\vergleichskette
{C }
{ =} { V(Y^2-X^4) }
{ \subseteq} { {\mathbb A}^{2}_{{\mathbb C}} }
{ } { }
{ } { }
} {}{}{.} \aufzaehlungdrei{Ist $C$ irreduzibel? }{Kann man den Koordinatenring
\mathl{{\mathbb C}[X,Y]/(Y^2-X^4)}{} als Monoidring erhalten? }{Kann man den Koordinatenring
\mathl{{\mathbb C}[X,Y]/(Y^2-X^4)}{} als Monoidring zu einem Untermonoid
\mavergleichskette
{\vergleichskette
{M }
{ \subseteq }{ \N \times \Z/(2) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} erhalten? }

}
{

\aufzaehlungdrei{Es ist
\mavergleichskettedisp
{\vergleichskette
{Y^2-X^4 }
{ =} { (Y-X^2)(Y+X^2) }
{ } { }
{ } { }
{ } { }
} {}{}{,} damit ist die Kurve nicht irreduzibel. }{Wir betrachten das durch zwei Erzeuger $e,f$ mit der einzigen Relation
\mavergleichskettedisp
{\vergleichskette
{2f }
{ =} {4e }
{ } { }
{ } { }
{ } { }
} {}{}{} gegebene Monoid $M$, damit ist
\mavergleichskettedisp
{\vergleichskette
{{\mathbb C}[M] }
{ =} { {\mathbb C}[X,Y]/(Y^2-X^4) }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{Wir betrachten
\mavergleichskettedisp
{\vergleichskette
{e }
{ =} { (1,1) }
{ \in} { \N \times \Z/(2) }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{f }
{ =} { (2,1) }
{ \in} { \N \times \Z/(2) }
{ } { }
{ } { }
} {}{}{.} Dann gilt
\mavergleichskette
{\vergleichskette
{2f }
{ = }{ 4e }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} alle weiteren Relationen sind aber Vielfache davon, da bei einer Gleichung
\mavergleichskettedisp
{\vergleichskette
{af }
{ =} {be }
{ } { }
{ } { }
{ } { }
} {}{}{} mit $a,b \in \N$ wegen der ersten Koordinate
\mavergleichskettedisp
{\vergleichskette
{b }
{ =} {2a }
{ } { }
{ } { }
{ } { }
} {}{}{} sein muss und wegen der zweiten Koordinate auch $a$ gerade sein muss. }


}





\inputaufgabepunkteloesung
{2}
{

Bestimme die \definitionsverweis {Multiplizität}{}{} und die \definitionsverweis {Tangenten}{}{} \zusatzklammer {mit ihrer \definitionsverweis {Multiplizität}{}{}} {} {} der Kurve
\mavergleichskettedisp
{\vergleichskette
{ V { \left( X^2+5Y^2+3X^2Y-7XY^2+11X^9 \right) } }
{ \subset} { {\mathbb A}^{2}_{{\mathbb C}} }
{ } { }
{ } { }
{ } { }
} {}{}{}
\mathdisp {} { }
im Nullpunkt.

}
{

Die homogene Stufe minimalen Grades des Polynoms ist
\mavergleichskettedisp
{\vergleichskette
{ X^2+5Y^2 }
{ =} { (X- \sqrt{5} { \mathrm i} Y) (X + \sqrt{5} { \mathrm i} Y) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Daher sind die Geraden
\mathdisp {V (X- \sqrt{5} { \mathrm i} Y) \text{ und } V (X + \sqrt{5} { \mathrm i} Y)} { }
die Tangenten an die Kurve im Nullpunkt. Die Multiplizitäten der Tangenten sind jeweils $1$, da die Linearformen einfach in der Faktorzerlegung vorkommen.


}





\inputaufgabepunkteloesung
{3 (2+1)}
{

\aufzaehlungzwei {Zeige, dass formales \definitionsverweis {partielles Ableiten}{}{} auf dem Polynomring
\mathl{K[X_1 , \ldots , X_n]}{} bezüglich einer Variablen und \definitionsverweis {Dehomogenisieren}{}{} bezüglich einer anderen Variablen vertauschbar sind. } {Zeige, dass dies nicht für die gleiche Variable stimmt. }

}
{

\aufzaehlungzwei {Da beide Prozesse linear sind, kann man sich auf Monome
\mathdisp {X_1^{\nu_1} X_2^{\nu_2} X_3^{\nu_3} \cdots X_n^{\nu_n}} { }
beschränken, und die Situation betrachten, dass man nach $X_1$ ableitet und nach $X_2$ dehomogenisiert. Die partielle Ableitung davon ist
\mathdisp {\nu_1 X_1^{\nu_1-1} X_2^{\nu_2} X_3^{\nu_3} \cdots X_n^{\nu_n}} { , }
die Dehomogenisierung liefert
\mathdisp {\nu_1 X_1^{\nu_1-1} X_3^{\nu_3} \cdots X_n^{\nu_n}} { . }
Wenn man zuerst dehomogenisiert, so erhält man
\mathdisp {X_1^{\nu_1} X_3^{\nu_3} \cdots X_n^{\nu_n}} { }
und die partielle Ableitung ergibt ebenfalls
\mathdisp {\nu_1 X_1^{\nu_1-1} X_3^{\nu_3} \cdots X_n^{\nu_n}} { . }
} {Betrachte $X_1$. Die Ableitung nach $X_1$ ergibt $1$, dies bleibt bei Dehomogenisierung erhalten. Wenn man zuerst nach $X_1$ dehomogenisiert, so erhält man $1$ und die Ableitung davon ist $0$. }


}





\inputaufgabepunkteloesung
{4}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{.} Betrachte die affine ebene Kurve
\mavergleichskettedisp
{\vergleichskette
{C }
{ =} { V { \left( Y-X^3+X+2 \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Definiere einen Isomorphismus zwischen $C$ und der affinen Geraden ${\mathbb A}^{1}_{K}$. Lässt sich ein solcher Isomorphismus zu einem Isomorphismus zwischen ${\mathbb P}^{1}_{K}$ und dem \definitionsverweis {projektiven Abschluss}{}{} $\bar{C} \subset {\mathbb P}^{2}_{K}$ fortsetzen?

}
{

Ein Isomorphismus wird gegeben durch
\mathdisp {x \longmapsto (x,x^3-x-2) =(x,y)} { . }
Auf der Ringebene entpricht dem der Einsetzungshomomorphismus
\mathdisp {K[X,Y]/(Y-X^3+X+2) \longrightarrow K[X],\, X \longmapsto X,\, Y \longmapsto X^3-X-2} { . }
Dieser ist offenbar surjektiv und wohldefiniert. Da man links direkt $Y$ eliminieren kann, steht links der Polynomring $K[X]$, so dass eine Isomorphie vorliegt.

Man kann einen solchen Isomorphismus nicht zu einem Isomorphismus fortsetzen, da der projektive Abschluss der Kurve nicht isomorph zur projektiven Geraden ist. Dies liegt daran, dass der projektive Abschluss durch $V_+(YZ^2-X^3+XZ^2+2Z^3)$ beschrieben wird und genau der unendlich ferne Punkte $(0,1,0)$ dazu kommt. Dieser Punkt ist aber in der affinen Umgebung $D_+(Y)$ der Nullpunkt auf der affinen Kurve $V(Z^2-X^3+XZ^2+2Z^3)$, der die Multiplizität zwei besitzt und daher nicht glatt ist.


}





\inputaufgabepunkteloesung
{1}
{

Zeige, dass der \definitionsverweis {Produktraum}{}{}
\mathl{{\mathbb P}^{1}_{K} \times {\mathbb P}^{1}_{K}}{} und die \definitionsverweis {projektive Ebene}{}{}
\mathl{{\mathbb P}^{2}_{K}}{} nicht zueinander isomorph sind.

}
{

Auf der projektiven Ebene schneiden sich je zwei Kurven. Auf dem Produkt
\mathl{{\mathbb P}^{1}_{K} \times {\mathbb P}^{1}_{K}}{} gibt es hingegen disjunkte Kurven, beispielsweise zu Punkten
\mathl{P\neq Q \in {\mathbb P}^{1}_{K}}{} die Geraden \mathkor {} {P \times {\mathbb P}^{1}_{K}} {und} {Q \times {\mathbb P}^{1}_{K}} {.}


}