Können wir es besser machen als „ein Spinor ist etwas, das sich wie ein Spinor verwandelt“?

Es ist üblich, dass Schülern Tensoren als „Dinge, die sich wie Tensoren transformieren“ vorgestellt werden – das heißt, ihre Komponenten müssen sich auf eine bestimmte Weise transformieren, wenn wir Koordinaten ändern. Wir können es jedoch besser machen, indem wir einen Tensor als multilineare Abbildung definieren v × . . . × v × v × . . . × v F , Wo v ist ein Vektorraum vorbei F (oft als Tangentenraum angesehen). Dann folgt das Transformationsgesetz.

Mein derzeitiges Verständnis von Spinoren fühlt sich wie die erste, unbefriedigende Definition an: Sie sind nur "Dinge, die sich wie Spinoren transformieren" - das heißt, sie sind Elemente eines Vektorraums, die sich gemäß einer projektiven Darstellung von transformieren S Ö ( N ) was wirklich mehrwertig ist (dh es ist nicht nur eine wahre Darstellung von S Ö ( N ) ). Wir könnten dies das „Spinortransformationsgesetz“ nennen. Beachten Sie, dass wir dies "von Hand" eingegeben haben: Die Art und Weise, wie sich ein Spinor transformiert, ist keine Eigenschaft eines zugrunde liegenden Objekts, sondern in unsere Definition eingebaut.

Meine Frage ist: Können wir Spinoren ohne Bezug auf die Art und Weise definieren, wie sie sich transformieren, so wie wir es bei Tensoren getan haben? Gibt es ein Objekt, das der Definition von Spinoren in Bezug auf Transformationen „unterliegt“, so wie Tensoren „wirklich“ multilineare Karten sind?

Tensortransformationsgesetz Tensoren als multilineare Abbildungen Spinor-Transformationsgesetz ??? 

Nur um Sie wissen zu lassen, es gibt ein wirklich cooles und kleines Buch von Cartan mit dem Titel The Theory of Spinors, vielleicht finden Sie dort, was Sie brauchen.
Was stört Sie an den Spinortransformationsgesetzen? Ich finde es viel schwieriger, mir vorzustellen, dass die Projektionen des Spins diskret sind, unabhängig davon, ob der Spinwert ganzzahlig oder halbzahlig ist.
Es ist eine Eigenschaft des Objekts. Die Tensortransformationskarte, die Sie als besser vorschlagen als "Dinge, die sich wie Tensoren umwandeln", ergibt für mich keinen Sinn. Es ist reine Mathematik. Wie stellen Sie die Assoziation zu Dingen her, die in unserer Welt existieren? Beginnen Sie mit Ihrer Karte und sagen Sie dann "Dinge, die sich wie Spinoren verwandeln".
Gute Frage +1. Ich fühlte mich auch immer unwohl mit der Definition des Physikers. Mit der Zeit lernte ich es jedoch etwas mehr zu schätzen.
Ich frage mich, warum viele Leute mit "Tensoren als multilineare Karten" zufrieden sind, weil diese Karten am Ende auch korrekt transformiert werden müssen.
Zu sagen, ein Tensor sei eine multilineare Karte, beantwortet eigentlich nichts. Das bedeutet nur, dass sich ein Tensor wie eine multilineare Karte auf Vektoren transformiert, was davon abhängt, wie sich Vektoren transformieren. Sie können genauso gut sagen, dass ein Vektor eine bilineare Karte auf Spinoren ist , aber ich wette, das würde Sie nicht zufrieden stellen.
Ich bin der Meinung, dass jedes intuitive Verständnis von Spinors das Anschauen der Videos im Einführungsabschnitt der Wikipedia-Seite über Spinors beinhalten muss . Und mindestens einen Kerzentanz , bei dem die Tänzer irgendwann auf dem Boden liegen.
Die Suche nach einem Spinor-Analogon von "Tensoren als multilineare Karten" ist möglicherweise nicht der Weg, der die meisten Physiker dazu bringt, sich mit Spinoren vertraut zu machen. Der Weg könnte eher so aussehen: Quantenphysik wird in Form von Observablen ausgedrückt. Wenn wir nur verlangen, dass das Muster der Observablen Poincaré-symmetrisch ist, ohne dass das Gerüst, das wir verwenden, um sie zu konstruieren, Poincaré-symmetrisch sein muss, dann werden wir dazu gebracht, ein Gerüst zu betrachten, das die Abdeckgruppe der Poincaré-Gruppe verwendet – Spinorfelder. (Diese Perspektive lässt sich auf gekrümmte Raumzeit verallgemeinern, obwohl ich sie in flacher Raumzeit ausgedrückt habe.)
@ChiralAnomaly Ich stimme dem zu, aber meiner Meinung nach steht die Frage, die als reine Neugierde angesehen wird (wahrscheinlich besser für Math SE geeignet), immer noch: Gibt es eine basisunabhängige, rein geometrische Formulierung von Spinoren, bei der die Transformationseigenschaften als Theoreme herauskommen? ?
@DvijD.C. Ich stimme zu. Die Frage lautet: "Ich bin mit X nicht zufrieden, können Sie mir stattdessen Y geben?" Mein Kommentar prüft, ob der erste Teil ("Ich bin nicht zufrieden mit X") für das OP wichtiger ist als der zweite Teil ("Kannst du mir stattdessen Y geben?"). Es ist eine Art Bitte um Klärung, aber ohne eine Antwort zu verlangen, wenn die Antwort nein ist.
@knzhou Ich glaube nicht, dass ich dem zustimme. Vektoren sind nur Karten C ( M ) F befriedigende Linearität und Leibniz. Kein Verweis auf Transformationen erforderlich. Dies gibt uns ein "Fundament", auf dem wir Tensoren aufbauen können, wiederum ohne Bezug auf Transformationseigenschaften. In der Tat könnten Sie die meisten Differentialgeometrien durchführen, ohne jemals zu wissen, wie sich die Komponenten dieser Tensoren transformieren. Spinoren genießen diese Eigenschaft nicht.
Ein paar Ebenen darunter könnte man fragen: "Was ist ein Vektor?" - und es gibt keine andere Antwort als "ein Element eines Vektorraums". Also "benimmt sich wie" ist wirklich das Beste, was es gibt

