Kurs:Singularitätentheorie (Osnabrück 2019)/Arbeitsblatt 7

Aufgabe

Es sei ${}G$ eine Gruppe und ${}M$ eine Menge. Es sei ${}\operatorname {Perm} \,(M)$ die Gruppe der Permutationen auf ${}M$ . Zeige folgende Aussagen.

Wenn ${}G$ auf ${}M$ operiert, so ist die Abbildung
$G\longrightarrow \operatorname {Perm} \,(M),\,g\longmapsto (x\mapsto gx),$

ein Gruppenhomomorphismus.
Wenn umgekehrt ein Gruppenhomomorphismus
$\varphi \colon G\longrightarrow \operatorname {Perm} \,(M),\,g\longmapsto \varphi (x),$

vorliegt, so wird durch

$G\times M\longrightarrow M,\,(g,x)\longmapsto (\varphi (g))(x),$

eine Gruppenoperation von ${}G$ auf ${}M$ definiert.

Aufgabe

Zeige, dass die ${}G$ - Äquivalenz bei einer Gruppenoperation in der Tat eine Äquivalenzrelation ist.

Es sei ${}n\in \mathbb {N}$ . Betrachte die Gruppenoperation der ${}n$ -ten Einheitswurzeln durch Multiplikation auf ${}{\mathbb {C} }$ . Bestimme die Bahnen und die Isotropiegruppen dieser Operation. Kann man die Quotientenabbildung durch eine polynomiale Funktion realisieren?

Aufgabe

Es sei ${}G$ eine Gruppe, die auf einem kommutativen Ring ${}R$ als Gruppe von Ringautomorphismen operiere. Zeige die folgende Aussagen.

Für die Einheiten gilt
${}{\left(R^{G}\right)}^{\times }=R^{G}\cap R^{\times }\,.$
Wenn ${}R$ ein Körper ist, so ist auch ${}R^{G}$ ein Körper.

Aufgabe

Es sei ${}S$ ein kommutativer Ring mit ${}2\neq 0$ und ${}a\in S$ . Zeige, dass die Gruppe ${}\mathbb {Z} /(2)\cong \{1,-1\}$ auf der quadratischen Erweiterung

{}R:=S[X]/(X^{2}-a)\,

als Gruppe von ${}S$ - Algebrahomomorphismen operiert, indem ${}-1$ durch ${}X\mapsto -X$ wirkt. Bestimme den Fixring zu dieser Operation.

Aufgabe

Es sei ${}R$ ein kommutativer Ring, auf dem eine Gruppe ${}G$ als Gruppe von Ringautomorphismen operiere. Es sei ${}{\mathfrak {a}}\subseteq R$ ein Ideal, das unter der Gruppenoperation invariant ist (es gelte also ${}f\sigma \in {\mathfrak {a}}$ für ${}f\in {\mathfrak {a}}$ und jedes ${}\sigma \in G$ ). Zeige die folgenden Aussagen.

Es gibt eine natürliche Operation von ${}G$ auf dem Restklassenring ${}R/{\mathfrak {a}}$ .
Es gibt einen Ringhomomorphismus
$\psi \colon R^{G}/{\left({\mathfrak {a}}\cap R^{G}\right)}\longrightarrow {\left(R/{\mathfrak {a}}\right)}^{G}.$
Die Abbildung ${}\psi$ aus Teil (2) ist injektiv.
Wenn ${}G$ endlich ist und ${}R$ einen Körper der Charakteristik ${}0$ enthält, so ist ${}\psi$ surjektiv.

Aufgabe

