[논문 리뷰] The Morita-equivalence between MV-algebras and abelian $\ell$-groups with strong unit

Olivia Caramello, Anna Carla Russo|arXiv (Cornell University)|2013. 12. 04.

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-대수의 유한한 이론과의 모리타-동치를 통해, 강한 단위를 가진 아벨 ℓ-군의 이론에 대해 기하학적 컴팩트성과 완전성을 확립하기.

제안 방법

• intuitionistic higher-order logic 내에서 MV-대수와 강한 단위를 가진 아벨 ℓ-군의 이론을 기하학적 이론으로 형식화하기.
• 모든 그로텐디크 토포스에서 두 이론의 모델의 범주 사이의 함자를 구성하며, 이들이 상호 역인 동치임을 보이기.
• 분류 토포스의 보편 성질을 사용하여, 두 이론의 분류 토포스가 동치일 경우 이론들이 모리타-동치임을 증명하기.
• 기하학적 이론에 대한 이중성 정리를 적용하여, 이론의 몫들과 그 분류 토포스의 부분토포스들을 연결하기.
• 토포스의 내부 언어를 사용하여 두 이론 간의 논리적 성질을 해석하고 이행하기.
• 기하학적 이론에 대한 기하학적 불가약성에 기반하여, 강한 단위를 가진 유한적으로 제시된 ℓ-군을 특성화하기.

실험 결과

연구 질문

• RQ1 무OND치의 MV-대수와 강한 단위를 가진 아벨 ℓ-군 사이의 동치는 집합의 범주를 초월하여 모든 그로텐디크 토포스로 일반화될 수 있는가?
• RQ2 두 기하학적 이론이 동치가 되는 정확한 토포스 이론적 조건은 무엇이며, 이는 모리타-동치와 어떻게 관련되는가?
• RQ3 두 이론의 분류 토포스를 사용하여 무OND치의 동치의 셰이프-이론적 일반화를 어떻게 확립할 수 있는가?
• RQ4 서로 이중 해석 가능하지 않은 두 이론 간에 기하학적 확장 간의 이항 대응이 존재하는가?
• RQ5 기하논리와 기하학적 불가약성에 기반하여, 강한 단위를 가진 유한적으로 제시된 아벨 ℓ-군을 논리적으로 특성화할 수 있는가?

주요 결과

• MV-대수의 이론과 강한 단위를 가진 아벨 ℓ-군의 이론은 그들의 분류 토포스가 동치이므로 모리타-동치이다.
• 모든 위상공간 $X$에 대해, $X$ 위의 MV-대수의 셰이프 범주와 $X$ 위의 강한 단위를 가진 아벨 ℓ-군의 셰이프 범주 사이에 자연스러운 동치가 존재하며, 이는 스토크 수준에서 무OND치의 동치를 확장한다.
• 서로 이중 해석 가능하지 않더라도, 두 이론의 기하학적 이론 확장 간에 이항 대응이 존재한다.
• 강한 단위를 가지며, 아벨 ℓ-군 이론에 대해 기하학적 불가약한 공식으로 표현되는 유한적으로 제시된 아벨 ℓ-군은 정확히 그들이다.
• MV-대수의 유한한 이론과의 모리타-동치로 인해, 강한 단위를 가진 아벨 ℓ-군의 이론은 기하학적 컴팩트성과 완전성의 형태를 갖는다.
• 토포스 이론의 방법은 두 이론 간의 성질과 결과의 이행을 가능하게 하여, 고전적인 이중성 결과에 대한 새로운 논리적 및 범주론적 통찰을 제공한다.