Antworten (5)

Die richtige analoge Formalisierung von Spinoren besteht darin, sie nicht als eine Art von unterschiedlichen Funktionen von Tensoren auf demselben zugrunde liegenden Vektorraum zu betrachten v , sondern um unsere Vorstellung von der zugrunde liegenden Geometrie zu erweitern: Wo Tensoren multilineare Funktionen auf Vektorräumen sind, sind Tensoren mit „Spinor“- und „Vektor“-Teilen multilineare Funktionen auf Supervektorräumen v = v 0 v 1 wo der ungerade Teil v 1 ist eine spinorale Darstellung von S P ich N ( v 0 ) . (nlab nennt diese Räume Super-Minkowski-Raumzeiten ).

Über die duale Darstellung treten die linearen Funktionen auf v 1 erben eine Darstellung der Spingruppe. Die (multi)linearen Funktionen erben auch die Supergrading (eine lineare Funktion, die im ungeraden Teil Null ist, ist gerade, und eine lineare Funktion, die im geraden Teil Null ist, ist ungerade), und rein gerade solche Funktionen sind nur gewöhnliche Tensoren , und rein ungerade Funktionen sind reine Spinoren.

Beachten Sie, dass wir immer noch die Spin-Darstellung einfügen v 1 von Hand - die Auswahl wird nicht durch den Grundraum bestimmt v 0 . Dies ist in gewisser Weise nicht überraschend - ein Begriff von "Spin" und Spinor ist wirklich mehr als nur einen Vektorraum zu haben: Alle (pseudo-riemannschen) Mannigfaltigkeiten (nach dem Vorbild der Vektorräume R N ) haben einen Begriff von Tensoren, der auf Tensorprodukten der (Ko-)Tangentenräume aufgebaut ist, aber nicht alle Mannigfaltigkeiten haben Spinoren , dh die Möglichkeit, jedem Punkt der Mannigfaltigkeit konsistent eine spinoriale Darstellung zuzuordnen. Für einfache Vektorräume wird die Wahl eines Spinbegriffs nicht behindert, aber es ist immer noch eine Wahl.

Dass der supergeometrische Ansatz trotzdem der "richtige" (oder zumindest nützliche) ist, zeigt sich, wenn wir uns der Feldtheorie zuwenden, wo man fermionische/spinoriale Freiheitsgrade durch Antikommutierungsvariablen darstellen muss, und die Z / 2 -Gradierung des zugrunde liegenden Vektorraums erlaubt uns dann, dies einfach zu tun, indem wir erklären, dass die ungeraden Komponenten antikommutieren.

