# 頂点作用素代数：形式的分布と局所性・Dong の補題・Goddard の一意性定理・Borcherds 恒等式・Zhu 代数 > 形式的分布と局所性から頂点代数を公理化し、Dong の補題、Goddard の一意性定理、生成元からの再構成定理、Borcherds 恒等式を証明する。Virasoro 頂点作用素代数と Heisenberg 頂点代数を構成し、Zhu 代数が最高ウェイト空間に作用することとユニタリ性の定式化を示す。 > https://rikai.mugen-giken.com/mathematics/vertex-algebras/vertex-operator-algebras ## 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 の理論は主張として述べます。 ## 1. 動機 [前章](/mathematics/vertex-algebras/coset-minimal-models) までは、[Virasoro 代数](/mathematics/vertex-algebras/virasoro-algebra#def-virasoro)や[アフィン Lie 代数](/mathematics/vertex-algebras/coset-minimal-models#def-affine-lie)のモード $L_n$、$x_n$ を直接扱いました。しかし菅原構成の証明で見たように、2 次式のモードの交換子は無限和の並べ替えを伴い、計算は個別の工夫に頼っていました。また極小模型の主場 $\varphi(z)$ と状態 $L_{-2}\varphi$ の関係は、場と状態の対応として理解すべきものです。 頂点代数は、2 次元の共形場理論で「場 $a(z)$ は状態 $a=a(0)|0\rangle$ と 1 対 1 に対応し、場は互いに局所可換である」という性質を代数的に公理化したものです。[Wightman の公理](/physics/axiomatic-qft/wightman-axioms) の局所可換性に当たるのが、形式的分布の局所性 $(z-w)^N[a(z),b(w)]=0$ です。この記事では、局所性というただ 1 つの条件から、演算子積展開・交換関係・結合法則（Borcherds 恒等式）がすべて導かれることを示します。その結果、菅原構成のような計算は「生成場の局所性を確かめる」ことに帰着し、[次章](/mathematics/vertex-algebras/affine-sugawara-wzw) 以降ではそれを使います。 （この章の続きは購入者向けです。）