[論文レビュー] On the distribution of the Hodge locus

Gregorio Baldi, Bruno Klingler+1 more|arXiv (Cornell University)|Jul 19, 2021

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

本稿は、レベルが3以上の極性可能 Z-ホッジ構造の変動について、因子別に正の周期次元をもつホッジ多様体が、有限個の特殊多様体の和集合であることを確立している。これは、Zilber–Pink予想の主要なケースを解決するものであり、特殊多様体の完全分類（典型／非典型交差を用いて）に依拠しており、高レベルではそのような多様体は解析的稠密ではなく代数的であることが示され、超曲面や曲線・アーベル多様体のモジュライ空間への応用がある。

ABSTRACT

Given a polarizable $\mathbb{Z}$-variation of Hodge structures $\mathbb{V}$ over a complex smooth quasi-projective base $S$, a classical result of Cattani, Deligne and Kaplan says that its Hodge locus (i.e. the locus where exceptional Hodge tensors appear) is a countable union of irreducible algebraic subvarieties of $S$, called the special subvarieties for $\mathbb{V}$. Our main result in this paper is that, if the level of $\mathbb{V}$ is at least $3$, this Hodge locus is in fact a finite union of such special subvarieties (hence is algebraic), at least if we restrict ourselves to the Hodge locus factorwise of positive period dimension. For instance the Hodge locus of positive period dimension of the universal family of degree $d$ smooth hypersurfaces in $\mathbf{P}^{n+1}_\mathbb{C}$, $n\geq 3, d\geq 5$ and $(n,d) eq (4,5)$, is algebraic. On the other hand we prove that in level $1$ or $2$, the Hodge locus is analytically dense in $S^{an}$ as soon as it contains one typical special subvariety. These results follow from a complete elucidation of the distribution in $S$ of the special subvarieties in terms of typical/atypical intersections, with the exception of the atypical special subvarieties of zero period dimension.

研究の動機と目的

• 滑らかで準射影的な基底上での極性可能 Z-ホッジ構造の変動（ZVHS）のホッジ多様体における特殊多様体の分布を特定すること。
• 正の周期次元をもつホッジ多様体が代数的であるか、あるいは解析的に稠密であるかという問題を、特に高レベルの場合に解決すること。
• 特殊多様体の完全分類を、典型および非典型交差の観点から行い、周期次元が0の場合は除くこと。
• レベル ≥3 の ZVHS に対して、因子別に正の周期次元をもつホッジ多様体が、最大の非典型特殊多様体の有限個の和集合であることを示し、したがって代数的であることを証明すること。
• 理論を具体的な幾何的状況に応用すること。特に、超曲面のノエター＝リーマン多様体および A4 におけるトーリー多様体を対象とする。

提案手法

• 周期写像 Φ: S^an → Γ\D を用いてホッジ構造の変動を分析し、ムーディ・マクターサー多様体 D を単純因子 D1 × ⋯ × Dk に分解する。
• 次元およびムーディ・マクターサー群の包含関係に基づき、特殊多様体を典型または非典型交差として分類する。
• 幾何学的 Zilber–Pink 予想を用いて、特にホッジ一般の部分多様体の文脈において、特殊多様体の分布を制御する。
• ホッジフィルトレーションおよびモノドロミー群の表現論的性質に基づく、典型ホッジ多様体が空であるための基準を適用する。
• Chai のコドメインに関する明示的評価 c(G, X, H) を用い、もし部分多様体 S がシュイマ多様体 Γ\X においてコドメイン1をもつならば、そのホッジ多様体は解析的に稠密であることを証明する。
• 関連する場合に既に証明済みのアンドレ＝オールト予想を活用し、稠密なホッジ多様体が特殊多様体を含むことから、モジュライ空間における背理法的議論を展開する。

実験結果

リサーチクエスチョン

• RQ1 レベル ≥3 の ZVHS に対して、因子別に正の周期次元をもつホッジ多様体は代数的か？
• RQ2 ホッジ多様体が基底空間において解析的に稠密であるのはどのような条件下か？
• RQ3 特殊多様体の分布は、シュイマ多様体との典型および非典型交差によって完全に記述可能か？
• RQ4 正の周期次元をもつホッジ多様体が代数的でないのは、レベル1または2の低レベルの場合に限るのか？
• RQ5 A4 におけるトーリー多様体 T_4 に、PEL型でない特殊曲線が存在しうるか？ そしてこれはホッジ多様体にどのような含意をもたらすか？

主な発見

• 任意のレベルが3以上の極性可能 ZVHS に対して、因子別に正の周期次元をもつホッジ多様体は、最大の非典型特殊多様体の有限個の和集合である。したがって代数的である。
• 特に、一般のムーディ・マクターサー群が単純である場合、正の周期次元をもつホッジ多様体全体が代数的である。
• n ≥ 3、d ≥ 5 かつ (n,d) ≠ (4,5) を満たす、複素射影空間 P^{n+1}_C 内の次数 d の滑らかな超曲面の普遍族に対して、正の周期次元をもつホッジ多様体は代数的である。
• レベル1または2では、ホッジ多様体が1つの典型特殊多様体を含むならば、そのホッジ多様体は基底空間において解析的に稠密である。
• A4 におけるトーリー多様体 T_4 のホッジ多様体は解析的に稠密であり、これは、種数4の曲線で、そのヤコビアンのムーディ・マクターサー群が G_m × (SL_2)^3 の Q-形と同種であるものがあることを示唆する。
• ムーディの A4 内の特殊曲線は、開トーリー多様体 T_0^4 に含まれえない。なぜなら、トーレドの定理による曲率の上限に反するからである。