# W 代数：Miura 変換・Fateev–Lukyanov 生成元・W₃ のゼロモード代数・量子 Hamilton 簡約 > 高い重みの主場で Virasoro 代数を拡張した W 代数を定義し、自由ボソンの量子 Miura 変換から W₃ 代数の生成元 T, W を構成して W が重み 3 の主場であることを証明する。Fock 加群の最低次部分でのゼロモードが ρ だけずらした Weyl 群の不変式になることを示し、量子 Hamilton 簡約と単純性判定を述べる。 > https://rikai.mugen-giken.com/mathematics/vertex-algebras/w-algebras ## 0. この記事の要点 2 次元の場の理論には、Virasoro 代数という「長さを場所ごとに変える変換（共形変換）」の対称性があります。この記事は、それよりも大きな対称性を、重みの高い場を Virasoro 代数に加えて作る話です。まず自由なボソン場の中に具体的な生成元を書き下し、次に別の一般的な作り方（量子 Hamilton 簡約）を見ます。読み終えると、$W_3$ 代数の生成元がなぜ「主場」になるのかを計算で追え、Fock 加群の最低次部分に現れる値がどう決まるかを説明できるようになります。 - **W 代数** は、Virasoro 場 $T$ と、重み $3,4,\dots$ の[主場](/mathematics/vertex-algebras/coset-minimal-models#def-primary-field)で「自由に強生成」される頂点作用素代数です。最も簡単な非自明な例が 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 の単純性判定は主張として述べます。 ## 1. 動機 2 次元共形場理論の対称性は [Virasoro 代数](/mathematics/vertex-algebras/virasoro-algebra#def-virasoro)ですが、多くの模型はそれより大きな対称性をもちます。[アフィン Lie 代数と WZW 模型](/mathematics/vertex-algebras/affine-sugawara-wzw) のカレントは重み $1$ の対称性でした。Zamolodchikov（1985）は、重み $2$ の $T(z)$ に重み $3$ の主場 $W(z)$ を加えた対称性を考え、結合法則（Jacobi 恒等式）から $W(z)W(w)$ の演算子積展開が中心電荷 $c$ だけで一意に決まることを見出しました。その特徴は、OPE の右辺に $T$ の 2 次式が現れることです。したがってモード $L_n,W_n$ は Lie 代数をなさず、「非線形な」代数になります。これを正しく扱う枠組みが [頂点作用素代数](/mathematics/vertex-algebras/vertex-operator-algebras) です。 W 代数を具体的に作る方法は 2 つあります。1 つは **自由場表示**（Fateev–Lukyanov）で、Lie 代数 $\mathfrak{sl}(n)$ の Cartan 部分代数に値をとる自由ボソンの中に、量子 Miura 変換で生成元を書き下します。[Virasoro の最高ウェイト表現](/mathematics/vertex-algebras/virasoro-representations) の 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 簡約を扱います。 （この章の続きは購入者向けです。）