[論文レビュー] Log smoothness and polystability over valuation rings

Karim Adiprasito, Xue Liu+2 more|arXiv (Cornell University)|Jun 24, 2018

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

ひとこと要約

本稿では、代数的に閉じた分数体をもつ高さ1の付値環上の任意の対数的多様体が、多面体分割によるモノイダル構造の解消を伴い、多様体的安定型モデルへの対数的修正を許容することを確立する。主な結果は、対数的滑らかさの最良可能な解消であり、離散的でない付値環への半安定還元の拡張をもたらし、このような環上の任意の多様体に対して、$p^n$ 次の多様体的 $p$-変形が存在することを示す。

ABSTRACT

Let $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log variety $X$ over $\calO$ with a vertical log structure: there exists a log modification $Y o X$ such that the monoidal structure of $Y$ is polystable. In particular, if $X$ is log smooth over $\mathcal{O}$, then $Y$ is polystable with a smooth generic fiber. As a corollary we deduce that any variety over $\mathcal{O}$ possesses a polystable alteration of degreee $p^n$. The core of our proof is a subdivision result for polyhedral complexes satisfying certain rationality conditions.

研究の動機と目的

• 高さ1の付値環で分数体が代数的に閉じているような対数的多様体のモノイダル構造を解消すること。
• 離散的でない付値環への半安定還元定理の、高さ1の任意の付値環への拡張。
• このような付値環上の対数的滑らか多様体に対して多様体的安定型修正の存在を確立すること。
• ガブラーのモノイダル解消を相対的かつ非ファインな対数的スキームの設定に一般化すること。
• 残渣の特徴指数 $p$ をもつ付値環上の任意のスキームに対して、$p^n$ 次の多様体的 $p$-変形を構成すること。

提案手法

• 特定の有理的条件を満たす有理的多面体複体の分割結果を用いる。
• トロイダル幾何と対数的幾何の組合せ的技法を応用し、幾何的問題を多面体的データに翻訳する。
• ベルコヴィッチの $V$-多面体を用いて、非離散的付値環上の対数的構造をモデル化する。
• モノイダル分割からグローバルなファンを構成し、多様体的安定性を達成する。
• 近似理論とフィルター付き極限を用いて、有限生成部分環に還元し、既知の変形定理を適用する。
• $p$-変形定理とモノイダル修正を組み合わせ、多様体的安定型モデルを達成する。

実験結果

リサーチクエスチョン

• RQ1 高さ1の付値環上の任意の対数的滑らか多様体は、多様体的安定型モデルに修正可能か？
• RQ2 残渣体の特徴が正のとき、半安定還元定理は離散的でない付値環へ拡張可能か？
• RQ3 付値環上の対数的多様体のモノイダル構造は、対数的修正を用いて多様体的安定性を達成できるか？
• RQ4 残渣の特徴指数 $p$ をもつ付値環上の多様体に対して、$p^n$ 次の有限変形が存在し、多様体的安定型にできるか？
• RQ5 多面体複体にどのような組合せ的条件が成立すれば、多様体的安定型分割の存在が保証されるか？

主な発見

• 高さ1の付値環 ${\mathcal{O}}$ で分数体が代数的に閉じている任意の対数的多様体 $X$ に対して、$Y \to X$ が対数的修正であり、$Y$ が多様体的安定型モノイダル構造を持つことが保証される。
• もし $X$ が ${\mathcal{O}}$ 上で対数的滑らかであれば、得られる $Y$ は多様体的安定型であり、滑らかな一般点を持つ。
• 証明の核は、特定の有理的条件を満たす有理的多面体複体の分割定理にある。
• ${\mathcal{O}}$ 上の任意の多様体は、$n$ を多様体の次元として、$p^n$ 次の多様体的変形をもつ。
• 構成は、近似による対数的滑らか構造の持ち上げと、テンキンの $p$-変形定理の適用に依存する。
• 結果は、ガブラーのモノイダル解消を、付値環上の相対的かつ非ファインな状況に一般化する。