[論文レビュー] A topos-theoretic approach to Stone-type dualities

Olivia Caramello|arXiv (Cornell University)|Mar 17, 2011

Rings, Modules, and Algebras参考文献 13被引用数 21

ひとこと要約

この論文は、分配的ラティスと位相空間の間の双対性（例えば、Stone型双対性）を、Grothendieck位相を介した順序付き構造への局所環や位相空間の割り当てという単一の現象として解釈する、統一的なトポス理論的枠組みを導入する。主な貢献は、トポス理論的不変量を通じて、順序付き構造と局所環または位相空間の間で無限に多くの双対性を生成する一般化された機構の構築であり、$J$-イデアルと$J$-素フィルターの明示的な普遍性が特徴である。

ABSTRACT

We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new dualities between preordered structures and locales or topological spaces can be generated through our topos-theoretic machinery in a uniform way. We then apply our topos-theoretic interpetation to obtain results connecting properties of preorders and properties of the corresponding locales or topological spaces, and we establish adjunctions between various kinds of categories as natural applications of our general methodology. In the last part of the paper, we exploit the theory developed in the previous parts to obtain a topos-theoretic interpretation of the problem of finding explicit descriptions of models of 'ordered algebraic theories' presented by generators and relations, and give several examples which illustrate the effectiveness of our methodology. In passing, we provide a number of other applications of our theory to Algebra, Topology and Logic.

研究の動機と目的

• 分配的ラティス、ブール代数、順序付き構造などの多様なStone型双対性を、単一のトポス理論的枠組みに統合すること。
• 順序付き構造と局所環または位相空間の間で、新しい双対性を体系的に生成する方法を提供すること。
• 局所環理論的不変量を特定することで、順序付き構造の性質に対応する内在的双対性を同定すること。
• モデル理論への応用を通じて、生成子と関係式による順序付き代数的理論のモデルを記述すること。
• トポス理論的不変量を用いて、フレーム、局所環、位相空間の圏の間の随伴関係や接続関係を確立すること。

提案手法

• preorder $\mathcal{C}$ にGrothendieck位相 $J$ を適用し、$J$-イデアルを定義し、$\mathbf{Sh}(\mathcal{C}, J)$ における層のトポスを通じて局所環 $Id_J(\mathcal{C})$ を構成する。
• 'トポスはブリッジである'手法を応用し、トポスのサイト間で不変量を転送することで、圏の同型を通じた双対性を実現する。
• $J$-フィルタリング写像 $f: \mathcal{C} \to L$ をフレーム $L$ に定義し、結合と交差の条件を満たし、拡張 $\tilde{f}: Id_J(\mathcal{C}) \to L$ を特徴付ける普遍性を持つ。
• $Id_J(\mathcal{C})$ 上の完全に素なフィルターと $\mathcal{C}$ 上の $J$-素フィルターの間の自然な全単射を、写像 $F \mapsto \{c \in \mathcal{C} \mid (c)\downarrow_J \in F\}$ で与える。
• 比較補題を用いてサイトを関連付け、同値なトポス間で不変量を転送し、双対性の構成を可能にする。
• $Id_J(\mathcal{C})$ の普遍性を活用し、トポス理論的不変量を通じて $\mathcal{C}$ を局所環 $Id_J(\mathcal{C})$ から回復させ、双対性を保証する。

実験結果

リサーチクエスチョン

• RQ1 多様なStone型双対性を、単一のトポス理論的枠組みに統合する方法は何か？
• RQ2 順序付き構造の圏が、局所環または位相空間の圏と双対同値であるための条件は何か？
• RQ3 トポス理論的不変量を用いて、局所環理論的性質としての順序付き構造の性質を特徴づける方法は何か？
• RQ4 $J$-フィルタリング写像と$J$-イデアルが、フレームへの普遍的拡張を構築するために果たす役割は何か？
• RQ5 この理論を、生成子と関係式で提示された命題論理および一階論理の理論のモデルを記述するためにどのように応用できるか？

主な発見

• $\mathcal{C}$ 上の$J$-イデアルの局所環 $Id_J(\mathcal{C})$ は、普遍的性質を満たす：任意の$J$-フィルタリング写像 $f: \mathcal{C} \to L$ に対して、$\tilde{f} \circ \eta = f$ を満たす一意なフレーム準同型 $\tilde{f}: Id_J(\mathcal{C}) \to L$ が存在する。ここで $\eta(c) = (c)\downarrow_J$ である。
• $Id_J(\mathcal{C})$ 上の完全に素なフィルターと $\mathcal{C}$ 上の$J$-素フィルターの間には、写像 $F \mapsto \{c \in \mathcal{C} \mid (c)\downarrow_J \in F\}$ で与えられる自然な全単射が存在する。
• 順序付き構造と局所環の双対性は、同型 $\mathbf{Sh}(\mathcal{C}, J) \simeq \mathbf{Sh}(Id_J(\mathcal{C}))$ に起因し、これによりサイト間で不変量を転送できる。
• トポス理論的不変量（例：排中律、デ・モルガンの法則、二値性）は、それぞれほとんど離散的、極端に不連結、自明性といった位相的性質に対応する。
• 入力カテゴリ $\mathcal{K}$ と被覆 $J$ を変化させることで、この枠組みは順序付き構造と局所環の間で無限に多くの新しい双対性を生成する。すべての双対性は、単一の普遍的構成から生じる。
• この方法はモデル理論に応用可能であり、生成子と関係式による順序付き代数的理論のモデルを明示的に記述可能である。例として、ザリスキ位相や自由フレームを含む。