Affine Lie-Algebra

Eine affine Lie-Algebra ist in der Mathematik eine unendlichdimensionale Lie-Algebra, die auf kanonische Weise aus einer endlichdimensionalen Lie-Algebra konstruiert wird. Dies ermöglicht die Konstruktion affiner Kac-Moody-Algebren.

Definition

Sei eine endlich-dimensionale Lie-Algebra. Dann ist die zugehörige affine Lie-Algebra definiert als der Vektorraum

mit der Kommutator-Relation

für . Hierbei bedeutet die Lie-Klammer in , die Killing-Form von und ist die assoziative Algebra der Laurent-Polynome.

ist ein Element des Zentrums der Liealgebra und ist daher ein zentrales Ideal. Weiter hat man eine kurze exakte Sequenz

von Lie-Algebren.[1]

Erweiterte affine Lie-Algebra

Wir definieren durch die Formeln

eine Derivation auf . Beachte dazu, dass durch den Differentialoperator eine Derivation auf erklärt ist. Die erweiterte affine Lie-Algebra entsteht aus durch Adjunktion dieser Derivation, das heißt

,

wobei für die semidirekte Summe steht. Die so konstruierte Algebra heißt die zu gehörige erweiterte affine Lie-Algebra oder einfach erweiterte affine Algebra.

Kac-Moody-Algebren affinen Typs

Aus den bekannten endlich-dimensionalen einfachen Lie-Algebren An, Bn, Cn, Dn, E6, E7, E8, F4, G2 kann man mittels obiger Konstruktion die Kac-Moody-Algebren affinen Typs konstruieren, genauer die ungetwisteten Kac-Moody-Algebren affinen Typs. Weitere treten als Fixpunktalgebren gewisser Automorphismen auf, man spricht dann von getwisteten Kac-Moody-Algebren affinen Typs. Wir konstruieren im Folgenden sämtliche Kac-Moody-Algebren affinen Typs, die von unzerlegbaren verallgemeinerten Cartan-Matrizen herrühren. Dies sind sogenannte Realisierungen der abstrakt definierten Kac-Moody-Algebren, das heißt man erhält zu jeder Kac-Moody-Algebra affinen Typs mit unzerlegbarer, verallgemeinerter Cartan-Matrix einen konkreten Vektorraum mit einer Lie-Klammer wie oben angegeben, so dass diese Lie-Algebra der entsprechenden Isomorphieklasse angehört.[2]

Ungetwistete Kac-Moody-Algebren affinen Typs

Für wählen wir in obiger Konstruktion die endlichendimensionalen einfachen Lie-Algebren , , , , , , , , , wobei die angegebenen Typen die einfache Lie-Algebra bis auf Isomorphie charakterisieren. Dann bezeichnet man die erweiterten affinen Lie-Algebren daraus mit , , , , , , , , . Es handelt sich um Kac-MoodyAlgebren affinen Typs mit unzerlegbaren verallgemeinerten Cartan-Matrizen. Wir geben neben diesen auch die zugehörigen Dynkin-Diagramme an.

TypVerallgemeinerte Cartan-MatrixDynkin-Diagramm
DynkinDiagrammeAnTilde.png
DynkinDiagrammeBnTilde.png
DynkinDiagrammeCnTilde.png
DynkinDiagrammeDnTilde.png
DynkinDiagrammeE6Tilde.png
DynkinDiagrammeE7Tilde.png
DynkinDiagrammeE8Tilde.png
DynkinDiagrammeF4Tilde.png
DynkinDiagrammeG2Tilde.png

Beachte, dass die Matrixgröße, das heißt die Zeilen- bzw. Spaltenzahl, um eins größer ist als der Index des Typnamens. Genauso verhält es sich mit der Anzahl der Knoten des zugehörigen Dynkin-Diagramms.

Getwistete Kac-Moody-Algebren affinen Typs

Die nicht-trivialen Automorphismen der Dynkin-Diagramme

