In der Mathematik ist E8 eine von mehreren eng verwandten außergewöhnlichen einfachen Lie-Gruppen, linearen algebraischen Gruppen oder Lie-Algebren der Dimension 248. Die gleiche Notation wird für das entsprechende Wurzelgitter verwendet, das den Rang 8 hat. Die Bezeichnung stammt von der Cartan-Killing-Klassifikation der komplexen einfachen Lie-Algebren, die vier unendliche Reihen mit den Bezeichnungen und fünf verwandte Ausnahmefälle mit den Bezeichnungen , , , und gibt. Die -Lie-Algebra ist der größte und komplizierteste dieser Ausnahmefälle.

Grundlegende Beschreibung

Bearbeiten

Die Lie-Gruppe   hat die Dimension 248. Ihr Rang, der die Dimension ihres maximalen Torus ist, ist acht.

Daher befinden sich die Vektoren ihres Wurzelsystems im achtdimensionalen euklidischen Raum: Sie werden später in diesem Artikel explizit beschrieben. Die Weyl-Gruppe von  , die die Gruppe der Symmetrien des maximalen Torus ist, die durch Konjugationen in der gesamten Gruppe induziert werden, hat die Ordnung  .

Die kompakte Gruppe   ist einzigartig unter einfachen kompakten Lie-Gruppen, da ihre nicht-triviale Darstellung der kleinsten Dimension die adjungierte Darstellung (der Dimension 248) ist, die auf der Lie-Algebra   selbst wirkt; es ist auch die einzige, die die folgenden vier Eigenschaften hat: triviales Zentrum, kompakt, einfach zusammenhängend und einfach geschnürt (alle Wurzeln haben die gleiche Länge).

Es gibt eine Lie-Algebra   für jede ganze Zahl  . Der größte Wert von  , für den   endlichdimensional ist, ist  , d. h.   ist unendlich dimensional für jedes  .

Reelle und komplexe Formen

Bearbeiten

Es gibt eine eindeutige komplexe Lie-Algebra vom Typ E8, die einer komplexen Lie-Gruppe der komplexen Dimension 248 entspricht. Die komplexe Lie-Gruppe   der komplexen Dimension 248 kann als einfache reelle Lie-Gruppe der reellen Dimension 496 betrachtet werden. Diese ist einfach zusammenhängend, hat als maximal kompakte Untergruppe die kompakte Form (siehe unten) von E8 und hat eine äußere Automorphismengruppe der Ordnung 2, die durch komplexe Konjugation erzeugt wird.

Neben der komplexen Lie-Gruppe vom Typ   gibt es drei reelle Formen der Lie-Algebra, drei reelle Formen der Gruppe mit trivialem Zentrum (von denen zwei nicht-algebraische 2-fache Überlagerungen haben, was zwei weitere reelle Formen ergibt), alle reelle Dimension 248, wie folgt:

- Die kompakte Form (was normalerweise gemeint ist, wenn keine anderen Informationen angegeben sind), die einfach zusammenhängend ist und eine triviale äußere Automorphismengruppe hat.

- Die spaltbare Form, EVIII (oder  ), die eine maximal kompakte Untergruppe  , Fundamentalgruppe der Ordnung 2 hat (was bedeutet, dass sie eine 2-fache Überlagerung hat, die eine einfach zusammenhängende reelle Lie-Gruppe ist, aber nicht algebraisch, siehe unten) und eine triviale äußere Automorphismengruppe hat.

- EIX (oder  ), die eine maximal kompakte Untergruppe  , Fundamentalgruppe der Ordnung 2 (was wiederum eine 2-fache Überlagerung impliziert, die nicht algebraisch ist) und triviale äußere Automorphismengruppe hat.

Eine vollständige Liste der reellen Formen einfacher Lie-Algebren finden Sie in der Liste der einfachen Lie-Gruppen.

E8 als algebraische Gruppe

Bearbeiten

Mittels einer Chevalley-Basis für die Lie-Algebra kann man   als lineare algebraische Gruppe über den ganzen Zahlen und damit über jedem kommutativen Ring und insbesondere über jedem Körper definieren: Dies definiert die sogenannten spaltbare (manchmal auch „ungetwistete“) Form von E8. Über einem algebraisch abgeschlossenen Körper ist dies die einzige Form; über anderen Körpern gibt es jedoch oft viele andere Formen oder „Verdrehungen“ von  , die im allgemeinen Rahmen der Galois-Kohomologie (über einem perfekten Körper  ) durch die Menge   klassifiziert werden, weil das Dynkin-Diagramm von   (siehe unten) keine Automorphismen hat, stimmt dies mit   überein.

