Spinor

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Ein Spinor ist in der Mathematik, und dort speziell in der Differentialgeometrie, ein Vektor in einer kleinsten Darstellung (\rho,V) 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 \operatorname{Spin}(1,3), die zur Gruppe der Lorentz-Transformationen \operatorname{SO}(1,3) des Minkowski-Raums gehört. Wichtig ist hier vor allem das Drehverhalten.

Spinoren der Quantenphysik[Bearbeiten]

Struktur der Gruppe Spin(1,3)[Bearbeiten]

Die Gruppe \operatorname{Spin}(1,3) ist eine Teilmenge des geraden Teils C\ell^0(1,3) der Clifford-Algebra C\ell(1,3). Die gesamte Algebra – als \R-Vektorraum hat sie 16 Dimensionen – wird von den vier kanonischen Basisvektoren \mathbf{e}_0, \mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3 des 4-dimensionalen Minkowski-Raums \mathrm{M}^4 mit quadratischer Form (in Koordinaten dieser Basis) Q(x)=(x^0)^2-(x^1)^2-(x^2)^2-(x^3)^2 erzeugt. Dementsprechend antikommutieren die Produkte verschiedener Basisvektoren; für ihre Quadrate gilt v^2 = -Q(v), also (\mathbf{e}_0)^2 = -1, (\mathbf{e}_1)^2 = (\mathbf{e}_2)^2 = (\mathbf{e}_3)^2 = 1.

Die (als \R-Vektorraum 8-dimensionale) Unteralgebra C\ell^0(1,3) der geraden Elemente wird erzeugt von zweifachen Produkten, die \mathbf{e}_0 enthalten: \mathbf{f}_1 := \mathbf{e}_0 \mathbf{e}_1, \mathbf{f}_2 := \mathbf{e}_0 \mathbf{e}_2, \mathbf{f}_3 := \mathbf{e}_0 \mathbf{e}_3. Diese antikommutieren ebenfalls; ihre Quadrate haben den Wert 1.

Eine Basis von C\ell^0(1,3) besteht (z.B.) aus dem Einselement, den \mathbf{f}_k und den nachfolgend beschriebenen vier Elementen \mathbf{g}_k und \omega:

Die fehlenden zweifachen Produkte (d.h. die, die \mathbf{e}_0 nicht enthalten) bilden eine „doppelt gerade“ Unteralgebra, die von geraden Produkten der \mathbf{f}_k erzeugt wird:

\mathbf{g}_1 := -\mathbf{f}_2 \mathbf{f}_3 = -\mathbf{e}_2 \mathbf{e}_3
\mathbf{g}_2 := -\mathbf{f}_3 \mathbf{f}_1 = -\mathbf{e}_3 \mathbf{e}_1
\mathbf{g}_3 := -\mathbf{f}_1 \mathbf{f}_2 = -\mathbf{e}_1 \mathbf{e}_2

Die Quadrate der \mathbf{g}_k haben der Wert -1, und jedes der \mathbf{g}_k ist (eventuell bis aufs Vorzeichen) das Produkt der beiden anderen, also \mathbf{g}_1 \mathbf{g}_2 = \mathbf{g}_3 usw. Die von den \mathbf{g}_k erzeugte Unteralgebra ist isomorph zur Algebra der Quaternionen. Mit Rücksicht auf die Pauli-Matrizen identifizieren wir \mathbf{g}_1 = \mathrm{j}, \mathbf{g}_2 = \mathrm{k}, \mathbf{g}_3 = \mathrm{i}; Genaueres weiter unten.

Unter den Basisvektoren der geraden Unteralgebra fehlt noch das Volumenelement

\omega = \mathbf{e}_0 \mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3 = -\mathbf{f}_1 \mathbf{g}_1 = -\mathbf{f}_2 \mathbf{g}_2 = -\mathbf{f}_3 \mathbf{g}_3.

Dieses kommutiert mit der gesamten geraden Unteralgebra, es gilt \omega^2 = -1.

Isomorphe Matrixalgebra[Bearbeiten]

