On the Representation Theory of Non-Admissible $W$-Algebras: Part I

技術要約：非適合W代数の表現論について：パートI

問題提起
頂点演算子代数（VOA）の加群の分類は、二次元共形場理論の研究における中心的な問題である。有理的VOA（加群の圏が有限個の単純対象を持つ半単純なもの）の表現論は、Zhuの代数やドリンフェルト–ソコロフ（DS）簡約などのツールを通じてよく理解されているが、非有理的なケースは依然として困難な課題である。具体的には、本論文では、レベル $k = -h^\vee + \frac{1}{n}\frac{m}{u}$ で与えられる非適合W代数 $W_k(\mathfrak{g}, f)$ を扱う。ここで、$\mathfrak{g}$ はリー代数、$f$ はべき零軌道、$n$ は結び目数であり、$m \neq h^\vee$ である（これらは境界適合レベルとは異なる）。これらの非適合なケースでは、表現の圏は一般に非半単純であり、対数加群（logarithmic modules）を含む可能性があるが、明示的な表現論的結果は極めて少ない。

手法
著者らは、これらの代数を研究するために、4次元ミラー対称性に根ざした幾何学的枠組みを提案している。核となる手法は、W代数の表現論を、傾き（slope） $\nu = u/m$ を持つ一般化アフィン・スプリンガーファイバー $Sp_\nu(\tilde{\mathfrak{g}}, f)$ の幾何学へと結びつけることである。

提案されている対応関係は次のように機能する：

1. 幾何学的設定： ファイバーはデータ $(\mathfrak{g}, o, \nu, f)$ によって定義される。ここで $o$ は外自己同型の選択であり、幾何学は傾き $\nu$ とべき零軌道 $f$ に関連する放物型部分代数によって制御される。
2. 固定軌跡と加群： アフィン・ワイル群の元 $\tilde{w}$（具体的には二重剰余類 $\tilde{W}_\nu \setminus \tilde{W} / W_f$）によってラベル付けされたアフィン・スプリンガーファイバーの $C^*$-固定軌跡。
   • 最高ウェイト： $\tilde{w}$ によってラベル付けされた空でない各固定軌跡は、以下の写像を介して単純加群の最高ウェイトを決定する：
     $$\tilde{w} \mapsto \tilde{w}(k\Lambda_0 + \tilde{\rho}) - \tilde{\rho}$$
     ここで $\Lambda_0$ は第0アフィン基本ウェイト、$\tilde{\rho}$ はアフィン・ワイル・ベクトルである。
   • 対数構造： 固定多様体の次元は、非半単純構造を符号化する。零次元の固定多様体は通常の単純加群に対応する。高次元の固定多様体は、対数加群の存在を示唆する。具体的には、次元 $d$ の固定多様体は、全コホモロジー次元に対して $d+1$ を寄与し、これは1つの単純加論と $d$ 個の対数加群（または一般化された特性）に対応する。
3. 計算アルゴリズム： 本論文は、関連する $\tilde{w}$ の集合とその固定多様体の次元を計算するためのアルゴリズムを詳述している。これには以下が含まれる：
   • 傾きに基づいたアフィン根の集合 $L_\nu$ および $S_\nu$ の定義。
   • （$L_\nu$ および $S_\nu$ に含まれる根の数の公式を用いて）非負の期待次元を与えるアフィン・ワイル群の元のカウント。
   • 有界条件（符号パターンの再帰錐が自明であること）のチェック。
   • ヘッセベリ・多様体が空でないことを保証するためのチェルン類制約の検証（トップ・チェルン積がワイル不変多項式によって生成されるイデアルに含まれるかどうかの確認）。

主要な貢献と結果
本論文は、様々なリー代数と傾きにわたる広範な計算を通じて、この幾何学的対応関係を確立し、検証している：

• 非ねじれ（Untwisted）理論：
  • $D_4$： 傾き $\nu = u/4$ に対して、著者らは様々な $u$ について固定多様体の数を計算している。$u=3$ の場合、彼らは486個の特性（405個の単純、81個の対数）を予測しており、これはアフィンリー代数 $V_{-14/3}(D_4)$ の既知の結果と一致する。正則べき零軌道（$f=\text{regular}$）の場合、彼らは $u=5$ において $(2,5)$ ビラソロ最小モデルを回収し、$u=7, 9, 11$ のモジュール・スペクトラムを予測する。
  • $E_6$ および $E_8$： 傾き $\nu=4/3$ における $E_6$ の詳細な計算、および様々な傾きにおける $E_8$ の計算は、既知の有理的なスケーリング次元および多重度との一致を裏付けている。本論文は、非適合W代数と低ランクの適合W代数との間の同型（例：$W_{-30+15/16}(E_8) \cong W_{-3+3/8}(A_2)$）を、固定多様体の数のマッチングによって明示的に検証している。
• ねじれ（Twisted）理論：
  • 著者らは、ねじれ理論における正規化の微妙な差異（ラングランズ双対性を伴う）に対処している。彼らは、ねじれたアフィン・スプリンガーファイバーの計数問題が、翻訳ベクトル $q$ の特定の再スケーリングの下で、非ねじれW代数の計数問題と等価であることを示している。
  • 例として、ねじれた $3D_4$（$G_2$ に関連）およびねじれた $2A_3$（$B_2$ に関連）がある。例えば、$3D_4$ 理論は傾き $\nu=11/12$ において $(2,11)$ ビラソロ最小モデルと一致することが示されている。
• 対数加群： 本論文は、高次元の固定多様体が対数加群に対応することの具体的な証拠を提供している。$D_4$ のケースにおいて $m=4$ のとき、一つの次元の固定多様体が特定のスケーリング次元を持つ対数加群と識別されており、これが以前の文献で観察されたモジュラー微分方程式の構造を説明している。

意義
本論文は、純粋な代数的性質による手法がしばしば制限されるクラスである、非適合W代数の表現論への幾何学的ルートを提供すると主張している。4次元ミラー対称性の辞書を活用することで、著者らは、W代数の加群（対数加群を含む）を分類するという困難な問題を、アフィン・スプリンガーファイバーにおける固定軌跡の計数という組合せ論的かつ幾何学的な問題へと変換している。

その意義は以下の点にある：

1. 統一： アフィン・スプリンガーファイバーと適合W代数の間の既知の対応関係を、非適合な領域へと拡張している。
2. 予測能力： 複雑な特異ベクトル計算を回避して、任意の $C_2$-余有限な非適合W代数の単純加群および対数加群の数、およびそれらの共形ウェイトを計算するための体系的な方法を提供する。
3. 検証： この枠組みは、適合なケースにおける既知の結果を再現し、非適合なケースにおいても一貫した予測を提供している。

著者らは、本論文は表現の空間（最高ウェイトと次元）に関する対応関係の確立に焦にているが、モジュラー変換（SおよびT行列）の詳細な研究および完全なモジュラー・データについては、パートIIに譲る旨を注記している。現在の研究は、幾何学的な計数を既存の代数的結果に対して検証するという、基礎的なステップとして機能している。