Über   stimmt die reelle Zusammenhangskomponente der Identität dieser algebraisch getwisteten Formen von   mit den drei oben erwähnten reellen Lie-Gruppen überein, jedoch mit einer Subtilität bezüglich der Fundamentalgruppe: Alle Formen von   sind einfach zusammenhängend im Sinne der algebraischen Geometrie, was bedeutet, dass sie keine nicht-trivialen algebraischen Überlagerungen zulassen; die nicht kompakten und einfach zusammenhängenden reellen Lie-Gruppenformen von   sind daher nicht algebraisch und lassen keine treuen endlichdimensionalen Darstellungen zu.

Über endlichen Körpern impliziert das Lang-Steinberg-Theorem, dass  , was bedeutet, dass   keine getwisteten Formen hat: siehe unten.

Die Charaktere endlichdimensionaler Darstellungen der reellen und komplexen Lie-Algebren und Lie-Gruppen sind alle durch die Weyl-Charakterformel gegeben. Die Dimensionen der kleinsten irreduziblen Darstellungen sind (Sequenz A121732 im OEIS):

1, 248, 3875, 27000, 30380, 147250, 779247, 1763125, 2450240, 4096000, 4881384, 6696000, 26411008, 70680000, 76271625, 79143000, 146325270, 203205000, 281545875, 301694976, 344452500, 820260000, 1094951000, 2172667860, 2275896000, 2642777280, 2903770000, 3929713760, 4076399250, 4825673125, 6899079264, 8634368000 (zweimal), 12692520960…

Die 248-dimensionale Darstellung ist die adjungierte Darstellung. Es gibt zwei nicht isomorphe irreduzible Darstellungen der Dimension 8634368000 (sie ist nicht eindeutig; die nächste ganze Zahl mit dieser Eigenschaft ist jedoch 175898504162692612600853299200000 (Sequenz A181746 im OEIS)). Die grundlegenden Darstellungen sind die mit den Dimensionen 3875, 6696000, 6899079264, 146325270, 2450240, 30380, 248 und 147250 (entsprechend den acht Knoten im Dynkin-Diagramm in der für die Cartan-Matrix unten gewählten Reihenfolge, d. h. die Knoten werden in der Kette mit sieben Knoten zuerst, wobei der letzte Knoten mit dem dritten verbunden ist).

Die Koeffizienten der Charakterformeln für unendlichdimensionale irreduzible Darstellungen von   hängen von einigen großen quadratischen Matrizen ab, die aus Polynomen bestehen, den Lusztig-Vogan-Polynomen, einem Analogon der Kazhdan-Lusztig-Polynome, die allgemein von George Lusztig und David Kazhdan (1983) für reduktive Gruppen eingeführt wurden. Die Werte bei 1 der Lusztig-Vogan-Polynome geben die Koeffizienten der Matrizen an, die die Standarddarstellungen (deren Charakter leicht zu beschreiben ist) mit den irreduziblen Darstellungen in Beziehung setzen.

Diese Matrizen wurden nach vierjähriger Zusammenarbeit von einer Gruppe von 18 Mathematikern und Informatikern unter der Leitung von Jeffrey Adams berechnet, wobei ein Großteil der Programmierung von Fokko du Cloux übernommen wurde. Der schwierigste Fall (für außergewöhnliche Gruppen) ist die geteilte reelle Form von E8 (siehe oben), bei der die größte Matrix die Größe 453060 × 453060 hat. Die Lusztig-Vogan-Polynome für alle anderen außergewöhnlichen einfachen Gruppen sind seit einiger Zeit bekannt. Die Berechnung für die geteilte Form von E8 ist viel länger als in jedem anderen Fall. Die Bekanntgabe des Ergebnisses im März 2007 fand außerordentliche Beachtung.

Konstruktionen

Bearbeiten

Man kann die (kompakte Form der) E8-Gruppe als Automorphismengruppe der entsprechenden E8-Lie-Algebra konstruieren. Diese Algebra hat eine 120-dimensionale Subalgebra so(16), die von Jab generiert wird, sowie 128 neue Generatoren Qa, die sich in einen Weyl-Majorana-Spinor von Spin(16) transformieren. Diese Aussagen bestimmen die Kommutatoren

 

ebenso wie

 

während die restlichen Kommutatoren zwischen den Spinorgeneratoren definiert sind als

 

