Freie Lie-Algebra

In der mathematischen Theorie der Lie-Algebren ist eine freie Lie-Algebra bzw. frei erzeugte Lie-Algebra eine Lie-Algebra, die frei in der Kategorie der Lie-Algebren und Lie-Homomorphismen ist. Damit lassen sich Lie-Algebren mit vorgegebenen Erzeugern und Relationen konstruieren.

Definition

Wir betrachten einen festen Körper $K$ als Koeffizientenbereich. Zu einer vorgegebenen Menge $X\not =\emptyset$ sei $A(X)$ die frei erzeugte assoziative K-Algebra über $X$ , $i\colon X\rightarrow A(X)$ sei die Inklusionsabbildung. Durch die Lie-Klammer

[a,b]:=a\cdot b-b\cdot a,\quad a,b\in A(X)

wird $A(X)$ zu einer Lie-Algebra. Darin sei

FL(X):=\bigcap \{L|L\subset A(X){\text{ ist Lie-Unteralgebra mit }}i(X)\subset L\}

der Durchschnitt aller $i(X)$ enthaltenden Lie-Unteralgebren von $A(X)$ . Dies ist nicht der Durchschnitt über eine leere Menge, denn $A(X)$ ist eine Lie-Unteralgebra, die $i(X)$ enthält.

$FL(X)$ heißt freie Lie-Algebra über $X$ .

Nach Konstruktion ist $i(X)\subset FL(X)$ , das heißt wir können $i$ auch als Inklusionsabbildung $X\rightarrow FL(X)$ auffassen.

Universelle Eigenschaft

Die freie Lie-Algebra $FL(X)$ über $X$ erfüllt folgende universelle Eigenschaft:

Sei $\theta \colon X\rightarrow L$ eine Abbildung von $X$ in eine Lie-Algebra $L$ . Dann gibt es genau einen Lie-Algebren-Homomorphismus $\varphi \colon FL(X)\rightarrow L$ mit $\varphi \circ i=\theta$ .

Dies rechtfertigt die Bezeichnung freie Lie-Algebra.

Alternative Konstruktion

Bei Bourbaki findet sich eine alternative Konstruktion der freien Lie-Algebra. Für eine nicht-leere Menge $X$ sei $M(X)$ das freie Magma über $X$ und $\mathrm {Lib} (X)$ der frei über $M(X)$ erzeugte $K$ -Vektorraum mit der linear von $M(X)$ fortgesetzten Multiplikation. Darin betrachte das Ideal $I\subset \mathrm {Lib} (X)$ , das von allen Ausdrücken der Form

a\cdot a,\quad a\in \mathrm {Lib} (X)

a\cdot (b\cdot c)+b\cdot (c\cdot a)+c\cdot (a\cdot b),\quad a,b,c\in \mathrm {Lib} (X)

erzeugt wird. Dann heißt $\mathrm {Lib} (X)/I$ die frei über $X$ erzeugte Lie-Algebra. Durch den Übergang zur Quotientenalgebra werden die aufgezählten Elemente zum Nullelement, denn sie liegen ja definitionsgemäß im Ideal $I$ . Daher gelten in $\mathrm {Lib} (X)/I$ die Antikommutativität und Jacobi-Identität, das heißt man erhält eine Lie-Algebra. Von dieser wird gezeigt, dass sie obige universelle Eigenschaft erfüllt. Da je zwei Lie-Algebren, die dieselbe universelle Eigenschaft in Bezug auf $X$ erfüllen, isomorph sein müssen, kann diese Konstruktion als Alternative zur oben angegebenen betrachtet werden.

Beispiele

Ist $X=\{x\}$ einelementig, so ist $A(\{x\})$ isomorph zur kommutativen Polynomalgebra aller Polynome in der Unbestimmten $x$ . Als Lie-Algebra ist $A(\{x\})$ daher abelsch, das heißt jeder Untervektorraum ist eine Lie-Unteralgebra. Damit ist $FL(\{x\})$ definitionsgemäß der kleinste Untervektorraum, der $i(x)$ enthält, und das ist $K\cdot i(x)$ . Also ist

FL(\{x\})\cong K

die triviale eindimensionale Lie-Algebra.

Die universelle einhüllende Algebra der freien Lie-Algebra $FL(X)$ ist isomorph zur freien assoziativen Algebra über $X$ , in Formeln ${\mathcal {U}}(FL(X))\cong A(X)$ .

Erzeuger und Relationen

Konstruktion

Sei wieder $X$ eine nicht-leere Menge. Ein Lie-Wort über $X$ ist eine endliche Linearkombination von endlichen Lie-Monomen, das heißt endlichen Lie-Produkten von Elementen aus $X$ . Ein Beispiel für ein Lie-Monom ist

[[[x_{1},x_{2}],x_{1}],[x_{1},x_{3}]],\quad x_{1},x_{2},x_{3}\in X

,

ein Beispiel für ein Lie-Wort ist

