[论文解读] 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-代数与具有强单位的阿贝尔ℓ-群之间的等价性推广至所有格罗滕迪克拓扑。
• 证明MV-代数的理论与具有强单位的阿贝尔ℓ-群的理论通过其等价的分类拓扑而实现莫里塔等价。
• 应用拓扑理论方法推导新结果，包括芒迪基等价性的层论版本以及几何扩张之间的双射对应关系。
• 利用几何逻辑与相对于理论的不可约性，对具有强单位的有限生成阿贝尔ℓ-群进行刻画。
• 通过其与MV-代数的有限理论的莫里塔等价性，建立具有强单位的阿贝尔ℓ-群理论的几何紧致性与完备性。

提出的方法

• 在直觉主义高阶逻辑中，将MV-代数与具有强单位的阿贝尔ℓ-群的理论形式化为几何理论。
• 在任意格罗滕迪克拓扑中，构造两个理论模型范畴之间的函子，证明它们构成互逆等价。
• 利用分类拓扑的普遍性质，证明当两个理论的分类拓扑等价时，其理论即为莫里塔等价。
• 应用几何理论的对偶定理，将理论的商与分类拓扑的子拓扑联系起来。
• 利用拓扑的内部语言，实现在两个理论之间逻辑性质的解释与转移。
• 将具有强单位的有限生成ℓ-群刻画为相对于ℓ-群理论不可约公式的呈现形式。

实验结果

研究问题

• RQ1 芒迪基在集合范畴中建立的MV-代数与具有强单位的阿贝尔ℓ-群之间的等价性，能否推广至所有格罗滕迪克拓扑？
• RQ2 两个几何理论在何种精确的拓扑理论条件下等价？这与莫里塔等价有何关联？
• RQ3 如何利用两个理论的分类拓扑，建立芒迪基等价性的层论推广？
• RQ4 尽管两个理论不具备双向解释性，是否存在MV-代数理论与具有强单位的阿贝尔ℓ-群理论之间几何扩张的双射对应？
• RQ5 能否利用几何逻辑与不可约性，对有限生成的具有强单位的阿贝尔ℓ-群进行逻辑刻画？

主要发现

• MV-代数的理论与具有强单位的阿贝尔ℓ-群的理论是莫里塔等价的，因为它们的分类拓扑是等价的。
• 对于任意拓扑空间 $X$，存在一个自然等价，将$X$上的MV-代数层范畴与$X$上的具有强单位的阿贝尔ℓ-群层范畴联系起来，这在截面层的层次上推广了芒迪基的等价性。
• 尽管两个理论不具备双向解释性，它们的几何理论扩张之间存在双射对应关系。
• 具有强单位的有限生成阿贝尔ℓ-群正是那些其单位为强单位，且相对于ℓ-群理论以不可约公式呈现的群。
• 由于具有强单位的阿贝尔ℓ-群理论与MV-代数的有限理论之间存在莫里塔等价性，该理论享有某种形式的几何紧致性与完备性。
• 拓扑理论的方法使得在两个理论之间实现性质与结果的转移，为经典对偶性结果提供了新的逻辑与范畴论洞见。