Kurs:Invariantentheorie (Bochum 2003)/Vorlesung 2

Definition

Zu ${}n\in \mathbb {N}$ heißt die Untergruppe

${}A_{n}:={\left\{\sigma \in S_{n}\mid \operatorname {sgn} (\sigma )=1\right\}}\,$

der geraden Permutationen die alternierende Gruppe.

Zur Erinnerung: Das Signum einer Permutation gibt an, ob die Anzahl der Transpositionen zu ihrer Darstellung gerade oder ungerade ist. Im ersten Fall ist ${}\operatorname {sgn}(\sigma )=1$ und die Permutation heißt gerade, im zweiten Fall ist ${}\operatorname {sgn}(\sigma )=-1$ und die Permutation heißt ungerade.

Die alternierende Gruppe ${}A_{n}$ operiert wie die volle Permutationsgruppe auf ${}K[X_{1},\ldots ,X_{n}]$. Ein symmetrischen Polynom ist natürlich erst recht invariant unter allen geraden Permutationen, daher

$K[X_{1},\ldots ,X_{n}]^{S_{n}}\subseteq K[X_{1},\ldots ,X_{n}]^{A_{n}}\subseteq K[X_{1},\ldots ,X_{n}].$

Zur Beschreibung des Invariantenringes unter der alternierenden Gruppe ist der Begriff des Charakters sinnvoll.

Zur Erinnerung: Ein Charakter einer Gruppe ${}G$ in einem Körper ${}K$ ist ein Gruppenhomomorphismus

$\chi \colon G\longrightarrow (K^{\times },1,\cdot ).$

Dabei ist ${}K^{\times }$ die Einheitengruppe des Körpers. Das ist das Gleiche wie die allgemeine lineare Gruppe ${}\operatorname {GL} _{1}\!{\left(K\right)}$. Einen Charakter kann man also auch als eine eindimensionale Darstellung ansehen.

Der bekannteste Charakter für die ${}\operatorname {GL} _{n}\!{\left(K\right)}$ ist die Determinante. Jede Darstellung ${}G\to \operatorname {GL} _{n}\!{\left(K\right)}$ induziert durch

$G\longrightarrow \operatorname {GL} _{n}\!{\left(K\right)}{\stackrel {\det }{\longrightarrow }}K^{\times }$

einen Charakter.

Definition

Es sei ${}K$ ein Körper, ${}V$ ein ${}K$- Vektorraum und

$G\times V\longrightarrow V$

eine lineare Operation einer Gruppe ${}G$ auf ${}V$. Es sei

$\chi \colon G\longrightarrow K^{\times }$

ein Charakter. Dann nennt man

${}K[V]_{\chi }^{G}:={\left\{f\in K[V]\mid f\sigma =\chi (\sigma )\cdot f{\text{ für alle }}\sigma \in G\right\}}\,$

die ${}\chi$-relativen Invarianten oder Semiinvarianten.

Die Invarianten sind also die Semiinvarianten relativ zum trivialen Charakter. Die ${}\chi$-relativen Invarianten sind ein ${}K[V]^{G}$-Untermodul von ${}K[V]$: Wenn ${}g$ invariant ist und ${}f$ ${}\chi$-invariant, so ist

${}(gf)\sigma =(g)\sigma \cdot (f)\sigma =g(\chi (\sigma )f)=\chi (\sigma )gf\,.$

Lemma

Es sei ${}K$ ein Körper der Charakteristik ${}\neq 2$.

Dann gilt für die natürliche Operation der Permutationsgruppe ${}S_{n}$ auf dem ${}K^{n}$ die Gleichheit

${}K[X_{1},\ldots ,X_{n}]_{\operatorname {sgn} }^{S_{n}}=K[X_{1},\ldots ,X_{n}]^{S_{n}}\cdot \triangle \,,$

wobei ${}\triangle =\prod _{j<i}(X_{i}-X_{j})$ die Vandermondesche Determinante ist.

