Kurs:Invariantentheorie (Bochum 2003)/Vorlesung 5

Definition

Es sei ${}K$ ein Körper und ${}R$ eine positiv-graduierte kommutative ${}K$- Algebra mit der Eigenschaft, dass für jedes ${}d\in \mathbb {N}$ die Stufe ${}R_{d}$ endlichdimensional ist. Dann nennt man die Potenzreihe

$\sum _{d=0}^{\infty }\dim _{K}{\left(R_{d}\right)}z^{d}$

die Hilbert-Reihe von ${}R$.

Die lineare Operation von einer endlichen Gruppe ${}G$ auf einem ${}K$- Vektorraum ${}V$ bzw. auf dem zugehörigen Polynomring ${}R=K[V]$ induziert eine ${}K$-lineare Operation ${}R_{d}\rightarrow R_{d}$ in jeder Stufe und der Invariantenring ${}R^{G}$ ist selbst graduiert. Dies ermöglicht folgende Definition.

Definition

Die endliche Gruppe ${}G$ operiere linear auf dem Polynomring ${}R=K[X_{1},\ldots ,X_{n}]$. Dann nennt man die Potenzreihe

${}\Phi _{G}(z)=\sum _{d=0}^{\infty }\dim _{K}{\left(R_{d}^{G}\right)}z^{d}\,$

die Hilbert-Reihe (oder Molien-Reihe) zu dieser Operation.

Die Dimensionen der homogenen Stufen sind endlich und daher ist diese Definition sinnvoll. Die Hilbert-Reihe zur Operation ist einfach die Hilbert-Reihe des Invariantenringes.

Die Dimension des Fixraumes zu einer linearen Operation kann man über die Spur der einzelnen Automorphismen berechnen.

Lemma

Es sei ${}K$ ein Körper und ${}V$ ein endlichdimensionaler ${}K$- Vektorraum, auf dem eine endliche Gruppe ${}G$ linear und treu operiere. Die Gruppenordnung sei kein Vielfaches der Charakteristik von ${}K$.

Dann besitzt der Fixraum der Operation (also der gemeinsame Eigenraum zum Eigenwert ${}1$) die Dimension

${}\dim _{K}{\left(V^{G}\right)}={\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\sigma \in G}\operatorname {Spur} {\left(\sigma \right)}\,.$

Beweis

Wir betrachten die lineare Abbildung

${}\pi ={\frac {1}{\vert {G}\vert }}\sum _{\sigma \in G}\sigma \,.$

Zu ${}w\in V$ ist ${}\pi (w)$ ${}G$-invariant und für ${}v\in V^{G}$ ist ${}\pi (v)=v$. Daher ist ${}\pi$ eine lineare Projektion

$V\longrightarrow V^{G}.$

Eine lineare Projektion wird in einer geeigneten Basis durch eine Diagonalmatrix beschrieben, in der ${}m=\dim _{K}{\left(V^{G}\right)}$ Einsen und sonst Nullen stehen. Also ist ${}\operatorname {Spur} {\left(\pi \right)}=m$. Die Behauptung folgt daraus, dass die Spur additiv ist.

$\Box$

Der folgende Satz berechnet die Hilbert-Reihe (Formel von Molien).

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper der Charakteristik ${}0$. Die endliche Gruppe ${}G$ operiere linear auf einem endlichdimensionalen ${}K$- Vektorraum ${}V$.

Dann ist

