[论文解读] Denseness conditions, morphisms and equivalences of toposes

Olivia Caramello|arXiv (Cornell University)|Jun 20, 2019

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

一句话总结

本文通过层理论条件，建立了一个全面的框架，用于刻画格罗滕迪克拓扑斯之间的几何态射与等价关系。它引入了层之间态射与余态射之间的对偶伴随关系，通过连续函子刻画本质态射与局部连通态射，并提供了态射从层到拓扑斯诱导等价关系的显式必要与充分条件，关键结果涉及纤维化、可覆盖子范畴及拓扑斯理论中的因子分解系统。

ABSTRACT

We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introduce the notion of weak morphism of toposes and characterize the functors which induce such morphisms. In particular, we examine continuous comorphism of sites and show that this class of comorphisms notably includes all fibrations as well as morphisms of fibrations. We also establish a characterization theorem for essential geometric morphisms and locally connected morphisms in terms of continuous functors, and a relative version of the comprehensive factorization of a functor. Then we prove a general theorem providing necessary and sufficient explicit conditions for a morphism of sites to induce an equivalence of toposes. This stems from a detailed analysis of arrows in Grothendieck toposes and denseness conditions, which yields results of independent interest. We also derive site characterizations of the property of a geometric morphism to be an inclusion (resp. a surjection, hyperconnected, localic), as well as site-level descriptions of the surjection-inclusion and hyperconnected-localic factorizations of a geometric morphism.

研究动机与目标

• 通过层理论方法系统分析拓扑斯之间的态射与等价关系。
• 在层的态射与余态射之间建立对偶伴随关系，增强拓扑斯理论构造的灵活性。
• 通过层上的连续函子刻画本质态射与局部连通几何态射。
• 为从层到拓扑斯的态射诱导拓扑斯等价关系提供显式、层级别的条件。
• 推导几何态射的因子分解（满射-包含、超连通-局部性）与性质（包含态射、满射、局部性态射）的层级别描述。

提出的方法

• 引入了拓扑斯的弱态射概念，即不保持有限极限的伴随对，扩展了标准几何态射框架。
• 定义了层之间 $(J,K)$-连续函子，并证明此类函子诱导本质几何态射。
• 利用广义元素的纤维化作为关键构造，建立了层态射范畴与层余态射范畴之间的对偶伴随关系。
• 应用相对共终性与广义元素的概念，描述格罗滕迪克拓扑斯中的余极限与箭头。
• 利用函子的广义元素纤维化，以标准方式表示由层余态射诱导的任意几何态射。
• 应用可覆盖性条件与子对象上的闭包运算，推导几何态射性质的层级别刻画。

实验结果

研究问题

• RQ1 从层到拓扑斯的态射诱导拓扑斯等价关系的显式、层理论条件是什么？
• RQ2 如何通过层上的连续函子刻画本质与局部连通几何态射？
• RQ3 层的态射与余态射之间的确切关系是什么？能否将其形式化为对偶伴随关系？
• RQ4 纤维化及其相关拓扑与层余态射及诱导的几何态射之间有何关系？
• RQ5 几何态射的满射-包含与超连通-局部性因子分解在层级别上如何描述？

主要发现

• 当且仅当一个层态射是弱可覆盖的，并满足局部忠实性与完全性条件时，它诱导拓扑斯等价。
• 连续的余态射诱导本质几何态射，其逆像函子同构于对偶函子的前复合。
• 函子的广义元素纤维化为由层余态射诱导的任意几何态射提供了标准表示方式。
• 一个几何态射是局部包含态射，当且仅当其对应的余态射既是 $K$-忠实的又是 $K$-完全的。
• 自然变换 $1_{{\bf Sh}({\bf D},K)} \to {\bf Sh}(F) \circ C_F$ 是同构，当且仅当余态射 $F$ 是 $K$-忠实且 $K$-完全的。
• 几何态射的超连通-局部性因子分解可通过在层上诱导的共诱导拓扑与诱导拓扑实现层级别的描述。