Kurs:Algebraische Kurven (Osnabrück 2012)/Arbeitsblatt 11/latex

\setcounter{section}{11}

\zwischenueberschrift{Aufwärmaufgaben}

\inputaufgabe
{}
{

Skizziere die Graphen der Funktionen $x$ und $y$ auf $V(xy)$.

}
{Man mache sich klar, dass das Produkt $xy$ die Nullfunktion ist.} {}

\inputaufgabe
{}
{

Betrachte die Hyperbel
\mathl{V(xy-1)}{} über dem Körper
\mavergleichskette
{\vergleichskette
{ K }
{ = }{ \Z/(11) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Bestimme das Inverse von $4x^3$ im zugehörigen Koordinatenring.

}
{} {}

\inputaufgabe
{}
{

Es sei $R$ ein \definitionsverweis {kommutativer Ring}{}{} und sei $f_j$,
\mathl{j \in J}{,} eine Familie von Elementen in $R$. Es sei angenommen, dass die $f_j$ zusammen das \definitionsverweis {Einheitsideal}{}{} erzeugen. Zeige, dass es eine endliche Teilfamilie $f_j$,
\mathl{j \in J_0 \subseteq J}{} gibt, die ebenfalls das Einheitsideal erzeugt.

}
{} {}

\inputaufgabe
{}
{

Sei $K$ ein algebraisch abgeschlossener Körper und seien
\mathl{\mathfrak a, \mathfrak b \subseteq K[X_1, \ldots, X_n]}{} zwei \definitionsverweis {Radikalideale}{}{.} Zeige, dass die Nullstellengebilde $V(\mathfrak a)$ und $V(\mathfrak b)$ genau dann \definitionsverweis {affin-linear äquivalent}{}{} sind, wenn es eine affin-lineare Variablentransformation gibt, die die beiden Ideale ineinander überführt.

}
{} {}

\inputaufgabe
{}
{

Es sei $K$ ein Körper und
\mathl{V,W \subseteq { {\mathbb A}_{ K }^{ n } }}{} seien zwei affin-algebraische Mengen. Es sei
\mathl{V \subseteq W}{} vorausgesetzt. Man definiere einen $K$-\definitionsverweis {Algebrahomomorphismus}{}{} zwischen den beiden \definitionsverweis {Koordinatenringen}{}{} $R(V)$ und $R(W)$ und beschreibe dessen wichtigste Eigenschaften. Man gebe ein Beispiel von zwei affin-algebraischen Mengen, die nicht ineinander enthalten sind, von denen aber die Koordinatenringe isomorph sind.

}
{} {}

\inputaufgabe
{}
{

Es sei $K$ ein Körper mit $q$ Elementen und sei
\mathl{V =V( {\mathfrak a} ) \subseteq { {\mathbb A}_{ K }^{ n } }}{} eine \definitionsverweis {affin-algebraische Menge}{}{.} Zeige, dass der \definitionsverweis {Koordinatenring}{}{} von $V$ nicht gleich
\mathl{K[x_1 , \ldots , x_n]/(x_1^q-x_1 , \ldots , x_n^q-x_n) + {\mathfrak a}}{} sein muss.

}
{} {}

\inputaufgabe
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} der \definitionsverweis {Charakteristik}{}{} $0$. Wir betrachten den Schnitt von einem Zylinder und einer Kugel, und zwar
\mavergleichskettedisp
{\vergleichskette
{C }
{ =} {V(X^2+Y^2-1) \cap V((X-3)^2 +Y^2+Z^2-7) }
{ \subseteq} {{ {\mathbb A}_{ K }^{ 3 } } }
{ } { }
{ } { }
} {}{}{.} Zeige, dass man den \definitionsverweis {Koordinatenring}{}{} von $C$ als \definitionsverweis {Restklassenring}{}{} eines \definitionsverweis {Polynomrings}{}{} in zwei Variablen schreiben kann.

}
{} {}

\zwischenueberschrift{Aufgaben zum Abgeben}