Geometrie

Bearbeiten

Die kompakte reelle Form von   ist die Isometriegruppe des 128-dimensionalen außergewöhnlich kompakten Riemannschen symmetrischen Raums EVIII (in Cartans Klassifikation). Er ist informell als "oktooktonionische Projektive Ebene" bekannt, da es mit einer Algebra konstruiert werden kann, die das Tensorprodukt der Oktonionen mit sich selbst ist, und ist auch als Rosenfeld-Ebene bekannt, obwohl er nicht den üblichen Axiomen einer projektiven Ebene genügt. Dies lässt sich systematisch anhand einer Konstruktion begründen, die als magisches Quadrat nach Hans Freudenthal und Jacques Tits bekannt ist (Landsberg & Manivel 2001).

E8-Wurzelsystem

Bearbeiten

Ein Wurzelsystem vom Rang   ist eine bestimmte endliche Konfiguration von Vektoren, Wurzeln genannt, die einen  -dimensionalen euklidischen Raum aufspannen und bestimmte geometrische Eigenschaften erfüllen. Insbesondere muss das Wurzelsystem invariant unter Spiegelung an jeder Hyperebene senkrecht zu einer Wurzel sein.

Das  -Wurzelsystem ist ein Rang-8-Wurzelsystem, das 240 Wurzelvektoren enthält, die den   aufspannen. Es ist irreduzibel in dem Sinne, dass es nicht aus Wurzelsystemen kleineren Ranges aufgebaut werden kann. Alle Wurzelvektoren in   haben die gleiche Länge. Es ist für eine Reihe von Zwecken praktisch, sie auf eine Länge von   zu normieren. Diese 240 Vektoren sind die Eckpunkte eines halbregulären Polytops, das 1900 von Thorold Gosset entdeckt wurde und manchmal als  -Polytop bezeichnet wird.

Konstruktion

Bearbeiten

Im sogenannten geraden Koordinatensystem ist   gegeben als die Menge aller Vektoren in   mit einer Länge  , so dass die Koordinaten entweder ganzzahlig oder halbzahlig sind und die Summe der Koordinaten gerade ist.

Explizit gibt es 112 Wurzeln mit ganzzahligen Einträgen, die man aus

 

erhält, indem man eine willkürliche Kombination von Vorzeichen und eine willkürliche Permutation von Koordinaten nimmt, und 128 Wurzeln mit halbzahligen Einträgen, die man aus

 

erhält, indem Sie eine gerade Anzahl von Minuszeichen verwenden (oder äquivalent verlangen, dass die Summe aller acht Koordinaten gerade ist). Es gibt insgesamt 240 Wurzeln.

Die 112 Wurzeln mit ganzzahligen Einträgen bilden ein  -Wurzelsystem. Das  -Wurzelsystem enthält auch eine Kopie von   (das 72 Wurzeln hat) sowie   und   (tatsächlich werden die beiden letzteren normalerweise als Teilmengen von   definiert).

Im ungeraden Koordinatensystem wird   angegeben, indem die Wurzeln im geraden Koordinatensystem genommen und das Vorzeichen einer beliebigen Koordinate geändert wird. Die Wurzeln mit ganzzahligen Einträgen sind gleich, während diejenigen mit halbzahligen Einträgen eine ungerade Anzahl von Minuszeichen statt einer geraden Zahl haben.

Cartan-Matrix

Bearbeiten

Die Cartan-Matrix eines Rang-r-Wurzelsystems ist eine r × r-Matrix, deren Einträge von den einfachen Wurzeln abgeleitet werden. Genauer sind die Einträge der Cartan-Matrix gegeben durch

 

wobei   das euklidische innere Produkt und   die einfachen Wurzeln sind. Die Einträge sind (bis auf die Reihenfolge) unabhängig von der Wahl einfacher Wurzeln.

Die Cartan-Matrix für   ist gegeben durch

 

Die Determinante dieser Matrix ist gleich 1.

Einfache Wurzeln

Bearbeiten

Eine Menge einfacher Wurzeln für ein Wurzelsystem   ist eine Menge von Wurzeln, die eine Basis für den von   aufgespannten euklidischen Raum bilden mit der spezielle Eigenschaft, dass für jede Wurzel ihre Komponenten bezüglich dieser Basis entweder alle nichtnegativ oder alle nichtpositiv sind.

Eine Wahl einfacher Wurzeln ist durch die Zeilen der folgenden Matrix gegeben:

 

