[論文レビュー] Toposes of Discrete Monoid Actions

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

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

ひとこと要約

この論文は、離散的モノイド $M$ に対して右 $M$-集合のグロテンディークトポスを、その標準的ポイントを介して同値性に関して特徴づけ、モノイドとその関連トポスの間で2-圏的モラータ同値性を確立し、このようなトポスが同値であることと、モノイドがモラータ同値であることとが同値であること（必要十分）を示している。これにより、半群論および表現論の古典的結果を再解釈し、トポス理論的枠組みを提供する。

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$ に対して、$[M^{ ext{op}}, \mathbf{Set}]$ に同値なグロテンディークトポスを特徴づけること—これは右 $M$-集合のトポスである。
• 2つのモノイドが同値な $M$-集合のトポスを与えるのはいつかを特定することで、モノイドのモラータ同値性問題を解くこと。
• モノイドの2-圏と、$[M^{ ext{op}}, \mathbf{Set}]$ の形をしたトポスの2-圏との間で2-圏的同値性を確立し、モラータ同値性の圏論的枠組みを提供すること。
• モノイドの代数的性質をトポス的不変量（例：原子的性、本質的ポイント）に翻訳することで、トポス理論と半群論を結びつけること。
• トポスを「橋渡し」としての役割を拡張し、トポス的ツールが圏論におけるロケール中心の手法を補完できることを示すこと。

提案手法

• モノイド $M$ を1対象の圏とみなすことにより、右 $M$-集合の圏としてのプレシャーフトポス $[M^{ ext{op}}, \mathbf{Set}]$ を利用可能にする。
• イデムポテンの分解を解析し、モノイド構造とトポス構造の関係を明らかにするために、$M$ のイデムポテン完備化 $\check{M}$ を用いる。
• ポイント、本質的幾何的準同型、原子的トポスといったトポス理論的道具を用いて、$M$-集合のトポスを特徴づける。
• 標準的ポイントを不変量として用い、モノイドの2-圏と、$[M^{ ext{op}}, \mathbf{Set}]$ の形をしたトポスの2-圏との間で2-圏的同値性を導出する。
• Knauer や Banaschewski の半群論的結果を応用し、モノイドのモラータ同値性が、それらの関連トポスの同値性と一致することを示す。
• 例として $M$ と $M' = e_{3/4}Me_{3/4}$ のような明示的な構成を用い、同型でないモノイドが同値なトポスを与える例を示し、非自明なモラータ同値性を実証する。

実験結果

リサーチクエスチョン

• RQ1 どのグロテンディークトポスが、ある離散的モノイド $M$ の右 $M$-集合のトポスに同値になるか？
• RQ2 同型でない2つのモノイドが、いつ同値な $M$-集合のトポスを与えるか？
• RQ3 トポス理論的言語を用いて、モノイドのモラータ同値性問題を再定式化し、それを解く方法は何か？
• RQ4 モノイドのどの代数的性質が、原子的性や本質的ポイントといったトポス的不変量に対応するか？
• RQ5 どのような場合に、モノイドのモラータ同値性が単に同型に還元されるか？

主な発見

• 定理5.2は、$[M^{ ext{op}}, \mathbf{Set}]$ に同値なトポスを、その標準的ポイントが本質的かつ全射であるようなものとして特徴づけている。
• 定理6.5は、モノイドの2-圏と、$[M^{ ext{op}}, \mathbf{Set}]$ の形をしたトポスの2-圏との間で2-圏的同値性を確立しており、射は半群準同型で与えられる。
• 系6.6は、2つのモノイドがモラータ同値であることと、それらの関連する $M$-集合トポスが同値であることとが同値であることを示しており、モラータ問題を圏論的に解決している。
• 本論文は、同型でないモノイド $M$ と $M' = e_{3/4}Me_{3/4}$ が同値なトポスを与える明示的例を構成し、非自明なモラータ同値性を実証している。
• 系7.2は、可換性、群構造、正則性などの十分条件を特定し、それらの下ではモラータ同値性がモノイドの同型に還元されることを示している。
• 系7.3は、写像 $G \mapsto [G^{ ext{op}}, \mathbf{Set}]$ が、群の2-圏と、本質的かつ全射なポイントを備えた原子的グロテンディークトポスの2-圏との間の同値であることを示している。