Quantengruppe

Als Quantengruppe bezeichnet man in der mathematischen Gruppentheorie eine bestimmte Gattung von Hopf-Algebren, nämlich Quantisierungen (d. h. nicht-triviale Deformationen) der einhüllenden Hopf-Algebren von halbeinfachen Lie-Algebren. Alternativ kann man Quantengruppen als Deformationen von der Algebra der regulären Funktionen auf algebraischen Gruppen betrachten.

Der Begriff wurde im Rahmen des International Congress of Mathematicians 1986 in Berkeley von dem ukrainisch-US-amerikanischen Mathematiker Vladimir Drinfeld geprägt. Unabhängig von ihm wurden sie um die gleiche Zeit von dem japanischen Mathematiker Michio Jimbō gefunden.

Beispiel

Die einfachste Quantengruppe ist ${\displaystyle U_{q}({\mathfrak {sl}}(2))}$. Dies ist die Algebra, die von den Variablen ${\displaystyle K}$, ${\displaystyle K^{-1}}$, ${\displaystyle E}$ und ${\displaystyle F}$ erzeugt wird und in der die Relationen

${\displaystyle KK^{-1}=K^{-1}K=1}$,

${\displaystyle KEK^{-1}=q^{2}E}$,

${\displaystyle KFK^{-1}=q^{-2}F}$,

${\displaystyle [E,F]={\frac {K-K^{-1}}{q-q^{-1}}}}$

gelten.

Die Hopfalgebra-Struktur ist gegeben durch

${\displaystyle \Delta (E)=1\otimes E+E\otimes K}$,

${\displaystyle \Delta (F)=K^{-1}\otimes F+F\otimes 1}$,

${\displaystyle \Delta (K)=K\otimes K}$,

${\displaystyle \Delta (K^{-1})=K^{-1}\otimes K^{-1}}$,

${\displaystyle \epsilon (E)=\epsilon (F)=0}$,

${\displaystyle \epsilon (K)=\epsilon (K^{-1})=1}$,

${\displaystyle S(E)=-EK^{-1}}$,

${\displaystyle S(F)=-KF}$,

${\displaystyle S(K)=K^{-1}}$,

${\displaystyle S(K^{-1})=K}$.

${\displaystyle E}$ und ${\displaystyle F}$ sind folglich schiefprimitiv, und ${\displaystyle K}$ und ${\displaystyle K^{-1}}$ sind gruppenartig.

Literatur

• Christian Kassel: Quantum Groups (Graduate Texts in Mathematics). Springer-Verlag 1998, ISBN 0-387-94370-6 (englisch)