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

Die Hilbert-Reihe und die Formel von Molien

Wir setzen nun die Untersuchung der Invariantenringe ${}K[X_{1},\ldots ,X_{n}]^{G}$ zu einer endlichen Gruppe ${}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}$ fort. Insbesondere wollen wir charakterisieren, wann der Invariantenring ein Polynomring ist, wie das beispielsweise bei der symmetrischen Gruppe der Fall ist. Für diese Fragestellung ist das Konzept der Hilbert-Reihe hilfreich.

Definition Referenznummer erstellen

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$.

Es handelt sich also um eine Potenzreihe mit Koeffizienten aus ${}\mathbb {N}$. Wir werden sie als formale Potenzreihe handhaben, Konvergenzuntersuchungen werden keine Rolle spielen. Die Hilbert-Reihe hängt nicht nur von dem Ring, sondern auch wesentlich von der gegebenen Graduierung ab. Die Hilbert-Reihe eines Polynomringes, wobei die Variablen positiven Grad besitzen, hat folgende Gestalt.

Lemma Lemma 19.2 ändern

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$

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 Referenznummer erstellen

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. Wir erinnern an die Definition der Spur einer Matrix und eines Endomorphismus.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und sei ${}M={\left(a_{ij}\right)}_{ij}$ eine ${}n\times n$- Matrix über ${}K$. Dann heißt

${}\operatorname {Spur} {\left(M\right)}:=\sum _{i=1}^{n}a_{ii}\,$

die Spur von ${}M$.

Definition Definition 19.5 ändern

Es sei ${}K$ ein Körper und sei ${}V$ ein endlichdimensionaler ${}K$- Vektorraum. Es sei ${}\varphi \colon V\rightarrow V$ eine lineare Abbildung, die bezüglich einer Basis durch die Matrix ${}M$ beschrieben werde. Dann nennt man ${}\operatorname {Spur} {\left(M\right)}$ die Spur von ${}\varphi$, geschrieben ${}\operatorname {Spur} {\left(\varphi \right)}$.

Diese Definition ist unabhängig von der gewählten Basis, siehe Aufgabe 19.5.

Lemma Lemma 19.6 ändern

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 Referenznummer erstellen

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 Satz 3.19 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 Lemma 19.6 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.

Der Satz von Chevalley-Shephard-Todd

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 Referenznummer erstellen

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 Referenznummer erstellen

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 Referenznummer erstellen

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 Lemma 19.11 ändern

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 Lemma 19.12 ändern

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 Lemma 19.11 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$

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