[论文解读] 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

一句话总结

该论文证明，对于极化 Z-型 Hodge 结构族（ZVHS）在至少三级的情况下，因子正周期维数的 Hodge 簇是特殊子簇的有限并集——因此是代数的——从而解决了 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-型 Hodge 结构族（ZVHS）的 Hodge 簇中特殊子簇的分布。
• 解决 Hodge 簇在正周期维数情况下是否为代数簇或解析稠密集的问题，特别是高阶情形。
• 基于典型与非典型交点，对特殊子簇建立完整分类，排除零周期维数的情形。
• 证明对于阶数 ≥3 的 ZVHS，因子正周期维数的 Hodge 簇是极大非典型特殊子簇的有限并集，因此为代数簇。
• 将该理论应用于具体几何情形，如超曲面的 Noether-Lefschetz 簇，以及 A4 中的 Torelli 簇。

提出的方法

• 利用周期映射 Φ: S^an → Γ\D 分析 Hodge 结构族的变化，将 Mumford-Tate 域 D 分解为简单因子 D1 × ⋯ × Dk。
• 根据维数与 Mumford-Tate 群包含关系，将特殊子簇分类为典型或非典型交点与 Shimura 子簇的交集。
• 应用几何 Zilber–Pink 猜想以控制特殊子簇的分布，尤其在 Hodge 通用子簇的背景下。
• 采用一个典型 Hodge 簇为空的判别准则，该准则源于 Hodge 滤子与单值群的表示论性质。
• 利用 Chai 对余维数的显式界 c(G, X, H) 证明：若子簇 S 在 Shimura 变体 Γ\X 中余维数为 1，则其 Hodge 簇为解析稠密。
• 借助 André–Oort 猜想（在相关情形下已被证明）推导出：若 Hodge 簇稠密，则必存在特殊子簇，从而在模空间中导出反证法。

实验结果

研究问题

• RQ1 对于阶数 ≥3 的 ZVHS，因子正周期维数的 Hodge 簇是否为代数簇？
• RQ2 在何种条件下，Hodge 簇在基空间中为解析稠密集？
• RQ3 特殊子簇的分布能否通过其与 Shimura 子簇的典型与非典型交点完全描述？
• RQ4 Hodge 簇的正周期维数是否仅在低阶情形（阶数 1 或 2）下非代数？
• RQ5 A4 中的 Torelli 簇能否包含非 PEL 型的特殊曲线？这对 Hodge 簇有何含义？

主要发现

• 对于任意阶数至少为 3 的极化 ZVHS，因子正周期维数的 Hodge 簇是极大非典型特殊子簇的有限并集，因此为代数簇。
• 特别地，若一般 Mumford-Tate 群为单群，则正周期维数的整个 Hodge 簇为代数簇。
• 对于 P^{n+1}_C 中光滑次数 d 超曲面的普遍族，当 n ≥ 3，d ≥ 5，且 (n,d) ≠ (4,5) 时，正周期维数的 Hodge 簇为代数簇。
• 在阶数 1 或 2 的情形下，若 Hodge 簇包含一个典型特殊子簇，则其在基空间中为解析稠密集。
• A4 中 Torelli 簇 T_4 的 Hodge 簇为解析稠密，这意味着存在一条亏格为 4 的曲线，其雅可比簇的 Mumford-Tate 群与 Q-形式 G_m × (SL_2)^3 同构。
• Mumford 的 A4 中的特殊曲线不能位于开 Torelli 簇 T_0^4 中，否则将违反 Toledo 定理给出的曲率界限。