論文「Vertex Operator Algebra の共変量と共形ブロックのベクトル束に対する行列ランク公式」の技術的サマリー

この論文は、Xiangrui Luo によって執筆されたもので、Vertex Operator Algebra (VOA) の加群に関連する共変量（coinvariants）のベクトル束および共形ブロック（conformal blocks）のランク（次元）を計算するための新しい統一的な手法を提案しています。特に、**FA-行列（FA-matrices）**と呼ばれる新しい行列概念を導入し、融合規則（fusion rules）と平均化行列（averaging matrices）の概念を統合することで、種数 $g$ の安定な点付き曲線のモジュライ空間 $\mathcal{M}_{g,n}$ 上でのランクを閉じた式で計算する公式を導出しています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定と背景

• 背景: 与えられた VOA $V$ とその加群の組に対して、安定な点付き曲族のモジュライ空間 $\mathcal{M}_{g,n}$ 上で定義される「共変量のベクトル束」$\mathcal{V}_{g,n}(V, \{W_\bullet\})$ が存在します。この束のランク（ファイバーの次元）は、融合則や一般化された Verlinde 公式と密接に関連しており、チャーン類（Chern classes）の計算や、束の正性（positivity）の解析において極めて重要です。
• 既存の手法の限界:
  • 従来のランク計算は、因子分解定理（factorization theorem）を用いた再帰的なアルゴリズムに依存していました。これは、ランクを融合則に帰着させるものでしたが、閉じた式（closed formula）を提供するものではありませんでした。
  • 特定の VOA（例えばアフィン VOA や点付き VOA）に対しては既知の公式（Verlinde 公式など）が存在しますが、より一般的な VOA に対して統一的な計算手法は不足していました。
• 課題: 任意の種数 $g$ と任意の VOA（強有理的 VOA）に対して、共変量ベクトル束のランクを、行列の積やトレースを用いた明示的な閉じた式として表現する方法を確立すること。また、得られたランクを用いて、関連する除数（divisor）の正性（nefness）を解析すること。

2. 手法と主要な概念

論文の核心は、**FA-行列（FA-matrix）**の導入と、その代数的性質の活用にあります。

• FA-行列の定義:

  • $V$ を強有理的 VOA とし、その既約加群の同型類を $W_1, \dots, W_l$ とします。
  • 加群の組 $S_\bullet$ と種数 $g$ に対して、$l \times l$ 行列 $R_{S_\bullet, g}$ を以下のように定義します：
    $$(R_{S_\bullet, g})_{i,j} := \text{rank} \mathcal{V}_{g, n+2}(V, \{S_\bullet, W_i, W'_j\})$$
    ここで、$W'_j$ は $W_j$ の双対加群です。
  • この行列は、$g=0$ の場合の融合行列（fusion matrix）と、Ueno によって定義された平均化行列（averaging matrix）を一般化・統合したものです。

• FA-性質（FA-property）:

  • 因子分解定理（Factorization Theorem）は、FA-行列の積とトレースの性質として定式化されます。
  • 積の性質: 異なる種数 $g_1, g_2$ の FA-行列の積は、それらの和に対応する FA-行列になります（$R_{S_\bullet, g_1} R_{T_\bullet, g_2} = R_{S_\bullet T_\bullet, g_1+g_2}$）。
  • トレースの性質: 種数 $g$ の FA-行列のトレースは、種数 $g+1$ のランクに対応します（$\text{Tr}(R_{S_\bullet, g}) = \text{rank} \mathcal{V}_{g+1, n}(V, \{S_\bullet\})$）。

• 行列ランク公式（Matrix Rank Formula）:

  • 上記の性質を用いることで、任意の種数 $g$ と加群の組 $S_\bullet = (W_{n_1}^1, \dots, W_{n_l}^l)$ に対するランクが、行列の積と累乗で表される閉じた式として導かれます。
  • 具体的には、ランクは $\left( \prod R_{W_i, 0}^{n_i} \right) R_{V, 1}^g$ の特定の成分（またはトレース）として計算されます。

3. 主要な結果と定理

論文は以下の主要な定理と結果を提供しています。

• 定理 1（行列ランク公式）:

  • 強有理的 VOA に対して、共変量ベクトル束のランクを、融合行列 $R_{W,0}$ と平均化行列 $R_{V,1}$ の積とトレースを用いた明示的な式で与えます。これは、因子分解定理が適用可能なすべての状況において、ランク計算を線形代数の問題に帰着させます。

• テンソル積に関する結果（定理 4, 6.5, 6.6）:

  • 2 つの VOA $V_1, V_2$ のテンソル積 $V_1 \otimes V_2$ に対して、その共変量束のランクは、個々の束のランクの積になります。
  • さらに、第一チャーン類 $c_1$ についても同様の分解性 ($c_1(V_1 \otimes V_2) = c_1(V_1) \otimes c_1(V_2)$ のような関係) が成り立つことを示しています。

• 点付き VOA（Pointed VOAs）への適用（Proposition 5, Theorem 6）:

  • 融合環が群環 $\mathbb{Z}[G]$ となる点付き VOA に対して、ランクは $|G|^g$ または $0$ となる単純な公式が得られます。
  • これを用いて、$g \ge 3$ における F-nefness（F-曲線との非負の交差）の判定が、$g=3$ の場合の判定に帰着できることを示しました。

• 対称共変量除数と位数 2 の加群（Proposition 7, 8.8）:

  • 各点に同じ加群（特に $W \otimes W = V$ を満たす位数 2 の加群）を割り当てた場合、ランクは $n$ が偶数か奇数かによって $1$または$0$ になります。
  • この場合、除数の nefness は加群の共形重み（conformal weight）の符号によって完全に決定されます（$a_W \ge 0 \iff$ nef）。

• Virasoro VOA の離散系列への適用（Theorem 9.2）:

  • Virasoro VOA の離散系列（discrete series）におけるランクの生成関数を、**連分数（continued fractions）**として表現しました。
  • 特に境界（boundary）にある場合、生成関数は驚くべき対称性を持ち、連分数の構造が明確になります。

4. 意義と応用

• 計算手法の革新:

  • 従来の再帰的な計算を、行列の積とトレースという明示的な代数操作に置き換えることで、ランク計算を大幅に効率化し、一般化しました。
  • Ueno の仕事や Gao-Liu の結果を包含・一般化する新しい証明を提供しています。

• 正性（Positivity）の解析:

  • 得られたランク公式を用いて、$\mathcal{M}_{g,n}$ 上の共変量除数の F-nefness や nefness を解析しました。
  • 点付き VOA や位数 2 の加群を持つ場合、除数の正性が VOA のパラメータ（中央チャージや共形重み）の条件に単純に帰着することを示し、F-予想（F-conjecture）の検証や、モジュライ空間の幾何学的構造の理解に寄与しています。

• 多様な VOA への適用:

  • アフィン VOA、格子 VOA、パラフェルミオン代数、Virasoro VOA など、多様な VOA に対して具体的なランク公式や生成関数を導出しました。
  • 特に、Virasoro VOA の離散系列におけるランクの生成関数が連分数で記述されるという発見は、組合せ論的な構造の深さを示唆しています。

5. 結論

本論文は、VOA 理論と代数幾何学の交差点において、共変量ベクトル束のランク計算に対する強力かつ統一的な枠組みを確立しました。導入された FA-行列は、融合則と平均化の概念を統合し、線形代数の手法を用いて複雑な幾何学的対象の次元を計算する道を開きました。また、得られた公式は、モジュライ空間上の除数の正性を解析するための重要なツールとして機能し、今後の研究において広範な応用が期待されます。