Was rechtfertigt die Verwendung von Clifford-Spinoren zur Beschreibung höherdimensionaler Fermionen?

Ich denke gerne an den QFT-Weinberg-Stil: Partikel kommen zuerst und Felder kommen später; und letztere sind konstruiert, um erstere zu beschreiben. Felder sind nicht als grundlegend zu betrachten, sondern nur als praktische Werkzeuge zur Untersuchung von Teilchen.

Was rechtfertigt vor diesem Hintergrund das Postulat, dass ein Fermion-Teilchen durch eine Feldtransformation gemäß einer Darstellung der Clifford-Algebra beschrieben werden muss?

Mehr Details:

Teilchen werden gemäß den irreduziblen Darstellungen der orthogonalen Gruppe klassifiziert, S Ö ( D 1 ) (Wo D ist die Anzahl der Raumzeitdimensionen; Der Einfachheit halber nehme ich alle Partikel als massiv).

Sobald Sie ein Teilchen durch eine Repräsentation beschrieben haben R von S Ö ( D 1 ) , führst du ein Feld ein ψ die per definitionem in einer Repräsentation lebt R ' der Lorentz-Gruppe, S Ö ( 1 , D 1 ) . Die nicht triviale Frage ist, welche Darstellung R ' entspricht einer Darstellung R ; das heißt, welches Feld verwendet werden soll, um ein bestimmtes Teilchen zu beschreiben. Im Allgemeinen ist die Antwort nicht eindeutig, also sollten wir eigentlich nach "dem Einfachsten" suchen R ' für ein gegebenes R .

Dieser Frage geht Weinberg in seinem Buch nach D = 4 . Beispielsweise entspricht die triviale Darstellung der orthogonalen Gruppe der trivialen Darstellung der Lorentz-Gruppe (dh Skalarteilchen entsprechen Skalarfeldern). Ebenso der Spin S = 1 / 2 Darstellung der orthogonalen Gruppe entspricht der ( 0 , 1 2 ) , ( 1 2 , 0 ) Darstellungen der Lorentz-Gruppe. Um die Parität zu wahren, sollen diese zusammen erscheinen, also

drehen  S = 1 / 2 ( 0 , 1 2 ) ( 1 2 , 0 )

Jetzt kommt der entscheidende Punkt: Wie sich herausstellt, entspricht die rechte Seite dieser Gleichung tatsächlich einer irreduziblen Darstellung der Clifford-Algebra

γ ( μ γ v ) = η μ v
aber das ist nur eine nachträgliche Erkenntnis. Es gab keinen Grund zu erwarten, dass Clifford von Anfang an relevant sein würde. Es ist einfach so.

In höheren Dimensionen ist die Logik umgekehrt. Man erklärt, dass in höheren Dimensionen die Clifford-Algebra grundlegend ist und Fermionen alle Teilchen sind, die durch solche Felder beschrieben werden. Im Sinne von Weinberg ist das ziemlich wenig überzeugend: Teilchen sollten zuerst kommen. Bei höherdimensionalen Fermionen stellt sich die Frage, mit welchen Feldern sie beschrieben werden sollen. Und es kann sehr gut sein, dass die Antwort wieder Clifford ist, aber das muss eine a-posteriori-Schlussfolgerung sein, kein Postulat.

Daher meine Frage : Was rechtfertigt die Verwendung der Clifford-Algebra zur Beschreibung höherdimensionaler Fermionen? Wie können wir beweisen, dass eine solche Darstellung der Lorentz-Gruppe tatsächlich die einfachste Darstellung ist, die in der Lage ist, Fermionen zu beschreiben, wenn wir letztere anstelle von ersterer als grundlegend annehmen?

Um genau zu sein, definieren wir höherdimensionale Fermionen als erste nicht-triviale projektive Darstellung R von S Ö ( D 1 ) (oder eine direkte Summe davon, falls erforderlich, um die Parität zu erhalten).

