物理の教科書では、空間のどの点にも「場の値」があると考えて、場を生成・消滅の演算子で書き表します。ところが、その式をそのまま数学の作用素として読もうとすると意味が付かなくなります。この記事では、粒子が 1 個のときの状態空間と、粒子のエネルギーの式だけを出発点にして、点ではなく少し広がりをもたせた場として自由な場を正確に作ります。読み終えると、この場が時空の対称性と因果律(離れた場所の測定が互いに干渉しないこと)の要請を満たすことを、自分で確かめられるようになります。
- 質量 m≥0 の自由スカラー場の 1 粒子空間は h=L2(R3,d3k)、1 粒子エネルギーは ω(k)=∣k∣2+m2 です。時間ゼロ場は Segal 場を使って φ(f)=ΦS(f^/ω)、π(f)=ΦS(iωf^) と定義され、正準交換関係 [φ(f),π(g)]=i⟨f,g⟩L2 を満たします。
- 自由ハミルトニアンは H0=dΓ(ω)、運動量は Pj=dΓ(kj) です。(H0,P) の結合スペクトル(エネルギーと運動量の同時にとりうる値の集合)は閉じた前方光錐に入り、m>0 なら {0}∪(質量殻)∪{p0≥∣p∣2+4m2} です。
- 1 粒子空間上の Poincaré 群のユニタリ表現 u(a,Λ) を第二量子化した U(a,Λ)=Γ(u(a,Λ)) が、Fock 空間上の Poincaré 対称性を与えます。
- 形式的な点の場 φ(x) は作用素ではなく、時空のテスト関数 F で塗った φ(F)=ΦS(EmF) が意味を持ちます(EmF は F~ の質量殻への制限を ω で割ったもの)。この φ は Wightman 公理(共変性・スペクトル条件・局所可換性・真空の一意性と巡回性)をすべて満たします。
- 2 点関数は W(x)=(2π)−3∫e−ip⋅xd3k/(2ω) で、時間順序積が Feynman 伝播関数になります。m=0 では 1/ω が原点で特異になり、空間 1 次元ではテスト関数が f^(0)=0 を満たさないと場が定義できません(赤外の困難)。
物理の教科書の正準量子化(スカラー場の正準量子化)では、場を
φ(x)=∫(2π)3/22ω(k)d3k(a(k)e−ip⋅x+a(k)∗eip⋅x),p=(ω(k),k)
と書きます。この式には二つの問題があります。まず a(k) は作用素ではありません(∥a(k)∗Ω∥2=δ(0))。次に、a(k) を作用素値超関数(テスト関数で塗って初めて作用素になるもの)と読んでも、x を止めた φ(x) は積分 ∫d3k/ω(k) が紫外で発散するため Fock 空間の作用素になりません。
これまでの章で用意した道具を使うと、この二つは同時に解消します。a(k) を k で塗ったものが消滅作用素 a(f) であり、場を x で塗ったものは Segal 場 ΦS に、ある決まった 1 粒子ベクトルを入れたものになります。本章では自由場をこの形で構成し、それが場の量子論の公理(Wightman 公理)の模範例になっていることを確かめます。次章の van Hove 模型 はこの自由場に外部源との相互作用を加えた模型で、本章の記法をそのまま使います。
ここから先は有料(買い切り ¥200)の内容です。
この章は博士課程以上・研究水準の内容です。続き(定義・定理・証明・例・演習)は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。
購入する
ログイン
執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 2 回(Claude Code)・最終 2026-10-12