[論文レビュー] On universal minimal compact G-spaces

Vladimir Uspenskij|arXiv (Cornell University)|Jun 10, 2000

Advanced Topology and Set Theory参考文献 5被引用数 30

ひとこと要約

この論文は、任意の位相的群 $G$ に対して、普遍的最小コンパクト $G$-空間 $M_G$ は 3-推移的作用を許容できないことを証明しており、ペストフの問いを解決する。特に、ヒルベルトの立方体や次元 >1 の任意のコンパクト多様体は、その空間の同相群の $M_G$ としては機能しない。この結果は、超空間内の最大鎖の構造と、最大アビットの半群的性質に依拠している。

ABSTRACT

For every topological group G one can define the universal minimal compact G-space X=M_G characterized by the following properties: (1) X has no proper closed G-invariant subsets; (2) for every compact G-space Y there exists a G-map X-->Y. If G is the group of all orientation-preserving homeomorphisms of the circle S^1, then M_G can be identified with S^1 (V. Pestov). We show that the circle cannot be replaced by the Hilbert cube or a compact manifold of dimension >1. This answers a question of V. Pestov. Moreover, we prove that for every topological group G the action of G on M_G is not 3-transitive.

研究の動機と目的

• ヒルベルトの立方体 $Q$ あるいは次元 >1 のコンパクト多様体が、それらの同相群の普遍的最小コンパクト $G$-空間として機能しうるかという、V. ペストフの予想を解決すること。
• 任意の位相的群 $G$ がその普遍的最小コンパクト $G$-空間 $M_G$ に作用するとき、その作用が 3-推移的でないことを確立すること。
• 最大アビットと半群論的道具、特にコンパクト左位相的半群におけるイデムポテン要素を用いて、$M_G$ の構造的特徴づけを提供すること。
• $M_G$ が $G$-同型の意味で一意的であることを示し、コンパクト $G$-空間の圏におけるその普遍的写像性質を明確にすること。

提案手法

• 右一様構造に関する $G$ のサマエルコンパクト化として得られる最大アビット $\mathcal{S}(G)$ を構成し、これは自然なコンパクト左位相的半群の構造を持つ。
• 普遍的最小コンパクト $G$-空間 $M_G$ を $\mathcal{S}(G)$ 内の最小閉左イデアルとして特定し、これは必ずイデムポテン要素を含む。
• $M_G$ 上のすべての $G$-写像は $M_G$ 内の要素による右乗法として得られ、すべての写像が全単射であることを用い、$M_G$ 上の $G$-自己写像の半群が群であることを示す。
• コンパクト空間 $K$ の超空間 $\operatorname{Exp}K$ における最大鎖の空間を分析し、そのような鎖がコンパクト部分空間 $\Phi \subset \operatorname{Exp}\operatorname{Exp}K$ をなすことを示す。
• $\Phi$ の位相的構造を用いて、$G$ が $K$ に 3-推移的に作用するならば、$K$ は $M_G$ と同型にはなり得ないことを示し、$M_G$ はこのような作用を許容できない。
• エリスのイデムポテン要素定理を適用して、$M_G$ にイデムポテン要素の存在を保証し、これにより $G$-写像の全単射性と $M_G$ の一意性の証明に不可欠な役割を果たす。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルトの立方体 $Q$ は、$G = \mathrm{Homeo}(Q)$ の場合に、普遍的最小コンパクト $G$-空間として機能しうるか？
• RQ2 任意の位相的群 $G$ に対して、$G$ が $M_G$ に 3-推移的に作用することはあり得るか？
• RQ3 擬弧 $P$ は、$G = \mathrm{Homeo}(P)$ の場合に $M_G$ と同型となりうるか？
• RQ4 普遍的最小コンパクト $G$-空間 $M_G$ が単一の点に一致しない条件は何か？
• RQ5 $G = \mathrm{Homeo}(Q)$ のとき、$M_G$ は距離化可能か？

主な発見

• 任意の位相的群 $G$ に対して、$G$ がその普遍的最小コンパクト $G$-空間 $M_G$ に作用するとき、その作用は 3-推移的でない。
• ヒルベルトの立方体 $Q$ は、$G = \mathrm{Homeo}(Q)$ の場合に $M_G$ と同型にはなり得ない。なぜなら、$G$ が $Q$ に 3-推移的に作用するが、$M_G$ はこのような作用を許容できないからである。
• 同様に、次元が 1 より大きい任意のコンパクト多様体も、その同相群の $M_G$ にはなり得ない。これは同じ 3-推移性の障害による。
• 普遍的最小コンパクト $G$-空間 $M_G$ は $G$-同型の意味で一意的であり、任意のコンパクト $G$-空間は $M_G$ から $G$-写像を受ける。
• $M_G$ 上の $G$-自己写像の半群は群であるため、すべての写像が全単射であることが保証され、これは $M_G$ の重要な構造的性質である。
• $M_G$ にイデムポテン要素が存在することは、最大アビットの最小閉左イデアルとしての性質から保証され、この半群構造が $M_G$ の最小性と普遍性の根拠となっている。