[논문 리뷰] Maximal equivariant compactification of the Urysohn spaces and other metric structures

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

Advanced Topology and Set Theory참고 문헌 42인용 수 6

한 줄 요약

이 논문은 분리 가능하게 분류된 거리 구조, 예를 들어 우리소프 구면과 군다르지 공간의 단위 구면과 같은 등변적 최대 컴acts이 그들의 그로모프 컴팩트화와 일치함을 증명하며, 이는 메트라이잭션 가능하고 거리 함수들에 의해 생성됨을 의미한다. 핵심 결과는 등급이 Roelcke precompact인 폴란드 군의 등거리 작용에 대해 에프로스의 정리의 균일한 형태를 증명함으로써, 이러한 설정에서 균일한 미세 전이성(Uniform micro-transitivity)을 입증하는 것이다.

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형식의 공간을 통해 분리 가능하게 분류된 거리 구조의 컴팩트화를 통합적으로 이해하는 것.
• Roelcke precompact인 폴란드 군의 등거리 작용에 대해 에프로스의 정리의 균일한 형태를 수립하는 것.
• RUC 함수, 그로모프 컴팩트화, 그리고 σ-분류된 구조의 자기동형군 간의 관계를 명확히 하는 것.

제안 방법

• 분리 가능하게 분류된 구조 $M$의 최대 등변 컴팩트화를 $M$ 위의 1형식의 공간 $S_1(M)$으로 특성화하며, 이는 메트라이잭션 가능하다.
• 등변 컴팩트화를 묘사하기 위해 오른쪽 균일 연속성(RUC) 함수의 대수를 사용하며, 최대 컴팩트화는 $\operatorname{RUC}_G(X)$에 대응한다.
• 그로모프 컴팩트화 $\gamma X$를 거리 함수 $d(\cdot, z)$ for $z \in X$ 가 생성하는 대수의 스톤–겔판트 공간으로 정의한다.
• Roelcke precompact인 폴란드 군의 이론을 적용하여 균일한 미세 전이성과 균일한 에프로스 유형 정리를 분석한다.
• G 위의 왼쪽 불변 거리의 완비화 $L$을 사용하여 궤도 행동을 분석하고, 비균일한 미세 전이성 하에서 모순를 도출한다.
• G \curvearrowright L의 근사적 올리모르피를 활용하여 $L^3 \sslash G$ 내에서 수렴하는 부분수열을 추출함으로써 위상적 모순 추론을 가능하게 한다.

실험 결과

연구 질문

• RQ1 등거리 G-공간 중에서 최대 등변 컴팩트화가 그로모프 컴팩트화와 일치하는 경우는 언제인가?
• RQ2 우리소프 구면 또는 군다르지 공간의 단위 구면의 최대 등변 컴팩트화는 메트라이잭션 가능한가?
• RQ3 모든 폴란드 군의 Roelcke precompact인 등거리 작용이 폴란드 거리 공간 위에서 균일한 미세 전이성을 보이는가?
• RQ4 분리 가능하게 분류된 구조의 최대 등변 컴팩트화는 그 구조 위의 1형식의 공간으로 식별될 수 있는가?
• RQ5 $\operatorname{RUC}_G^u(X) = \operatorname{RUC}_G(X)$가 성립하는 조건은 무엇이며, 이는 오른쪽 균일성의 메트릭 균일성에 대한 상대적 희박성(coarseness)을 의미하는가?

주요 결과

• 우리소프 구면의 최대 등변 컴팩트화는 그로모프 컴팩트화이며, 이는 메트라이잭션 가능하다.
• 군다르지 공간의 단위 구면의 최대 등변 컴팩트화 역시 메트라이잭션 가능하지만, 그로모프 컴팩트화는 아니다.
• 모든 분리 가능하게 분류된 구조 $M$에 대해, $\operatorname{Aut}(M)$ 작용 하에서의 최대 등변 컴팩트화는 $S_1(M)$, 즉 $M$ 위의 1형식의 공간과 위상동형이며, 따라서 메트라이잭션 가능하다.
• 모든 등거리 G-공간에서 유계 거리 함수를 갖는 경우, 그로모프 컴팩트화 $\gamma X$는 올바른다 (즉, $\gamma: X \to \gamma X$ 는 위상적 포함사상이다).
• 모든 폴란드 군의 Roelcke precompact 군 $G$에 대해, $G \curvearrowright X$ 가 폴란드 거리 공간 위에서 전이적인 등거리 작용을 하면 항상 균일한 미세 전이성을 갖는다.
• 모든 $\operatorname{RUC}_G^u(X) = \operatorname{RUC}_G(X)$ 일 때, $X$ 위의 오른쪽 균일성은 메트릭 균일성보다 더 희박하다.