\inputaufgabe
{}
{

Es sei
\mathl{F \in \mathbb C[X_1, \ldots, X_n]}{} und sei
\mathl{U \subseteq \mathbb A^n_{\mathbb C}}{} eine Teilmenge, die in der metrischen Topologie offen und nicht leer sei. Es sei
\mathl{F|_{ U}=0}{} die Nullfunktion. Zeige, dass dann $F$ das Nullpolynom ist.

}
{} {}

\inputaufgabe
{}
{

Beweise Korollar 11.3 direkt aus Satz 10.10.

}
{} {}

\inputaufgabe
{}
{

Es sei $K$ ein \definitionsverweis {algebraisch abgeschlossener Körper}{}{} und $R$ der \definitionsverweis {Polynomring}{}{} in $n$ Variablen über $K$. Wir wollen einen alternativen Beweis einsehen, dass
\mavergleichskette
{\vergleichskette
{ \operatorname{Id} \, (V(J)) }
{ = }{ \operatorname{rad} \, (J) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für jedes Ideal $J$ in $R$ ist, der auf Korollar 11.3 aufbaut. Es sei
\mathl{f \in \operatorname{Id}\,(V(J))}{.} Betrachte den Ring $R[T]$ und zeige, dass das \definitionsverweis {Ideal}{}{}
\mavergleichskettedisp
{\vergleichskette
{ J' }
{ =} { (J, 1 -f \cdot T) }
{ } { }
{ } { }
{ } { }
} {}{}{} trivial ist. Schließe daraus, dass $f$ im Radikal von $J$ liegt.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{ F }
{ \in }{ K[X_1 , \ldots , X_n] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und betrachte die dadurch definierte \definitionsverweis {polynomiale Abbildung}{}{} \maabbeledisp {\varphi} { { {\mathbb A}_{ K }^{ n } } } {{ {\mathbb A}_{ K }^{ n+1 } } } {(x_1 , \ldots , x_n)} {(x_1 , \ldots , x_n, F(x_1 , \ldots , x_n)) } {,} die eine Bijektion des \definitionsverweis {affinen Raumes}{}{} mit dem \definitionsverweis {Graphen}{}{} von $F$ definiert. Zu einer \definitionsverweis {affin-algebraischen Menge}{}{}
\mavergleichskette
{\vergleichskette
{V( {\mathfrak a} ) }
{ \subseteq }{ { {\mathbb A}_{ K }^{ n } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} betrachten wir das Bild
\mavergleichskette
{\vergleichskette
{ V' }
{ = }{ \varphi(V) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Man zeige, dass $V'$ ebenfalls affin-algebraisch ist und man gebe ein beschreibendes Ideal an. Zeige, dass $V$ genau dann \definitionsverweis {irreduzibel}{}{} ist, wenn $V'$ irreduzibel ist.

}
{} {}

\inputaufgabe
{}
{

Wir betrachten die beiden algebraischen Kurven
\mathdisp {V(x^2+y^2-2) \text{ und } V(x^2+2y^2-1)} { }
über dem Körper $\Z/(7)$. Zeige, dass der Durchschnitt leer ist, und finde einen Erweiterungskörper
\mathl{K \supseteq \Z/(7)}{,} über dem der Durchschnitt nicht leer ist. Berechne alle Punkte im Durchschnitt über $K$ und über jedem anderen Erweiterungskörper. Man beschreibe auch den Koordinatenring des Durchschnitts.

}
{} {}

\inputaufgabe
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und seien
\mathl{P_1 , \ldots , P_n}{} endlich viele Punkte in der affinen Ebene ${\mathbb A}^{2}_{K}$. Es seien
\mathl{a_1, \ldots , a_n \in K}{} beliebig vorgegebene Werte. Zeige, dass es ein Polynom
\mathl{F \in K[X,Y]}{} mit
\mavergleichskette
{\vergleichskette
{ F(P_i) }
{ = }{a_i }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle
\mathl{i=1, \ldots , n}{} gibt.

}
{} {}