[論文レビュー] Maximal equivariant compactification of the Urysohn spaces and other metric structures

Tomás Ibarlucía, Michael Megrelishvili|arXiv (Cornell University)|Jan 20, 2020

Advanced Topology and Set Theory参考文献 42被引用数 6

ひとこと要約

本稿は、分離的カテゴリー的距離構造（例えば、ウリソンの球面やグゥルジャージ空間の単位球面）の最大の等長的同変コンパクト化が、それ自身のグロモフコンパクト化に一致することを確立しており、これは距離関数によって生成され、距離空間であることを意味する。主な結果は、ロエルケ・プリコンパクトなポリッシュ群の等長的作用についてのエフロスの定理の均一版を示したものであり、このような設定において均一な微小推移性が成り立つことを証明している。

ABSTRACT

We study isometric $G$-spaces and the question of when their maximal equivariant compactification is the Gromov compactification (meaning that it coincides with the compactification generated by the distance functions to points). Answering questions of Pestov, we show that this is the case for the Urysohn sphere and related spaces, but not for the unit sphere of the Gurarij space. We show that the maximal equivariant compactification of a separably categorical metric structure $M$ under the action of its automorphism group can be identified with the space $S_1(M)$ of 1-types over $M$, and is in particular metrizable. This provides a unified understanding of the previous and other examples. In particular, the maximal equivariant compactifications of the spheres of the Gurarij space and of the $L^p$ spaces are metrizable. We also prove a uniform version of Effros' Theorem for isometric actions of Roelcke precompact Polish groups.

研究の動機と目的

• 等長的 G-空間の最大の同変コンパクト化が、そのグロモフコンパクト化に一致する条件を特定すること。
• ペスタフが提起した、距離幾何における最大の同変コンパクト化の構造に関する未解決問題を解消すること。
• 1-型の空間を介して、分離的カテゴリー的距離構造のコンパクト化を統一的に理解すること。
• ロエルケ・プリコンパクトなポリッシュ群の等長的作用についてのエフロスの定理の均一版を確立すること。
• RUC関数、グロモフコンパクト化、および $\sigma$-カテゴリー的構造の自己同型群の関係を明確にすること。

提案手法

• 分離的カテゴリー的構造 $M$ の最大の同変コンパクト化を、$M$ 上の1-型の空間 $S_1(M)$ として特徴づけ、これは距離空間であることを示す。
• 右一様連続（RUC）関数の代数を用いて同変コンパクト化を記述し、最大のものに対応するものが $\operatorname{RUC}_G(X)$ であることを示す。
• グロモフコンパクト化 $\gamma X$ を、距離関数 $d(\cdot, z)$（$z \in X$）で生成される代数のスティーンロード・ゲルファンド空間として定義する。
• ロエルケ・プリコンパクトなポリッシュ群の理論を応用し、均一な微小推移性を分析し、均一なエフロス型定理を導出する。
• 群 $G$ 上の左不変距離の完備化 $L$ を用いて、非均一な微小推移性のもとで矛盾を導く。
• 群 $G \curvearrowright L$ の近似的なオリゴモルフィズム性を活用し、$L^3 \sslash G$ 内で収束する部分列を抽出することで、位相的矛盾の議論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どの等長的 $G$-空間について、最大の同変コンパクト化がグロモフコンパクト化に一致するか？
• RQ2 ウリソンの球面またはグゥルジャージ空間の単位球面の最大の同変コンパクト化は距離空間か？
• RQ3 任意のポリッシュのロエルケ・プリコンパクト群 $G$ が、ポリッシュ距離空間 $X$ 上に推移的等長的作用を施す場合、常に均一な微小推移性が成り立つか？
• RQ4 分離的カテゴリー的構造の最大の同変コンパクト化は、その構造上の1-型の空間と同一視可能か？
• RQ5 どのような条件下で $\operatorname{RUC}_G^u(X) = \operatorname{RUC}_G(X)$ が成り立ち、右の位相的構造が距離の位相的構造より粗いか？

主な発見

• ウリソンの球面の最大の同変コンパクト化は、グロモフコンパクト化に一致し、距離空間である。
• グゥルジャージ空間の単位球面の最大の同変コンパクト化も距離空間であるが、グロモフコンパクト化とは一致しない。
• 任意の分離的カテゴリー的構造 $M$ に対して、$\operatorname{Aut}(M)$ による最大の同変コンパクト化は、$M$ 上の1-型の空間 $S_1(M)$ と位相的に同相であり、したがって距離空間である。
• 任意の有界距離を持つ等長的 $G$-空間について、グロモフコンパクト化 $\gamma X$ は正則である（すなわち、写像 $\gamma: X \to \gamma X$ は位相的埋め込みである）。
• 任意のポリッシュのロエルケ・プリコンパクト群 $G$ に対して、$G$ がポリッシュ距離空間 $X$ 上に推移的等長的作用を施すとき、常に均一な微小推移性が成り立つ。
• 右の位相的構造が $\operatorname{RUC}_G^u(X) = \operatorname{RUC}_G(X)$ のもとで、距離の位相的構造より粗くなる。これは、均一な微小推移性のもとで成り立つ。