[論文レビュー] Functorial destackification and weak factorization of orbifolds

Daniel Bergh, David Rydh|arXiv (Cornell University)|May 2, 2019

Algebraic Geometry and Number Theory参考文献 26被引用数 7

ひとこと要約

本稿では、有限なインertiaをもつ滑らかでタウムなデリン・ムーディー・スタックに対して、埋め込み的特異点の解消を要件としない関手的なデスタック化プロセスを提示する。滑らかな中心におけるスタック的ブLOWアップの逐次的適用により、安定化子をアーベル化できることを示している。主な貢献は、任意の特徴値および相対的設定において有効な一般化されたデスタック化定理の確立であり、これによりタウムな商特異点の解消やオルビフォールドの弱因子分解への応用が可能になる。

ABSTRACT

Let X be a smooth and tame stack with finite inertia. We prove that there is a functorial sequence of blow-ups with smooth centers after which the stabilizers of X become abelian. Using this result, we can extend the destackification results of the first author to any smooth tame stack. We give applications to resolution of tame quotient singularities, prime-to-l alterations of singularities and weak factorization of Deligne-Mumford stacks. We also extend the abelianization result to infinite stabilizers in characteristic zero, generalizing earlier work of Reichstein-Youssin.

研究の動機と目的

• 埋め込み的特異点の解消を要件としない、滑らかでタウムなデリン・ムーディー・スタック（有限インertiaを有する）に対する関手的デスタック化プロセスの構築。
• 特徴値正の領域および相対的設定への安定化子のアーベル化の拡張。これにより、先行研究の制限を克服する。
• 特徴値ゼロにおける無限安定化子をもつスタックへ、リッヒシュタイン–ユースインのアーベル化結果を一般化する。
• デスタック化技術を基盤として、特徴値ゼロにおけるオルビフォールドの弱因子分解を確立する。
• 代数幾何における特異点の解消およびスタック的変形の既存手法を統合・簡略化する。

提案手法

• 滑らかな中心におけるスタック的ブローダウン（通常およびルートスタックを含む）の関手的逐次列を構築し、滑らかでタウムなスタックの安定化子をアーベル化する。
• 粗空間射影 $X \to X_{\text{cs}}$ とその剛性化 $X' \to X'_{\text{rig}}$ の構造を分析し、ジェルベおよびルートスタックを制御する。
• 導来圏および $\operatorname{K}_0$-群の理論を用いて、有限タウム群スキームに対する $\operatorname{K}_0(\mathrm{B}G)$ 内での接空間複体の自明性を示す。
• 群スキーム $G = \Delta \rtimes H$（$\Delta$ は対角的、$H$ は定数群）の構造を活用し、問題を $p$-主成分に還元する。
• $\operatorname{K}_0$-群の短完全系列における加法性と、素因数の指数に関する帰納法を用いて、$\operatorname{K}_0(\mathrm{B}H)$ 内でのクラスの消滅を証明する。
• 得られた結果を応用し、$X'_{\text{rig}} \to X'_{\text{cs}}$ が単純な交わりを持つ除数上での繰り返しルートスタックであることを示し、粗空間の滑らかさを保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでタウムなデリン・ムーディー・スタックの安定化子は、埋め込み的特異点の解消を要件とせず、スタック的ブローダウンにより関手的にアーベル化可能か？
• RQ2 特徴値正領域および相対的設定において、特異点の解消が失敗する状況でもデスタック化プロセスは拡張可能か？
• RQ3 スタック的特異点が単純な交わりを持つ除数上に存在する場合、非アーベル的または無限安定化子をもつ滑らかなスタックの安定化子構造はいかなるものか？
• RQ4 特徴値ゼロにおいて、関手的デスタック化を用いてオルビフォールドの弱因子分解を確立可能か？
• RQ5 有限タウム群スキーム $G$ に対して、$\operatorname{K}_0(\mathrm{B}G)$ 内での接空間複体の類が消える条件は何か？

主な発見

• 滑らかな中心におけるスタック的ブローダウンの関手的逐次列が、任意の滑らかでタウムなデリン・ムーディー・スタック（有限インertiaを有する）の安定化子をアーベル化可能である。
• デスタック化プロセスは任意の特徴値および相対的設定で有効であり、特徴値ゼロおよび埋め込み的特異点の解消を要件としていた先行研究を一般化する。
• 得られたスタック $X'$ の粗空間 $X'_{\text{cs}}$ は滑らかであり、元の粗空間 $X_{\text{cs}}$ の特異点の解消を提供する。
• 射 $X'_{\text{rig}} \to X'_{\text{cs}}$ は単純な交わりを持つ除数上での繰り返しルートスタックであるため、弱因子分解フレームワークと整合性を保つ。
• リッヒシュタイン–ユースインのアーベル化定理が、特徴値ゼロにおける無限安定化子をもつスタックへ一般化され、彼らの有限群に関する研究を拡張する。
• 代数閉体上での有限タウム群スキーム $G$ に対して、接空間複体 $L_{\mathrm{B}G}$ の類は $\operatorname{K}_0(\mathrm{B}G)$ 内で消える。これは証明における重要な技術的道具である。