Meine Merkliste

Home
Lexikon
Clifford-Algebra

Clifford-Algebra

Die Clifford-Algebra (nach William Kingdon Clifford) dient in der Mathematik und dort in der Differentialgeometrie sowie in der Quantenphysik der Definition der Spin-Gruppe und in ihren Darstellungen der Konstruktion von Spinorfeldern/bündeln, die wiederum zur Beschreibung von Elektronen und anderen Elementarteilchen sowie zur Bestimmung von Invarianten auf Mannigfaltigkeiten dienen.

Weiteres empfehlenswertes Fachwissen

Wie kann man Pipetten schnell überprüfen?

Dauerhaft genaue Prüfgewichte dank 12 kostenloser Tipps

Was ist die Empfindlichkeit meiner Waage?

Inhaltsverzeichnis

1 Die Frage nach komplexen Einheiten
- 1.1 Beispiele
- 1.2 Überleitung
2 Mathematische Definition
3 Beziehung zur orthogonalen Gruppe
- 3.1 Die Pin-Gruppe
- 3.2 Die Spin-Gruppe
4 Darstellungen
- 4.1 Niedrigdimensionale Beispiele
- 4.2 Quantenphysikalisch bedeutsame Beispiele
5 Literatur

Die Frage nach komplexen Einheiten

Es gibt in der Mathematik Zahlensysteme (Divisionsalgebra mit 1) mit komplexen Einheiten, genauer die komplexen Zahlen, die Quaternionen und Oktaven. In diesen können jeweils 1, 3 oder 7 Elemente $\mathbf i_k$ fixiert werden, welche mit der 1 zusammen den Zahlenraum als reellen Vektorraum aufspannen und welche (nicht nur) $(\mathbf i_k)^2=-1$ erfüllen. Manchmal reicht das nicht aus. Es werden zu einer beliebigen Anzahl n Strukturen gesucht, welche die reellen Zahlen und Elemente $\mathbf i_1,\dots,\mathbf i_n$ enthalten und in der ein Produkt ° definiert ist, welches die Bedingungen

$\mathbf i_k\circ\mathbf i_l+\mathbf i_l\circ\mathbf i_k=2\sigma_k\delta_{kl}$

erfüllt, wobei δ_kl das Kroneckersymbol ist und $\sigma_k=\pm1$ .

Die Elemente $\mathbf i_k$ heißen die Erzeugenden oder Generatoren der Clifford-Algebra. Das Produkt aller Erzeugenden wird durch $ω$ bezeichnet, $\omega = \mathbf i_1\mathbf i_2\cdots\mathbf i_n$ . Das Quadrat von $ω$ kann +1 oder -1 sein.

Diese Struktur ist, bis auf die genannten Beispiele, kein Zahlensystem, sondern kann nur als Algebra realisiert werden, in welcher die $\mathbf i_k$ Erzeugende sind. Eine solche Algebra wird Clifford-Algebra genannt, nach William Kingdon Clifford, der sie im Jahr 1878 entdeckt hat. Sie wird mit Cl(p,q) oder Cl(p,q,ℝ) bezeichnet, falls

$\sigma_1=\dots=\sigma_p=-1$ und $\sigma_{p+1}=\dots=\sigma_{p+q}=1$

und sonst keine algebraische Beziehung der Erzeugenden gilt.

Bis hierher haben wir formale Rechenregeln aufgestellt, wissen aber noch nichts über die Existenz, Eindeutigkeit und Struktur einer solchen Algebra. Dieses Problem ist sofort gelöst, wenn man die Clifford-Algebra als Teil einer reellen Matrixalgebra darstellen kann.

Beispiele

Die komplexen Zahlen ℂ können als einfachste Clifford-Algebra Cl(1,0) mit einem einzigen Erzeugenden verstanden werden. Der Vektorraum V ist eindimensional von i erzeugt, die Algebra als Vektorraum zweidimensional von (1,i) erzeugt, die quadratische Funktion Q ist das Quadrat des Arguments. Die reelle Algebra ist die der 2x2-Matrizen