Es sei ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ eine endliche Untergruppe mit der zugehörigen Operation auf dem affinen Raum ${}K^{n}$ . Es sei ${}K$ unendlich. Zeige, dass es eine nichtleere Zariski-offene Teilmmenge ${}U\subseteq K^{n}$ derart gibt, dass die Bahnen zu ${}x\in U$ aus ${}{\#\left(G\right)}$ Elementen besteht.

Gemäß Aufgabe 7.1 ergibt eine Gruppenoperation für jedes ${}g\in G$ eine Bijektion ${}x\mapsto gx$ auf ${}M$ . Wenn ${}M$ zusätzliche Strukturen besitzt, so verlangt man häufig, dass diese Bijektionen diese Strukturen respektieren, also beispielsweise linear oder stetig sind. Man spricht dann von einer linearen oder von einer stetigen Operation oder sagt, dass die Gruppe als Gruppe von Automorphismen oder als Gruppe von Homöomorphismen operiert.

Aufgabe

Es sei ${}X$ ein topologischer Raum, auf dem eine Gruppe ${}G$ operiere, wobei zu jedem ${}g\in G$ die Abbildung ${}x\mapsto gx$ stetig sei. Zeige, dass dadurch eine Operation (von rechts) von ${}G$ auf dem Ring der stetigen Funktionen ${}C(X,\mathbb {R} )$ als Gruppe von Ringautomorphismen gegeben ist.

Aufgabe

Es sei

f\colon {\mathbb {C} }\longrightarrow {\mathbb {C} }

eine stetige Funktion. Zeige, dass die beiden folgenden Aussagen äquivalent sind.

Es gibt eine stetige Funktion
$g\colon \mathbb {R} _{\geq 0}\longrightarrow {\mathbb {C} }$

mit ${}f(z)=g(\vert {z}\vert )$ für alle ${}z\in {\mathbb {C} }$ .
Für alle ${}n$ -ten Einheitswurzeln ${}\zeta \in {\mathbb {C} }$ (alle $n\in \mathbb {N}$ ) ist ${}f(\zeta z)=f(z)$ für alle ${}z\in {\mathbb {C} }$ .
Für alle ${}w\in {\mathbb {C} }$ mit ${}\vert {w}\vert =1$ ist ${}f(wz)=f(z)$ für alle ${}z\in {\mathbb {C} }$ .

Aufgabe

Wir betrachten die Menge der quadratischen Polynome

M={\left\{aX^{2}+bX+c\mid a,b,c\in K,\,a\neq 0\right\}}

über einem Körper ${}K$ , und es sei ${}G$ die Menge der Transformationen vom Typ ${}X\mapsto \alpha X+\beta$ mit ${}\alpha \neq 0$ .

a) Zeige, dass ${}G$ auf ${}M$ in natürlicher Weise operiert.

b) Zeige, dass ${}G$ auf ${}K$ durch Multiplikation mit ${}\alpha ^{2}$ operiert.

c) Zeige, dass die Diskriminante, also der Ausdruck ${}b^{2}-4ac$ , der einem quadratischen Polynom zugeordnet ist, ${}G$ - verträglich bezüglich dieser beiden Operationen ist.

Aufgabe

Es sei ${}K$ ein Körper und ${}G$ eine Gruppe. Dann können wir den Monoidring ${}K[G]$ betrachten. Es sei nun weiter ${}M$ ein ${}K[G]$ -Modul. Zeige, dass

${}M$ nichts anderes ist als ein ${}K$ -Vektorraum ${}V$ zusammen mit einem Gruppenhomomorphismus ${}\rho \colon G\rightarrow \operatorname {Aut} _{K}(V)$ .
ein ${}K[G]$ -Modulhomomorphismus ${}\varphi \colon M\rightarrow M$ eine ${}K$ -lineare Abbildung ist, für die zusätzlich ${}\varphi \circ \rho (g)=\rho \circ \varphi$ für alle ${}g\in G$ gilt.

Bemerkung: ${}\rho$ heißt dann eine Darstellung von ${}G$ . Solche Darstellungen sind oft einfacher zu handhaben als ${}G$ und man kann mit Hilfe von ${}\rho$ oft hilfreiche Erkenntnisse über ${}G$ selbst gewinnen.

Aufgabe

Es sei ${}\zeta \in {\mathbb {C} }$ eine ${}n$ -te primitive Einheitswurzel. Zeige, dass die zyklische Gruppe

Z_{n}={\left\{{\begin{pmatrix}\zeta ^{j}&0\\0&\zeta ^{-j}\end{pmatrix}}\mid j=0,\ldots ,n-1\right\}}\subseteq \operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}

auf der Punktmenge

{\left\{{\begin{pmatrix}\zeta ^{j}\\\zeta ^{-j}\end{pmatrix}}\mid j=0,\ldots ,n-1\right\}}

treu operiert, dass sie bei ${}n$ ungerade auf der Geradenmenge

{\left\{\langle {\begin{pmatrix}\zeta ^{j}\\\zeta ^{-j}\end{pmatrix}}\rangle \mid j=0,\ldots ,n-1\right\}}

ebenfalls treu operiert und dass sie bei ${}n$ gerade auf der Geradenmenge

{\left\{\langle {\begin{pmatrix}\zeta ^{j}\\\zeta ^{-j}\end{pmatrix}}\rangle \mid j=0,\ldots ,{\frac {n}{2}}-1\right\}}

