[论文解读] Models of Jacobians of curves

David Holmes, Samouil Molcho+2 more|arXiv (Cornell University)|Jul 21, 2020

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文证明了在环面概形上，预稳定曲线的雅可比簇存在Néron模型，将经典的Néron模型推广至高维基空间。文章引入了饱和模型——具有 torsion 截面扩展性质的最大拟紧、分离的群模型——并证明对数雅可比簇是一个对数Néron模型，通过对数几何统一了该理论。

ABSTRACT

We show that the Jacobians of prestable curves over toroidal varieties always admit Néron models. These models are rarely quasi-compact or separated, but we also give a complete classification of quasi-compact separated group-models of such Jacobians. In particular we show the existence of a maximal quasi-compact separated group model, which we call the saturated model, which has the extension property for all torsion sections. The Néron model and the saturated model coincide over a Dedekind base, so the saturated model gives an alternative generalisation of the classical notion of Néron models to higher-dimensional bases; in the general case we give necessary and sufficient conditions for the Néron model and saturated model to coincide. The key result, from which most others descend, is that the logarithmic Jacobian of \cite{Molcho2018The-logarithmic} is a log Neron model of the Jacobian.

研究动机与目标

• 将经典的Néron模型概念推广至高维基空间，因为在这些空间中，分离的、拟紧的模型通常不存在。
• 根据热带雅可比簇的子群，对雅可比簇的所有分离的、拟紧的群模型进行分类。
• 引入并刻画饱和模型，作为具有 torsion 截面扩展性质的最大拟紧、分离的群模型。
• 通过对数雅可比簇，建立Néron模型的对数几何解释。
• 提供Néron模型与饱和模型在高维中重合的必要与充分条件。

提出的方法

• 将Néron模型构造为严格对数线丛函子 sLPic⁰，其在对数正则基上的预稳定曲线上表示度为零的对数线丛。
• 将热带雅可比簇定义为Néron模型除以其恒等分支所得的商，形成基上的 étale 群代数空间。
• 利用热带雅可比簇对准有限开子群进行分类，这些子群与雅可比簇的分离的、拟紧的群模型之间存在双射关系。
• 通过验证对数态射的普遍扩展性质，证明对数雅可比簇是一个对数Néron模型。
• 通过在Picard函子中进行饱和化过程，建立饱和模型的存在性，作为此类模型的最大者。
• 在概形的大范畴上应用下降与表示性技术，证明相关函子的表示性。

实验结果

研究问题

• RQ1 在高维环面基上，预稳定曲线的雅可比簇是否存在Néron模型？
• RQ2 在高维中，Néron模型与饱和模型重合的必要与充分条件是什么？
• RQ3 如何通过热带不变量对雅可比簇的分离的、拟紧的群模型进行分类？
• RQ4 对数几何时在构造和刻画高维基空间上的Néron模型中起到什么作用？
• RQ5 饱和模型能否被刻画为 torsion 截面的普遍扩展？

主要发现

• 在环面概形上，预稳定曲线的雅可比簇的Néron模型始终存在，且为拟分离的。
• 对数雅可比簇 sLPic⁰ 是一个对数Néron模型，通过对其数线丛提供模解释。
• 饱和模型是雅可比簇的最大拟紧、分离的群模型，且对所有 torsion 截面具有扩展性质。
• 热带雅可比簇的准有限开子群与雅可比簇的分离的、拟紧的群模型之间存在自然双射。
• 当且仅当曲线满足与光滑化参数对齐相关的条件时，Néron模型与饱和模型重合。
• 严格热带雅可比簇 sTPic⁰ 同构于在局部戴德金基上的Néron模型的分支群。