# Gupta–Bleuler 形式の数学的構造：Krein–Fock 空間上の自由電磁場・物理的部分空間の商・Strocchi の定理 > ファインマンゲージの自由電磁場を不定計量の Fock 空間上に構成し、Gupta–Bleuler 条件の解が半正定値で、零ノルム部分空間による商が横光子の Fock 空間になることを証明する。ゲージ変換と物理量の扱い、Gauss 法則と局所性に関する Strocchi の定理を述べる。 > https://rikai.mugen-giken.com/physics/indefinite-metric/gupta-bleuler-rigorous ## 0. この記事の要点 光子には本来 2 通りの偏り（偏光）しかありませんが、相対性理論に合う形で電磁場を書こうとすると、4 つの成分が現れます。余分な成分は、確率として読めない「長さが負（または 0）」の状態を持ち込みます。この記事は、増えてしまった状態の中から本物の光子だけを取り出す手順（条件で状態を絞り、区別のつかない状態を同じものとみなす）が、連続な運動量のままで厳密な数学として成り立つことを示します。読み終えると、「4 成分で書いても、物理的には 2 通りの偏りの光子の理論と同じになる」という主張の中身と、相互作用がある場合にこの構成が避けられない理由を説明できます。 - ファインマンゲージの自由電磁場は、1 粒子空間 $\mathfrak h=L^2(\mathbb{R}^3,d\mu_0;\mathbb{C}^4)$ に不定内積 $[v,w]_1=-\int\overline{v^\mu}g_{\mu\nu}w^\nu\,d\mu_0$ を入れた [Krein 空間](/physics/indefinite-metric/krein-spaces#def-krein-space)の上の [Fock 空間](/physics/fock-space/boson-fock-space#def-boson-fock-space)で、作用素値超関数（場を試験関数で均すと作用素になるもの）$A(f)$ として構成できます。4 成分の消滅作用素は $[a_\mu(h),a_\nu(h')^\dagger]=-g_{\mu\nu}\langle h,h'\rangle$ を満たし、場は [J 対称](/physics/indefinite-metric/krein-operators#def-j-selfadjoint)・局所的で、2 点関数は $-g_{\mu\nu}D^+(x-y)$ です。 - Gupta–Bleuler 条件（状態を絞る補助条件）$(\partial\cdot A)^{(+)}(\varphi)\Psi=0$ を満たす有限粒子ベクトルの全体 $\mathcal V_{\mathrm{phys}}$ は、各粒子数で 1 粒子条件に分解し、$\mathcal V_{\mathrm{phys}}=\mathcal F_0\cap\mathcal F_{\mathrm b}(\mathfrak h_{\mathrm{phys}})$ になります。ここで $\mathfrak h_{\mathrm{phys}}=\{v:k_\mu v^\mu=0\}$ です。 - $\mathfrak h_{\mathrm{phys}}$ 上では不定内積が横成分への[直交射影](/mathematics/functional-analysis/hilbert-spaces#def-orthogonal-projection) $\Pi$ を通した正定値内積 $\langle\Pi v,\Pi w\rangle$ に一致し、これを第二量子化すると $[\Psi,\Phi]=\langle\Gamma(\Pi)\Psi,\Gamma(\Pi)\Phi\rangle$ を得ます。ここから、$\mathcal V_{\mathrm{phys}}$ が半正定値であること、零ノルム部分空間（長さが 0 の状態の集まり）$\mathcal V_0$ による商（それらを 0 とみなして同一視した空間）が横光子の Fock 空間 $\mathcal F_{\mathrm b}(\mathfrak t)$ と等長同型であること（閉包で考えれば完備化も不要であること）が従います。 - $\mathcal V_0$ 方向へのずれは、場の期待値を $\Box\Lambda=0$ を満たす[ゲージ変換](/physics/electromagnetism/gauge-potentials#def-gauge-transformation) $A_\mu\mapsto A_\mu-\partial_\mu\Lambda$ だけ動かします。発散が $0$ の試験関数で均した場（とくに $F_{\mu\nu}$）は $\mathcal V_{\mathrm{phys}}$ と $\mathcal V_0$ を保ち、商空間の上の横光子の場に降ります。$A_0$ のような量は降りません。 - Maxwell 方程式 $\partial^\mu F_{\mu\nu}=0$ は作用素としては成り立たず、物理的状態の間の行列要素としてだけ成り立ちます。これは偶然ではなく、**Strocchi の定理**（Gauss 法則が作用素として成り立てば、局所的な荷電場は電荷をもてない）と、**正定値計量では局所的で共変なベクトルポテンシャルが光子を記述できない**という定理の裏返しです。
全体の空間：ボソン Fock 空間（不定内積。ノルムが負の状態もある） 物理的部分空間（ノルムは 0 以上） 零ノルム部分 （ノルム 0。ゲージ光子を含む） 横光子の Fock 空間 （正定値。本物の光子） 零ノルム部分を 0 とみなして同一視した商の空間は、横光子の Fock 空間と等長同型 （零ノルム部分と横光子の空間の直和が物理的部分空間）
## 1. 動機 [電磁場の量子化とゲージ固定](/physics/qft/maxwell-field-quantization)では、空間を箱に入れて運動量を離散化し、生成作用素の多項式で書ける状態に限って Gupta–Bleuler 形式の中心定理（）を代数的に証明しました。また [Krein 空間と J 内積](/physics/indefinite-metric/krein-spaces) の では、1 粒子空間の非負部分空間から作った Fock 空間の商を一般に調べました。ただしそこでは、Gupta–Bleuler 条件を満たす状態全体が各粒子数で 1 粒子条件に分解すること自体は示さずに残しました。 本章の目的は、この 2 つをつなぎ、連続運動量のままで Gupta–Bleuler 形式を Krein 空間の定理として完結させることです。具体的には次の 4 点を扱います。 1. 場の作用素を Lorentz 共変な作用素値超関数として Krein–Fock 空間上に構成し、2 点関数が $-g_{\mu\nu}D^+$ になること、そしてこの 2 点関数は正定値の空間では実現できないことを確かめます。 2. Gupta–Bleuler 条件の解空間を完全に決定し、その商が横光子の Fock 空間であることを、完備化の問題まで含めて証明します。 3. 「零ノルム状態の付加はゲージ変換である」（）を一般の物理的状態について定式化し、どの作用素が商空間の上で意味をもつかを決めます。 4. 相互作用がある場合になぜ同じことが簡単にいかないのかを、Strocchi の定理として述べます。これは次章の BRST 形式への動機にもなります。 記法は前 2 章に従います。Hilbert 空間の内積 $\langle\cdot,\cdot\rangle$ と不定内積 $[\cdot,\cdot]$ はいずれも第 1 変数について共役線形です。Minkowski 計量は $g=\mathrm{diag}(1,-1,-1,-1)$、$k\cdot x=k^0x^0-\boldsymbol k\cdot\boldsymbol x$ です。 （この章の続きは購入者向けです。）