[論文レビュー] Factorization for stacks and boundary complexes

Alicia Harper|arXiv (Cornell University)|Jun 24, 2017

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

ひとこと要約

この論文は、滑らかでDeligne-Mumfordスタック間の有理写像について弱因数分解定理を確立し、このような写像が滑らかな中心のブローアップとルートスタック構成に分解可能であることを示している。主な結果は、滑らかなDeligne-Mumfordスタック上の正則交叉特異点を持つ除数に対して関連付けられる境界複体の単純ホモトピー型が、特定のコンパクト化に依存せず、開補集合にのみ依存することである。

ABSTRACT

We prove a weak factorization result on birational maps of Deligne-Mumford stacks, and deduce the following: Let $U \subset X$ be an open embedding of smooth Deligne-Mumford stacks such that $D = X-U$ is a normal crossings divisor, then the the simple homotopy type of the boundary complex $Δ(X,D)$ depends only on $U$.

研究の動機と目的

• 根スタックやジェルベを含むスタック構造を組み込んだ、滑らかなDeligne-Mumfordスタックの設定への弱因数分解定理の拡張。
• 滑らかなDeligne-Mumfordスタック上に正則交叉特異点を持つ除数が与えられたとき、その境界複体がコンパクト化に依存しないかという問題の解決。
• 境界複体の単純ホモトピー型が開部分スタック $ U $ の不変量であることを確立し、Stepanovの結果をスタックへ一般化すること。
• ミラー対称性やトーリック退化の文脈において境界複体を理解するためのスタック論的フレームワークを提供すること。

提案手法

• AbramovichとTemkin [5, 定理1.4.1] のスタックにおける弱因数分解定理を基盤とする道具として用いる。
• Berghのデスタック化結果 [7, 系1.4] を適用し、代表的準同型を介して二つのスタックを関連づけ、因数分解の利用を可能にする。
• 滑らかな中心に沿ったブローアップと、除数成分におけるルートスタック構成からなる、有理写像の系列を構成する。
• 境界複体 $ \Delta(X,D) $ を、既約成分に対応する頂点と、多重交叉に対応する単体を持つ $ \Delta $-複体として定義する。
• 重心単体分割と一般化されたコーン複体を用いて、境界複体の単純ホモトピー型を定義する。
• 重心単体分割とスターサブディビジョンのファンクター性を用いて、ブローアップおよびルートスタックにおけるホモトピー不変性を示す。

実験結果

リサーチクエスチョン

• RQ1 根スタックなどのスタック的演算を含めた、Deligne-Mumfordスタックへの弱因数分解定理の拡張は可能か？
• RQ2 正則交叉特異点を持つ除数 $ D $ に対して、境界複体 $ \Delta(X,D) $ の単純ホモトピー型は、開部分スタック $ U = X \setminus D $ のみに依存するか？
• RQ3 ジェルベやルートスタックなどのスタック構造は、有理幾何における境界複体のホモトピー型にどのように影響を与えるか？
• RQ4 開集合 $ U $ を保存する有理的変形によって、境界複体をコンパクト化に依存しない形にできるか？
• RQ5 一般化されたコーン複体と重心単体分割は、スタック上での境界複体の単純ホモトピー型を定義する上で果たす役割は何か？

主な発見

• 正則交叉特異点を持つ除数 $ D $ を持つ滑らかなDeligne-Mumfordスタックの境界複体 $ \Delta(X,D) $ には、well-definedな単純ホモトピー型が存在する。
• 境界複体 $ \Delta(X,D) $ の単純ホモトピー型は、開集合 $ U = X \setminus D $ 上で同型であるような有理写像に関して不変であり、$ D $ が正則交叉特異点を持つ限り成立する。
• 滑らかなDeligne-Mumfordスタックの任意の有理写像 $ f: X_1 \dashrightarrow X_2 $ は、滑らかな中心のブローアップとルートスタック構成の合成として因数分解可能である。
• この構成により、因数分解の各段階が開集合 $ U $ を保存し、補集合除数と正則交叉を保つことが保証される。
• 境界複体に関連する一般化されたコーン複体の重心単体分割は、滑らかなファングラフ複体を導き、単純ホモトピー型を定義する上で重要なステップである。
• エタール提示および $ \Delta $-複体の余極限に関してホモトピー型が保存され、異なるスタック論的モデル間で一貫性が保たれる。