Wurzelsystem

Wurzelsysteme dienen in der Mathematik als Hilfsmittel zur Klassifikation der endlichen Spiegelungsgruppen und der endlichdimensionalen halbeinfachen komplexen Lie-Algebren.

Definitionen

Eine Teilmenge R eines Vektorraums V über einem Körper K der Charakteristik 0 heißt Wurzelsystem, falls sie die folgenden Bedingungen erfüllt:

  1. R ist endlich.
  2. R ist ein lineares Erzeugendensystem von V.
  3. Zu jedem \alpha aus R gibt es eine Linearform \alpha ^{\vee }\in V^{*} mit den Eigenschaften:
    • Für \beta \in R ist \alpha ^{\vee }(\beta )\in {\mathbb  {Z}} .
    • \alpha ^{\vee }(\alpha )=2
    • Die lineare Abbildung s_{\alpha }\colon V\to V mit s_{\alpha }(x)=x-\alpha ^{\vee }(x)\cdot \alpha bildet R auf R ab.

Die Elemente eines Wurzelsystems heißen Wurzeln.

Ein reduziertes Wurzelsystem liegt vor, falls zusätzlich gilt

4. Sind zwei Wurzeln \alpha,\beta linear abhängig, so gilt \alpha =\pm \beta

Man kann zeigen, dass die Linearform \alpha ^{\vee } aus 3. für jedes \alpha \in R eindeutig ist. Sie wird die Kowurzel zu \alpha genannt; die Bezeichnung ist dadurch gerechtfertigt, dass die Kowurzeln ein Wurzelsystem im Dualraum V^{*} bilden. Die Abbildung s_{\alpha } ist eine Spiegelung und natürlich ebenfalls eindeutig bestimmt.

Sind \alpha und \beta zwei Wurzeln mit \alpha ^{\vee }(\beta )=0, so kann man zeigen, dass auch \beta ^{\vee }(\alpha )=0 gilt, und man nennt \alpha und \beta orthogonal zueinander. Kann man das Wurzelsystem derart als Vereinigung R=R_{1}\cup R_{2} zweier nicht-leerer Teilmengen schreiben, dass jede Wurzel in R_{1} orthogonal zu jeder Wurzel in R_{2} ist, so heißt das Wurzelsystem reduzibel. In diesem Fall lässt sich auch V in eine direkte Summe V_{1}\oplus V_{2} zerlegen, so dass R_{1}\subseteq V_{1} und R_{2}\subseteq V_{2} Wurzelsysteme sind. Ist hingegen ein nicht-leeres Wurzelsystem nicht reduzibel, so heißt es irreduzibel.

Die Dimension des Vektorraums V heißt Rang des Wurzelsystems. Eine Teilmenge \Pi eines Wurzelsystems R heißt Basis, falls \Pi eine Basis von V ist und jedes Element von R als ganzzahlige Linearkombination von Elementen von \Pi mit ausschließlich positiven oder ausschließlich negativen Koeffizienten dargestellt werden kann.

Zwei Wurzelsysteme R\subset V und R'\subset V' sind genau dann zueinander isomorph, wenn es einen Vektorraumisomorphismus \varphi \colon V\to V' mit \varphi (R)=R' gibt.

Skalarprodukt

Man kann auf V ein Skalarprodukt definieren, bezüglich welchem die Abbildungen s_{\alpha } Spiegelungen sind. Im reduziblen Fall kann man dieses aus Skalarprodukten auf den Komponenten zusammensetzen. Falls jedoch R irreduzibel ist, so ist dieses Skalarprodukt sogar bis auf einen Faktor eindeutig. Man kann dieses noch so normieren, dass die kürzesten Wurzeln die Länge 1 haben.

Man kann also im Prinzip davon ausgehen, dass ein Wurzelsystem in einem K^{n} (meist \mathbb {R} ^{n}) mit dessen Standardskalarprodukt „lebt“. Die Ganzzahligkeit von \alpha ^{\vee }(\beta ) und \beta ^{\vee }(\alpha ) bedeutet dann eine erhebliche Einschränkung für die möglichen Winkel zwischen zwei Wurzeln \alpha und \beta . Es ergibt sich nämlich aus