$aI+bJ:=\begin{pmatrix}a&-b\\b&a\end{pmatrix}$ .

Die Quaternionen ergeben sich (nichttrivial) aus der Clifford-Algebra Cl(2,0). Die Erzeugenden (i,j) haben ein nichttriviales Produkt k=i°j, aus den definierenden Eigenschaften des Produkts ergibt sich, dass es mit dem Produkt der Quaternionen übereinstimmt. Der Vektorraum V ist reell zweidimensional, die Algebra reell vierdimensional. Eine Matrixdarstellung ist die Teilalgebra der komplexen 2x2-Matrizen

$\begin{pmatrix}a&b\\-\bar b&\bar a\end{pmatrix}$ ,

durch Einsetzen der reellen 2x2-Matrizen der komplexen Zahlen a und b ergibt sich eine Teilalgebra der reellen 4x4-Matrizen.

Cl(0,1) hat ein Erzeugendes i mit Quadrat 1. Daher können Elemente der reell 2-dimensionalen Algebra in zwei Summanden aufgespalten werden, von denen der erste unter Multiplikation mit i sein Vorzeichen behält und der zweite sein Vorzeichen ändert. In der Multiplikation zweier Elemente multiplizieren sich diese Summanden separat, wie in der Multiplikation zweier Diagonalmatrizen. Die Algebra ist also isomorph zur direkten Summe zweier Kopien von ℝ, Cl(0,1)≅ℝ⊕ℝ.

Überleitung

Im mathematischen Teil werden die Rechenregeln durch eine universelle Eigenschaft ergänzt und die Clifford-Algebra aus einer Tensoralgebra konstruiert. Es sei vorerst nur angemerkt, dass die Erzeugenden $\mathbf i_1,\dots,\mathbf i_n$ einen (Unter-)Vektorraum V der Dimension n=p+q innerhalb der Algebra aufspannen. Summiert man die definierende Eigenschaft über die Koordinatendarstellung eines Vektors $\vec v=x^1i_1+\dots+x^ni_n$ dieses Vektorraums, so ergibt sich eine koordinatenfreie (für Physiker: kovariante) Darstellung dieser:

$\vec v\circ \vec v=-Q(v)$ , wobei $Q(\vec v):=(x^1)^2+\dots+(x^p)^2-(x^{p+1})^2-\dots-(x^n)^2$

eine quadratische Funktion auf V ist, welche ein (Pseudo-)Skalarprodukt definiert:

$Q(t\vec v)=t^2Q(\vec v)$ und $<\vec v,\vec w>:=\frac14Q(\vec v+\vec w)-\frac14Q(\vec v-\vec w)$ .

Die Erzeugenden bilden dann eine Orthonormalbasis auf (V, ⟨, ⟩).

Ein solches Paar aus reellem Vektorraum und darauf definierter quadratischer Funktion (V,Q) ist der Ausgangspunkt für die mathematische Theorie der Clifford-Algebren.

Mathematische Definition

Es sei V ein $\mathbb K$ -Vektorraum. Eine Funktion $Q:V\to\mathbb K$ heißt quadratische Form, falls es eine zugeordnete symmetrische Bilinearform $q:V\times V\to\mathbb K$ gibt mit Q(v)=q(v,v).

In der Mathematik ist die Clifford-Algebra (nach William Kingdon Clifford) $C l (V, Q)$ eines reellen Vektorraums V mit quadratischer Form Q eine (Universalkonstruktion) assoziative Algebra,

in welche V injektiv eingebettet ist – d.h. es gibt eine injektive Abbildung $j:V \to Cl(V,Q)$ – und
in welcher für das Produkt eingebetteter Vektoren gilt

j(v)j(v)=-Q(v) für alle v aus V bzw. die äquivalente Aussage

j(v)j(w)+j(w)j(v)=-2q(v,w) für alle v, w aus V,

