[논문 리뷰] A Symbolic coding of the Morse boundary

Abdalrazzaq R Zalloum|arXiv (Cornell University)|2018. 11. 26.

Geometric and Algebraic Topology참고 문헌 11인용 수 7

한 줄 요약

이 논문은 적절한 길이 기하 거리 공간에서 모스 경계의 새로운 기호적 코드화를 제안한다. 경계 점들을 거리 함수처럼 행동하는 1-립시츠 함수들의 동치류로 표현함으로써 이루어진다. 유한 생성 군에 대해서는 유한 알파벳 위의 이동 공간을 통해 모스 경계를 기호적 동역학계로 구성하며, 군이 모스 경계에 작용할 때 기호적 코드화가 가능하다는 것을 증명한다. 이는 모스 경계에 기반한 준동형 불변량을 연구하는 데 기호 동역학 기법을 적용할 수 있음을 의미한다.

ABSTRACT

Let $X$ be a proper geodesic metric space. We give a new construction of the Morse Boundary that realizes its points as equivalence classes of functions on $X$ which behave similar to the "distance to a point" function. When $G=\langle S angle $ is a finitely generated group and $X=Cay(G,S)$, we use this construction to give a symbolic presentation of the Morse boundary as a space of "derivatives" on $Cay(G,S).$ The collection of such derivatives naturally embeds in the shift space $\mathcal{A}^G$ for some finite set $\mathcal{A}.$

연구 동기 및 목표

• 적절한 길이 기하 거리 공간에서 1-립시츠 함수의 동치류를 사용한 모스 경계의 새로운 구성 방법을 개발한다.
• 이 함수들의 기울기로 모스 경계 점을 특성화함으로써 버스만 함수의 개념을 일반화한다.
• 유한 생성 군에 대해서는 모스 경계가 유한 알파벳 위의 이동 공간을 통해 기호적 코드화됨을 보인다.
• 기호 동역학 기법을 모스 경계와 같이 메트릭화 불가능하고 두 번째 가산성을 갖지 않는 경계에까지 확장한다.
• 기호 동역학 방법을 사용하여 준동형 불변량을 연구할 수 있는 프레임워크를 제공한다.

제안 방법

• 적절한 길이 기하 거리 공간 X에서 거리 함수 유사 조건을 만족하는 1-립시츠 함수의 집합을 정의한다. 이를 '거리 유사 함수'라 한다.
• 각 함수와 관련된 기울기 사슬을 정의한다. 이는 거리 함수의 등고선과 유사한 행동을 보이는 길이 기하 선이다.
• 이러한 함수들의 동치류 집합 H⋆를 구성하고, H⋆에서 모스 경계 ∂⋆X로의 연속적, G-동차 전사 사상을 정의한다.
• 유한 생성 군 G와 그 캐일리 그래프 X = Cay(G,S)에 대해 이러한 함수들의 집합을 유한 알파벳 A에 대한 이동 공간 A^G에 매립한다.
• A^G 위의 G-작용을 이용하여, G-불변 부분집합 Y⋆ ⊆ A^G의 몫으로서 모스 경계를 표현한다. 이를 위해 G-동차 연속 전사 사상 φ: Y⋆ → ∂⋆G를 구성한다.
• CAT(0) 공간에서의 호로함수와 호로볼의 성질을 활용하여, 모스 경계 점이 기울기 사슬이 모스인 함수들과 정확히 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 적절한 길이 기하 거리 공간의 모스 경계는 기울기 사슬이 모스인 1-립시츠 함수들의 동치류 공간으로 재구성될 수 있는가?
• RQ2 유한 생성 군이 자신의 모스 경계에 작용할 때, 기호 동역학의 관점에서 기호적 코드화가 가능한가?
• RQ3 CAT(0) 공간에서 모스 경계와 호로함수 경계 사이의 관계는 무엇인가? 특히, 호로볼의 교차에 관해 어떻게 설명할 수 있는가?
• RQ4 기호 동역학 기법을 메트릭화 불가능하고 두 번째 가산성을 갖지 않는 경계, 예를 들어 모스 경계에 적용할 수 있는가?
• RQ5 호구면의 수열이 수렴할 때, 그 기울기 사슬이 모스가 아닌 점으로 수렴하는 조건은 무엇인가?

주요 결과

• 모스 경계 ∂⋆X는 H⋆/∼와 위상동형이며, 여기서 H⋆는 기울기 사슬이 모스인 거리 유사 함수들의 동치류 집합이다.
• 모든 적절한 길이 기하 거리 공간 X에 대해, 연속적, G-동차 전사 사상 φ: H⋆ → ∂⋆X 가 존재하며, 이는 모스 경계를 함수 동치류의 몫으로서 실현한다.
• 유한 생성 군 G에 대해, G가 자신의 모스 경계 ∂⋆G에 작용할 때 기호적 코드화가 가능하다: 유한 알파벳 A와 G-불변 부분집합 Y⋆ ⊆ A^G 가 존재하여, G-동차 연속 전사 사상 φ: Y⋆ → ∂⋆G 가 존재한다.
• CAT(0) 공간에서 모스 경계는 완전히 가시적이며, 서로 다른 경계 점에 중심을 둔 두 호로볼은 유계된 교차를 가지며, 이는 비모스 기울기 사슬을 배제하는 데 사용된다.
• 두 서로 다른 모스 경계 점에 관련된 호로함수의 합은 그 점들이 동일하지 않은 한 아래로 유계가 될 수 없다. 이는 비모스 사슬을 가정할 경우 모순을 일으킨다.
• 기울기 사슬이 모스가 아니어도 호구면 수렴이 일어날 수 있음을 보여주는 반례를 구성함으로써, 호구면 수렴은 모스성의 충분조건이 아님을 보였다.