[論文レビュー] Notes characterising higher and derived stacks concretely

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

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

ひとこと要約

本稿は、高次および導来スタックの明示的でアクセス可能な構成を、単体的図式によるアフィンスキームに依拠して提示する。これは、高度なホモトピー的代数を必要としない。この構成により、このようなスタック上の準連接複体は余単体的系の加群として特徴付けられ、古典的なスキームやスタックを一般化する明示的モデルが得られる導来代数幾何学が提供される。

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 provide an accessible, explicit construction of higher and derived stacks without relying on the full machinery of Toën–Vezzosi–Lurie theory.
• To characterize derived stacks as hypersheaves on simplicial diagrams of affine schemes, analogous to atlases in manifold theory.
• To describe quasi-coherent complexes on derived stacks in terms of cosimplicial systems of modules over simplicial rings.
• To establish a correspondence between derived schemes and presheaves of derived algebras on affine opens satisfying quasi-coherence conditions.
• To offer a practical framework for derived algebraic geometry using simplicial and cosimplicial methods, suitable for computation and geometric intuition.

提案手法

• Uses simplicial diagrams of affine schemes as analogues of atlases for manifolds, constructing higher stacks via Čech-type resolutions.
• Employs the derived Hom functor $\mathbf{R}\underline{\mathrm{Hom}}$ with values in simplicial sets to ensure compatibility with quasi-isomorphisms and good homotopical properties.
• Applies hypersheafification via colimits over trivial relative derived Deligne–Mumford hypergroupoids to model $n$-geometric derived stacks.
• Characterizes quasi-coherent complexes on derived stacks via cosimplicial systems of $O(X_n)$-modules with compatible face maps satisfying cosimplicial identities.
• Uses Dold–Kan normalization to define modules over simplicial rings as modules over the associated chain algebras.
• Establishes a correspondence between derived schemes and presheaves of derived algebras on affine opens, with $\mathrm{H}_0$ equal to $\mathscr{O}_Z$ and higher homologies quasi-coherent.

実験結果

リサーチクエスチョン

• RQ1 Which simplicial affine schemes arise as resolutions of schemes, Artin stacks, or Deligne–Mumford stacks?
• RQ2 How can higher stacks (e.g., $n$-stacks governing moduli of perfect complexes) be concretely described using simplicial diagrams?
• RQ3 What is the correct notion of quasi-coherent sheaf or complex on a derived stack, and how can it be described explicitly?
• RQ4 How can derived schemes be reconstructed from presheaves of derived algebras on affine opens with quasi-coherent homology?
• RQ5 What is the relationship between the homotopy category of derived schemes and the category of such presheaves of derived algebras?

主な発見

• Higher stacks are characterized as hypersheaves on simplicial diagrams of affine schemes, with the derived Hom functor $\mathbf{R}\underline{\mathrm{Hom}}$ providing a homotopically correct model.
• Quasi-coherent complexes on a derived $n$-stack $X^\sharp$ correspond precisely to cosimplicial systems of $O(X_n)$-modules in complexes, compatible with face maps and satisfying cosimplicial identities.
• The homotopy category of derived schemes $X$ with $\pi^0X \simeq Z$ is weakly equivalent to the category of presheaves $\mathscr{A}_\bullet$ of derived $R$-algebras on affine opens of $Z$, with $\mathrm{H}_0(\mathscr{A}_\bullet) = \mathscr{O}_Z$ and $\mathrm{H}_i(\mathscr{A}_\bullet)$ quasi-coherent for all $i$.
• Derived algebraic spaces are characterized similarly, replacing open immersions with étale maps in the presheaf condition.
• The derived direct image of a quasi-coherent complex is more complex to compute than the inverse image, which is straightforward via pullback along morphisms.
• The construction provides a definition of the simplicial category $\mathcal{D}\mathcal{A}_n$ of strongly quasi-compact $n$-geometric derived Artin stacks via hypersheafification and colimits over hypergroupoid resolutions.