[論文レビュー] The Morita-equivalence between MV-algebras and abelian $\ell$-groups with strong unit

Olivia Caramello, Anna Carla Russo|arXiv (Cornell University)|Dec 4, 2013

Advanced Algebra and Logic参考文献 11被引用数 4

ひとこと要約

本稿は、MV代数の幾何的理論と強単位を備えたアーベル格順序群の幾何的理論の間で、モラータ同値性を確立し、ムンドゥッチの古典的同値性をすべてのグロテンディークトポスへ一般化する。この同値性により、トポス論的メソッドを用いた性質や結果の移行が可能となり、有限生成構造の新たな特徴付けと、ムンドゥッチの双対性の層論的拡張が得られる。

ABSTRACT

We show that the theory of MV-algebras is Morita-equivalent to that of abelian $\ell$-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D. Mundici in 1986, and allows to transfer properties and results across them by using the methods of topos theory. We discuss several applications, including a sheaf-theoretic version of Mundici's equivalence and a bijective correspondence between the geometric theory extensions of the two theories.

研究の動機と目的

• 集合の圏からすべてのグロテンディークトポスへ、MV代数と強単位を備えたアーベルℓ群の間のムンドゥッチの同値性を一般化すること。
• 2つの理論の同値な分類トポスに基づき、MV代数の理論とアーベルℓ群（強単位付き）の理論がモラータ同値であることを示すこと。
• トポス論的メソッドを適用し、新たな結果を導出すること。具体的には、ムンドゥッチの同値性の層論的バージョンと、幾何的拡張の間の双対的対応を含む。
• 幾何論理と理論に関する不可約性を用いて、強単位を備えたアーベルℓ群の有限生成構造を特徴付けること。
• MV代数の有限的理論とのモラータ同値性を通じて、強単位を備えたアーベルℓ群の理論の幾何的コンパクト性と完全性を確立すること。

提案手法

• 直観的高階論理内において、MV代数の理論と強単位を備えたアーベルℓ群の理論を幾何的理論として形式化すること。
• 任意のグロテンディークトポスにおける2つの理論のモデルの圏の間の関手を構成し、それらが逆同値であることを示すこと。
• 分類トポスの普遍性を用いて、2つの理論の分類トポスが同値である場合、それらの理論がモラータ同値であることを確立すること。
• 幾何的理論の双対定理を用い、理論の商とその分類トポスの部分トポスとの関係を関連させること。
• トポスの内部言語を用いて、2つの理論間での論理的性質の解釈と移行を実行すること。
• 強単位を備えたℓ群の有限生成構造を、ℓ群（強単位付き）の理論に関して不可約な論理式によって提示されるものとして特徴付けること。

実験結果

リサーチクエスチョン

• RQ1 ムンドゥッチのMV代数と強単位を備えたアーベルℓ群の間の同値性は、集合の圏を超えてすべてのグロテンディークトポスへ一般化可能か？
• RQ2 2つの幾何的理論が同値であるための正確なトポス論的条件は何か？ そして、これとモラータ同値性の関係は？
• RQ3 2つの理論の分類トポスを用いて、ムンドゥッチの同値性の層論的一般化をどのように確立できるか？
• RQ4 2つの理論が双解釈可能でないにもかかわらず、MV代数の理論とアーベルℓ群（強単位付き）の理論の幾何的拡張の間に双対的対応が存在するか？
• RQ5 幾何論理と不可約性を用いて、強単位を備えたアーベルℓ群の有限生成構造を論理的に特徴付けることは可能か？

主な発見

• MV代数の理論と強単位を備えたアーベルℓ群の理論は、それらの分類トポスが同値であるため、モラータ同値である。
• 任意の位相空間 $X$ に対して、$X$ 上のMV代数の層の圏と、$X$ 上のアーベルℓ群（強単位付き）の層の圏の間には自然な同値が存在し、これはストークレベルでのムンドゥッチの同値性を拡張する。
• 2つの理論の幾何的理論拡張の間には、理論が双解釈可能でないにもかかわらず、双対的対応が存在する。
• 強単位を備え、かつその単位が強で、かつℓ群（強単位付き）の理論に関して不可約な論理式によって提示されるようなアーベルℓ群（強単位付き）が、有限生成である。
• MV代数の有限的理論とのモラータ同値性のおかげで、強単位を備えたアーベルℓ群の理論は、幾何的コンパクト性と完全性の形をとる。
• トポス論の手法により、2つの理論間での性質や結果の移行が可能となり、古典的双対性結果に対する新たな論理的・圏論的洞察が得られる。