Birational Classification of Orbifold Compactified Jacobians

技术摘要：轨道紧化雅可比簇的双有理分类

问题陈述
本文解决了群 $G$ 在轨道基 $S$ 上的一族轨道紧化的等变轨道双有理分类问题。具体而言，文章聚焦于 $G$ 为代数环面、半阿贝尔概型或节点曲线族的雅可比簇的情形。作者在德林 - 蒙福德（Deligne-Mumford，简称 DM）叠的框架内开展工作，采纳了 Kresch 和 Tschinkel 提出的双有理等价定义，该定义要求存在具有固有、双有理且可表示态射的对应关系。这一定义将轨道双有理类与代数簇的双有理类区分开来，因为它考虑了叠结构（各向同性群），并防止轨道类被平凡化为单一的簇类。

核心难点在于，虽然完备环面簇的经典双有理分类是平凡的（仅由维数决定），但轨道版本却产生了无穷多个不同的类。本文旨在对半阿贝尔概型和雅可比簇的这些类进行分类，从而推广 Schmitt 关于环面轨道的最新成果。

方法论
作者运用对数几何的语言，将几何分类问题转化为组合问题。方法论通过以下几个关键阶段展开：

1. 对数紧化与阿尔廷扇（Artin Fans）： 作者将半阿贝尔概型 $G$ 的对数紧化定义为包含 $G$ 作为稠密开子叠的固有、对数光滑且 $G$-等变的态射 $X \to S$。他们建立了这些几何对象与阿尔廷扇（有理多面体锥范畴上的叠）之间的对应关系。具体而言，他们证明了通过对热带化函子，对数紧化的范畴等价于“组合部分对数紧化”的范畴。
2. 热带对应： 构造了一个“热带化”函子 $\Sigma_?$，将对数紧化映射到“热带紧化”（热带半阿贝尔簇的细分）。反之，一个“几何实现”函子 $R_?$ 从组合数据重构几何对象。作者证明了这种对应是范畴等价，从而将几何问题简化为热带紧化的分类问题。
3. 广义对象与极小性： 为了实现完整分类，作者引入了广义对数紧化（允许在组合极限中包含某些不可表示态射）和极小对象。他们证明了每个双有理等价类都包含一个唯一的极小对象。该极小对象作为该类的规范代表。
4. 组合解： 识别极小对象的问题通过组合方法解决。作者定义了“叠扇”（stacky fans）和“极小扇”（满足特定交集和不变性性质的格点子集）。他们证明了极小广义热带紧化与这些极小扇之间存在双射对应。
5. 奈隆映射性质： 一个关键的技术步骤是利用对数雅可比簇的奈隆映射性质（由 Holmes 等人建立）。该性质确保了雅可比簇的任何对数紧化都 admit 一个到对数雅可比簇的唯一等变态射，从而使作者能够将雅可比簇置于与代数环面相同的框架内处理。

主要贡献与成果

• Schmitt 成果的推广： 本文将 Schmitt 关于环面轨道（使用“子格着色”）的分类推广到更广泛的半阿贝尔概型和雅可比簇背景中。它为 Schmitt 的子格着色提供了几何解释，将其视为极小对数紧化的扇。
• 紧化雅可比簇的分类： 作者为对数光滑曲线的紧化雅可比簇提供了完整的双有理分类。他们建立了紧化雅可比簇的双有理等价类集合与热带雅可比簇的极小广义热带紧化集合之间的双射。
• 极小对数紧化： 本文证明了对于任何半阿贝尔概型 $G$（在特定条件下），对数紧化的范畴包含一个唯一的极小对象，记为 $G^{\log}$。虽然任何对数紧化都映射到 $G^{\log}$，但仅当该映射是可表示的时，它才是双有理等价。这阐明了双有理类的结构：它们与极小广义对数紧化一一对应。
• 组合描述： 作者提供了这些极小类的显式组合描述。对于环面 $T$，这些类对应于“子格着色”（推广到半阿贝尔情形）。对于雅可比簇，它们对应于由完全叠扇定义的热带雅可比簇的子集。
• 归约为猜想： 一般半阿贝尔情形被归约为关于对数阿贝尔簇奈隆映射性质的一个未解猜想。作者指出，如果该猜想成立，他们的结果将推广到 admit 由对数阿贝尔簇紧化的任意半阿贝尔簇族。

意义与主张
本文声称将 Schmitt [Sch24] 最近的组合成果置于对数几何内的自然概念框架中。通过利用对数概型和阿尔廷扇的语言，作者将子格着色几何地解释为定义极小对数紧化的数据。

这项工作的意义在于，它通过将“严格更难”的分类问题（轨道双有理分类）归约为涉及热带几何和格点细分的组合问题，从而解决了该问题。作者强调，他们的双有理等价概念是相对于基 $S$ 而言的，这是对簇族进行必要细化的结果。

本文并未声称无条件地解决一般半阿贝尔情形，而是将其归约为一个动机充分的猜想（猜想 1），即关于奈隆映射性质的猜想。这些成果被呈现为对现有工作的推广和几何解释，为理解轨道设定中环面簇、半阿贝尔概型和雅可比簇的双有理几何提供了一个统一的框架。