\langle \alpha ,\beta \rangle ={\sqrt  {\langle \alpha ,\alpha \rangle \langle \beta ,\beta \rangle }}\cdot \cos \measuredangle (\alpha ,\beta ),

dass 4\cos ^{2}\measuredangle (\alpha ,\beta ) ganzzahlig sein muss. Dies ist wiederum nur für die Winkel 0°, 30°, 45°, 60°, 90°, 120°, 135°, 150°, 180° der Fall. Zwischen zwei verschiedenen Wurzeln einer Basis sind sogar nur die Winkel 90°, 120°, 135°, 150° möglich. All diese Winkel treten tatsächlich auf, vgl. die Beispiele vom Rang 2. Weiter ergibt sich, dass auch für das Längenverhältnis zweier Wurzeln in derselben irreduziblen Komponente nur wenige Werte möglich sind.

Weylgruppe

Die Untergruppe der Automorphismengruppe von V, die von der Menge der Reflexionen \{s_{\alpha }|\alpha \in R\} erzeugt wird, heißt Weylgruppe (nach Hermann Weyl) und wird im Allgemeinen mit W bezeichnet. Bezüglich des definierten Skalarproduktes sind alle Elemente der Weylgruppe orthogonal, die s_{\alpha } sind Spiegelungen.

Die Gruppe W operiert treu auf R und ist daher immer endlich. Ferner operiert W transitiv auf der Menge der Basen von R.

Im Fall K=\mathbb{R} zerlegen die Spiegelungsebenen der s_{\alpha } den Raum jeweils in Halbräume, insgesamt in mehrere offene konvexe Teilmengen, die sogenannten Weylkammern. Auch auf diesen operiert W transitiv.

Positive Wurzeln, Einfache Wurzeln

Nach Wahl einer Weyl-Kammer {\mathfrak  {a}}^{+} kann man die Menge der positiven Wurzeln definieren durch

R^{+}:=\left\{\alpha \in R:\alpha ^{\vee }(x)>0\ \forall x\in {\mathfrak  {a}}^{+}\right\}.

Dies definiert eine Anordnung auf R durch

{\displaystyle \alpha >\beta \Longleftrightarrow \alpha -\beta \in \mathbb {Z} _{\geq 0}R^{+}}.

Die positiven bzw. negativen Wurzeln sind also diejenigen mit \alpha >0 bzw. \alpha <0. (Man beachte, dass diese Definition von der Wahl der Weyl-Kammer abhängt. Zu jeder Weyl-Kammer erhält man eine Anordnung.)

Eine einfache Wurzel ist eine positive Wurzel, die sich nicht als Summe mehrerer positiver Wurzeln zerlegen lässt.

Die einfachen Wurzeln bilden eine Basis von V. Jede positive (negative) Wurzel lässt sich als Linearkombination einfacher Wurzeln mit nichtnegativen (nichtpositiven) Koeffizienten zerlegen.

Beispiele

Die leere Menge ist das einzige Wurzelsystem vom Rang 0 und ist auch das einzige Wurzelsystem, das weder reduzibel noch irreduzibel ist.

Es gibt bis auf Isomorphie nur ein reduziertes Wurzelsystem vom Rang 1. Es besteht aus zwei von 0 verschiedenen Wurzeln \{\alpha ,-\alpha \} und wird mit A_{1} bezeichnet. Betrachtet man auch nicht-reduzierte Wurzelsysteme, so ist \{-2\alpha ,-\alpha ,\alpha ,2\alpha \} das einzige weitere Beispiel von Rang 1.

Alle reduzierten Wurzelsysteme vom Rang 2 haben, bis auf Isomorphie, eine der folgenden Formen. (\alpha ,\beta ) ist jeweils eine Basis des Wurzelsystems.

Root system A1×A1 Root system A2
Wurzelsystem A1×A1 Wurzelsystem A2
Root system B2 Root system G2
Wurzelsystem B2 Wurzelsystem G2
reduzierte Wurzelsysteme vom Rang 2

Im ersten Beispiel, A_{1}\times A_{1}, ist das Verhältnis der Längen von \alpha und \beta beliebig, in den anderen Fällen dagegen durch die geometrischen Gegebenheiten eindeutig bestimmt.

