[论文解读] A criterion for existence of Néron models of jacobians

Giulio Orecchia|arXiv (Cornell University)|Jun 14, 2018

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

一句话总结

本文建立了在维数大于一的正规概形上，节点曲线的雅可比簇存在Néron模型的充要条件——环面可加性。环面可加性通过纤维对偶图的贝蒂数相等来定义，确保在奇点纤维处雅可比簇的环面秩等于边界分量通用点处环面秩之和。关键结果是：当且仅当族满足环面可加性时，Néron模型存在，从而解决了高维Néron模型理论中关于雅可比簇的长期悬而未决的问题。

ABSTRACT

Néron models of abelian varieties do not necessarily exist if the base $S$ has dimension higher than 1. We introduce a new condition, called toric additivity, on a family of smooth curves having nodal reduction over a normal crossing divisor $D\subset S$. The condition is necessary and sufficient for existence of a Néron model of the jacobian of the family; it depends only on the Betti numbers of the dual graphs of the fibres of the family, or on the toric ranks of the fibres of the jacobian.

研究动机与目标

• 为解决在维数 >1 的正规概形上，节点曲线的雅可比簇何时存在Néron模型这一开放问题。
• 识别出一族曲线的精确、内在条件，以保证其雅可比簇存在Néron模型。
• 阐明环面可加性、对齐性（Holmes的条件）以及曲线族总空间正规性之间的关系。
• 在较弱假设（如基概形为优良）下，建立环面可加性是Néron模型存在的必要且充分条件。

提出的方法

• 引入新的环面可加性条件，其定义为：奇异纤维的对偶图的一阶贝蒂数等于其边界分量在通用点处各分量对偶图的一阶贝蒂数之和。
• 使用广义雅可比簇 Pic^0_{C/S} 作为函子性、半阿贝尔的模型，以捕捉雅可比簇的环面部分，从而实现在局部验证该条件。
• 证明环面可加性在平展基变换和总空间的爆破下保持不变，且保持雅可比簇 Pic^0 的结构。
• 证明环面可加性蕴含在适当爆破后存在正规模型，从而可应用关于正规总空间上Néron模型存在的已知结果。
• 利用下降技巧，并利用环面可加性在平展覆盖下可下降的性质，将问题约化到总空间为正规的情形。
• 利用Holmes的对齐条件及其在正规情形下与环面可加性的等价性，证明逆向方向。

实验结果

研究问题

• RQ1 在维数 >1 的正规概形上，节点曲线的雅可比簇在何种条件下存在Néron模型？
• RQ2 在奇异纤维处雅可比簇的环面秩与边界分量通用纤维处环面秩之间有何关系？
• RQ3 是否存在关于纤维对偶图的组合条件，能刻画高维情形下雅可比簇Néron模型存在的条件？
• RQ4 环面可加性是否蕴含在基变换或爆破后存在正规模型？
• RQ5 当总空间为正规时，环面可加性是否等价于Holmes的对齐条件？

主要发现

• 在基概形 S 为优良的条件下，环面可加性是雅可比簇在 S 上存在Néron模型的必要且充分条件。
• 该条件等价于等式 h₁(Γ) = h₁(Γ₁) + … + h₁(Γₙ)，其中 Γ 是奇异纤维的对偶图，Γᵢ 是边界分量在通用点处的纤维对偶图。
• 环面可加性在平展基变换和总空间爆破下保持不变，且保持雅可比簇 Pic^0 的结构。
• 若曲线族的总空间为正规，则环面可加性等价于Holmes的对齐条件。
• 雅可比簇在 S 上存在Néron模型当且仅当族是环面可加的，即使总空间不正规。
• 该条件在 S 上是开集，因此存在一个最大开子集 V ⊂ S，使得在 V 上雅可比簇存在Néron模型。