[논문 리뷰] Dynamics on the Morse Boundary

Qing Liu|arXiv (Cornell University)|2019. 05. 04.

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

한 줄 요약

이 논문은 모스 경계에서의 고정점들을 통한 일반적인 유클리드 공간에서의 모스 등장사상의 역학적 특성화를 수립하며, 하이퍼볼릭 및 CAT(0) 역학을 일반화한다. 모스 등장사상이 약한 노스-서스 다이내믹스를 보이며, 비원소적 모스 군이 그 모스 경계에서 최소로 작용한다는 것을 증명한다. 이는 하이퍼볼릭 및 CAT(0) 설정에서의 결과를 확장한다.

ABSTRACT

Let $X$ be a proper geodesic metric space and let $G$ be a group of isometries of $X$ which acts geometrically. Cordes constructed the Morse boundary of $X$ which generalizes the contracting boundary for CAT(0) spaces and the visual boundary for hyperbolic spaces. We characterize Morse elements in $G$ by their fixed points on the Morse boundary $\partial_MX$. The dynamics on the Morse boundary is very similar to that of a $δ$-hyperbolic space. In particular, we show that the action of $G$ on $\partial_MX$ is minimal if $G$ is not virtually cyclic. We also get a uniform convergence result on the Morse boundary which gives us a weak north-south dynamics for a Morse isometry. This generalizes the work of Murray in the case of the contracting boundary of a CAT(0) space.

연구 동기 및 목표

• 모스 경계를 통해 일반적인 유클리드 공간에서의 하이퍼볼릭 및 CAT(0) 공간의 역학적 성질을 일반적인 유클리드 공간으로 확장한다.
• 기하학적으로 작용하는 군 내의 모스 원소를 그 모스 경계에서의 고정점들로 특성화한다.
• 모스 등장사상에 대해 약한 노스-서스 다이내믹스를 수립하고, 비원소적 모스 군이 모스 경계에서 최소로 작용함을 보인다.

제안 방법

• 무한 차수의 등장사상 중 궤도 사상이 준등거리 임bedding이고, 그 이미지가 모스 준지오데식인 등장사상을 모스 등장사상으로 정의한다.
• Cordes가 구축한 모스 경계 ∂ₘX를 사용하여, 시각 경계 및 수축 경계를 일반화하는 준등거리 불변 경계로 활용한다.
• 군 G의 원소 g가 모스임과 동시에 ∂ₘX에서 두 개의 서로 다른 고정점이 있음과 동치임을 증명한다.
• 핵심 수렴 보조정리(만약 gₙ(x₀) → p₁ 이고 gₙ⁻¹(x₀) → p₂ 이면, 모든 q ≠ p₂에 대해 gₙ(q) → p₁)를 사용하여 약한 노스-서스 다이내믹스를 수립한다.
• 핵심 보조정리를 적용하여, 반발 고정점이 포함되지 않는 컴팩트 집합 K ⊂ ∂ₘX에 대해, gₙ(K)가 충분히 큰 n에 대해 임의의 반발 고정점의 이웃에 들어간다는 것을 보인다.
• 독립적인 모스 등장사상의 고차항에 대한 핑퐁 원리(pong argument)를 적용하여, 일관되게 모스 원소를 갖는 자유 부분군을 구성한다.

실험 결과

연구 질문

• RQ1 모스 등장사상은 그 모스 경계에서의 작용을 통해 어떻게 특성화될 수 있는가?
• RQ2 모스 등장사상은 모스 경계에서 어떻게 동역학적으로 행동하는가? 그리고 약한 노스-서스 다이내믹스가 성립하는가?
• RQ3 비원소적 모스 군이 그 모스 경계에서 최소로 작용하는 조건은 무엇인가?
• RQ4 약한 안정성 조건 하에서, 독립적인 모스 등장사상으로부터 자유 부분군을 구성할 수 있는가?
• RQ5 모스 등장사상의 동역학과 그 궤도의 기하학적 성질 사이의 관계는 무엇인가?

주요 결과

• 무한 차수의 원소 g ∈ G는 모스임과 동시에 ∂ₘX에서 두 개의 서로 다른 고정점이 있음과 동치이다.
• 모스 등장사상 g의 X ∪ ∂ₘX에서의 작용은 ∂ₘX에서 정확히 두 개의 고정점 g⁺와 g⁻를 가지며, 임의의 p ≠ {g⁻, g⁺}에 대해 gⁿ(p) → g⁺ 이고 g⁻ⁿ(p) → g⁻ 이다.
• 약한 노스-서스 다이내믹스가 성립한다: 반발 고정점이 포함되지 않는 컴팩트 집합 K ⊂ ∂ₘX와 반발 고정점의 임의의 이웃 U에 대해, 충분히 큰 n에 대해 gⁿ(K) ⊂ U 이다.
• 비원소적 모스 군 G(즉, 유한 순환군의 부분군이 아닌 경우)는 ∂ₘG에서 최소로 작용한다: ∂ₘG의 임의의 점의 궤도는 ∂ₘG에서 밀도를 이룬다.
• g₁, g₂가 독립적인 모스 등장사상이고 ⟨g₁, g₂⟩가 약하게 안정적이라면, 큰 M에 대해 g₁ᴹ과 g₂ᴹ는 자유 부분군을 생성하며, 모든 비자명 원소는 일관되게 모스이다.
• 독립적인 모스 등장사상의 고차항으로 생성된 자유 부분군의 모든 비자명 원소는 고정된 N에 대해 N-모스이다. 이 N은 원래의 모스 게이지에만 의존한다.