[論文レビュー] Very fast, very functorial, and very easy resolution of singularities

Michael McQuillan, Gianluca Marzo|arXiv (Cornell University)|Jun 16, 2019

Algebraic Geometry and Number Theory参考文献 9被引用数 4

ひとこと要約

本稿は、特異点の解消を、特異点の解消プロセスに依存しない、高速かつ函手的な方法で、特徴が0の優れたデリーニ＝ムーディー・スタックに対して、正則中心における滑らか化された重み付き爆破を用いて行う。主な貢献は、解消プロセスに依存しない解消函手であり、強い函手性と終了条件を満たし、$\mathbb{Q}_{\geqslant 0}^{2m}$ 内で自己有界分母を持つ新しい不変量に基づくもので、有限ステップで終了することが保証される。

ABSTRACT

The main theorem, I.a, is the existence for excellent Deligne-Mumford champ of characteristic zero of a resolution functor independent of the resolution process itself. Perceived wisdom was that this was impossible, but the counterexamples overlooked the possibility of using weighted blow ups. The fundamental local calculations take place in complete local rings, and are elementary in nature, while being self contained and wholly independent of Hironaka's methods and all derivatives thereof, i.e. existing technology. Nevertheless Abramovich, Temkin, and Wlodarczyk, [ATW], have varied existing technology to obtain an even shorter proof of principalisation, I.f, in the geometric case. Excellent patching is more technical than varieties over a field, and whence easier geometric arguments are pointed out when they exist.

研究の動機と目的

• 特徴が0の優れたデリーニ＝ムーディー・スタックにおける特異点解消を、解消プロセスに依存せず、函手的に行うこと。
• 標準的な滑らか中心における爆破では不可能とされるような函手的解消函手の構成を、重み付き爆破に基づく新しい幾何的枠組みを導入することで克服すること。
• 終了を保証し、局所環における帰納的構成を可能にする、自己有界分母を持つ不変量を定義すること。
• 一般の代数的スタックやオーロルドに適用可能な、ヒロナカの方法の派生に依存しない、自己完結的かつ初等的な代替手法を提供すること。
• 有限ステップで終了し、強い函手性および不変性の性質を満たす解消アルゴリズムを確立すること。

提案手法

• 標準的な滑らか中心における爆破の代わりに、正則中心における滑らか化された重み付き爆破を用いた修正された変形函手（M.1 new）を導入する。
• 正則局所環内のイデアルに対して、自己有界分母を持つ新しい不変量 $\mathrm{inv}_A(I) \in \mathbb{Q}_{\geqslant 0}^{2m}$ を構成し、辞書式順序で整列する。
• 解消プロセスは、一般性の振る舞いのヨガに従う：一般の正則性が成立しない場合、接空間から最大イデアルのフィルトレーションを構成し、帰納的に精錬する。
• 不変量は重み付き爆破の下で厳密に減少し、終了を保証する。このプロセスは、デリーニ＝ムーディー・スタックの2カテゴリの図式走査によって定義される。
• 構成はエタール局所的であり、エタール基底変換と可換であり、(M.3) および (M.4) を満たし、完全な函手性を保証する。
• アルゴリズムは $\mathcal{Y}_{p+1} = M(\mathcal{Y}_p)$ により繰り返し適用され、不変量が0に達すると終了する。

実験結果

リサーチクエスチョン

• RQ1 特徴が0の優れたデリーニ＝ムーディー・スタックに対して、解消プロセスに依存せず、エタール基底変換に関して函手的である解消函手を構成することは可能か？
• RQ2 任意の選択を必要とせず、正則中心における重み付き爆破のみを用いて特異点解消を達成することは可能か？
• RQ3 終了を保証し、帰納的構成を可能にする、$\mathbb{Q}_{\geqslant 0}^{2m}$ 内で自己有界分母を持つ特異点解消不変量を定義することは可能か？
• RQ4 重み付き爆破の使用は、対称性の存在下で古典的な函手的解消の障害（例：$x^2 + y^2 + (zt)^2 = 0$）を回避するか？
• RQ5 解消プロセスを完全に局所的かつ自己完結的にし、ヒロナカ理論の道具やその派生に依存しないようにすることは可能か？

主な発見

• 主な結果は、特徴が0の、正則で優れたデリーニ＝ムーディー・スタックの2カテゴリ上で、(M.1 new)、(M.2)、(M.3)、(M.4)、(M.5) を満たす解消函手 $M$ の存在である。
• 不変量 $\mathrm{inv}_{\mathcal{Y}}^\sharp$ は $\mathbb{Q}_{\geqslant 0}^{2m}$ に値をとり、自己有界分母を持つため、解消が有限ステップで終了することが保証される。
• アルゴリズムは $\underline{i}(\mathcal{Y}) = 0$ のとき終了し、これは $\mathcal{Y}$ が正則であることと同値であり、そのとき $M(\mathcal{Y}) = \mathcal{Y}$ となる。
• 解消プロセスは不変量に関して厳密に減少する：$\underline{i}(M(\mathcal{Y})) < \underline{i}(\mathcal{Y})$ であり、有限終了が保証される。
• 構成は完全に函手的である：$M$ はエタール基底変換と可換であり、特異点の局所的対称性を尊重するため、$x^2 + y^2 + (zt)^2 = 0$ の例における古典的障害が解消される。
• この方法は自己完結的で、初等的であり、ヒロナカ理論に依存せず、完全な局所環の計算と不変量の図式的ヨガにのみ依拠する。