[论文解读] The Shafarevich conjecture for hypersurfaces in abelian varieties

Brian Lawrence, Will Sawin|arXiv (Cornell University)|Apr 20, 2020

Algebraic Geometry and Number Theory参考文献 43被引用 14

一句话总结

该论文证明了在维度至少为4的阿贝尔簇中，至多平移等价类下，代表固定极化类且在有限素数集外具有良好约化的光滑超平面截痕是有限的。证明结合了$p$-进霍奇结构的变体与一种新颖的纤维丛卷积的坦纳基安方法，以建立大单值群，从而得出类似于曲线情形的沙法列维奇猜想的几何有限性结论。

ABSTRACT

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many smooth hypersurfaces in $A$, with good reduction outside $S$, representing a given ample class in the Néron-Severi group of $A$, up to translation, as long as the dimension of $A$ is at least $4$. Our approach builds on the approach of arXiv:1807.02721 which studies $p$-adic variations of Hodge structure to turn finiteness results for $p$-adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.

研究动机与目标

• 建立关于在有限素数集外具有良好约化的阿贝尔簇中超平面截痕的几何有限性结果。
• 将原本对曲线和阿贝尔簇证明的沙法列维奇猜想推广至阿贝尔簇中的高维超平面截痕。
• 证明当阿贝尔簇维度至少为4时，对于固定的极化Néron–Severi类，至多平移等价类下仅有有限多个此类光滑超平面截痕。
• 发展一种新方法，利用坦纳基安形式化与纤维丛卷积，证明由阿贝尔簇中超平面截痕导出的霍奇结构变体中的大单值群。

提出的方法

• 利用$p$-进霍奇结构变体，将$p$-进伽罗瓦表示的有限性转化为几何有限性陈述。
• 应用Krämer与Weissauer的纤维丛卷积形式化，分析阿贝尔簇上的上同调结构。
• 运用坦纳基安理论，为超平面截痕的中间上同调建立大单值群，这是证明有限性的关键步骤。
• 将问题约化为涉及$S$-单位中判别式多项式的丢番图方程，利用奇异超平面截痕在给定Picard类的射影空间中构成一个除数的事实。
• 使用渐近估计与小维度下的逐项验证，辅以Python代码进行有限性检查。
• 通过强单值群条件建立准有限周期映射，将几何与算术有限性联系起来。

实验结果

研究问题

• RQ1 在维度至少为4的阿贝尔簇中，是否存在仅有限多个代表固定极化Néron–Severi类且在有限素数集外具有良好约化的光滑超平面截痕，至多平移等价类？
• RQ2 曲线的沙法列维奇猜想能否推广至阿贝尔簇中维度超过2的超平面截痕？
• RQ3 大单值群在确保此类超平面截痕有限性中起什么作用？如何利用纤维丛卷积与坦纳基安形式化建立它？
• RQ4 奇异超平面截痕的判别式分支结构与$S$-单位中的丢番图有限性有何关联？
• RQ5 在维度3时存在哪些算术障碍？为何结果要求交数不被快速增长序列$d(i)$整除？

主要发现

• 对于维度至少为4的阿贝尔簇，至多平移等价类下，代表固定极化Néron–Severi类且在有限集$S$外具有良好约化的光滑超平面截痕仅有有限多个。
• 该结果等价于判别式方程$\Delta(x_1,\dots,x_N) = u$在$\mathcal{O}_K[1/S]$中$u$为$S$-单位时解的有限性，将沙法列维奇猜想推广至超平面截痕情形。
• 在维度3时，若三重交数$\phi \cdot \phi \cdot \phi$不被任何$i \geq 2$的$d(i)$整除，则有限性成立，其中$d(i)$呈超指数增长。
• 序列$d(i) = \binom{a(i)+a(i+1)}{a(i)}$，其中$a(i)$满足线性递推关系，其增长如此之快，以至于被排除的交数比例可忽略不计。
• 该证明通过将坦纳基安形式化应用于阿贝尔簇上的纤维丛卷积，为超平面截痕中间上同调的霍奇结构变体建立了大单值群。
• 该方法为算术有限性结果提供了独立于法尔廷斯原始定理的新路径，并支持更广泛猜想：沙法列维奇猜想对许多代数簇族均成立。