Appendix H BRST 量子化と bc ゴースト系¶
前回までのあらすじ: 第 16 章 16.7「臨界次元の CFT 的再導出」 で、ボソン弦の臨界次元 \(D = 26\) を「物質場の中心電荷 \(c_{\text{matter}} = D\) とゴースト場の中心電荷 \(c_{\text{ghost}} = -26\) の合計がゼロ」という条件から導出した。しかし、\(c_{\text{ghost}} = -26\) は本文では「計算は技術的」として結果だけ紹介された。この付録ではその空白を埋める。
この付録のゴール
- Faddeev-Popov 手続きから出発して、なぜ弦理論の量子化にゴースト場 \(b, c\) が必要なのか、それらのエネルギー運動量テンソルがどう決まるのか、そして \(T_{\text{ghost}}\, T_{\text{ghost}}\) OPE の \((z-w)^{-4}\) 係数がなぜ \(c_{\text{ghost}} = -26\) になるのかを、式変形を追えるレベルで導出する
難易度について: この付録は本「量子重力問題への挑戦」編で最も技術的なセクション。反交換場（Grassmann 場）の扱い、Faddeev-Popov の処方箋、反交換場での Wick の定理など、新しい概念がいくつか登場する。初読では「\(c_{\text{ghost}} = -26\) という結果だけ受け入れて第 16 章 16.7「臨界次元の CFT 的再導出」 を読み進める」ことを推奨する。興味が出たら戻ってきてほしい。
図 H.1「BRST量子化とゴースト中心電荷の論理フロー」に本付録全体の論理フローを示す。各ステップがどのセクションに対応するかを確認しながら読み進めてほしい。
図 H.1: BRST量子化とゴースト中心電荷の論理フロー。Polyakov 作用のゲージ対称性から出発し、Faddeev-Popov 手続き → bc ゴースト場の導入 → エネルギー運動量テンソル → TT OPE 計算 → c_ghost = -26 の決定に至る一連のステップ。
H.1 ゲージ固定の必要性 — Faddeev-Popov の動機¶
🟡 リナ: 弦理論の Polyakov 作用（第 13 章）には 3 つのゲージ対称性があった——再パラメータ化不変性（2 つ）と Weyl 不変性（1 つ）。これらは「物理的に異なる状態」ではなく「同じ状態の見せかけ上の違い」を表す。
🔵 カイ: ゲージ対称性があると何が問題なんですか？
🟡 リナ: 経路積分 \(Z = \int \mathcal{D}g\, \mathcal{D}X\, e^{iS}\) で全ての計量 \(g_{ab}\) を足し合わせると、ゲージ変換で互いに移り合う配置——つまり物理的には同じ状態なのに見かけだけ異なる計量の族——を無限回重複してカウントしてしまう。このような「ゲージ変換で互いに結ばれる、物理的に同一な配置の集まり」をゲージ軌道（gauge orbit）と呼ぶ。これを避けるには「各ゲージ軌道から代表を 1 つだけ選ぶ」作業——ゲージ固定——が必要になる。
ゲージ固定と Jacobi 因子¶
🟡 リナ: ゲージ固定の標準的な処方箋が Faddeev-Popov（ファデーエフ・ポポフ）の方法。本質的には、高校数学の変数変換（ヤコビアン）の一般化なの。
たとえば 2 変数関数 \(F(x, y)\) を \(y\) 軸（\(x = 0\)）に沿って積分したいとき：
デルタ関数で「\(x = 0\) の代表を選ぶ」。これがゲージ固定の原型。
🔵 カイ: あ、デルタ関数で「条件を満たす点だけ拾う」ってことですね。
🟡 リナ: そう。一般にゲージ固定条件 \(G(g) = 0\) を課したいとき、デルタ関数 \(\delta[G(g)]\) を挿入する。しかし、どのゲージ軌道からも代表を 1 つだけ確実に選ぶには、ヤコビ因子を正しく付ける必要がある。
有限次元の類似から考えよう。1 変数の場合を見る。変数変換 \(u = f(x)\) を行うと \(du = f'(x)\, dx\) なので \(dx = du/|f'(x)|\)。デルタ関数の性質 \(\int du\, \delta(u) = 1\) を使うと：
（\(f(x) = 0\) の解が 1 つのとき）。つまり \(|f'(x)|\) はヤコビアン（変数変換の「伸び縮み率」）で、これを掛けることで \(\delta(f(x))\) が正しく「\(f = 0\) の代表を 1 つだけ選ぶ」ように規格化される。
⚪ メイ: 高校の置換積分 \(dx = du/f'(x)\) の発想を、デルタ関数と組み合わせているのね。
🟡 リナ: 多変数に拡張すると、\(n\) 個の条件 \(f_i(x_1, \ldots, x_n) = 0\)（\(i = 1, \ldots, n\)）に対して：
ヤコビアンが \(|f'|\) から行列式 \(|\det(\partial f_i/\partial x_j)|\) に一般化された。これを無限次元（変数 \(x_j\) → ゲージパラメータの場 \(\alpha(\sigma)\)、条件 \(f_i\) → ゲージ固定条件 \(G\)）に形式的に拡張すると：
ここで \(g^\alpha\) はゲージパラメータ \(\alpha\) によるゲージ変換を表す。有限次元では絶対値 \(|\det|\) だったが、ここでは絶対値を外して \(\det\) と書いている。その理由：次の小節で見るように、この行列式を反交換場（ゴースト場）のガウス積分として表現する。反交換場のガウス積分は \(\det M\) そのもの（符号込み）を自動的に与えるため、別途絶対値を取る必要がない——符号の情報はゴースト場の経路積分の中に正しく組み込まれる。この「1」を経路積分に挿入すると、Faddeev-Popov 行列式 \(\det(\delta G/\delta\alpha)\) が登場する。
行列式のゴースト場への書き換え¶
🟡 リナ: Faddeev-Popov の核心的アイデアは、この行列式を新しい積分変数の経路積分として書き直すこと。
🔵 カイ: 行列式を積分で書き直す…？ どうやるんですか？
🟡 リナ: Grassmann（反交換）変数 の性質を使う。Grassmann 変数とは「2 つを入れ替えると符号が反転する」特殊な数学的対象で、フェルミオン（電子など半整数スピンの粒子）を記述するために導入される（反交換場の基本的な計算規則は H.3 節でまとめる。Grassmann 積分の定義と導出の詳細は「場の量子論」編 「場の量子論」編 第 12 章参照）。反交換変数 \(\theta_i\)（\(\theta_i \theta_j = -\theta_j \theta_i\)）の Gauss 積分は：
（普通の実数ガウス積分は \((\det M)^{-1/2}\) なのに対し、反交換変数では \(\det M\) そのものが出る。なぜか？ 反交換変数 \(\theta\) は \(\theta^2 = 0\) なので、\(\theta\) の関数は \(f(\theta) = a + b\theta\) で尽きる（2次以上は消える）。Grassmann 積分は「\(\theta\) の 1 次の係数を取り出す操作」として定義される：\(\int d\theta\, \theta = 1\), \(\int d\theta\, 1 = 0\)。通常の積分が「面積を足す」のに対し、Grassmann 積分は「微分」のように振る舞い、べきを下げる。このため通常のガウス積分で分母に出る \(\det M\) が、反交換変数では分子に出る。詳細は「場の量子論」編 「場の量子論」編 第 12 章参照。）
⚪ メイ: 普通の積分だと \((\det M)^{-1/2}\) が出るのに、反交換変数だと \(\det M\) が出る——逆数になるのね。
🟡 リナ: したがって、Faddeev-Popov 行列式は反交換場（ゴースト場）の経路積分で表現できる：
⚪ メイ: ゴースト場は「物理粒子」ではなく「行列式を経路積分で表すための補助場」なのね。
🟡 リナ: その通り。だから「ゴースト」と呼ばれる——実在しないが計算に必要な場。
✅ 理解度チェック: Faddeev-Popov 行列式をゴースト場の経路積分で表現できるのは、積分変数がどのような性質を持つからでしょうか？
答え
積分変数が反交換（Grassmann）変数であるため。反交換変数のガウス積分は \(\det M\) を与え（通常の実数変数では \((\det M)^{-1/2}\)）、これにより Faddeev-Popov 行列式を反交換場 \(b, c\) の経路積分として表現できる。
H.2 弦理論への適用 — \(bc\) 系の登場¶
🟡 リナ: 弦理論の Polyakov 作用では、3 つのゲージ対称性（2 つの再パラメータ化 + Weyl）を使って共形ゲージ \(h_{ab} = \eta_{ab}\)（あるいは Euclid 版で \(h_{ab} = \delta_{ab}\)）に固定する。このとき必要な Faddeev-Popov 行列式を処理するために登場するゴースト場が、\(b\) ゴーストと \(c\) ゴースト。
詳細は省くが、以下のように配置される：
- \(c^a(z)\)：再パラメータ化の無限小パラメータ \(\delta\sigma^a\) を置き換える反交換場（世界面ベクトル）
- \(b_{ab}(z)\)：Faddeev-Popov 条件の Lagrange 乗数として現れる反交換場（世界面対称トレースレステンソル）
複素座標 \(z, \bar{z}\) に直すと、独立な成分は：
- \(c(z)\)（正則成分）、\(\bar{c}(\bar{z})\)（反正則成分）
- \(b(z)\)（正則成分）、\(\bar{b}(\bar{z})\)（反正則成分）
本付録では正則側 \((b, c)\) のみを扱う。反正則側は完全に並行に処理できる。
共形ウェイトの決定¶
🟡 リナ: ゴースト場の共形ウェイトは、それぞれの元となる対象から決まる：
-
\(c^a\)：座標変換パラメータ \(\delta\sigma^a\) はベクトル（E.3「複素座標 \(z, \bar{z}\) と微分」）。複素座標で \(z \to w = f(z)\) と変換するとき、\(\epsilon(z)\) がどう変換するかを見よう。
まず具体例で考える。\(w = 2z\)（座標を 2 倍に引き伸ばす変換）のとき、\(df/dz = 2\)。ベクトル場 \(v = \epsilon(z)\, \partial_z\) は座標によらない幾何学的対象——たとえば「北に時速 5 km で歩いている」という事実は、地図の縮尺（座標系）を変えても変わらない。同様に \(v\) は座標の取り方に依存しない「方向と大きさ」を持つ量——なので、新しい座標 \(w\) では同じ \(v\) を \(v = \tilde\epsilon(w)\, \partial_w\) と書ける。ここで \(\partial_z\) は座標基底ベクトル（第 6 章 6.2「一般相対論の要点サマリ（弦理論で使うもの）」 参照）で、連鎖律から \(\partial_z = (df/dz)\, \partial_w\) が成り立つ。直感的には「\(z\) を 1 動かすと \(w\) は \(df/dz\) だけ動く」ということ。
🔵 カイ: 「\(z\) を 1 動かすと \(w\) が 2 動く」から、同じベクトルでも \(w\) 座標での成分は変わる…ということですね。
🟡 リナ: その通り。ある点で「\(z\) 座標で速さ 3」のベクトル \(v = 3\, \partial_z\) があるとする。\(w\) 座標では同じベクトルが \(v = \tilde\epsilon\, \partial_w\) と書ける。\(\partial_z = (df/dz)\, \partial_w = 2\, \partial_w\) なので \(v = 3 \cdot 2\, \partial_w = 6\, \partial_w\)、つまり \(\tilde\epsilon = 6 = 2 \cdot 3 = (df/dz) \cdot \epsilon\)。一般に連鎖律 \(\partial_z = (df/dz)\, \partial_w\) を代入すると \(\epsilon(z)\, (df/dz)\, \partial_w = \tilde\epsilon(w)\, \partial_w\) となり、\(\partial_w\) の係数を比較して \(\tilde\epsilon(w) = (df/dz)\, \epsilon(z)\)。これを \(\epsilon(z)\) について解くと \(\epsilon(z) = (df/dz)^{-1}\, \tilde\epsilon(f(z))\)。
一方、[第 16 章](../../content_string/chapters/ch16.md) [16.4「演算子積展開（OPE）」](ch16.md#string-ch16-s4) で導入した共形ウェイト $h$ の一次場の変換則は $\phi(z) = (df/dz)^h\, \tilde\phi(f(z))$ だった。この式の意味は：座標 $z$ での場の値 $\phi(z)$ と、新しい座標 $w = f(z)$ での場の値 $\tilde\phi(w)$ の関係を表す。$h > 0$ なら座標を引き伸ばす（$df/dz > 1$）と場の値が大きくなり、$h < 0$ なら小さくなる。上で得た $\epsilon(z) = (df/dz)^{-1}\, \tilde\epsilon(f(z))$ はまさにこの形で $h = -1$ の場合に対応する。したがって $c(z)$ の共形ウェイトは $h_c = -1$
⚪ メイ: べき指数が \(-1\) だから共形ウェイト \(-1\)——変換則の形がそのまま答えを教えてくれるのね。
🟡 リナ: 次に \(b\) 側を見よう。
- \(b_{ab}\)：対称トレースレステンソル \(b_{ab}\) の \(b_{zz}(z) \equiv b(z)\) 成分はウェイト \(h_b = +2\) のテンソル。理由を見よう。作用の中で \(b_{zz}\) はゲージ固定条件 \(\delta g_{zz} = 0\) に対する Lagrange 乗数として \(\int d^2z\, b_{zz}\, \delta g_{zz}\) の形で現れる。この積分が座標変換で不変であるためには、\(b_{zz}\) と \(\delta g_{zz}\) が同じ共形ウェイトを持つ必要がある。\(\delta g_{zz}\) のウェイトは計量テンソルの \(zz\) 成分の変換性から決まる：\(z \to w = f(z)\) のとき \(g_{zz} = (df/dz)^2\, \tilde g_{ww}\)（添字 \(z\) が 2 つあるので \((df/dz)\) が 2 回掛かる）。これは共形ウェイト \(h = 2\) の変換則そのもの。したがって \(h_b = 2\)
🔵 カイ: ウェイト \(h_b = 2\)、\(h_c = -1\) で、足すと \(h_b + h_c = 1\) になりますね。
🟡 リナ: その「1」が後で効いてくる——微分形式で書くと \(b\, dc \cdot dz\, d\bar{z}\) が作用の形だから、積分可能にはウェイトの和が 1 である必要がある。
✅ 理解度チェック: 弦理論の \(bc\) ゴースト系において、\(b(z)\) と \(c(z)\) の共形ウェイトはそれぞれいくつでしょうか？また、それらはどのような物理的対象に由来するでしょうか？
答え
\(b(z)\) の共形ウェイトは \(h_b = 2\)（対称トレースレス計量変分 \(\delta g_{zz}\) の Lagrange 乗数に由来）、\(c(z)\) の共形ウェイトは \(h_c = -1\)（座標変換パラメータ \(\delta z = \epsilon(z)\) に由来）。両者の和は \(h_b + h_c = 1\) となる。
H.3 反交換場（Grassmann 場）の基本¶
🟡 リナ: ゴースト場は反交換場で、ボソン場とは異なる規則で扱う。ここで基本事項をまとめる。詳細は「場の量子論」編 第 5, 12 章参照。
反交換関係¶
🟡 リナ: 反交換場 \(\psi(z), \chi(w)\) は：
特に同じ場の 2 乗は：\(\psi(z)^2 = 0\)。
正規順序と縮約¶
🟡 リナ: 反交換場の正規順序 \(:bc:\) では、演算子を入れ替えるときにマイナス符号が出る：
基本縮約値（次節で導出）：
ここで \(\langle \cdots \rangle\) は動径順序での期待値。動径順序とは、2 次元の共形場理論で場の積を定義する際の規約で、「原点からの距離 \(|z|\) が大きい方の場を左に置く」というもの（第 16 章 16.4「演算子積展開（OPE）」 参照）。\(|z| > |w|\) のとき、\(b(z)c(w)\) も \(c(z)b(w)\) もどちらも「\(|z|\) が大きい方が左」という動径順序の条件を満たしているので、そのままの順序で評価される。
2 つの縮約値が同じ \(1/(z-w)\) になる理由：\(\langle b(z) c(w)\rangle\) は作用から決まるプロパゲータ \(G_{bc}(z,w) = 1/(z-w)\)。一方 \(\langle c(z) b(w)\rangle\) は \(G_{cb}(z,w)\) であり、H.4 節で独立に導出すると同じく \(1/(z-w)\) となる。「反交換だからマイナスが付くのでは？」と思うかもしれないが、動径順序の期待値は場の順序を入れ替える操作を含まない——あくまで \(|z| > |w|\) という条件下での経路積分の結果。縮約値自体は c-数（普通の数）なので反交換関係の影響を受けない。
反交換場の Wick の定理¶
🟡 リナ: 反交換場の Wick の定理は、ボソン場のものに「縮約線を交差させるたびにマイナス符号」が追加される。具体的には、「縮約する 2 つの場を隣に持ってくるために何回場を通り抜けたか」の偶奇で符号が決まる。
例を挙げよう。4 つの反交換場 \(A\, B\, C\, D\) が並んでいて、\(A\) と \(C\) を縮約し、\(B\) と \(D\) を縮約したいとする。符号の決め方は「縮約線の交差数」で決まる：\(A\)-\(C\) の縮約線と \(B\)-\(D\) の縮約線を、元の並び順の上に弧で描くと、2 本の弧が 1 回交差する。交差回数が合計 1 回（奇数）なので、符号は \((-1)^1 = -1\)。
別の見方をすると、\(A\) と \(C\) を隣に持ってくるために間の \(B\) を 1 回飛び越える（反交換で符号 \(-1\)）。その後 \(B\) と \(D\) はすでに隣同士なので追加の符号はない。どちらの方法でも同じ結果になる。
🔵 カイ: 弧を描いて交差を数える方が、頭の中で場を並べ替えるより見やすそうですね。
🟡 リナ: もう 1 つの例：\(A\, B\, C\, D\) で \(A\) と \(D\) を縮約し、\(B\) と \(C\) を縮約する場合。\(A\)-\(D\) の弧と \(B\)-\(C\) の弧を描くと、\(B\)-\(C\) の弧は \(A\)-\(D\) の弧の内側に収まり、交差しない。交差回数 0（偶数）なので符号は \((-1)^0 = +1\)。H.6 節の項 (I) で出てくるパターン \((1,4)(2,3)\) はまさにこの「\(A\) と \(D\)、\(B\) と \(C\)」の形であり、弧を描くと \((2,3)\) の弧は \((1,4)\) の弧の内側に収まって交差しない。交差回数 0 で符号は \((-1)^0 = +1\)。
ただし H.5 節以降では正規順序積 \(:\!b\partial c\!:(z)\) と外の場 \(c(w)\) の縮約や、H.6 節では \(:\!b\partial c\!:(z)\, :\!b\partial c\!:(w)\) の間の縮約を扱う。正規順序積の間の縮約では、「縮約する場を正規順序積の外に取り出す」際の飛び越え回数も符号に影響する。具体的な処方箋は H.5 節・H.6 節で実例とともに示す。
本付録の計算では、頻繁に使う規則だけを覚えておけばよい：
-
正規順序積の間の縮約の符号規則：\(:\!A\, B\!:\, :\!C\, D\!:\) で \(A\) と \(D\) を縮約したいとき、\(D\) を右の正規順序積から「取り出す」ために \(C\) を飛び越える必要がある（1 回の飛び越え → 符号 \(-1\)）。一般に、縮約したい場を正規順序積の端まで移動させるために飛び越えた反交換場の数を数え、\((-1)^{\text{飛び越え回数}}\) が符号になる。
本付録での方針： H.5 節では \(T\) と \(c\) の OPE（部分縮約）を扱い、上の「核心のルール」だけで完全に符号を追跡できる。しかし H.6 節の \(TT\) OPE（正規順序積の間の全縮約）では追加の符号規則が必要になり、本付録の範囲を超える（Polchinski Vol.1 §2.5, §3.3 参照）。そこで H.6 節では各項の寄与の絶対値がどこから来るかを追跡することに集中し、全体の符号は「フェルミオンループは \((-1)\) を生む」という物理的議論から \(-13\) と確定する（詳細は H.6 節で述べる）。 2. \(:bc:\) の中の \(b\) と外の \(c\) の縮約：上の規則の特殊ケース。\(b\) が正規順序積の左端にあれば飛び越え 0 回で \(+\) 3. 同じ場の 2 乗的な項：\(\psi(z)^2 = 0\) を使って消せることが多い
🔵 カイ: つまり H.6 の計算では、4 つの場が並んでいるときに「どの場をどの場と縮約するか」で飛び越え回数が変わって、それが符号に効くんですね。
🟡 リナ: その通り。
H.4 \(bc\) 系の作用と基本 OPE¶
作用の導出¶
🟡 リナ: Faddeev-Popov 手続きを丁寧に追うと、共形ゲージで弦理論のゴースト作用は次の形になる：
正則セクターだけ取り出すと \(S^+ = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c\)。
🔵 カイ: \(\bar\partial c\) が作用に入ってるってことは、運動方程式は \(\bar\partial c = 0\) ですね。
🟡 リナ: そう。\(c(z)\) を変分すると \(b\) の、\(b(z)\) を変分すると \(c\) の運動方程式が得られる：
つまり \(c\) も \(b\) も正則関数。これは共形場理論の枠組みに自然に収まる。
基本 OPE の導出¶
🟡 リナ: 2 つの場の間の相関関数（プロパゲータ、または Green 関数とも呼ぶ）を求めよう。作用 \(S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c\) において、\(b\) を変分して得られる \(c\) の運動方程式は \(\bar\partial c = 0\)（同様に \(c\) を変分すると \(\bar\partial b = 0\)）。
プロパゲータ \(G(z,w) = \langle c(z)\, b(w)\rangle\) は「点源がある場合の運動方程式」の解として定義される。経路積分の言葉では、\(\langle c(z)\, b(w)\rangle\) は「\(w\) に \(b\) を挿入したとき、\(c\) がどう応答するか」を表す。具体的には、作用 \(S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c\) のもとで経路積分の恒等式（Schwinger-Dyson 方程式）を使うと、\(G(z,w)\) は次の微分方程式を満たす：
この方程式の由来を見よう。経路積分 \(\langle c(z)\, b(w)\rangle = \int \mathcal{D}b\, \mathcal{D}c\; c(z)\, b(w)\, e^{-S}\) において、\(b(z)\) で汎関数微分する（経路積分の中で \(\delta S/\delta b(z) = 0\) を使う——これは古典的な運動方程式の量子版で、Schwinger-Dyson 方程式と呼ばれる）と、\(c(z)\) に作用する演算子 \(\frac{1}{2\pi}\bar\partial_z\) が取り出され、右辺にデルタ関数が現れる。つまり \(1/(2\pi)\) は作用の運動項の係数がそのまま微分方程式に受け継がれたもの。
🔵 カイ: これって電磁気学のクーロンの法則で \(\nabla^2 \phi = -\rho\) を解くのと同じ構造ですね。点電荷のところにデルタ関数が出て、解がポテンシャルになる。
🟡 リナ: いいアナロジーね。E.8「2 次元自由場の Green 関数」 で導出した関係式を使う。実座標 \((x,y)\) での正規化 \(\int dx\, dy\, \delta_{xy}^{(2)}(z-w) = 1\) に対して \(\partial_{\bar{z}}(1/(z-w)) = \pi\delta_{xy}^{(2)}(z-w)\) が成り立つ（E.8「2 次元自由場の Green 関数」）。
本付録の作用は \(\frac{1}{2\pi}\int d^2z\, (\cdots)\) と書かれている。弦理論の標準的な規約では \(d^2z \equiv 2\, dx\, dy\)（Polchinski Vol.1 (2.1.6)）であり、この測度に対して正規化されたデルタ関数 \(\delta^{(2)}\)（\(\int d^2z\, \delta^{(2)} = 1\)）を使うと、E.8「2 次元自由場の Green 関数」 の結果は次のように書き換えられる：
（導出：\(d^2z = 2\,dx\,dy\) なので、\(\int d^2z\, \delta^{(2)} = 1\) は \(\int 2\,dx\,dy\, \delta^{(2)} = 1\) を意味する。一方 \(\int dx\,dy\, \delta_{xy}^{(2)} = 1\) だから \(\delta^{(2)} = \frac{1}{2}\delta_{xy}^{(2)}\)。E.8「2 次元自由場の Green 関数」 の \(\partial_{\bar{z}}(1/(z-w)) = \pi\delta_{xy}^{(2)} = 2\pi\delta^{(2)}\) を代入すると上式を得る。）したがって：
を代入すると左辺 \(= \frac{1}{2\pi}\cdot 2\pi\delta^{(2)}(z-w) = \delta^{(2)}(z-w)\) で確かに成立する。
⚪ メイ: 測度の規約を正しく合わせると \(2\pi\) がきれいに消えるのね。
🟡 リナ: 反交換場だが、動径順序では：
（\(\sim\) は OPE の特異部分の等号。残りは正則項。）
🔵 カイ: ボソン場の \(\partial X \partial X\) の OPE は \(1/(z-w)^2\) だったのに、\(bc\) は \(1/(z-w)\) で特異度が 1 つ低いですよね。何が違いを生むんですか？
🟡 リナ: 作用の構造が違うの。\(bc\) 系の作用は \(b\, \bar\partial c\) で、\(b\) と \(c\) の間に微分が 1 つだけ。だからプロパゲータは \(1/(z-w)\)。一方、ボソン場の作用は \(\partial X\, \bar\partial X\) で微分が 2 つ入っているから、\(X(z)X(w)\) のプロパゲータは \(\ln|z-w|^2\) で、\(\partial X\, \partial X\) の OPE は 2 回微分して \(1/(z-w)^2\) になる。
✅ 理解度チェック: \(bc\) 系の基本 OPE \(b(z)c(w) \sim 1/(z-w)\) は、作用のどのような構造から導かれるでしょうか？
答え
作用 \(S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c\) からプロパゲータの方程式 \(\frac{1}{2\pi}\bar\partial_z G(z,w) = \delta^{(2)}(z-w)\) が得られ、\(\bar\partial_z(1/(z-w)) = 2\pi\delta^{(2)}(z-w)\) の関係を用いると \(G(z,w) = \langle c(z)b(w)\rangle = 1/(z-w)\) が導出される。
H.5 \(bc\) 系のエネルギー運動量テンソル¶
エネルギー運動量テンソルの決定¶
🟡 リナ: \(bc\) 系の作用 \(S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c\) のエネルギー運動量テンソルは、Noether の定理（並進対称性）から導出できる。ただし反交換場の Noether 手続きは技術的なので、ここでは別のアプローチ——「\(T\) と各場の OPE が正しい共形ウェイトを再現する」という整合性条件——から結果を理解しよう。
結果は、\(b\) の共形ウェイトを \(\lambda\)（\(c\) のウェイトは \(1-\lambda\)）として：
一般の \(\lambda\) で書いておくのは、H.7 節で \(\lambda\) を変えた様々な系（自由フェルミオン、超弦のゴーストなど）の中心電荷を一括して求めるため。
🔵 カイ: ウェイト \(\lambda\) が変わると \(T\) の中身も変わるんですね。弦理論では \(\lambda = 2\) を入れると具体的にどうなりますか？
🟡 リナ: 文献との符号規約の対応： Polchinski Vol.1 (2.5.11) では \(T = -:(\partial b)c: + \lambda\, \partial(:bc:)\) と書かれている（Polchinski の \(\lambda\) は \(c\) のウェイト、すなわち本付録の \(1-\lambda\) に対応する）。本付録の規約 \(\lambda = h_b\) に合わせて Polchinski の \(\lambda\) を \(1-\lambda\) に置き換えると \(T = -:(\partial b)c: + (1-\lambda)\, \partial(:bc:)\) となり、\(\partial(:bc:) = :(\partial b)c: + :b(\partial c):\) を代入して展開すると \(T = -:(\partial b)c: + (1-\lambda):(\partial b)c: + (1-\lambda):b(\partial c): = -\lambda:(\partial b)c: + (1-\lambda):b(\partial c):\)。正規順序積の中で \(:b(\partial c): = -:(\partial c)b:\) に注意すると、これは本付録の \(T_{\text{ghost}} = -\lambda :b\,\partial c: + (1-\lambda) :\partial b\, c:\) と一致する（\(:(\partial b)c: = :\partial b\, c:\)）。本付録ではこの定義のもとで OPE が正しい共形ウェイトを再現することを以下で確認する。
弦理論では \(\lambda = 2\)（\(b\) のウェイト）なので、\(-\lambda = -2\) および \((1-\lambda) = 1-2 = -1\)。一般公式に代入すると：
🔵 カイ: なぜこの形なんですか？
🟡 リナ: \(T_\text{ghost}(z)\) と \(b(w), c(w)\) の OPE が「\(b\) をウェイト \(\lambda\) の一次場」「\(c\) をウェイト \(1-\lambda\) の一次場」として振る舞わせる条件から決まる。つまり、\(T\) の形を仮定して OPE を計算し、正しい共形ウェイトが再現されることを確認する——これが Noether の定理の結果と一致する。
これから 1 つ確認計算をする。正しい \(T_{\text{ghost}}\) が満たすべき OPE は：
これらの条件を満たす最も単純な 2 次式が上の \(T_{\text{ghost}}\)。1 つだけ確認してみよう。\(T_{\text{ghost}}(z)\, c(w)\) の OPE を計算する。\(T_{\text{ghost}}\) の第 1 項 \(-\lambda\, :\!b\partial c\!:(z)\) と \(c(w)\) の OPE では、\(b(z)\) と \(c(w)\) の縮約 \(\langle b(z)c(w)\rangle = 1/(z-w)\) のみが寄与し（\(c(z)\) と \(c(w)\) の縮約は \(\langle cc\rangle = 0\) で消える）、\(\partial c(z)\) が残る。\(\partial c(z) = \partial c(w) + (z-w)\partial^2 c(w) + \cdots\) と展開すると、第 1 項から \(-\lambda\, \partial c(w)/(z-w)\) が出る。第 2 項 \((1-\lambda)\, :\!\partial b\, c\!:(z)\) では \(\partial b(z)\) と外の \(c(w)\) の縮約を考える。
ここで計算を 2 段階に分ける。第 1 段階では「正規順序積から場を取り出す際の追加の \((-1)\)」を無視して素朴に計算し、結果が間違うことを確認する。第 2 段階で正しい規則を入れてやり直す。
第 1 段階で「無視する」のは反交換場の並べ替えに由来する符号だけであり、微分の結果として出る符号は常に含める。この区別が重要：
- 縮約値の符号：微分の結果として出る符号（例：\(\partial_z(1/(z-w)) = -1/(z-w)^2\)）→ 常に含める
- 並べ替えの符号：反交換場を正規順序積から取り出す際の追加の \((-1)\) → 第 1 段階では無視し、第 2 段階で導入する
第 1 段階：\(\langle \partial b(z)c(w)\rangle = \partial_z[1/(z-w)] = -1/(z-w)^2\) を使い、残る \(c(z)\) に係数 \(+1\) を掛けてそのまま書き出す。\(c(z) = c(w) + (z-w)\partial c(w) + \cdots\) と展開すると、\((1-\lambda)\cdot(-1/(z-w)^2)\cdot c(w) + (1-\lambda)\cdot(-1/(z-w)^2)\cdot(z-w)\partial c(w) + \cdots\) で、\((z-w)^{-2}\) の項は \(-(1-\lambda)c(w)/(z-w)^2\)、\((z-w)^{-1}\) の項は \(-(1-\lambda)\partial c(w)/(z-w)\)。合わせると：
🔵 カイ: あれ、\((z-w)^{-2}\) の係数が \(-(1-\lambda)\) になっちゃいました。\(+(1-\lambda)\) であるべきなのに…
🟡 リナ: そう、ここまでは「追加の符号を無視した素朴な計算」で、わざと間違った結果を出してみたの。符号が合わないことが確認できたでしょう？ これは「反交換場の正規順序積には追加の符号規則がある」ことの証拠。ここからが本題——正しい規則を入れてやり直すわ。
核心のルール： 反交換場の正規順序積 \(:\!AB\!:\) の中の場 \(A\) を外の場 \(C\) と縮約するとき、残る場 \(B\) には追加の \((-1)\) が掛かる。
注意： この規則は H.5 節（\(T\) と \(c\) の OPE、部分縮約）では完全に機能し正しい結果を与える。しかし H.6 節（\(TT\) OPE、正規順序積の間の全縮約）では、2 つの正規順序積の間で複数の縮約を同時に行う際に追加の符号規則が必要になり、上の単純なルールだけでは不十分になる。H.6 節では各項の寄与の絶対値のみを追跡し、全体の符号は物理的議論から確定する方針を取る。。
なぜこの \((-1)\) が出るか？ ボソン場では \(\phi(z)\chi(w) = \langle \phi(z)\chi(w)\rangle + :\!\phi(z)\chi(w)\!:\) だった。反交換場では正規順序積の定義が「消滅演算子を右に移す」操作を含み、\(b\) と \(c\) を入れ替える際に反交換関係から \(-1\) が出る：
この \(-\) 符号が「残る場に \((-1)\) が掛かる」ルールの起源。
⚪ メイ: ボソン場の \(+\) が反交換場では \(-\) に変わる——その 1 つの違いが全ての追加符号の源なのね。
🟡 リナ: このルールを使って第 1 項 \(-\lambda\, :\!b\partial c\!:(z)\) と外の \(c(w)\) の OPE をやり直そう。\(b(z)\) と \(c(w)\) を縮約すると \(\langle b(z)c(w)\rangle = 1/(z-w)\) が出て、残る \(\partial c(z)\) に追加の \((-1)\) が掛かる。\(\partial c(z) = \partial c(w) + (z-w)\partial^2 c(w) + \cdots\) と展開すると、最も特異な項は \(\frac{1}{z-w} \cdot (-1) \cdot \partial c(w)\) で \((z-w)^{-1}\) の次数。したがって \((z-w)^{-1}\) の項は \(-\lambda \cdot \frac{1}{z-w} \cdot (-1) \cdot \partial c(w) = +\frac{\lambda\, \partial c(w)}{z-w}\)。\((z-w)^{-2}\) の項はない——縮約が \(1/(z-w)\) で、Taylor 展開の先頭が \((z-w)^0\) だから、積の最高次は \((z-w)^{-1}\) にしかならない。
第 2 項 \((1-\lambda)\, :\!\partial b\, c\!:(z)\) で \(\partial b(z)\) を外の \(c(w)\) と縮約する。ここで核心のルールを適用する：反交換場の正規順序積 \(:\!A\, B\!:\) の中の場 \(A\) を外の場 \(C\) と縮約したとき、残る場 \(B\) には追加の \((-1)\) が掛かる。これは \(A(z)\, C(w) = \langle A(z)\, C(w)\rangle - :\!C(w)\, A(z)\!:\) の関係に由来する（正規順序積の定義で場を入れ替える際に反交換関係から \(-1\) が出る）。
したがって、\(\partial b(z)\) と \(c(w)\) の縮約値 \(\langle \partial b(z)\, c(w)\rangle = -1/(z-w)^2\) が出て、残る \(c(z)\) に追加の \((-1)\) が掛かる。展開すると \((1-\lambda)\cdot(-1/(z-w)^2)\cdot(-1)\cdot[c(w) + (z-w)\partial c(w) + \cdots]\)。
🔵 カイ: おお、\((-1/(z-w)^2) \times (-1) = +1/(z-w)^2\) で、符号がひっくり返った！
🟡 リナ: 合わせると（第1項から \(+\lambda\, \partial c(w)/(z-w)\)、第2項から \((1-\lambda)\, \partial c(w)/(z-w)\) が出て、\(\lambda + (1-\lambda) = 1\) より）：
これで正しい共形ウェイト \((1-\lambda)\) が再現された。ポイントは「反交換場の正規順序積から場を取り出すとき、残る場に \((-1)\) が掛かる」という規則。完全な計算は練習問題で確認してほしい。
📝 練習問題:
- \(T_{\text{ghost}}\) と \(b, c\) の OPE の検証 → 問題 B-2. ゴーストのエネルギー運動量テンソルと OPE の検証
H.6 \(T_{\text{ghost}}\, T_{\text{ghost}}\) OPE の計算¶
🟡 リナ: いよいよ核心部分。中心電荷 \(c_{\text{ghost}}\) を \(T_{\text{ghost}}\, T_{\text{ghost}}\) OPE の \((z-w)^{-4}\) 係数から読み取る。\(\lambda = 2\) の場合を計算する。
計算の見通しを先に述べておく。\(T_{\text{ghost}}\) は 2 項からなるので、積を展開すると 4 項になる。各項で Wick の定理を適用する。\((z-w)^{-4}\) への寄与は全縮約（全ての場を縮約するパターン）のみから来る——部分縮約（一部だけを縮約するパターン）は \((z-w)^{-4}\) には寄与しない（理由は後述）。ここでは全縮約の計算構造（どの場をどの場と縮約するか、各縮約の極の次数）を詳しく示す。
計算の目標と方針： 以下の計算では「\(13\)」という数値がどこから来るかを見る。具体的には：
- どの縮約パターンが \((z-w)^{-4}\) に寄与するか（\(\langle bb\rangle = \langle cc\rangle = 0\) により多くのパターンが消える）
- 各縮約の極の次数がどう組み合わさって \((z-w)^{-4}\) を生むか（微分の配分による構造）
- 各項の寄与の絶対値（\(4, 4, 4, 1\)）がどのように決まるか
全体の符号は反交換場のループが常に \((-1)\) を生むという物理的議論から \(-13\) と確定する（「場の量子論」編 「場の量子論」編 第 12 章 のフェルミオンループの符号規則と同じ起源）。符号の厳密な代数的追跡には正規順序積の間の Wick の定理の完全な規則が必要であり、本付録の範囲を超える（Polchinski Vol.1 §2.5, §3.3 参照）。以下では各項の縮約の極の次数と係数の絶対値のみを追跡する。 $$ T_{\text{ghost}}(z) = -2\, :! b(z)\, \partial c(z)! : -\, :! \partial b(z)\, c(z)! : $$
🔵 カイ: 項が 2 つあるから、積を展開すると 4 項になりますね。
🟡 リナ: そう。各項を \((\alpha)(\beta)\) 形式で列挙する：
- 項 (I): \((-2)(-2)\, :\! b\partial c\!:(z) \cdot\, :\! b\partial c\!:(w) = 4\, :\! b\partial c\!:(z)\, :\! b\partial c\!:(w)\)
- 項 (II): \((-2)(-1)\, :\! b\partial c\!:(z) \cdot\, :\! \partial b\, c\!:(w) = +2\, :\! b\partial c\!:(z)\, :\! \partial b\, c\!:(w)\)
- 項 (III): \((-1)(-2)\, :\! \partial b\, c\!:(z) \cdot\, :\! b\partial c\!:(w) = +2\, :\! \partial b\, c\!:(z)\, :\! b\partial c\!:(w)\)
- 項 (IV): \((-1)(-1)\, :\! \partial b\, c\!:(z) \cdot\, :\! \partial b\, c\!:(w) = +1\, :\! \partial b\, c\!:(z)\, :\! \partial b\, c\!:(w)\)
各項で Wick の定理を適用して \((z-w)^{-4}\) の係数を拾う。中心電荷に寄与するのは両側すべてを縮約する項（相関関数の真空期待値）のみ。
項 (I) の計算¶
🟡 リナ: \(:\!b\partial c\!:(z)\, :\!b\partial c\!:(w)\) を考える。両側をすべて縮約するパターンは：
- パターン A: \(b(z)\) と \(\partial c(w)\) の縮約、\(\partial c(z)\) と \(b(w)\) の縮約
基本 OPE から：
🔵 カイ: \(w\) で微分すると \(+1/(z-w)^2\) で、\(z\) で微分すると \(-1/(z-w)^2\)——微分する変数で符号が逆になるんですね。
🟡 リナ: そう。パターン A の縮約値の積：
飛び越え回数による追加の符号を参考として見ておこう（ただし H.6 節冒頭で述べたように、全縮約の完全な符号決定には追加の規則が必要であり、以下の飛び越え計算は最終的な符号を確定するものではない——各項の絶対値のみを記録し、全体の符号はフェルミオンループの議論から最後にまとめて確定する）。
元の場の並び \(b(z),\, \partial c(z),\, b(w),\, \partial c(w)\)（位置 \(1, 2, 3, 4\)）に対し、縮約パターンは \((1,4)(2,3)\)：位置 1 の \(b(z)\) と位置 4 の \(\partial c(w)\) を縮約し、位置 2 の \(\partial c(z)\) と位置 3 の \(b(w)\) を縮約する。正規順序積の間の全縮約の符号を決めるには、各縮約で「場を正規順序積の端から取り出す際に何個の反交換場を飛び越えるか」を数える。右の正規順序積 \(:\!b(w)\partial c(w)\!:\) から \(\partial c(w)\)（位置 4）を取り出すには、\(b(w)\) を 1 回飛び越える（符号 \(-1\)）。左の正規順序積 \(:\!b(z)\partial c(z)\!:\) から \(b(z)\)（位置 1）を取り出すには、左端なので飛び越え 0 回（符号 \(+1\)）。合計の飛び越え回数は 1 回（奇数）なので、飛び越えによる追加符号は \((-1)\)。
縮約値の積は \((-1/(z-w)^4)\) であり、飛び越え符号 \((-1)\) を掛けると \(+1/(z-w)^4\) となる。ただし H.6 節冒頭で述べたように、全縮約の完全な符号決定には追加の規則が必要であるため、以下では各項の \((z-w)^{-4}\) への寄与の絶対値 \(1/(z-w)^4\) のみを記録する。
- パターン B: \(b(z) \leftrightarrow b(w)\) と \(\partial c(z) \leftrightarrow \partial c(w)\) の縮約 → \(\langle b(z)\, b(w)\rangle = 0\)（\(b\)-\(b\) のプロパゲータは存在しない）→ 寄与なし
🟡 リナ: したがって項 (I) の \((z-w)^{-4}\) への寄与はパターン A だけ。縮約値の積の絶対値は \(1/(z-w)^4\)。これに項 (I) の前の係数 \((-2)^2 = 4\) を掛けて、項 (I) 全体の寄与の絶対値は \(4/(z-w)^4\)。実は他の項でも同種の場同士の縮約パターン（\(b\)-\(b\) や \(c\)-\(c\)）は \(\langle bb\rangle = \langle cc\rangle = 0\) で常に消える。つまり、各項で生き残る縮約パターンは「\(b\) と \(c\)（またはその微分）を組にするもの」だけ。
⚪ メイ: なるほど、\(\langle bb\rangle = \langle cc\rangle = 0\) だから、異種の場同士でしか縮約できないのね。
🔵 カイ: 項 (II) だと微分が \(b\) 側に移るから、縮約の極の次数が変わりますよね。でも結局 \((z-w)^{-4}\) になるんですか？
🟡 リナ: その通り。微分がどちらの場に掛かるかで個々の縮約の極の次数は変わるけど、全縮約の積は必ず \((z-w)^{-4}\) に寄与する。実際に見てみよう。
⚪ メイ: H.3 節の「弧の交差数」ルールと、ここでの「飛び越え回数」って、似ているように見えるんだけど——何か関係があるの？
🟡 リナ: いい着眼点。どちらも「反交換場を何回入れ替えたか」を数えている点で本質は同じ。正規順序積がない場合は弧の交差数だけで符号が決まり、正規順序積がある場合は「場を取り出す際の飛び越え」を追加で数える必要がある。でも最終的な符号は一致する。
項 (II) と (III) の計算¶
🟡 リナ: 項 (II) は \(:\!b\partial c\!:(z)\, :\!\partial b\, c\!:(w)\)。両側縮約のパターン：
- パターン A': \(b(z) \leftrightarrow c(w)\) と \(\partial c(z) \leftrightarrow \partial b(w)\)
ここで \(\langle c(z)\, b(w)\rangle = 1/(z-w)\)（H.4 節）を用いた。最初の等号は「場の微分の相関関数 = 相関関数の微分」による（\(z \neq w\) で相関関数は滑らかな関数なので、微分と期待値の順序を交換できる）。まず \(w\) で微分：\(\partial_w [1/(z-w)] = \partial_w [(z-w)^{-1}] = (-1)(z-w)^{-2} \cdot (\partial_w(z-w)) = (-1)(z-w)^{-2}\cdot(-1) = +1/(z-w)^2\)。次に \(z\) で微分：\(\partial_z [1/(z-w)^2] = (-2)(z-w)^{-3} \cdot (\partial_z(z-w)) = (-2)(z-w)^{-3}\cdot(+1) = -2/(z-w)^3\)。
🔵 カイ: \(1/(z-w)\) と \(1/(z-w)^3\) を掛けると確かに \((z-w)^{-4}\) ですね。\(1+3=4\) で項 (I) の \(2+2=4\) とは内訳が違うけど合計は同じだ。
🟡 リナ: 縮約値の積は \(\frac{1}{z-w}\cdot\left(-\frac{2}{(z-w)^3}\right) = -\frac{2}{(z-w)^4}\)。飛び越え回数による符号も含めた全体の符号の決定は本付録の簡略化された処方箋では追跡しきれないため（H.6 節冒頭の方針参照）、ここでは絶対値 \(\frac{2}{(z-w)^4}\) を記録する。
項 (II) の前の係数は \((-2)(-1) = +2\) なので、絶対値として：\(2 \cdot \frac{2}{(z-w)^4} = \frac{4}{(z-w)^4}\)。
🟡 リナ: 各項で微分の配分が変わるから、個々の縮約の極の次数は異なるけど、全縮約の積は必ず \((z-w)^{-4}\) に寄与する。項 (I) では縮約の結果自体が \((z-w)^{-4}\) だったけど、項 (II) では \(1/(z-w)\) と \(1/(z-w)^3\) の積で \((z-w)^{-4}\) が出ている——微分の回数が違う縮約が組み合わさるパターンね。一般に、2 つの縮約の極の次数を足すと必ず 4 になる——項 (I) では \(2+2=4\)、項 (II) では \(1+3=4\)。
⚪ メイ: なるほど、項 (I) の \(2+2\) と項 (II) の \(1+3\) で、微分の配分は違うけど合計は同じ 4 になるのね。偶然じゃなくて、何か理由があるんでしょう？
🟡 リナ: いい着眼点。\(T_\text{ghost}\) は共形ウェイト 2 の場だから、\(T(z)T(w)\) の OPE で最高次の極は \((z-w)^{-2\times 2} = (z-w)^{-4}\)——一般にウェイト \(h\) の場同士の OPE では最高次の極が \((z-w)^{-2h}\) になる。だから全縮約で出る極の次数の合計は必ず 4 になるの。
🔵 カイ: 項 (III) は \(:\!\partial b\, c\!:(z)\, :\!b\partial c\!:(w)\) ですよね。これって項 (II) の \(z\) と \(w\) を入れ替えただけに見えるけど、反交換場だから入れ替えで符号が変わったりしませんか？
🟡 リナ: いい疑問。\(T_{\text{ghost}}\) の各項は 2 つの反交換場の積（\(:b\partial c:\) や \(:\partial b\, c:\)）で、偶数個の反交換場の積はボソン的に振る舞う（\(T\) を別の場と入れ替えるとき、中の反交換場を 2 回入れ替えることになり \((-1)^2 = +1\) で符号が戻る）。したがって \(T(z)T(w) = T(w)T(z)\) が成り立つ。つまり \(T(z)T(w)\) の展開で項 (II) は \(T(z)\) の第 1 項と \(T(w)\) の第 2 項の積、項 (III) は \(T(z)\) の第 2 項と \(T(w)\) の第 1 項の積だから、\(z \leftrightarrow w\) で互いに移り合う。
⚪ メイ: なるほど、項 (II) と項 (III) は \(z\) と \(w\) を入れ替えただけの関係なのね。
🟡 リナ: そう。さらに \((z-w)^{-4} = (w-z)^{-4}\)（偶数べき）なので、\((z-w)^{-4}\) の係数は入れ替えで変わらない。したがって項 (III) の寄与は項 (II) と等しく \(4/(z-w)^4\)。合わせて 項 (II) + 項 (III) の絶対値 = \(8/(z-w)^4\)。
項 (IV) の計算¶
🟡 リナ: 項 (IV) は \(:\!\partial b\, c\!:(z)\, :\!\partial b\, c\!:(w)\)。両側縮約のパターン：
- パターン A'': \(\partial b(z) \leftrightarrow c(w)\) と \(c(z) \leftrightarrow \partial b(w)\)
🔵 カイ: 今度は両方とも \((z-w)^{-2}\) だから、掛けると \((z-w)^{-4}\) ですね。項 (I) と同じパターンだ。でも項 (I) では \(\partial_z\) と \(\partial_w\) が別々の縮約に 1 回ずつ入って \(2+2=4\) だったのに、項 (IV) でも \(2+2=4\) になるのは、微分が \(b\) 側に移っただけで構造は同じってことですか？
🟡 リナ: その通り。項 (IV) では \(\partial b(z)\) と \(c(w)\)、\(c(z)\) と \(\partial b(w)\) の組み合わせで、微分が \(b\) 側に 1 回ずつ入っている。4 つの場 \(\partial b(z)\, c(z)\, \partial b(w)\, c(w)\)（位置 \(1, 2, 3, 4\)）で縮約ペア \((1,4)(2,3)\) について、項 (I) と同じ論法で符号を決める。\(c(w)\)（右の正規順序積の右端）を取り出すのに \(\partial b(w)\) を 1 回飛び越えるので符号 \((-1)\)。縮約値の積の絶対値：\(\frac{1}{(z-w)^2}\cdot\frac{1}{(z-w)^2} = \frac{1}{(z-w)^4}\)
項 (IV) の係数の絶対値 \(1\) を掛けて 項 (IV) の絶対値 \(= \frac{1}{(z-w)^4}\)。
⚪ メイ: 4 つの項を整理すると、極の次数の内訳は項 (I) が \(2+2\)、項 (II) が \(1+3\)、項 (III) が \(3+1\)、項 (IV) が \(2+2\)。微分の配分は違うけど、合計は全部 4 になっている——これが「\(T\) のウェイトが 2 だから最高次の極が \((z-w)^{-4}\)」という一般論の具体的な現れね。
🟡 リナ: ここまでの 4 つの項の全縮約パターンと各寄与を図 H.2「T_ghost T_ghost OPE の全縮約パターン」にまとめた。各項でどの場とどの場が縮約されているか、弧の形で確認してみて。
図 H.2: T_ghost T_ghost OPE の全縮約パターン。4 つの項それぞれについて、z 側と w 側の場の間で可能な縮約パターンを弧で示す。反交換場の並べ替え符号と各縮約の極の次数から (z-w)⁻⁴ への寄与が決まる。
中心電荷の決定¶
🟡 リナ: 4 項を全部足す：
各項の \((z-w)^{-4}\) 係数の絶対値をまとめると：
- 項 (I)：\(4\)
- 項 (II)：\(4\)
- 項 (III)：\(4\)
- 項 (IV)：\(1\)
合計 \(4 + 4 + 4 + 1 = 13\)。
🔵 カイ: \(4+4+4+1\)…きれいに足して 13 になるんですね。
🟡 リナ: 全体の符号について： 最終結果は \(-13\) である。符号が負になる物理的理由は明快：反交換場のループ（閉じた伝播）は常に全体に \((-1)\) を生む（「場の量子論」編 「場の量子論」編 第 12 章 のフェルミオンループの符号規則と同じ起源）。\(TT\) OPE の全縮約は「ゴースト場が閉じたループを描く」構造に対応しており、この \((-1)\) が全体に掛かる。厳密な符号の追跡には、反交換場の動径順序と正規順序の関係における追加の符号規則を全ての縮約パターンで一貫して追う必要があり、本付録の範囲を超える。完全な導出は Polchinski Vol.1 §2.5, §3.3 参照。
本付録で確認したのは「\(13\)」という数値がどこから来るか——4 つの項の寄与の絶対値の内訳——であり、これは各項の縮約の極の次数と係数から一意に決まる。
ここまでの計算では各項について 1 つの縮約パターンのみを示した。もう 1 つのパターン（たとえば項 (II) では \(b(z) \leftrightarrow \partial b(w)\)、\(\partial c(z) \leftrightarrow c(w)\)）も存在するが、\(\langle b(z)\, \partial b(w)\rangle = \partial_w\langle b(z)\, b(w)\rangle = 0\) および \(\langle \partial c(z)\, c(w)\rangle = \partial_z\langle c(z)\, c(w)\rangle = 0\)（同種の場の間にはプロパゲータがない）のため全て消える。項 (I), (IV) でも同様。
上の計算により、\((z-w)^{-4}\) の係数の絶対値 \(13 = 4 + 4 + 4 + 1\) がどこから来るかが確認できた。全体の符号の完全な決定には、反交換場の正規順序積の間の Wick の定理における符号規則（正規順序積の場の順序の規約に依存する）を厳密に追跡する必要があり、本付録の簡略化された処方箋では不十分である。完全な導出（Polchinski Vol.1 §2.5, §3.3）により、最終結果は：
なお、実際の \(TT\) OPE では部分縮約（4つの場のうち2つだけを縮約し、残り2つを正規順序積として残す項）も存在するが、これらは \((z-w)^{-4}\) には寄与しない。理由を確認しよう。
部分縮約で得られる最高次の極は \((z-w)^{-3}\)（例：\(\langle \partial c(z)\, \partial b(w)\rangle = -2/(z-w)^3\)）である。残った正規順序積の中の場 \(\phi(z)\) を \(w\) の周りで Taylor 展開すると \(\phi(z) = \phi(w) + (z-w)\partial\phi(w) + \cdots\) だが、正規順序積の場は \((z-w)^0\) 以上の項しか持たないため、\((z-w)^{-3}\) と掛け合わせても \((z-w)^{-3}\) 以下の極にしかならない。\((z-w)^{-4}\) には到達しない。
⚪ メイ: つまり「全部縮約しないと \((z-w)^{-4}\) は出ない」——中心電荷は全縮約だけで決まるのね。
🟡 リナ: 具体例で確認する。項 (I) \(4\, :\!b\partial c\!:(z)\, :\!b\partial c\!:(w)\) で \(\partial c(z)\) と \(b(w)\) だけを縮約すると \(\langle \partial c(z)\, b(w)\rangle = -1/(z-w)^2\) が出て、残りの \(:\!b(z)\, \partial c(w)\!:\) が正規順序積として残る。\(b(z) = b(w) + (z-w)\partial b(w) + \cdots\) と展開すると、全体は \((z-w)^{-2}\) 以下の極しか持たない。項 (II) で \(\partial c(z)\) と \(\partial b(w)\) を縮約すると \(-2/(z-w)^3\) が出るが、残りの \(b(z)\, c(w)\) の Taylor 展開は \((z-w)^0\) から始まるので、全体は \((z-w)^{-3}\) 以下。いずれも \((z-w)^{-4}\) には届かない。
部分縮約は \((z-w)^{-2}\) の項（\(2T(w)/(z-w)^2\)）と \((z-w)^{-1}\) の項（\(\partial T(w)/(z-w)\)）に寄与する。結果として：
これを \(TT\) OPE の一般形（第 16 章 16.5「エネルギー運動量テンソルと Virasoro 代数の再導出」）\(T T \sim \frac{c/2}{(z-w)^4} + \cdots\) と比較すると：
🔵 カイ: \(-26\) が出るのは分かったけど、正直モヤモヤします。僕たちが追った計算では \(+13\) だったのに、「正しい符号規則を使うと \(-13\)」って言われても、どこで符号が反転するのか具体的に見えないと納得できないです。
🟡 リナ: 本付録では「正規順序積から場を取り出す際の飛び越え回数」で符号を追跡したけど、実は反交換場の動径順序と正規順序の関係には追加の符号規則がある——\(\mathcal{R}[\psi(z)\chi(w)] = \langle \psi(z)\chi(w)\rangle + :\!\psi(z)\chi(w)\!:\) だけど、場の順序を入れ替えると \(\mathcal{R}[\chi(w)\psi(z)] = \langle \chi(w)\psi(z)\rangle - :\!\psi(z)\chi(w)\!:\) のように正規順序積の前にマイナスが付く。正規順序積の間の Wick の定理では、縮約後に残る正規順序積の符号にこの効果が累積する。全ての縮約パターンでこれを正しく追跡すると、合計が \(-13\) になるの。完全な導出は Polchinski Vol.1 §2.5, §3.3 参照。
🔵 カイ: なるほど…完全な符号の追跡は本付録の範囲外だけど、「フェルミオンループは \((-1)\) を生む」という物理的な理由で符号が確定するのは納得できます。絶対値 \(13\) の内訳（\(4+4+4+1\)）がどこから来るかは完全に追えたので、核心は理解できました。でも 1 つ気になるのは、\(4+4+4+1 = 13\) って \(\lambda = 2\) に特有の数ですよね。\(\lambda\) を変えたら内訳はどう変わるんですか？
🟡 リナ: いい質問。一般の \(\lambda\) では各項の係数が \(\lambda^2\), \(\lambda(1-\lambda)\), \((1-\lambda)\lambda\), \((1-\lambda)^2\) に変わり、縮約の極の次数も微分の配分に応じて変わる。全部足し合わせると \(6\lambda^2 - 6\lambda + 1\) になる——次の H.7 節で見る一般公式の中身がまさにこれ。
✅ 理解度チェック: \(T_{\text{ghost}}\, T_{\text{ghost}}\) OPE の \((z-w)^{-4}\) 係数から中心電荷を読み取る際、一般形 \(TT \sim \frac{c/2}{(z-w)^4} + \cdots\) との比較で \(c_{\text{ghost}} = -26\) が得られる。この計算で \((z-w)^{-4}\) の係数が \(-13\) となるが、これはどのような操作から生じるでしょうか？
答え
\(T_{\text{ghost}}(z) = -2:b\partial c: + :\partial b\, c:\) の積を展開して4項を得て、各項で反交換場の Wick の定理を適用し、全ての場を縮約するパターン（真空期待値）を列挙する。反交換場の順序交換による符号を正しく追跡して全項を足し合わせると、\((z-w)^{-4}\) の係数が \(-13\) となる。
計算ノート: 上記の項別計算で「並べ直しの符号」を完全に追うには、反交換場の順序交換を 1 ステップずつ明示する書き方が必要。本付録では各項の絶対値構造と符号の帰結のみ示した。完全な導出は Polchinski 『String Theory』Vol.1 §3.3 または Blumenhagen-Lüst-Theisen 『Basic Concepts of String Theory』§3.3.3 参照。
H.7 一般の \(\lambda\) の場合 — 公式 \(c = -2(6\lambda^2 - 6\lambda + 1)\)¶
🟡 リナ: 上記計算を一般の \(\lambda\) で実行すると、ボソン弦の \(bc\) ゴースト系（\(\lambda = 2\)）を含む広い族の中心電荷公式が得られる：
検算：
- \(\lambda = 2\)：\(c = -2(24 - 12 + 1) = -2 \cdot 13 = -26\) ✓（弦理論のリパラメトリゼーションゴースト）
- \(\lambda = 1/2\)：\(c = -2(3/2 - 3 + 1) = -2 \cdot (-1/2) = 1\)（自由フェルミオン）
- \(\lambda = 3/2\)：もし \(\lambda = 3/2\) の系が反交換場（\(bc\) 系）であれば、公式に代入して \(c = -2(6\cdot\frac{9}{4} - 6\cdot\frac{3}{2} + 1) = -2(\frac{27}{2} - 9 + 1) = -2 \cdot \frac{11}{2} = -11\) となる。しかし超弦の \(\beta\gamma\) ゴーストは実際には交換場（ボソニック）であり、中心電荷の符号が反転する。
🔵 カイ: ちょっと待ってください。なんで超対称性のゴーストだけ交換場になるんですか？ H.1 節では「行列式を出すために反交換場が必要」って話だったのに。
🟡 リナ: いい質問。H.1 節の論理を振り返ろう。Faddeev-Popov の手続きでは「ゲージパラメータを場に置き換える」のだった。核心は次のルール：
- ゲージパラメータが交換的（普通の数）→ ゴースト場は反交換的にする（反交換変数のガウス積分で \(\det M\) を出すため）
- ゲージパラメータが反交換的（Grassmann 奇）→ ゴースト場は交換的にする（交換変数のガウス積分で \((\det M)^{-1}\) を出すため）
つまり「ゲージパラメータと逆の統計性を持つ場を導入する」のが一般的なルール。
⚪ メイ: ゲージパラメータの「性格」に応じて、ゴースト場のタイプが裏返しになるのね。
🟡 リナ: 通常のゲージ対称性（座標変換 \(\delta\sigma^a\)）のパラメータは普通の数（交換的）だから、ゴースト \(c\) は反交換的になった。一方、超対称性のゲージパラメータはすでに反交換的（Grassmann 奇）——超対称性はボソンとフェルミオンを入れ替える変換で、そのパラメータ自身がフェルミオン的な性質を持つの（第 17 章参照）。だから超対称ゴーストは逆に交換的（Grassmann 偶）な場——\(\beta\gamma\) 系——になる。交換場のガウス積分は \(\int \mathcal{D}\bar\beta\, \mathcal{D}\gamma\, e^{-\bar\beta M \gamma} = (\det M)^{-1}\) で、ちょうど必要な逆数を与えるの。
⚪ メイ: つまり「\(\det M\) を出したいか、\((\det M)^{-1}\) を出したいか」で、反交換場を使うか交換場を使うかが決まるのね。
🟡 リナ: その通り。そして中心電荷の符号が反転する理由も明快——\(\beta\gamma\) 系は交換場だからフェルミオンループの \((-1)\) が出ない。結果として \(TT\) OPE の \((z-w)^{-4}\) 係数の符号が \(bc\) 系と反転する。したがって：
🔵 カイ: おお、\(bc\) 系の \(-11\) がそのまま符号反転して \(+11\) になるんですね。きれいだ。
⚪ メイ: つまり \(\lambda\) が場の共形ウェイトを決めて、同じ構造の OPE 計算から中心電荷が一意に出る——\(\lambda = 2\) でボソン弦のゴースト、\(\lambda = 1/2\) で自由フェルミオンと、1 つの公式が全部カバーしているのね。
🔵 カイ: \(\lambda = 1/2\) で \(c = 1\) って、第 16 章で出てきた自由フェルミオン 1 成分の中心電荷 \(c = 1/2\) とは違いますよね？ \(bc\) 系は \(b\) と \(c\) の 2 つの場があるから 2 倍になってるってことですか？ でもそれなら \(\lambda = 2\) のゴーストも \(b\) と \(c\) の 2 つがあるのに、なぜ「2 倍」とは言わないんですか？
🟡 リナ: いい質問。\(bc\) 系の \(\lambda = 1/2\) は「複素フェルミオン」（\(b\) と \(c\) が独立な 2 成分）に対応するから \(c = 1\)。実フェルミオン 1 成分なら \(c = 1/2\) で、2 成分で \(c = 1\) になる。\(\lambda = 2\) のゴーストでも同じ——\(b\) と \(c\) の 2 つの場を合わせた系全体の中心電荷が \(-26\) なの。「1 成分あたり \(-13\)」とは言わない。公式 \(c = -2(6\lambda^2 - 6\lambda + 1)\) は最初から \(bc\) 系全体（2 つの場を含む）の中心電荷を与えている。
第 17 章（超弦理論）では \(bc\) ゴースト（\(\lambda = 2, c = -26\)）に加えて超共形対称性のゴースト \(\beta\gamma\) 系（\(\lambda = 3/2, c = +11\)）が登場する。物質場の中心電荷（\(D\) 個のボソン（各 \(c = 1\)）+ \(D\) 個の実フェルミオン（各 \(c = 1/2\)）\(= D + D/2 = 3D/2\)）とゴーストの合計がゼロになる条件から：
超弦の臨界次元 \(D = 10\) が、ボソン弦と全く同じ論理から出てくる。
🔵 カイ: ボソン弦 \(D=26\) も超弦 \(D=10\) も、「中心電荷の合計ゼロ」という 1 つの条件から出るんですね。統一的だ。
✅ 理解度チェック: 一般の \(\lambda\) に対する \(bc\) 系の中心電荷公式 \(c = -2(6\lambda^2 - 6\lambda + 1)\) において、\(\lambda = 1/2\) のとき \(c = 1\) となる。これは自由フェルミオン何成分に対応するでしょうか？
答え
\(\lambda = 1/2\) の \(bc\) 系は「複素フェルミオン」（\(b\) と \(c\) が独立な2成分）に対応し、\(c = 1\) となる。実フェルミオン1成分の中心電荷は \(c = 1/2\) であり、2成分（複素フェルミオン）で \(c = 1\) となるので整合している。
H.8 BRST 電荷と物理状態の選択（概観）¶
🟡 リナ: ゴースト場が実在しない場を排除するため、BRST（Becchi-Rouet-Stora-Tyutin）対称性と呼ばれる特殊な大域的対称性を導入する。具体的には：
- BRST 電荷 \(Q_B\)：ゴースト場を含む特定の組み合わせで、\(Q_B^2 = 0\)（冪零性）を満たす
- 物理状態：\(Q_B |\text{phys}\rangle = 0\) を満たす状態から、\(|\text{phys}\rangle \sim |\text{phys}\rangle + Q_B|\chi\rangle\)（BRST 厳密形式）を除いたもの
🔵 カイ: \(Q_B^2 = 0\) って、2 回作用させると消えるってことですよね。なぜそれが物理状態の選択に使えるんですか？
🟡 リナ: \(Q_B^2 = 0\) は「\(Q_B\) で消える状態」の中に「\(Q_B\) で作れる状態」が含まれることを保証する。物理状態は「\(Q_B\) で消えるが、\(Q_B\) で作れない」もの——数学ではこのような「閉じているが厳密でない」要素を取り出す構造をコホモロジーと呼ぶ。直感的には「本質的に新しい状態だけを選び出す篩（ふるい）」のようなもの。
⚪ メイ: 「\(Q_B\) で消える」けど「\(Q_B\) で作れない」——それが本物の物理状態、という選別ね。
🟡 リナ: そして \(Q_B^2 = 0\) が成り立つ条件を量子論で課すと：
という条件が自動的に出る。これが 16.7「臨界次元の CFT 的再導出」 で使った臨界次元決定条件の起源。
⚪ メイ: ゲージ固定で導入したゴースト場が、逆に物理状態を選び出す道具になるのね。
✅ 理解度チェック: BRST 電荷 \(Q_B\) の冪零性 \(Q_B^2 = 0\) は、物理状態の選択においてどのような役割を果たすでしょうか？
答え
\(Q_B^2 = 0\) により、「\(Q_B\) で消える状態（\(Q_B|\text{phys}\rangle = 0\)）」の中に「\(Q_B\) で作れる状態（\(Q_B|\chi\rangle\)）」が含まれることが保証される。物理状態は「\(Q_B\) で消えるが \(Q_B\) で作れない」状態として定義され、これはコホモロジーの構造を成す。さらに量子論で \(Q_B^2 = 0\) を要請すると \(c_{\text{matter}} + c_{\text{ghost}} = 0\) が導かれ、臨界次元が決定される。
🟡 リナ: 詳細は Polchinski Vol.1 §4.2 または Kiritsis §3.11 参照。
H.9 まとめ¶
表 H.1: 付録Hの主要結果まとめ
| 項目 | 結果 |
|---|---|
| \(bc\) 系の作用 | \(S = \frac{1}{2\pi}\int d^2z\, b\, \bar\partial c\) |
| 基本 OPE | \(b(z)c(w) \sim 1/(z-w)\) |
| エネルギー運動量テンソル | \(T = -\lambda\, :b\,\partial c:+(1-\lambda)\, :\partial b\, c:\)（正規順序積の中で反交換場を入れ替えると符号が変わる：\(:\partial b\, c: = -:c\,\partial b:\)） |
| 中心電荷（一般公式） | \(c = -2(6\lambda^2 - 6\lambda + 1)\) |
| 弦理論のゴースト（\(\lambda=2\)） | \(c_{\text{ghost}} = -26\) |
| 超弦の \(\beta\gamma\) 系（交換場、\(\lambda=3/2\)） | \(c_{\beta\gamma} = +11\)（\(bc\) 公式の符号反転） |
| 臨界次元の決定 | \(c_{\text{matter}} + c_{\text{ghost}} = 0\) |
🟡 リナ: これで第 16 章 16.7「臨界次元の CFT 的再導出」 で「結果として使った」\(c_{\text{ghost}} = -26\) がどこから来るかが見えた。反交換場の Wick の定理と OPE の計算は技術的だけど、原理的には第 16 章で扱ったボソン場の計算と同じ構造なの。
🔵 カイ: 「場の統計性」と「微分の配分」で中心電荷が決まる——技術的だけど、結局は同じ OPE の繰り返しなんですね。
⚪ メイ: Faddeev-Popov から始まって \(c_{\text{ghost}} = -26\) まで、1 本の論理の糸で繋がっているのが気持ちいいわ。
参考文献¶
- J. Polchinski, String Theory Vol.1, §3.2-3.3, §4.1-4.2
- R. Blumenhagen, D. Lüst, S. Theisen, Basic Concepts of String Theory, §3.3
- E. Kiritsis, String Theory in a Nutshell, §3.10-3.11
- M. Peskin, D. Schroeder, An Introduction to Quantum Field Theory, §16.2（Faddeev-Popov の非 Abel ゲージ理論での実装）
このページについてフィードバック
分からなかった箇所、誤りの指摘、改善提案などをお寄せください。