[论文解读] Semi-stable extensions over 1-dimensional bases

Janós Kollár, Johannes Nicaise+1 more|arXiv (Cornell University)|Oct 8, 2015

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

一句话总结

该论文证明了在1维基（如穿孔圆盘或幂级数环的形式谱）上，具有卡拉比-丘或对数 canonical 的代数簇族，可在有限基变换后延拓至奇点处，且保持 canonical 类平凡或半正定。关键结果表明，此类代数簇的 Berkovich 骨架与本质骨架重合，从而提供其到特殊纤维的对偶相交复形的强形变收缩。

ABSTRACT

Given a family of Calabi-Yau varieties over the punctured disc or over the field of Laurent series, we show that, after a finite base change, the family can be exended across the origin while keeping the canonical class trivial. More generally, we prove similar extension results for families whose log-canonical class is semi-ample. We use these to show that the Berkovich and essential skeleta agree for smooth varieties over ${\mathbb C}((t))$ with semi-ample canonical class.

研究动机与目标

• 解决在1维正则基上具有半正则对数 canonical 类的代数簇族的全局延拓问题。
• 证明在 $\mathbb{C}((t))$ 上的光滑射影代数簇，若其 canonical 类半正则，则其 Berkovich 骨架与本质骨架重合。
• 在不假设基为有限型域上曲线的前提下，建立1维基上最小 dlt 模型的存在性。
• 证明在半正则性条件下，特殊纤维的对偶相交复形是其通用纤维的解析化的一个强形变收缩。

提出的方法

• 将1维形式或解析族嵌入更高维代数族中，以利用高维中已知的延拓结果。
• 在相对情形下使用极小模型程序（MMP）技术，构造具有 dlt 或 qdlt 奇点且 canonical 类半正则的模型。
• 从 dlt 或 snc 模型出发，构造一系列 $K_X + \Delta$-负的翻转与收缩，确保在最小模型处终止。
• 通过 MMP 步骤的不变性与环形式解析化，证明 qdlt 模型的 Berkovich 骨架与本质骨架重合。
• 使用 Galois-可交换的基变换构造 $G$-等变延拓，保持群作用与奇点结构。
• 应用 [dFKX12] 中的形变收缩论证，证明骨架是其解析化的强形变收缩。

实验结果

研究问题

• RQ1 在有限基变换后，能否将穿孔圆盘上的卡拉比-丘簇族延拓至原点，且保持 canonical 类平凡？
• RQ2 在什么条件下，$\mathbb{C}((t))$ 上的代数簇的 Berkovich 骨架与其本质骨架重合？
• RQ3 当 canonical 类半正则时，特殊纤维的对偶相交复形是否为通用纤维解析化的强形变收缩？
• RQ4 在不假设基为有限型的情况下，能否在1维正则概形或黎曼曲面上解决延拓问题？
• RQ5 若存在具有半正则 canonical 类的最小 dlt 模型，是否意味着本质骨架与 Berkovich 骨架同构？

主要发现

• 经过有限基变换后，任意在1维基上具有 $p^\circ$-半正则对数 canonical 类的代数簇族，可延拓为具有 $p_B$-半正则 canonical 类与 dlt 奇点的族。
• 对于具有 $X_K$ 光滑且 $(X,\operatorname{red}X_k)$ 为 qdlt 的正规平坦 $R$-概形 $X$，其 Berkovich 骨架与 $X^\circ$ 的本质骨架重合。
• 本质骨架 ${\rm Sk}(X^\circ)$ 是 $X^{\rm an}$ 的强形变收缩，推广了此前结果至非有限型基的情形。
• 可通过从 snc 模型出发的一系列 $K_X + \Delta$-负翻转与收缩，实现延拓模型的构造。
• 该延拓与有限群作用相容，当原族具有此类作用时，所得模型为 $G$-等变 qdlt。
• 特殊纤维的对偶相交复形与本质骨架之间存在自然同胚，且该结构与解析化选择无关。