Es ist leicht zu sehen, dass (\omega, \mathbf{g}_1, \mathbf{g}_2) die gerade Unteralgebra erzeugen und dass der ungerade Teil der Algebra als C\ell^1(1,3) = \mathbf{e}_0 C\ell^0(1,3) zu erhalten ist. Insgesamt gilt:

  • (\omega, \mathbf{e}_0) und (\mathbf{g}_1, \mathbf{g}_2) erzeugen jeweils zu den Quaternionen isomorphe Unteralgebren,
  • diese Unteralgebren kommutieren miteinander und
  • spannen zusammen die gesamte Algebra auf.

Dies liefert den Isomorphismus \varphi

C\ell(1,3)\simeq \mathbb H\otimes_{\mathbb R}\mathbb H,

der eingeschränkt einen Isomorphismus

C\ell^0(1,3)\simeq \mathbb C\otimes_{\mathbb R}\mathbb H

ergibt.

Es sei im folgenden immer \mathbb{C} = \mathbb{R}[i], wobei i eine imaginäre Einheit der Quaternionen ist. Dann kann der Isomorphismus wie folgt definiert werden:

\varphi(\omega) := \mathrm{i} \otimes 1, \varphi(\mathbf{e}_0) := \mathrm{k} \otimes 1,
\varphi(\mathbf{g}_1) := 1 \otimes \mathrm{j}, \varphi(\mathbf{g}_2) := 1 \otimes \mathrm{k}, \varphi(\mathbf{g}_3) := 1 \otimes \mathrm{i}.

Als Folge daraus ergeben sich mit \mathbf{f}_k = \omega \mathbf{g}_k und \mathbf{e}_k = -\mathbf{e}_0 \mathbf{f}_k

\varphi(\mathbf{f}_1) := \mathrm{i} \otimes \mathrm{j}, \varphi(\mathbf{f}_2) := \mathrm{i} \otimes \mathrm{k}, \varphi(\mathbf{f}_3) := \mathrm{i} \otimes \mathrm{i},
\varphi(\mathbf{e}_1) := -\mathrm{j} \otimes \mathrm{j}, \varphi(\mathbf{e}_2) := -\mathrm{j} \otimes \mathrm{k}, \varphi(\mathbf{e}_3) := -\mathrm{j} \otimes \mathrm{i}.

Darstellung in den Quaternionen, Majorana-Spinoren[Bearbeiten]

Es gibt einen Isomorphismus \rho:\mathbb H\otimes_{\mathbb R}\mathbb H\to \mbox{Hom}_{\mathbb R}(\mathbb H,\mathbb H), der einem Tensorprodukt a \otimes b die Abbildung x\mapsto\rho(a\otimes b)(x):=bx\bar a zuordnet. Damit ist \rho_M:=\rho\circ\phi eine quaternionisch eindimensionale oder reell vierdimensionale Darstellung der gesamten Clifford-Algebra. Als letzteres hat sie den Namen Majorana-Spinor-Darstellung, nach Ettore Majorana.

Darstellung in den komplexen Zahlen, Weyl-Spinoren[Bearbeiten]

Wir definieren eine bijektive Abbildung S:\mathbb C^2\to\mathbb H als S(z^1,z^2):=\mathrm{k} \,\bar z^1+\bar z^2. Diese Abbildung ist reell linear und komplex rechts antilinear, d. h. S(wz^1,wz^2):=S(z^1,z^2)\bar w. Sei \theta:=S^{-1} die Koordinatenabbildung. Damit definieren wir

\rho_W:C\ell^0(1,3)\to M_2(\mathbb C), durch \rho_W(c)(z^1,z^2):=(\theta\circ\rho_M(x)\circ S)(z^1,z^2),

d. h. einem Element \varphi(c) = w \otimes q aus \mathbb C\otimes_{\mathbb R}\mathbb H wird die Abbildung, die durch

\rho(w\otimes q)(S(z^1,z^2))=qS(z^1,z^2)\bar w=qS(z^1w,z^2w)

