# BRST コホモロジーと no-ghost 定理：bc ゴースト・Q²=0 ⇔ c=26・半無限コホモロジー・横波状態
> bc ゴースト系と Virasoro 加群から BRST 電荷を作り、Q² が c−26 に比例することをモードと OPE で証明する。半無限コホモロジーを定義し、26 次元 Fock 空間の相対コホモロジーが次数 1 に集中して横波状態と等長同型になる no-ghost 定理を示す。
> https://rikai.mugen-giken.com/mathematics/vertex-algebras/brst-no-ghost
## 0. この記事の要点
弦を量子力学で扱うと、時間方向の振動のせいで「確率がマイナスになる状態」が紛れ込み、そのままでは物理に使えません。この記事は、ゴーストと呼ばれる補助の変数を足して余分な自由度を整理する BRST という仕組みを数学として組み立て、時空が 26 次元のときに限ってこの仕組みが矛盾なく働くこと、そのとき最後に残る状態はすべて正の確率をもつことを証明します。26 という数は、ゴーストが与える $-26$ を物質の側が打ち消す条件として現れます。
- **bc ゴースト系**（重み $2$ の $b$ と重み $-1$ の $c$）の Fock 空間 $F$ は、$b(z),c(z)$ が生成する頂点超代数で、その Virasoro 場の中心電荷は $-26$ です。
- 中心電荷 $c_V$ の [Virasoro 代数](/mathematics/vertex-algebras/virasoro-algebra#def-virasoro)の加群 $V$ に対し、$V\otimes F$ 上の **BRST 電荷** $Q=\sum_nc_{-n}L^V_n+\frac12\sum_n\mathcal O(c_{-n}L^{\mathrm{gh}}_n)$ を定めます。$\lbrace Q,b_n\rbrace=L^V_n+L^{\mathrm{gh}}_n$ が成り立ち、
$$
Q^2=\frac{c_V-26}{12}\sum_{k\ge2}(k^3-k)\,c_{-k}c_k
$$
を証明します。とくに **$Q^2=0\iff c_V=26$** です。$-26$ の内訳は、ゴーストの中心電荷 $-26$ の半分と、無限和の順序づけから出る補正 $-13$ です。同じ数は、OPE $T(z)j(w)$ の 4 位の極の係数 $\frac{c_V}2-4$ と 3 位の極の係数 $3$ からも読めます。
- $c_V=26$ のとき $H^{\infty/2+\bullet}(\mathrm{Vir};V)=H(V\otimes F,Q)$ を **半無限コホモロジー**（Feigin）と呼びます。コホモロジーは $L_0^{\mathrm{tot}}=0$ の部分に集まり、$b_0=0$ の部分複体から **相対コホモロジー** $H^\bullet_{\mathrm{rel}}$ が定まります。
- **no-ghost 定理**: 26 次元 Minkowski 空間の運動量 $p\ne0$ の Fock 加群 $\pi_p$ について、$H^n_{\mathrm{rel}}(\pi_p)=0$（$n\ne1$）で、$H^1_{\mathrm{rel}}(\pi_p)$ は正定値な内積をもち、24 方向の横波振動子の Fock 空間のレベル $N=1-\frac{(p,p)}2$ の部分と等長同型です。証明は光円錐分解 $Q=Q_1+Q_0+Q_{-1}$ によります。主要部 $Q_1$ は Kugo–Ojima の[四重項](/physics/indefinite-metric/brst-cohomology)（互いに打ち消し合う 4 種類の状態の組）の BRST 電荷で、そのコホモロジーは横波状態です。$Q$ と $Q_1$ のコホモロジーの次元と符号数は、階数の半連続性（行列の階数は、パラメータを 0 にした極限では下がることはあっても上がらない、という性質）と Euler 標数（各次数の次元の交代和）で比べます。
- **Goddard–Thorn の形**: Virasoro 条件を満たす状態の空間 $P^1$ を零ノルムの部分 $N^1$ で割った $P^1/N^1$ は $H^1_{\mathrm{rel}}$ に等長的に埋め込まれ、したがって正定値です（負ノルム状態は物理的状態に現れない）。埋め込みが全射であること（DDF 演算子、すなわち物理的状態を作る特別な作用素の族による）は主張として述べ、依存関係を明記します。
## 1. 動機
ボソン弦を共形ゲージで量子化すると、状態空間は 26 個（一般には $d$ 個）の自由ボソンの Fock 空間で、Minkowski 計量のために時間方向の振動子 $\alpha^0_{-n}$ は負のノルムをもちます。ゲージ固定のあとに残る拘束は [Virasoro 代数](/mathematics/vertex-algebras/virasoro-algebra#def-virasoro)の正のモード $L_n$（$n\ge1$）と $L_0-1$ で、古い共変量子化では「物理的状態」をこれらに消される状態として定めます。Goddard–Thorn（1972）は、$d=26$ ならこの物理的状態の空間に負ノルム状態が現れず、零ノルムの状態で割ると横波 24 方向の振動子だけが残ることを示しました。これが **no-ghost 定理** です。
BRST 量子化では、ゲージ固定で現れる Faddeev–Popov ゴーストを陽に入れ、$c$ ゴーストを「Virasoro 代数の双対」、$b$ ゴーストを「Virasoro 代数そのもの」とみなした Lie 代数コホモロジーの微分 $Q$ を作ります。Kato–Ogawa（1983）は、$Q^2=0$ となるのが $d=26$ のときに限ることと、$Q$ のコホモロジーが横波状態であることを示しました。数学の側では、Feigin（1984）が無限次元 Lie 代数の **半無限コホモロジー** を導入し、Frenkel–Garland–Zuckerman（1986）が no-ghost 定理を半無限コホモロジーの消滅定理として定式化しました。BRST の枠組みでは、$26$ という数は $Q^2=0$ の条件（ゴーストの中心電荷 $-26$ を物質が打ち消す）としてだけ現れ、コホモロジーの正定値性はそこから自動的に従います。古い共変量子化では、同じ $26$ が「物理的でしかも零ノルムの状態が余分に現れる条件」という別の形で現れます（