Some density results for hyperkähler manifolds

「ハイパーケーラー多様体における密度の結果について」のテクニカル・サマリー

問題設定
本論文は、ハイパーケーラー多様体の族におけるラグランジュ・フィブレーション（Lagrangian fibration）の存在と分布を取り扱う。ハイパーケーラー多様体 $X$ は、ビュービル・ボゴムリフ・フキキ（BBF）二次形式 $q_X$ に関して等長（isotropic）な半正定値（semi-ample）な線束 $L$（すなわち $q_X(L)=0$）を持つとき、ラグランジュ・フィブレーションを許容する。中心となる問題は、非等長的な（non-isotrivial）族 $X \to S$ において、ファイバー $X_t$ がそのピカール・ラティス（Picard lattice）内にこのような等長なクラスを持つようなパラメータの密度を決定することである。さらに、本論文では、そのような等長なクラスが「nef（正定値）」でもあるようなロカス（locus）の開性と密度についても調査している。この条件は、ラグランジュ・フィブレーションの存在に十分であると予想されている条件（ハイパーケーラーSYZ予想）である。

手法
著者らは、ホッジ理論的手法、具体的にはK3型の変種ホッジ構造（Variations of Hodge Structures, VHS）の理論を用いる。

1. 等長クラスの密度: 著者らは、族を連結な複素多様体 $S$ 上のVHS $(S, \mathcal{V}, F^\bullet, \nabla, q)$ としてモデル化する。彼らは、周期ドメイン $\Omega$ への周期写像 $P: S \to \Omega$ を利用する。証明は、周期ドメインのエルゴード的性質と、周期写像の微分が非等長的であることの全射性に依拠している。彼らは、ガウス・マネーマン接続の文脈における射影の沈下（submersion）に関するVoisinの補題を応用し、等長なクラスが代数的なものとなるロカスの和集合が稠密であることを示す。
2. Nefクラスの密度: Nefロカスについては、著者らはウォール・ディバイザー（wall divisor）およびMBM（monodromy birational minimal）クラスの理論を利用する。彼らは、変形空間内におけるnefロカスの補集合を、ウォール・ディバイザーによって定義される超曲面の可算和として分析する。証明は、偏極された周期ドメインに対するモノドロミー群の適切に離散的な作用（AmerikおよびVerbitskyによって確立された結果）を利用して、これらの超曲面の和集合が閉集合であり、かつ測度ゼロであることを示し、それによってnefロカスの開性と密度を確立する。

主要な貢献と結果

• 定理1（等長クラスの密度）: 非等長的なハイパーケーラー多様体の族 $X \to S$ （ただし $b_2(X_t) \geq 5$）において、ファイバー $X_t$ が $H^{1,1}(X_t, \mathbb{Z})$ 内に非ゼロの等長クラスを持つような点の集合 $\{t \in S\}$ は、空集合であるか、あるいは $S$ において解析的に稠密である。この結果は、既知のグローバルな変形空間からの密度に関する言明を、任意の非等長的な族へと一般化するものである。
• 定理4（Nefロカスの開性と密度）: $X$ をハイパーケーラー多様体、$L$ を等長な線束とする。$L$ が依然としてnefである変形のロカス $\text{Def}(X, L)_{\text{nef}}$ は、$L$ が依然として代数的であるロカス $\text{Def}(X, L)$ において開かつ稠密である。具体的には、補集合 $\text{Def}(X, L) \setminus \text{Def}(X, L)_{\text{nef}}$ は、ウォール・ディバイザーによって誘導される超曲面の可算和である。
• 系 2.5（ウォール・ディバイザーの境界）: 開性の結果とMoriwakiの判定基準の結果として、著者らは、非等長的な族の中で等長な線束をnon-nefにするウォール・ディバイザーの最小次数の境界を確立する。

意義と主張
本論文は、非自明な等長nef線束の存在がラグランジュ・フィブレーションの存在と同値であることを提唱する、ハイパーケーラーSYZ予想を支持する厳密な証拠を提供している。

• 著者らは、いかなる非等長的な族においても、「良質な」パラメータ（等長なクラス、およびそれに続くnefな等長クラスを持つもの）は孤立しておらず、稠密な集合を形成することを実証している。
• Nefロカスに関する結果は、クラスがnefであることの障害が、変形空間内の「小さな」集合（可算個の超曲面の和）に限定されているという、期待される幾何学的挙動を裏付けている。
• 本研究は、Noether–Lefletcherロカスに関するOguisoの成果や、等分布性に関するTayouの研究などの先行する密度に関する結果を、K3型構造に適用可能な統一的なホッジ理論的アプローチを用いて、任意の非等長的な族における等長クラスという特定の文脈へと拡張するものである。

著者らは、SYZ予想が特定の変形クラス（ヒルベルト・スキーム、一般化된 Kummer、OG6、OG10）に対しては確立されていることを明記した上で、彼らのnefロカスの密度に関する結果は、一般的な偏極ハイパーケーラー多様体に対して成立しており、より広いモジュライ空間全体における予想の妥当性を強化するものであると述べている。