[논문 리뷰] Stone Duality for Skew Boolean Algebras with Intersections

Andrej Bauer, Karin Cvetko-Vah|arXiv (Cornell University)|2011. 06. 02.

Advanced Algebra and Logic참고 문헌 8인용 수 6

한 줄 요약

이 논문은 기존의 스톤 대칭성 이론을 비가환 구조로 확장하여 교차를 가진 비가환 스키클라스 대수에 대한 스톤 대칭성을 수립한다. 이에 따라 오른쪽으로 기울어진 교차를 가진 스키클라스 대수의 범주와 불리안 공간 사이의 전사 에탈 맵의 범주 사이의 쌍대 동치를 보여준다. 주요 기여는 래티스 단면이 없는 오른쪽으로 기울어진 스키클라스 대수의 구축으로, 이러한 대수의 존재 여부에 대한 열린 질문을 해결한다.

ABSTRACT

We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean algebras with intersections is dual to the category of surjective etale maps between Boolean spaces. We then extend the duality to skew Boolean algebras with intersections, and consider several variations in which the morphisms are restricted. Finally, we use the duality to construct a right-handed skew Boolean algebra without a lattice section.

연구 동기 및 목표

• 기존의 스톤 대칭성을 가환 불리안 대수에서 비가환 스키클라스 대수로 확장함으로써, 교차를 가진 비가환 스키클라스 대수에 대한 스톤 대칭성을 수립하는 것.
• 오른쪽으로 기울어진 스키클라스 대수와 불리안 공간 사이의 전사 에탈 맵의 범주 사이의 쌍대 동치를 수립하는 것.
• 관련 범주에서 사상의 제약 조건을 통해 대칭성의 변형을 조사하는 것.
• 오른쪽으로 기울어진 스키클라스 대수 중 래티스 단면이 없는 것이 존재하는가에 대한 열린 질문을 해결하는 것.

제안 방법

• 저자들은 교차를 가진 스키클라스 대수를 0과 상대적 여집합 연산을 갖는 멱등 분배적 스키클라스 대수로 정의한다.
• 그들은 에탈 맵이 불리안 공간 위에 정의된 스키클라스 불리안 공간을 정의하며, 이때 섬유는 직사각형 밴드를 이룬다.
• 대칭성을 이용해, copen 집합 위에서 호환 가능한 국소 단면들을 붙임으로써 전역 단면을 구성한다.
• 대칭성을 적용하여 래티스 단면의 존재성을 분석하며, 자연 전순서에서의 코프리미티브 가산 체인은 copen 집합의 가산 체인으로 덮인 기저 공간과 대응됨을 보여준다.
• 첫 번째 비가산 순서수 ω₁과 구간 위의 분리합집합을 총공간으로 하여 반례를 구성한다.
• ω₁에서 점진적이고 국소적으로 일정한 단면이 존재하지 않음을 증명함으로써, 해당 스키클라스 불리안 공간에서 전역 단면이 존재하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 오른쪽으로 기울어진 교차를 가진 스키클라스 대수와 적절한 위상공간의 범주 사이에 대칭성이 존재하는가?
• RQ2 이 대칭성은 일반적인 교차를 가진 스키클라스 대수로 확장될 수 있는가?
• RQ3 어떤 조건에서 오른쪽으로 기울어진 스키클라스 대수는 래티스 단면을 가질 수 있는가?
• RQ4 이전에 열려 있던 질문처럼, 오른쪽으로 기울어진 스키클라스 대수 중 래티스 단면이 없는 것이 존재하는가?

주요 결과

• 논문은 오른쪽으로 기울어진 교차를 가진 스키클라스 대수의 범주와 불리안 공간 사이의 전사 에탈 맵의 범주 사이의 쌍대 동치를 수립한다.
• 오른쪽으로 기울어진 스키클라스 대수에 래티스 단면이 존재하는 것은 0과 ∧를 보존하는 단면이 존재하는 것과 동치이며, 이는 자연 전순서에서의 코프리미티브 가산 체인이 존재하는 것과 동치이다.
• 저자들은 첫 번째 비가산 순서수 ω₁을 스키클라스 불리안 공간의 기저 공간으로 사용하여, 전역 단면이 존재하지 않는 오른쪽으로 기울어진 스키클라스 대수를 구성한다.
• 스킵클라스 불리안 공간 위에서 전역 단면이 존재하지 않는 것은, 점진적이고 국소적으로 일정한 단면이 존재할 경우 고정점 수열을 통해 모순이 발생함을 보여줌으로써 증명된다.
• 이 구성은 모든 오른쪽으로 기울어진 스키클라스 대수가 래티스 단면을 가지는 것은 아니며, 이는 기존의 열린 질문에 대한 부정적 답변을 확인한다.