[论文解读] 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

一句话总结

该论文证明了分离可分类度量结构（如Urysohn球面和Gurarij空间的单位球面）的最大等变紧化与其Gromov紧化一致，意味着其具有度量结构且由距离函数生成。关键结果是针对Roelcke预紧波兰群等距作用的Effros定理的统一版本，证明了此类情形下的一致微传递性。

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-空间的最大等变紧化何时与Gromov紧化一致。
• 解决Pestov关于度量几何中最大等变紧化结构的开放问题。
• 通过1-类型空间统一理解分离可分类度量结构的紧化。
• 为Roelcke预紧波兰群的等距作用建立Effros定理的统一版本。
• 厘清RUC函数、Gromov紧化与σ-可分类结构自同构群之间的关系。

提出的方法

• 将分离可分类结构$M$的最大等变紧化表征为$M$上1-类型的空间$S_1(M)$，该空间具有度量性。
• 利用右一致连续（RUC）函数代数描述等变紧化，其中最大者对应于$\operatorname{RUC}_G(X)$。
• 将Gromov紧化$\gamma X$定义为由距离函数$d(\cdot, z)$（$z \in X$）生成的代数的Stone–Gelfand空间。
• 应用Roelcke预紧波兰群的理论分析一致微传递性，并推导出统一的Effros型定理。
• 利用$G$上的左不变度量的完备化$L$分析轨道行为，并在非一致微传递性下导出矛盾。
• 利用$G \curvearrowright L$的近似有限性提取$L^3 \sslash G$中的收敛子列，从而实现拓扑矛盾论证。

实验结果

研究问题

• RQ1 在何种等距$G$-空间中，最大等变紧化与Gromov紧化一致？
• RQ2 Urysohn球面或Gurarij空间单位球面的最大等变紧化是否具有度量性？
• RQ3 每个波兰Roelcke预紧群在波兰度量空间上的传递等距作用是否都表现出一致微传递性？
• RQ4 分离可分类结构的最大等变紧化能否与该结构上1-类型的空间相等同？
• RQ5 在何种条件下有$\operatorname{RUC}_G^u(X) = \operatorname{RUC}_G(X)$，即右一致结构相对于度量一致结构更粗糙？

主要发现

• Urysohn球面的最大等变紧化即为Gromov紧化，且具有度量性。
• Gurarij空间单位球面的最大等变紧化也具有度量性，尽管它并非Gromov紧化。
• 对于任意分离可分类结构$M$，在$\operatorname{Aut}(M)$作用下的最大等变紧化与$S_1(M)$（即$M$上1-类型的空间）同胚，因此具有度量性。
• 对于任意具有有界度量的等距$G$-空间，Gromov紧化$\gamma X$是正规的（即映射$\gamma: X \to \gamma X$是拓扑嵌入）。
• 对于任意波兰Roelcke预紧群$G$，其在波兰度量空间上的任意传递等距作用$G \curvearrowright X$均具有一致微传递性。
• 当$\operatorname{RUC}_G^u(X) = \operatorname{RUC}_G(X)$时，$X$上的右一致结构比度量一致结构更粗糙，该等式在一致微传递性下成立。