Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 30/kontrolle

Linear reduktive Gruppen

In den verbleibenden Vorlesungen möchten wir zeigen, dass die Invariantenringe zu algebraischen Operationen der allgemeinen linearen oder der speziellen linearen Gruppe über ${}{\mathbb {C} }$ endlich erzeugt sind. Der Schlüsselbegriff für diese Aussage ist die lineare Reduktivität, der eine Eigenschaft sämtlicher Darstellungen der Gruppe ist. Eine Darstellung einer Gruppe ${}G$ ist einfach ein Gruppenhomomorphismus

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

mit einem ${}K$-Vektorraum ${}V$. Wenn ${}G$ eine affin-algebraische Gruppe über einem fixierten Körper ${}K$ (der häufig als algebraisch abgeschlossen angenommen wird) ist, so interessiert man sich vor allem für Darstellungen in Vektorräume über diesem Körper. Ferner soll die Darstellung algebraisch sein. Diese Forderungen kommen in der folgenden Definition zum Ausdruck.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und sei ${}G$ eine affin-algebraische Gruppe über ${}K$. Unter einer rationalen Darstellung von ${}G$ versteht man einen Gruppenhomomorphismus

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

mit einem endlichdimensionalen ${}K$- Vektorraum ${}V$ (also eine Darstellung von ${}G$), die durch einen ${}K$- Hopf-Algebrahomomorphismus der Hopf-Algebren zu ${}G$ bzw. ${}\operatorname {GL} _{}{\left(V\right)}$ induziert wird.

Dies ist äquivalent dazu, dass die Operation von ${}G$ auf ${}V$, also die Abbildung

$G\times V\longrightarrow V,$

algebraisch ist, also durch eine Kooperation der Hopfalgebra ${}H$ (zu ${}G$) auf dem Polynomring ${}K[V]$ gegeben ist. Man sagt dann auch, dass ${}G$ auf ${}V$ ${}K$-rational operiert.

Für die multiplikative Gruppe ${}K^{\times }$ ist beispielsweise die Zuordnung

$K^{\times }=\operatorname {GL} _{1}\!{\left(K\right)}\longrightarrow \operatorname {GL} _{n}\!{\left(K\right)},\,t\longmapsto {\begin{pmatrix}t^{a_{1}}&0&0&0\\0&t^{a_{2}}&0&0\\0&0&\ddots &0\\0&0&0&t^{a_{n}}\end{pmatrix}},$

mit ${}a_{j}\in \mathbb {Z}$ eine ${}K$-rationale Darstellung, für die additive Gruppe ${}K$ ist beispielsweise die Zuordnung

$K\longrightarrow \operatorname {GL} _{2}\!{\left(K\right)},\,t\longmapsto {\begin{pmatrix}1&t\\0&1\end{pmatrix}},$

eine solche.

Zur Formulierung der linearen Reduktivität brauchen wir noch einige weitere Begriffe aus der Darstellungstheorie.

Definition Referenznummer erstellen

Eine Darstellung

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

einer Gruppe ${}G$ in einem ${}K$- Vektorraum ${}V$ heißt irreduzibel, wenn ${}V\neq 0$ ist und wenn die einzigen ${}G$- invarianten Untervektorräume ${}0$ und ${}V$ sind.

Definition Referenznummer erstellen

Eine Darstellung

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

einer Gruppe ${}G$ in einem ${}K$- Vektorraum ${}V$ heißt vollständig reduzibel, wenn ${}V$ die direkte Summe aus ${}G$- invarianten Untervektorräumen ist, die jeweils irreduzibel sind.

Zwei Darstellungen

$\rho _{1}\colon G\longrightarrow \operatorname {GL} _{}{\left(V_{1}\right)}$

und

$\rho _{2}\colon G\longrightarrow \operatorname {GL} _{}{\left(V_{2}\right)}$

heißen äquivalent, wenn es eine bijektive ${}K$- lineare Abbildung

$\varphi \colon V_{1}\longrightarrow V_{2}$

mit ${}\rho _{2}=\varphi \circ \rho _{1}$ gibt (wobei ${}\varphi$ als Isomorphismus zwischen den allgemeinen linearen Gruppen aufgefasst wird).

Definition Referenznummer erstellen

Eine affin-algebraische Gruppe ${}G$ über einem Körper ${}K$ heißt linear reduktiv, wenn jede ${}K$- rationale Darstellung von ${}G$ vollständig reduzibel ist.

Wir werden später sehen, dass die allgemeine lineare Gruppe über ${}{\mathbb {C} }$ linear reduktiv ist, was auf maßtheoretischen Methoden beruht. Zunächst wenden wir uns endlichen (nichtmodularen) Gruppen und kommutativen Gruppen zu, die ebenfalls linear reduktiv sind.

Lineare Reduktivität von endlichen Gruppen

Wir brauchen zunächst das folgende einfache Lemma.

Lemma Lemma 30.5 ändern

Es sei ${}K$ ein Körper und ${}G$ eine Gruppe, die auf den beiden ${}K$- Vektorräumen ${}V$ und ${}W$ linear operiere. Es sei ${}\varphi \colon V\rightarrow W$ eine ${}G$- verträgliche lineare Abbildung.