7\cdot [[[x_{1},x_{2}],x_{1}],[x_{1},x_{3}]]-[[[[x_{1},x_{1}],x_{1}],x_{1}],x_{2}],\quad x_{1},x_{2},x_{3}\in X

.

Für eine Menge $R$ von Lie-Wörtern über $X$ sei $\langle R\rangle \subset FL(X)$ das von $R\subset FL(X)$ erzeugte Lie-Ideal. Dann heißt die Quotientenalgebra

L(X;R):=FL(X)/\langle R\rangle

die von der Menge $X$ und den Relationen $R$ erzeugte Lie-Algebra.

Wie bei der in der Gruppentheorie betrachteten Präsentation einer Gruppe kann man auch hier Lie-Algebren mit vorgegebenen Eigenschaften konstruieren, genauer wird jedes Lie-Wort $w$ zu einer Gleichung $w=0$ in $L(X;R)$ .

Beispiele

$L(X;\emptyset )=FL(X)$ , denn das von der leeren Menge erzeugte Ideal ist $\{0\}$ .

Sei $R$ die Menge aller Lie-Wörter $[x_{1},x_{2}],\,x_{1},x_{2}\in X$ . Dann ist $L(X;R)$ die von $X$ erzeugte abelsche Lie-Algebra, das heißt der von $X$ frei erzeugte K-Vektorraum mit der Nullmultiplikation als Lie-Klammer.

Es seien $X=\{e_{1},\ldots ,e_{n},h_{1},\ldots ,h_{n},f_{1},\ldots ,f_{n}\}$ und $A_{i,j}$ gewisse reelle Konstanten, die bei verschiedenen Indizes kleiner gleich 0 sind.

Es sei dann

R

die Menge der Relationen

[h_{i},h_{j}]

[h_{i},e_{j}]-A_{i,j}e_{j}

[h_{i},f_{j}]+A_{i,j}f_{j}

[e_{i},f_{i}]-h_{i}

[e_{i},f_{j}]

für

i\not =j

[e_{i},[e_{i}[\ldots [e_{i},e_{j}]]]

mit

i\not =j

und

1-A_{i,j}

Vorkommen von

e_{i}

[f_{i},[f_{i}[\ldots [f_{i},f_{j}]]]

mit

i\not =j

und

1-A_{i,j}

Vorkommen von

f_{i}

Dann spielt die Lie-Algebra

L(X;R)

eine wichtige Rolle im Beweis des Existenzsatzes für halbeinfache Lie-Algebren. Sind die

A_{i,j}

die Koeffizienten einer Cartan-Matrix, so ist

L(X;R)

eine endlich-dimensionale Lie-Algebra mit ebendieser Cartan-Matrix. Das ist Serre's Beweis des Existenzsatzes. Genau diese Techniken werden auch für die Definition von Kac-Moody-Algebren verwendet.

Einzelnachweise

↑ Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Kapitel 9.3: Free Lie algebras
↑ Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Satz 9.9
↑ N. Bourbaki: Lie Groups and Lie Algebras: Chapters 1-3, Springer Verlag (1989), ISBN 3-540-64242-0, Kapitel II, §2.2: Construction of the free Lie algebra
↑ N. Bourbaki: Lie Groups and Lie Algebras: Chapters 1-3, Springer Verlag (1989), ISBN 3-540-64242-0, Kapitel II, §2.2, Satz1
↑ N. Bourbaki: Lie Groups and Lie Algebras: Chapters 1-3, Springer Verlag (1989), ISBN 3-540-64242-0, Kapitel II, §2.2, Bemerkung auf Seite 123
↑ Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Satz 9.10
↑ Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Beispiel 9.12
↑ James E. Humphreys: Introduction to Lie Algebras and Representation Theory, Springer-Verlag (1972), ISBN 0-387-90052-7, Kapitel 18.3: Serre's Theorem
↑ Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Kapitel 14: Generalized Cartan matrices and Kac-Moody algebras

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Kapitel 9.3: Free 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, Satz 9.9

[3] N. Bourbaki: Lie Groups and Lie Algebras: Chapters 1-3, Springer Verlag (1989), ISBN 3-540-64242-0, Kapitel II, §2.2: Construction of the free Lie algebra

[4] N. Bourbaki: Lie Groups and Lie Algebras: Chapters 1-3, Springer Verlag (1989), ISBN 3-540-64242-0, Kapitel II, §2.2, Satz1

[5] N. Bourbaki: Lie Groups and Lie Algebras: Chapters 1-3, Springer Verlag (1989), ISBN 3-540-64242-0, Kapitel II, §2.2, Bemerkung auf Seite 123

[6] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Satz 9.10

[7] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Beispiel 9.12

[8] James E. Humphreys: Introduction to Lie Algebras and Representation Theory, Springer-Verlag (1972), ISBN 0-387-90052-7, Kapitel 18.3: Serre's Theorem

[9] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Kapitel 14: Generalized Cartan matrices and Kac-Moody algebras