[論文レビュー] Tame topology of arithmetic quotients and algebraicity of Hodge loci

Bruno Klingler|arXiv (Cornell University)|Mar 26, 2018

Algebraic Geometry and Number Theory参考文献 47被引用数 5

ひとこと要約

本稿は、算術的商の均質化写像および純粋極性付Z付加的ホッジ構造の変動の周期写像が、o-最小的意味で位相的になだらかであることを確立する。Peterzil-Starchenkoのo-最小的GAGA定理を用いて、ホッジ局在—特殊部分多様体の可算和—が代数的であることを証明し、Cattani-Deligne-Kaplanのホッジ局在代数的性に関する基礎的結果に対する、新たなモデル理論的証明を提供する。

ABSTRACT

We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are topologically tame. As an easy corollary of these results and of Peterzil-Starchenko's o-minimal GAGA theorem we obtain that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$ (a result originally due to Cattani-Deligne-Kaplan).

研究の動機と目的

• 算術的商の均質化写像および純粋極性付Z付加的ホッジ構造の変動の周期写像の、o-最小的意味での位相的ななだらかさを確立すること。
• o-最小的幾何学を用いて、算術的商におけるホッジ局在の代数的性を証明すること。
• 古典的結果、すなわちホッジ局在が代数的部分多様体の可算和であるという事実の、新たなモデル理論的証明を提供すること。
• o-最小的構造の適用範囲を、シャイマーバイエルズにとどまらず、一般の算術的商へと拡張すること。
• 定義可能性とo-最小的GAGAを用いて、特殊部分多様体およびそれらの周期写像による逆像が代数的であることを示すこと。

提案手法

• o-最小的構造を用いて、算術的商SΓ,G,M上の均質化写像の位相的ななだらかさを分析する。
• 複数変数におけるノルム化軌道定理を適用し、周期写像をノルム化軌道で近似する。
• 周期写像がR_an,exp-定義可能であることを確立し、o-最小的幾何学と結びつける。
• Peterzil-Starchenkoのo-最小的GAGA定理を用いて、複素解析的かつ定義可能な部分集合が代数的であることを結論づける。
• 算術的商における特殊部分多様体がR_an,exp-定義可能であり、それらの周期写像による逆像が同様の性質を継承することを示す。
• 定義可能性と解析性を組み合わせ、o-最小的GAGAを用いてホッジ局在の代数的性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 算術的商の均質化写像は、o-最小的意味で位相的になだらかか？
• RQ2 純粋極性付Z付加的ホッジ構造の変動に関連する周期写像は、位相的になだらかか？
• RQ3 o-最小的幾何学を用いて、純粋極性付Z付加的ホッジ構造の変動のホッジ局在が代数的であることを示せるか？
• RQ4 o-最小的GAGAは、算術的商における周期写像による特殊部分多様体の逆像に適用可能か？
• RQ5 モデル理論的ななだらかさと定義可能性を用いて、ホッジ局在の代数的性を再証明できるか？

主な発見

• 任意の算術的商SΓ,G,Mの均質化写像は、o-最小的意味で位相的になだらかである。
• 滑らかな複素の準射影的多様体上の純粋極性付Z付加的ホッジ構造の変動に関連する周期写像は、位相的になだらかである。
• そのような変動のホッジ局在は、代数的部分多様体の可算和である。これはCattani-Deligne-Kaplanの結果を回復する。
• 周期写像による特殊部分多様体の逆像は、定義可能かつ解析的であるため、o-最小的GAGAにより代数的である。
• 証明は、周期写像および特殊部分多様体がR_an,exp構造において定義可能であること、かつそれらの解析性に依存する。
• この結果により、非代数的算術的商、特に非シャイマーバイエルズの場合を含めて、o-最小的GAGAの適用範囲が拡張された。