頂点作用素代数：形式的分布と局所性・Dong の補題・Goddard の一意性定理・Borcherds 恒等式・Zhu 代数

0. この記事の要点

物理の「場」は、2 点を近づけて掛け合わせると値が発散します。この記事は、その発散の仕方を有限個のデータで整理する代数の枠組み（頂点代数）を作る話です。この枠組みでは、場と「状態」（真空に場を作用させたベクトル）が 1 対 1 に対応し、少数の生成場について互いに可換に近いこと（局所性）を確かめるだけで、全体が矛盾なく定まります。読み終えると、第 2 章以降の計算がなぜその局所性の確認に帰着するのかが分かります。

• 形式的分布 $a(z)=\sum_na_{(n)}z^{-n-1}$ の 2 つが 局所的 とは、ある $N$ で $(z-w)^N[a(z),b(w)]=0$ となることです。このとき交換子は $\delta(z-w)$ の導関数の有限和に分解され（演算子積展開。2 つの場が近づくときの特異な振る舞いを書き表した公式）、モードの交換関係が得られます。
• 頂点代数 は、真空 $|0\rangle$、平行移動 $T$、状態と場の対応 $a\mapsto Y(a,z)$ の組で、場がすべて互いに局所的なものです。共形ベクトル $\omega$ を備え $L_0$ で次数付けられたものが 頂点作用素代数（VOA） です。
• Dong の補題（局所的な場の $n$ 次積は局所性を保つ）と Goddard の一意性定理（真空への作用で場が決まる）を証明し、そこから「互いに局所的な生成場があれば頂点代数が一意に定まる」という 再構成定理 と、Borcherds 恒等式 を導きます。
• 例として、Virasoro 頂点作用素代数 $V_c$ と、背景電荷つき Heisenberg 頂点代数（中心電荷 $\ell-12(\alpha|\alpha)$）を構成します。
• Zhu 代数 $A(V)=V/O(V)$（加群の最低次の部分を調べるための代数）について、加群の最高ウェイト空間にゼロモード $o(a)=a_{(\mathrm{wt}\,a-1)}$ を通じて $A(V)$ が作用すること（$o(a*b)=o(a)o(b)$、$o(O(V))=0$）を Borcherds 恒等式から証明します。Zhu の対応定理と Dong–Lin のユニタリ VOA の理論は主張として述べます。

この記事で使う事前知識

• Virasoro 代数: 生成元 $L_n$ と中心元の間に決まった交換関係をもつ Lie 代数で、中心元の値が中心電荷です。→ Virasoro 代数
• 最高ウェイト表現と Fock 加群: 消滅作用素に消される状態から生成される表現が最高ウェイト表現で、Heisenberg 代数の生成元を真空に掛けて作る表現が Fock 加群です。→ Virasoro の最高ウェイト表現
• Heisenberg 代数: 生成元 $a_n$ が $[a_m,a_n]=m\,\delta_{m+n,0}$ を満たす代数です。→ Virasoro の最高ウェイト表現
• 主場: Virasoro 代数との交換関係が、重みと呼ばれる数 $\Delta$ だけで決まる場です。→ 主場
• PBW の定理: 普遍包絡代数の基底が、生成元の順序づけた単項式で与えられるという定理です。→ PBW の定理

1. 動機

前章 までは、Virasoro 代数やアフィン Lie 代数のモード $L_n$、$x_n$ を直接扱いました。しかし菅原構成の証明で見たように、2 次式のモードの交換子は無限和の並べ替えを伴い、計算は個別の工夫に頼っていました。また極小模型の主場 $\varphi(z)$ と状態 $L_{-2}\varphi$ の関係は、場と状態の対応として理解すべきものです。

頂点代数は、2 次元の共形場理論で「場 $a(z)$ は状態 $a=a(0)|0\rangle$ と 1 対 1 に対応し、場は互いに局所可換である」という性質を代数的に公理化したものです。Wightman の公理 の局所可換性に当たるのが、形式的分布の局所性 $(z-w)^N[a(z),b(w)]=0$ です。この記事では、局所性というただ 1 つの条件から、演算子積展開・交換関係・結合法則（Borcherds 恒等式）がすべて導かれることを示します。その結果、菅原構成のような計算は「生成場の局所性を確かめる」ことに帰着し、次章 以降ではそれを使います。

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

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

購入する ログイン