[论文解读] A characterization of special subvarieties in orthogonal Shimura varieties

Stefan Müller–Stach, Kang Zuo|arXiv (Cornell University)|Aug 31, 2010

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

一句话总结

本文通过非零的格里菲斯-尤考夫耦合与Higgs丛分解，给出了光滑正则化仿射正交型Shimura簇 $ M^0 $ 的子簇 $ Y $ 成为特殊子簇 $ Y^0 \subset M^0 $ 的紧化形式的必要且充分条件。关键结果表明，当关联的Higgs丛结构与单值性条件与统一特殊子簇的结构一致时，$ Y^0 $ 恰好为正交型或酉型特殊子簇。

ABSTRACT

Let $Y$ be a subvariety contained in a smooth Mumford compactification of an orthogonal Shimura variety $M \subset A_g$, where $A_g$ is the moduli space of principally polarized abelian varieties of dimension $g$ with some level structure, such that $Y$ intersects the boundary of $A_g$ transversally. Then we give necessary and sufficient conditions of André-Oort type for $Y$ itself being the compactification of a special subvariety $Y^0 \subset M$

研究动机与目标

• 通过刻画正交型Shimura簇中的特殊子簇，将安德烈-奥尔特猜想推广为弱形式。
• 确定子簇 $ Y \subset \overline{A}_g $（与边界横截相交）何时为特殊子簇 $ Y^0 \subset M^0 $ 的紧化形式。
• 利用Hodge理论与单值性数据（特别是格里菲斯-尤考夫耦合与Higgs丛分解）建立必要且充分条件。
• 在局部系统与极化Hodge结构变化（VHS）的背景下统一几何与算术结构。
• 在Hodge-Hitchin条件（HHP）下，为该刻画提供两种证明：一种基于单值性不变性，另一种基于饱和Higgs子丛。

提出的方法

• 将格里菲斯-尤考夫耦合作为关键不变量：非零意味着局部系统 $ \mathbb{V}' $ 可分解为一个秩一Hodge丛与一个酉子-VHS的直和。
• 对 $ \mathbb{V}'_{Y^0} $ 应用Higgs丛形式，将其分解为 $ (E^{2,0}_Y \oplus E^{1,1'}_Y \oplus E^{0,2}_Y, \theta_Y) \oplus (E^{1,1''}_Y, 0) $，其中第二部分对应一个酉子系统。
• 利用Simpson对对数Higgs丛的多项式稳定性，确保子-VHS结构在 $ Y^0 $ 上可延拓，尤其在 $ H(Y^0) $ 的 $ \mathbb{Q} $-单性假设下。
• 在Hodge-Hitchin条件（HHP）下分析法丛贡献 $ \theta_{N_{C_i/Y}}(N_{C_i/Y} \otimes E^{2,0}_{C_i}) $，确保其为酉部分的直因子。
• 利用 $ Y^0 \subset M^0 $ 的刚性性质，得出 $ Y^0 $ 为全测地线，因此为正交型特殊子簇。
• 利用由 $ E^{2,0}_Y $ 生成的饱和Higgs子丛 $ (F_Y, \theta_Y) $ 检测子-VHS结构，其中 $ \det(F_Y) \cdot C_i = 0 $ 意味着度数为零的稳定性。

实验结果

研究问题

• RQ1 当子簇 $ Y \subset \overline{A}_g $ 与边界横截相交时，其何时为特殊子簇 $ Y^0 \subset M^0 $ 的紧化形式？
• RQ2 格里菲斯-尤考夫耦合的非零性在判断 $ Y^0 $ 是否为正交型特殊子簇中起什么作用？
• RQ3 在曲线 $ C_i \subset Y $ 上的Hodge-Hitchin条件（HHP）如何影响Higgs丛的分解以及子-VHS在 $ Y^0 $ 上的延拓？
• RQ4 在何种条件下，格里菲斯-尤考夫耦合的消失会导致酉型特殊子簇？
• RQ5 单值性不变性与Higgs丛的多项式稳定性如何确保统一 $ Y^0 $ 的子-VHS在整条 $ Y^0 $ 上可延拓？

主要发现

• 子簇 $ Y \subset \overline{A}_g $ 是特殊子簇 $ Y^0 \subset M^0 $ 的紧化形式，当且仅当在曲线 $ C_i \subset Y $ 上格里菲斯-尤考夫耦合非零，且关联的Higgs丛具有秩为 $ \dim M - \dim Y $ 的酉因子。
• 格里菲斯-尤考夫耦合的非零性意味着 $ \mathbb{V}'_{C_i} = \mathbb{V}'' \oplus \mathbb{U}^{1,1} $，其中 $ \mathbb{V}'' $ 具有秩一Hodge丛，$ \mathbb{U}^{1,1} $ 为纯Hodge型 $ (1,1) $ 的酉子-VHS。
• 与 $ \mathbb{V}'_{Y^0} $ 关联的Higgs丛 $ E $ 分解为 $ (E^{2,0}_Y \oplus E^{1,1'}_Y \oplus E^{0,2}_Y, \theta_Y) \oplus (E^{1,1''}_Y, 0) $，且 $ \theta_Y: T_Y(-\log S_Y) \otimes E^{2,0}_Y \to E^{1,1'}_Y $ 为同构。
• 由HHP与度数分析导出的条件 $ \det(F^{1,1}_Y) \cdot C_i = 0 $ 确保饱和Higgs子丛 $ F_Y $ 对应于 $ Y^0 $ 上的子-VHS，从而统一 $ Y^0 $ 为特殊子簇。
• 当格里菲斯-尤考夫耦合消失时，Higgs子丛 $ (F_Y, \theta_Y) $ 的形式为 $ E^{2,0}_Y \oplus \theta_Y(T_Y(-\log S_Y) \otimes E^{2,0}_Y) $，且 $ \det(F_Y) \cdot C_i = 0 $ 意味着 $ Y^0 $ 为酉型特殊子簇。
• 嵌入 $ Y^0 \subset M^0 $ 的刚性，结合单值性不变性与多项式稳定性，确保 $ Y^0 $ 为全测地线，因此为正交型特殊子簇。