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/2⁠d(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.

DCSymmetrisch 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

  1. 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

  1. ^ 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 .
  2. ^ Jürgen Jost, (2002) „Riemannsche Geometrie und geometrische Analysis (3. Auflage)“, Springer. Siehe Kapitel 1, Abschnitt 1.8.

Allgemeine Lektüre