Notation für Übersetzungsgruppengeneratoren

Die Generatoren der Übersetzungsgruppe T ( 4 ) sind unten angegeben:

P 0 ich ( 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ) ; P 1 ich ( 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ) ; P 2 ich ( 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ) ; P 3 ich ( 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 ) ;

mit P μ = G μ v P v mit Vorzeichenkonvention: ( + , , , ) .

Ist es richtig, zunächst die kontravariante Notation für die Generatoren zu verwenden?

Sollte egal sein womit du anfängst.

Antworten (1)

Die Generatoren sind kovariante Vektoren in der Raumzeit. Um die Übersetzungsgeneratoren durch Matrizen darzustellen, ist die Raumzeit nach Ome ein 4-dimensionaler projektiver Raum, in dem Punkte Strahlen sind X ich v 5 mit ich = 0 , 1 , 2 , 3 , 4 . Angenommen, Alices Koordinaten sind X ich und Bobs sind X ' ich und Alice wird entlang Bobs positiver x-Achse mit einem kleinen Boost-Parameter verstärkt η . Der Schub ist,

X ' 0 = X 0 + η X 1 X ' 1 = X 1 + η X 0
was impliziert, dass der Boost das Lie-Algebra-Element ist,
K   J ich = δ 0 ich δ J 1 + δ 1 ich δ J 0
Weil,
X ' ich = X ich + η K   J ich X J   .
Omes Übersetzungen sind:
[ P k ]   J ich = δ k ich δ J 4
bei dem die ( ich ) Faktor wurde weggelassen, weil derzeit alles klassisch ist. Unter Verwendung des Matrixkommutators für die Lie-Klammer,
[ P 1 , K ] = P 0
Die Antwort von P 1 zum Schub ist,
P 1 ' = P 1 + η [ P 1 , K ] = P 1 η P 0   .
Vergleichen Sie nun diese Gleichung mit der Antwort der kontravarianten Raum-Zeit-Koordinate X 1 in der zweiten Gleichung oben; wenn wir daran denken P 1 als Vektor in der Raumzeit transformiert es sich nicht als kontravarianter Vektor. Es ist leicht zu erkennen, dass es sich als kovarianter Vektor in transformiert v 5 . Die Übersetzungsgeneratoren sind also kovariante Vektoren in der Raumzeit P ich v ~ 5 .

Super Antwort. Ich fing an, es als Kontravariante zu behandeln und versagte es.
Danke, als Sie die Frage gepostet haben, war ich darüber verwirrt, da ich auch angenommen hatte, dass die Übersetzungsgeneratoren kontravariant waren.