Dann ist sowohl ${}\operatorname {kern} \varphi$ als auch ${}\operatorname {bild} \varphi$ ${}G$- invariant.

Beweis

Es sei ${}v\in \operatorname {kern} \varphi$ und ${}g\in G$. Wegen der Verträglichkeit von ${}\varphi$ mit den Gruppenoperationen ist

${}\varphi (gv)=g(\varphi (v))=g(0)=0\,,$

also ist ${}gv\in \operatorname {kern} \varphi$ und der Kern ist invariant. Bei ${}w\in \operatorname {bild} \varphi$, sagen wir ${}w=\varphi (v)$, und ${}g\in G$ ist wiederum

${}\varphi (gv)=g(\varphi (v))=g(w)\,,$

also ${}gv\in \operatorname {bild} \varphi$ und das Bild ist ebenfalls invariant.

$\Box$

Heinrich Maschke (1853-1908)

Die folgenden Aussagen heißen Lemma von Maschke bzw. Satz von Maschke.

Lemma Lemma 30.6 ändern

Es sei ${}K$ ein Körper und ${}G$ eine endliche Gruppe, deren Ordnung kein Vielfaches der Charakteristik von ${}K$ sei. Es sei

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

eine Darstellung in einen endlichdimensionalen ${}K$- Vektorraum ${}V$ und ${}U\subseteq V$ ein ${}G$- invarianter Untervektorraum.

Dann gibt es einen ${}G$-invarianten Untervektorraum ${}W\subseteq V$ mit ${}V=U\oplus W$.

Beweis