Irgendwelche Hinweise zum Verständnis, wie ein Spinor als Koordinate (missbraucht) werden kann? Ich weiß, das ist ziemlich beliebt, aber ich verstehe es einfach nicht.
Diese Antwort scheint genau das zu sein, wonach ich gesucht habe. Ist es für Physiker Standard, die Raumzeit als diese entsprechend vergrößerte Mannigfaltigkeit zu behandeln ("Super-Minkowski-Raumzeit"), oder wird dies nur in bestimmten Theorien (z. B. supersymmetrischen Theorien) verwendet?
@JacobDrori Es ist in supersymmetrischen Theorien sehr verbreitet, aber Sie werden dies mehr oder weniger häufig auch in allen Zusammenhängen sehen, die sich um Quantisierung kümmern - Sie brauchen eine Möglichkeit, "klassische" fermionische Variablen zu haben, um einen Quantisierungsprozess für sie zu definieren, und sie werden also meist der Raumzeit, dem Phasenraum oder was auch immer sonst der relevante Konfigurationsraum im jeweiligen Kontext ist, hinzugefügt.
@JacobDrori Entschuldigung für die Unterbrechung, aber er sagt das ausdrücklich v 1 ist eine spinorale Darstellung Wie ist es jetzt plötzlich in Ordnung, Darstellungen zu verwenden?
@DoctorNuu Ich habe gerade einen Absatz hinzugefügt, in dem das diskutiert wird.
@DoctorNuu Du hast Recht, wenn ich es noch einmal lese, kann ich sehen, dass die Antwort nicht genau das ist, was ich mir erhofft hatte. Aber der hinzugefügte Absatz zeigt, dass das, was ich mir erhofft hatte, nicht möglich ist. Es scheint, dass wir wirklich eine Transformationsregel voraussetzen müssen - ich habe es vielleicht falsch verstanden.

Ich denke, Sie fragen hier nach Intuition in die falsche Richtung.

Angenommen, jemand kennt sich bereits mit Vektoren aus und möchte Tensoren verstehen. Das ist möglich, weil Tensordarstellungen aus Vektoren, also dem Rang, aufgebaut sind 2 Die Tensordarstellung ist nur das Produkt zweier Vektordarstellungen oder äquivalent ein Rang 2 Tensor ist eine bilineare Abbildung auf zwei Vektoren.

Aber bei Spinoren ist es genau umgekehrt. Spinoren werden nicht aus Vektoren aufgebaut, stattdessen werden Vektoren aus Spinoren aufgebaut! Spinoren sind die einfachsten möglichen Darstellungen der Lorentz-Gruppe, und die Vektordarstellung ist das Produkt eines linkshändigen Spinors und eines rechtshändigen Spinors (oder äquivalent dazu ist ein Vektor eine bilineare Abbildung auf zwei Spinoren).

Mit anderen Worten, zu fragen, was Spinoren zugrunde liegt, ist die falsche Frage. Spinoren sind die Struktur, die allem zugrunde liegt, was Sie bereits wussten. Sie müssen Ihr Verständnis mit den Spinoren unten und nicht oben neu aufbauen.

Das passiert häufig in der Physik: Sie können nicht nach einer intuitiven Ableitung einer fundamentalen Sache aus einer zusammengesetzten Sache fragen. Was Sie fragen, ist analog zu der Frage, aus welchen Atomen ein Proton besteht oder wie viele Protonen sich in einem Quark befinden oder wie man einen Vektor aus Tensoren aufbaut. (Übrigens beantwortet das Erlernen der ausgefalleneren Mathematik, wie in den anderen Antworten vorgeschlagen, niemals solche Fragen, da diese Fragen von Natur aus keine Antworten haben. Was wirklich passiert, ist, dass Sie sich beim Lernen der Mathematik mit diesen neuen elementaren Objekten vertraut machen . Sobald Sie fließend mit ihnen arbeiten können, hören Sie auf, sich Gedanken darüber zu machen, sie in Bezug auf Dinge zu erklären, die Sie vorher wussten, weil Sie sie in ihren eigenen Begriffen verstehen.)

