Completion of two-parameter period maps by nilpotent orbits

技術的要約：冪零軌道による二パラメータ周期写像の完備化

問題設定
本論文は、滑らかな準射影多様体 $S$ と周期領域 $D$ に随伴する周期写像 $\Phi: S \to \Gamma \backslash D$（ホッジ構造の変異（VHS）に関連するもの）の代数的な完備化を構成する問題に取り組んでいる。$D$ がエルミート型である場合は、サタケ–ベイリー–ボレル（SBB）およびアッシュ–マムフォード–ラパポート–タイ（AMRT）のコンパクト化によって十分に理解されているが、一般に $D$ が非エルミート型である場合には、この問題は依然として未解決のままである。目標は、周期写像を、対数多様体の射 $\Phi_\Sigma: \bar{S} \to \Gamma \backslash D_\Sigma$ へと拡張することである。ここで $\bar{S}$ は $単純正規交差境界を持つ滑らかな射影完備化であり、$\Gamma \backslash D_\Sigma$ は冪零軌道をパラメータ化するものである。非エルミート型の状況における中心的な困難は、周期写像と両立する有理冪零錐の「弱いファン（weak fan）」$\Sigma$ が既知の形で存在しないことであり、これが $\Gamma \backslash D_\Sigma$ を定義し、拡張の存在を保証するために必要となる。

手法
著者らは、カトウ–中ヤマ–ウスイ（KNU）理論による周期写像の完備化の理論と、モノドロミーの下での冪零錐の相互作用に関する新しい有限性に関する結果を組み合わせた戦略を採用している。

1. カトウ–中ヤマ–ウスイの枠組み： 本論文は、もし「弱いファン」$\Sigma$（面の下で閉じ、特定の交差特性を満たす有理冪零錐の集合）が存在するならば、周期写像は KNU 空間 $\Gamma \backslash D_\Sigma$ への射へと拡張されるという KNU 構成に基づいている。この拡張の像は、コンパクトな代数空間である。
2. 交差の有限性（定理 2.2）： 本論文の核心的な技術的革新は、冪零錐の交差の集合に関する有限性定理の証明である。具体的には、二つの有理冪零錐 $\sigma$ と $\tau$ に対して、集合 $\{ \sigma \cap \text{Ad}_\gamma(\tau) \mid \gamma \in \Gamma \}$ は有限である。これは、二重剰余類空間 $Z_\sigma(\mathbb{Z}) \backslash G(\mathbb{Z}) / Z_\tau(\mathbb{Z})$ を分析し、基本集合、シゲル集合、および $SL_2$ 軌道定理を利用することで確立される。証明には、混合ホッジ構造の文脈における重みフィルタ、デリーニュ分解、および放物型部分群の構造に関する詳細な分析が含まれる。
3. 有限細分（セクション 3）： 有限性の結果を用いて、著者らは $\dim S = 2$ の場合における弱いファンの構成を行う。まず、$S$ の滑らかな射影完備化の境界から生じる冪零錐の集まりから出発する。次に、一連の有限な細分（錐の精緻化）と、それに対応する基底多様体 $S$ の吹上げを行うことにより、弱いファンの公理を満たす新しい集まり $\Sigma$ を構築する。このプロセスにより、周期写像の局所モノドロミーが $\Sigma$ の中の錐の方向にあることが保証される。
4. 混合ホッジ構造への拡張： この手法は、次数付き偏極された混合ホッジ構造の変異へと拡張され、重み次数付き商体上の純粋ホッジ構造に対する有限性と細分の議論が適用可能であることを示している。

主要な貢献および結果

• 定理 1.2（主要な結果）： 任意の二パラメータ周期写像（$\dim S = 2$）に対して、滑らかな射影完備化 $\bar{S}$ と弱いファン $\Sigma$ が存在し、周期写像は対数多様体の射 $\Phi_\Sigma: \bar{S} \to \Gamma \backslash D_\Sigma$ へと拡張される。その像 $\Phi_\Sigma(\bar{S})$ はコンパクトな代数空間である。
• 定理 1.16： これは本論文の技術的なエンジンであり、任意の二パラメータ周期写像の局所モノドロミーと両立する弱いファン $\Sigma$ の存在を断言するものである。
• 定理 2.2： $\Gamma_{\sigma, \tau}$（$\sigma$ と $\tau$ の間の空でない交差を生じさせる $\Gamma$ の元）の像が二重剰余類空間において有限であることを述べる有限性定理である。この結果は、錐の次元には依存せず、細分論法の鍵となる。
• 一般化されたネロンモデル（定理 4.4）： 著者らは、これらの完備化の結果を、二次元基底上の中間ヤコビアンの族に対する一般化されたネロンモデルの構成に応用している。これにより、境界における退化データを符号化する、族および許容な正規関数の完備化された基底への拡張が提供される。
• 混合ホッジ構造（定理 4.2）： 主定理は混合周期写像の設定へと一般化されており、二次元における混合ホッジ構造の変異に対して、完備化およびネロンモデルの構成が成立することを示している。

意義および主張
本論文は、周期領域が一般に非エルミート型である設定において、二パラメータ周期写像に対するカトウ–中ヤマ–ウスイ完備化の存在を解決したと主張している。この設定では、従来の結果は特定の例や一次元基底に限定されていた。

• AMRTの拡張： この結果は、任意の周期領域に対する AMRT コンパクト化の二パラメータ版として提示されており、無限遠におけるホッジ論的データ（冪零軌道）を符号化している。
• 像の代数的な性質： 著者らは、拡張された写像の像がコンパクトな代数空間であることを強調しており、退化を研究するための具体的な幾何学的対象を提供している。
• 限界と範囲： 本論文は、冪零錐の次元が 3 以上の場合に生じる組合せ論的な複雑さのため、細分補題（命題 3.7）の証明において $\dim S = 2$ への制限が必要であることを明記している。彼らは、追加の仮定（局所 Torelli 仮説やエルミート型など）がない限り、この結果が任意の次元で成立するとは主張していない。
• 予想に対する謙虚な姿勢： 本論文は、任意の周期写像に対するサタケ–ベイリー–ボレル コンパクト化の予想される類似物について議論しているが、その予想を証明したとは主張していない。むしろ、周期写像を通じたモジュライ空間の大域的な構造を理解するためのステップとして、本結果を位置づけている。

本研究は、シュミッド、カトウ、ウスイ、中ヤマの基礎理論に深く依拠しており、算術群とシゲル集合の理論における厳密な有限性議論を通じて、それらの機構を新たな幾何学的領域へと拡張している。