W 代数：Miura 変換・Fateev–Lukyanov 生成元・W₃ のゼロモード代数・量子 Hamilton 簡約

0. この記事の要点

2 次元の場の理論には、Virasoro 代数という「長さを場所ごとに変える変換（共形変換）」の対称性があります。この記事は、それよりも大きな対称性を、重みの高い場を Virasoro 代数に加えて作る話です。まず自由なボソン場の中に具体的な生成元を書き下し、次に別の一般的な作り方（量子 Hamilton 簡約）を見ます。読み終えると、$W_3$ 代数の生成元がなぜ「主場」になるのかを計算で追え、Fock 加群の最低次部分に現れる値がどう決まるかを説明できるようになります。

• W 代数 は、Virasoro 場 $T$ と、重み $3,4,\dots$ の主場で「自由に強生成」される頂点作用素代数です。最も簡単な非自明な例が Zamolodchikov の $W_3$ 代数 で、$W(z)W(w)$ の演算子積展開に $T$ の 2 次式 $\Lambda=:TT:-\frac3{10}\partial^2T$ が現れるため、モードの代数は Lie 代数になりません。
• $\mathfrak{sl}(n)$ の Cartan 部分代数に値をとる自由ボソンを使い、量子 Miura 変換 $:\prod_{i=1}^n(\alpha_0\partial+h_i(z)):=\sum_kU_k(z)(\alpha_0\partial)^{n-k}$ で場 $U_k$ を定めます。$-U_2$ は背景電荷（Virasoro 場に 1 次の項を足すパラメータ）$\alpha_0\rho$ の Virasoro 場で、中心電荷は $c=(n-1)-12\alpha_0^2(\rho|\rho)$ です。
• $n=3$ では $W=U_3-\frac{\alpha_0}2\partial U_2$ が重み $3$ の主場であることを、$L_1,L_2,L_3$ の作用を有限個の項の計算で確かめて証明します（Fateev–Lukyanov 生成元）。
• ゼロモード代数: Fock 加群 $F_\mu$ の最高ウェイトベクトル上で $L_0=\frac12(\nu|\nu)-\alpha_0^2$、$W_0=\nu_1\nu_2\nu_3$（$\nu=\mu-\alpha_0\rho$、$\nu_i=(\varepsilon_i|\nu)$）です。したがって最低次部分のデータ $(h,w)$ は $\nu$ の対称式で、$\nu$ の $S_3$ 軌道（$\rho$ だけずらした Weyl 群の作用）でちょうど分類されます。証明は Miura 変換を $z^x$ に作用させる計算に帰着します。
• 量子 Hamilton 簡約（Kac–Roan–Wakimoto）は、アフィン頂点代数 $V^k(\mathfrak{g})$ から BRST コホモロジー（$d^2=0$ を満たす微分 $d$ の核を像で割ったもの）として W 代数を作る一般的な構成です。$\mathfrak{sl}(2)$ の場合に、微分 $d$ が $d^2=0$ を満たし、ずらした全エネルギー運動量テンソルと可換で、中心電荷が $1-\frac{6(k+1)^2}{k+2}$ になることを証明します。コホモロジーの消滅と Gorelik–Kac の単純性判定は主張として述べます。

この記事で使う事前知識

• 主場: Virasoro 代数の正のモード $L_n$（$n\ge1$）で消える、$L_0$ の固有ベクトルとなる場。→ 主場
• 頂点作用素代数: 真空と共形ベクトル $\omega$ をもち、状態と場が対応する代数的構造。→ 頂点作用素代数
• Virasoro 代数: 生成元 $L_n$ と中心電荷 $c$ をもつ、共形対称性を表す無限次元 Lie 代数。→ Virasoro 代数
• アフィン Lie 代数: ループ代数に中心を付け加えたもの。§6 の出発点になる。→ アフィン Lie 代数
• Heisenberg 代数と Fock 加群（自由ボソン）: 交換関係 $[a_m,a_p]=m\delta_{m+p,0}$ をみたす $a_m$ の代数と、その最高ウェイトベクトルから作る表現。→ 頂点作用素代数
• 基本対称式: 変数の置換で不変な多項式を作る基本の組（3 変数なら $x_1+x_2+x_3$、$x_1x_2+x_1x_3+x_2x_3$、$x_1x_2x_3$）。→ 基本対称式

1. 動機

2 次元共形場理論の対称性は Virasoro 代数ですが、多くの模型はそれより大きな対称性をもちます。アフィン Lie 代数と WZW 模型 のカレントは重み $1$ の対称性でした。Zamolodchikov（1985）は、重み $2$ の $T(z)$ に重み $3$ の主場 $W(z)$ を加えた対称性を考え、結合法則（Jacobi 恒等式）から $W(z)W(w)$ の演算子積展開が中心電荷 $c$ だけで一意に決まることを見出しました。その特徴は、OPE の右辺に $T$ の 2 次式が現れることです。したがってモード $L_n,W_n$ は Lie 代数をなさず、「非線形な」代数になります。これを正しく扱う枠組みが 頂点作用素代数 です。

W 代数を具体的に作る方法は 2 つあります。1 つは 自由場表示（Fateev–Lukyanov）で、Lie 代数 $\mathfrak{sl}(n)$ の Cartan 部分代数に値をとる自由ボソンの中に、量子 Miura 変換で生成元を書き下します。Virasoro の最高ウェイト表現 の Feigin–Fuchs の Fock 加群は $n=2$ の場合です。もう 1 つは 量子 Hamilton 簡約 で、アフィン Lie 代数のカレントに「$e(z)=1$」という拘束を課して BRST コホモロジーをとります。古典極限ではこれは Drinfeld–Sokolov 簡約で、KdV 階層や Gelfand–Dickey 階層の Poisson 構造を与えます。

この記事では、§2 で W 代数を定義し、§3〜§5 で自由場表示から $W_3$ 代数の生成元とそのゼロモードの代数を構成し、§6 で量子 Hamilton 簡約を扱います。

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

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

購入する ログイン