# 不変双線形形式とユニタリ VOA：Li の定理・Dong–Lin の伝播・変形によるユニタリ性 > VOA の反傾加群が加群であることを有理関数の展開から証明し、不変双線形形式を V₀/L₁V₁ の双対で分類する Li の定理、単純性との同値、Hermite 化、生成元からの Dong–Lin の伝播、Gram 行列の変形によるユニタリ性の原理を示す。 > https://rikai.mugen-giken.com/mathematics/vertex-algebras/invariant-forms-unitarity ## 0. この記事の要点 量子論では、状態の空間に「長さ」を測る内積が入り、その内積に関して演算子の共役がきちんと定まっていること（ユニタリ性）が、確率解釈の前提になります。確率は内積から計算されるので、内積が正定値でなければ負の確率が出てしまいます。2 次元の共形場理論を数学的に定式化した頂点作用素代数（VOA）でも事情は同じで、VOA を量子論として扱うには、その上に対称性と両立する正定値な内積が入っていなければなりません。 この記事は、頂点作用素代数の上にそのような内積がいつ、何通り入るのかを調べ、さらに「少数の生成元で確かめれば全体で成り立つ」こと、「パラメータを動かしても代数が単純である限りユニタリ性は失われない」ことを証明します。 これらは、個々の VOA がユニタリであることを示すときの共通の道具です。内積の候補を探す、全ての場で対称性との両立を確かめる、無限個の行列の正定値性を調べる、という 3 つの壁が、それぞれ「候補は 1 つ」「生成元だけ確かめればよい」「途中で単純性が崩れないことだけ見ればよい」に置き換わります。ユニタリな VOA は、作用素環による共形場理論の定式化（共形ネット）へ移るための出発点にもなります。 - **反傾加群**: $V$ の加群 $M$ の制限双対 $M'$ に、座標の反転 $z\mapsto z^{-1}$ を伴う作用 $Y'(a,z)$ を入れたものが再び加群になります。これを「行列成分が 1 つの有理関数の 3 通りの展開である」という特徴づけと、反転の共役公式から証明します。 - **Li の定理**: $V$ 上の不変双線形形式の空間は $(V_0/L_1V_1)^*$ と同型で、不変双線形形式は自動的に対称です。とくに $V_0=\mathbb{C}|0\rangle$、$L_1V_1=0$ なら、$(|0\rangle,|0\rangle)=1$ と正規化した不変形式がただ 1 つあります。 - **単純性**: 不変形式の根基はイデアルで、上の条件の下では「$V$ が単純 ⟺ 正規化した形式が非退化 ⟺ 各次数で非退化」です。 - **Hermite 化**: 反線形対合 $\phi$ について $\langle a,b\rangle=(a,\phi b)$ は Hermite で Dong–Lin の不変性を満たし、そのような正規化形式はこれに限られます。正定値ならユニタリ VOA で、ユニタリ VOA は（$V_0=\mathbb{C}|0\rangle$ なら）単純です。 - **Dong–Lin の伝播と変形の原理**: 不変性は生成元で確かめれば全体で成り立ちます（VOA 版と加群版）。連結なパラメータ空間上の VOA の族で、Gram 行列が連続、1 点で正定値、各点で単純なら、全点でユニタリです。例として Heisenberg VOA の Fock 内積を扱います。 ## 1. 動機 ### 1.1. ユニタリ性はなぜ要るか 量子論では、状態は Hilbert 空間のベクトルで、状態 $\psi$ から $\varphi$ への遷移の確率は $\lvert\langle\varphi,\psi\rangle\rvert^2$（正規化したベクトルについて）で与えられます。ノルムの 2 乗が負の状態があると、この解釈が成り立ちません。対称性は内積を保つ作用（ユニタリ作用素）として働く必要があり、無限小の生成子の言葉では共役の関係になります。2 次元の共形場理論では、対称性の代数は Virasoro 代数（[第 1 章](/mathematics/vertex-algebras/virasoro-algebra)）とその拡大で、その生成子 $L_n$ には $L_n^\dagger=L_{-n}$ が要求されます。時間を虚数にした Euclid 形式では、同じ要請は Osterwalder–Schrader の **反射正値性**（1973 年）として現れ、相関関数から Hilbert 空間を組み立て直すための鍵になります。 ユニタリ性は、理論の形を強く縛ります。Friedan–Qiu–Shenker（1984 年）は、中心電荷 $c\lt1$ でユニタリな Virasoro 代数の最高ウェイト表現が現れるのは $c=1-\frac6{m(m+1)}$（$m=3,4,\dots$）という離散的な値だけであることを示しました（。Rikai では主張のみ）。$m=3$ の $c=\frac12$ が Ising 模型の臨界点で、統計力学の臨界現象の分類が、ユニタリ性という 1 つの条件から出てくるわけです。逆にそれらが実際にユニタリであることは、Goddard–Kent–Olive（1985–86 年）が coset 構成で示しました（）。 ### 1.2. 歴史：Virasoro 代数の内積から頂点作用素代数のユニタリ性へ Virasoro 代数の最高ウェイト表現には、$L_n^\dagger=L_{-n}$ を満たす Hermite 形式（Shapovalov 形式）が自然に入り、その Gram 行列の行列式は Kac（1979 年）の行列式公式で与えられます（[Kac 行列式](/mathematics/vertex-algebras/virasoro-representations#thm-kac-determinant)）。ユニタリ性の判定は、この行列式の符号を追う問題でした。Belavin–Polyakov–Zamolodchikov（1984 年）が共形場理論を Virasoro 代数の表現論として組み立てた後、Borcherds（1986 年）と Frenkel–Lepowsky–Meurman（1988 年）が場の代数そのものを公理化したのが頂点作用素代数です（[頂点作用素代数](/mathematics/vertex-algebras/vertex-operator-algebras#def-voa)）。 VOA の言葉で「表現の双対」と「不変形式」を扱う枠組みを整えたのが Frenkel–Huang–Lepowsky（1993 年）で、反傾加群と不変双線形形式の関係はここで確立しました。Li（1994 年）は不変双線形形式の空間を $(V_0/L_1V_1)^*$ として完全に決定しました。物理のユニタリ性に対応する概念は、Dong–Lin（2014 年）が反線形対合と不変 Hermite 形式の組として定義し、格子 VOA・アフィン VOA・Virasoro VOA からムーンシャイン VOA まで、よく知られた有理的な VOA の多くがユニタリであることを示しました。Carpi–Kawahigashi–Longo–Weiner（2018 年）は、ユニタリ VOA と作用素環による共形場理論（共形ネット）を結ぶ対応を作りました。最近では Kac–Möseneder Frajria–Papi（2022 年）が W 代数の不変 Hermite 形式を調べ、全ての W 代数が零でない不変 Hermite 形式をもつことを示しています。この記事は、この流れの中の、反傾加群から変形の原理までの一般論を、Rikai の中で閉じた形で証明するものです。 ### 1.3. この記事が答える 3 つの問い [前章](/mathematics/vertex-algebras/vertex-operator-algebras) の §6 では、Dong–Lin によるユニタリ VOA の定義（[ユニタリ VOA](/mathematics/vertex-algebras/vertex-operator-algebras#def-unitary-voa)）を述べ、その基本定理 を主張だけにしていました。ある VOA がユニタリであることを示すには、次の 3 つの問いに答える必要があります。 1. 内積の候補はどこから来るのか。候補がたくさんあるなら、どれを調べればよいのか。 2. 不変性 $\langle Y(e^{zL_1}(-z^{-2})^{L_0}a,z^{-1})u,v\rangle=\langle u,Y(\phi a,z)v\rangle$ は、すべての $a\in V$ について確かめなければならないのか。 3. 正定値性は、無限個の有限次元空間 $V_n$ のすべてで Gram 行列の固有値を調べることになるが、それを一挙に示す方法はないか。 1 への答えが Li の定理です。不変な双線形形式は $V_0/L_1V_1$ の双対で分類され、よくある状況（$V_0=\mathbb{C}|0\rangle$、$L_1V_1=0$）では正規化すればただ 1 つなので、調べるべき候補は 1 つしかありません。2 への答えが Dong–Lin の伝播で、生成元で確かめれば足ります。3 への答えが変形の原理です。正定値な行列の連続な族は、行列式が $0$ にならない限り正定値のままなので、ユニタリであることが分かっている点からパラメータを動かし、途中で VOA が単純であり続けることさえ示せばよいのです。 これらの議論はすべて、ただ 1 つの技術的な事実の上に立っています。$V$ の加群 $M$ の双対 $M'$ に「$z$ を $z^{-1}$ に取り換えた」作用を入れると、それが再び加群になる、という事実です（反傾加群）。物理の言葉では、場 $a(z)$ の共役 $a(z)^\dagger$ は $z\mapsto 1/\bar z$ の座標変換で移った場で、その変換則が $e^{zL_1}(-z^{-2})^{L_0}$ という因子に現れます。この記事の前半は、この事実を Borcherds 恒等式から完全に証明することに充てます。 ### 1.4. ユニタリ性の先にあるもの ユニタリ性は、それ自体が目的というより、次の段階への入口です。2 次元共形場理論のカイラル部分には、場を形式的べき級数として扱う VOA と、円周の各区間 $I$ に観測量の [von Neumann 環](/mathematics/operator-algebras/von-neumann-algebras#def-von-neumann-algebra) $\mathcal{A}(I)$ を対応させる **共形ネット** という 2 つの公理化があります。後者は Haag–Kastler の代数的場の量子論の 1 次元版で、作用素環の理論、とくに Jones（1983 年）の部分因子環の指数の理論が使えます。Kawahigashi–Longo（2004 年）は、この道具で $c\lt1$ の共形ネットを Dynkin 図形の組で完全に分類しました。 2 つの公理化を行き来するには、VOA の側がユニタリでなければなりません。内積がなければ Hilbert 空間も作用素のノルムもないからです。そのうえで、場を試験関数でぼかした作用素が、離れた区間どうしで本当に可換であること（強局所性）が要ります。この記事の道具は、この流れの最初の段階を受け持ちます（§10）。
2 次元共形場理論 相関関数・Hilbert 空間 確率の正値性 頂点作用素代数 （代数的な公理化） 不変 Hermite 形式 共形ネット （作用素環の公理化） 区間ごとの von Neumann 環 この記事の道具 反傾加群・Li の定理・単純性 Hermite 化・Dong–Lin の伝播 変形の原理 公理化 ユニタリ性 ＋強局所性（CKLW） ユニタリ性を示す
（この章の続きは購入者向けです。）