[论文解读] The topological realization of a simplicial presheaf

Carlos Simpson|ArXiv.org|Sep 3, 1996

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

一句话总结

本文引入了在如 $⋯\mathrm{Spec}(\mathbb{C})$ 上的概形、配备平展或扎里斯基拓扑的范畴上的单纯预层的拓扑实现函子，并证明其在伊卢西弱等价下保持同伦不变性。该构造使得对德利涅-穆默福德堆栈的拓扑实现得以计算，并为将该理论推广至 $n$-拓扑斯提供了可能路径。

ABSTRACT

The purpose of this article is to define the topological realization of a simplicial presheaf and to prove (under appropriate conditions) that it is homotopy-invariant under Illusie weak equivalence. In particular this applies to the site of schemes over $Spec (\cc)$ with the etale or Zariski topologies. As an application we show how to calculate the topological realization of a Deligne-Mumford stack. At the end we speculate on how to extend this to the case of $n$-topoi.

研究动机与目标

• 为配备平展或扎里斯基拓扑的 $⋯\mathrm{Spec}(\mathbb{C})$ 上的概形等范畴上的单纯预层定义一个拓扑实现函子。
• 确立该实现函子在伊卢西弱等价下保持同伦不变性，确保与同伦结构的一致性。
• 通过所提出的函子为德利涅-穆默福德堆栈的拓扑实现提供计算工具。
• 探索该实现函子向 $n$-拓扑斯设定的推广，提示未来推广的方向。

提出的方法

• 通过在范畴的每个概形上对预层取值应用单形复形函子，然后取该范畴上的列极限来构造拓扑实现。
• 该构造利用了范畴配备格罗滕迪克拓扑的事实，从而可使用Čech型解消来建模同伦类型。
• 通过证明伊卢西弱等价在实现空间上诱导出弱同伦等价，来证明同伦不变性。
• 该证明依赖于单纯预层上的合适模型结构，以及实现函子与弗雷夫特替换的相容性。
• 证明实现函子在适当条件下与有限极限交换，并保持弱等价。
• 通过实现其分类单纯预层并计算所得拓扑空间，将该方法应用于德利涅-穆默福德堆栈。

实验结果

研究问题

• RQ1 如何为配备格罗滕迪克拓扑的范畴上的单纯预层定义一个拓扑实现函子？
• RQ2 在何种条件下，该拓扑实现函子在伊卢西弱等价下保持同伦不变性？
• RQ3 能否使用该函子计算德利涅-穆默福德堆栈的拓扑实现？
• RQ4 该实现函子具有哪些结构性质，例如与极限或弗雷夫特替换的相容性？
• RQ5 该构造在多大程度上可推广至 $n$-拓扑斯？

主要发现

• 在 $⋯\mathrm{Spec}(\mathbb{C})$ 上配备平展或扎里斯基拓扑的范畴上的单纯预层的拓扑实现是良定义的且函子性成立。
• 实现函子保持伊卢西弱等价，即在全空间上诱导出弱同伦等价。
• 对于德利涅-穆默福德堆栈，其拓扑实现与相关群概形的分类空间一致，从而实现显式计算。
• 该构造与单纯预层的同伦理论相容，尤其在弗雷夫特替换下。
• 本文为通过高阶范畴结构将拓扑实现推广至高阶拓扑斯理论（特别是 $n$-拓扑斯）提供了基础。
• 实现过程与有限极限交换，并尊重底层范畴结构，从而在不同几何背景下保持一致性。