[论文解读] On the closure of the positive Hodge locus

Bruno Klingler, Anna Otwinowska|arXiv (Cornell University)|Jan 28, 2019

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

一句话总结

本文在假设通用 Mumford-Tate 群的伴随群为单群的前提下，证明了极化 Z-Hodge 结构族中正维特殊子簇的并集在基流形中要么是闭代数子簇，要么在 Zariski 拓扑下是稠密的。证明利用了 o-极小几何与周期映射分析，表明 Hodge 余集的 Zariski 闭包是代数的或稠密的，从而将关于阿贝尔簇模空间中特殊子簇的已知结果推广至满足适当霍奇理论条件的任意基流形。

ABSTRACT

Given a variation of Hodge structures on a quasi-projective base $S$, whose generic Mumford-Tate group is non-product, we prove that the (countable) union of positive components of the Hodge locus is either an algebraic subvariety of $S$, or is Zariski-dense in $S$.

研究动机与目标

• 确定极化 Z-Hodge 结构族中正维 Hodge 余集的 Zariski 闭包的几何结构。
• 在基流形 S 中建立一个二分法——即正维特殊子簇的并集要么是闭代数子簇，要么是 Zariski 稠密集。
• 将关于阿贝尔簇模空间中特殊子簇的已知结果推广至满足适当霍奇理论条件的任意基流形。
• 应用 o-极小技术于周期映射及其纤维，以分析 Hodge 余集的分层结构。

提出的方法

• 分析变体 V 的周期映射 Φ_S，利用其在 o-极小结构 R_an,exp 中的可定义性。
• 将基 S 分层为子集 S_d，使得 Φ_S 的纤维复维数至少为 d，通过 o-极小 Chow 定理证明每个 S_d 是闭代数子簇。
• 应用平凡化定理，通过 Hodge 余集 Zariski 闭包中的一般点 x 构造弱特殊子簇 W_x。
• 利用特殊子簇的极大性以及通用 Mumford-Tate 群的非积结构假设，推导出弱特殊子簇包含于唯一的正维特殊子簇中。
• 将问题约化至最小指标 i，使得 Hodge 余集不为代数集，证明此时除非余集在 S 中为 Zariski 稠密，否则将导致矛盾。
• 利用 Hodge 张量的结构与特殊子簇的群论定义，将余集的几何性质与 Mumford-Tate 群的伴随群联系起来。

实验结果

研究问题

• RQ1 在何种条件下，Z-Hodge 结构族中正维特殊子簇的并集在基流形中为代数集或 Zariski 稠密集？
• RQ2 周期映射的几何结构如何影响 Hodge 余集的 Zariski 闭包？
• RQ3 o-极小几何能否用于证明代数族中 Hodge 余集的有限性或稠密性结果？
• RQ4 通用 Mumford-Tate 群的伴随群的单性在 Hodge 余集结构中起何种作用？

主要发现

• 正维 Hodge 余集的 Zariski 闭包在基流形 S 中要么是闭代数子簇，要么是 Zariski 稠密集。
• 若通用 Mumford-Tate 群的伴随群为单群，则正维特殊子簇的并集为代数集或稠密集。
• 周期映射的纤维被分层为代数子集 S_d，每个 S_d 由纤维的维数定义，且均为闭代数子簇。
• 对于 Hodge 余集 Zariski 闭包中的一般点，存在一个维数至少为 d+1 的弱特殊子簇通过该点，且包含于闭包中。
• 假设通用 Mumford-Tate 群为非积群，可保证弱特殊子簇包含于唯一的正维特殊子簇中。
• 证明过程可约化至 Hodge 余集非代数的情形，此时除非闭包在 S 中为 Zariski 稠密，否则将导致矛盾。