Aufgrund des Basisergänzungssatzes kann man ${}V=U\oplus W'$ mit einem ${}K$- Untervektorraum ${}W'$ schreiben, und man hat eine Projektion (längs ${}W'$)

$\pi \colon V\longrightarrow U$

mit ${}\pi \circ \iota =\operatorname {Id} _{U}$, wobei ${}\iota$ die Einbettung ${}U\subseteq W$ bezeichnet. Wir betrachten die lineare Abbildung (mit ${}n=\operatorname {ord} {\left(G\right)}$; dies ist eine Einheit in ${}K$)

$\psi \colon V\longrightarrow V,\,v\longmapsto {\frac {1}{n}}\sum _{g\in G}g^{-1}(\pi (g(v))).$

Für ${}u\in U$ ist (wegen $g(u)\in U$ und da ${}\pi$ auf ${}U$ die Identität ist)

${}{\begin{aligned}\psi (u)&={\frac {1}{n}}\sum _{g\in G}g^{-1}(\pi (g(u)))\\&={\frac {1}{n}}\sum _{g\in G}g^{-1}(g(u))\\&={\frac {1}{n}}\sum _{g\in G}u\\&=u\end{aligned}}$

und das Bild von ${}\psi$ ist gleich ${}U$, d.h. ${}\psi$ ist ebenfalls eine Projektion auf ${}U$. Allerdings ist diese Projektion zusätzlich ${}G$- verträglich. Für ${}h\in G$ ist nämlich

${}{\begin{aligned}\psi (hv)&={\frac {1}{n}}\sum _{g\in G}g^{-1}(\pi (g(hv)))\\&={\frac {1}{n}}\sum _{f\in G}(hf^{-1})(\pi (f(v)))\\&=h{\left({\frac {1}{n}}\sum _{f\in G}f^{-1}(\pi (f(v)))\right)}\\&=h{\left(\psi (v)\right)}.\end{aligned}}$

Wir setzen nun ${}W:=\operatorname {kern} \psi$. Als Kern einer mit der Operation verträglichen linearen Abbildung ist ${}W$ nach Lemma 30.5 ebenfalls ${}G$-invariant, und es ist offenbar ${}V=U\oplus W$.

$\Box$

Satz Satz 30.7 ändern

Es sei ${}K$ ein Körper und ${}G$ eine endliche Gruppe, deren Ordnung kein Vielfaches der Charakteristik von ${}K$ sei.

Dann ist ${}G$ linear reduktiv.

Beweis

Es sei

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

eine Darstellung von ${}G$. Wir müssen zeigen, dass die Darstellung vollständig reduzibel ist, also eine direkte Summe aus irreduziblen Darstellungen ist. Wir beweisen die Aussage durch Induktion über die Dimension von ${}V$. Bei ${}\dim _{K}{\left(V\right)}=0,1$ ist nichts zu zeigen. Wenn die Darstellung irreduzibel ist, so sind wir ebenfalls fertig. Andernfalls gibt es einen echten ${}G$- invarianten Untervektorraum ${}U\subset V$. Dieser hat nach Lemma 30.6 ein ${}G$-invariantes Komplement ${}W\subseteq V$. Nach Induktionsvoraussetzung besitzen ${}U$ und ${}W$ eine direkte Zerlegung in irreduzible Darstellungen. Dies überträgt sich auf ${}V$.

$\Box$

Darstellungstheorie kommutativer Gruppen

Kommutative besitzen eine einfachere Darstellungstheorie, da nur eindimensionale Darstellungen irreduzibel sind. Dies ergibt sich aus dem sogenannten Lemma von Schur (der nächsten Aussage). Die Konsequenzen für die kommutativen affin-algebraischen Gruppen (beispielsweise die multiplikative und die additive Gruppe) sind aber unterschiedlich.

Issai Schur (1875-1941)

Lemma Lemma 30.8 ändern

Es sei ${}K$ ein Körper, ${}G$ eine Gruppe und seien ${}V_{1},V_{2}$ zwei ${}K$- Vektorräume mit zwei gegebenen irreduziblen Darstellungen ${}\rho _{1}\colon G\rightarrow \operatorname {GL} _{}{\left(V_{1}\right)}$ und ${}\rho _{2}\colon G\rightarrow \operatorname {GL} _{}{\left(V_{2}\right)}$. Es sei ${}\varphi \colon V_{1}\rightarrow V_{2}$ eine lineare Abbildung mit

${}\sigma _{2}\circ \varphi =\varphi \circ \sigma _{1}\,$

für alle ${}\sigma \in G$, wobei ${}\sigma _{i}$ den zu ${}\sigma$ gehörenden Automorphismus auf ${}V_{i}$ bezeichnet.

Dann ist ${}\varphi =0$ oder aber ${}\varphi$ definiert eine Äquivalenz der beiden Darstellungen.

Beweis

Es sei ${}\varphi \neq 0$. Wir müssen zeigen, dass ${}\varphi$ ein Isomorphismus ist. Es sei ${}U:=\operatorname {kern} \varphi$. Nach Lemma 30.5 ist ${}U$ ${}G$- invariant. Wegen der Irreduzibilität von ${}\rho _{1}$ ist ${}U=0$ oder ${}U=V_{1}$, wobei die zweite Möglichkeit wegen ${}\varphi \neq 0$ ausscheidet. Also ist der Kern trivial und damit ist nach Lemma 11.3 (Lineare Algebra (Osnabrück 2015-2016)) ${}\varphi$ injektiv. Es sei jetzt ${}W:=\operatorname {bild} \varphi$. Nach Lemma 30.5 ist ${}W$ ebenfalls ${}G$-invariant. Der Fall ${}W=0$ ist wegen ${}\varphi \neq 0$ ausgeschlossen, also ist ${}W=V_{2}$ wegen der Irreduzibilität von ${}\rho _{2}$ und somit ist ${}\varphi$ auch surjektiv.

$\Box$

Korollar Korollar 30.9 ändern

Es sei ${}K$ ein algebraisch abgeschlossener Körper, ${}G$ eine Gruppe und ${}V$ ein endlichdimensionaler ${}K$- Vektorraum. Es sei ${}\rho \colon G\rightarrow \operatorname {GL} _{}{\left(V\right)}$ eine irreduzible Darstellung und es sei ${}\varphi \colon V\rightarrow V$ eine lineare Abbildung mit

${}\sigma \circ \varphi =\varphi \circ \sigma \,$

für alle ${}\sigma \in G$.

Dann ist ${}\varphi$ eine Streckung.

Beweis

Aufgrund der Voraussetzung an ${}K$ besitzt ${}\varphi$ einen Eigenwert ${}\lambda$. Wir betrachten ${}\varphi -\lambda \operatorname {Id} _{V}$. Da eine Streckung mit jedem Endomorphismus vertauscht, gilt für ${}\varphi -\lambda \operatorname {Id} _{V}$ ebenfalls die Voraussetzung. Nach Lemma 30.8 ist also ${}\varphi -\lambda \operatorname {Id} _{V}$ ein Isomorphismus oder gleich ${}0$. Da es einen nichttrivialen Kern (nämlich den Eigenraum zu ${}\lambda$) besitzt, muss ${}\varphi -\lambda \operatorname {Id} _{V}=0$ sein, also ist ${}\varphi$ ein skalares Vielfaches der Identität.

$\Box$

Korollar Referenznummer erstellen

Es sei ${}K$ ein algebraisch abgeschlossener Körper und ${}G$ eine kommutative Gruppe.

Dann ist jede irreduzible Darstellung von ${}G$ in einen endlichdimensionalen ${}K$- Vektorraum eindimensional.

Beweis

Es sei

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

eine irreduzible Darstellung. Wegen der Kommutativität von ${}G$ gilt für die zu ${}\sigma ,\tau \in G$ gehörenden linearen Abbildungen

${}\sigma \circ \tau =\tau \circ \sigma \,.$

Aus Korollar 30.9, angewandt für festes ${}\tau$ und alle ${}\sigma$, folgt, dass ${}\tau$ eine Streckung ist. Dann sind aber überhaupt sämtliche Automorphismen der Darstellung Streckungen. Unter einer Streckung ist aber jeder Untervektorraum invariant, sodass in diesem Fall jeder Untervektorraum ${}G$- invariant ist. Dann muss aber wegen der Irreduzibilität ${}V$ eindimensional sein.

$\Box$

Fußnoten

<< | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)