[论文解读] Compactified Jacobians as Mumford models

Karl Christ, Sam Payne+1 more|arXiv (Cornell University)|Dec 8, 2019

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

一句话总结

本文证明了节点曲线的一参族光滑化之相对紧化雅可比簇是通用纤维的Picard簇的Mumford模型，通过骨架的多面体剖分构造而成。关键结果是每个紧化雅可比簇对应于与稳定性数据相关的特定剖分，其中度g情形唯一对应于热带断裂除子剖分。

ABSTRACT

We show that relative compactified Jacobians of one-parameter smoothings of a nodal curve of genus g are Mumford models of the generic fiber. Each such model is given by an admissible polytopal decomposition of the skeleton of the Jacobian. We describe the decompositions corresponding to compactified Jacobians explicitly in terms of the auxiliary stability data and find, in particular, that in degree g there is a unique compactified Jacobian encoding slop stability, and it is induced by the tropical break divisor decomposition.

研究动机与目标

• 在节点曲线的一参族光滑化背景下，建立相对紧化雅可比簇与Mumford模型之间的精确对应关系。
• 描述实现这些紧化雅可比簇的骨架多面体剖分，使用辅助稳定性数据。
• 证明编码斜率稳定性的度g紧化雅可比簇唯一对应于热带断裂除子剖分。
• 将经典紧化雅可比簇构造与通过Mumford模型的非阿基米德解析统一化相统一。
• 证明紧化雅可比簇的特殊纤维同构于形式模型关于格的商，从而确认Mumford模型结构。

提出的方法

• 作者使用非阿基米德解析统一化方法，从Picard簇的解析化骨架的多面体剖分构造Mumford模型。
• 他们将每个紧化雅可比簇关联到一个骨架剖分，该剖分参数化φ-半稳定层的组合类型，其中多重度和节点集为不变量。
• 该剖分被证明是度量图上Namikawa剖分的推广，其胞腔对应于对偶图上带有额外点的热带除子，这些点位于稳定节点处。
• 证明依赖于构造两个形式模型：一个来自Mumford统一化，另一个来自紧化雅可比簇，然后通过仿射开集分解与热带化证明其典范同构。
• 关键技术步骤在于证明形式模型在仿射开集上的通用纤维一致，通过匹配可扩张为 torsion-free 层的线丛等价类与热带等价类。
• 该同构通过图册粘合，并借助射影概形形式完成的唯一代数化性质，下降为代数同构。

实验结果

研究问题

• RQ1 如何将节点曲线的一参族光滑化之相对紧化雅可比簇实现为Mumford模型？
• RQ2 在紧化雅可比簇构造中，给定数值极化φ的骨架对应何种多面体剖分？
• RQ3 是否存在唯一一个度g的紧化雅可比簇实现斜率稳定性？其与热带几何有何关系？
• RQ4 特殊纤维上φ-半稳定层的模空间如何与骨架剖分中的组合类型相关联？
• RQ5 紧化雅可比簇的形式模型能否通过统一化方法与Mumford模型典范地识别？

主要发现

• 紧化雅可比簇 $\overline{J}_{\mathcal{X}}(\phi)$ 同构于 $\mathrm{Pic}^d(\mathcal{X}_K)$ 的Mumford模型，该模型由Picard簇解析化骨架的多面体剖分构造而成。
• 与 $\overline{J}_{\mathcal{X}}(\phi)$ 对应的剖分参数化了在顶点上具有多重度 $\underline{d}$ 的热带除子，以及在属于层支撑 $S$ 的节点对应的边上的一个额外点。
• 在度 $g$ 情形下，唯一实现斜率稳定性的紧化雅可比簇由骨架的热带断裂除子剖分诱导。
• 通用纤维 $\mathrm{Pic}^d(\mathcal{X}_K)$ 到 $\overline{J}_{\mathcal{X}}(\phi)$ 的包含映射是塔罗伊的（toroidal），即在局部上是仿射开集上分裂环的塔罗伊簇中与一个分裂环同构。
• 特殊纤维 $\overline{J}_X(\phi)$ 同构于形式模型 $\mathfrak{E}$ 关于格 $\Lambda$ 的商，从而确认了Mumford模型结构。
• 由Mumford统一化与由紧化雅可比簇导出的形式模型之间存在典范同构，从而导出Mumford模型与紧化雅可比簇之间的代数同构。