Kurs:Invariantentheorie (Osnabrück 2012-2013)/Arbeitsblatt 5/kontrolle

Aufwärmaufgaben

Aufgabe Referenznummer erstellen

Es sei ${}V$ ein endlichdimensionaler reeller Vektorraum und ${}w\in V$ ein fixierter Vektor.

a) Zeige, dass durch

\mathbb {R} \times V\longrightarrow V,\,(t,v)\longmapsto v+tw,

eine Operation von ${}(\mathbb {R} ,+)$ auf ${}V$ definiert ist.

b) Zeige, dass eine differenzierbare Funktion

f\colon V\longrightarrow \mathbb {R}

genau dann unter dieser Operation invariant ist, wenn für die Richtungsableitung in Richtung ${}w$ die Beziehung ${}D_{w}f=0$ gilt.

Aufgabe Referenznummer erstellen

Es sei ${}G$ eine Gruppe, die auf einer Menge ${}M$ operiere, und es sei ${}H\subseteq G$ ein Normalteiler. Zeige, dass auf dem Bahnenraum ${}M/H$ die Restklassengruppe ${}G/H$ in natürlicher Weise operiert, und dass der Bahnenraum ${}{\left(M/H\right)}/{\left(G/H\right)}$ mit dem Bahnenraum ${}M/G$ übereinstimmt.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}G$ eine Gruppe und

\rho \colon G\longrightarrow \operatorname {GL} _{}{\left(V\right)}

eine Darstellung von ${}G$ in einen ${}n$ - dimensionalen ${}K$ - Vektorraum ${}V$ . Es seien ${}u_{1},\ldots ,u_{n}$ und ${}v_{1},\ldots ,v_{n}$ zwei Basen von ${}V$ und

\rho _{u},\rho _{v}\colon G\longrightarrow \operatorname {GL} _{n}\!{\left(K\right)}

seien die zugehörigen Matrixdarstellungen. Zeige, dass die Invariantenringe ${}K[X_{1},\ldots ,X_{n}]^{G,\rho _{u}}$ und ${}K[Y_{1},\ldots ,Y_{n}]^{G,\rho _{v}}$ isomorph sind.

Aufgabe Aufgabe 5.4 ändern

Beweise den Zusatz von Lemma 5.4.

Aufgabe Referenznummer erstellen

Zeige, dass der im Beweis zu Lemma 5.4 verwendete komplexe Invariantenring nicht faktoriell ist.

Aufgabe Referenznummer erstellen

Erstelle eine Version von Lemma 5.8 für geeignete multiplikative Systeme.

Aufgabe Referenznummer erstellen

Diskutiere Beispiel 5.9 für den Fall, dass ${}K$ ein endlicher Körper ist.

Aufgabe Referenznummer erstellen

Man gebe ein Beispiel für einen Integritätsbereich ${}R$ und einer Gruppenoperation einer endlichen Gruppe ${}G$ auf ${}R$ derart, dass nicht jeder Zwischenring ${}S$ , ${}R^{G}\subseteq S\subseteq R$ , der Invariantenring zu einer Untergruppe von ${}G$ ist.

Aufgaben zum Abgeben

Aufgabe (4 Punkte)Referenznummer erstellen

Wir betrachten die natürliche Operation der Drehgruppe ${}\operatorname {SO} _{2}$ auf dem ${}\mathbb {R} ^{4}={\left(\mathbb {R} ^{2}\right)}^{2}$ . Mit den natürlichen Identifizierungen ${}{\mathbb {C} }\cong \mathbb {R} ^{2}$ und

{}\operatorname {SO} _{2}\cong {\left\{u\in {\mathbb {C} }\mid \vert {u}\vert =1\right\}}\,

kann man dies als eine lineare Operation auf dem ${}{\mathbb {C} }^{2}$ auffassen. Zeige, dass die zugehörige Operation auf dem Polynomring ${}{\mathbb {C} }[w,z]$ nur die Konstanten als Invarianten besitzt.

Aufgabe (5 Punkte)Referenznummer erstellen

Drücke die Funktion

\mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto x^{2},

explizit als eine stetige Funktion in den Funktionen ${}xy$ und ${}x^{2}-y^{2}$ aus.

(vergleiche Aufgabe 4.14).

Aufgabe (6 Punkte)Referenznummer erstellen

Es sei ${}K$ ein unendlicher Körper. Wir betrachten auf dem Körper ${}K(X,Y)$ die Operation von ${}K^{\times }$ , wobei ${}\lambda \in K^{\times }$ durch ${}X\mapsto \lambda X,\,Y\mapsto \lambda Y$ auf ${}K[X,Y]$ wirkt und diese Wirkung auf den Quotientenkörper fortgesetzt wird. Zeige, dass der Fixring zu dieser Operation gleich ${}K{\left({\frac {X}{Y}}\right)}$ ist.

Aufgabe (3 Punkte)Aufgabe 5.12 ändern

Es sei ${}{\mathbb {K} }=\mathbb {R}$ oder ${}{\mathbb {C} }$ . Wir betrachten die skalare Multiplikation von ${}{\mathbb {K} }^{\times }$ auf ${}{\mathbb {K} }^{n}$ . Es sei ${}Y$ ein metrischer Raum und