Das ist im Grunde das, was ich sagen wollte (aber anscheinend gescheitert). Als Bausteine ​​genommen sind Spinoren am grundlegendsten. Zu beachten ist jedoch, dass, wenn man von einer Mannigfaltigkeit ausgeht, die Richtungen zuerst und natürlich zu kommen scheinen, während man für Spinoren die von diesen Richtungen erzeugte geometrische/Clifford-Algebra berücksichtigen und darin Spinoren finden muss.
Ich glaube, ich verstehe, was Sie sagen. Was es schwer zu akzeptieren macht, ist die Tatsache, dass Vektoren wirklich die "grundlegenderen" Objekte auf einer Mannigfaltigkeit zu sein scheinen, wie DoctorNuu oben sagte. Sie sind nur Karten im Tangentialraum, und wir kümmern uns nicht wirklich darum, wie sie sich transformieren, es sei denn, wir möchten einige Koordinaten auswählen, um Berechnungen durchzuführen. Aber bei Spinoren scheint es keine Definition zu geben, die ihre Transformationseigenschaften nicht einbezieht. Daher wirken Vektoren wirklich "natürlicher".
Ja, aber wir können axiomatisch über Vektorräume sprechen, ohne Transformationen zu erwähnen, und dann später die Transformationseigenschaften aus den Axiomen ableiten . Können wir dasselbe mit "Spinorräumen" machen?
@The_Sympathizer Aber das machen wir nicht für Vektoren. Auf der Ebene aller Vektorräume (egal ob sie einen Spinor, Vektor, Tensor, Heatmap, Inventar eines Lagerhauses, Aktienkurszeitreihen oder ein Array in einem C-Programm beschreiben) können wir immer die Transformationsregel für die Komponenten unter einem beliebigen ableiten Basiswechsel ganz zwangsläufig.
@The_Sympathizer Um die Transformationsregel für die Komponenten unter einer physikalischen Drehung abzuleiten , müssen Sie die Wörter "physikalische Drehung" definieren. A priori weiß der Formalismus von Vektorräumen nichts über den physikalischen Raum, weshalb sie sowohl Lagerbestände (wo physikalische Rotationen bedeutungslos sind) als auch Tensoren beschreiben können. Sie geben von Hand ein, was eine Rotation bedeutet, um zu erfahren, wie sich ein Vektor dreht, Sie können dasselbe für einen Spinor tun.
@knzhou: ??? Ähm, ja, genau das habe ich gerade gesagt. Also können wir das für Spinoren machen, also eine Liste von Axiomen für einen "Spinorraum" aufschreiben, dann daraus Transformationsregeln ableiten analog zur Ableitung für Vektoren aus den Axiomen für einen Vektorraum.
@knzhou: Ja, was für ein axiomatisches Objekt können wir dann tun, wenn wir diesen Rotationsprozess in einem speziellen Fall "von Hand einstecken", die Transformationsregeln für Spinoren herausspringen?
@knzhou: Danke, ja, ich habe es gerade gesehen.
FWIW, das Verhalten von Spinoren klingt interessanterweise wie das Verhalten der komplexen Quadratwurzel-"Funktion": Wenn Sie das Argument einmal um Null drehen, wird die Ausgabe negativ, dann drehen Sie erneut und Sie erhalten das Original zurück. Bedeutet dies, dass man das Paar (Eingabe, Ausgabe) als wie einen Spinor oder als Teil von/mit einem Spinor betrachten kann, vorausgesetzt, wir definieren "Negation" nur als Negation des Ausgabeteils?
@The_Sympathizer Um zu definieren, welche Basisänderungen "physikalischen Rotationen" entsprechen, fordern wir im Allgemeinen, dass ein Tensor unverändert bleibt. Am einfachsten ist es, hier von Lorentz-Transformationen zu sprechen: Für Vektoren ist der invariante Tensor die Minkowski-Metrik η μ v , für Weyl-Spinoren ist es das Levi-Civita-Symbol ϵ A B . Die Analogie zwischen den Fällen ist also eigentlich sehr eng.
@The_Sympathizer Ich bin mir nicht sicher! Sicherlich hängen Spinoren mit der Doppeldeutigkeit der Quadratwurzelfunktion zusammen, aber ich bin mir nicht sicher, wie ich es genauer machen soll.

Ja. Spinoren sind Elemente von Darstellungsräumen von Objekten, die als Clifford-Algebren bekannt sind .

Eine Clifford-Algebra ist im Grunde ein Vektorraum, der über die Produktregel in eine Algebra umgewandelt wird

