On the symplectic forms of Groechenig's Higgs moduli over an elliptic curve

技術的要約：楕円曲線上のグローヘニッヒのヒッグス・モジュライにおけるシンプレクティック形式について

問題設定
本論文は、楕円曲線 $E$ と、その自己同型群 $\text{Aut}(E, o)$ の有限巡回部分群 $\Gamma \subset \text{Aut}(E, o)$（ただし $|\Gamma| \in \{1, 2, 3, 4, 6\}$）に関連して生じる、2つの異なるモジュライ空間の幾何学的関係を扱う。

1. ヒルベルト・スキーム側: 表面 $S_\Gamma = \Gamma\text{-Hilb}(T^*E)$ 上の $m$ 個の点のヒルベルト・スキームとして定義される空間 $S[m]_\Gamma$。$|\Gamma|=1$ の場合、$S_\Gamma = T^*E$ である。$|\Gamma|>1$ の場合、$S_\Gamma$ は商表面 $X_\Gamma = T^*E/\Gamma$ の一意なクリーパント分解であり、これは有理二重点を持つ。
2. 放物型ヒッグス側: コース曲 $C_\Gamma$（$\Gamma$ に応じて $E$ または $\mathbb{P}^1$）上の、安定かつ強放物型（strongly parabolic）なヒッグス束のモジュライ空間 $M_{\Gamma,m}$。ここでは、アフィン・ディンキン型 $\tilde{A}_0, \tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ に基づく特定の放物型データが決定されている。

Gorsky, Nekov, および Rubtsov（$|\Gamma|=1$ の場合）および Groechenig（$|\Gamma|>1$ の場合）による先行研究により、これらの空間は相対的フーリエ・ムカイ変換を通じて代数多様体として同型であることが確立されている。しかし、これらの同型写像が両側に自然に備わるホロモーフィック・シンプレクティック構造を保存するかどうかという問題は未解決であった。本論文の目的は、同型写像 $\Phi_{\Gamma,m}: S[m]_\Gamma \to M_{\Gamma,m}$ がホロモーフィック・シンプレクトモルフィズムであることを証明することである。

手法
証明は、稠密な開集合上でのシンプレクティック形式の明示的な計算を行い、その結果をグローバルに拡張する手順で行われる。その手法は、主に以下の3つの構成要素から成る。

1. 変形理論とシンプレクティック形式:
   本論文は、放物型ヒッグス束の変形複体（Biswas および Ramanan に従う）を利用して、モジュライ空間 $M_{\Gamma,m}$ 上のホロモーフィック・シンプレクティック形式 $\Omega_{M_{\Gamma,m}}$ を構成する。これには、放物型自己準同型と強放物型ヒッグス場を含む2項複体の第1ハイパーコホモロジーを、接空間と同一視するプロセスが含まれる。シンプレクティック形式は、この複体上のトレース・ペアリングから導出される。

2. 簡約されたロカスにおける局所解析:
   著者は、簡約な部分スキーム（相異なる点）からなる開稠密部分集合 $U_m \subset S[m]_\Gamma$ に注目する。

• $|\Gamma|=1$ の場合: 同型写像は相対的フーリエ・ムカイ変換を用いて解析される。本論文は、簡約なロカスにおいて、放物型ヒッグス・モジュライ空間が、異なるスペクトルデータを持つ線束の直和に対応することを示す。放物型および通常の（半安定な）ヒッグス束の変形複体を比較することにより、シンプレクティック形式が $T^*E$ 上の点のヒルベルト・スキーム上の自然なシンプレクティック形式と一致することを示す。
• $|\Gamma|>1$ の場合: 「オービフォールド・放物型対応（orbifold–parabolic correspondence）」を用いる。著者らは、コース曲 $C_\Gamma$ 上の放物型ヒッグス束を、$E$ 上の $\Gamma$-等変（オービフォールド）ヒッグス束に関連付ける。Cartan–Leray スペクトル系列を用いることで、$C_\Gamma$ 上の放物型変形複体のハイパーコホモロジーと、$E$ 上のオービフォールド複体のハイパーコホモロジーの $\Gamma$-不変部分との間の同型を確立する。これにより、放物型側のシンプレクティック・ペアリングは、楕円曲線のペアリングによって $1/|\Gamma|$ 倍にスケールされたものとして計算できることが示される。

3. グローバルな拡張とHitchin 適合性:
   両方のシンプレクティック形式は正則（ホロモーフィック）であり、空間は滑らかで既約であるため、稠密な開集合 $U_m$ 上での一致はグローバルな一致を意味する。さらに、本論文は、同型写像が両側の Hitchin 写像（スペクトル・データ写像）と両立していることを検証し、可積分系構造が整合していることを保証する。

主な貢献と結果

• 主要定理 (Theorem 1.1): 本論文は、5つのケースすべて（$|\Gamma| \in \{1, 2, 3, 4, 6\}$）について、Groechenig によって構成された同型写像 $\Phi_{\Gamma,m}$ がホロモーフィック・シンプレクトモルフィズムであることを証明する。具体的には、$\Phi_{\Gamma,m}^* \Omega_{M_{\Gamma,m}} = \omega_{S[m]_\Gamma}$ であり、ここで $\omega_{S[m]_\Gamma}$ は $S_\Gamma$ の余接束構造によって誘導されるシンプレクティック形式である。
• 明示的な放物型データ: 著者らは、各アフィン・ディンキン型に対して、モジュライ空間 $M_{\Gamma,m}$ を定義するために必要な放物型フラッグ、ウェイト、および安定条件の詳細な分類を提供する。これには、$\tilde{A}_0$ の場合の「標識された（marked）」直線や、$\tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ の場合の多段階フラッグの具体的な構成が含まれる。
• オービフォールド・放物型対応: 著者らは、コース落としの放物型束と被覆上の等変束との間の対応の下でのシンプレクティック形式の適合性を厳密に確立し、Serre 双対性ペアリングにおけるスケーリング因子 $1/|\Gamma|$ を明確にする。
• 可積分系: 結果として、本論文は点のヒルベルト・スキーム $S[m]_\Gamma$ 上の代数的可積分系（Hitchin 系）を構築し、ヒルベルト・スキーム側のスペクトル・データ写像がヒッグス側の特性多項式写像に対応することを確認する。

意義
本論文は、Gorsky, Nekrasov, Rubtsov, および Groechenig によって開始された幾何学的構図を完成させるものである。これらのモジュライ空間の間の同型は以前から知られていたが、シンプレクティック構造の保存は、数学的物理学、特に幾何学的ラングランズ・プログラムやハイパーケーラー多様体の研究において極めて重要な性質である。シンプレクトモルフィズムを証明することにより、本論文は、 $T^*E/\Gamma$ のクリーパント分解上の点のヒルベルト・スキームが、放物型ヒッグス束のモジュライ空間と同じシンプレクティック幾何学を持つことを確認している。これにより、楕円曲線に関連する5つのアフィン・ディンキン型の型において、これら空間の研究を統一し、一貫した枠組みを提供している。