[논문 리뷰] A rank-one CAT(0) group is determined by its Morse boundary

Ruth Charney, Devin Murray|arXiv (Cornell University)|2017. 07. 21.

Geometric and Algebraic Topology참고 문헌 16인용 수 5

한 줄 요약

이 논문은 랭크-원 CAT(0) 군이 그 모르스 경계에 의해 완전히 결정됨을 보여준다: 두 군의 모링스 경계 사이의 호메오모르피즘이 쐐기-등거리 사상에서 유래되려면, 그 것이 동시에 쐐기-모비우스이자 2-안정적이어야 한다. 이 결과는 하이퍼볼릭 공간에 대한 폴린의 정리(정리 1.1)를 더 넓은 CAT(0) 공간의 범주로 확장하며, 경계 다이내믹스를 통한 쐐기-등거리 사상 분류를 제공한다.

ABSTRACT

The Morse boundary of a proper geodesic metric space is designed to encode hypberbolic-like behavior in the space. A key property of this boundary is that a quasi-isometry between two such spaces induces a homeomorphism on their Morse boundaries. In this paper we investigate when the converse holds. We prove that for cocompact CAT(0) spaces, a homeomorphism of Morse boundaries is induced by a quasi-isometry if and only if the homeomorphism is quasi-mobius and 2-stable.

연구 동기 및 목표

• 모르스 경계 사이의 호메오모르피즘이 어떤 조건에서 쐐기-등거리 사상에서 유래되는지 규명하는 것.
• 폴린의 쐐기-등거리 사상 분류 정리를 하이퍼볼릭 공간에서 랭크-원 CAT(0) 공간으로 확장하는 것.
• 쿼드-등거리 사상으로 이끌기 위한 경계 호메오모르피즘에 대한 필요하고도 충분한 동역학적 조건—즉, 쐐기-모비우스성과 2-안정성—을 규명하는 것.
• 랭크-원 CAT(0) 군이 쐐기-등거리 사상에 대해 그 모링스 경계에 의해 완전히 결정됨을 증명하는 것.

제안 방법

• 모르스 성질을 사용하여, 적절한 CAT(0) 공간 X의 수축성 지오데식 반직선들의 공간으로서 모링스 경계 ∂*X를 정의한다.
• 모르스 경계의 쐐기-등거리 불변성 이용: 두 공간 간의 쐐기-등거리 사상은 그들의 모링스 경계에 대해 호메오모르피즘을 유도한다.
• 균일하게 수축성인 삼중체의 바이아센트르를 사용하여, 주어진 쐐기-모비우스 및 2-안정적 호메오모르피즘 f:∂*X→∂*Y로부터 후보 쐐기-등거리 사상 h:X→Y를 구성한다.
• 균일한 수축 상수와 유계 투영의 성질을 이용하여 거리의 상한을 구함으로써, 구성된 사상 h가 쐐기-등거리 사상임을 증명한다.
• 경계점들을 궤적 수열을 통해 근사하고 지오데식의 수렴 성질을 이용하여, h에 의해 유도된 경계 사상 ∂*h가 f와 일치함을 검증한다.
• 지오데식이 경계점으로 수렴할 때 그 투영의 점별 수렴과 대응되는 X ∪ ∂*X 위의 위상에 기반한다.

실험 결과

연구 질문

• RQ1 CAT(0) 공간의 모링스 경계 사이의 호메오모르피즘이 어떤 조건에서 쐐기-등거리 사상에서 유래되는가?
• RQ2 쿼드-모비우스 조건만으로는 쐐기-등거리 사상으로 이끌 수 없고, 추가 조건이 필요한가?
• RQ3 CAT(0) 군의 분류에서 2-안정성 조건을 약화시키거나 제거할 수 있는가?
• RQ4 랭크-원 CAT(0) 공간의 모링스 경계 사이의 모든 쐐기-모비우스 호메오모르피즘이 자동으로 2-안정성을 만족하는가?

주요 결과

• 적절하고 코컴팩트한 CAT(0) 공간의 모링스 경계 사이의 호메오모르피즘 f:∂*X→∂*Y가 쐐기-등거리 사상 h:X→Y에서 유래되려면, f가 동시에 쐐기-모비우스이자 2-안정적이어야 한다.
• 군이 X 위에 기하학적으로 작용할 때, 그 군이 랭크-원이면서 유한순환군의 부분군이 아니면, 그 모링스 경계 ∂*X는 최소한 세 점을 포함한다.
• 구성된 사상 h:X→Y는 쐐기-등거리 사상이며, 그 상수들은 f의 쐐기-모비우스 및 2-안정성 상수들만에 의존한다.
• h에 의해 유도된 경계 사상 ∂*h는 f와 일치한다. 이는 궤적 점들의 수열을 통한 경계점 근사와 투영의 수렴 성질을 이용하여 검증되었다.
• 증명은 수축 삼각형 성질과 균일하게 유계된 수축 상수를 가진 지오데식 삼중체의 투영에 대한 균일한 제어에 기반한다.
• 저자들은 모든 쐐기-모비우스 호메오모르피즘이 적절하고 코컴팩트한 CAT(0) 공간의 모링스 경계 사이에서 자동으로 2-안정성을 만족한다고 추측하며, 이는 폴린의 정리가 완전한 동치 형태로 성립할 수 있음을 시사한다.