Ein Spinor ist in der Mathematik, und dort speziell in der Differentialgeometrie, ein Vektor in einer kleinsten Darstellung
einer Spin-Gruppe. Die Spin-Gruppe ist isomorph zu einer Teilmenge einer Clifford-Algebra. Jede Clifford-Algebra ist isomorph zu einer Teil-Algebra einer reellen, komplexen oder quaternionischen Matrix-Algebra. Diese hat eine kanonische Darstellung durch Spaltenvektoren, die Spinoren.
Ein Spinor ist in der Physik meist ein Vektor einer 2-dimensionalen komplexen Darstellung der Spin-Gruppe
, die zur Gruppe der Lorentz-Transformationen
des Minkowski-Raums gehört. Wichtig ist hier vor allem das Drehverhalten.
Die Gruppe
ist eine Teilmenge des geraden Teils
der Clifford-Algebra
. Die gesamte Algebra wird von den vier kanonischen Basisvektoren
,
,
,
des 4-dimensionalen Minkowski-Raums
mit quadratischer Form (in Koordinaten dieser Basis)
erzeugt. Dementsprechend antikommutieren die Produkte verschiedener Basisvektoren; für ihre Quadrate gilt
, also
,
.
Die Unteralgebra
der geraden Elemente wird erzeugt von zweifachen Produkten, die
enthalten:
,
,
. Diese antikommutieren ebenfalls; ihre Quadrate haben den Wert 1.
Die fehlenden zweifachen Produkte bilden eine „doppelt gerade“ Unteralgebra, die von geraden Produkten der
erzeugt wird:
Die von den
erzeugte Unteralgebra ist isomorph zur Algebra der Quaternionen. Mit Rücksicht auf die Pauli-Matrizen identifizieren wir
,
,
; Genaueres weiter unten.
Unter den Basisvektoren der geraden Unteralgebra fehlt noch das Volumenelement
Dieses kommutiert mit der gesamten geraden Unteralgebra, es gilt
.
Es ist leicht zu sehen, dass
die gerade Unteralgebra erzeugen und dass der ungerade Teil der Algebra als
zu erhalten ist. Insgesamt gilt:
Dies liefert den Isomorphismus ![]()
der eingeschränkt einen Isomorphismus
ergibt.
Es sei im folgenden immer
, wobei
eine imaginäre Einheit der Quaternionen ist. Dann kann der Isomorphismus wie folgt definiert werden:
Als Folge daraus ergeben sich mit
und ![]()
Es gibt einen Isomorphismus
, der einem Tensorprodukt
die Abbildung
zuordnet. Damit ist
eine quaternionisch eindimensionale oder reell vierdimensionale Darstellung der gesamten Clifford-Algebra. Als letzteres hat sie den Namen Majorana-Spinor-Darstellung, nach Ettore Majorana.
Wir definieren eine bijektive Abbildung
als
. Diese Abbildung ist reell linear und komplex rechts antilinear, d. h.
. Sei
die Koordinatenabbildung. Damit definieren wir
d. h. einem Element
aus
wird die Abbildung, die durch
gegeben ist, zugeordnet. Dabei ist z. B.
Die Matrix dieser Abbildung ist die erste Pauli-Matrix
, analog gilt
und
.
Somit ist
eine komplex zweidimensionale Darstellung der geraden Unteralgebra und damit auch der
-Gruppe. Diese Darstellung von
heißt Weyl-Spinor-Darstellung, benannt nach Hermann Weyl (siehe auch: Pauli-Matrizen).
Zu dieser gibt es eine konjugierte Darstellung
, wobei ![]()
Eine treue Darstellung ist eine Einbettung der Algebra in eine Matrixgruppe, oder generell in die Endomorphismengruppe eines Vektorraums. Dabei sollen Elemente der Spin-Gruppe auf orthogonale oder unitäre Matrizen abgebildet werden.
Dazu folgendes Lemma: Sind
,
selbstadjungierte unitäre Abbildungen auf
mit
und
, so zerfällt
in isomorphe, zueinander orthogonale Unterräume
und
. Das Tripel
lässt sich isomorph abbilden auf
ist die Identität auf
. Das auftretende Tensorprodukt kann hier auch als das Kronecker-Produkt von Matrizen aufgefasst werden.
Eine Weyl-Spinor-Darstellung, benannt nach Hermann Weyl, ist eine kleinste komplexe Darstellung von
. Diese ist gleichzeitig auch die kleinste komplexe Darstellung der geraden Unteralgebra
.
Angenommen, wir hätten eine komplexe Darstellung
von
in einen hermiteschen Vektorraum
vorliegen. Dabei sind die Bilder
(der Kürze wegen lassen wir im weiteren das
weg) unitäre, selbstadjungierte Abbildungen von
in sich.
und
erfüllen die Voraussetzungen des Lemmas, wir können also zu einer isomorphen Darstellung
übergehen.
Um die Gestalt von
einzuschränken, betrachten wir das Produkt
und stellen fest, dass aufgrund der Vertauschungsregeln
sich folgende Gestalt zwingend ergibt
Da der Vektorraum
komplex ist, können wir ihn in zueinander orthogonale Unterräume
und
aufspalten, auf welchen
wie
oder
wirkt. Beide Unterräume ergeben separate Darstellungen, die jeweils minimalen sind zueinander komplex konjugiert, die Matrizen sind die schon genannten Pauli-Matrizen, denn wenn
, so ist
Im minimalen Fall ist
,
oder umgekehrt. Es gibt also zwei konjugierte Weyl-Spinor-Darstellungen.
Anwendung: siehe Weyl-Gleichung
In der Quantenelektrodynamik bzw. Atiyah-Singer-Indextheorie wird der Dirac-Operator definiert. Das „wie“ ist nicht wichtig, nur, dass eine Darstellung der gesamten Clifford-Algebra benötigt wird. Die Dirac-Spinor-Darstellung, nach Paul Dirac, ist die kleinste komplexe Darstellung von
.
Ist eine solche komplexe Darstellung gegeben, so können wir wie oben die Darstellung der geraden Unteralgebra analysieren. Um auch den ungeraden Teil zu bestimmen, betrachten wir das Bild von
. Es kommutiert mit
und antikommutiert mit
, wie oben stellen wir fest, dass
Man überzeugt sich, dass
die Unterräume
und
vertauscht, wir können also die Darstellung durch eine noch weiter faktorisierte ersetzen:
Die minimale Dirac-Spinor-Darstellung ist wieder die mit
(und jede dazu isomorphe).
Die Majorana-Spinor-Darstellung, nach Ettore Majorana, sowohl der Spin-Gruppe als auch der Clifford-Algebra ist die kleinste reelle Darstellung von
. Wir können die Analyse von oben übernehmen bis zu der Stelle, an welcher
und
auf
definiert sind. Hier können wir nun
nach
zerlegen in
und
,
vertauscht beide Unterräume, allerdings ist
, somit
Nach Ausmultiplizieren erhalten wir für ![]()
Aus Obigem ist die für die Physik vielleicht wesentlichste Eigenschaft der Spinoren nicht leicht zu erkennen bzw. zu folgern:
Ganz- oder halbzahlige Werte von
sind die einzigen Möglichkeiten für die Ausprägung des Spins.
Dieser Artikel basiert auf dem Artikel Spinor aus der freien Enzyklopädie Wikipedia und ist unter der Lizenz Creative Commons Attribution/Share Alike verfügbar. Zusätzliche Bedingungen können anwendbar sein. In der Wikipedia ist eine Liste der Autoren verfügbar. |