[论文解读] Families of divisors

János Kollár|arXiv (Cornell University)|Oct 2, 2019

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文引入了K-平坦性作为一族除子的新型模理论条件，连接了Hilbert概形与Cayley-Chow概形。证明了固定次数的K-平坦、相对Mumford除子的函子由基上一个分离的、有限型概形表示，从而完成了稳定对 (X, ∆) 的模理论。

ABSTRACT

We establish a new moduli theory for divisors, that interpolates between the Hilbert scheme and the Cayley-Chow variety. This completes the last step in the construction of a good moduli theory for stable pairs $(X,\Delta)$.

研究动机与目标

• 解决在稳定对族中除子部分缺乏良好模理论的问题，其中传统Hilbert概形与Cayley-Chow概形失效。
• 建立一个在Hilbert概形（追踪嵌入点）与Cayley-Chow概形（要求半正规性）之间插值的新框架。
• 定义并研究K-平坦性——一种适用于任意基概形（甚至非约概形）的相对Mumford除子的新平坦性条件。
• 建立K-平坦除子模函子的表示性，从而实现对稳定对的完整模理论。
• 证明K-平坦性仅依赖于除子本身，而不依赖于其所在环境概形，这一反直觉但对模构造至关重要的性质。

提出的方法

• 引入Mumford除子作为满足光滑性与闭包条件、其余维数≥2的Cartier子集补集的子概形。
• 通过三个逐步推广的条件定义K-平坦性：(1) 到射影空间的有限态射保持相对Cartier结构；(2) 通过平坦局部基变换实现下降；(3) 在任意基上局部化。
• 利用Chow方程及其理想理论分析单变量曲线的形变，特别是Cn ⊂ An。
• 证明Cn的Chow方程理想的生成元为所有n次单项式，除去xn_i（当n为偶数时）或也包括x1⋯xn（当n为奇数时）。
• 应用Bertini型定理将K-平坦性问题约化为曲面与曲线情形，利用对对数极小模型曲面奇点的已知分类。
• 利用形变理论与线性投影下拉像的显式计算，刻画中心纤维上Chow方程理想消失的条件。

实验结果

研究问题

• RQ1 能否构建一个适用于任意基概形的稳定对除子部分的模理论，避免Hilbert与Cayley-Chow方法的局限性？
• RQ2 相对Mumford除子的平坦性之正确推广是什么，才能确保良好的模理论行为？
• RQ3 K-平坦性是否依赖于环境概形X，还是仅依赖于除子D？这对模构造有何影响？
• RQ4 单变量曲线如Cn的Chow方程理想具有何种结构？它与形变理论有何关联？
• RQ5 K-平坦性如何被检验或约化为低维情形？Bertini型定理在此中起什么作用？

主要发现

• K-平坦、相对Mumford除子的度数d的函子KDivd(X/S)由基上一个分离的、有限型S-概形表示，从而解决了主要模问题。
• K-平坦性在任意基变换下保持不变，并且可从忠实平坦基变换中下降，确保了函子性。
• 在约化基上，所有相对Mumford除子均为K-平坦，解释了为何早期模构造在未使用此概念时仍能成功。
• 当态射f为光滑时，K-平坦性等价于平坦性，但其新行为恰好出现在非光滑点处。
• 曲线Cn ⊂ An的Chow方程理想的生成元为所有n次单项式，除去xn_i（若n为偶数）或也包括x1⋯xn（若n为奇数）。
• 对于离散赋值环上的形变Cn，中心纤维上理想Ich(Cn)消失当且仅当对所有i≠j，有ord φij ≤ n−2。