v w = 2 G ( v , w ) 1

Wo G ist eine Metrik auf dem Vektorraum selbst. Die bekannteste Clifford-Algebra ist die Dirac-Algebra, also die Algebra der Dirac-Matrizen (für die der Vektorraum steht R 4 und die Metrik ist die Minkowski-Metrik). Wenn Sie stattdessen verwenden R 3 als Basisvektorraum erhält man mit der euklidischen Metrik die Pauli-Algebra.

Sobald Sie eine Clifford-Algebra haben, können Sie nach ihren Darstellungen (oder "Modulen", wie sie in der Literatur bekannt sind) suchen. Die Elemente dieser Darstellungen sind die Spinoren . Die entsprechenden Spinoren R 4 mit der Minkowski-Metrik sind die Dirac-Spinoren, während die entsprechenden R 3 mit der euklidischen Metrik sind die Spinoren von S Ö ( 3 ) / S U ( 2 ) .

Da haben wir es wieder. Das alte Rennen zwischen Physik und Mathematik. Physik war zuerst da, aber Mathe bekommt die ganze Ehre ;-)
All dies ist richtig, aber ich bin mir nicht sicher, ob es die Frage von OP beantwortet - sie scheinen nach einem Begriff von Spinoren zu fragen, der nicht nur "Spinoren sind Elemente des folgenden Vektorraums" ist.
Danke für die Erklärung. Ich bin neu bei Stackexchange und bin ziemlich erstaunt, wie schnell die Leute reagieren. ACuriousMind hat jedoch Recht: Ich hatte auf eine Definition gehofft, die keine "neuen" Vektorräume beinhaltet, außer denen, die uns der Basisraum bereits gibt. Die Definition von Spinoren als Elemente eines Repräsentationsraums scheint sie im Wesentlichen durch ihre Transformationseigenschaften zu definieren, was ich zu vermeiden versuchte. Entschuldigung für meine eher zweideutige Frage und danke für die Antwort trotzdem.
Gute Antwort +1, das hätte ich gesagt. Aber wie verhält sich das zu Tensoren (als multilineare Objekte ...)?
@DoctorNuu Soweit ich weiß, wurden Clifford-Algebren von Clifford selbst erfunden. Der 1879 starb. Also lasst uns den Mathematikern etwas Anerkennung zollen!
@JacobDrori Dies ist die einzige mir bekannte Möglichkeit, Spinoren in einer abstrakten (und einfachen) Umgebung zu definieren. Ich verstehe, was Sie sagen, aber vielleicht sollten Sie bereit sein zu akzeptieren, dass Spinoren einfach nicht als Karten auf dem zugrunde liegenden Raum definiert werden können. Die Antwort von ACuriousMind macht die Dinge meiner Meinung nach komplizierter, indem sie den zugrunde liegenden Raum unnötig erweitert, indem sie genau den Raum hinzufügt, den ich in meiner Definition verwendet habe (dh v 1 : Drehen( v 0 ) ist nur eine Untergruppe der Clifford-Gruppe, die in der Clifford-Algebra enthalten ist) und dann lineare Abbildungen darauf zu definieren.
Ich denke auch, dass Spinoren zuerst von Cartan (was für eine Überraschung / s) im Jahr 1913 unabhängig von der Physik und in großer Allgemeinheit erfunden wurden, aber der Begriff "Spinor" wurde zuerst von Physikern verwendet, die ihn in 3 und 4 Dimensionen als Teil wiederentdeckten Quantenmechanik, später verwendete dann auch Cartan den Begriff. Daher ist es absolut angemessen, den Mathematikern hier Anerkennung zu zollen

Nun, Sie sollten sich (irreduzible) Darstellungen der Lorentz-Gruppe ansehen. Grundsätzlich möchten Sie, dass alle Ihre Zutaten unter der Lorentz-Gruppe korrekte und konsistente Transformationen aufweisen.

Die Weyl- und Dirac-Spinoren sind die grundlegendsten Objekte, die diese Anforderung erfüllen.

Ausgehend von diesen können Sie Vektoren als (multiplikative) Kombinationen von zwei Spinoren bilden. Deshalb sieht man in alten Texten manchmal Spinoren, die als „Halbvektoren“ bezeichnet werden. Außerdem verwenden sie in diesem Zusammenhang nur „die Hälfte“ der Transformation eines Vektors, dh einseitig vs. zweiseitig.

