技術的要約：種数1の共形ブロックの基底定理と、インターツワイニング演算子のモジュラー不変性

1. 問題設定

本論文は、強的に有理な（strongly rational）頂点演算子代数（VOA）$V$に関連する、種数1の共形ブロックの構造を扱う。具体的には、トーラス $E_\tau$ 上の、標点 $p$ を持つ1点共形ブロックの空間 $\mathcal{C}(E_\tau, p, z, W)$ を調査する。ここで $W$ は $V$ の既約加群である。

朱（Zhu）のモジュラー不変性定理は、$W=V$ の場合において、頂点演算子のトレース関数が種数1の共形ブロックの空間の基底を形成することを確立したが、その後のHuangとMiyamotoによる研究は、$C_2$-余有限（$C_2$-cofinite）なVOAにおける対数インターツワイニング演算子へのモジュラー不変性を拡張した。しかし、強的に有理な設定において、一般的なインターツワイニング演算子のための基底に関する正確な幾何学的特徴付けは、依然として不完全なままであった。著者らは以下のことを目的としている：

1. インターツワイニング演算子の基底に関連するトレース関数が、上半平面 $\mathbb{H}$ 上の共形ブロック束のグローバルフレーム（基底）を形成することを証明する。
2. これらのトレース関数の一般化されたモジュラー不変性定理を確立し、$SL(2, \mathbb{Z})$ の作用下でのそれらの変換を記述する。
3. これらの解析的な結果を、モジュラー群の表現論および $\mathcal{M}_{1,1}$ の幾何学へと結びつける。

2. 手法

証明は、VOA共形ブロックの理論からの幾何学的技法と、トレース関数の再帰的公式を用いる解析的手法を組み合わせている。

幾何学的枠組み

著者らは、Damiolini, Gibney, Krashen, および Tarasca (DGT) によって開発された、VOA共形ブロックの最新の幾何学的理論を利用している。主要なツールは以下の通りである：

• 共形ブロック束: 彼らは、楕円曲線 $\mathcal{M}_{1,1}$ 上のベクトル束 $\mathcal{C}(W)$ と、その普遍被覆 $\mathbb{H}$ へのプルバック $\mathcal{C}_\mathbb{H}(W)$ を考える。
• 分解（Factorization）とVB補題: 彼らは、分解定理およびベクトル束（VB）補題を用いて、トーラス上の共形ブロックの次元を、ノダル曲線を経由した球面上のインターツワイニング演算子の空間の次元に関連付ける。
• カイラル・リー環: 共形ブロックの空間は、カイラル・リー環 $L_{E_\tau \setminus p}(V)$ に関するコインバリアント（coinvariants）の双対として定義される。

解析的構成

• 座標変換: トレース関数の性質に合わせるため、著者らは座標変換されたVOA $(V, Y[\cdot, z], 1, \tilde{\omega})$ とその加群、ここで $\tilde{\omega} = (2\pi i)^2(\omega - \frac{c}{24}\mathbf{1})$ を用いる。
• 形式的トレース関数: 彼らは、インターツワイニング演算子 $I \in \mathcal{I} \binom{M}{W M}$ に随伴する形式的トレース関数 $\phi_I(\tau) = \text{tr}|_{M} o_I(\cdot) q^{L(0) - c/24}$ を定義する。
• 再帰的公式: 朱の再帰的公式を一般化し、これらのトレース関数に対する微分方程式を導出する。もし $W$ が特定の条件（$C_2$-余有限性とヴィラソロ最高ウェイトベクトルの存在に関連するもの）を満たすならば、これらの形式的級数が $\mathbb{H}$ 上の正則関数に収束することを証明する。
• 接続の構成: トレース関数が満たす微分方程式を用いて、束 $\mathcal{C}_\mathbb{H}(W)$ 上の平坦接続 $\nabla$ を構成する。彼らは、トレース関数がこの接続の水平切断であることを示す。

3. 主要な貢献と結果

A. 基底定理 (Theorem 1.1 / Theorem 6.15)

中心的な結果は、強的に有理なVOA $V$ と、技術的な条件（$W = U \oplus C_2(W)$ かつ $U$ がヴィラソロ最高ウェイト加群の和に含まれるような有限次元の次数付き部分空間 $U$ の存在）を満たす既約加群 $W$ に対して、以下が成り立つことを述べている：