wobei $q(v,w):=\frac14(Q(v+w)-Q(v-w))$ die von Q durch Polarisierung erhaltene symmetrische Bilinearform ist,

die die universelle Eigenschaft erfüllt

zu jeder weiteren Einbettung f:V → A gibt es einen eindeutigen Algebrenmorphismus φ:Cl(V,Q) → A mit f=φ∘j. Falls es eine solche Clifford-Algebra gibt, ist sie bis auf Isomorphie eindeutig.

Es sei im folgenden V mit seiner Einbettung j(V) identifiziert (d.h., wir lassen das j weg).

Konstruktion in der Tensoralgebra

In der Tensoralgebra $\mathcal TV$ sei das Ideal $\mathcal I:=\mathcal TV\otimes \mbox{span}_{\mathbb K}\{v\otimes v+Q(v):\;v\in V\}\otimes\mathcal TV$ definiert. Dann ist der Quotient $\mathcal TV/\mathcal I$ eine Realisierung der Clifford-Algebra $C l (V, Q)$ .

Spezielle Clifford-Algebren

Falls V ein Spaltenvektorraum mit euklidischem Skalarprodukt ist, $V=\mathbb{R}^n$ , so wird die Clifford-Algebra auch mit $C l (n,0)$ bezeichnet. Die Erzeugenden sind dann die kanonischen Basisvektoren $\mathbf i_k:=\mathbf e_k$ , die quadratische Form die Quadratsumme der Koordinaten.

Ist der Raum $V=\mathbb{R}^n$ ein Minkowski-Raum der Signatur (p,q) mit Dimension n:=p+q, d.h. die quadratische Form ist gegeben durch

$Q(\vec x)=x_1^2+\dots+x_p^2-x_{p+1}^2-\dots-x_n^2$ ,

so wird die Clifford-Algebra auch mit $Cl(p,q)=Cl(p,q,\mathbb R)$ bezeichnet.

Zu jeder Clifford-Algebra kann auch die komplexifizierte Algebra $\mathbb Cl(p+q):=Cl(p,q,\mathbb R)\otimes \mathbb C$ definiert werden, hier sind alle Bilinearformen zueinander isomorph.

Graduierung

Die Abbildung $j_-:V\to Cl(V,Q),\;v\mapsto j_-(v):=-v$ erfüllt ebenfalls die definierende Identität $j - (v) 2 = - Q (v)$ , somit gibt es einen Algebrenisomorphismus $\kappa:Cl(V,Q)\to Cl(V,Q)$ mit κ(v)=-v für alle v∈V und κ²=id. Damit zerfällt die Clifford-Algebra in einen geraden Teil Cl⁰(V,Q)=Kern(id-κ)=Bild(id+κ) und einen ungeraden Teil Cl¹(V,Q)=Kern(id+κ)=Bild(id-κ).

Diese Zerlegung erzeugt eine $\mathbb Z_2$ –Graduierung der Algebra, Produkte gerade-gerade und ungerade-ungerade ergeben gerade Elemente, Produkte gerade-ungerade ergeben ungerade Elemente. So sind Produkte mit einer geraden Anzahl von Faktoren aus V gerade, Produkte mit einer ungeraden Anzahl von Faktoren aus V ungerade

$C l 0 (V, Q)$ ist eine Unteralgebra der Clifford-Algebra und wird auch als zweite Clifford-Algebra bezeichnet, $C l 1 (V, Q)$ ist ein lediglich ein Modul bezüglich $C l 0 (V, Q)$ .

Beziehung zur Graßmann-Algebra

Die Graßmann–Algebra $Λ V$ eines reellen Vektorraumes V ist die Clifford-Algebra $C l (V,0)$ mit der trivialen quadratischen Form Q≡0. Innerhalb einer beliebigen Clifford-Algebra kann die Graßmann-Algebra konstruiert werden, indem das Keilprodukt als u∧v:=½(uv-vu) – und analog als alternierende Summe bei mehr als zwei Faktoren – definiert wird.