In diesem Sinne seine Spinoren->Vektoren->Tensoren.

Wenn Sie Lust haben, können Sie die Dinge auch im Kontext der geometrischen Algebra oder der Raumzeit-Algebra betrachten, die auf David Hestenes zurückgeht. Hier können Sie Spinoren haben, die frei von jeder Matrixdarstellung sind.

Zwei weitere Referenzen mit unterschiedlichen Perspektiven fallen mir auch ein: Spinors and space-time (Penrose) und GRAVITATION (Misner Thorne Wheeler)

Der gemeinsame Nenner aller Ansätze sind jedoch die speziellen, grundlegenden Transformationseigenschaften, die sie besitzen. Daran kommt man nicht vorbei.

Ich nehme den Weg der Clifford-Algebra, wie von Nicht-Benutzer 38741 und Giorgio Comitini aufgezeigt, aber ich werde versuchen, intuitiv zu begründen, wie ich dort lande und wie das Spinor-Transformationsgesetz unvermeidlich erscheint. Also beginne ich mit geometrischer Algebra, was einfach ein anderer Name für Clifford-Algebra ist, wenn es in einem physikalischen Kontext verwendet wird, und die Vektoren werden als Elemente der Algebra selbst angesehen (dh wir erzwingen keine separate Matrixalgebra). So nimm R N , M mit Innenprodukt < , > , und definieren Sie die geometrische Algebra G ( R N , M ) als die freieste assoziative Algebra über R N , M was befriedigt

v 2 =< v , v > ,
wobei das Quadrat natürlich die algebraische Multiplikation ist. Wir werden die Multiplikation in dieser Algebra das geometrische Produkt nennen .

Zugegebenermaßen führt dies einen anderen Raum ein, aber das ist ein äußerst natürlicher: Die Elemente der geometrischen Algebra können so interpretiert werden, dass sie aus den Skalaren, den Vektoren von bestehen R N , M , die Bivektoren u v Wo u Und v sind Vektoren und u v := 1 2 ( u v v u ) , die 3-Vektoren u v w und so weiter bis zu (n + m)-Vektoren. Der N -Vektoren können als gerichtete Flächen-/Volumen-/n-Volumen-Elemente interpretiert werden. Für eine skurrile Einführung siehe "Imaginary numbers are not real" oder als gründliche Einführung entweder Hestenes' "Clifford algebra to Geometric Calculus" oder Doran und Lasenby's Geometric Algebra for Physicists .

Nun stellt sich heraus, dass eine Drehung des Vektors v in der durch einen einfachen Bivektor definierten Ebene ω von | ω | Radiant (wobei der Absolutwert ist ω 2 , da das Quadrat von ω negativ ist) kann in der geometrischen Algebra (GA) ausgedrückt werden als

v exp ( ω ) v exp ( ω ) ,
wobei das Exponential durch die übliche Potenzreihe definiert ist, wobei die Multiplikation das geometrische Produkt ist und ein einfacher Bivektor ein Bivektor ist, der als Keilprodukt geschrieben werden kann A B für einige Vektoren A , B . Eine allgemeine Drehung wird dann durch die gleiche Formel gegeben, aber mit der ω nicht unbedingt einfach sein (dh es muss möglicherweise eine Summe mehrerer einfacher Bivektoren sein). Das Ergebnis der Exponentialfunktion liegt dann in der geraden Teilalgebra , dh aufgebaut aus Objekten, die als Summe von Produkten einer geraden Anzahl von Vektorfaktoren ausgedrückt werden können. Wir nennen das Ergebnis der Potenzierung einen Rotor und bezeichnen oft R = exp ( ω ) . Dann kann das Objekt auf der rechten Seite der Transformation auch geschrieben werden als R ~ , wobei die Tilde Umkehrung bezeichnet , was einfach bedeutet, jeden Faktor in einem geometrischen Produkt zu nehmen und ihre Reihenfolge umzukehren. Weiter, R R ~ = 1 Wenn R ist ein Läufer.

Der erste Schimmer eines Spinor-ähnlichen Transformationsgesetzes erscheint: Im Allgemeinen können wir alle Elemente des Raums nach dem oben angegebenen zweiseitigen Rotationsgesetz drehen, und es ändert sich nichts. Wenn wir jedoch Rotationen durch den Rotor darstellen exp ( ω ) , dann ist die Zusammensetzung der Drehungen gegeben durch exp ( ω 1 ) exp ( ω 2 ) , der auch ein Rotor ist.