Klassifikation

Bis auf Isomorphie ist sämtliche Information über ein reduziertes Wurzelsystem R in seiner Cartan-Matrix

C(R)=(\beta ^{\vee }(\alpha ))_{{\alpha ,\beta \in \Pi }}

enthalten. Man kann dies auch in Form eines Dynkin-Diagramms darstellen. Dazu setzt man für jedes Element einer Basis einen Punkt und verbindet die Punkte α und β durch Striche, deren Anzahl durch

\beta ^{\vee }(\alpha )\alpha ^{\vee }(\beta )

bestimmt wird. Sind dies mehr als einer, so setzt man zusätzlich zwischen beide Punkte ein Relationszeichen > bzw. < , d.h. einen ‚Pfeil‘ in Richtung der kürzeren Wurzel. Die Zusammenhangskomponenten des Dynkin-Diagramms entsprechen genau den irreduziblen Komponenten des Wurzelsystems. Als Diagramm eines irreduziblen Wurzelsystems können nur auftreten:

Irreduzible Wurzelsysteme.png

Der Index n gibt hierbei jeweils den Rang und damit die Anzahl der Punkte im Diagramm an. Aus den Dynkin-Diagrammen kann man mehrere Identitäten für Fälle kleineren Ranges ablesen, nämlich:

Deshalb bildet beispielsweise B erst ab n=2 und D erst ab n=4 eine eigenständige Klasse. Die zu den Serien A_{n} bis D_{n} gehörenden Wurzelsysteme werden auch als klassische Wurzelsysteme bezeichnet, die übrigen fünf als exzeptionelle oder Ausnahme-Wurzelsysteme. Alle genannten Wurzelsysteme treten beispielsweise auch auf als Wurzelsystem halbeinfacher komplexer Lie-Algebren.

Nicht reduzierte Wurzelsysteme

Für irreduzible, nicht reduzierte Wurzelsysteme gibt es nur wenige Möglichkeiten, die gedacht werden können als die Vereinigung eines B_{n} mit einem C_{n} (mit n\geq 1) bzw. als ein B_{n}, bei dem für jede kurze Wurzel deren Doppeltes hinzugenommen wurde.

Weitere Anwendungen

Lie-Algebren

Es sei \mathfrak{g} eine endlich-dimensionale halbeinfache Lie-Algebra und {\mathfrak  {a}}\subset {\mathfrak  {g}} eine Cartan-Unteralgebra. Dann heißt \alpha \in {\mathfrak  {a}} eine Wurzel, wenn

{\mathfrak  {g}}_{\alpha }:=\left\{Y\in {\mathfrak  {g}}:\left[X,Y\right]=\alpha ^{\vee }(X)Y\ \forall X\in {\mathfrak  {a}}\right\}\not =\left\{0\right\}

ist. Hierbei ist \alpha ^{\vee }\in {\mathfrak  {a}}^{*} die mittels der Killing-Form B durch

\alpha ^{\vee }(X)=2{\frac  {B(\alpha ,X)}{B(\alpha ,\alpha )}}\ \forall X\in {\mathfrak  {a}}

definierte lineare Abbildung.

Sei R\subset {\mathfrak  {a}} die Menge der Wurzeln, dann kann man zeigen, dass

({\mathfrak  {a}},R)

ein Wurzelsystem ist.

Eigenschaften

