[论文解读] Grothendieck topologies from unique factorisation systems

Mathieu Anel|ArXiv.org|Feb 6, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 12

一句话总结

本文提出了一种从局部可表示范畴中的唯一分解系统构造格罗滕迪克拓扑及其相关谱的新方法。通过利用此类系统固有的提升性质，系统地恢复了经典的拓扑结构，如泽里科、平展和尼思内维奇拓扑，并将该框架扩展至新情境，通过基于态射正交类的统一代数几何机制，统一了它们的定义。

ABSTRACT

This work presents a way to associate a Grothendieck site structure to a category endowed with a unique factorisation system of its arrows. In particular this recovers the Zariski and Etale topologies and others related to Voevodsky's cd-structures. As unique factorisation systems are also frequent outside algebraic geometry, a construction applies to some new contexts, where it is related with known structures defined otherwise. The paper details algebraic geometrical situations and sketches only the other contexts.

研究动机与目标

• 建立一种在局部可表示范畴中从唯一分解系统生成格罗滕迪克拓扑的一般方法。
• 在单一范畴框架下统一代数几何中经典拓扑（如泽里科、平展和尼思内维奇拓扑）的定义。
• 将该构造扩展至因子分解系统自然出现的其他数学情境，超越代数几何范畴。
• 通过因子分解系统的点定义谱，提供一种捕捉局部与无穷小结构的几何实现。

提出的方法

• 本文使用源自唯一分解系统 (A,B) 的提升系统，其中 A 由左正交态射组成，B 由右正交态射组成。
• 通过 B 中的态射族定义拓扑，这些态射族覆盖点，并利用提升性质确保与芽和局部对象的相容性。
• 该构造将 A 中的态射解释为无穷小加厚，将 B 中的态射解释为开浸入，与几何直觉一致。
• 将该因子分解系统应用于 CRings^op 和单纯集等范畴，以推导谱与拓扑。
• 建立了右类 B 与区分覆盖之间的对应关系，推广了 cd-结构与强制条件。
• 证明在单纯集的滤子图中，pro-对象变为可表示的，从而使得小尼思内维奇谱可作为空间对象构造。

实验结果

研究问题

• RQ1 能否以系统化方式从唯一分解系统中导出格罗滕迪克拓扑，从而恢复如泽里科与平展等已知拓扑？
• RQ2 因子分解系统的点如何与概形与谱的局部结构相关联？
• RQ3 pro-对象与滤子极限在尼思内维奇拓扑中实现谱为空间对象的过程中起什么作用？
• RQ4 在代数几何之外的更广泛数学情境中，该构造能否产生有意义的拓扑与谱？
• RQ5 该框架与拓扑理论与高阶范畴理论中的现有方法（如勒里欧的几何或达布克的平展类）相比如何？

主要发现

• 本文确立了：在局部可表示范畴上，任何唯一分解系统均通过其右类诱导出格罗滕迪克拓扑，且区分覆盖由提升性质定义。
• 在交换环范畴的对偶范畴中，因子分解系统 (Cons^o, Loc^o) 恢复了泽里科拓扑，其中 Loc^o 由局部化组成，Cons^o 由保守映射组成。
• 平展拓扑同样源于一个因子分解系统，其右类包含平展映射，且提升条件确保与局部环及其谱的相容性。
• 在单纯集的情形中，Δ[n] 的小尼思内维奇谱被证明是通常几何实现的对偶胞复形，所有非退化单形均为开集。
• 该构造证明：在 P(n) 中的任何滤子图均通过具有终端对象的偏序集因子化，意味着尼思内维奇情形下的 pro-对象是可表示的。
• 本文表明，当应用于具有因子分解系统的点范畴上的预层拓扑斯时，其谱的定义与杜布克的一致，验证了不同框架间的一致性。