Haag–Kastler 公理と局所ネット：Reeh–Schlieder・Bisognano–Wichmann・DHR 超選択セクター

0. この記事の要点

実際の実験で行えるのは、有限の場所・有限の時間の中での測定だけです。この記事では、時空の点ごとの「場」ではなく、「どの領域でどんな測定ができるか」という対応そのものを理論の出発点にします（Haag–Kastler の枠組み）。この見方から、真空がどんなに小さな領域からでも全体の状態を作れるほど強く結びついていること、加速して動く観測者には真空が熱を帯びて見えること、粒子が Bose 的か Fermi 的かが観測量の代数だけで決まることが示されます。

• Haag–Kastler の枠組みでは、理論の基本データは場ではなく、時空の有界開集合 $\mathcal{O}$ ごとの C* 環 $\mathfrak{A}(\mathcal{O})$（その領域で測れる観測量）の族、すなわち局所ネットです。公理は等方性・局所性・Poincaré 共変性・時間スライス性の 4 つで、真空表現ではこれにスペクトル条件と真空の一意性が加わります。
• Wightman 場から局所ネットを作るには、場の閉包 $\bar\phi(F)$ の有界関数 $e^{i\bar\phi(F)}$ で von Neumann 環を生成します。ただし稠密な定義域上の可換性から強可換性は従わない（Nelson の反例）ので、本質的自己共役性と強可換性を別に仮定する必要があります。
• Reeh–Schlieder の定理: スペクトル条件と弱加法性（小さな領域を平行移動させた環をすべて合わせると、真空が巡回的になるという条件）のもとで、真空 $\Omega$ はどんなに小さな領域の局所環 $\mathcal{R}(\mathcal{O})$ に対しても巡回的（環を $\Omega$ に作用させたベクトルの集まりが全状態空間で稠密）で、因果的補集合が開集合を含めば分離的（$\Omega$ を $0$ にする環の元は $0$ だけ）です。証明は並進の正エネルギー性による解析接続だけで済みます。
• Bisognano–Wichmann の定理: 楔領域 $W_R$ の環と真空の組の Tomita–Takesaki モジュラー作用素 $\Delta$ について $\Delta^{it}$ は楔を保つブースト $U(\Lambda_1(-2\pi t))$ です。言い換えると、真空は楔の中の一様加速観測者にとって逆温度 $2\pi$ の熱平衡状態（KMS 状態）で、これが Unruh 効果（加速して動く観測者には真空が熱を帯びて見える現象）の代数的な形です。
• DHR 理論: 真空と因果的補集合上で区別できない表現（超選択セクター）は、局所化された自己準同型 $\rho$ で表されます。その統計作用素 $\varepsilon_\rho$ は観測量の代数だけから決まり、3+1 次元では $\varepsilon_\rho^2=1$ で、粒子が Bose 的か Fermi 的か（と統計次元）は場を使わずに決まります。

この記事で使う事前知識

• Wightman 公理: 場を非有界作用素の値をとる超関数として扱い、その性質を公理にしたもの。→ Wightman 公理
• Wightman 関数: 場の積の真空期待値。→ Wightman 関数
• Hilbert 空間: 内積をもち、完備なベクトル空間。量子系の状態空間。→ Hilbert 空間
• ユニタリ同値: 二つの表現が、ユニタリ作用素で結べるという意味で「同じ」であること。→ ユニタリ同値
• PCT 定理: Wightman 理論で、電荷・空間・時間をすべて反転する変換が実装されるという前章の定理。→ PCT 定理・スピン統計定理・Haag の定理

1. 動機

Wightman 公理 は場 $\phi(F)$ を基本データとします。しかし場には二つの不満が残ります。第一に、$\phi(F)$ は非有界作用素で、超関数としてしか意味を持ちません。第二に、同じ物理を記述する場は一つではありません。たとえば自由場 $\varphi$ と $\varphi+{:\!\varphi^3\!:}$ はどちらも同じ Hilbert 空間の上で互いに局所的で、真空と 1 粒子状態の間の行列要素が同じなので同じ $S$ 行列を与える場です（Wick 積 ${:\!\varphi^3\!:}$ 単独は 1 粒子状態を作らないので補間場になりません）。このように場は「座標系」の役割しか果たしていません（同じ物理を与える場どうしの仲間を Borchers 類と呼びます）。物理的に不変なのは、「時空のどの領域でどの観測ができるか」という対応のほうです。

Haag と Kastler は 1964 年に、この対応そのものを公理化しました。各有界領域 $\mathcal{O}$ に、その領域の中で行える測定の代数 $\mathfrak{A}(\mathcal{O})$ を対応させ、相対論の要請（因果律と共変性）を代数の間の関係として書きます。有界な作用素だけを扱うので定義域の問題が消え、場の選び方への依存もなくなります。

この枠組みで、場の理論の構造的な定理がきれいに述べられます。本章ではその代表として、真空の巡回性（Reeh–Schlieder）、真空の熱的性質（Bisognano–Wichmann）、粒子の統計の代数的起源（Doplicher–Haag–Roberts）の三つを扱います。前章 の Haag の定理が「相互作用描像は存在しない」という否定的な結果だったのに対し、ここでの結果は、どんな相互作用する理論でも成り立つ肯定的な構造定理です。

ここから先は有料（買い切り ¥200）の内容です。

この章は博士課程以上・研究水準の内容です。続き（定義・定理・証明・例・演習）は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入する ログイン