Weyl-Gruppe

Bearbeiten

Die Weyl-Gruppe von E8 hat die Ordnung 696729600 und kann als   beschrieben werden. Sie ist von der Form 2.G.2 (d. h. eine Stern-Erweiterung durch die zyklische Gruppe der Ordnung 2 von einer Erweiterung der zyklischen Gruppe der Ordnung 2 durch eine Gruppe G), wobei G die eindeutige einfache Gruppe der Ordnung 174182400 ist (die als   beschrieben werden kann).

E8-Wurzelgitter

Bearbeiten

Der ganzzahlige Aufspann des  -Wurzelsystems bildet in   ein Gitter, das als  -Wurzelgitter bezeichnet wird. Dieses Gitter ist insofern bemerkenswert, als es das einzige (nichttriviale) gerade, unimodulare Gitter mit Rang kleiner als 16 ist.

Einfache Unteralgebren von E8

Bearbeiten
 
Ein unvollständiger Baum einfacher Untergruppen von  .

Die Lie-Algebra   enthält als Unteralgebren alle außergewöhnlichen Lie-Algebren sowie viele andere wichtige Lie-Algebren aus Mathematik und Physik. Die Höhe der Lie-Algebra im Diagramm entspricht ungefähr dem Rang der Algebra. Eine Linie von einer Algebra zu einer niedrigeren Algebra zeigt an, dass die niedrigere Algebra eine Unteralgebra der höheren Algebra ist.

Chevalley-Gruppen vom Typ E8

Bearbeiten

Chevalley (1955) zeigte, dass die Punkte der algebraischen Gruppe   (siehe oben) über einem endlichen Körper mit   Elementen eine endliche Chevalley-Gruppe bilden, allgemein geschrieben  , die für jedes   einfach ist. Sie bilden eine der unendlichen Familien in der Klassifikation endlicher einfacher Gruppen. Die Anzahl der Elemente ergibt sich aus der Formel (Sequenz A008868 im OEIS):

 

Der erste Term in dieser Folge, die Ordnung von  , nämlich 337804753143634806261388190614085595079991692242467651576160959909068800000 ≈ 3,38×1074, ist bereits größer als die Größe der Monstergruppe. Diese Gruppe   ist die letzte, die (aber ohne ihre Charaktertabelle) im ATLAS der endlichen Gruppen beschrieben wird.

Der Schur-Multiplikator von   ist trivial, und seine äußere Automorphismengruppe ist die Gruppe der Körperautomorphismen (d. h. zyklisch der Ordnung  , wenn  , wobei   eine Primzahl ist).

Lusztig (1979) beschrieb die unipotenten Darstellungen endlicher Gruppen vom Typ  .

Untergruppen

Bearbeiten

Die kleineren Ausnahmegruppen E7 und E6 sitzen innerhalb von E8. In der kompakten Gruppe sind sowohl   als auch   maximale Untergruppen von  .

Die 248-dimensionale adjungierte Darstellung von   kann im Hinblick auf die eingeschränkte Darstellung für die erste dieser Untergruppen betrachtet werden. Sie transformiert sich unter   als Summe von Tensorproduktdarstellungen, die als Dimensionspaar mit (3,1) + (1,133) + (2,56) bezeichnet werden können (da es einen Quotienten in diesem Produkt gibt, diese Notationen können streng genommen als Anzeige der infinitesimalen (Lie-Algebra)-Darstellungen angesehen werden). Da die adjungierte Darstellung durch die Wurzeln zusammen mit den Erzeugern in der Cartan-Subalgebra beschrieben werden kann, können wir die Zerlegung durch Betrachten dieser Erzeuger sehen. In dieser Beschreibung

(3,1) besteht aus den Wurzeln (0,0,0,0,0,0,1,−1), (0,0,0,0,0,0,−1,1) und dem Cartan-Erzeuger entsprechend der letzten Dimension;

(1,133) besteht aus allen Wurzeln mit (1,1), (−1,−1), (0,0), (−1⁄2,−1⁄2) oder (1⁄2,1⁄2) in den letzten beiden Dimensionen zusammen mit den Cartan-Erzeugern, die den ersten sieben Dimensionen entsprechen;

(2,56) besteht aus allen Wurzeln mit Permutationen von (1,0), (−1,0) oder (1⁄2,−1⁄2) in den letzten beiden Dimensionen.

