Spinor

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 4. Januar 2021 um 16:10 Uhr durch imported>Pjt56(266553) (→‎Geschichte der Spinoren: typo, Komma).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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.

Geschichte der Spinoren

Élie Cartan klassifizierte 1913[1] die irreduziblen komplexen Darstellungen einfacher Liegruppen.[2] Er fand neben den bekannten Tensordarstellungen auch eine neue zweiwertige Darstellung in Form der Spinoren (und sagte vorher, dass diese die anderen Darstellungen aufbauen könnten), speziell für lineare Darstellungen der Drehgruppen. Später erschien sein Lehrbuch über Spinoren[3]. Ihre Bedeutung insbesondere in der Physik wurde aber erst nach Entdeckung der Diracgleichung durch Paul Dirac 1928 erkannt (sie ermöglichten es ihm, eine Gleichung 1. Ordnung, die Diracgleichung, als Linearisierung einer Gleichung 2. Ordnung, der Klein-Gordon-Gleichung, zu gewinnen). Paul Ehrenfest wunderte sich, warum die Darstellung bei Dirac (mit der relativistisch kovarianten Diracgleichung) vierdimensional war, in der zuvor für den Spin im Rahmen der nichtrelativistischen Quantenmechanik aufgestellten Pauli-Gleichung von Wolfgang Pauli, in der er auch seine Pauli-Matrizen einführte, dagegen zweidimensional. Ehrenfest prägte für die neuartigen Größen 1928 den Namen Spinor[4] und beauftragte Bartel Leendert van der Waerden, diese mathematisch zu untersuchen, eine Untersuchung, die van der Waerden 1929 veröffentlichte.[5]

Dirac arbeitete bei seiner Einführung der Spinoren weitgehend unabhängig, nach seinen eigenen Worten auch unabhängig von Pauli in der Verwendung der Pauli-Matrizen. Pauli selbst wurde 1927 in der mathematischen Interpretation seiner Gleichung wesentlich von Pascual Jordan unterstützt[6] (der ihn auf den Zusammenhang mit Quaternionen hinwies).

Die Arbeiten von Dirac waren im Rahmen der Lorentzgruppe, den Zusammenhang mit Spinoren im euklidischen Raum stellte Cartan in seinem Buch 1938 her und Richard Brauer und Hermann Weyl in einem Aufsatz 1935 (unter Verwendung von Clifford-Algebren).[7] Die algebraische Theorie der Spinoren im Rahmen von Clifford-Algebren setzte Claude Chevalley in seinem Lehrbuch 1954 fort.[8]

Von Bedeutung in der Differentialgeometrie wurden sie vor allem durch das Atiyah-Singer-Indextheorem Anfang der 1960er Jahre.[9]

Spinoren der Quantenphysik

Struktur der Gruppe Spin(1,3)

Die Spin-Gruppe ist eine Teilmenge des geraden Teils der Clifford-Algebra . Die gesamte Algebra – als -Vektorraum hat sie 16 Dimensionen – 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 (als -Vektorraum 8-dimensionale) Unteralgebra der geraden Elemente wird erzeugt von zweifachen Produkten, die enthalten: , , . Diese antikommutieren ebenfalls; ihre Quadrate haben den Wert 1.

Eine Basis von besteht beispielsweise aus dem Einselement, den und den nachfolgend beschriebenen vier Elementen und :

Die fehlenden zweifachen Produkte (d. h. die, die nicht enthalten) bilden eine „doppelt gerade“ Unteralgebra, die von geraden Produkten der erzeugt wird:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_3 := -\mathbf{f}_1 \mathbf{f}_2 = -\mathbf{e}_1 \mathbf{e}_2}

Die Quadrate der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_k} haben der Wert -1, und jedes der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_k} ist (eventuell bis aufs Vorzeichen) das Produkt der beiden anderen, also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_1 \mathbf{g}_2 = \mathbf{g}_3} usw. Die von den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_k} erzeugte Unteralgebra ist isomorph zur Algebra der Quaternionen. Mit Rücksicht auf die Pauli-Matrizen identifizieren wir Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_1 = \mathrm{j}} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_2 = \mathrm{k}} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_3 = \mathrm{i}} ; Genaueres weiter unten.

Unter den Basisvektoren der geraden Unteralgebra fehlt noch das Volumenelement

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \omega^2 = -1} .

