P38 2.67, 2.68 式チェック

ラグランジアン

ここに、h^αβ , g_μν は定数行列

ポアンカレ変換

に対して、

Where

となる。左辺は、ポアンカレ変換不変性によりゼロ。右辺第二項は、運動方程式によりゼロ。

よって、は保存カレントになる。