[논문 리뷰] Homogeneous actions on Urysohn spaces

Pierre Fima, François Le Maı̂tre외 2명|arXiv (Cornell University)|2018. 05. 07.

Geometric and Algebraic Topology참고 문헌 20인용 수 3

한 줄 요약

이 논문은 자유곱의 무한 가산군과 표면군과 같은 여러 수량 가능한 군들이 유계 Urysohn 공간의 등장사상군의 조밀한 부분군과 동형임을 증명한다. Katětov 확장과 동차적 합성 기법을 사용하여 이러한 작용이 동차적임을 증명하며, 이는 이전의 고도로 치환 가능한 군과 무작위 그래프에 관한 결과를 더 넓은 범위의 Urysohn 거리 공간으로 확장한다.

ABSTRACT

We show that many countable groups acting on trees, including free products of infinite countable groups and surface groups, are isomorphic to dense subgroups of isometry groups of bounded Urysohn spaces. This extends previous results of the first and last author with Y. Stalder on dense subgroups of the automorphism group of the random graph. In the unbounded case, we also show that every free product of infinite countable groups arises as a dense subgroup of the isometry group of the rational Urysohn space.

연구 동기 및 목표

• Urysohn 공간 위에서 동차적인 등거리 작용을 갖는 수량 가능한 군을 특성화하는 것.
• 이전의 고도로 치환 가능한 군과 무작위 그래프에 관한 결과를 유계 및 무한 유계 Urysohn 공간의 맥락으로 확장하는 것.
• 무한 가산 군의 자유곱과 표면군이 유계 Urysohn 공간의 등장사상군의 조밀한 부분군으로 나타남을 증명하는 것.
• Urysohn 공간 위의 동차 작용에 대한 점 안정자와 Schlichting 완비화의 구조를 분석하는 것.
• 유리수 Urysohn 공간의 등장사상군에 유한 지지 치환군이 조밀하게 통합되며, 완비화에서 비가산 공共役류를 가짐을 증명하는 것.

제안 방법

• S-Urysohn 공간 내에서 부분 등거리사상의 등거리 확장을 구성하기 위해 Katětov 확장 기법을 사용한다.
• 유한한 부분 등거리사상을 전역 군 작용으로 확장하기 위해 동차적 합성 기법을 적용하며, 동차성을 보장한다.
• 보편성에 기반한 Baire 범주 정리를 사용하여 일반적인 확장이 등장사상군 내에서 조밀한 부분군을 유도함을 보인다.
• Schlichting 완비화를 사용하여 동차 작용에서의 점 안정자와 등장사상군의 위상적 성질 간의 관계를 규명한다.
• 무한 유계 경우에서 강한 분리성과 자유곱 구성 기법을 적용하여 자유곱의 조밀한 통합을 실현한다.
• 거리 집합 S의 기수를 고려하여 등장사상군 내 공역류의 성질을 분석하여 비자명한 가산 정규부분군이 존재하지 않음을 입증한다.

실험 결과

연구 질문

• RQ1 어떤 수량 가능한 군들이 Urysohn 공간 위에서 조밀한 등거리 작용을 통해 동차적으로 작용할 수 있는가?
• RQ2 무한 가산 군의 자유곱이 유계 Urysohn 공간의 등장사상군에 조밀하게 통합되기 위한 조건은 무엇인가?
• RQ3 Urysohn 공간 위에서 동차적으로 작용하는 군의 Schlichting 완비화의 구조는 어떠한가?
• RQ4 유한 지지 치환군이 유리수 Urysohn 공간의 등장사상군의 조밀한 부분군으로 실현될 수 있는가?
• RQ5 거리 집합 S의 기수가 3 이상일 경우, Urysohn 공간의 등장사상군에 어떤 위상적 제약(예: 공역류 크기)이 발생하는가?

주요 결과

• 거리 집합 S가 가산이면서 0을 포함하면, 모든 무한 가산 군의 자유곱은 유계 Urysohn 공간의 등장사상군에 조밀하게 통합된다.
• 표면군과 무한 가산 군의 자유곱은 유계 Urysohn 공간의 등장사상군의 조밀한 부분군과 동형이다.
• 유한 지지 치환군은 유리수 Urysohn 공간의 등장사상군에 조밀하게 통합되며, 그 Schlichting 완비화는 이 전체 등장사상군 내에서의 닫힘이다.
• |S| ≥ 3 인 경우, S-Urysohn 공간의 등장사상군은 비가산 공역류를 가지며, 이는 비자명한 가산 정규부분군이 존재하지 않음을 시사한다.
• 유한 지지 치환군이 ℕ 위에 자연스럽게 작용하는 2중치환 작용은 동치를 제외하고 유일하며, 고도로 충실하지 않다.
• 무한 지수의 최대 진부분군에 대해 유한 지지 치환군의 Schlichting 완비화는 Urysohn 공간의 등장사상군 내에서 그 군의 닫힘이다.