[论文解读] Toposes of Discrete Monoid Actions

Morgan Rogers|arXiv (Cornell University)|May 24, 2019

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

一句话总结

本文通过其典范点，将离散幺半群 $M$ 的 Grothendieck topos $[M^{ ext{op}}, \mathbf{Set}]$ 的等价类特征化，建立了幺半群与其相关 topos 之间的 2-范畴 Morita 等价，并证明此类 topos 等价当且仅当幺半群 Morita 等价——提供了一个拓扑理论框架，重新获得并重新诠释了半群理论与表示理论中的经典结果。

ABSTRACT

Properties of toposes of right $M$-sets are studied, and these toposes are characterised up to equivalence by their canonical points. The solution to the corresponding Morita equivalence problem is presented in the form of an equivalence between a 2-category of monoids and the corresponding 2-category of toposes.

研究动机与目标

• 特征化与 $[M^{ ext{op}}, \mathbf{Set}]$——即右 $M$-集的 topos——等价的 Grothendieck topos，其中 $M$ 为离散幺半群。
• 通过识别何时两个幺半群产生等价的 $M$-集 topos，解决幺半群的 Morita 等价问题。
• 在幺半群的 2-范畴与这类 topos 的 2-范畴之间建立 2-范畴等价，提供 Morita 等价的范畴框架。
• 通过将幺半群的代数性质翻译为 topos-理论不变量，弥合拓扑理论与半群理论之间的鸿沟。
• 通过展示 topos-理论工具如何补充范畴论中以局部为本的方法，拓展“topos 作为桥梁”的纲领。

提出的方法

• 将幺半群 $M$ 视为一个对象的范畴，从而可将预层 topos $[M^{ ext{op}}, \mathbf{Set}]$ 用作右 $M$-集的范畴。
• 使用 $M$ 的幂等元完备化 $\check{M}$ 来分析幂等元的分裂，并将幺半群结构与 topos 结构联系起来。
• 应用 topos-理论工具，如点、本质几何态射和原子 topos，来特征化 $M$-集的 topos。
• 利用典范点作为不变量，推导出幺半群的 2-范畴与形如 $[M^{ ext{op}}, \mathbf{Set}]$ 的 topos 的 2-范畴之间的 2-范畴等价。
• 应用半群理论的结果（例如 Knauer 和 Banaschewski 的结果）表明，幺半群的 Morita 等价对应于其 topos 的等价。
• 构造显式例子（如 $M$ 和 $M' = e_{3/4}Me_{3/4}$）以展示非同构幺半群具有等价 topos，从而说明非平凡的 Morita 等价。

实验结果

研究问题

• RQ1 哪些 Grothendieck topos 与某个离散幺半群 $M$ 的右 $M$-集 topos 等价？
• RQ2 何时两个非同构的幺半群会产生等价的 $M$-集 topos？
• RQ3 如何使用 topos-理论语言重新表述并解决幺半群的 Morita 等价问题？
• RQ4 幺半群的哪些代数性质对应于 topos-理论不变量（如原子性或本质点）？
• RQ5 在何种情况下，幺半群的 Morita 等价退化为同构？

主要发现

• 定理 5.2 特征化了与 $[M^{ ext{op}}, \mathbf{Set}]$ 等价的 topos：即那些具有既是本质的又是满射的典范点的 topos。
• 定理 6.5 建立了幺半群的 2-范畴与形如 $[M^{ ext{op}}, \mathbf{Set}]$ 的 topos 的 2-范畴之间的 2-范畴等价，其中态射由半群同态给出。
• 推论 6.6 表明，两个幺半群 Morita 等价当且仅当它们对应的 $M$-集 topos 等价，从而从范畴论角度解决了 Morita 问题。
• 本文构造了一个非同构幺半群 $M$ 与 $M' = e_{3/4}Me_{3/4}$ 的显式例子，其 topos 等价，展示了非平凡的 Morita 等价。
• 推论 7.2 确定了充分条件（如交换性、群结构、可消去性），在此类条件下，Morita 等价蕴含幺半群的同构。
• 推论 7.3 表明，映射 $G \mapsto [G^{ ext{op}}, \mathbf{Set}]$ 是群的 2-范畴与具有本质满射点的原子 Grothendieck topos 的 2-范畴之间的等价。