Es kann umgekehrt jede Clifford-Algebra $C l (V, Q)$ innerhalb der Graßmann-Algebra $Λ V$ konstruiert werden, indem in dieser ein neues Produkt ° definiert wird als

$v\circ w:=v\wedge w-q(v,w)$ .

Die Dimension der Algebra bleibt dabei erhalten, sie ist 2ⁿ bei n=dim(v).

Diese Beziehung ist u.a. für die Quantisierung supersymmetrischer Feldtheorien wichtig.

Beziehung zur orthogonalen Gruppe

Sei V ein Vektorraum mit nicht ausgearteter symmetrischer Bilinearform q und Q(v)=q(v,v). In der Clifford-Algebra Cl(V,Q) können dann Spiegelungen in V dargestellt werden. Dazu wird eine elementare Folgerung aus der Struktur des Produkts benutzt:

v x v = - (2 < v, x > + x v) v = - 2 < v, x > v + x < v, v >

Ist v ein Einheitsvektor, |⟨v,v⟩|=1, so ist die Abbildung v↦S(v)x:=vxv die Spiegelung an der zu v senkrechten Hyperebene. Jede Spiegelung ist eine orthogonale Abbildung, somit ist die von den Spiegelungen erzeugte Gruppe eine Untergruppe der orthogonalen Gruppe.

Die Pin-Gruppe

Umgekehrt lässt sich jede orthogonale Abbildung in ein Produkt aus Spiegelungen zerlegen, s. Householdertransformation bzw. QR-Zerlegung. Die Zerlegung ist nicht eindeutig, aber die Clifford-Produkte der Einheitsvektoren der Spiegelmatrizen unterscheiden sich höchstens im Vorzeichen. Betrachten wir solche Produkte.

Wir definieren zunächst die sog. "Pin"-Gruppe aller Produkte von Einheitsvektoren:

$\mbox{Pin}(V):=\{v_1\dots v_k:k\in\mathbb N, v_i\in V, |<v,v>|=1\}$ .

Es gibt Produkte, deren Faktoren unterschiedlich sind, die aber das selbe Element der Pin-Gruppe bezeichnen, z.B. ist mit orthogonalen Einheitsvektoren v und w und jedem Paar (c,s)=(cosα, sinα) gilt

(c v - s w)(s v + c w) = v w

Jedoch gilt, dass jedem Element aus Pin(V) genau eine orthogonale Abbildung

$S(v_1\dots v_k):=S(v_1)S(v_2)\dots S(v_k)$

entspricht, unabhängig von der gewählten Faktorisierung. Weiter ist bekannt, dass

S:Pin(V)->O(V) surjektiv der Ordnung 2 ist, d.h. eine zweifache Überlagerung. Die Urbilder der gleichen orthogonalen Abbildung unterscheiden sich nur um das Vorzeichen.

Die Spin-Gruppe

Physikalisch und geometrisch bedeutsam ist aber eine Untergruppe der Pin-Gruppe, die Spin-Gruppe

$\mbox{Spin}(V):=\{v_1\dots v_{2k}\in\mbox{Pin}(V):k\in\mathbb N\}=\mbox{Pin}(V)\cap Cl^0(V)$

der Produkte mit gerader Anzahl von Faktoren (aus dem Wortspiel "spezielle Pin-Gruppe" ergab sich der Begriff "Pin"-Gruppe). Von dieser ist bekannt, dass sie ebenfalls eine zweifache Überlagerung der speziellen orthogonalen Gruppe SO(V) ist, sowie dass sie einfach zusammenhängend ist, d.h. selbst nur noch triviale Überlagerungen zulässt. Da die Matrixgruppe SO(n) eine Darstellung vom Gewicht 2 von Spin(n) ist, sagt man in der Physik auch, dass Darstellungen der Spin-Gruppe vom Gewicht 1 Spin-1/2-Darstellungen der orthogonalen Gruppe seien.

Darstellungen