Lassen Sie uns nun konkret bleiben R 1 , 3 . Dann können wir die freie Dirac-Gleichung schreiben als

ψ ICH 3 + M ψ = 0 ,
Wo ist die Vektorableitung = e μ μ , und das e μ sind Basisvektoren, die über das geometrische Produkt wirken (sodass selbst ist algebraisch ein Vektor). Das Dirac-Feld ψ nimmt Werte in der geraden Teilalgebra der geometrischen Algebra an. ICH 3 ist ein Drei-Vektor, der anscheinend ein bevorzugtes Stück Raumzeit auswählt und daher die Lorenz-Invarianz bricht. Betrachten Sie jedoch eine andere Auswahl, die durch gegeben ist ICH 3 ' = R ICH 3 R ~ . Dann ist die entsprechende neue Dirac-Gleichung

ψ ' R ICH 3 R ~ + M ψ ' = 0.
Wenn jetzt ψ löst die ursprüngliche Dirac-Gleichung dann eindeutig ψ ' = ψ R ~ löst diese neue Gleichung mit ICH 3 ' . Mit anderen Worten, wenn das Objekt ICH 3 transformiert sich dann wie ein (Drei)-Vektor unter Drehungen ψ verwandelt sich wie ein Spinor, und das Transformationsgesetz ist erschienen.

Beachten Sie dann, dass die physikalischen Vorhersagen der Theorie nur von den Dirac-Bilinearen abhängen, die in dieser Sprache analog zu geschrieben werden können

ψ ICH 3 ψ ~ ,
und das wann ICH 3 transformiert als Drei-Vektor und ψ als Spinor bleiben die physikalischen Vorhersagen unverändert. Mit anderen Worten, das Spinortransformationsgesetz ist hier erforderlich, um die physikalischen Vorhersagen der Theorie unabhängig von der Wahl des gerichteten Volumenelements zu halten ICH 3 .

Tatsächlich gibt es eine natürliche Interpretation des Objekts ψ als Produkt eines Rotors, einer Skalierung und einer Transformation zwischen Skalaren und Pseudoskalaren in R 1 , 3 . Auf diese Weise erscheint das Spinor-Transformationsgesetz natürlich als Zusammensetzung von Rotoren (oder rotorähnlichen Objekten). Da es natürlich keine Behandlung der Quantenfeldtheorie in der Sprache der geometrischen Algebra gibt, ist es nicht klar, wie weit oder ernst dies als Interpretation der physikalischen Dirac-Gleichung genommen werden kann, aber nichtsdestotrotz liefert es zumindest ein Beispiel, wo Spinoren natürlich vorkommen , ohne das Umwandlungsgesetz manuell aufzuerlegen. Vielmehr kommt es bei der Wahl der Konstanten auf Transformationen der Lösungen der Dirac-Gleichung an ICH 3 verwandelt sich durch Drehungen.

Ich bin sicher, dass diese Flash-Einführung in das Thema viele Fragen offen lässt und vielleicht etwas verwirrend ist, aber wenn ich Ihr Interesse geweckt habe, schlage ich vor, dass Sie einigen der Links hier folgen und auf diese Weise weitermachen.

Ich hätte etwas in diese Richtung geschrieben, wenn ich mehr Zeit/Geduld gehabt hätte. Der ICH 3 macht es aber etwas unübersichtlich. Es gibt mehrere andere Möglichkeiten, die Dirac-Gleichung in diesem Rahmen zu schreiben, was ich bevorzuge. Der schöne Teil (in allen) ist, dass Spinoren natürliche einseitige Transformationen haben, während Vektoren (wie die Ableitung oder A-Felder nach dem „Eichen“) eine zweiseitige Transformation mit denselben haben R , keine Notwendigkeit für die üblichen umständlichen Übersetzungen zwischen Darstellungen.
@ non-user38741 Wie definieren Sie den Dirac-EQ in diesem Framework am liebsten?
Meine eigenen, ähnlich älteren Papieren von Doran, Lasenby. Das Merkwürdige ist, dass es in D = 1 + 3 nie ganz übereinstimmt, weil Cl (1,3) oder Cl (3,1) Repräsentationen hat R ( 4 ) oder H ( 2 ) .