[論文レビュー] The dual of compact ordered spaces is a variety

Marco Abbadini|arXiv (Cornell University)|Feb 19, 2019

Advanced Algebra and Logic被引用数 4

ひとこと要約

この論文は、コンパクト順序付き空間の圏（PosComp）の双対が、特に MC∞ と表記される無限アリティ代数の多様体であることを確立している。区間 [0,1] を双対化対象として用い、有限アリティおよび可算無限アリティの演算と、等式的公理を導入することで、PosComp と MC∞ の間の双対同値を構成した。この双対圏が多様体として公理化可能であることを証明し、Hofmann, Neves, and Nora (2018) が提起した未解決問題に答えている。

ABSTRACT

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question was: is it also a variety? We show that the answer is affirmative. We describe the variety by means of a set of finitary operations, together with an operation of countably infinite arity, and equational axioms. The dual equivalence is induced by the dualizing object [0,1].

研究の動機と目的

• Hofmann, Neves, and Nora (2018) が提起した、コンパクト順序付き空間の双対が多様体かどうかという未解決問題を解決すること。
• 有限および可算無限アリティの演算を用いて、PosComp の双対圏の明示的代数的特徴付けを提供すること。
• コンパクト順序付き空間の圏と、無限アリティ代数の多様体 MC∞ 間の双対同値を確立すること。
• 双対化対象 [0,1] が、[0,1] の冪から [0,1] へのすべての単調連続写像を捉える双対性を誘導することを示すこと。
• 多様体 MC∞ が、アーチメデス的コーシー完備 MC-代数の圏と同値であることを示し、双対性を完成させること。

提案手法

• [0,1] を双対化対象として用い、順序付き位相空間の圏（PreT）と、有限アリティ多様体 MC 間の双対随伴を確立すること。
• 随伴の固定対象を同定する：位相的側ではコンパクト順序付き空間、代数的側ではアーチメデス的コーシー完備 MC-代数。
• コーシー列の極限を表現する可算無限アリティ演算 δ を追加することで、有限アリティ多様体 MC を無限アリティ多様体 MC∞ に拡張すること。
• MC∞ の等式的公理を導入し、代数的構造がコンパクト順序付き空間の位相的性質を反映することを保証すること。
• 部分的代表定理とストーン＝ワイエルシュトラス定理の類似を用いて、アーチメデス的コーシー完備 MC-代数において、随伴の単位が同型であることを証明すること。
• MC∞ が、[0,1] の冪を対象とし、単調連続写像を射とする、多様体的理論の代数の圏に同値であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 コンパクト順序付き空間の圏の双対は、多様体であると見なせるのか、それとも単に準多様体にとどまるのか？
• RQ2 有限および無限アリティの演算と等式的公理の集合によって、双対圏が公理化可能か？
• RQ3 区間 [0,1] は、PosComp と代数の多様体の間の完全な双対同値を誘導する双対化対象として機能するか？
• RQ4 [0,1] の冪から [0,1] への単調連続写像のクラスは、無限アリティの演算を含む有限生成の代数的理論によって完全に捉えられるか？
• RQ5 アーチメデス的コーシー完備 MC-代数の圏は、無限アリティ代数の多様体と同値か？

主な発見

• コンパクト順序付き空間の圏の双対、すなわち PosComp^op は、特に無限アリティ多様体 MC∞ と同値である。
• 多様体 MC∞ は双対化対象 [0,1] によって生成され、有限アリティの演算に加え、コーシー列の極限をモデル化する可算無限アリティ演算 δ を含む。
• PosComp と MC∞ 間の双対同値は、関手 Hom(−, [0,1]) によって誘導され、この同値は双対随伴の固定対象を通じて実現される。
• MC∞ の圏は、アーチメデス的コーシー完備 MC-代数の全部分圏と同型であり、MC∞ がコンパクト順序付き空間の正確な代数的双対を捉えていることを確認する。
• MC∞ の演算は、[0,1] に解釈すると、任意の [0,1] の冪から [0,1] へのすべての単調連続写像と正確に一致し、代数的構造の完全性を確認する。
• 本論文は、関手 Hom(−, [0,1]) が PosComp から Set への関手が、有限アリティ多様体の忘却関手と自然同型でないことを示しており、δ 演算が無限個の座標に依存することは本質的である。