In der mathematischen Physik verallgemeinern höherdimensionale Gamma-Matrizen die vierdimensionalen Dirac-Gamma-Matrizen auf beliebige Dimensionen . Diese Matrizen sind ein Grundpfeiler der relativistischen Quantenmechanik . Sie werden in relativistisch invarianten Wellengleichungen für Fermionen (wie Spinoren) in beliebigen Raumzeitdimensionen verwendet, insbesondere in der Stringtheorie und der Supergravitation . Die Weyl-Brauer-Matrizen liefern eine explizite Konstruktion höherdimensionaler Gamma-Matrizen für Weyl-Spinoren . Gamma-Matrizen treten auch in allgemeinen Kontexten der Riemannschen Geometrie auf , insbesondere wenn eine Spinstruktur definiert werden kann.
Einführung
Betrachten wir eine Raumzeit der Dimension d mit der flachen Minkowski-Metrik ,
mit positiven Einträgen, negativen Einträgen und a , b = 0, 1, ..., d − 1 . Setze N = 2 ⌊ 1/2 d ⌋ . Die Standard-Dirac-Matrizenentsprechen der Wahl von d = N = 4und p , q = 1, 3oder3, 1.
In höheren (und niedrigeren) Dimensionen lässt sich eine Gruppe , die Gammagruppe , definieren, die sich analog zu den Dirac-Matrizen verhält. [ 1 ] Genauer gesagt: Wählt man eine Basis der (komplexifizierten) Clifford-Algebra , so ist die von erzeugte Gammagruppe isomorph zur multiplikativen Untergruppe, die von den Basiselementen erzeugt wird (wobei der additive Aspekt der Clifford-Algebra außer Acht gelassen wird).
Konventionsgemäß wird die Gammagruppe als eine Sammlung von Matrizen, den Gammamatrizen, realisiert, obwohl die Gruppendefinition dies nicht erfordert. Insbesondere benötigen viele wichtige Eigenschaften, darunter die C- , P- und T-Symmetrien , keine spezifische Matrixdarstellung, und man erhält auf diese Weise eine klarere Definition der Chiralität . [ 1 ] Es sind verschiedene Matrixdarstellungen möglich, einige werden im Folgenden und weitere im Artikel über die Weyl-Brauer-Matrizen beschrieben. In der Matrixdarstellung sind die Spinoren n-dimensional, wobei die Gammamatrizen auf die Spinoren wirken. Eine detaillierte Konstruktion von Spinoren findet sich im Artikel über die Clifford-Algebra . Jost liefert ein Standardwerk für Spinoren im allgemeinen Kontext der Riemmannschen Geometrie. [ 2 ]
Gamma-Gruppe
Die meisten Eigenschaften der Gamma-Matrizen lassen sich durch eine Gruppe , die Gamma-Gruppe , beschreiben . Diese Gruppe kann ohne Bezugnahme auf die reellen oder komplexen Zahlen oder gar die Clifford-Algebra definiert werden . [ 1 ] Die Matrixdarstellungen dieser Gruppe liefern dann eine konkrete Realisierung, mit der die Wirkung der Gamma-Matrizen auf Spinoren spezifiziert werden kann . Für Dimensionen verhalten sich die Matrixprodukte genau wie die herkömmlichen Dirac-Matrizen . Die Pauli-Gruppe ist eine Darstellung der Gamma-Gruppe für , obwohl die Pauli-Gruppe mehr Beziehungen aufweist ( weniger frei ist ); siehe dazu die Anmerkung zum chiralen Element weiter unten. Die Quaternionen liefern eine Darstellung für .
Die Darstellung der Gamma-Gruppe ist wie folgt.
- Ein neutrales Element wird mit . bezeichnet .
- Das Element mit ist ein Stellvertreter für die komplexe Zahl ; es kommutiert mit allen anderen Elementen .
- Es gibt eine Sammlung von Generatoren, die mit indiziert sind.
- Die verbleibenden Generatoren gehorchen
- Der Antikommutator ist wie folgt definiert:
Diese Erzeuger definieren die Gammagruppe vollständig. Es lässt sich zeigen, dass für alle und somit jedes Element eindeutig als Produkt einer endlichen Anzahl von Erzeugern in kanonischer Ordnung geschrieben werden kann als
mit den Indizes in aufsteigender Reihenfolge
Die Gammagruppe ist endlich und enthält höchstens Elemente.
Die Gammagruppe ist eine 2-Gruppe , aber keine reguläre p-Gruppe . Die Kommutatoruntergruppe (abgeleitete Untergruppe) ist daher keine mächtige p-Gruppe . Im Allgemeinen besitzen 2-Gruppen eine große Anzahl von Involutionen ; dies gilt auch für die Gammagruppe. Drei dieser Involutionen werden im Folgenden näher erläutert, da sie im Kontext von Clifford-Algebren , im Kontext der Darstellungen der Gammagruppe (wo Transposition und hermitesche Konjugation den entsprechenden Operationen auf Matrizen entsprechen) und in der Physik eine spezifische Interpretation haben , wobei die „Hauptinvolution“ einer kombinierten P-Symmetrie und T-Symmetrie entspricht .
Transposition
Gegeben seien Elemente der Erzeugendenmenge der Gammagruppe. Die Transposition oder Umkehrung ist gegeben durch
Wenn es Elemente gibt , die alle verschieden sind, dann
Hermitesche Konjugation
Ein weiterer Automorphismus der Gammagruppe ist die Konjugation, definiert auf den Erzeugern als
ergänzt durch und Für allgemeine Elemente in der Gruppe nimmt man die Transponierte: Aus den Eigenschaften der Transposition folgt, dass für alle Elemente, die entweder oder dass , das heißt, alle Elemente entweder hermitesch oder unitär sind.
Interpretiert man die Dimensionen als „zeitartig“ und die Dimensionen als „raumartig“, so entspricht dies der P-Symmetrie in der Physik. Dass dies die „korrekte“ Identifizierung ist, folgt aus den konventionellen Dirac-Matrizen, wobei die zeitartige Richtung und die räumlichen Richtungen mit der „konventionellen“ (+−−−)-Metrik assoziiert sind. Andere Metriken und Darstellungsweisen legen andere Interpretationen nahe.
Hauptinvolution
Die Hauptinvolution ist die Abbildung, die die Generatoren "umkehrt", aber die anderen unverändert lässt: Diese Abbildung entspricht der kombinierten P-Symmetrie und T-Symmetrie in der Physik; alle Richtungen werden umgekehrt.
Chirales Element
Definiere das chirale Element als
wobei . Das chirale Element kommutiert mit den Generatoren wie
Es ergibt
Bei den Dirac-Matrizen entspricht das chirale Element seinem Namen, da es eine wichtige Rolle bei der Unterscheidung der Chiralität von Spinoren spielt.
Für die Pauli-Gruppe ist das chirale Element , wohingegen man für die Gamma-Gruppe keine andere Beziehung als die zu ableiten kann . Dies ist ein Beispiel dafür, dass eine Darstellung mehr neutrale Elemente als die dargestellte Gruppe haben kann. Für die Quaternionen , die eine Darstellung des chiralen Elements liefern, ist
Ladungskonjugation
Keiner der oben genannten Automorphismen (Transponierung, Konjugation, Hauptinvolution) ist ein innerer Automorphismus ; das heißt, sie lassen sich nicht in der oben dargestellten Form für ein existierendes Element der Gammagruppe wiedergeben . Die Ladungskonjugation erfordert die Erweiterung der Gammagruppe um zwei neue Elemente; per Konvention sind dies die folgenden:
Und
Die obigen Beziehungen reichen nicht aus, um eine Gruppe zu definieren; und andere Produkte sind unbestimmt.
Matrixdarstellung
Die Gammagruppe besitzt eine Matrixdarstellung, die durch komplexe Matrizen mit und und der Abrundungsfunktion gegeben ist , wobei die größte ganze Zahl kleiner oder gleich ist. Die Gruppendarstellung für die Matrizen kann kompakt mithilfe der Antikommutatorrelation aus der Clifford-Algebra Cℓ p , q ( R ) geschrieben werden.
wobei die Matrix I N die Einheitsmatrix in N Dimensionen ist. Transposition und hermitesche Konjugation entsprechen ihrer üblichen Bedeutung bei Matrizen.
Ladungskonjugation
Im Folgenden wird angenommen, dass und somit . Das heißt, die Clifford-Algebra Cℓ 1 , d −1 ( R ) wird vorausgesetzt. [ a ] In diesem Fall besitzen die Gamma-Matrizen unter hermitescher Konjugation die folgende Eigenschaft :
Die Transposition wird mit einer kleinen Änderung der Notation bezeichnet, indem man eine Abbildung erstellt, bei der das Element auf der linken Seite das abstrakte Gruppenelement und das Element auf der rechten Seite die buchstäbliche Matrixtransponierte ist .
As before, the generators Γa, −ΓaT, ΓaT all generate the same group (the generated groups are all isomorphic; the operations are still involutions). However, since the Γa are now matrices, it becomes plausible to ask whether there is a matrix that can act as a similarity transformation that embodies the automorphisms. In general, such a matrix can be found. By convention, there are two of interest; in the physics literature, both referred to as charge conjugation matrices. Explicitly, these are
They can be constructed as real matrices in various dimensions, as the following table shows. In even dimension both exist, in odd dimension just one.
| d | ||
|---|---|---|
Note that is a basis choice.
Symmetry properties
We denote a product of gamma matrices by
and note that the anti-commutation property allows us to simplify any such sequence to one in which the indices are distinct and increasing. Since distinct anti-commute this motivates the introduction of an anti-symmetric "average". We introduce the anti-symmetrised products of distinct n-tuples from 0, ..., d − 1:
where π runs over all the permutations of n symbols, and ϵ is the alternating character. There are 2d such products, but only N2 are independent, spanning the space of N×N matrices.
Typically, Γab provide the (bi)spinor representation of the 1/2d(d − 1) generators of the higher-dimensionalLorentz group, SO+(1, d − 1), generalizing the 6 matrices σμν of the spin representation of the Lorentz group in four dimensions.
For even d, one may further define the hermitian chiral matrix
such that {Γchir, Γa} = 0 and Γchir2 = 1. (In odd dimensions, such a matrix would commute with all Γas and would thus be proportional to the identity, so it is not considered.)
A Γ matrix is called symmetric if
otherwise, for a − sign, it is called antisymmetric.
Im vorherigen Ausdruck kann C entweder oder sein . In ungerader Dimension besteht keine Mehrdeutigkeit, in gerader Dimension ist es jedoch vorteilhafter, denjenigen Wert von oder zu wählen , der Majorana-Spinoren ermöglicht. In d = 6 existiert kein solches Kriterium, daher betrachten wir beide Werte.
| D | C | Symmetrisch | Antisymmetrisch |
|---|---|---|---|
Identitäten
Die Beweise der Spuridentitäten für Gammamatrizen gelten für alle geraden Dimensionen. Man muss sich daher nur den 4D-Fall in Erinnerung rufen und dann den Gesamtfaktor 4 durch ersetzen . Für andere Identitäten (solche, die eine Kontraktion beinhalten) ergeben sich explizite Funktionen von .
Selbst wenn die Anzahl der physikalischen Dimensionen vier beträgt, sind diese allgemeineren Identitäten aufgrund der Dimensionsregularisierung in Schleifenberechnungen allgegenwärtig .
Beispiel einer expliziten Konstruktion
Die Γ -Matrizen können rekursiv konstruiert werden, zuerst in allen geraden Dimensionen, d = 2 k , und dann in den ungeraden, 2 k + 1.
d = 2
Unter Verwendung der Pauli-Matrizen , nehmen Sie
und man kann leicht überprüfen, dass die Ladungskonjugationsmatrizen
Man kann schließlich das hermitesche chirale γ chir wie folgt definieren:
Generisches gerades d = 2 k
Man kann nun die Γ a , ( a = 0, ... , d + 1) , Matrizen und die Ladungskonjugationen C (±) in d + 2 Dimensionen konstruieren, ausgehend von den γ a' , ( a' = 0, ... , d − 1 ), und c (±) Matrizen in d Dimensionen.
Ausdrücklich,
Man kann dann die Ladungskonjugationsmatrizen konstruieren.
mit folgenden Eigenschaften,
Ausgehend von den Vorzeichenwerten für d = 2, s (2,+) = +1 und s (2,−) = −1, lassen sich alle nachfolgenden Vorzeichen s ( d ,±) mit Periodizität 8 festlegen; explizit findet man
| +1 | +1 | -1 | -1 | |
| +1 | -1 | -1 | +1 |
Man kann die hermitesche chirale Matrix in d + 2 Dimensionen wiederum definieren als
welche aufgrund ihrer Konstruktion diagonal ist und sich unter Ladungskonjugation transformiert als
Es ist daher offensichtlich, dass {Γ chir , Γ a } = 0. Sobald eine Permutation angewendet wird, um die +1 und -1 Eigenwerte der chiralen Matrix aufeinanderfolgend zu machen, wird diese Wahl zum direkten Analogon der chiralen Basis in vier Dimensionen.
Generische ungerade Zahl d = 2 k + 1
Betrachten wir die vorherige Konstruktion für d − 1 (das gerade ist) und nehmen wir einfach alle Γ a ( a = 0, ..., d − 2) Matrizen, denen wir ihr i Γ chir ≡ Γ d −1 anhängen . (Das i ist erforderlich, um eine antihermitesche Matrix zu erhalten und in die raumartige Metrik zu erweitern).
Berechne abschließend die Ladungskonjugationsmatrix: Wähle zwischen und so, dass sich Γ<sub> d- 1</sub> wie alle anderen Γ- Matrizen transformiert. Explizit fordern:
Bei Variation der Dimension d wiederholen sich die Muster typischerweise mit einer Periode von 8. (vgl. die Clifford-Algebra-Uhr .)
Siehe auch
Anmerkungen
- Es ist möglich und sogar wahrscheinlich, dass viele oder die meisten Formeln und Tabellen in diesem und den folgenden Abschnitten auch im allgemeinen Fall gelten; dies wurde jedoch nicht überprüft. Dieser und die folgenden Abschnitte wurden ursprünglich unter der Annahme einer (1,d−1)-Metrik verfasst.
Referenzen
- ^ a b c Petitjean, Michel (2020). „Chiralität von Dirac-Spinoren neu betrachtet“ . Symmetry . 12 (4): 616. Bibcode : 2020Symm...12..616P . doi : 10.3390/sym12040616 .
- ^ Jürgen Jost, (2002) „Riemannsche Geometrie und geometrische Analysis (3. Auflage)“, Springer. Siehe Kapitel 1, Abschnitt 1.8.
Allgemeine Lektüre
- Brauer, Richard ; Weyl, Hermann (1935). „Spinoren in n Dimensionen“. Bin. J. Mathe . 57 (2): 425–449 . doi : 10.2307/2371218 . JFM 61.1025.06 . JSTOR 2371218 . Zbl 0011.24401 .
- Pais, Abraham (1962). „Über Spinoren in n Dimensionen“ . Journal of Mathematical Physics . 3 (6): 1135–1139 . Bibcode : 1962JMP.....3.1135P . doi : 10.1063/1.1703856 .
- Gliozzi, F.; Scherk, Joel; Olive, D. (1977). „Supersymmetrie, Supergravitationstheorien und das duale Spinormodell“ (PDF) . Nuclear Physics B. 122 ( 2): 253. Bibcode : 1977NuPhB.122..253G . doi : 10.1016/0550-3213(77)90206-1 .
- Kennedy, A. D. (1981). „Clifford-Algebren in 2ω Dimensionen“. Journal of Mathematical Physics . 22 (7): 1330–1337 . Bibcode : 1981JMP....22.1330K . doi : 10.1063/1.525069 .
- de Wit, Bryce und Smith, J. (1986). Feldtheorie in der Teilchenphysik (North-Holland Personal Library), Band 1, Taschenbuch, Anhang E ( Archiviert vom Original ), ISBN 978-0444869999
- Murayama, H. (2007). „Anmerkungen zur Clifford-Algebra und Spin(N)-Darstellungen“
- Pietro Giuseppe Frè (2012). „Gravitation, ein geometrischer Kurs: Band 1: Entwicklung der Theorie und grundlegende physikalische Anwendungen.“ Springer-Verlag. ISBN 9400753608Siehe S. 315ff .