[論文レビュー] The maximal G-compactifications of G-spaces with special actions

Vitalij A. Chatyrko, К.Л. Козлов|ArXiv.org|Apr 10, 2002

Advanced Topology and Set TheoryMathematics参考文献 1被引用数 22

ひとこと要約

本稿では、G-空間の最大G-コンパクト化が、群作用によって誘導される特定の被覆構造に基づく一様構造の下での空間の完備化に一致する条件を確立する。特に、(a)、(b)、または(c)を満たす特別な力学的性質を持つG-空間を特徴付け、一様構造$U_G$が最大の完全有界一様構造$U^*$より細かいとき、最大G-コンパクト化はStone–Čechコンパクト化$\beta X$に一致することを示す。主な貢献は、一様構造と軌道の挙動を用いた$\beta_G X = \beta X$が成り立つ条件の位相的特徴付けである。

ABSTRACT

An action on a G-space induces uniformities on the phase space. It is shown when the maximal G-compactification of a G-space can be obtained as a completion of the phase space with respect to one of these uniformities. Structure of G-spaces with special actions is investigated.

研究の動機と目的

• G-空間の最大G-コンパクト化が、群作用によって誘導される一様構造の下での完備化に一致する条件を特定すること。
• 特別な力学的条件(a)、(b)、(c)の下でのG-空間の構造を調査し、軌道の閉包と位相的挙動の関係を明らかにすること。
• Tychonoff G-空間の文脈において、等一様構造、一様完備性、G-コンパクト化の関係を明確にすること。
• 従来の有界および等一様作用に関する結果を拡張し、一様構造の細分化と軌道の性質を用いた新たな特徴付けを導入すること。

提案手法

• 群Gの単位元の開近傍Oに対して、$\gamma_O = \{Ox \mid x \in X\}$および$\overline{\gamma}_O = \{\overline{Ox} \mid x \in X\}$という2つの被覆族を導入し、一様構造$U_G$および$\overline{U}_G$を生成する。
• 群作用に関して不変で、位相と整合し、作用によって有界である一様構造である「等一様構造」の概念を用いて、G-コンパクト化を特徴付ける。
• 等一様構造に関する一様空間の完備化を用いてG-コンパクト化を構成し、Megrelishviliの定理（等変拡張に関する）を応用する。
• 一様構造$U_G$が最大の完全有界一様構造$U^*$より細かいならば、$X$を$U_G$に関して完備化することで最大G-コンパクト化$\beta_G X = \beta X$が得られることを示す。
• 性質(a)、(b)、(c)を用いた軌道構造の分析により、(a)は軌道の閉包による開・閉集合の直和分解を示し、(b)は各開・閉集合がその点の軌道の閉包に一致することを保証し、(c)は軌道がGの商空間と位相的に同相であることを示す。
• 星型再分類、内部および閉包の性質、群作用の連続性を用いた位相的議論により、一様構造の細分化と位相的整合性の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 G-空間の最大G-コンパクト化が、群作用によって誘導される一様構造$U_G$に関する空間の完備化に一致するのはどのような条件下か？
• RQ2 族$\overline{U}_G$がG-空間の位相と整合する一様構造を生成するのはいつか？
• RQ3 性質(a)を満たすすべてのG-空間は、性質(b)を満たす稠密なG-不変部分空間をもつのか？
• RQ4 性質(b)を満たすすべてのG-空間は、性質(c)を満たす稠密なG-不変部分空間をもつのか？
• RQ5 任意のTychonoff空間のすべてのコンパクト化は、ある群作用に関してG-コンパクト化として得られるか？

主な発見

• 一様構造$U_G$が最大の完全有界一様構造$U^*$より細かいならば、最大G-コンパクト化$\beta_G X$はStone–Čechコンパクト化$\beta X$に一致する。
• 族$\overline{U}_G$がX上に一様構造を生成するのは、$\overline{U}_G$がXの位相と整合するときであり、その場合、$U_G$と$\overline{U}_G$は一致する。
• 性質(a)を満たすG-空間では、空間が開・閉集合の直和に分解され、各成分はその点の軌道の閉包に等しい。
• 性質(b)を満たすG-空間では、各開・閉成分はその点の軌道の閉包に一致するが、軌道が位相的に同型であるとは限らない。
• 性質(c)を満たすG-空間では、各軌道はGの商空間と位相的に同型であり、軌道写像$g \mapsto gx$は開写像である。
• 一様構造$U_G$が$U$より細かいのは、$\overline{U}_G$が$U$より細かいときであり、$U_G$が位相と整合するならば$U_G = \overline{U}_G$である。