物理学ミニマム(場の理論)1
注0.11
本節は「物理」から切り離し、場の理論の構造のみを見る。
場の理論とは何か、大きく言うと「この世のすべてを説明しようとする理論」であり、
小さく言うと「粒子が衝突したときにどうなるかを確率的に予言する理論」である。
前者は胸にしまって、ここでは、後者の立場を取る。
(「この世のすべてを説明する理論」の候補としては、すっかり、ストリング理論に
とってかわられてしまった?
しかし、ストリング理論もいろいろな意味で場の理論だと思う。)
§10 場の理論
定義10.1
物理的性質をもった空間(時空)を場とよぶ。
場はその時空の座標を定義域とする関数で表される。
値域はその都度適当に選ばれる。
場を表す関数は、一般に、粒子を生成消滅させる演算子と考える。
それを強調する場合は「場の演算子」ともいうが、それを単に「場」ともよぶ。
注10.2
定義域である時空は、この節では平坦な4次元時空とする。
物性理論等で使う場合は、低い次元にしたり、ローレンツ対称性を持たせないこともある。
値域は、とりあえず、実数か複素数と考えておけばよい(と思う)。
一般に、粒子は(エネルギーを得て)生成されたり、(エネルギーを渡して)消滅するが、
それは「粒子の場があるから」と考える。
なお、この節では とする。
これを自然単位系という。
また、時空の添字に限らず、同じ添字が1つの式に2回出てきたら、和を取ることにする。
時空の添字ではないので「上げ下げ」は考えない。
定義10.3 粒子の種類
粒子はローレンツ群の表現になっている。
(つまり、ローレンツ変換に対して、線形の変換を受ける。)
その表現は、スピンとよばれる整数か半奇数(まとめると、整数/2)で区別される。
スピンが整数の粒子はボソン、半奇数の粒子はフェルミオンとよばれる。
特に、スピンが の粒子(変換を受けない粒子)はスカラー粒子、
の粒子(ベクトル的に変換される粒子)はベクトル粒子、
スピンが の粒子はディラック粒子などとよばれる(後述)。
(そのときのノリでスカラーボソンとか、ディラックフェルミオンなどともいう。)
定義10.4 グラスマン数
となるような「数」をグラスマン数という。
複数ある場合は、
となる。
フェルミオンの演算子は、グラスマン数的になる。
注10.5
フェルミオンの演算子を などとし、 と がまったく無関係のものとすると、
となる。
原理10.6 作用
場についてラグランジアン があり、最小作用の原理から、場の演算子が満たすべき
運動方程式が導かれる。
例10.7
スカラー粒子
ディラック粒子+質量0ベクトル粒子
は の略記。
は質量。、 は適当な定数。
は の略記で、 はガンマ行列とよばれる行列である(後述)。
( については、個人的にもっと好きなスラッシュをいれる略記法があるが、
ここの minilatex では表現できないらしい。)
さらに、 (複素共役に をかけたもの)である。
最後に、 。
定義10.8 ガンマ行列(ディラック行列)
ガンマ行列は以下の交換関係を満たす 4 x 4 の行列である。
ここで (反交換子)。
また、 はエルミートで、他は反エルミートとする。
また、次のような行列も利用される。
(カッコは交換子)
特にスタンダードな表式は以下の通り。
ただし、 は 2 x 2 の単位行列とし、 は とする。
注10.9 ローレンツン変換
スカラー粒子はローレンツ変換を受けない。
ベクトル粒子はローレンツ変換 に対し、
となる。
ところで、このような変換は微小変換の積み上げと考えることができる。
逆に微小変換がわかれば、微小でない変換も得られる。
そこで、ここでは簡単のため微小変換を
と考える。ここで が微小とする。
このように準備して、ディラック粒子は
と変換されるとする。
このように変換されるものを「スピン 」というわけである。
この変換に対して、例10.7のラグランジアンは不変に作られている。
( を使うと確かめられる。)
量子力学でやったスピンと同じかというと、本質的には同じである。
場の演算子は粒子を表し、それらはローレンツ変換のもとできれいに変換する。
ローレンツ変換の集まりをローレンツ群というので、「粒子は(あるいは、場は)
ローレンツ群の表現になっている」という。
ところで、ローレンツ群の中には回転群(回転変換の集まり)がある。
したがって、粒子は回転群の表現にもなっていて、それはローレンツ群の表現と
矛盾しないようにできている。
一方、非相対論な量子力学にローレンツ対称性はないが、回転対称性は(多くの場合)ある。
特に、粒子はそれ自体が回転群の表現になっている。
それらの表現を区別するのが、スピンなのだった。
したがって、場の理論でいうスピンはローレンツ群に対して言われる言葉であり、
量子力学でいうスピンは回転群に対して言われる言葉であるが、前者が後者を
含んでいるわけである。
定理10.10 オイラー・ラグランジュ方程式
場を とすると、
(証明)
最後の項は表面積分になるので となる。□
例10.11
例10.7の場合、
ディラック場については、 と は独立したものと考えるとすぐ出せる。
(それでも正しいものになる。)
これらは、簡単に「運動方程式」などともいう。
非線形なので一般に解くのは難しい。
また、解けたとしてもそれは「古典解」とよばれる。
場は演算子であるので、完全な解決ではないのである。
なお、最後の式は を (に係数をつけたもの)
とすれば、ちゃんとマックスウェルの方程式(定理6.14)になっている。
(第6節と係数が違っている。原理6.4と例10.7参照。これは流派の違いである。)
以上より、 などをカレント(流れ)ということが多い。
や のついた項は場同士の相互作用を表す。
( や 自体は「相互作用の強さ」を表すので「結合定数」ともよばれる。)
このような事情から、ラグランジアンを
などと分けて考えることもある。
ここで は場の2次の項である。
相互作用項を考えない場合の場を「自由場」などという。
基本的に、実験は、最初に十分離れていた粒子をぶつけ合い、結果の粒子が
十分離れてから観測する。粒子がお互いに十分離れている場合、他の粒子との
相互作用はない(ほとんどない)と考えられる。
(激しく相互作用を繰り返しているまさにその瞬間をとらえるのは難しいと思う。
粒子が最初2個でも、生成消滅を繰り返し、いくらでも多くの粒子が顔を出すから。)
その場合、「自由場」で考えることが妥当だろうから、自由場は重要である。
しかし、本当に自由な場があれば、それは相互作用をしないのだから、
宇宙の始めから終わりまで、増えも減りもせず、決して観測されないという粒子になる。
物理学者の「観測できないものは存在しない(考慮しない)」という信念に従えば、
それは物理学の対象でなくなる。
相互作用は「おまけ」ではなく、重要なのである。
定義10.12 自由場の運動方程式とその解
自由場は次の運動方程式を満たす。
特に1番上は、クライン・ゴルドン方程式、2番目はディラック方程式とよばれる。
また、3番目の式は「物質がないときのマックスウェル方程式」である。
どれも、基本的な解は (ただし、 )に比例したものになる。
(最後の式では質量が 。定理6.14、定理6.40を参照。)
たとえば、体積 の大きな空間内で考え、 とすると、
スカラー粒子:
ディラック粒子:
などとなる。
ただし、 は、それぞれが4成分の"列ベクトル"。
(タイプが大変だし、長いので具体的な形は省略する。)
そして、 、、 は(ここでは)任意の定数。
(つまり、それらは「重ね合わせができる基本解たちの係数」ということである。)
定理10.13 ネーターカレンント
ラグランジアンが という変化に対して不変なら
ただし、
これをネーターカレントなどという。
なお、ここでは は微小な定数とする。
(証明)
定理10.10の証明をじっと見るとわかる。
注10.14
のような場合、 を保存カレントなどという。
定理4.2、注9.39を参照。
当然、保存量は
である。
このネーターさんが、あのネーターさん(環の人)と同じ人と知って本当に驚いた。
定理10.10からいうと、「まあそうだろう」という程度の感想しか持たないかもしれないが、
大変に美しくまた豊穣な定理だと思う。
ここから対称性が破れると、これまた超絶美しい南部・ゴールドストン定理になる。
私の青春はだいたいこの近辺にあった。
例10.15 電流
ディラック場のラグランジアンは
に対して不変である。
これを微小変換で書くと、
この が一成分のみの である。
このとき、カレントは
となる。
これは をかければ(1粒子のになう)電流である。
系10.16
定理10.12の条件でラグランジアンが完全に不変でなくとも何かの発散項
となっていれば、
が保存カレントになる。
例10.17 エネルギー運動量テンソル
ラグランジアンの変化が発散項になるということは、作用自体は不変ということである。
(積分すると表面項になるから。)
実は、エネルギー運動量テンソルが系10.14の例になっている。
これは、並進( )に対する不変性からくる保存則なのである。
これは、「空間や時間をそっとずらしても物理は変わらない」という不変性である。
( に対する不変性。)
これまで何度も出てきたものと同じものである。
注6.32、注9.39参照。(注9.39とは導出方法が少し違って見える。)
ローレンツ群に並進変換までいれた群をポアンカレ群という。
ローレンツ変換に対する不変性からくる保存量は(4次元に拡張した)角運動量である。
発散項が出る場合と出ない場合の違いが気になるが、普通に考えれば、
発散項は「時空に関連する変換(による不変性)」でしか出ないだろう。
時空に関連する「物理を変えない変換」の集まりとしてはローレンツ群、ポアンカレ群、
それを少し拡張した共形変換群くらいしかなさそうである。
原理10.18 場の同時刻交換関係・反交換関係
スカラー場:
とし、
ディラック場:
とし、
( は4成分の足。)
異なるボソン場同士、ボソン場とフェルミオン場は可換、フェルミオン場同士は反可換。
同じ種類の場の非同時刻の関係は複雑である。
ただし、それらの座標が空間的であれば(つまり、 )、
光速より速く情報は伝わらないので、(反)可換となる。
注10.19
時間成分を特別扱いしているので、(特殊)相対論的にかっこうよくはないが、
の自然な拡張になっている。
定義10.20 真空、期待値
場の演算子は真空に作用する。真空は で表す。
その"共役な真空"を で表す。
これらは"内積"がとれ、 とする。
(真ん中の棒は、まじめに書けば2本になりそうだが、重なるので1本にしている。)
演算子 の真空への作用は 、 などと書く。
また、場の期待値は と書く。
注10.21
これらが何かということは、今後の話の中で現れるもののみから判断すべきかもしれない。
しかし、イメージはあると思うので、それを書く。
ただし、イメージなので、正確な記述ではない。
まず、 は、「始めの真空」、 は「終わりの真空」である。
(始めとか終わりとか、イメージである。)
場の演算子 は時空の点 で粒子を生成するか消滅させる。
したがって、 は真空に粒子を1つ生成したと考えられる。
(真空は何もないのだから、「粒子の消滅」はない。)
一方、 は粒子を1つ消滅させて真空にすることを意味する。
(最後は真空なので、今度はすでにあるものを消滅させるしかない。)
このように やそれに演算子がかかったものは「状態を表すもの」であり、
状態ベクトルなどともよばれる。(ローレンツ変換に対する「ベクトル」という意味ではない。)
これは、量子力学の波動関数に相当するものでもある。
そして、 は で生成された粒子が で消滅する
確率振幅を表している。
確率振幅とは、その2乗がそうなる確率を表すものである。
定理10.22 自由場の演算子
自由場の演算子を定義10.12のように展開すると、、、 が演算子となる。
それらは、次の交換関係・反交換関係を満たす。
(証明)
原理10.18を使う。
注10.23
の交換関係は、調和振動子のものとなっている(注7.33)。
調和振動子の状態は整数で表される。
(ここで は規格化のための定数。)
定理10.22を見ると、「自由場は調和振動子が無限個ある」ということである。
定義10.20の真空に場の演算子を作用させると、
となるが、最初の粒子の運動量が1つに決まっていた(たとえば、 )とするなら、これは
となり、 という波動が"1つ"励起されたことを意味する。
(ここで は「運動量 の調和振動子の第一励起状態」という気持ちで書いた。
良い書き方かどうか知らない。)
したがって、一般的な状態 は、
「基本解で表される波動がいくつも励起された状態」を表すことになる。
これは、「波=粒子」のイメージにもよくあうと思う。
(「自由場は調和振動子の集まり」などとも言う。)
ディラック場の場合も同様である。
さらに、定理10.22の結果を用いて、同時刻に限らない交換関係を導き出すこともできる。
しかし、それは相互作用がない場合のみということを強調しておきたい。
一方、原理10.18は、相互作用があってもなくても成り立つのである。
注10.24 ハイゼンベルグ表示、シュレディンガー表示、相互作用表示
ここでは、場の演算子が時空の関数である。
つまり、「場の演算子が時間に伴って変化する」と考えられる。
その場合、状態ベクトル( や など)は時間に依存しない。
(もちろん、「時間に依存する演算子を作用させていない状態ベクトル」については、である。)
しかし、(第7節で見た)量子力学では、演算子 などは時間に依らず、
状態を表すもの(状態ベクトル、波動関数)が時間に依存する。
実は、場の理論でも、演算子が時間に依存せず、状態ベクトルが時間に依存するように
構成することができる。
そのような構成(実は、表示)をシュレディンガー表示と言う。
一方、ここで扱っている「演算子が時間に依存する」方式は、ハイゼンベルグ表示という。
(ハイゼンベルグ表示の量子力学もできる。)
また、それらの「中間系」として、相互作用表示もある。
これらは、簡単に変換できる同値な定式化(表示方法)である。
ここでは、特に断らない限り、ハイゼンベルグ表示で記述する。
参考書:
現代的な視点からの場の量子論 ナイア
(復習用に買ったらかなりの当たりだった。と思う。)
注0.12
どうでもよいことだけど、「生成する」は他動詞で、「消滅する」は自動詞
という事実に今更気づいて愕然としている。
この非対称性ゆえに、文章がものすごく書きにくい。