gegeben ist, zugeordnet. Dabei ist z. B.

\rho_W(\mathbf f_1)(z^1,z^2) = \theta(\rho(-\mathrm{i}\otimes\mathrm{j})(S(z^1,z^2)) = \theta(\mathrm{jk}\bar{z}^1\mathrm{i}+\mathrm{j}\bar{z}^2\mathrm{i}) = (-z^2,-z^1).

Die Matrix dieser Abbildung ist die erste Pauli-Matrix \sigma_1, analog gilt \mathbf{f}_2 \mapsto \sigma_2 und \mathbf{f}_3 \mapsto \sigma_3.

Somit ist \rho_W eine komplex zweidimensionale Darstellung der geraden Unteralgebra und damit auch der \operatorname{Spin}(1,3)-Gruppe. Diese Darstellung von C\ell^0(1,3) heißt Weyl-Spinor-Darstellung, benannt nach Hermann Weyl (siehe auch: Pauli-Matrizen).

Zu dieser gibt es eine konjugierte Darstellung \bar\rho_W(c)(z):=(\bar\theta\circ\rho_M(x)\circ \bar S)(x), wobei \bar S(z_1,z_2)=\mathrm{j}S(z_1,z_2)=\bar z^1\mathrm{j}-\bar z^2

Weyl-, Dirac- und Majorana-Spinoren[Bearbeiten]

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 A, B selbstadjungierte unitäre Abbildungen auf V mit A^2 = B^2 = I und AB = -BA, so zerfällt V in isomorphe, zueinander orthogonale Unterräume V_+ := \operatorname{ker}(I-A) und V_- := \operatorname{ker}(I+A) = BV_+. Das Tripel (V,A,B) lässt sich isomorph abbilden auf

V=\mathbb K^2\otimes V_+, A=\begin{pmatrix}1&0\\0&-1\end{pmatrix}\otimes I_+, B=\begin{pmatrix}0&1\\1&0\end{pmatrix}\otimes I_+.

I_+ ist die Identität auf V_+. Das auftretende Tensorprodukt kann hier auch als das Kronecker-Produkt von Matrizen aufgefasst werden.

Weyl-Spinoren[Bearbeiten]

Eine Weyl-Spinor-Darstellung, benannt nach Hermann Weyl, ist eine kleinste komplexe Darstellung von \operatorname{Spin}(1,3). Diese ist gleichzeitig auch die kleinste komplexe Darstellung der geraden Unteralgebra C\ell^0(1,3).

Angenommen, wir hätten eine komplexe Darstellung (\rho,V) von C\ell^0(1,3) in einen hermiteschen Vektorraum V vorliegen. Dabei sind die Bilder \rho(\mathbf{f}_k) (der Kürze wegen lassen wir im weiteren das \rho weg) unitäre, selbstadjungierte Abbildungen von V in sich.

A := \mathbf{f}_3 und B := \mathbf{f}_1 erfüllen die Voraussetzungen des Lemmas, wir können also zu einer isomorphen Darstellung

V=\mathbb C^2\otimes V_+ mit \mathbf f_3=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes I_+ und \mathbf f_1=\begin{pmatrix}0&1\\1&0\end{pmatrix} \otimes I_+

übergehen.

Um die Gestalt von \mathbf{f}_2 einzuschränken, betrachten wir das Produkt \mathbf{f}_1 \mathbf{f}_2 und stellen fest, dass aufgrund der Vertauschungsregeln

(f_1f_2)f_3=f_3(f_1f_2) und (f_1f_2)f_1=-f_1(f_1f_2)

sich folgende Gestalt zwingend ergibt

\mathbf f_1\mathbf f_2=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes \mathbf g_{12} mit (\mathbf g_{12})^2=-1.

Da der Vektorraum V_+ komplex ist, können wir ihn in zueinander orthogonale Unterräume V_{++} und V_{+-} aufspalten, auf welchen \mathbf{g}_{12} wie \mathrm{i} oder \mathrm{-i} wirkt. Beide Unterräume ergeben separate Darstellungen, die jeweils minimalen sind zueinander komplex konjugiert, die Matrizen sind die schon genannten Pauli-Matrizen, denn wenn \mathbf{g}_{12} = \mathrm{i}, so ist

\mathbf f_2=\begin{pmatrix}0&-\mathrm{i} \\ \mathrm{i}&0\end{pmatrix} \otimes  I_{+}.

Im minimalen Fall ist V_{++} = \mathbb{C}, V_{+-} = \{0\} oder umgekehrt. Es gibt also zwei konjugierte Weyl-Spinor-Darstellungen.

Anwendung: siehe Weyl-Gleichung

Dirac-Spinoren[Bearbeiten]

Hauptartikel: Dirac-Spinor

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 C\ell(1,3).

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 \mathbf{e}_1. Es kommutiert mit \mathbf{f}_3 und antikommutiert mit \mathbf{f}_1, wie oben stellen wir fest, dass

\mathbf e_1=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes \mathbf g_{1} mit (\mathbf g_{1})^2=1.

Man überzeugt sich, dass \mathbf{g}_1 die Unterräume V_{++} und V_{+-} vertauscht, wir können also die Darstellung durch eine noch weiter faktorisierte ersetzen:

V=\mathbb C^2\otimes \mathbb C^2\otimes V_{++} mit den Bildern der Generatoren
\mathbf e_0=\begin{pmatrix}0&-1\\1&0\end{pmatrix} \otimes \begin{pmatrix}0&1\\1&0\end{pmatrix} \otimes I_{++}
\mathbf e_1=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes \begin{pmatrix}0&1\\1&0\end{pmatrix} \otimes I_{++}
\mathbf e_2=\begin{pmatrix}1&0\\0&1\end{pmatrix} \otimes \begin{pmatrix}0&-\mathrm{i}\\\mathrm{i}&0\end{pmatrix} \otimes I_{++}
\mathbf e_3=\begin{pmatrix}0&-1\\-1&0\end{pmatrix} \otimes \begin{pmatrix}0&1\\1&0\end{pmatrix} \otimes I_{++}

Die minimale Dirac-Spinor-Darstellung ist wieder die mit V_{++} = \mathbb{C} (und jede dazu isomorphe).

Majorana-Spinoren[Bearbeiten]

Die Majorana-Spinor-Darstellung, nach Ettore Majorana, sowohl der Spin-Gruppe als auch der Clifford-Algebra ist die kleinste reelle Darstellung von C\ell(1,3). Wir können die Analyse von oben übernehmen bis zu der Stelle, an welcher \mathbf{g}_1 und \mathbf{g}_{12} auf V_+ definiert sind. Hier können wir nun V_+ nach A = \mathbf{g}_1 zerlegen in V_{++} := \operatorname{ker}(I-A) und V_{+-} := \operatorname{ker}(I+A), B = \mathbf{g}_{12} vertauscht beide Unterräume, allerdings ist B^2 = -I, somit

V_+=\mathbb R^2\otimes V_{++} mit \mathbf g_1=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes I_{++} und \mathbf g_{12}=\begin{pmatrix}0&-1\\1&0\end{pmatrix} \otimes I_{++}.

Nach Ausmultiplizieren erhalten wir für V_{++} = \mathbb{R}

V=\mathbb C^2\otimes \mathbb C^2 mit den Bildern der Generatoren
\mathbf e_0=\begin{pmatrix}0&-1\\1&0\end{pmatrix} \otimes \begin{pmatrix}1&0\\0&-1\end{pmatrix}
\mathbf e_1=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes \begin{pmatrix}1&0\\0&-1\end{pmatrix}
\mathbf e_2=\begin{pmatrix}1&0\\0&1\end{pmatrix} \otimes \begin{pmatrix}0&-1\\-1&0\end{pmatrix}
\mathbf e_3=\begin{pmatrix}0&-1\\-1&0\end{pmatrix} \otimes \begin{pmatrix}1&0\\0&-1\end{pmatrix}.

Drehverhalten[Bearbeiten]

Aus Obigem ist die für die Physik vielleicht wesentlichste Eigenschaft der Spinoren nicht leicht zu erkennen bzw. zu folgern:

  • Für Teilchen mit ganzzahligem Spin s (gemessen in Einheiten des reduzierten Planck'schen Wirkungsquantums \hbar \, ), sogenannte Bosonen, wird die Wellenfunktion bei einer vollen Drehung um 2\pi\!\, mit dem Faktor (-1)^{2s}=+1\!\, multipliziert, d.h. sie bleibt unverändert.
  • Dagegen ergibt sich für Teilchen mit halbzahligem Spin, die Fermionen, bei einer vollen Drehung um 2\pi\!\, der Faktor -1 für die Wellenfunktion. D.h. diese Teilchen wechseln bei einer vollen Drehung das Vorzeichen ihrer quantenmechanischen Phase bzw. sie müssen zwei volle Drehungen durchführen, um wieder in ihren Ausgangszustand zu gelangen, ähnlich dem Stundenzeiger einer Uhr.

Ganz- oder halbzahlige Werte von s sind die einzigen Möglichkeiten für die Ausprägung des Spins.

Verallgemeinerung in der Mathematik[Bearbeiten]

In der Mathematik, speziell in der Differentialgeometrie, wird unter einem Spinor ein (meist glatter) Schnitt des Spinorbündels verstanden. Das Spinorbündel ist ein Vektorbündel, das wie folgt entsteht: Ausgehend von einer orientierten Riemannschen Mannigfaltigkeit (M,g) bildet man Bündel P der ON-Repere. Dieses besteht punktweise aus allen orientierten Orthonormalbasen:

P_x=\{(s_1,...,s_n)\text{ orientierte Orthonormalbasis von } T_xM\}

Dies ist ein Hauptfaserbündel mit Strukturgruppe SO_n. Eine Spin-Struktur ist dann ein Paar (Q,f) aus einem Hauptfaserbündel Q mit Strukturgruppe Spinn und einer Abbildung f:Q\rightarrow P, die folgende Eigenschaften erfüllt:

  1. \pi_P\circ f=\pi_Q, wobei \pi_P:P\rightarrow M und \pi_Q die Projektionen der Hauptfaserbündel sind und
  2. f(p\cdot g)=f(p)\cdot\lambda(g), wobei \lambda:Spin_n\rightarrow SO_n die zweifache Überlagerungsabbildung ist.

Eine Spin-Struktur existiert nicht zu jeder Mannigfaltigkeit, existiert eine, so nennt man die Mannigfaltigkeit spin. Die Existenz einer Spin-Struktur ist äquivalent zum Verschwinden der zweiten Stiefel-Whitney-Klasse.

Gegeben eine Spin-Struktur (Q,f) konstruiert man das (komplexe) Spinorbündel wie folgt: Man nutzt die (bei Einschränkung auf die Spin-Gruppe eindeutige) irreduzible Darstellung der (komplexen) Clifford-Algebra \kappa: Cl_n\rightarrow \Delta_n=\mathbb{C}^{[n/2]^2} (vergleiche hier) und bildet das Spinorbündel als assoziiertes Vektorbündel

S=Q\times_{\kappa}\Delta_n=(Q\times \Delta_n)/\sim,

wobei die Äquivalenzrelation durch (p,v)=(p\cdot g,\kappa(g^{-1})(v))\,\forall g\in Spin_n gegeben ist.

Analoge Konstruktionen lassen sich auch durchführen, wenn man die Riemannsche Metrik durch eine pseudoriemannsche ersetzt. Die oben beschriebenen Spinoren sind Spinoren im hier beschriebenen Sinne über der Mannigfaltigkeit \mathbb{R}^4 mit der pseudo-euklidischen Metrik  \langle (v_1,...,v_4),(w_1,...,w_4)\rangle=-v_1w_1+v_2w_2+v_4w_3+v_4w_4. Das Spinorbündel ist in diesem Fall ein triviales Vektorbündel.

Siehe auch[Bearbeiten]