Eine Darstellung einer Algebra ist eine Einbettung dieser in die Algebra der Endomorphismen eines Vektorraums, also (nach Basiswahl) in eine Matrixalgebra. Dabei können die Matrizen reelle, komplexe oder quaternionische Einträge haben.

Es lässt sich zeigen, dass jede Clifford-Algebra zu einer Matrixalgebra oder der direkten Summe zweier Matrix-Algebren über den reellen Zahlen $\mathbb R$ , den komplexen Zahlen $\mathbb C$ oder den Quaternionen $\mathbb H$ isomorph ist. Die Zuordnung und Dimension der reellen Algebren tabelliert sich wie folgt:

p−q mod 8	ω²	Cl(p,q,R) (p+q = 2m)	p−q mod 8	ω²	Cl(p,q,R) (p+q = 2m + 1)
0	+	R(2^m)	1	−	C(2^m)
2	−	H(2^m−1)	3	+	H(2^m−1) ⊕ H(2^m−1)
4	+	H(2^m−1)	5	−	C(2^m)
6	−	R(2^m)	7	+	R(2^m) ⊕ R(2^m)

Im komplexifizierten Fall ergibt sich ein einfacheres Bild:

n	Cl(n,C)
2m	C(2^m)
2m+1	C(2^m) ⊕ C(2^m)

Dabei gelten folgende allgemeinen Isomorphien:

$Cl(d,0)\otimes Cl(0,2)\cong Cl(0,d+2)$
$Cl(0,d)\otimes Cl(2,0)\cong Cl(d+2,0)$
$Cl(p,q)\otimes Cl(1,1)\cong Cl(p+1,q+1)$
$Cl(d,\mathbb C)\otimes Cl(2,\mathbb C)\cong Cl(d+2,\mathbb C)$

Niedrigdimensionale Beispiele

Die Dimension von $C l (p, q)$ als reeller Vektorraum ist 2^p+q. Damit lässt sich die Clifford-Algebra durch reelle Matrizen dieser Dimension darstellen, welche die Multiplikation in der Algebra beschreiben. Diese Darstellung ist nicht minimal, d.h. es gibt Matrizen geringerer Dimension, welche das gleiche leisten, siehe [1] und die Beispiele unten.

Cl(1,0)≅ℂ

hat den Generator e₁ mit e₁²=-1. Es gibt also eine komplex eindimensionale Darstellung, welche e₁ auf die imaginäre Einheit i abbildet, und die entsprechende reell zweidimensionale.

Cl(0,1)≅ℝ⊕ℝ

Der Generator ist e₁ mit e₁²=1. Jedes Element a+be der Algebra kann in zwei Summanden ½(a+b)(1+e) und ½(a-b)(1-e) aufgespalten werden. Da (1+e)(1-e)=0 gilt, erhält sich diese Aufspaltung unter Produktbildung. Die Clifford-Algebra ist also isomorph zum ℝ² mit gliedweisem Produkt, wobei e dem Element (1,-1) entspricht und (1,1) dem Einselement. Diese direkte Summe zweier Algebren kann auch als Algebra der 2x2-Diagonalmatrizen realisiert werden.

Cl(2,0)≅ $\mathbb H$

hat die Generatoren i:=e₁ und j:=e₂ und deren Produkt k=ij mit den Relationen

$i^2=j^2=-1,\;k=ij=-ji,\;ijk=k^2=-ijji=-1,\;$ .

Man rechnet nach, dass dies zur Algebra der Quaternionen isomorph ist.

Cl(1,1)≅M₂(ℝ)

hat die Generatoren i und e, i²=-1, e²=1 und ie=-ei. Man überzeugt sich, dass die Generatoren folgenden reellen 2x2-Matrizen entsprechen:

$1=\mathrm{diag}(1,1),\; e=\mathrm{diag}(1,-1),\; i=\begin{pmatrix}0&-1\\1&0\end{pmatrix},\; ie=\begin{pmatrix}0&1\\1&0\end{pmatrix}$

