ネーターの定理
(書き途中)
6月12日、追記(そのうちにちゃんと書こう。そのうちに‥)
ここしばらく空間の対称性とは何かと考えていた。いわゆるネーターの定理だが、自分なりに理解するのに時間がかかってしまった。
数学の本には物理は書いてないし、物理の本には数学が書いてない。数学と物理を結びつけることが自分のライフワークなので、数学的に厳密に物理におけるネーターの定理を示してみたいと思う。
ここで考えるのは時空の並進対称性とローレンツ対称性の半直積群であるポアンカレ対称性についてだ。これらは大域対称性と呼ばれるものである。
大域対称性のラフスケッチは以下のようなものである。物理法則が陽に場所に依存しないなら、物質や場の相互作用は相対的な位置関係に依存していると考えて良い。大域対称性は座標変換不変性などと呼ばれることもあるが、これは誤解を招く言い方だし、実際に誤解をしている人も多いと思う。対象としている系をゴッソリと別の場所に移動させても物理法則が変わらないというのが、正しい認識の仕方ではないかと思う。例えば、時間並進対称性とは、ある時刻にある系をゴッソリ未来にタイムスリップさせても、その物理法則は変わらないというように理解するべきではないのだろうか?少なくとも座標系をずらすという言い方よりは、直感的に理解できる。これは解釈の問題で座標系を変えるといっても数学の内容は変わらない。
実際に説明をしてみる。
を宇宙空間(多様体)とする。上の点をpとする。上には場(複素関数)が存在する。場は複素関数ベクトル(線形)空間になっている。各点pについて、実数値であるLagrangian密度が定まる。このときLagrangian密度は場所に陽に依らない。つまり、とならない。また、Lagrangianは場について線形性を仮定しない。
さて、物理法則が大域対象性を持つ(系を時空M上でゴッソリ移動させても物理法則が変わらない)ことは、Lagrangianが陽に場所によらず、ある移動の仕方(時空並進移動+ローレンツブースト+空間回転)に対して、値が変わらないと解釈することができる。(場の運動方程式は作用の変分をとるので、Lagrangianの全微分ぐらいの不定性は残してもかまわない。)
これを式に表すと、
ここで、Gは恒等変換に単連結なポアンカレ群で、は群gの空間Mへの作用を表す。
ネーターの定理の肝はここにつきる。これを具体的に解けば良い。
不変部分空間
複素線形関数空間である場への作用を
で定義する。をgの表現と言う。
このとき複素線形関数空間の部分空間が
,
であるときをG不変な部分空間と呼ぶ。
実際にポアンカレ群について考えるとこれは時空並進群Tと四元回転群Lの半直積群である。
先ず、時空並進群Tについて考える。並進群については、が成り立ち、これは可換群である。可換群の規約表現は、一次元であることが分かっているので、
, は定数
となる。ここで、Lagrangianがであることを思い出すと、でなくてはならないので、結局、
であることが言える。系を並進移動させても場が変化受けないことは経験的に理解されるので、リーゾナブルな結果であると考えられる。
次に四元回転群Lについて考える。これはSU(2,C)の群なので、リー環の表現論のウェイトの理論より、規約表現は(A,B:整数または半整数)で指定され、次元は(2A+1)(2B+1)次元であることが分かる。
更に量子論との関係より、は複素値をとる関数ではなく演算子となるので、
の関係がある。ブラケットのノルムは保存されるので、ユニタリー作用素を用いて、
となり、群gはユニタリーな表現で表される。
コンパクトな群にはユニタリーな表現が存在することが分かっているので、ポアンカレ群はコンパクトであるゆえに、ユニタリーな表現は存在する。
並進群のユニタリー表現は、局所座標系をとした時に
となる。
ネーターの定理
局所座標系をxで与えるとすると
とする。
となる。ここで、の関係を使った。
一方、
となる。
並進対称群に対しては、
ときまる。
以上より、最初述べたように
から、ネーターの定理を述べることができた。
同様にガリレイ対称性を考えると、これはノンコンパクトなので、ユニタリな表現を得ることができなく、ガリレイ群に対してLagrangianが不変であるものをつくることができない。全微分の分の不定性を利用して、場の運動方程式をガリレイ不変にすることができるが、本質的ではない。