Dies hat wahrscheinlich nichts damit zu tun, aber würde ich fragen, wie dieser „Partikel – Fundamental, Felder – Hilfs“-Glaube mit QFT in gekrümmter Raumzeit funktioniert?
@SolenodonParadoxus Ich glaube nicht an Raumzeitkrümmung ;-) ⸮ .
Fragen Sie, warum wir überhaupt Darstellungen der Clifford-Algebra verwenden oder warum wir Darstellungen von verwenden? C l ich F F ( D 1 , 1 ) anstatt C l ich F F ( D 1 ) .
Nachdem ich Ihren Kommentar zu Qmechanic gelesen habe, sehe ich, dass Sie nach der ersten Möglichkeit fragen.
Ich möchte nur darauf hinweisen, dass alle Darstellungen von halbeinfachen Lie-Gruppen (insbesondere S P ich N ( D 1 ) ), wurden klassifiziert. Diese Klassifizierung (zusammen mit dem Spin-Statistik-Theorem) besagt, dass die einfachsten Darstellungen, die die Fermi-Statistik erfüllen können, die Spinor-Darstellungen sind. Das OP würde wahrscheinlich davon profitieren, die Repräsentationstheorie halb einfacher Lie-Gruppen zu lernen.

Antworten (2)

OP scheint nach der Logik hinter „Kleine Gruppe“ zu fragen Lorentz-Gruppe Clifford-Algebra". In dieser Antwort diskutieren wir das letzte Bein.

Gegeben sei eine ( unbestimmte ) orthogonale / eine (eingeschränkte) Lorentzgruppe S Ö + ( v , Q ) [und seine doppelte Abdeckung, die Spinngruppe S P ich N + ( v , Q ) ] über ein F -Vektorraum v mit quadratischer Form Q , existiert funktoriell immer eine entsprechende Clifford-Algebra C l ( v , Q ) .

Hier nehmen wir an, dass die dazugehörigen endlichdimensionalen Darstellungen von den Spinordarstellungen [dh den fundamentalen Darstellungen ] von abgeleitet sind S P ich N + ( v , Q ) und Tensorproduktdarstellungen davon.

Kurz gesagt werden Spinordarstellungen als äußere Algebren realisiert ( v ) . Die quadratische Form von Clifford Q und Gammamatrizen können aus der inneren und äußeren Multiplikation und der Clifford-Algebra aufgebaut werden C l ( Q , v ) ist eine relevante "Quantisierung" der äußeren Algebren ( v ) . Also die Clifford-Algebra C l ( Q , v ) kommt kostenlos. Die (unbestimmte) orthogonale / Lorentz-Algebra S Ö ( v , Q ) selbst als Antikommutatoren von Gammamatrizen realisiert.

Dies bedeutet nicht, dass die Clifford-Algebra [zB die P ich N ( v , Q ) Gruppe ] verstärken die Symmetrie der Theorie.

Ich bin mir nicht sicher, ob ich deinen Punkt verstehe. Argumentieren Sie, dass das Feld, das ein Fermion beschreibt, Clifford sein muss, weil Clifford eine natürliche Konstruktion von Lorentzfeldern ist? Das schließt andere Darstellungen von Lorentz nicht aus, lässt also die Möglichkeit offen, Nicht-Clifford-Felder zu verwenden. Mit anderen Worten, nur weil Clifford eine gültige Möglichkeit ist, heißt das nicht, dass es keine anderen Möglichkeiten gibt, oder?
Danke. Haben Sie mit der Annahme, dass Sie mit Spindarstellungen arbeiten werden, nicht tatsächlich angenommen, was Sie beweisen wollten? dh auf meine Frage "warum Clifford?" du antwortest "weil drehen", aber dann sind wir wieder bei Null: "warum drehen?". Was rechtfertigt die Annahme, dass Fermion-Teilchen durch Felder beschrieben werden, die sich nach einer Spin-Darstellung oder der Lorentz-Gruppe transformieren?
Das ist im Wesentlichen das Hinspiel.

Ich beantworte die Frage, warum wir Darstellungen der Clifford-Algebra in der Quantenmechanik und Quantenfeldtheorie verwenden, um Fermionen oder Spin zu beschreiben.

Die kurze Antwort, die ziemlich überraschend erscheinen mag, ist, dass wir das nicht müssen. Clifford-Algebren haben so viele Vorteile bei der Beschreibung des Spins, aber sie sind nicht der einzige Weg, dies zu tun.