somit alle reellen Matrizen erreicht werden.

Cl(0,2)≅M₂(ℝ)

hat die Generatoren e₁ und e₂ mit Quadrat 1, deren Produkt i:=e₁e₂ hat das Quadrat -1, somit ist diese Algebra isomorph zur vorhergehenden.

Quantenphysikalisch bedeutsame Beispiele

Cl(3,0)≅Cl(2,0)⊗Cl(0,1)≅ $\mathbb H\oplus\mathbb H$ (Biquaternionen)

hat die Generatoren e₁, e₂ und e₃ mit den Relationen

$(\mathbf e_i)^2=-1$ , $\mathbf e_i\mathbf e_k=-\mathbf e_k\mathbf e_i$ , $(\mathbf e_i\mathbf e_k)^2=-1$ , $(\mathbf e_1\mathbf e_2\mathbf e_3)^2=1$ .

Sowohl reelle als auch komplexe Darstellungen zerfallen als V=V₊⊕V_-, wobei V₊ Nullraum des Projektors (1-ω)/2, V_- Nullraum des Projektors (1+ω)/2 mit ω:=e₁e₂e₃ ist. Es gilt e_kω=ωe_k, so dass beide Untervektorräume voneinander unabhängige Unterdarstellungen erzeugen.

Eine rein negative Darstellung, d.h. mit V₊={0}, ist direkt zur Quaternionen-Algebra isomorph,

e₁↦i, e₂↦j und e₃↦k,

eine rein positive ist konjugiert isomporph,

e₁↦-i, e₂↦-j und e₃↦-k.

In beiden Fällen gilt das zu $Cl(2,0,\mathbb R)$ gesagte.

Cl(2,1)≅Cl(1,1)⊗Cl(1,0)≅M₂(ℂ)

Cl(1,2)≅Cl(1,1)⊗Cl(0,1)≅M₂(ℝ)⊕M₂(ℝ)

Cl(0,3)≅Cl(0,2)⊗Cl(1,0)≅ $\mathbb H\otimes_{\mathbb R}\mathbb C$

Cl(4,0)≅Cl(2,0)⊗Cl(0,2)≅M₂(ℍ)

Der gerade Teil dieser Algebra, der die Spin₄-Gruppe enthält, ist zu

C l (3,0)

isomorph. Er wird erzeugt von $\mathbf f_1:=\mathbf e_1\mathbf e_4,\; \mathbf f_2:=\mathbf e_2\mathbf e_4\; \mathbf f_3:=\mathbf e_3\mathbf e_4$ , es ist z.B. $\mathbf e_1\mathbf e_2=\mathbf f_1\mathbf f_2$ .

Cl(3,1)≅Cl(1,1)⊗Cl(2,0)≅M₂(ℍ)

Cl⁰(3,1)≅Cl(3,0)≅ $\mathbb H\oplus\mathbb H$ oder

Cl⁰(3,1)≅Cl(2,1)≅M₂(ℂ)

Cl(1,3)≅Cl(1,1)⊗Cl(0,2)≅M₄(ℝ)

Cl⁰(1,3)≅Cl(0,3)≅ $\mathbb H\otimes_{\mathbb R}\mathbb C$ oder

Cl⁰(1,3)≅Cl(1,2)≅M₂(ℝ)⊕M₂(ℝ)

Literatur

Bartel L. van der Waerden, Algebra I, Spinger-Verlag, 9. Aufl. 1991, ISBN 3-540-56799-2
Bartel L. van der Waerden, A history of Algebra, Springer-Verlag, 1985, ISBN 3-540-13610-X
H.B. Lawson, M. Michelsohn, Spin Geometry, Princeton University Press, 1989, ISBN 978-0691085425, ISBN 0691085420

Kategorie: Quantenphysik

Dieser Artikel basiert auf dem Artikel Clifford-Algebra aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation. In der Wikipedia ist eine Liste der Autoren verfügbar.