Dieses Wurzelsystem hat folgende Eigenschaften:

  1. {\mathfrak  {a}}(\mathbb{R} ):=\left\{a\in {\mathfrak  {a}}:\alpha ^{\vee }(a)\in \mathbb{R} \ \forall \ \alpha \in R\right\} ist eine reelle Form von {\mathfrak {a}}.
  2. Für \alpha \in R gilt n\alpha \in R genau dann, wenn n=\pm 1.
  3. Für alle \alpha \in R ist \operatorname {dim}({\mathfrak  {g}}_{\alpha })=1.
  4. Für alle \alpha ,\beta \in R ist {\mathfrak  {g}}_{{\alpha +\beta }}=\left[{\mathfrak  {g}}_{\alpha },{\mathfrak  {g}}_{\beta }\right], insbesondere {\displaystyle \left[{\mathfrak {g}}_{\alpha },{\mathfrak {g}}_{-\alpha }\right]\subset {\mathfrak {a}}}.
  5. {\mathfrak  {g}}_{\alpha },{\mathfrak  {g}}_{{-\alpha }},\left[{\mathfrak  {g}}_{\alpha },{\mathfrak  {g}}_{{-\alpha }}\right] spannen eine zur Lie-Algebra sl(2,C) isomorphe Lie-Algebra auf.
  6. Für \alpha \not =\pm \beta ist B({\mathfrak  {g}}_{\alpha },{\mathfrak  {g}}_{\beta })=0, d.h. die Wurzelräume sind bzgl. der Killing-Form orthogonal. Die Einschränkung der Killing-Form auf {\mathfrak {a}} und {\mathfrak  {g}}_{\alpha }\oplus {\mathfrak  {g}}_{{-\alpha }} ist nicht-entartet. Die Einschränkung der Killing-Form auf {\mathfrak  {a}}(\mathbb{R} ) ist reell und positiv definit.

Endlich-dimensionale halbeinfache komplexe Lie-Algebren werden durch ihre Wurzelsysteme, also durch ihre Dynkin-Diagramme, klassifiziert.

Beispiel

Es sei {\mathfrak  {g}}=sl(n,\mathbb{R} ). Die Killing-Form ist B(X,Y)=2nTr(XY), eine Cartan-Unteralgebra {\mathfrak {a}} ist die Algebra der Diagonalmatrizen mit Spur 0, also {\mathfrak  {a}}=\left\{\operatorname {diag}(\lambda _{1},\ldots ,\lambda _{n}):\lambda _{1}+\ldots +\lambda _{n}=0\right\}. Wir bezeichnen mit e_{i} die Diagonalmatrix mit i-tem Diagonaleintrag \lambda _{i}=1 und den anderen Diagonaleinträgen gleich 0.

Das Wurzelsystem von {\mathfrak {a}} ist R=\left\{e_{i}-e_{j}:1\leq i\not =j\leq n\right\}. Die zu \alpha =e_{i}-e_{j} duale Form \alpha ^{\vee }\in {\mathfrak  {a}}^{*} ist

\alpha ^{\vee }(\operatorname {diag}(\lambda _{1},\ldots ,\lambda _{n}))=\lambda _{i}-\lambda _{j}.

Als positive Weyl-Kammer kann man

{\mathfrak  {a}}^{+}=\left\{\operatorname {diag}(\lambda _{1},\ldots ,\lambda _{n}):\lambda _{1}>\ldots >\lambda _{n},\lambda _{1}+\ldots +\lambda _{n}=0\right\}

wählen. Die positiven Wurzeln sind dann

R^{+}=\left\{e_{i}-e_{j}:1\leq i<j\leq n\right\}.

Die einfachen Wurzeln sind

\left\{e_{i}-e_{{i+1}}:1\leq i\leq n-1\right\}.

Spiegelungsgruppen

Eine Coxeter-Gruppe ist abstrakt definiert als Gruppe mit Präsentation

\left\langle r_{1},r_{2},\ldots ,r_{n}\mid (r_{i}r_{j})^{{m_{{ij}}}}=1\right\rangle

mit m_{{ii}}=1 und m_{{ij}}\geq 2 für i\neq j, sowie der Konvention m_{{ij}}=\infty , falls (r_{i}r_{j}) unendliche Ordnung hat, d.h. es keine Relation der Form (r_{i}r_{j})^{m} gibt.

Coxeter-Gruppen sind eine Abstraktion des Begriffs der Spiegelungsgruppe.

Jeder Coxeter-Gruppe entspricht ein ungerichtetes Dynkin-Diagramm. Die Punkte des Diagramms entsprechen den Erzeugern r_{1},r_{2},\ldots ,r_{n}. Die r_{i} und r_{j} entsprechenden Punkte werden durch m_{{ij}} Kanten verbunden.

Singularitäten

Nach Wladimir Arnold lassen sich Elementare Katastrophen durch Dynkin-Diagramme vom Typ ADE klassifizieren:

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 02.04. 2020