Isomorphe Matrixalgebra

Es ist leicht zu sehen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\omega, \mathbf{g}_1, \mathbf{g}_2)} die gerade Unteralgebra erzeugen und dass der ungerade Teil der Algebra als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\ell^1(1,3) = \mathbf{e}_0 C\ell^0(1,3)} zu erhalten ist. Insgesamt gilt:

  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\omega, \mathbf{e}_0)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\ell(1,3)\simeq \mathbb H\otimes_{\mathbb R}\mathbb H} ,

der eingeschränkt einen Isomorphismus

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\ell^0(1,3)\simeq \mathbb C\otimes_{\mathbb R}\mathbb H}

ergibt.

Es sei im Folgenden immer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{C} = \mathbb{R}[i]} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i} eine imaginäre Einheit der Quaternionen ist. Dann kann der Isomorphismus wie folgt definiert werden:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi(\omega) := \mathrm{i} \otimes 1, \varphi(\mathbf{e}_0) := \mathrm{k} \otimes 1,}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{f}_k = \omega \mathbf{g}_k} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{e}_k = -\mathbf{e}_0 \mathbf{f}_k}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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},}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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}.}

Eigenspinoren

Eigenspinoren stellen in der Quantenmechanik die Basisvektoren dar, die den Spin-Zustand eines Teilchens beschreiben. Für ein einzelnes Spin-1/2-Teilchen können sie als die Eigenvektoren der Pauli-Matrizen betrachtet werden. Sie bilden ein vollständiges Orthonormalsystem.

Darstellung in den Quaternionen, Majorana-Spinoren

Es gibt einen Isomorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho\colon\mathbb H\otimes_{\mathbb R}\mathbb H\to \mbox{Hom}_{\mathbb R}(\mathbb H,\mathbb H)} , der einem Tensorprodukt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \otimes b} die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\mapsto\rho(a\otimes b)(x):=bx\bar a} zuordnet. Damit ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_M:=\rho\circ\varphi} 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

Wir definieren eine bijektive Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S\colon\mathbb C^2\to\mathbb H} als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S(z^1,z^2):=\mathrm{k} \,\bar z^1+\bar z^2} . Diese Abbildung ist reell linear und komplex rechts antilinear, d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S(wz^1,wz^2):=S(z^1,z^2)\bar w} . Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \theta:=S^{-1}} die Koordinatenabbildung. Damit definieren wir

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_W\colon C\ell^0(1,3)\to M_2(\mathbb C)} , durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_W(c)(z^1,z^2):=(\theta\circ\rho_M(x)\circ S)(z^1,z^2)} ,

d. h. einem Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi(c) = w \otimes q} aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb C\otimes_{\mathbb R}\mathbb H} wird die Abbildung, die durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_1} , analog gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{f}_2 \mapsto \sigma_2} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{f}_3 \mapsto \sigma_3} .

Somit ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho_W} eine komplex zweidimensionale Darstellung der geraden Unteralgebra und damit auch der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Spin}(1,3)} -Gruppe. Diese Darstellung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bar\rho_W(c)(z):=(\bar\theta\circ\rho_M(x)\circ \bar S)(x)} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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

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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} selbstadjungierte unitäre Abbildungen auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A^2 = B^2 = I} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle AB = -BA} , so zerfällt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} in isomorphe, zueinander orthogonale Unterräume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_+ := \operatorname{ker}(I-A)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_- := \operatorname{ker}(I+A) = BV_+} . Das Tripel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (V,A,B)} lässt sich isomorph abbilden auf

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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_+.}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_+} ist die Identität auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_+} . Das auftretende Tensorprodukt kann hier auch als das Kronecker-Produkt von Matrizen aufgefasst werden.

Weyl-Spinoren

Eine Weyl-Spinor-Darstellung, benannt nach Hermann Weyl, ist eine kleinste komplexe Darstellung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Spin}(1,3)} . Diese ist gleichzeitig auch die kleinste komplexe Darstellung der geraden Unteralgebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\ell^0(1,3)} .

