[论文解读] Mixed Ax-Schanuel for the universal abelian varieties and some applications

Ziyang Gao|arXiv (Cornell University)|Jun 4, 2018

Advanced Algebra and Geometry参考文献 23被引用 3

一句话总结

本文在具有水平结构的极化阿贝尔簇模空间上建立了通用阿贝尔簇的混合Ax-Schanuel定理，扩展了此前关于纯Shimura簇的结果。关键贡献在于建立了一个超越不等式，将通用丛中子簇的Zariski闭包与其中心像的双代数闭包联系起来，其应用包括Betti映射的通用秩以及Bogomolov型的有限性结果。

ABSTRACT

In this paper we prove the mixed Ax-Schanuel theorem for the universal abelian varieties (more generally any mixed Shimura variety of Kuga type), and give some simple applications. In particular we present an application to studying the generic rank of the Betti map.

研究动机与目标

• 在具有水平结构的极化阿贝尔簇模空间上建立通用阿贝尔簇的混合Ax-Schanuel定理。
• 将Ax-Schanuel定理由纯Shimura簇推广至Kuga型混合Shimura簇。
• 将该定理应用于研究阿贝尔丛中Betti映射的通用秩。
• 证明一个类似于Bogomolov猜想的有限性结果，适用于阿贝尔丛中的某些子簇。
• 通过一致化和Zariski闭包，提供双代数子簇的几何刻画。

提出的方法

• 使用从Hermitian对称空间到阿贝尔簇模空间的统一化映射 $\mathbf{u}: \mathcal{X}_{2g,\mathrm{a}}^{+} \to \mathfrak{A}_g$。
• 应用受Mok-Pila-Tsimerman启发的o-极小几何技术，分析通用丛中解析子簇的Zariski闭包。
• 通过统一化映射的原像在参数空间中为代数集，引入双代数子簇的概念。
• 利用弱Ax-Schanuel定理，推导涉及Zariski闭包与双代数闭包的维数不等式。
• 使用Mumford-Tate群 $G = \mathrm{MT}(\widetilde{S})$ 分析纤维的几何结构及Betti映射的行为。
• 基于维数界使用反证法，排除Betti映射低秩行为的可能性。

实验结果

研究问题

• RQ1 在Kuga型混合Shimura簇（如通用阿贝尔簇）的背景下，Ax-Schanuel定理的正确表述是什么？
• RQ2 混合Ax-Schanuel定理能否用于控制阿贝尔丛中Betti映射的通用秩？
• RQ3 在阿贝尔丛的多截面 $\xi(S)$ 上，Betti映射在何种条件下达到最大秩 $2g$？
• RQ4 子簇的双代数结构如何与其中心化提升的Zariski闭包相关联？
• RQ5 在无固定部分的阿贝尔丛背景下，混合Ax-Schanuel定理能推出哪些有限性性质？

主要发现

• 混合Ax-Schanuel定理成立：对任意统一化映射图的解析子簇 $\mathscr{Z}$，有 $\dim \mathscr{Z}^{\mathrm{Zar}} - \dim \mathscr{Z} \geq \dim Z^{\mathrm{biZar}}$。
• 当 $\mathscr{Z}$ 的投影 $\widetilde{Z}$ 是 $\widetilde{Z}^{\mathrm{Zar}} \cap \mathbf{u}^{-1}(Z^{\mathrm{Zar}})$ 的复解析分支时，等号成立。
• 该定理蕴含模空间 $\mathbb{A}_g$ 上的纯Ax-Schanuel定理。
• 若 $\mathbb{Z}\xi$ 在Zariski拓扑下稠密且该丛无固定部分，则任意满足 $\dim \xi(S) \geq g$ 的多截面 $\xi(S)$ 上，Betti映射具有最大通用秩 $2g$。
• 若Betti映射的秩小于 $2g$，将导出矛盾：其Zariski闭包维数将超过 $\dim S$，这是不可能的。
• 该结果在标准假设下证实了André-Corvaja-Zannier关于Betti映射通用秩的猜想。