Weyl-Kammer

In der Mathematik ist die Weyl-Kammer (benannt nach Hermann Weyl) ein Begriff aus der Theorie der Lie-Gruppen. Weyl-Kammern werden bei der Definition positiver und einfacher Wurzeln benötigt, außerdem spielen sie eine zentrale Rolle in der Theorie der Gebäude.

Definition

Sei ${\mathfrak {g}}$ eine endlichdimensionale halbeinfache Lie-Algebra, ${\mathfrak {a}}\subset {\mathfrak {g}}$ eine Cartan-Unteralgebra und $({\mathfrak {a}},R)$ das zugehörige Wurzelsystem.

Für eine Wurzel $\alpha \in R\subset {\mathfrak {a}}$ bezeichne

$E_{\alpha }:=\left\{x\in {\mathfrak {a}}:\alpha ^{\vee }(x)=0\right\}\subset {\mathfrak {a}}$

die zugehörige Hyperebene in ${\mathfrak {a}}$.

Dann heißen die Zusammenhangskomponenten von

${\mathfrak {a}}\setminus \cup _{\alpha \in R}E_{\alpha }$

die Weyl-Kammern des Wurzelsystems.

Wirkung der Weyl-Gruppe

Die Weyl-Gruppe von ${\mathfrak {g}}$ wirkt auf ${\mathfrak {a}}$ und permutiert die Menge der Weyl-Kammern, d. h., die Wirkung der Weyl-Gruppe auf der Menge der Weyl-Kammern ist einfach transitiv und die Anzahl der Weyl-Kammern ist die Kardinalität der Weyl-Gruppe.

Der Abschluss einer Weyl-Kammer ist ein Fundamentalbereich für die Wirkung der Weyl-Gruppe auf ${\mathfrak {a}}$.

Weyl-Kammern in symmetrischen Räumen

Es sei $X=G/K$ ein symmetrischer Raum von nichtkompaktem Typ. Dann sind alle $x$ enthaltenden Flachs $F\subset X$ von der Form

$F=exp_{x}({\mathfrak {a}})$

für eine abelsche Unteralgebra ${\mathfrak {a}}\subset {\mathfrak {p}}$. (Hier ist $exp_{x}\colon {\mathfrak {p}}\to X$ die Exponentialabbildung in $x\in X$ und ${\mathfrak {g}}={\mathfrak {k}}\oplus {\mathfrak {p}}$ die Cartan-Zerlegung.)

Insbesondere lässt sich der Begriff der Weyl-Kammern auf Flachs in symmetrischen Räumen übertragen: Weyl-Kammern in $F$ sind (per Definition) die Bilder der Weyl-Kammern in ${\mathfrak {a}}$ unter der Exponentialabbildung.

Beispiel

Wurzelsystem A₂

Es sei

${\mathfrak {g}}=sl(3,\mathbb {R} )=\left\{A\in \operatorname {Mat} (3,\mathbb {R} ):\operatorname {Spur} (A)=0\right\}$

und

${\mathfrak {a}}=\left\{\operatorname {diag} (\lambda _{1},\lambda _{2},\lambda _{3}):\lambda _{1}+\lambda _{2}+\lambda _{3}=0\right\}$.

Das zugehörige Wurzelsystem besteht aus den sechs Wurzeln

$\alpha _{1}=\operatorname {diag} (1,-1,0)$

$\alpha _{2}=\operatorname {diag} (1,0,-1)$

$\alpha _{3}=\operatorname {diag} (0,1,-1)$

$\alpha _{4}=\operatorname {diag} (-1,1,0)$

$\alpha _{5}=\operatorname {diag} (-1,0,1)$

$\alpha _{6}=\operatorname {diag} (0,-1,1)$,

entsprechend

$\alpha _{1}^{\vee }(\operatorname {diag} (\lambda _{1},\lambda _{2},\lambda _{3}))=\lambda _{1}-\lambda _{2}$

$\alpha _{2}^{\vee }(\operatorname {diag} (\lambda _{1},\lambda _{2},\lambda _{3}))=\lambda _{1}-\lambda _{3}$

$\alpha _{3}^{\vee }(\operatorname {diag} (\lambda _{1},\lambda _{2},\lambda _{3}))=\lambda _{2}-\lambda _{3}$

$\alpha _{4}^{\vee }(\operatorname {diag} (\lambda _{1},\lambda _{2},\lambda _{3}))=\lambda _{2}-\lambda _{1}$

$\alpha _{5}^{\vee }(\operatorname {diag} (\lambda _{1},\lambda _{2},\lambda _{3}))=\lambda _{3}-\lambda _{1}$

$\alpha _{6}^{\vee }(\operatorname {diag} (\lambda _{1},\lambda _{2},\lambda _{3}))=\lambda _{3}-\lambda _{2}$.

Die $E_{\alpha }$ sind drei Geraden im zweidimensionalen Vektorraum $\alpha$, sie zerlegen $\alpha$ in sechs Weyl-Kammern.

Die Weyl-Gruppe ist in diesem Fall die symmetrische Gruppe $S_{3}$, sie permutiert die sechs Weyl-Kammern.

Literatur

• Armand Borel: Linear algebraic groups. W. A. Benjamin, New York / Amsterdam 1969
• Alexander Kirillov Jr.: An introduction to Lie groups and Lie algebras. In: Cambridge Studies in Advanced Mathematics, 113. Cambridge University Press, Cambridge 2008, ISBN 978-0-521-88969-8
• Ira Gessel, Doron Zeilberger: Random walk in a Weyl chamber. JSTOR:2159560

Weblinks

• John Dusel: Root Systems. (PDF)
• Raphaël Rouquier: Weyl groups, affine Weyl groups and reflection groups (PDF; 136 kB)
• Allen Knutson: Weyl groups and Weyl chambers
• Weyl Chamber. Planet Math