[論文レビュー] 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 対数モルフィズムのモノミアル化を半安定性に到達させるために必要な正確な組合せ的条件は何か？

主な発見

• 特徴がゼロのとき、有限型の準連接スキームの間のモルフィズムに対して、半安定還元予想は、その最も強い形（Conjecture 1.1）において完全に解決された。
• スタック的変形 $ b: B' \to B $ と射影的変形 $ a: X' \to (X \times_B B')^{\text{pr}} $ が存在し、$ f': X' \to B' $ は半安定であり、$ X' $ および $ B' $ は正則である。
• 変形を、$ f $ がすでに滑らかで $ Z \to B $ が相対的snc除数である任意の開部分集合 $ B_0 \to B $ 上で同型にできる。
• 構成により、$ f'^{-1}(W') \bigcup a^{-1}(Z) \bigcup Z' $ が、$ X' $ 上の正規交叉を持つ除数 $ Z' $ に含まれ、$ W' $ が $ B' $ 上でsncであることが保証される。
• 根スタックと非代表的変形を用いることで、変形の台に対する一意的制御が達成され、従来の変形に基づく手法に比べて改善されている。
• [Tem17]および[ATW19]を用いることで、底が次元3以下である場合に限り、正の特徴における変形半安定還元への拡張が可能となる。