Lorentz-Kovarianz der Noether-Ladung

Die Translationsinvarianz führt zum konservierten Energie-Impuls-Tensor Θ μ v befriedigend μ Θ μ v = 0 , woraus wir die Erhaltungsgröße erhalten

P v = D 3 X Θ 0 v ( X )
Aber ich kann nicht explizit sehen, wie diese Größe eine Kovariante mit vier Vektoren unter der Lorentz-Transformation ist, da D 3 X ist Teil der Invariante D 4 X , Θ 0 v ( X ) ist Teil des kovarianten Tensors Θ μ v ( X ) , von denen sich keine kovariant transformiert.

Kann mir also jemand zeigen, wie das richtig wird?

Und allgemein, wie man zeigt, dass eine Noether-Ladung Q entspricht dem Noetherstrom J μ ,

Q = D 3 X J 0 ( X )
, ist ein Lorentz-Skalar ?

Weinberg, Gravitation und Kosmologie, S. 40-41
Vielen Dank @user26143, das hat mein Problem wirklich gelöst!

Antworten (1)

Sie können die folgende Notation für Hyperflächen in vier Dimensionen verwenden:

D σ μ = ϵ μ a β γ D X a D X β D X γ

Zum Beispiel D σ 0 = D 3 X

Der Ausdruck der Impulsenergie ist dann:

P v = D σ μ Θ μ v

Die gleiche Art von Ausdruck könnte mit der Ladung verwendet werden:

Q = D σ μ J μ

[BEARBEITEN]

Wie stellen Sie die Verbindung zu den OP-Formeln her?

Man kann den folgenden Standpunkt einnehmen, zum Beispiel die Formel für die Ladung Q ~ = D σ μ J μ , das heisst :

Q ~ = D σ 0 J 0 + D σ 1 J 1 + D σ 2 J 2 + D σ 3 J 3 = D X   D j   D z   J 0 + D j   D z   D T   J 1 + D z   D T   D X   J 2 + D T   D X   D j   J 3 = Q + D j   D z   D T   J 1 + D z   D T   D X   J 2 + D T   D X   D j   J 3

Nehmen Sie nun zum Beispiel eines der Restintegrale ICH 1 = D j   D z   D T   J 1 , es ist ein Integral bei X konstant, und man kann wählen X = ± . Im Unendlichen können wir annehmen, dass der Strom Null ist: J 1 ( ± ) = 0 . Also unter der Annahme eines Nullstroms J 1 bei räumlich X Unendlich, bekommen wir ICH 1 = 0 , und man kann die gleiche Demonstration für die anderen 2 Integrale haben.

Mit der Hypothese, räumliches Schneiden der Restintegrale bei räumlicher Unendlichkeit und verschwindende Ströme bei räumlicher Unendlichkeit zu nehmen, haben wir also schließlich Q ~ = Q

Aber ich konnte nicht sehen, wie Ihre Definition P v = D σ μ Θ μ v fällt zusammen mit P v = D 3 X Θ 0 v = D σ 0 Θ 0 v , Respekt
@LYg: Ich habe die Antwort bearbeitet.
Was aber, wenn Sie sich nicht entschieden haben X = ± , meinst du ICH 1 = D j   D z   D T   J 1 ist unabhängig von X ? aber kannst du das zeigen, sehend J ich verschwindet nur bei räumlicher Unendlichkeit, nicht bei zeitlicher Unendlichkeit, so dass man das nicht sagen kann ICH 1 ist unabhängig von X aufgrund verschwindender Raum-Zeit-Oberfläche nach dem Gaußschen Gesetz.