[論文レビュー] Relative desingularization and principalization of ideals

Dan Abramovich, Michael Temkin+1 more|arXiv (Cornell University)|Mar 7, 2020

Commutative Algebra and Its Applications参考文献 26被引用数 5

ひとこと要約

本稿は、特徴量が0の対数的正則な準同型写像に対して、対数的幾何と非表現可能なクーメル爆発を用いて、比較的標準的な特異点解消およびイデアルの主成分化を構成する。主な貢献は、滑らかさの局所を保ち、任意の評価環上で安定還元を実現する、関手的かつ基底変換に適合する準同型写像の解消である。

ABSTRACT

In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are relatively canonical and even functorial with respect to logarithmically regular morphisms and arbitrary base changes. Relative canonicity means, that the principalization requires a fine enough non-canonical modification of the base, and once it is chosen the process is canonical. As a consequence we deduce the semistable reduction theorem over arbitrary valuation rings. In another our work in progress, the same problems will be solved canonically in the case of proper morphisms.

研究の動機と目的

• スキームの準同型写像を相対的に標準的かつ滑らかさの局所を保ちながら解消し、非離散評価環上でも安定還元を拡張する。
• 対数的正則な準同型写像および任意の基底変換に関して関手的なイデアルの主成分化を構成する。
• ヒロナカの特異点解消を相対的および対数的設定に一般化し、従来の手法よりも強い関手性を達成する。
• 任意次元における相対的標準的解消問題を解決する。
• スタック的修正と対数的構造を用いて、モジュライおよび族と整合性のある枠組みを確立する。

提案手法

• 対数的幾何を用いて対数的正則な準同型写像およびそれらの上での相対的イデアルの主成分化を定義する。
• 非表現可能なスタック的修正であるクーメル爆発を適用し、基底変換に対して標準的な振る舞いを実現する。
• 古典的な特異点解消技法（ヒロナカ、バーリストン＝ミルマン、ビラマヨール）を対数的および相対的設定に適応する。
• 相対的対数微分を用いて爆発の中心を定義し、対数的構造と整合性を保つ。
• T-修正の余稠密性定理を用いて、解消プロセスが完全かつ普遍的であることを保証する。
• 半評価環とRZ（リーマン＝ザリスキ）空間に依存して、修正の極限を分析し、余稠密性を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の基底変換に適合する、特徴量0における相対的標準的準同型写像の解消を構成できるか？
• RQ2 特異点解消の過程で、準同型写像の滑らかさの局所を保てるか、不必要な修正を避けることができるか？
• RQ3 非離散評価環上でも安定還元を達成できるか、離散評価環に限らないか？
• RQ4 任意次元の準同型写像に対して、関手的かつ対数的・相対的な特異点解消アルゴリズムは存在するか？
• RQ5 ある基底変更が選ばれた後、イデアルの主成分化が一意的（標準的）に達成できるか？

主な発見

• 本稿は、対数的正則な準同型写像に対して、十分に細かい非標準的基底変更の後、標準的になる相対的標準的イデアルの主成分化を構成する。
• この手法により、対数的滑らかさの準同型写像および任意の基底変更に関して関手的な対数的正則な特異点解消が得られる。
• この構成により、特徴量0において任意の評価環上での安定還元定理が導かれる。
• アルゴリズムは非表現可能なクーメル爆発を用い、従来の手法よりも強い関手性を実現する。
• 余稠密性定理により、解消プロセスがすべての関連する修正を捉え、構成が完全かつ普遍的であることが保証される。
• この枠組みはスタックへも拡張可能であり、任意次元における相対的標準的解消問題の解決を提供する。