Casimir-Operator
# Casimir-Operator

Der Casimir-Operator (auch Casimir-Invariante, benannt nach dem Physiker Hendrik Casimir) wird im mathematischen Teilgebiet der Algebra und der Differentialgeometrie untersucht. Er ist ein spezielles Element aus dem Zentrum der universellen einhüllenden Algebra einer Lie-Algebra. Ein typisches Beispiel ist der quadrierte Drehimpulsoperator, der eine Casimir-Invariante der dreidimensionalen Drehgruppe ist.

## Definition

Angenommen, ${\mathfrak {g}}$ ist eine $n$-dimensionale halbeinfache Lie-Algebra. Sei

    $\{X_{i}\}_{i=1}^{n}$

irgendeine Basis von ${\mathfrak {g}}$ und

    $\{X^{i}\}_{i=1}^{n}$

sei die Dualbasis von ${\mathfrak {g}}$ hinsichtlich einer festen invarianten Bilinearform (z. B. der Killingform) auf ${\mathfrak {g}}$. Das quadratische Casimir-Element $\Omega$ ist das durch die Formel

    $\Omega =\sum _{i=1}^{n}X_{i}X^{i}$

gegebene Element der universellen einhüllenden Algebra $U({\mathfrak {g}})$. Obschon sich die Definition des Casimir-Elements auf die direkte Wahl einer Basis in der Lie-Algebra bezieht, ist es einfach zu zeigen, dass das erzeugte Element $\Omega$ davon unabhängig ist. Darüber hinaus impliziert die Invarianz der Bilinearform, die in der Definition benutzt wurde, dass das Casimir-Element mit allen Elementen der Lie-Algebra ${\mathfrak {g}}$ kommutiert und daher im Zentrum der universellen einhüllenden Algebra $U({\mathfrak {g}})$ liegt.

Sei $\rho$ eine beliebige Darstellung der Lie-Algebra ${\mathfrak {g}}$ auf einem (gegebenenfalls unendlichdimensionalen) Vektorraum $V$. Dann ist die korrespondierende quadratische Casimir-Invariante $\rho (\Omega )$ der durch

    $\rho (\Omega )=\sum _{i=1}^{n}\rho (X_{i})\rho (X^{i})$

gegebene lineare Operator auf $V$.

## Anwendungen

Ein Sonderfall dieser Konstruktion spielt eine wichtige Rolle in der Differentialgeometrie beziehungsweise der globalen Analysis. Operiert eine zusammenhängende Lie-Gruppe $G$ mit zugehöriger Lie-Algebra ${\mathfrak {g}}$ auf einer differenzierbaren Mannigfaltigkeit $M$, so werden die Elemente von ${\mathfrak {g}}$ durch Differentialoperatoren erster Ordnung auf $M$ beschrieben. Sei $\rho$ die Darstellung auf dem Raum der glatten Funktionen auf $M$. In diesem Fall ist die durch obige Formel gegebene Casimir-Invariante der $G$-invariante Differentialoperator zweiter Ordnung auf $M$.

Man kann noch allgemeinere Casimir-Invarianten definieren; dies geschieht beispielsweise bei Untersuchungen von Pseudo-Differentialoperatoren in der Fredholm-Theorie.

