[论文解读] Artin's axioms, composition and moduli spaces

Jason Starr|ArXiv.org|Feb 28, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 5

一句话总结

本文证明了代数堆的阿廷公理在1-态射的复合下保持兼容，从而为新的自然模堆的代数性提供了证明。关键贡献是一个一般性判别准则：若一个1-态射满足阿廷公理且目标堆是代数的，则源堆也是代数的——该准则在此被应用于构造维斯蒂利的希尔伯特堆与阿列克谢耶夫–克尼普森分支簇堆的共同推广，作为代数堆。

ABSTRACT

We prove Artin's axioms satisfy a compatibility for composition of 1-morphisms of stacks in groupoids. Consequently, some natural stacks in groupoids are algebraic, including a common generalization of Vistoli's Hilbert stack and the stack of branchvarieties of Alexeev and Knutson.

研究动机与目标

• 证明代数堆的阿廷公理在堆的1-态射复合下保持不变。
• 通过障碍理论相容性，解决即使其他公理均成立，堆的完备化公理仍可能失效的问题。
• 证明某些自然模堆（包括希尔伯特堆和分支簇堆的推广）是代数的。
• 通过统一框架，为维斯蒂利的希尔伯特堆与阿列克谢耶夫–克尼普森的分支簇堆提供新的代数性证明。

提出的方法

• 为1-态射 $ f: \tcal{X} \to \tcal{Y} $ 引入相对障碍理论，确保其与形变和自同构条件相容。
• 通过正规化截面（clivage normalisé）的提升性质，确保在扩展对之间形变与自同构的函子性。
• 应用格罗滕迪克存在性定理于堆，将 $ \text{Spec }\widehat{A}/\mathfrak{m}^n $ 上相容的对象系提升至 $ \text{Spec }\widehat{A} $ 上的极限。
• 利用格罗滕迪克存在性定理于具有紧支集的相干层，构造模堆中的极限对象。
• 使用平坦与紧致下降，将射影空间 $ \text{Proj} \, \text{Sym}(E_d) $ 构造为保持极限的代数堆。
• 应用 [Ols05b] 中的表示性判别准则，证明到上同调堆的普遍态射是被代数堆表示的。

实验结果

研究问题

• RQ1 即使完备化公理失效，代数堆的阿廷公理是否仍能在1-态射的复合下保持？
• RQ2 是否存在一个一般性判别准则，可通过1-态射 $ f: \tcal{X} \to \tcal{Y} $ 推出堆 $ \tcal{X} $ 的代数性，其中 $ \tcal{Y} $ 是代数堆且 $ f $ 具有相对障碍理论？
• RQ3 希尔伯特堆与分支簇堆能否在单一模构造下统一，且该构造为代数堆？
• RQ4 在适当的凝聚性条件下，是否存在在阿廷环上相容的对象族，可推出模堆中极限对象的存在？

主要发现

• 参数化三元组 $ (X, L, g) $ 的堆 $ \tcal{H} $，其中 $ X $ 是一个完备代数空间，$ L $ 是关于 $ g $ 的ample 可逆层，且 $ g: X \to \tcal{Y} $，是代数堆，且具有拟紧、分离的对角线。
• 堆 $ \tcal{H} $ 的构造为维斯蒂利的希尔伯特堆与阿列克谢耶夫–克尼普森分支簇堆提供了共同推广。
• 证明表明，通过具有紧支集的相干层的格罗滕迪克存在性论证，$ \tcal{H} $ 满足阿廷公理的所有条件，包括完备化公理。
• 普遍态射 $ \tcal{H} \to \text{Coh}_\pi $ 是被保持极限的代数堆表示的，且具有拟紧、分离的对角线。
• 堆 $ \tcal{H}_{\text{finite}} $，参数化 $ (U,X,g) $ 且满足 $ \mathcal{O}_X $ 关于 $ g $ 为ample，被证明是代数堆；其上满足 $ g $ 为无分支的开子堆即为维斯蒂利的希尔伯特堆。
• 当 $ \tcal{Y} $ 是 $ S $ 上的射影概代数簇时，$ \tcal{H}_{\text{finite}} $ 的开子堆中，具有几何上连通且等维纤维的部分，即为阿列克谢耶夫与克尼普森的分支簇堆。