Hopfalgebra |
|
berührt die Spezialgebiete |
- Mathematik
- Abstrakte Algebra
- Lineare Algebra
- Kommutative Algebra
|
|
ist Spezialfall von |
|
Eine Hopf-Algebra – benannt nach dem Mathematiker Heinz Hopf –
über einem Körper
ist eine Bialgebra
mit einer
-linearen Abbildung, der sog. „Antipode“,
, so dass das folgende Diagramm kommutiert:
Formal in der Sweedler-Notation – benannt nach Moss Sweedler – geschrieben heißt das:
Faltung und Antipode
Sei
eine Algebra und
eine Koalgebra. Die
-linearen Abbildungen von
nach
bilden eine Algebra mit Produkt
, genannt Faltung, definiert durch
.
Das neutrale Element in dieser Algebra ist
, denn
![{\displaystyle (f*(\eta \circ \epsilon ))(x)=f(x_{(1)})\eta (\epsilon (x_{(2)}))=f(x_{(1)}\epsilon (x_{(2)}))\eta (1)=f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aebb0e2c07ede6024cbe33478045270c62dffacc)
und entsprechend auch
.
Für eine Bialgebra
bilden die
-linearen Abbildungen von
nach
auf diese Weise eine Algebra. Die Antipode
ist das zur identischen Abbildung inverse Element in dieser Algebra. Das heißt
.
Es lässt sich zeigen, dass die Antipode einer Hopfalgebra stets eindeutig ist, und gleichzeitig ein Antialgebrahomomorphismus und ein Anticoalgebrahomomorphismus ist. Mithilfe dieser Tatsache lässt sich der Wert der Antipode auf jedem Element der Hopfalgebra ausrechnen, wenn die Werte der Antipode auf einem Algebraerzeugendensystem bekannt sind.
Beispiele
Gruppenalgebra
Ein Beispiel für eine Hopf-Algebra ist die Gruppenalgebra
. Sie wird durch
für ![{\displaystyle g\in G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1be73903416a0dd94b8cbc2268ce480810c0e62)
und
für ![{\displaystyle g\in G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1be73903416a0dd94b8cbc2268ce480810c0e62)
zu einer Bialgebra, die Antipode
für ![{\displaystyle g\in G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1be73903416a0dd94b8cbc2268ce480810c0e62)
macht sie zu einer Hopf-Algebra.
Universelle einhüllende Algebra
Die universelle einhüllende Algebra
einer Lie-Algebra
ist auf natürliche Weise eine Hopfalgebra. Für ein Element
ist das Koprodukt durch
![{\displaystyle \Delta (x):=1\otimes x+x\otimes 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c5a4f78e87d51c9a8f7a3037347795d1cb379f6)
und die Koeins durch
![{\displaystyle \epsilon (x):=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/311e58e19bece355cc41c9df18ce26571e401154)
definiert.
![{\displaystyle S(x):=-x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b99f66a85a92f41baeb422abb3f4116fca872e8)
definiert die Antipode.
Gruppenartige und primitive Elemente
Ein Element
einer Hopfalgebra heißt „gruppenartig“, wenn
und
. Für die Antipode gilt dann
.
Ein Element
heißt „primitiv“, wenn
. Daraus folgt, dass
und
.
Ein Element
heißt „schiefprimitiv“, wenn
mit gruppenähnlichen Elementen
und
. Daraus folgt, dass
und
.
Literatur
- Christian Kassel: Quantum Groups (= Graduate Texts in Mathematics. 155). Springer, New York NY u. a. 1995, ISBN 0-387-94370-6.
- Moss E. Sweedler: Hopf algebras. Benjamin, New York NY 1969.