Beweis

Das Polynom ${}\triangle$ hat offenbar die Eigenschaft, dass es signumsinvariant ist, dass sich also sein Vorzeichen bei einer ungeraden Permutation umkehrt. Hierzu muss man sich nur klar machen, dass sich bei einer Transposition das Vorzeichen um ${}-1$ ändert. Dabei kann man sich sogar auf solche Transpositionen beschränken, die zwei Nachbarn ${}i$ und ${}i+1$ miteinander vertauschen. Dann wird aus dem Faktor ${}X_{i+1}-X_{i}$ der Faktor ${}X_{i}-X_{i+1}$ und alle anderen Faktoren werden allenfalls vertauscht. Insgesamt wird ${}\triangle$ auf ${}-\triangle$ abgebildet.
Wir müssen also zeigen, dass jedes signumsinvariante Polynom ${}F$ ein Vielfaches von ${}\triangle$ ist. Der andere Faktor ist dann automatisch invariant.

Für diese Teilerbeziehung genügt es wegen der Faktorialität von ${}K[V]$ zu zeigen, dass ${}X_{i}-X_{j}$ ein Teiler von ${}F$ ist (${}i\neq j$). Wir schreiben ${}F$ in den neuen Variablen ${}X_{k},k\neq i,j,X_{i}+X_{j},X_{i}-X_{j}$ als

${}F=\sum _{n=0}^{m}G_{n}{\left(X_{k},X_{i}+X_{j}\right)}{\left(X_{i}-X_{j}\right)}^{n}\,.$

Dann ist einerseits

$F(X_{i}\mapsto X_{j})=\sum _{n=0}^{m}(-1)^{n}G_{n}{\left(X_{k},X_{i}+X_{j}\right)}{\left(X_{i}-X_{j}\right)}^{n}\,$

und anderseits (da ${}F$ signumsinvariant ist)

$F(X_{i}\mapsto X_{j})=-F=-\sum _{n=0}^{m}G_{n}{\left(X_{k},X_{i}+X_{j}\right)}{\left(X_{i}-X_{j}\right)}^{n}\,.$

Daraus folgt wegen ${}\operatorname {char} (K)\neq 2$, dass für ${}n$ gerade ${}G_{n}=0$ sein muss. Insbesondere ist ${}G_{0}=0$. Also ist ${}F=H{\left(X_{i}-X_{j}\right)}$, wie behauptet.

$\Box$

Nochmal explizit: Es geht um die Polynome, die relativ inveriant sind zur Signumsabbildung, für die also ${}F\sigma =\operatorname {sgn} (\sigma )F$ für alle Permutationen gilt. Für eine gerade Permutation ${}\sigma$ muss also ${}F\sigma =F$ sein, für eine ungerade Permutation dagegen ${}F\sigma =-F$. Insbesondere sind solche Polynome invariant unter der alternierenden Gruppe.

Proposition

Es sei ${}R\times G\rightarrow R$ eine Operation einer Gruppe ${}G$ auf einem kommutativen Ring durch Ringautomorphismen. Sei ${}H\subseteq G$ eine Untergruppe. Dann gelten folgende Aussagen.

1. ${}R^{G}\subseteq R^{H}$.
2. Sind ${}H_{1}$ und ${}H_{2}$ Untergruppen in ${}G$ mit ${}G=H_{1}\cdot H_{2}$, so ist

   ${}R^{H_{1}}\cap R^{H_{2}}=R^{G}\,.$

3. Ist ${}H$ ein Normalteiler in ${}G$, so operiert die Restklassengruppe ${}G/H$ auf ${}R^{H}$ durch

   ${}f[\sigma ]:=f\sigma \,.$

   Dabei ist

   ${}R^{G}={\left(R^{H}\right)}^{G/H}\,.$

Beweis

