Wir haben also Gamma-Matrizen, die die Raumzeit-Algebra-Beziehungen erfüllen, . Das wissen wir, wenn wir setzen dann ist die Matrizen bilden eine Grundlage für eine Darstellung der Lorentz-Lie-Algebra.
Nun wollen wir ein Lorentz-invariantes inneres Produkt auf dem Spinorraum konstruieren. Ein Skalarprodukt auf einem endlichdimensionalen komplexen Vektorraum nimmt immer die Form an
Wo ist eine hermitesche Matrix. Wie können wir konstruieren im Allgemeinen ohne "raten"?
Ganz klar so eine befriedigen muss
Wo ist eine willkürliche Lorentz-Transformation, die auf Spinoren wirkt, und die Ableitung bei der Identität ergibt die äquivalente Bedingung
Wo ist eine beliebige Linearkombination der 'S.
Der übliche Ansatz, den ich sehe, besteht darin, eine Darstellung der Gamma-Matrizen mit zu wählen Hermitesch u Antihermitesch für . Man kann in diesem Fall leicht nachprüfen, dass (3) erfüllt ist, wenn wir setzen . Dies ergibt das Lorentz-invariante innere Produkt
was wir auch als schreiben können
mit . Dies ist Standard, aber es scheint zu erfordern, dass wir raten sollten Hermitesch u antihermitianisch. Außerdem halte ich diese Darstellung für irreführend, weil sie eine privilegierte Richtung in der Raumzeit hervorzuheben scheint, nämlich die Zeitrichtung in einem festen Bezugsrahmen.
Fragen:
Wenn wir die Signatur der Metrik wählen sein und wählen Sie die Gammamatrizen aus einheitlich sein (wie sie es sein können, weil sie eine Darstellung einer endlichen Gruppe bilden), dann würde dies aus den Vertauschungsrelationen folgen Das wäre hermitesch und wäre antihermitesch. In einem solchen Fall können wir übernehmen sein oder . Wenn andererseits die Signatur der Metrik ist auserwählt zu sein (und wieder werden Gammamatrizen als einheitlich gewählt). wäre antiheritian und wäre hermitesch. In diesem Fall können wir nehmen entweder sein oder .
Ich denke, die Quelle der Nichteindeutigkeit in der Wahl von ist die Tatsache, dass der Raum ist keine irreduzible Darstellung der Spingruppe (obwohl es eine irreduzible Darstellung der Clifford-Algebra ist). Die beiden irreduziblen Darstellungen sind Eigenräume der Matrix . Dies scheint der Grund dafür zu sein, dass die beiden Auswahlmöglichkeiten von oben sind verwandt als ; allerdings bin ich mir da nicht ganz sicher.
Bezüglich Frage 3 denke ich, dass es bei der Auswahl der Matrix keinen Verlust an Allgemeingültigkeit gibt diagonal zu sein, da man immer eine Basis finden kann, in der dies wahr ist.