[论文解读] Semistable reduction in characteristic 0

Karim Adiprasito, Gaku Liu+1 more|arXiv (Cornell University)|Oct 7, 2018

Algebraic Geometry and Number Theory参考文献 12被引用 14

一句话总结

该论文通过引入根叠和非表示性变换的组合解法，解决了特征零下有限型拟优美概形之间态射的半稳定化简猜想。关键结果表明，任何支配态射在对基进行叠理论变换并对其全拉回进行射影变换后，均可变为半稳定态射，同时保持指定除子上的光滑性和正规相交性。

ABSTRACT

In 2000 Abramovich and Karu proved that any dominant morphism $f\:X o B$ of varieties of characteristic zero can be made weakly semistable by replacing $B$ by a smooth alteration $B'$ and replacing the proper transform of $X$ by a modification $X'$. In the language of log geometry this means that $f'\:X' o B'$ is log smooth and saturated for appropriate log structures. Moreover, Abramovich and Karu formulated a stronger conjecture that $f'\:X' o B'$ can be even made semistable, which amounts to making $X'$ smooth as well, and explained why this is the best resolution of $f$ one might hope for. In this paper, we solve the semistable reduction conjecture in the larger generality of finite type morphisms of quasi-excellent schemes of characteristic zero.

研究动机与目标

• 解决特征零下有限型拟优美概形之间态射的长期悬而未决的半稳定化简猜想。
• 通过解决剩余障碍——使源概形正规化——将已知的弱半稳定化简结果推广至完全半稳定化简。
• 控制变换的支集，特别是在存在除子 $ Z \neq X $ 的情况下，确保与光滑性和snc（正规相交）支集的相容性。
• 通过根叠与非表示性变换提供一个规范的、对数几何的框架，取代早期对变换与扇形方法的依赖。

提出的方法

• 引入一个新组合结果（定理 2.7），解决对数几何中单性结构的单项化问题。
• 通过定理 4.4 将组合结果提升至对数概形，将单性结构化为半稳定形式。
• 应用定理 4.5 表明，任意两个细对数概形之间的对数光滑态射，均可通过单性变换与剖分使结果态射变为半稳定。
• 使用根叠与非表示性变换替代变换，以实现对变换支集的更精确控制。
• 应用 Kawamata 技巧将叠理论变换转化为普通变换，确保射影性并保持基变换相容性。
• 结合 [ATW19] 的精细扇形化结果，控制在光滑与snc支集上的行为，确保在对数结构平凡支集上为同构。

实验结果

研究问题

• RQ1 是否可以证明所有特征零下有限型拟优美概形之间态射的半稳定化简猜想？
• RQ2 是否可能在保持指定除子 $ Z \neq X $ 上的光滑性与正规相交性的前提下实现半稳定化简？
• RQ3 是否可以使基与全拉回的变换与一个光滑开子集 $ B_0 \to B $ 相容，其中态射已为半稳定？
• RQ4 是否可以使用根叠与非表示性变换替代变换，同时保持对变换支集的规范控制？
• RQ5 使对数态射实现半稳定化的精确组合条件是什么？

主要发现

• 在特征零下，有限型拟优美概形之间态射的半稳定化简猜想已完全解决，以最强形式确认了猜想 1.1。
• 存在叠理论变换 $ b: B' \to B $ 与射影变换 $ a: X' \to (X \times_B B')^{\text{pr}} $，使得 $ f': X' \to B' $ 为半稳定态射，且 $ X' $ 与 $ B' $ 均为正规概形。
• 变换可在任意开子集 $ B_0 \to B $ 上成为同构，其中 $ f $ 已为光滑态射且 $ Z \to B $ 为相对snc除子。
• 构造确保 $ f'^{-1}(W') \bigcup a^{-1}(Z) \bigcup Z' $ 被包含于 $ X' $ 上的正规相交除子 $ Z' $ 中，且 $ W' $ 在 $ B' $ 上为snc。
• 该方法使用根叠与非表示性变换，实现对变换支集的规范控制，优于早期基于变换的方法。
• 在基的维数不超过3的条件下，通过 [Tem17] 与 [ATW19]，该结果可推广至正特征下的修正半稳定化简，仅需较弱假设。