Angenommen, wir hätten eine komplexe Darstellung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\rho,V)} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\ell^0(1,3)} in einen hermiteschen Vektorraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} vorliegen. Dabei sind die Bilder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho(\mathbf{f}_k)} (der Kürze wegen lassen wir im weiteren das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho} weg) unitäre, selbstadjungierte Abbildungen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} in sich.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A := \mathbf{f}_3} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B := \mathbf{f}_1} erfüllen die Voraussetzungen des Lemmas, wir können also zu einer isomorphen Darstellung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V=\mathbb C^2\otimes V_+} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf f_3=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes I_+} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf f_1=\begin{pmatrix}0&1\\1&0\end{pmatrix} \otimes I_+}

übergehen.

Um die Gestalt von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{f}_2} einzuschränken, betrachten wir das Produkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{f}_1 \mathbf{f}_2} und stellen fest, dass aufgrund der Vertauschungsregeln

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_1f_2)f_3=f_3(f_1f_2)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_1f_2)f_1=-f_1(f_1f_2)}

sich folgende Gestalt zwingend ergibt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf f_1\mathbf f_2=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes \mathbf g_{12}} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathbf g_{12})^2=-1.}

Da der Vektorraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_+} komplex ist, können wir ihn in zueinander orthogonale Unterräume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{++}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{+-}} aufspalten, auf welchen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_{12}} wie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{i}} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_{12} = \mathrm{i}} , so ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf f_2=\begin{pmatrix}0&-\mathrm{i} \\ \mathrm{i}&0\end{pmatrix} \otimes I_{+}.}

Im minimalen Fall ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{++} = \mathbb{C}} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{+-} = \{0\}} oder umgekehrt. Es gibt also zwei konjugierte Weyl-Spinor-Darstellungen.

Anwendung: siehe Weyl-Gleichung

Dirac-Spinoren

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 bei Anwendung in 3+1 Raum-Zeit-Dimensionen die kleinste komplexe Darstellung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\ell(1,3)} . Es werden aber auch höherdimensionale Dirac-Spinoren zum Beispiel in der Stringtheorie betrachtet.

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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{e}_1} . Es kommutiert mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{f}_3} und antikommutiert mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{f}_1} . Wie oben stellen wir fest, dass

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf e_1=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes \mathbf g_{1}} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathbf g_{1})^2=1.}

Man überzeugt sich, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_1} die Unterräume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{++}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{+-}} vertauscht, wir können also die Darstellung durch eine noch weiter faktorisierte ersetzen:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V=\mathbb C^2\otimes \mathbb C^2\otimes V_{++}} mit den Bildern der Generatoren
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf e_0=\begin{pmatrix}0&-1\\1&0\end{pmatrix} \otimes \begin{pmatrix}0&1\\1&0\end{pmatrix} \otimes I_{++}}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf e_1=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes \begin{pmatrix}0&1\\1&0\end{pmatrix} \otimes I_{++}}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf e_2=\begin{pmatrix}1&0\\0&1\end{pmatrix} \otimes \begin{pmatrix}0&-\mathrm{i}\\\mathrm{i}&0\end{pmatrix} \otimes I_{++}}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{++} = \mathbb{C}} (und jede dazu isomorphe).

Dirac-Spinoren in 3+1 Dimensionen dienen im Rahmen der Quantenelektrodynamik zur mathematischen Beschreibung von Fermionen mit Spin 1/2. Zu diesen Dirac-Fermionen gehören im Standardmodell der Teilchenphysik sämtliche fundamentalen Fermionen.

Majorana-Spinoren

Die Majorana-Spinor-Darstellung, nach Ettore Majorana, sowohl der Spin-Gruppe als auch der Clifford-Algebra ist die kleinste reelle Darstellung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\ell(1,3)} . Wir können die Analyse von oben übernehmen bis zu der Stelle, an welcher Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf{g}_{12}} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_+} definiert sind. Hier können wir nun Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_+} nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A = \mathbf{g}_1} zerlegen in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{++} := \operatorname{ker}(I-A)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{+-} := \operatorname{ker}(I+A)} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B = \mathbf{g}_{12}} vertauscht beide Unterräume, allerdings ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B^2 = -I} , somit

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_+=\mathbb R^2\otimes V_{++}} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf g_1=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes I_{++}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf g_{12}=\begin{pmatrix}0&-1\\1&0\end{pmatrix} \otimes I_{++}.}

