Special Kähler geometries of $\mathcal{N}=4$ superYang-Mills

技術要約：$\mathcal{N}=4$ 超対称ヤン＝ミルズ理論における特殊ケーラー幾何学

問題設定
本論文は、単純なゲージ代数 $\mathfrak{g}$ を持つ超対称ヤン＝ミルズ（sYM）理論によって記述される、4次元 $\mathcal{N}=4$ 超共形場理論（SCFT）の真空のモジュライ空間として現れ得る、可能なすべての特殊ケーラー（SK）幾何学の分類に取り組んでいる。これらのモジュライ空間の基礎となるケーラー幾何学は、部分群 $W(\mathfrak{g})$ によって決定される商軌道 $M_{\mathfrak{g}} \cong \mathbb{C}^{3r} / (W(\mathfrak{g}) \otimes \mathbb{R} \mathbb{C}^3)$ として十分に理解されているが、特定のSK構造（これは低エネルギー有効作用および電荷格子上のディラック・ペアリングを符号化するものである）については、制約が少ない。著者らは、この商軌道幾何学と両立するすべてのSK構造を分類することを目指しており、特に主極性（主極性を持つことは、互いに局所的なライン演算物の最大集合を持つ「絶対的（absolute）」な理論に対応する）を持つものに焦点を当てている。

手法
分類は、SK構造と複素化ワイル群 $W_{\mathbb{C}}$ の整数シンプレクティック表現の同値類との間の一対一の対応関係を確立することによって達成される。手法は以下のステップで進行する：

1. 表現の構成： 著者らは、基本反射表現の2つのコピーと $\mathbb{Q}$ 等価である、整数シンプレクティック表現 $S: W \to Sp(2r, \mathbb{Z})$ の十分なクラスを構成する。これらの表現は、ワイル群の下で不変な一対の整数格子 $(\Gamma_A, \Gamma_B)$ と、「結合（binding）」行列 $D$ から構築される。
2. 拡張問題： 不等価な結合 $D$ は、拡張群 $\text{Ext}^1_{\mathbb{Z}W}(\Gamma_A, \Gamma_B)$ を通じて分類される。これにより、可能な表現の無限の空間が、格子対とそれらの Ext 群によってラベル付けされた有限の候補へと削減される。
3. 同値関係： 物理的に異なるSK構造を識別するために、著者らは2種類の同値関係を定義する：
   • アンツイスト（非捻れ）整数同値： 表現が電磁（EM）双対変換 $M \in Sp(2r, \mathbb{Z})$ によって関連付けられている場合。
   • ツイスト（捻れ）整数同値： 表現が、EM双対変換と、反射を保存するワイル群の外自己同型によって関連付けられている場合。
4. 固定点集合と共形多様体： 各同値類（SK軌道）について、著者らはジーゲル上半平面 $\mathbb{H}_r$ 内の固定点集合 $\text{Fix}(S)$ を計算する。$\mathcal{N}=4$ 理論の場合、この集合は複素結合 $\tau$ によってパラメータ化される1次元の族となる。軌道の自己同値群（自己同型群）は、$\tau$ に作用する「自己双対群」を定義し、上半平面をこの群で割ったものが「共形多様体」を形成する。

主要な貢献と結果

• SK軌道の分類： 本論文は、主極性を持つすべての単純ゲージ代数 $\mathfrak{g}$ について、SK軌道の完全な分類を提供している。結果は表1にまとめられており、SK軌道の数と、それらに対応する自己双対群（$\Gamma_0(N)$、$\Delta$、あるいはヘッケ群のようなモジュラー部分群）がリストされている。
• 場の方程式文献の修正： $\mathfrak{g} = D_{2k}$ および $\mathfrak{g} = D_{4k+2}$ における、従来の場の方程式によるS双対性の軌道の分類における誤りの特定は、重要な知見である。著者らは、従来の著作が、スピノル表現と共役スピノル表現を入れ替える外自己同型を適切に考慮できていなかったことを示している。これを修正することで、S双対性の軌道のカウントがSK分類と一致するように改訂される。
• 自己双対群の不一致： $A_1$ および $BC_r$ 型の代数については、SK分類から得られる自己双対群は、場の方程式の予想によって予測されるS双対性群よりも厳密に大きい。著者らは、これを矛盾ではなく「赤外的事故（IR accident）」として解釈している。すなわち、低エネルギーの観測量であるSK幾何学は、ある種の微視的に区別される絶対的場理論を区別するための感度が欠けている。
• 捻れた積（Twisted Products）： 論文では、非単純なゲージ代数（例：$\mathfrak{u}(N)$）から生じる幾何学についても簡潔に論じており、それらが単純な因子の捻れた積からどのように構成され得るかを示している。ただし、これらは多くの場合、非主極性に関連する。

意義
本論文は、$\mathcal{N}=4$ sYM理論におけるS双対性予想に対する厳密な低エネルギーテストを提供すると主張している。S双対性をあらかじめ仮定せずに、モジュライ空間の幾何学の双対構造を計算することで、その幾何学がほとんどのケースにおいてS双対性の軌道を正しく再現することを検証している。不一致が生じる場合、著者らは、SK幾何学が理論の粗視化された構造を正しく特定している一方で、場の方程式には（特定のグローバル構造のような）より微細な区別が含まれていると論じている。

さらに、本研究は、ゲージ理論のグローバル構造（ウィルソン・トフーフト・ライン演算物）と、そのクーロン枝の幾何学を結びつける具体的な数学的枠組みを確立している。これは、SK幾何学の分類が、ゲージ群が定義されていない非ラグランジアンSCFTに対して、適切なシンプレクティック表現の同値類を特定することによって、「グローバル構造」を定義するためのツールとなり得ることを示唆している。

著者らは、主極性の場合は分類が完全であるが、非主極性（「相対的」な場理論に関連する）の役割や、非単純な代数における「エキゾチック」な幾何学の存在については、今後の調査課題として残されていると述べている。