[論文レビュー] The universal minimal space for groups of homeomorphisms of h-homogeneous spaces

Eli Glasner, Yonatan Gutman|arXiv (Cornell University)|Jun 1, 2011

Advanced Topology and Set Theory参考文献 13被引用数 3

ひとこと要約

本稿では、任意の h-同次な 0 次元コンパクト Hausdorff 空間 $X$ に対して、$G = \mathrm{Homeo}(X)$ とおくとき、普遍的最小 $G$-空間 $M(G)$ が、Uspenskij が導入した最大鎖の空間 $\Phi(X)$ に正確に一致することを確立している。この結果は、従来のカントール集合に対する結果を、非可分な空間、たとえば非可算な $\kappa$ に対する $\{0,1\}^\kappa$ や、コロナ $\beta\omega \setminus \omega$ へと一般化しており、組合せ論的道具として双対ラマヌの定理を核とする。

ABSTRACT

Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal chains on X introduced by Uspenskij. If X is metrizable then clearly X is homeomorphic to the Cantor set and the result was already known (Glasner-Weiss 2003). However many new examples arise for non-metrizable spaces. These include, among others, the generalized Cantor sets X={0,1}^{kappa} for non-countable cardinals kappa, and the corona or remainder of omega, X=beta(omega) \ omega, where beta(omega) denotes the Stone-Cech compactification of the natural numbers.

研究の動機と目的

• カントール集合 $K$ に対して既知の $M(\mathrm{Homeo}(K)) = \Phi(K)$ の結果を、より広い h-同次空間のクラスへと拡張すること。
• 非可分な h-同次空間 $X$ に対して、$G = \mathrm{Homeo}(X)$ の普遍的最小空間 $M(G)$ を特徴づけること。
• すべての h-同次な 0 次元コンパクト Hausdorff 空間 $X$ に対して、$M(G) = \Phi(X)$、すなわち $X$ 上の最大鎖の空間が成り立つことを示すこと。
• 固定点定理に依存せず、双対性とラマヌ理論的技法に依拠するカントール集合の場合の新しい証明を提供すること。

提案手法

• Stone双対性を用いて、h-同次空間 $X$ を、同次なブール代数の Stone-Čech 係数化として同定する。
• Uspenskij のカントール集合に対する構成を一般化し、$X$ 上の最大鎖の空間 $\Phi(X)$ を定義する。
• 符号的系と鎖空間への $G = \mathrm{Homeo}(X)$ の作用を分析するために、双対ラマヌの定理を適用する。
• $M(G)$ のコーン開部分集合 $D \subset M(G)$ と符号的系 $Y_D \subset \Omega_k$ を用いて、$G$-可換写像 $\psi: M(G) \to \prod_D Y_D$ を構成する。
• 点を分離し、$\pi: M(G) \to \Phi(X)$ と $\phi: \Phi(X) \to Y$ を含む可換図式により $G$-作用と可換であることを示すことで、写像 $\psi$ が同型であることを証明する。
• $M(G)$ が 0 次元（恒等元にコーン開近傍基を持つため）であることと、符号的系の近接性を用いて、対角像が一致することを強制し、$\pi$ が $G$-可換同型であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 どの位相的群 $G = \mathrm{Homeo}(X)$ に対して、普遍的最小空間 $M(G)$ が最大鎖の空間 $\Phi(X)$ に等しいか。
• RQ2 メトライズブルでない場合、特に非可分な h-同次空間に対して、$M(\mathrm{Homeo}(X)) = \Phi(X)$ の特徴づけが成り立つか。
• RQ3 固定点定理やモデル理論的道具に依存せず、双対ラマヌの定理を用いて $M(G) = \Phi(X)$ を証明できるか。
• RQ4 $X = \{0,1\}^\kappa$（非可算な $\kappa$）のとき、$G = \mathrm{Homeo}(X)$ の $M(G)$ の構造は何か。
• RQ5 群 $G = \mathrm{Homeo}(\beta\omega \setminus \omega)$ の普遍的最小空間 $M(G)$ は $\Phi(\beta\omega \setminus \omega)$ に同型か。

主な発見

• 任意の h-同次な 0 次元コンパクト Hausdorff 空間 $X$ に対して、$G = \mathrm{Homeo}(X)$ とおくとき、普遍的最小 $G$-空間 $M(G)$ は最大鎖の空間 $\Phi(X)$ に同型である。
• この結果は、既知のケース $M(\mathrm{Homeo}(K)) = \Phi(K)$（$K = \{0,1\}^\mathbb{N}$）を、非可分な空間、たとえば非可算な $\kappa$ に対する $\{0,1\}^\kappa$ へと一般化している。
• 符号的ダイナミクスとコーン開集合を用いた $G$-可換同型の構成により、$\Phi(X)$ が $G = \mathrm{Homeo}(X)$ に対して最小かつ普遍的であることが示された。
• 固定点定理を避けて、$G$ が符号的系 $\Omega_k$ 上に作用する様子を分析するために、双対ラマヌの定理を用いた証明がなされた。
• $G = \mathrm{Homeo}(X)$ は恒等元にコーン開近傍基を持つため、$M(G)$ は 0 次元であることが保証され、同型の議論において重要な段階となった。
• コロナ $\beta\omega \setminus \omega$ が h-同次空間であることが示され、したがって $M(\mathrm{Homeo}(\beta\omega \setminus \omega)) = \Phi(\beta\omega \setminus \omega)$ が成り立つ。