[論文レビュー] A De Vries-type Duality Theorem for Locally Compact Spaces -- II

Georgi Dimov|ArXiv.org|Mar 14, 2009

Advanced Topology and Set Theory参考文献 23被引用数 10

ひとこと要約

この論文は、局所コンパクト空間に対するデ・ヴリーズ型双対性を、局所接触ブール代数（LCAs）の新しいカテゴリを導入し、これらの構造に対する完備化定理を証明することによって確立する。これは、ストーン双対性を一般化し、LCAsのカテゴリと零次元の局所コンパクトハウスドルフ空間のカテゴリの間で反変随伴および双対性を構築することで、π重み、重み、距離化可能性といった位相的性質の代数的特徴づけを提供する。また、バーキホフの問題72に対するポンマレフの解法の新しい直接的証明も与える。

ABSTRACT

In this paper some applications of the methods and results of its first part and of the results of M. Stone, H. de Vries, P. Roeper are given. In particular: some generalizations of the Stone Duality Theorem are obtained; a completion theorem for local contact Boolean algebras is proved; a direct proof of the Ponomarev's solution of Birkhoff's Problem 72 is found, and the spaces which are co-absolute with the (zero-dimensional) Eberlein compacts are described.

研究の動機と目的

• 局所コンパクト空間へのストーン双対性の拡張を、局所接触ブール代数（LCAs）を用いて行い、古典的双対性結果を一般化すること。
• LCAsの双対カテゴリを通じて、π重み、重み、距離化可能性といった位相的性質の代数的特徴づけを提供すること。
• LCAsの完備化定理を証明し、LCAsの完備化の存在および一意性を確立すること。
• ポンマレフのバーキホフの問題72（与えられた連続像をもつコンパクトハウスドルフ空間の存在）の解法に対する新しい直接的証明を与えること。
• 双対LCAsに代数的条件を課すことにより、零次元のエーベルラインコンパクトと同絶対的な空間を特徴づけること。

提案手法

• 局所コンパクト空間のストーン双対性を一般化するため、5つのカテゴリ—${\bf LBA}$, ${\bf ZLBA}$, ${\bf PZLBA}$, ${\bf PLBA}$, および ${\bf GBPL}$—を構築する。
• ${\bf LBA}$ と零次元の局所コンパクトハウスドルフ空間および連続写像のカテゴリ ${\bf ZLC}$ の間で反変随伴を確立する。
• この随伴が、${\bf ZLBA}$ と ${\bf ZLC}$ の間、および ${\bf PZLBA}$, ${\bf PLBA}$, ${\bf GBPL}$ と ${\bf PZLC}$（ブール空間と完全写像のカテゴリ）の間で双対性に制限されることを証明する。
• 双対性枠組みを用いて、位相的性質を代数的に特徴づける。例えば、空間のπ重みはブール代数 $A$ のみに依存する性質として符号化されるが、重みは $A$, $\rho$, および ${\rm I}\!{\rm B}$ のすべての成分に依存する条件を含む。
• 双対性を用いて、距離化可能な局所コンパクト空間の双対対象を記述し、エーベルラインコンパクトと同絶対的な空間を特徴づける。
• LCAsの完備化の技法を用いて、LCAsの完備化の存在および一意性を証明し、素元の構造と dV-密度条件を用いる。

実験結果

リサーチクエスチョン

• RQ1 ストーン双対性は、局所接触ブール代数を用いて、どのように局所コンパクト空間へ一般化できるか？
• RQ2 π重み、重み、距離化可能性といった位相的性質に対応するLCAsの代数的条件は何か？
• RQ3 双対性枠組みを用いて、ポンマレフのバーキホフの問題72の解法に対する新しい直接的証明を提示できるか？
• RQ4 零次元のエーベルラインコンパクトと同絶対的な空間の代数的特徴づけは何か？
• RQ5 2つのLCAsが同相な双対空間を持つための条件は何か？

主な発見

• 局所接触ブール代数のカテゴリ ${\bf LBA}$ と零次元の局所コンパクトハウスドルフ空間および連続写像のカテゴリ ${\bf ZLC}$ の間で反変随伴が確立され、${\bf ZLBA}$ と ${\bf ZLC}$ の間に双対性が成立する。
• この双対性は、${\bf PZLBA}$, ${\bf PLBA}$, ${\bf GBPL}$ と ${\bf PZLC}$（ブール空間と完全写像のカテゴリ）の間にも制限され、双対性が成立する。
• 零次元の局所コンパクト空間のπ重みは、ブール代数 $A$ のみに依存する性質によって代数的に特徴づけられる。
• 局所コンパクト空間の重みは、LCAsの3つの成分 $A$, $\rho$, および ${\rm I}\!{\rm B}$ 全てに依存する条件によって特徴づけられる。
• LCAsの完備化定理が証明された：任意のLCAは、同型を除いて一意な（LCA-完備化）をもつ。この完備化は、随伴 $\Psi^a \dashv \Psi^t$ を用いて構成される。
• ポンマレフのバーキホフの問題72の解法に対する新しい直接的証明が与えられ、与えられた連続像をもつコンパクトハウスドルフ空間が存在するための必要十分条件が、双対LCAの密度条件および順序条件を満たすことであることが示された。