${}\Phi _{G}(z)={\frac {1}{\#\left(G\right)}}\sum _{\sigma \in G}{\frac {1}{\det {\left(\operatorname {Id} -z\sigma \right)}}}\,.$

Beweis

Der lineare Automorphismus ${}\sigma$ ist nach Fakt ***** diagonalisierbar, da er endliche Ordnung hat. In einer geeigneten Basis besitzt die duale Abbildung ${}{\sigma }^{*}$ die Gestalt

$X_{i}\longmapsto \xi _{i}X_{i}.$

Auf der ${}d$-ten Stufe induziert dies den linearen Automorphismus

$\sigma ^{(d)}\colon K[V]_{d}\longrightarrow K[V]_{d}$

mit ${}X^{\nu }\longmapsto \xi ^{\nu }X^{\nu }$. Die Eigenvektoren von ${}\sigma ^{(d)}$ sind die ${}{\binom {n+d-1}{d}}$ verschiedenen Monome

$X_{1}^{\nu _{1}}\cdots X_{n}^{\nu _{n}}$

(es sei ${}n=\dim _{K}{\left(V\right)}$) mit ${}\nu _{1}+\cdots +\nu _{n}=d$ mit den Eigenwerten ${}\xi _{1}^{\nu _{1}}\cdots \xi _{n}^{\nu _{n}}$. Die Spur von ${}\sigma ^{(d)}$ ist daher

${}\operatorname {Spur} {\left(\sigma ^{(d)}\right)}=\sum _{\vert {\nu }\vert =d}\xi ^{\nu }\,.$

Nach Fakt ***** ergibt sich

${}\dim _{K}{\left(\right)}={\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\sigma \in G}\operatorname {Spur} {\left(\sigma ^{(d)}\right)}\,$

mit

${}\operatorname {Spur} {\left(\sigma ^{(d)}\right)}=\sum _{\nu _{1}+\cdots +\nu _{n}=d}\xi _{1}^{\nu _{1}}\cdots \xi _{n}^{\nu _{n}}\,.$

Damit ist unter Verwendung der geometrischen Reihe

${}{\begin{aligned}\Phi _{G}(z)&=\sum _{d=0}^{\infty }{\left({\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\sigma \in G}\operatorname {Spur} {\left(\sigma ^{(d)}\right)}\right)}z^{d}\\&={\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{d=0}^{\infty }{\left(\sum _{\sigma \in G}\sum _{\nu _{1}+\cdots +\nu _{n}=d}\xi _{\sigma ,1}^{\nu _{1}}\cdots \xi _{\sigma ,n}^{\nu _{n}}\right)}z^{d}\\&={\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\sigma \in G}\sum _{(\nu _{1},\ldots ,\nu _{n})\in \mathbb {N} ^{n}}\xi _{\sigma ,1}^{\nu _{1}}\cdots \xi _{\sigma ,n}^{\nu _{n}}z^{\nu _{1}+\cdots +\nu _{n}}\\&={\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\sigma \in G}{\left(\sum _{\nu _{1}=0}^{\infty }\xi _{\sigma ,1}^{\nu _{1}}z^{\nu _{1}}\right)}\cdots {\left(\sum _{\nu _{n}=0}^{\infty }\xi _{\sigma ,n}^{\nu _{n}}z^{\nu _{n}}\right)}\\&={\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\sigma \in G}{\frac {1}{{\left(1-z\xi _{\sigma ,1}\right)}\cdots {\left(1-\xi _{\sigma ,n}\right)}}}\\&={\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\sigma \in G}{\frac {1}{\det {\left(\operatorname {Id} -z\sigma \right)}}}.\end{aligned}}$

$\Box$

Die Formel besagt insbesondere, dass diese Potenzreihe eine rationale Funktion (also ein Quotient aus zwei Polynomen) ist und daher nur endlich viele Polstellen hat. Die Nennerpolynome in den Summanden erinnern an die charakteristischen Polynome der Gruppenelemente, doch steht hier die Variable bei der linearen Abbildung, nicht bei der Identität.

Die Hilbert-Reihe eines Polynomringes, wobei die Variablen positiven Grad besitzen, hat folgende Gestalt.

Lemma

Es sei ${}K$ ein Körper und es sei ${}R=K[X_{1},\ldots ,X_{n}]$ der Polynomring über ${}K$, wobei die ${}X_{i}$ den positiven Grad ${}d_{i}\in \mathbb {N} _{+}$ haben mögen.

Dann ist die Hilbert-Reihe dieses Ringes gleich

${}H(R,z)={\frac {1}{{\left(1-z^{d_{1}}\right)}\cdots {\left(1-z^{d_{n}}\right)}}}\,.$

Beweis

Die Monome ${}X_{1}^{\nu _{1}}\cdots X_{n}^{\nu _{n}}$ vom Gesamtgrad ${}d=\sum _{j=1}^{n}d_{j}\nu _{j}$ bilden eine ${}K$- Basis von ${}R_{d}$. Die Dimension der ${}d$-ten Stufe ${}R_{d}$ ist also die Anzahl der Elemente in der Menge

${}A_{d}:={\left\{(\nu _{1},\ldots ,\nu _{n})\in \mathbb {N} ^{n}\mid \nu _{1}d_{1}+\ldots +\nu _{n}d_{n}=d\right\}}\,.$

Die Behauptung folgt somit aus

${}{\begin{aligned}\sum _{d=0}^{\infty }\vert {A_{d}}\vert z^{d}&=\sum _{d=0}^{\infty }\sum _{(\nu _{1},\ldots ,\nu _{n})\in A_{d}}z^{d}\\&={\left(\sum _{\nu _{1}=0}^{\infty }z^{\nu _{1}d_{1}}\right)}\cdots {\left(\sum _{\nu _{n}=0}^{\infty }z^{\nu _{n}d_{n}}\right)}\\&={\frac {1}{1-z^{d_{1}}}}\cdots {\frac {1}{1-z^{d_{n}}}},\end{aligned}}$

wobei wir im letzten Schritt die Formel für die geometrische Reihe verwendet haben.

$\Box$

Wir wenden uns nun der Charakterisierung derjenigen linearen Operationen auf dem Polynomring zu, die zu einem Invariantenring führen, der selbst ein Polynomring ist.

Definition

Ein linearer Automorphismus auf einem endlichdimensionalen ${}K$- Vektorraum heißt Pseudoreflektion (oder Pseudospiegelung), wenn er in einer geeigneten Basis durch eine Matrix der Form

${\begin{pmatrix}1&0&\cdots &\cdots &0\\0&1&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&1&0\\0&\cdots &\cdots &0&\zeta \end{pmatrix}},$

wobei ${}\zeta \neq 1$ eine Einheitswurzel ist, beschrieben werden kann.

Eine Pseudoreflektion besitzt also eine Hyperebene (einen ${}(n-1)$-dimensionalen Untervektorraum), auf der sie fix ist (der Eigenraum zum Eigenwert ${}1$) und einen weiteren dazu linear unabhängigen Eigenvektor zum Eigenwert ${}\zeta$. Die Ordnung der Einheitswurzel ${}\zeta$ bestimmt auch die Ordnung der Pseudoreflektion. Das Inverse einer Pseudoreflektion ist wieder eine Pseudoreflektion.

Definition

Eine endliche Untergruppe ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ heißt Reflektionsgruppe (oder Spiegelungsgruppe), wenn sie durch Pseudoreflektionen erzeugt wird.

Man beachte, dass dies keine Eigenschaft der (abstrakten) Gruppe ${}G$ ist, sondern eine Eigenschaft der Untergruppe ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$. In einer Reflektionsgruppe kann man jedes Element ${}\tau$ als ein Produkt ${}\tau =\sigma _{1}\cdots \sigma _{k}$ mit Pseudoreflektionen ${}\sigma _{j}$ schreiben.

Die Bedeutung von Reflektionsgruppen in der Invariantentheorie kommt im folgenden wichtigen Satz, dem Satz von Chevalley-Shephard-Todd, zum Ausdruck.

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper der Charakteristik null. Die endliche Gruppe ${}G$ operiere linear und treu auf dem ${}K$- Vektorraum ${}V$. Dann sind folgende Aussagen äquivalent.

1. ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ ist eine Reflektionsgruppe.
2. Der Invariantenring ${}K[X_{1},\ldots ,X_{n}]^{G}$ ist (isomorph zu einem) ein Polynomring (in ${}n$ Variablen).

Aus Dimensionsgründen ist klar, dass wenn der Invariantenring ein Polynomring ist, dieser ${}n$ Variablen besitzt. Der Beweis dieses Satzes benutzt verschiedene Lemmata und verwendet die Theorie der Hilbert-Reihen. Hierbei werden verschiedene elementare Hilfsmittel aus der Theorie der Potenzreihen verwendet.

Lemma

Es sei ${}K$ ein algebraisch abgeschlossener Körper und ${}\sigma \in \operatorname {GL} _{n}\!{\left(K\right)}$ eine Pseudoreflektion. Es sei ${}H_{\sigma }$ der Fixraum zu ${}\sigma$ und ${}L_{\sigma }$ eine Linearform ${}\neq 0$, die auf ${}H_{\sigma }$ verschwindet.

Dann ist ${}L_{\sigma }$ für jedes Polynom ${}f\in K[X_{1},\ldots ,X_{n}]$ ein Teiler von ${}f\sigma -f$.

Beweis

Für ${}v\in H_{\sigma }$ ist

${}(f\sigma -f)(v)=f(\sigma v)-f(v)=f(v)-f(v)=0\,.$

Das Polynom ${}f\sigma -f$ verschwindet also auf der Nullstellenmenge von ${}L_{\sigma }$. Wir können ${}L_{\sigma }$ zu einer Variablenmenge ${}L_{\sigma },L_{2},\ldots ,L_{n}$ ergänzen und

${}f\sigma -f=P(L_{\sigma },L_{2},\ldots ,L_{n})L_{\sigma }+Q(L_{2},\ldots ,L_{n})\,$

schreiben. Das Polynom ${}Q$ verschwindet auf ${}H_{\sigma }$ und ist somit die Nullfunktion, also muss es auch das Nullpolynom sein, da der Körper unendlich ist.

$\Box$

Lemma

Es sei ${}K$ ein algebraisch abgeschlossener Körper der Charakteristik ${}0$ und ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ eine Reflektionsgruppe. Es sei ${}I_{G}$ das Ideal in ${}K[X_{1},\ldots ,X_{n}]$, das durch die homogenen Invarianten von einem positiven Grad erzeugt wird. Es gelte

${}g_{1}h_{1}+\cdots +g_{m}h_{m}=0\,,$

wobei die ${}h_{1},\ldots ,h_{m}\in K[X_{1},\ldots ,X_{n}]$ homogene Polynome und die ${}g_{1},\ldots ,g_{m}\in K[X_{1},\ldots ,X_{n}]^{G}$ invariante Polynome seien.

Dann ist ${}h_{1}\in I_{G}$ oder ${}g_{1}\in (g_{2},\ldots ,g_{m})$.

Beweis

Wir führen Induktion über den Grad von ${}h_{1}$. Bei ${}h_{1}=0$ gehört natürlich ${}h_{1}$ zu ${}I_{G}$. Für ${}h_{1}\neq 0$ und ${}\operatorname {grad} \,(h_{i})=0$ ist ${}g_{1}\in (g_{2},\ldots ,g_{m})$. Es sei also ${}\operatorname {grad} \,(h_{1})\geq 1$ und die Aussage für kleineren Grad bewiesen. Es sei ${}g_{1}\notin (g_{2},\ldots ,g_{m})$ vorausgesetzt und es sei ${}\sigma \in G$ eine Pseudoreflektion. Dann ist

${}\sum _{i=1}^{m}g_{i}\cdot (h_{i}\sigma )={\left(\sum _{i=1}^{m}g_{i}h_{i}\right)}\sigma =0\sigma =0\,.$

Nach Fakt ***** kann man

${}h_{i}\sigma =h_{i}+L_{\sigma }\cdot {\widetilde {h}}_{i}\,$

schreiben, wobei ${}L_{\sigma }$ eine beschreibende Linearform des Fixraumes zu ${}\sigma$ ist und ${}{\widetilde {h}}_{i}$ einen kleineren Grad als ${}h_{i}$ besitzt. Wir schreiben die obige Gleichung als

${}0=\sum _{i=1}^{m}g_{i}{\left(h_{i}+L_{\sigma }{\widetilde {h}}_{i}\right)}=L_{\sigma }\sum _{i=1}^{m}g_{i}{\widetilde {h}}_{i}\,.$

Daher ist die Summe rechts gleich ${}0$ und nach Induktionsvoraussetzung ist ${}{\widetilde {h}}_{1}\in I_{G}$, also auch ${}h_{1}\sigma -h_{1}={\widetilde {h}}_{1}L_{\sigma }\in I_{G}$.

Es sei nun ${}\tau =\sigma _{1}\cdots \sigma _{k}\in G$ ein Produkt von Pseudoreflektionen. Dann ist

${}{\begin{aligned}h_{1}\tau -h_{1}&=\sum _{i=1}^{k}{\left(h_{1}\sigma _{i}\cdots \sigma _{k}-h_{1}\sigma _{i+1}\cdots \sigma _{k}\right)}\\&=\sum _{i=1}^{k}{\left(h_{1}\sigma _{i}-h_{1}\right)}{\left(\sigma _{i+1}\cdots \sigma _{k}\right)}.\end{aligned}}$

Da ${}h_{1}\sigma _{i}-h_{1}$ zu ${}I_{G}$ gehört und ${}I_{G}$ unter ${}G$ invariant ist, gehört auch ${}h_{1}\tau -h_{1}$ zu ${}I_{G}$. Mit dem Reynolds-Operator ${}\rho$ ist

${}\rho (h_{1})-h_{1}={\left({\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\tau \in G}h_{1}\tau \right)}-h_{1}={\frac {1}{\operatorname {ord} {\left(G\right)}}}\sum _{\tau \in G}{\left(h_{1}\tau -h_{1}\right)}\,.$

Dies gehört zu ${}I_{G}$ und wegen ${}\rho (h_{1})\in I_{G}$ ist auch ${}h_{1}\in I_{G}$.

$\Box$