(1) ist klar.
(2). Die Voraussetzung bedeutet, dass man ${}\sigma =\prod _{i=1}^{n}\sigma _{i}$ mit gewissen ${}\sigma _{i}\in H_{1}$ oder ${}\sigma _{i}\in H_{2}$ schreiben kann.

Die Inklusion ${}\supseteq$ ist nach (1) klar. Die Inklusion ${}\subseteq$ ist wegen

${}f\sigma =f\prod _{i=1}^{n}\sigma _{i}=f\sigma _{1}\prod _{i=2}^{n}\sigma _{i}=f\prod _{i=2}^{n}\sigma _{i}=f\,$

klar.
(3). Die Operation ist zunächst wohldefiniert, d.h. unabhängig vom Repräsentanten. Es seien dazu ${}\sigma ,\sigma '\in G$ gegeben mit ${}\sigma '\sigma ^{-1}\in H$. Dann ist

${}f\sigma '=f\sigma '\sigma ^{-1}\sigma =f\sigma \,.$

Wegen der Normalteilereigenschaft gibt es für ${}\sigma \in G$ und ${}\tau \in H$ ein ${}\tau '\in H$ mit ${}\sigma \tau =\tau '\sigma$. Für ${}f\in R^{H}$ ist

${}(f\sigma )\tau =f\tau '\sigma =f\sigma \,$

und somit gehört ${}f\sigma$ ebenfalls zu ${}R^{H}$. Wir haben also eine Abbildung

$R^{H}\times G\longrightarrow R^{H}.$

Diese Abbildung ist in der Tat eine Gruppenoperation. Das neutrale Element wirkt identisch und die Assoziativität ergibt sich aus

${}f([\sigma ][\tau ])=f[\sigma \tau ]=f(\sigma \tau )=(f\sigma )\tau =(f[\sigma ])\tau =(f[\sigma ])[\tau ]\,.$

Es liegt also eine Operation von ${}G$ auf ${}R^{H}$ vor, und da die Elemente ${}\sigma \in H$ identisch wirken, induziert dies eine Operation von ${}G/H$ auf ${}R^{H}$. Bei den Abbildungen ${}f\mapsto f\sigma$ handelt es sich um Ringautomorphismen, da es sich um Einschränkungen von Ringautomorphismen auf ${}R$ handelt, wobei sich die Surjektivität aus der Existenz von ${}\sigma ^{-1}$ ergibt.

Wir kommen zur Gleichheit

${}R^{G}={\left(R^{H}\right)}^{G/H}\,.$

Zum Beweis der Inklusion ${}\subseteq$ sei ${}f\in R^{G}$. Dann ist insbesondere ${}f\in R^{H}$. Wegen ${}f[\sigma ]=f\sigma =f$ ist ${}f$ auch ${}G/H$- invariant. Zum Beweis der Inklusion ${}\supseteq$ sei ${}f\in {\left(R^{H}\right)}^{G/H}\subseteq R^{H}$. Doch dann ist für ${}\sigma \in G$ wiederum ${}f\sigma =f[\sigma ]=f$.

$\Box$

Satz

Es sei ${}K$ ein Körper der Charakteristik ${}\operatorname {char} (K)\neq 2$. Die alternierende Gruppe ${}A_{n}$ operiere natürlich auf ${}V=K^{n}$.

Dann ist

${}K[V]^{A_{n}}=K[V]^{S_{n}}\oplus K[V]_{\operatorname {sgn} }^{S_{n}}=K[E_{1},\ldots ,E_{n}]\oplus K[E_{1},\ldots ,E_{n}]\cdot \triangle \,.$

Beweis

Die Gleichheit rechts ergibt sich aus Fakt ***** und Fakt *****. Auf ${}K[V]^{A_{n}}$ operiert die Restklassengruppe ${}S_{n}/A_{n}=\{1,-1\}=\mathbb {Z} /(2)$ wie in Fakt ***** beschrieben. Es sei ${}\tau$ das nichttriviale Element daraus. Dieses wird repräsentiert durch eine beliebige ungerade Permutation, etwa durch eine Transposition. Es sei ${}F\in K[V]^{A_{n}}$ ein Polynom, das invariant unter der alternierenden Gruppe ist. Nach Fakt *****  (3) ist ${}F\tau$ unabhängig von dem gewählten Repräsentanten ${}\tau$. Es ist