Die Antwort auf die Frage, warum Spin empirisch ist: Wenn wir ein klassisches System mit einer Symmetriegruppe quantisieren G , transformieren sich die entsprechenden quantenmechanischen Systeme gemäß den irreduziblen Darstellungen der universellen Hüllengruppe G ~ statt G selbst. Dies ist eine experimentelle Tatsache. Aus diesem Grund entstehen in Quantensystemen mit Rotationssymmetrie halbintegrale Spinordarstellungen.

Die Antwort auf die Frage, warum zur Beschreibung von Fermionen Spin benötigt wird, liefert das Spin-Statistik-Theorem, auf das ich hier nicht näher eingehen werde.

Ich konzentriere mich auf die Frage: Sind Clifford-Algebren zur Beschreibung des Spins notwendig?

Bevor ich die Antwort gebe, möchte ich eine historische Anekdote erzählen: Bevor Berezin seine Grassmann-Algebra-Beschreibung des Pfadintegrals vorstellte, wurde die fermionische Determinante von Hand invertiert. Sie taten dies während der gesamten Ära der großen Errungenschaften der QED. (Grassmann-Algebren können als klassische Gegenstücke zu Clifford-Algebren angesehen werden).

Es ist kein Zufall, dass ich Beresin erwähnt habe. Berezin (zusammen mit Marinov) erkannte als erster, dass Grassmann-Algebren den Spin klassisch beschreiben und durch einen Prozess quantisiert werden können, der das fermionische Gegenstück zur kanonischen Quantisierung zu den Clifford-Algebren ist: Ref 1 , Ref2 . Aber wirklich interessant ist, dass er auch der erste war, der eine Spinor-Darstellung nicht mit Hilfe einer Clifford-Algebra Ref3 beschrieben hat . Tatsächlich ist die Clifford-Algebra in Beresins Verwirklichung so gut versteckt, dass es sehr schwierig ist, die Repräsentanten ihrer Erzeuger in dieser Verwirklichung zu konstruieren.

Ich werde diese Erkenntnis im Fall der Gruppe ein wenig näher ausführen S Ö ( 2 N )

Es ist bekannt, dass Darstellungen von kompakten Lie-Gruppen in einer 1-1-Entsprechung zu (ganzzahligen) Bahnen der koadjungierten Darstellung stehen. Dies ist der Satz von Borel-Weil-Bott .

Im Fall der Spinordarstellung von S Ö ( 2 N ) die entsprechende koadjungierte Umlaufbahn ist S Ö ( 2 N ) / U ( N ) dies ist eine komplexe Mannigfaltigkeit von (komplexe Dimension) N 2 N 2 . Es ist eine kompakte symplektische Mannigfaltigkeit, die als Phasenraum dienen kann.

Was das Borel-Weil-Theorem wirklich bedeutet, ist, dass wir ein klassisches mechanisches System formulieren können S Ö ( 2 N ) / U ( N ) und quantisieren Sie es mittels geometrischer Quantisierung (was nur eine kleine Verallgemeinerung der bekannten kanonischen Quantisierung ist) und erhalten Sie die Spinor-Darstellung von S Ö ( 2 N ) auf dem Quanten-Hilbert-Raum. In der Praxis wird diese Darstellung durch kohärente Zustände gegeben, die als holomorphe Funktionen der gebildet sind N 2 N 2 (bosonische) Koordinaten. An der Konstruktion sind keine Grassmann- oder Clifford-Algebren beteiligt .

Nun, ein Grund, warum diese Erkenntnis in der Quantenfeldtheorie nicht verwendet wird, ist, dass die Grassmann Clifford hat die Spin-Statistik-Verbindung aufgrund seiner Antisymmetrie-Eigenschaften darin kodiert. Wenn wir die Quantisierungsrealisierung von Berezin bei der Berechnung verwendet hätten, wäre eine theoretische Amplitude des Quantenfelds erforderlich gewesen, um die Antisymmetrie zusätzlich zu allen anderen Komplikationen von Hand einzuführen.

Nachdem ich das gesagt habe; immer noch einer meiner Träume ist es, mit dieser Darstellung eine einfache QED-Amplitude auf Baumebene zu berechnen. Ich weiß, dass ich dafür ein sehr leistungsfähiges Computeralgebra-Paket brauche.