[论文解读] Factorization for stacks and boundary complexes

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

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

一句话总结

本论文为光滑德利涅-穆尔代姆堆栈之间的双有理映射建立了弱分解定理，表明此类映射可分解为光滑中心的爆破和根堆栈构造。关键结果是：在光滑德利涅-穆尔代姆堆栈上，关于一个法向相交除子的边界复形的简单同伦型仅依赖于开补集，而不依赖于特定的紧化方式。

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$.

研究动机与目标

• 将弱分解定理推广到光滑德利涅-穆尔代姆堆栈的设定中，纳入根堆栈和丛等堆栈结构。
• 解决关于光滑德利涅-穆尔代姆堆栈上法向相交除子的边界复形是否与紧化方式无关的问题。
• 确立边界复形的简单同伦型是开子堆栈 $ U $ 的不变量，将斯捷潘诺夫的结果推广到堆栈情形。
• 为理解镜像对称和toric退化中的边界复形提供堆栈理论框架。

提出的方法

• 以阿布拉莫维奇和滕金 [5, 定理 1.4.1] 的堆栈弱分解定理作为基础工具。
• 应用贝格的去堆栈化结果 [7, 推论 1.4]，通过可表示的态射关联两个堆栈，从而实现分解。
• 构造一系列双有理映射，由光滑中心的爆破和除子分量上的根堆栈构造组成。
• 将边界复形 $ \Delta(X,D) $ 定义为一个 $ \Delta $-复形，其中每个不可约分量对应一个顶点，多重交集对应一个单纯形。
• 利用重心剖分和广义锥复形定义边界复形的简单同伦型。
• 运用重心剖分和星形剖分的函子性，证明在爆破和根堆栈下同伦型的不变性。

实验结果

研究问题

• RQ1 弱分解定理能否推广到德利涅-穆尔代姆堆栈，包括根堆栈等堆栈运算？
• RQ2 当 $ D $ 为法向相交除子时，边界复形 $ \Delta(X,D) $ 的简单同伦型是否仅依赖于开子堆栈 $ U = X \setminus D $？
• RQ3 堆栈结构（如丛、根堆栈）在双有理几何中如何影响边界复形的同伦型？
• RQ4 能否通过保持开集 $ U $ 不变的双有理修改使边界复形与紧化方式无关？
• RQ5 广义锥复形和重心剖分在定义堆栈上边界复形的简单同伦型中起什么作用？

主要发现

• 光滑德利涅-穆尔代姆堆栈上具有法向相交除子 $ D $ 的边界复形 $ \Delta(X,D) $ 具有明确定义的简单同伦型。
• 当 $ D $ 为法向相交除子时，边界复形 $ \Delta(X,D) $ 的简单同伦型在那些在开集 $ U = X \setminus D $ 上为同构的双有理映射下保持不变。
• 对于任意满足在 $ U $ 上双有理的光滑德利涅-穆尔代姆堆栈之间的映射 $ f: X_1 \dashrightarrow X_2 $，存在一个由光滑中心爆破和根堆栈构造组成的分解。
• 该构造确保分解中的每一步均保持开集 $ U $ 不变，并维持与补集除子的法向相交性。
• 与边界复形相关的广义锥复形的重心剖分产生一个光滑的扇复形，这是定义简单同伦型的关键步骤。
• 同伦型在平展表示和 $ \Delta $-复形的余极限下保持不变，确保在不同堆栈理论模型间的一致性。