Haagerup-Izumi modular data from hyperbolic words: S-fold TQFTs, central charge, torsion and the Bethe vacua

技術的要約：双曲型単語からのハーガップ–イズミ・モジュラーデータ

問題提起
本論文は、ハーガップ–イズミ（Haagerup–Izumi）圏のダブルに関連するモジュラー・データの厳密な構成と理解を扱う。エヴァンスとギャノンは、これらのモジュラー・データが2つの有限メトリック群の「グラフティング（接合）」から生じると予想しており、ギャノン、ショピアレイ、ヤダブは、非ねじれ型の圏についてはこれを証明した。しかし、これらのデータをトポロジカル量子場理論（TQFT）を通じて物理的に実現する方法は、完全には理解されていなかった。具体的には、ガンとキムは、アベリアン化されたゲージ理論のベテ・真空（Bethe vacua）に由来する、ランク0の$S$重理論のトポロジカル・ツイストにおいて、このような形状を持つ非ユニタリなモジュラー・データを特定した。中心的な問題は、この文脈におけるハンドル・グルーイング（把手接着）演算子とファイバリング（ファイバー化）演算子を厳密に定義し、一般的な双曲型モノドロミーに対するベテ・真空を構成し、ハーガップ–イズミ圏の代数的データと$S$重TQFTの物理的データの間の正確な対応関係を確立することである。

手法
著者は、$SL(2, \mathbb{Z})$の生成元$L$および$R$における双曲型単語$\phi$に基づく統一的な枠組みを開発している。これらは一度穴あきトーラス束のモノドロミーに対応する。手法は、同一の根底にある数学的構造を解釈する3つの異なる「フレーム」を通じて進行する：

1. ファレー・フレーム（Farey Frame）: 写像トーラス$M_\phi$の層状三角形分割を利用して、ノイマン–ザギヤー（Neumann–Zagier）行列$A$および$B$を構成する。レベル行列$K$は、行列式法則$\det K = 2^r$（$r$は単語の長さ）を満たし、グルーイング方程式$BK_{raw} = A$の唯一の対称解として導かれる。このフレームは、電荷ベクトルとベテ方程式を定義する。
2. ナーム・フレーム（Nahm Frame）: ベテ方程式は、対称行列$N = 2(I - K_{raw}^{-1})$に関するナームの梯子系（Nahm's ladder system）と等価であることが示される。この等価性により、解の明示的な構成が可能となる。正の真空$V^*$は、ファレーの傾斜（Farey slopes）に沿った高さの比として表現され、$\phi$の拡大固有ベクトルによって伝播される解として特定される。
3. ベテ・フレーム（Bethe Frame）: このフレームは物理的な観測量を定義する。ハンドル・グルーイング演算子$H_\alpha$とファイバリング演算子$F_\alpha$は、ベテ・真空において評価される。本論文では、未変形系において無限遠に位置する退化解を回収するために、ベテ方程式の変形（パラメータ$\epsilon$の導入）を用いる。

主要な数学的道具立てには、単語のラン（run）内での解を制約するためのフリーズ列（特に$SL_2$フリーズ）の理論、周期的なヤコビ行列のヒルの方程式（Hill's formula）、および余核$\text{coker}(\phi \mp 1)$上の捩り連結形式（torsion linking forms）が含まれる。

主要な貢献と結果

• メトリック群の構成: すべての双曲型単語$\phi$に対して、本論文は2つの有限メトリック群$A_\mp = \text{coker}(\phi \mp 1)$を特定する。$A_-$は写像トーラス$M_\phi$の捩り連結形式を運び、$A_+$は$M_{-\phi}$のそれを運ぶことを証明する。対角線族$L_m R_m$について、これらの群はそれぞれ$\mathbb{Z}_m \times \mathbb{Z}_m$および$\mathbb{Z}_{m^2+4}$であり、非ねじれ型ハーガップ–イズミ圏のメトリック群と一致する。
• 閉形式の解: すべての双曲型単語に対して、正の真空$V^*$とそのガロア共役$\sigma V^*$の閉形式の表現を提供する。これらの解は、モノドロミーの拡大固有ベクトルによって伝播される、ファレーの傾斜に沿った高さの比として与えられる。
• 有効中心電荷: 有効中心電荷が、すべての双曲型単語において$c_{eff} = \#L$（単語内の$L$の文字数）であることを、固有ベクトル解におけるロジャーズのディロガリスム恒等式を通じて厳密に証明する。
• ハンドル・グルーイング・スペクトル: ハンドル・グルーイング値$H_\alpha$を、すべての非退化クラスに対して計算する。
  • 2つの単位元クラス（$V^*$および$\sigma V^*$）について、$H = 2^{\#L} \lambda^{\pm 1} |A_-| |A_+|$（ここで$\lambda$は伸長因子）。
  • $\phi \mp 1$のカーネルベクトル$v$に関連する非単位元非退化クラスについて、$H = 2^{\#L} |A_\mp|$。
  • 本論文は、シングルトン・ランを持たない単語において、これらのクラス（および単位元クラス）がすべての非退化クラスを構成することを確立する。
• モジュラー・データとグラフティング: 特定の物理的入力（半指数辞書および真空の特定）の下で、奇数のトレースを持つ単語について、得られるモジュラー・データ$S$および$T$行列が、エヴァンス–ギャノンのグラフティングに対応することを実証する。具体的には、$m$が素数かつ$m^2+4$が素数である対角線族$L_m R_m$において、そのデータはユニタリ・グラフティングのガロア共役であり、非ねじれ型ハーガップ–イズミ圏のダブルのモジュラー・データを実現する。
• スピンと連結形式: 真空の共形スピンは、群$A_\mp$上の捩り連結形式の二次形式的精緻化であることが示される。スピンは、カーネルベクトルと連結形式を用いて明示的に与えられる。

意義と範囲
本論文は、ハーガップ–イズミ圏の代数的分類と、$S$重TQFTの物理的構成との間の隔たりを厳密に埋めるものである。ベテ・真空およびそれに関連する不変量（ハンドル・グルーイング、ファイバリング、スピン）に関する完全な閉形式の記述を提供することで、広範な単語のクラスにおいて、エヴァンス–ギャノンのグラフティング予想を裏付けている。

その範囲については、以下の点で限定的である：

• すべての双曲型単語について、レベル行列の構造および正の真空の存在に関する物理的入力なしに結果を証明している。
• 中心電荷$c$および単位対象に関する結果は、「半指数辞書」および特定の真空の特定（入力(b)）に依存している。
• 本論文は、ねじれたモジュラー・データ（$\omega \neq 0$の場合の$D^\omega H_{gm}$）のための圏を構築しておらず、また、一般的な単語における退化クラスを完全には解決していない（ただし、パートIVにおいて、個別の解析を通じて対角線族$L_m R_m$については扱っている）。
• $S_{00}$成分の符号、およびシングルトン・ランを持つ単語の分類の完全性は、未解決または数値的検証に依存している。

要約すると、本論文は、ハーガップ–イズミ圏のダブルのモジュラー・データが、関連するアベリアン化されたゲージ理論のベテ・真空を介して、 $SL(2, \mathbb{Z})$の双曲型単語から体系的に生成され得ることを確立しており、ハンドル・グルーイングおよびファイバリング演算子が、トポロジカル構造と代数的構造を結びつける鍵となる不変量の役割を果たしていることを示している。