[论文解读] Notes characterising higher and derived stacks concretely

J. P. Pridham|arXiv (Cornell University)|May 24, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 6

一句话总结

本文通過簡化單純的仿射概形圖，提供了一種具體且易於理解的高階與導出堆疊的構造方法，避免了對高階同倫代數的依賴。它通過余單純系統的模結構，對此類堆疊上的擬 coherent 複形進行了特徵描述，從而為導出代數幾何提供了一個明確的模型，該模型推廣了經典的概形與堆疊。

ABSTRACT

This is an informal summary of the main concepts in arXiv:0905.4044, based on notes of various seminars. It gives constructions of higher and derived stacks without recourse to the extensive theory developed by Toen, Vezzosi and Lurie. Explicitly, higher stacks are described in terms of simplicial diagrams of affine schemes, which are analogous to atlases for manifolds. We also describe quasi-coherent sheaves and complexes on such objects.

研究动机与目标

• 提供一種不依賴 Toën–Vezzosi–Lurie 理論完整機制的、具體且易於理解的高階與導出堆疊構造。
• 將導出堆疊特徵化為單純仿射概形圖上的超層，類比於流形理論中的圖集。
• 以單純交換環上的模的余單純系統來描述導出堆疊上的擬 coherent 複形。
• 在仿射開集上建立導出概形與滿足擬 coherent 條件的導出代數預層之間的對應關係。
• 利用單純與余單純方法，建立一個適用於計算與幾何直覺的導出代數幾何實用框架。

提出的方法

• 將單純仿射概形圖用作流形圖集的類比，透過 Čech 型的預解方法構造高階堆疊。
• 使用取值於單純集的導出 Hom 函子 $\mathbf{R}\underline{\mathrm{Hom}}$，以確保與 quasi-isomorphism 的相容性及良好的同倫性質。
• 透過平凡相對導出 Deligne–Mumford 超群胚的餘極限進行超層化，以建模 $n$-幾何的導出堆疊。
• 透過與面映射相容且滿足余單純恆等式的 $O(X_n)$-模的余單純系統，特徵化導出堆疊上的擬 coherent 複形。
• 使用 Dold–Kan 正規化，將單純環上的模定義為相應鏈代數上的模。
• 在導出概形與仿射開集上導出代數的預層之間建立對應關係，其中 $\mathrm{H}_0$ 等於 $\mathscr{O}_Z$，且所有高階同調群為擬 coherent。

实验结果

研究问题

• RQ1 哪些單純仿射概形圖可作為概形、Artin 堆疊或 Deligne–Mumford 堆疊的預解？
• RQ2 如何利用單純圖明確描述高階堆疊（例如，控制完美複形模空間的 $n$-堆疊）？
• RQ3 導出堆疊上擬 coherent 線叢或複形的正確定義為何？如何明確描述？
• RQ4 如何從仿射開集上具有擬 coherent 同調的導出代數預層重建導出概形？
• RQ5 導出概形的同倫範疇與此類導出代數預層的範疇之間的關係為何？

主要发现

• 高階堆疊被特徵化為單純仿射概形圖上的超層，其中導出 Hom 函子 $\mathbf{R}\underline{\mathrm{Hom}}$ 提供了同倫正確的模型。
• 導出 $n$-堆疊 $X^\sharp$ 上的擬 coherent 複形，精確對應於 $O(X_n)$-模的余單純系統，其面映射相容且滿足余單純恆等式。
• 具有 $\pi^0X \simeq Z$ 的導出概形 $X$ 的同倫範疇，與仿射開集上導出 $R$-代數的預層 $\mathscr{A}_\bullet$ 的範疇弱同倫等價，其中 $\mathrm{H}_0(\mathscr{A}_\bullet) = \mathscr{O}_Z$，且對所有 $i$，$\mathrm{H}_i(\mathscr{A}_\bullet)$ 為擬 coherent。
• 導出代數空間的特徵化方式類似，僅在預層條件中以 étale 映射取代開浸入。
• 擬 coherent 複形的導出直接像比逆像更難計算，而逆像則可透過沿態射的拉回輕鬆計算。
• 該構造透過超層化與超群胚預解的餘極限，定義了強擬緊 $n$-幾何導出 Artin 堆疊的單純範疇 $\mathcal{D}\mathcal{A}_n$。