E8 (Gruppe)

In der Mathematik ist E₈ 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 $E_{8}$ stammt von der Cartan-Killing-Klassifikation der komplexen einfachen Lie-Algebren, die vier unendliche Reihen mit den Bezeichnungen $A_{n},B_{n},C_{n},D_{n}$ und fünf verwandte Ausnahmefälle mit den Bezeichnungen $G_{2}$, $F_{4}$, $E_{6}$, $E_{7}$ und $E_{8}$ gibt. Die $E_{8}$-Lie-Algebra ist der größte und komplizierteste dieser Ausnahmefälle.

Grundlegende Beschreibung

Die Lie-Gruppe $E_{8}$ 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 $E_{8}$, die die Gruppe der Symmetrien des maximalen Torus ist, die durch Konjugationen in der gesamten Gruppe induziert werden, hat die Ordnung $2^{14}3^{5}5^{2}7=696729600$.

Die kompakte Gruppe $E_{8}$ 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 $E_{8}$ 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 $E_{k}$ für jede ganze Zahl $k\geq 3$. Der größte Wert von $k$, für den $E_{k}$ endlichdimensional ist, ist $k=8$, d. h. $E_{k}$ ist unendlich dimensional für jedes $k>8$.

Reelle und komplexe Formen

Es gibt eine eindeutige komplexe Lie-Algebra vom Typ E₈, die einer komplexen Lie-Gruppe der komplexen Dimension 248 entspricht. Die komplexe Lie-Gruppe $E_{8}$ 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 E₈ und hat eine äußere Automorphismengruppe der Ordnung 2, die durch komplexe Konjugation erzeugt wird.

Neben der komplexen Lie-Gruppe vom Typ $E_{8}$ 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 $E_{8(8)}$), die eine maximal kompakte Untergruppe $Spin(16)\backslash (\mathbb {Z} /2\mathbb {Z} )$, 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 $E_{8(-24)}$, die eine maximal kompakte Untergruppe $E_{7}\times SU(2)\backslash \left(-1,-1\right)$, 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

Mittels einer Chevalley-Basis für die Lie-Algebra kann man $E_{8}$ 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 $E_{8}$, die im allgemeinen Rahmen der Galois-Kohomologie (über einem perfekten Körper $k$) durch die Menge $H^{1}(k,Aut(E_{8}))$ klassifiziert werden, weil das Dynkin-Diagramm von $E_{8}$ (siehe unten) keine Automorphismen hat, stimmt dies mit $H^{1}(k,E_{8})$ überein.

Über $\mathbb {R}$ stimmt die reelle Zusammenhangskomponente der Identität dieser algebraisch getwisteten Formen von $E_{8}$ mit den drei oben erwähnten reellen Lie-Gruppen überein, jedoch mit einer Subtilität bezüglich der Fundamentalgruppe: Alle Formen von $E_{8}$ 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 $E_{8}$ sind daher nicht algebraisch und lassen keine treuen endlichdimensionalen Darstellungen zu.