Nach Ausmultiplizieren erhalten wir für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_{++} = \mathbb{R}}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V=\mathbb C^2\otimes \mathbb C^2} mit den Bildern der Generatoren
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf e_0=\begin{pmatrix}0&-1\\1&0\end{pmatrix} \otimes \begin{pmatrix}1&0\\0&-1\end{pmatrix}}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf e_1=\begin{pmatrix}1&0\\0&-1\end{pmatrix} \otimes \begin{pmatrix}1&0\\0&-1\end{pmatrix}}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf e_2=\begin{pmatrix}1&0\\0&1\end{pmatrix} \otimes \begin{pmatrix}0&-1\\-1&0\end{pmatrix}}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbf e_3=\begin{pmatrix}0&-1\\-1&0\end{pmatrix} \otimes \begin{pmatrix}1&0\\0&-1\end{pmatrix}.}

Sie dienen in der Elementarteilchenphysik zur Beschreibung von Majorana-Fermionen, die aber bisher noch nicht beobachtet wurden.

Drehverhalten

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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} (gemessen in Einheiten des reduzierten Planck’schen Wirkungsquantums Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hbar \,} ), sogenannte Bosonen, wird die Wellenfunktion bei einer vollen Drehung um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\pi\!\,} mit dem Faktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (-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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} sind die einzigen Möglichkeiten für die Ausprägung des Spins.

Verallgemeinerung in der Mathematik

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:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P_x=\{(s_1, \dots, s_n)\text{ orientierte Orthonormalbasis von } T_xM\}}

Dies ist ein Hauptfaserbündel mit Strukturgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle SO_n} . Eine Spin-Struktur ist dann ein Paar (Q,f) aus einem Hauptfaserbündel Q mit Strukturgruppe Spinn und einer Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon Q\rightarrow P} , die folgende Eigenschaften erfüllt:

  1. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi_P\circ f=\pi_Q} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi_P\colon P\rightarrow M} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi_Q} die Projektionen der Hauptfaserbündel sind und
  2. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(p\cdot g)=f(p)\cdot\lambda(g)} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda\colon\operatorname{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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \kappa\colon Cl_n\rightarrow \Delta_n=\mathbb{C}^{[n/2]^2}} (vergleiche hier) und bildet das Spinorbündel als assoziiertes Vektorbündel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S=Q\times_{\kappa}\Delta_n=(Q\times \Delta_n)/\sim} ,

wobei die Äquivalenzrelation durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (p,v)=(p\cdot g,\kappa(g^{-1})(v))\,\forall g\in \operatorname{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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{R}^4} mit der pseudo-euklidischen Metrik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle (v_1, \dots, v_4),(w_1, \dots, 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

Einzelnachweise

  1. Cartan, Les groupes projectifs qui ne laissent invariante aucune multiplicité plane, Bull. Soc. Math. France, Band 41, 1913, S. 53–96
  2. Die Geschichte der Spinoren ist zum Beispiel dargestellt in Marcel Berger, A panoramic view of Riemannian Geometry, Springer 2003, S. 695f
  3. Cartan, The theory of spinors, Hermann 1966, Dover 1981, zuerst 1938 in Französisch als Leçons sur la théorie des spineurs bei Hermann in zwei Bänden erschienen
  4. Martina Schneider, Zwischen zwei Disziplinen. B. L. van der Waerden und die Entwicklung der Quantenmechanik, Springer 2011, S. 122
  5. Van der Waerden, Göttinger Nachrichten, Spinoranalyse, Nachrichten Ges. Wiss. Göttingen, 1929, S. 100. Der Aufsatz eröffnet mit der von Ehrenfest gestellten Frage.
  6. Pauli, Brief an Jordan 12. März 1927, in Pauli, Briefwechsel, Band 1, Springer 1979, S. 385
  7. Brauer, Weyl, Spinors in n dimensions, American Journal of Mathematics, Band 37, 1935, S. 425–449
  8. Chevalley, The algebraic theory of spinors. New York, Columbia University Press 1954. Nachdruck in den Gesammelten Werken von Chevalley, Band 2 (Springer 1996) mit Nachwort von Jean-Pierre Bourguignon.
  9. Berger, loc. cit. Die Konstruktion von Spinor-Bündeln auf riemannschen Mannigfaltigkeiten war nach Berger in den 1950ern Folklore und das Jahr 1963 war herausragend in der Geschichte der Spinoren nicht nur durch die Einführung des Atiyah-Singer-Indextheorems, sondern auch durch die Formel für die Skalarkrümmung von André Lichnerowicz