${}F={\frac {1}{2}}(F+F\tau )+{\frac {1}{2}}(F-F\tau )\,,$

wobei die beiden Summanden symmetrisch bzw. signumsinvariant sind. Dies überprüft man, indem man die (geraden oder ungeraden) Permutationen darauf anwendet. Die Summe ist direkt, da der Durchschnitt ${}0$ ist: Ein Polynom, das sowohl symmetrisch als auch signumsinvariant ist, muss ${}0$ sein.

$\Box$

Beispiel

Die natürliche Operation der alternierenden Gruppe ${}A_{3}\cong \mathbb {Z} /(3)$ auf dem ${}K^{3}$ wird durch den Zykel

$e_{1}\longmapsto e_{2},\,e_{2}\longmapsto e_{3},\,e_{3}\longmapsto e_{1}$

erzeugt. Besitzt ${}K$ dritte primitive Einheitswurzeln, so kann man die zugehörige Matrix diagonalisieren und man erhält eine neue Basis mit den Eigenvektoren

$e_{1}+e_{2}+e_{3},\,e_{1}+\zeta e_{2}+\zeta ^{2}e_{3},\,e_{1}+\zeta ^{2}e_{2}+\zeta e_{3}.$

Wir führen die neuen Variablen

$U=X+Y+Z,\,V=X+\zeta Y+\zeta ^{2}Z,\,W=X+\zeta ^{2}Y+\zeta Z$

ein. In dieser Basis ist der erzeugende Automorphismus durch

$U\longmapsto U,\,V\longmapsto \zeta V,\,W\longmapsto \zeta ^{2}W$

gegeben und der Invariantenring ist in dieser Basis gleich

$K[U,V^{3},VW,W^{3}].$

Die einzige Relation ist durch ${}V^{3}W^{3}=(VW)^{3}$ gegeben.

Wie sieht der Unterring der symmetrischen Polynome aus? Die Transposition ${}Y\leftrightarrow Z$ lässt ${}U$ unverändert und vertauscht ${}V$ und ${}W$. Das bedeutet für den alternierenden Invariantenring, dass ${}V^{3}$ und ${}W^{3}$ vertauscht werden. Der symmetrische Invariantenring ist daher

$K[U,VW,V^{3}+W^{3}].$

Dabei sind

${}VW=X^{2}+Y^{2}+Z^{2}+\zeta XY+\zeta ^{2}XY+\zeta XZ+\zeta ^{2}XZ+\zeta YZ+\zeta ^{2}YZ\,,$

${}V^{3}=X^{3}+Y^{3}+Z^{3}+6XYZ+3\xi ^{2}XY^{2}+3\xi X^{2}Y+3\xi XZ^{2}+3\xi ^{2}X^{2}Z+3\xi ^{2}YZ^{2}+3\xi Y^{2}Z\,$

und

${}W^{3}=X^{3}+Y^{3}+Z^{3}+6XYZ+3\xi XY^{2}+3\xi ^{2}X^{2}Y+3\xi ^{2}XZ^{2}+3\xi X^{2}Z+3\xi YZ^{2}+3\xi ^{2}Y^{2}Z\,.$

Für die Vandermondesche Determinante gilt

${}{\begin{aligned}\triangle &=(Y-X)(Z-X)(Z-Y)\\&=XY^{2}-X^{2}Y+X^{2}Z-XZ^{2}+YZ^{2}-Y^{2}Z\\&={\frac {1}{3{\left(\xi ^{2}-\xi \right)}}}{\left(V^{3}-W^{3}\right)}.\end{aligned}}$