Die 248-dimensionale adjungierte Darstellung von   transformiert sich bei ähnlicher Beschränkung unter   wie folgt: (8,1) + (1,78) + (3,27) + (3,27). Wir können die Zerlegung wieder sehen, wenn wir die Wurzeln zusammen mit den Erzeugern der Cartan-Subalgebra betrachten. In dieser Beschreibung

(8,1) besteht aus den Wurzeln mit Permutationen von (1,−1,0) in den letzten drei Dimensionen zusammen mit dem Cartan-Erzeuger, der den letzten beiden Dimensionen entspricht;

(1,78) besteht aus allen Wurzeln mit (0,0,0), (−1⁄2,−1⁄2,−1⁄2) oder (1⁄2,1⁄2,1⁄2) in den letzten drei Dimensionen, zusammen mit den Cartan-Erzeugern, die den ersten sechs Dimensionen entsprechen;

(3,27) besteht aus allen Wurzeln mit Permutationen von (1,0,0), (1,1,0) oder (−1⁄2,1⁄2,1⁄2) in den letzten drei Dimensionen.

(3,27) besteht aus allen Wurzeln mit Permutationen von (−1,0,0), (−1,−1,0) oder (1⁄2,−1⁄2,−1⁄2) in den letzten drei Dimensionen.

Die endlichen quasieinfachen Gruppen, die in (die kompakte Form von) E8eingebettet werden können, wurden von Griess & Ryba (1999) gefunden.

Die Dempwolff-Gruppe ist eine Untergruppe von (der kompakten Form von) E8. Es ist in der sporadischen Thompson-Gruppe enthalten, die auf den zugrunde liegenden Vektorraum der Lie-Gruppe E8 einwirkt, aber die Lie-Klammer nicht beibehält. Die Thompson-Gruppe fixiert ein Gitter und behält die Lie-Klammer dieses Gitters Mod 3 bei, was eine Einbettung der Thompson-Gruppe in E8(F3) ergibt.

Anwendungen

Bearbeiten

Die  -Lie-Gruppe hat Anwendungen in der theoretischen Physik und insbesondere in der Stringtheorie und Supergravitation.   ist die Eichgruppe einer der beiden Arten von heterotischen Saiten und eine von zwei anomaliefreien Eichgruppen, die in zehn Dimensionen mit der N = 1-Supergravitation gekoppelt werden können. E8 ist die U-Dualitätsgruppe der Supergravitation auf einem Acht-Torus (in seiner geteilten Form).

Eine Möglichkeit, das Standardmodell der Teilchenphysik in die heterotische Stringtheorie zu integrieren, ist die Symmetriebrechung von   in ihre maximale Subalgebra  .

1982 verwendete Michael Freedman das  -Gitter, um ein Beispiel für eine topologische 4-Mannigfaltigkeit zu konstruieren, die  -Mannigfaltigkeit, die keine glatte Struktur hat.

Antony Garrett Lisis unvollständige „An Exceptionally Simple Theory of Everything“ versucht, alle bekannten fundamentalen Wechselwirkungen in der Physik als Teil der  -Lie-Algebra zu beschreiben.

R. Coldea, D. A. Tennant und E. M. Wheeler et al. (2010) berichteten über ein Experiment, bei dem die Elektronenspins eines Kobalt-Niob-Kristalls unter bestimmten Bedingungen zwei der acht Peaks in Bezug auf   zeigten, die von Zamolodchikov (1989) vorhergesagt wurden.

Geschichte

Bearbeiten

Wilhelm Killing (1888a, 1888b, 1889, 1890) entdeckte die komplexe Lie-Algebra   bei seiner Klassifikation einfacher komplexer Lie-Algebren, bewies jedoch nicht ihre Existenz, die erstmals von Élie Cartan gezeigt wurde. Cartan stellte fest, dass eine komplexe einfache Lie-Algebra vom Typ   drei reelle Formen zulässt. Jede von ihnen führt zu einer einfachen Lie-Gruppe der Dimension 248, von denen genau eine (wie bei jeder komplexen einfachen Lie-Algebra) kompakt ist. Chevalley (1955) führte algebraische Gruppen und Lie-Algebren vom Typ   über anderen Körpern ein: Beispielsweise führen sie im Fall von endlichen Körpern zu einer unendlichen Familie von endlichen einfachen Gruppen vom Lie-Typ.   ist weiterhin ein Bereich aktiver Grundlagenforschung im Atlas of Lie Groups and Representations, der darauf abzielt, die unitären Darstellungen aller Lie-Gruppen zu bestimmen.

Literatur

Bearbeiten
Bearbeiten