Die weiteren Kac-Moody-Algebren affinen Typs können als Unteralgebren ungetwisteter Kac-Moody-Algebren konstruiert werden, genauer als Fixpunktalgebra eines Automorphismus. Im Folgenden sei der Automorphismus, der zu einem der nebenstehend abgebildeten Graphautomorphismen der Dynkin-Diagramme zu , und gehört. Eine Besonderheit tritt bei auf, hier gibt es einen zusätzliche Automorphismus der Ordnung 3, alle anderen Automorphismen haben offenbar die Ordnung 2. Dazu konstruieren wir nun Automorphismen auf den erweiterten affinen Lie-Algebren, indem wir definieren:

Der skalare Faktor ist eine -te Einheitswurzel. Würde man statt dieser einfach 1 verwenden, so erhielte man auch Automorphismen, die aber nicht das Gewünschte leisten. Wegen der Einheitswurzel spricht man von getwisteten Automorphismen und nennt daher auch die Fixpunktalgebren

getwistete Algebren. Mittels dieser Konstruktion können die restlichen Kac-Moody-Algebren affinen Typs mit den Standardbezeichnungen , , , , , konstruiert werden. Man verwendet dieselben Namen für die zugehörigen verallgemeinerten Cartan-Matrizen sowie für die zugehörigen Dynkin-Diagramme. Das hochgestellte t steht nicht für einen Automorphismus, sondern für Matrixtransposition.

Man erhält folgende Aufstellung:

TypFixpunktalgebraVerallgemeinerte Cartan-MatrixDynkin-Diagramm
DynkinDiagrammeBnTildeTranspose.png
DynkinDiagrammeCnTildeTranspose.png
DynkinDiagrammeF4TildeTranspose.png
DynkinDiagrammeG2TildeTranspose.png
DynkinDiagrammeA1Prime.png
DynkinDiagrammeCnTildePrime.png

Für die Größen der Matrizen und Dynkin-Diagramme gilt das für die ungetwisteten Algebren Gesagte. Ferner beachte, dass in obiger Liste zweimal vorkommt. Es handelt sich bei den zwei Fällen um verschiedene Automorphismen , für wird der Autorphismus des oben genannten Sonderfalls für verwendet, für mit ist es der Automorphismus, der nur die zwei Enden des Dynkin-Diagramms austauscht.

Einzelnachweise

  1. Igor Frenkel, James Lepowsky, Arne Meurman: Vertex Operator Algebras and the Monster, Academic Press, New York (1989) ISBN 0-12-267065-5, Kapitel 1.6: Affine Lie Algebras
  2. Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Kapitel 18: Realisations of affine Kac-Moody algebras

Auf dieser Seite verwendete Medien

DynkinDiagrammeF4Tilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramm zur Kac-Moody-Alegbra F4
DynkinDiagrammeCnTilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramme zu Kac-Moody-Alegbren Cn
DynkinDiagrammeE6Tilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramm zur Kac-Moody-Alegbren E6
DynkinDiagrammeAnTilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramme zu Kac-Moody-Alegbren An
DynkinDiagrammeA1Prime.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramm zur Kac-Moody-Alegbra A1'
DynkinDiagrammeBnTilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramme zu Kac-Moody-Alegbren Bn
DynkinDiagrammeCnTildePrime.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramme zu Kac-Moody-Alegbren Cn'
DynkinDiagrammeF4TildeTranspose.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramm zur Kac-Moody-Alegbra F4t
AutomorphismenAufDynkinDiagrammen A D E.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Grafik zu den nicht-trivialen Automorphismen auf Dynkin-Diagrammen zur Konstruktion getwisteter Kac-Moody-Algebren
DynkinDiagrammeBnTildeTranspose.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramme zu Kac-Moody-Alegbren Bnt
DynkinDiagrammeE8Tilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramm zur Kac-Moody-Alegbra E8
DynkinDiagrammeCnTildeTranspose.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramme zu Kac-Moody-Alegbren Cnt
DynkinDiagrammeDnTilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramme zu Kac-Moody-Alegbren Dn
DynkinDiagrammeE7Tilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramm zur Kac-Moody-Alegbra E7
DynkinDiagrammeG2TildeTranspose.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramm zur Kac-Moody-Alegbra G2t
DynkinDiagrammeG2Tilde.png
Autor/Urheber: FerdiBf (Diskussion), Lizenz: Copyrighted free use
Dynkin-Diagramm zur Kac-Moody-Alegbra G2