[論文レビュー] Stone Duality for Skew Boolean Algebras with Intersections

Andrej Bauer, Karin Cvetko-Vah|arXiv (Cornell University)|Jun 2, 2011

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.

研究の動機と目的

• 可換ブール代数におけるスティーブン双対性を、交わりを備えた非可換歪ブール代数へ拡張すること。
• 右側歪ブール代数とブール空間間の全射エタール写像の間の双対同値関係を確立すること。
• 関係する圏における準同型の制限を用いて双対性の変種を調査すること。
• 右側歪ブール代数が格子セクションを持たない場合が存在するかどうかという未解決問題を解消すること。

提案手法

• 著者たちは、ゼロと相対的補元演算を備えた、交わりに関する分配的性質を満たす歪ラティスとして、交わりを備えた歪ブール代数を定義した。
• 彼らは、ファイバーが長方形バンドであるようなブール空間上のエタール写像として、歪ブール空間を導入した。
• 双対性を用いて、copen集合上での互換性を持つ局所セクションを貼り合わせることで、グローバルセクションを構成した。
• 双対性を応用して格子セクションの存在を分析し、代数内に共終的可算鎖が存在することは、ベース空間が可算個のcopen集合の族で被覆されることに同値であることを示した。
• 最初の非可算順序数 ω₁ に区間位相を導入し、全空間として区間の直和を用いて反例を構成した。
• ω₁ 上に進行的かつ局所定数のセクションが存在しないことを証明することで、対応する歪ブール空間にグローバルセクションが存在しないことを示した。

実験結果

リサーチクエスチョン

• RQ1 右側歪ブール代数と交わりを備えた、適切な位相空間の圏との間に双対性が存在するか？
• RQ2 この双対性は、一般の交わりを備えた歪ブール代数へ拡張可能か？
• RQ3 右側歪ブール代数が格子セクションをもつための条件は何か？
• RQ4 以前未解決であった、格子セクションを持たない右側歪ブール代数が存在するか？

主な発見

• 本論文は、交わりを備えた右側歪ブール代数の圏と、ブール空間間の全射エタール写像の圏との間に双対同値関係を確立した。
• 右側歪ブール代数が格子セクションを持つことと、0および ∧ を保存するセクションが存在することは同値であり、これは自然な順序に関する共終的可算鎖の存在と同値である。
• 著者たちは、最初の非可算順序数 ω₁ をベース空間として用い、グローバルセクションを持たない歪ブール空間を構成することで、格子セクションを持たない右側歪ブール代数を構成した。
• ω₁ 上の歪ブール空間にグローバルセクションが存在しないことは、進行的かつ局所定数のセクションが固定点列を引き起こすという矛盾を導くことで証明された。
• この構成により、すべての右側歪ブール代数が格子セクションを持つわけではないことが確認され、未解決問題に否定的な答えを与えた。