operiert, aber nicht treu. Was ist in diesem Fall der Kern der Operation?

Aufgabe

Zeige, dass die binäre Diedergruppe ${}BD_{1}$ eine zyklische Gruppe der Ordnung ${}4$ ist.

Aufgabe

Wir betrachten die binäre Diedergruppe ${}BD_{n}$ . Zeige, dass bei ${}n\geq 3$ die von

{}B={\begin{pmatrix}0&{\mathrm {i} }\\{\mathrm {i} }&0\end{pmatrix}}\,

erzeugte Untergruppe kein Normalteiler ist.

Aufgabe

Es sei ${}\zeta \in {\mathbb {C} }$ eine ${}2n$ -te primitive Einheitswurzel. Zeige, dass die binäre Diedergruppe ${}BD_{n}$ auf der Geradenmenge

{\left\{\langle {\begin{pmatrix}\zeta ^{j}\\\zeta ^{-j}\end{pmatrix}}\rangle \mid j=0,\ldots ,n-1\right\}}\cup \{\langle {\begin{pmatrix}1\\0\end{pmatrix}}\rangle ,\,\langle {\begin{pmatrix}0\\1\end{pmatrix}}\rangle \}

operiert.

Aufgabe

Zeige, dass die in Beispiel 7.7, Beispiel 7.8, Beispiel 7.9 und Beispiel 7.10 beschriebenen Gruppen bereits Untergruppen der ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ sind.

Aufgabe

Zeige, dass die Matrix

F={\frac {1}{\sqrt {5}}}{\begin{pmatrix}-\xi +\xi ^{4}&\xi ^{2}-\xi ^{3}\\\xi ^{2}-\xi ^{3}&\xi -\xi ^{4}\end{pmatrix}}

zu ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ gehört.

Aufgabe

Es sei ${}G\subseteq \operatorname {GL} _{n}\!{\left({\mathbb {C} }\right)}$ eine endliche Untergruppe und es sei ${}\left\langle -,-\right\rangle$ das Standardskalarprodukt auf dem ${}{\mathbb {C} }^{n}$ . Zeige, dass durch

{}\Phi (w,z):={\frac {1}{\#\left(G\right)}}\sum _{\sigma \in G}\left\langle \sigma w,\sigma z\right\rangle \,

ein Skalarprodukt auf ${}{\mathbb {C} }^{n}$ definiert wird.

Aufgabe

Es sei ${}M\in \operatorname {Mat} _{n}({\mathbb {C} })$ eine Matrix und

\varphi \colon {\mathbb {C} }^{n}\longrightarrow {\mathbb {C} }^{n}

die zugehörige lineare Abbildung. Zeige, dass ${}\varphi$ genau dann unitär ist, wenn ${}{}^{t}M\cdot {\overline {M}}$ die Einheitsmatrix ist.

Aufgabe

Bestimme die Eigenwerte und die Eigenvektoren der Matrix

{\frac {1}{\sqrt {2}}}{\begin{pmatrix}\zeta ^{7}&\zeta ^{7}\\\zeta ^{5}&\zeta \end{pmatrix}}

mit ${}\zeta ={\frac {1+{\mathrm {i} }}{\sqrt {2}}}$ .

Aufgabe

Zeige, dass die Matrix

{\frac {1}{\sqrt {2}}}{\begin{pmatrix}{\mathrm {i} }&-{\mathrm {i} }\\\zeta &-{\mathrm {i} }\end{pmatrix}}

zur binären Oktaedergruppe gehört (dabei ist ${}\zeta$ eine primitive achte Einheitswurzel). Gehört sie auch zur binären Tetraedergruppe?

Aufgabe

Zeige, dass die binäre Ikosaedergruppe ${}120$ Elemente besitzt.

Aufgabe

Es sei ${}n\in \mathbb {N} _{+}$ und ${}\alpha ={\frac {360}{n}}$ . Betrachte die Untergruppe der Drehmatrizen

{}G={\left\{{\begin{pmatrix}\operatorname {cos} \,\alpha &-\operatorname {sin} \,\alpha \\\operatorname {sin} \,\alpha &\operatorname {cos} \,\alpha \end{pmatrix}}^{j}\mid j=0,\ldots ,n-1\right\}}\subseteq \operatorname {SL} _{2}\!{\left(\mathbb {R} \right)}\,.

Zeige, dass diese Gruppe, aufgefasst in ${}\operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}$ , konjugiert zu ${}Z_{n}$ aus Beispiel 7.7 ist.

Aufgabe

Es sei ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ eine Untergruppe der allgemeinen linearen Gruppe über einem Körper ${}K$ und ${}K\subseteq L$ eine Körpererweiterung. Zeige

{}K[X_{1},\ldots ,X_{n}]^{G}=K[X_{1},\ldots ,X_{n}]\cap L[X_{1},\ldots ,X_{n}]^{G}\,.

Aufgabe

Betrachte die Untergruppe der Drehmatrizen, die durch die Vierteldrehung

{\begin{pmatrix}0&-1\\1&0\end{pmatrix}}

erzeugt wird. Bestimme den reellen und den komplexen Invariantenring zur zugehörigen linearen Operation.

Aufgabe

Bestimme zu einer speziellen unitären Matrix

{\begin{pmatrix}u&-{\overline {v}}\\v&{\overline {u}}\end{pmatrix}}\in \operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}

