# Haag–Kastler 公理と局所ネット：Reeh–Schlieder・Bisognano–Wichmann・DHR 超選択セクター > 時空の有界領域に C* 環を対応させる局所ネットを等方性・局所性・共変性・時間スライス性で公理化し、Wightman 場からの有界化、Reeh–Schlieder の定理の証明、楔領域のモジュラー群がブーストになること、DHR 理論で統計が代数から決まることを述べる。 > https://rikai.mugen-giken.com/physics/axiomatic-qft/haag-kastler ## 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 的か（と統計次元）は場を使わずに決まります。 ## 1. 動機 [Wightman 公理](/physics/axiomatic-qft/wightman-axioms) は場 $\phi(F)$ を基本データとします。しかし場には二つの不満が残ります。第一に、$\phi(F)$ は非有界作用素で、超関数としてしか意味を持ちません。第二に、同じ物理を記述する場は一つではありません。たとえば自由場 $\varphi$ と $\varphi+{:\!\varphi^3\!:}$ はどちらも同じ [Hilbert 空間](/mathematics/functional-analysis/hilbert-spaces#def-hilbert-space)の上で互いに局所的で、真空と 1 粒子状態の間の行列要素が同じなので同じ $S$ 行列を与える場です（Wick 積 ${:\!\varphi^3\!:}$ 単独は 1 粒子状態を作らないので補間場になりません）。このように場は「座標系」の役割しか果たしていません（同じ物理を与える場どうしの仲間を Borchers 類と呼びます）。物理的に不変なのは、「時空のどの領域でどの観測ができるか」という対応のほうです。 Haag と Kastler は 1964 年に、この対応そのものを公理化しました。各有界領域 $\mathcal{O}$ に、その領域の中で行える測定の代数 $\mathfrak{A}(\mathcal{O})$ を対応させ、相対論の要請（因果律と共変性）を代数の間の関係として書きます。有界な作用素だけを扱うので定義域の問題が消え、場の選び方への依存もなくなります。 この枠組みで、場の理論の構造的な定理がきれいに述べられます。本章ではその代表として、真空の巡回性（Reeh–Schlieder）、真空の熱的性質（Bisognano–Wichmann）、粒子の統計の代数的起源（Doplicher–Haag–Roberts）の三つを扱います。[前章](/physics/axiomatic-qft/pct-spin-statistics-haag) の Haag の定理が「相互作用描像は存在しない」という否定的な結果だったのに対し、ここでの結果は、どんな相互作用する理論でも成り立つ肯定的な構造定理です。 （この章の続きは購入者向けです。）