Über endlichen Körpern impliziert das Lang-Steinberg-Theorem, dass $H^{1}(k,E_{8})=0$, was bedeutet, dass $E_{8}$ 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 $E_{8}$ 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 E₈ (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

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

${\displaystyle \left[J_{ab},J_{cd}\right]=\delta _{bc}J_{ad}-\delta _{bd}J_{ac}-\delta _{ac}J_{bd}+\delta _{ad}J_{bc}}$

ebenso wie

${\displaystyle \left[J_{ab},Q_{m}\right]={\frac {1}{4}}\left(\gamma _{a}\gamma _{b}-\gamma _{b}\gamma _{a}\right)_{mn}Q_{n},}$

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

${\displaystyle \left[Q_{m},Q_{n}\right]=\gamma _{mo}^{[a}\gamma _{on}^{b]}J_{ab}.}$

Geometrie

Die kompakte reelle Form von $E_{8}$ 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

Ein Wurzelsystem vom Rang $r$ ist eine bestimmte endliche Konfiguration von Vektoren, Wurzeln genannt, die einen $r$-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 $E_{8}$-Wurzelsystem ist ein Rang-8-Wurzelsystem, das 240 Wurzelvektoren enthält, die den $\mathbb {R} ^{8}$ aufspannen. Es ist irreduzibel in dem Sinne, dass es nicht aus Wurzelsystemen kleineren Ranges aufgebaut werden kann. Alle Wurzelvektoren in $E_{8}$ haben die gleiche Länge. Es ist für eine Reihe von Zwecken praktisch, sie auf eine Länge von ${\sqrt {2}}$ zu normieren. Diese 240 Vektoren sind die Eckpunkte eines halbregulären Polytops, das 1900 von Thorold Gosset entdeckt wurde und manchmal als $4_{21}$-Polytop bezeichnet wird.

Konstruktion

Im sogenannten geraden Koordinatensystem ist $E_{8}$ gegeben als die Menge aller Vektoren in $\mathbb {R} ^{8}$ mit einer Länge ${\sqrt {2}}$, 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

$(\pm 1,\pm 1,0,0,0,0,0,0)$

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

$(\pm 1/2,\pm 1/2,\pm 1/2,\pm 1/2,\pm 1/2,\pm 1/2,\pm 1/2,\pm 1/2)$

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 $D_{8}$-Wurzelsystem. Das $E_{8}$-Wurzelsystem enthält auch eine Kopie von $A_{8}$ (das 72 Wurzeln hat) sowie $E_{6}$ und $E_{7}$ (tatsächlich werden die beiden letzteren normalerweise als Teilmengen von $E_{8}$ definiert).

Im ungeraden Koordinatensystem wird $E_{8}$ 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

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

${\displaystyle A_{ab}=2{\frac {\left(\alpha _{a},\alpha _{b}\right)}{\left(\alpha _{a},\alpha _{a}\right)}}}$

wobei $(.,.)$ das euklidische innere Produkt und $\alpha _{a}$ die einfachen Wurzeln sind. Die Einträge sind (bis auf die Reihenfolge) unabhängig von der Wahl einfacher Wurzeln.

Die Cartan-Matrix für $E_{8}$ ist gegeben durch

${\displaystyle \left[{\begin{array}{rr}2&-1&0&0&0&0&0&0\\-1&2&-1&0&0&0&0&0\\0&-1&2&-1&0&0&0&0\\0&0&-1&2&-1&0&0&0\\0&0&0&-1&2&-1&0&-1\\0&0&0&0&-1&2&-1&0\\0&0&0&0&0&-1&2&0\\0&0&0&0&-1&0&0&2\end{array}}\right].}$

Die Determinante dieser Matrix ist gleich 1.

Einfache Wurzeln

Eine Menge einfacher Wurzeln für ein Wurzelsystem $\Phi$ ist eine Menge von Wurzeln, die eine Basis für den von $\Phi$ 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:

${\displaystyle \left[{\begin{array}{rr}1&-1&0&0&0&0&0&0\\0&1&-1&0&0&0&0&0\\0&0&1&-1&0&0&0&0\\0&0&0&1&-1&0&0&0\\0&0&0&0&1&-1&0&0\\0&0&0&0&0&1&1&0\\-{\frac {1}{2}}&-{\frac {1}{2}}&-{\frac {1}{2}}&-{\frac {1}{2}}&-{\frac {1}{2}}&-{\frac {1}{2}}&-{\frac {1}{2}}&-{\frac {1}{2}}\\0&0&0&0&0&1&-1&0\\\end{array}}\right].}$

Weyl-Gruppe

Die Weyl-Gruppe von E₈ hat die Ordnung 696729600 und kann als $O_{8}^{+}(2)$ 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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle PS\Omega _{8}^{+}(2)} beschrieben werden kann).

E₈-Wurzelgitter

Der ganzzahlige Aufspann des $E_{8}$-Wurzelsystems bildet in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^8} ein Gitter, das als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} -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 E₈

Ein unvollständiger Baum einfacher Untergruppen von $E_{8}$.

Die Lie-Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} 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 E₈

Chevalley (1955) zeigte, dass die Punkte der algebraischen Gruppe $E_{8}$ (siehe oben) über einem endlichen Körper mit $q$ Elementen eine endliche Chevalley-Gruppe bilden, allgemein geschrieben Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8(q)} , die für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q} 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):

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\displaystyle q^{120}\left(q^{30}-1\right)\left(q^{24}-1\right)\left(q^{20}-1\right)\left(q^{18}-1\right)\left(q^{14}-1\right)\left(q^{12}-1\right)\left(q^{8}-1\right)\left(q^{2}-1\right)}}

Der erste Term in dieser Folge, die Ordnung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8(2)} , nämlich 337804753143634806261388190614085595079991692242467651576160959909068800000 ≈ 3,38×1074, ist bereits größer als die Größe der Monstergruppe. Diese Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8(2)} ist die letzte, die (aber ohne ihre Charaktertabelle) im ATLAS der endlichen Gruppen beschrieben wird.

Der Schur-Multiplikator von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8(q)} ist trivial, und seine äußere Automorphismengruppe ist die Gruppe der Körperautomorphismen (d. h. zyklisch der Ordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} , wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q=p^f} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} eine Primzahl ist).

Lusztig (1979) beschrieb die unipotenten Darstellungen endlicher Gruppen vom Typ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} .

Untergruppen

Die kleineren Ausnahmegruppen E₇ und E₆ sitzen innerhalb von E₈. In der kompakten Gruppe sind sowohl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_7\times SU(2)/(-1,-1)} als auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_6\times SU(3)/(\Z/3\Z)} maximale Untergruppen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} .

Die 248-dimensionale adjungierte Darstellung von $E_{8}$ kann im Hinblick auf die eingeschränkte Darstellung für die erste dieser Untergruppen betrachtet werden. Sie transformiert sich unter Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_7\times SU(2)} 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} transformiert sich bei ähnlicher Beschränkung unter Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_6\times SU(3)} 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) E8 eingebettet 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