die Eigenwerte und die Eigenvektoren.

Aufgabe

Zeige, dass zu einer speziellen unitären Matrix

{\begin{pmatrix}u&-{\overline {v}}\\v&{\overline {u}}\end{pmatrix}}\in \operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}

die beiden Eigenvektoren, aufgefasst in ${}{\mathbb {P} }_{\mathbb {C} }^{1}\cong S^{2}$ , antipodal sind.

Aufgabe

Es sei ${}G\subseteq \operatorname {SU} _{n}\!$ eine endliche Untergruppe. Zeige, dass man die natürlich Operation von ${}G$ auf dem ${}{\mathbb {C} }^{n}$ auf einen jeden offenen Ball der Form ${}U{\left(0,r\right)}\subseteq {\mathbb {C} }^{n}$ einschränken kann.

Aufgabe

Zeige, dass zu einer diagonalisierbaren Matrix

{\begin{pmatrix}u&v\\w&z\end{pmatrix}}\in \operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}

die beiden Eigenvektoren, aufgefasst in ${}{\mathbb {P} }_{\mathbb {C} }^{1}\cong S^{2}$ , nicht antipodal sein müssen.

Aufgabe

Überprüfe, dass die in Vorlesung 24 angegebenen Abbildungen eine Homöomorphie zwischen ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ und ${}S^{2}$ stiften.

Aufgabe

Es sei ${}M\in \operatorname {SL} _{2}\!{\left({\mathbb {C} }\right)}$ eine spezielle Matrix mit der zugehörigen Abbildung

\varphi \colon {\mathbb {P} }_{\mathbb {C} }^{1}\cong S^{2}\longrightarrow {\mathbb {P} }_{\mathbb {C} }^{1}\cong S^{2}.

Zeige, dass ${}\varphi$ keine längentreue Abbildung und nicht zu einer linearen Abbildung von ${}\mathbb {R} ^{3}$ nach ${}\mathbb {R} ^{3}$ fortsetzbar sein muss.

Aufgabe

Es seien ${}a,b,c,d$ reelle Zahlen mit

{}a^{2}+b^{2}+c^{2}+d^{2}=1\,.

Zeige, das die Determinante der Matrix

{\begin{pmatrix}a^{2}+b^{2}-c^{2}-d^{2}&2(-ad+bc)&2(ac+bd)\\2(ad+bc)&a^{2}-b^{2}+c^{2}-d^{2}&2(-ab+cd)\\2(-ac+bd)&2(ab+cd)&a^{2}-b^{2}-c^{2}+d^{2}\end{pmatrix}}

gleich ${}1$ ist.

Aufgabe

Zeige, dass die (komponentenweise) komplexe Konjugation einen Gruppenautomorphismus auf ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ induziert, der unter der in Satz 7.13 beschriebenen Abbildung

\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}\longrightarrow \operatorname {SO} _{3}\!{\left(\mathbb {R} \right)},

mit der Konjugation mit ${}{\begin{pmatrix}1&0&0\\0&-1&0\\0&0&1\end{pmatrix}}$ auf ${}\operatorname {SO} _{3}\!{\left(\mathbb {R} \right)}$ verträglich ist. Zeige ferner, dass die komplexe Konjugation auf ${}\operatorname {SU} _{2}\!{\left({\mathbb {C} }\right)}$ auch als Konjugation mit der Matrix ${}{\begin{pmatrix}0&1\\-1&0\end{pmatrix}}$ realisiert werden kann.