[論文レビュー] Principalization of ideals on toroidal orbifolds

Dan Abramovich, Michael Temkin+1 more|arXiv (Cornell University)|Sep 10, 2017

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

ひとこと要約

本稿は、特異点がトロイダルなDeligne–Mumfordスタックであるトロイダルオビフォールド上でのイデアルの単項化を、Kummerの吹き上げを用いて関手的に実行するアルゴリズムを提示する。これは対数的滑らかさの下での基底変換に関して安定な変形を経て、単項イデアルに至る。主な貢献は、古典的desingularizationを対数的およびスタック的設定に一般化するが、強い関手的性質を保つ解消プロセスを提供することである。

ABSTRACT

Given an ideal $\mathcal I$ on a variety $X$ with toroidal singularities, we produce a modification $X' o X$, functorial for toroidal morphisms, making the ideal monomial on a toroidal stack $X'$. We do this by adapting the methods of [Wło05], discarding steps which become redundant. We deduce functorial resolution of singularities for varieties with logarithmic structures. This is the first step in our program to apply logarithmic desingularization to a morphism $Z o B$, aiming to prove functorial semistable reduction theorems.

研究の動機と目的

• 特異的0における新しい世代の解消アルゴリズムを開発することで、古典的desingularizationを射 $ Z \to B $ に拡張すること。
• トロイダル特異点を持つ多様体上のイデアルの特異点を、対数的構造を尊重する修正された関手的アプローチで解消すること。
• トロイダルオビフォールド上でのイデアルの単項化を達成し、対数的滑らかさの下での射と整合性を保つこと。
• 代数幾何学における射の関手的半安定還元定理の証明に向けた基盤的ステップを提供すること。
• 対数的滑らかさの下での基底変換に関して関手的性質を保つため、単に滑らかな多様体やスキームではなく、トロイダルオビフォールドを用いる必要があることの理由を示すこと。

提案手法

• W\'lodarczyk (2005) の手法を、滑らかな周囲多様体の代わりにトロイダルオビフォールドに適応すること。
• 単項式の根をとる操作を含むKummerの吹き上げを基本操作とし、対数的滑らかさの下での基底変換に対して安定であること。
• イデアル $ {\mathcal{I}} $ が最終的に可逆な単項イデアルに変わるまで、すべての吹き上げが $ V({\mathcal{I}}) $ の上に台を持つ、トロイダルオビフォールド上のKummer吹き上げの列を構成すること。
• 飽和型引き戻しを用いることで、対数的滑らかさの下での基底変換に対して整合性を保ちつつ、関手的性質を確保すること。
• 有限の対角的インertiaを持つDeligne–Mumfordスタックの圏に従い、$ U \subset X $ が単体的埋め込みで $ U $ がスキームであるような状況で作業すること。
• トロイダルスタック上の対数的構造および単項イデアルの理論を活用し、特異な周囲空間に対しても通常の交差除数の概念を一般化すること。

実験結果

リサーチクエスチョン

• RQ1 強い関手的性質を保ちながら、トロイダル特異点の存在下でどのようにイデアルの単項化を達成できるか。
• RQ2 特に $ B $ が点でない場合に、古典的desingularizationを射 $ Z \to B $ に拡張するためには、どのような修正が必要か。
• RQ3 対数的滑らかさの下での基底変換に関して関手的性質を保つために、なぜDeligne–Mumfordスタック（特にトロイダルオビフォールド）を用いる必要があるのか。
• RQ4 スタックを用いずに、対数的構造のみを用いて、対数的多様体の関手的特異点解消を達成できるか。
• RQ5 トロイダルオビフォールド上の単項イデアルと、解消理論における古典的「通常の交差除数」の概念との関係は何か。

主な発見

• 本稿は、任意のイデアル層 $ {\mathcal{I}} $ を単項化するトロイダルオビフォールド上のKummer吹き上げの列を構成し、最終的なスタック上で可逆な単項イデアルが得られることを示している。
• 単項化プロセスは、対数的滑らかさの下での基底変換に関して関手的であり、基底 $ Y \to X $ 上の列は、$ X $ 上の列の飽和型引き戻し（自明な吹き上げを除く）に一致する。
• このアルゴリズムは、特異的0における射 $ Z \to B $ に対する関手的半安定還元定理の証明に向けた基盤的ステップを提供する。
• 単項化アルゴリズムとデスタック化を組み合わせることで、対数的滑らかさ、準飽和的、および非移動的射に関して関手的な対数的多様体のdesingularizationが得られる。
• スタックを完全に避ける代替的解消経路も存在する。まずGabberの単項式desingularizationを適用し、その後古典的埋め込み単項化を施すが、これは古典的関手的性質しか回復しない。
• 解消列の中間多様体はトロイダルではないが、対数的構造を増強することで局所的にトロイダルになる。これは、トロイダルオビフォールドが解消の自然な中間圏を提供することを示している。