• すべての既約加群 $M_k$ に対するインターツワイニング演算子の空間 $\mathcal{I} \binom{M_k}{W M_k}$ の基底を $\{I^k_j\}$ とする。
• 関連するトレース関数 $\{\phi_{I^k_j}(\tau)\}$ は、ベクトル束 $\mathcal{C}_\mathbb{H}(W)$ のグローバルフレームを形成する。
• その結果、任意の $\tau \in \mathbb{H}$ に対して、集合 $\{\phi_{I^k_j}(\tau)\}$ はファイバー $\mathcal{C}(E_\tau, p, z, W)$ の基底となる。
• 1点共形ブロックの空間の次元は、正確に $\sum_k \dim \mathcal{I} \binom{M_k}{W M_k}$ である。

B. 一般化されたモジュラー不変性 (Theorem 1.1(b) / Theorem 6.32)

著者らは、共形ブロック束のファイバー上でのモジュラー群 $SL(2, \mathbb{Z})$ の作用が、トレース関数の基底によって表現されることを証明している。具体的には、$\gamma = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL(2, \mathbb{Z})$ に対して：
$$Z_{I^k_j}\left((c\tau+d)^{-L[0]}v, \frac{a\tau+b}{c\tau+d}\right) = \sum_{k', j'} \gamma_{(k,j),(k',j')} Z_{I^{k'}_{j'}}(v, \tau)$$
ここで $Z_I(v, \tau)$ はトレース関数である。係数 $\gamma_{(k,j),(k',j')}$ は、$\gamma$ と選択された演算子のみに依存する定数である。この結果は、頂点演算子のための朱のモジュラー不変性を一般化し、インターツワイニング演算者とグローバルフレームの一対一の対応を確立することによって、$C_2$-余有限なVOAに関する従来の成果を洗練させたものである。

C. 幾何学的および表現論的帰結

• 射影表現: トレース関数は、$SL(2, \mathbb{Z})$ の射影表現を担う有限次元ベクトル空間 $C_W$ を生成する。もし共形ウェイト $h_W$ が整数であれば、これは真正な表現へとリフトされる。
• モノドロミー: $h_W \in \mathbb{Z}$ のとき、平坦接続 $\nabla$ はモジュラー空間 $\mathcal{M}_{1,1}$ へと降下する。著者らは、トレース関数のモジュラー変換によって定義される射影表現が、共形ブロック束のファイバー上の基本群 $\pi_1(\mathcal{M}_{1,1}) \cong SL(2, \mathbb{Z})$ のモノドロミー表現と一致することを証明している。
• モジュラー形式の実装: 本論文は、トレース関数が特定のモジュラー形式を実現できることを示している。インターツワイニング演算子の空間が1次元であり、整数条件が満たされる特殊なケースでは、トレース関数は真正なモジュラー形式となる。具体的な例として、著者らはカスプ形式 $\Delta(\tau)$ が、アフィンVOA $L_{\widehat{\mathfrak{sl}}_2}(16, 0)$ のインターツワイニング演算子に関連するトレース関数として実現できることを示している。

D. ランク公式と融合則

分解定理を用いて、著者らは強的に有理なVOAに対する融合則の結合性の幾何学的証明を提供する。また、彼らは $\mathcal{M}_{g,n}$ 上のVOAコインバリアントのベクトル束のランク公式を導出し、WZNWモデルにおける幾何学的フェルニクスの公式を一般化している。

4. 意義と主張

本論文は、既存のモジュラー不変性定理の一般化かつ洗練であると主張している：

• 洗練: トレース関数が共形ブロックの空間を（しばしば準トレースや対数的な文脈で）生成することを示した従来の定理とは異 달리、本研究は、強的に有理なケースにおいてそれらが基底（グローバルフレーム）を形成することを証明している。これにより、正確な次元公式と、モジュラー空間の幾何学とインターツワイニング演算子の代数との間の構造的な繋がりが確立される。
• 一般化: 頂点演算子（朱）や準トレース（Miyamoto, Huang）の範囲から、インターツワイニング演算子へと対象を拡張している。
• 幾何学的洞察: 接続 $\nabla$ を構築し、基底定理を証明することにより、本論文はトレース関数の解析的性質と、モジュラー空間上の共形ブロックの幾何学的理論との間の溝を埋めている。これは、「物理的な」共形ブロックの縫い合わせ（sewing）が、数学的なベクトル束の分解に対応することを裏付けている。

著者らは、$W = U \oplus C_2(W)$ かつ $U$ がヴィラソロ最高ウェイト加群に含まれるという条件は、正の整数レベルにおけるアフィンVOAのすべての既約加群に対して（ユニタリ性により）満たされることを指摘しており、彼らの結果が幅広いクラスの例に適用可能であることを保証している。最後に、彼らは一般化された $S$-行列のユニタリ性と、このようなトレース関数によるすべてのモジュラー形式の実装に関する問いを投げかけている。