Die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} -Lie-Gruppe hat Anwendungen in der theoretischen Physik und insbesondere in der Stringtheorie und Supergravitation. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8\times E_8} 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} in ihre maximale Subalgebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle SU(3)\times E_6} .

1982 verwendete Michael Freedman das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} -Gitter, um ein Beispiel für eine topologische 4-Mannigfaltigkeit zu konstruieren, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} -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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} -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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} zeigten, die von Zamolodchikov (1989) vorhergesagt wurden.

Geschichte

Wilhelm Killing (1888a, 1888b, 1889, 1890) entdeckte die komplexe Lie-Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} ü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. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_8} 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

• John Frank Adams Lectures on exceptional Lie groups. In: Chicago Lectures in Mathematics. University of Chicago Press, Chicago 1996, ISBN 0-226-00526-7 (MR 1428422).
• John Baez: The octonions. In: Bulletin of the American Mathematical Society. 39 (New Series), Nr. 2, 2002, ISSN 0273-0979, S. 145–205, doi:10.1090/S0273-0979-01-00934-X, arxiv:math/0105155 (MR 1886087). 
• Claude Chevalley: Sur certains groupes simples. In: Tohoku Mathematical Journal. Band 7, Nr. 1–2, 1955, ISSN 0040-8735, S. 14–66, doi:10.2748/tmj/1178245104 (MR 0073602). 
• R. Coldea, D. A. Tennant, E. M. Wheeler, E. Wawrzynska, D. Prabhakaran, M. Telling, K. Habicht, P. Smeibidl, K. Kiefer: Quantum Criticality in an Ising Chain: Experimental Evidence for Emergent E 8 Symmetry. In: Science. Band 327, Nr. 5962, 2010, ISSN 0036-8075, S. 177–180, doi:10.1126/science.1180085, arxiv:1103.3694, bibcode:2010Sci...327..177C. 
• Skip Garibaldi: 𝐸₈, the most exceptional group. In: Bulletin of the American Mathematical Society. Band 53, Nr. 4, 2016, ISSN 0273-0979, S. 643–671, doi:10.1090/bull/1540, arxiv:1605.01721. 
• Robert Griess, A. Ryba: Finite simple groups which projectively embed in an exceptional Lie group are classified! In: Bulletin of the American Mathematical Society. Band 36, Nr. 1, 1999, ISSN 0273-0979, S. 75–93, doi:10.1090/S0273-0979-99-00771-5 (MR 1653177). 
• Wilhelm Killing: Die Zusammensetzung der stetigen endlichen Transformations-gruppen. In: Mathematische Annalen. Band 31, Nr. 2, 1888, ISSN 1432-1807, S. 252–290, doi:10.1007/BF01211904. 
• Wilhelm Killing: Die Zusammensetzung der stetigen endlichen Transformationsgruppen. In: Mathematische Annalen. Band 33, Nr. 1, 1888, ISSN 1432-1807, S. 1–48, doi:10.1007/BF01444109. 
• Wilhelm Killing: Die Zusammensetzung der stetigen endlichen Transformations-gruppen. In: Mathematische Annalen. Band 34, Nr. 1, 1889, ISSN 1432-1807, S. 57–122, doi:10.1007/BF01446792. 
• Wilhelm Killing: Die Zusammensetzung der stetigen endlichen Transformationsgruppen. In: Mathematische Annalen. Band 36, Nr. 2, 1890, ISSN 1432-1807, S. 161–189, doi:10.1007/BF01207837. 
• Joseph M. Landsberg, Laurent Manivel: The Projective Geometry of Freudenthal’s Magic Square. In: Journal of Algebra. Band 239, Nr. 2, 2001, ISSN 0021-8693, S. 477–512, doi:10.1006/jabr.2000.8697, arxiv:math/9908039. 
• George Lusztig: Unipotent representations of a finite Chevalley group of type E8. In: The Quarterly Journal of Mathematics. Band 30, Nr. 3, 1979, ISSN 0033-5606, S. 315–338, doi:10.1093/qmath/30.3.315. 
• George Lusztig, David A. Vogan: Singularities of closures ofK-orbits on flag manifolds. In: Inventiones mathematicae. Band 71, Nr. 2, 1983, ISSN 1432-1297, S. 365–379, doi:10.1007/BF01389103, bibcode:1983InMat..71..365L. 
• Alexander Borissowitsch Samolodtschikow: Integrals of motion and S-matrix of the (scaled) T=T_c Ising model with magnetic field. In: International Journal of Modern Physics A. Band 04, Nr. 16, 1989, ISSN 0217-751X, S. 4235–4248, doi:10.1142/S0217751X8900176X, bibcode:1989IJMPA...4.4235Z (MR 1017357). 

Weblinks

• liegroups.org
• liegroups.org
• atlas.math.umd.edu
• golem.ph.utexas.edu
• math.mit.edu