[논문 리뷰] Morse geodesics in torsion groups

Elisabeth Fink|arXiv (Cornell University)|2017. 10. 30.

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

한 줄 요약

이 논문은 무한하고 유계가 아닌 토르션 군 내에서 모스 지오데식선이 존재하되, 모스 원소가 전혀 없는 첫 번째 알려진 예를 구성한다. 이는 모스 지오데식선을 통한 하이퍼볼릭 유사 행동이 유한 차수 원소가 없는 무한한, 유계가 아닌 토르션 군에서도 존재할 수 있음을 증명한다. 4개의 생성자를 가진 자유군 위에서 계층적 소작소 조건을 적용하여, 한계 군에 7-정규 트리를 등장적으로 통합한다. 여기서 모든 이중무한 경로는 모스 지오데식선이며, 이는 모스 지오데식선이 무한 차수 원소가 필요로 하지 않음을 보여준다.

ABSTRACT

In this paper we exhibit Morse geodesics, often called "hyperbolic directions", in infinite unbounded torsion groups. The groups studied are lacunary hyperbolic groups and constructed using graded small cancellation conditions. In all previously known examples, Morse geodesics were found in groups which also contained Morse elements, infinite order elements whose cyclic subgroup gives a Morse quasi-geodesic. Our result presents the first example of a group which contains Morse geodesics but no Morse elements. In fact, we show that there is an isometrically embedded $7$-regular tree inside such groups where every infinite, simple path is a Morse geodesic.

연구 동기 및 목표

• 모스 지오데식선이 모스 원소가 없는 토르션 군 내에 존재할 수 있는지에 대한 열린 문제를 해결하기 위해.
• 계층적 소작소 과정을 통해 모스 지오데식선을 포함하는 무한하고 유계가 아닌 토르션 군을 구성하기 위해.
• 모스 지오데식선이 무한 차수 원소가 아니라 기하학적 구조(정규 트리)에서 유래할 수 있음을 보여주기 위해.
• 모스 원소가 없는 것이 유한 생성 군 내에서 모스 지오데식선의 존재를 차단하지 않는다는 것을 확립하기 위해.

제안 방법

• 자유군 F₄에서 시작하여 계층적 소작소를 통한 하이퍼볼릭 군의 직접 극한 구성 방법을 사용한다.
• 초기 군 내의 볼록하고 자유이며, 준볼록인 부분군이 각 몫 단계를 거쳐도 유지됨을 증명하여 안정적인 나무 유사 구조를 형성한다.
• 드루투와 사피르의 점근적 콘과 절단점에 관한 결과를 적용하여, 한계 군 내 경로가 모두 모스 지오데식선임을 보여준다.
• 귀납적 수세기 방법을 사용하여 군 내의 관계가 너무 밀접하지 않아 점근적 콘 내의 관계 원환체와의 상호작용을 피할 수 있음을 보여준다.
• 초한극한과 점근적 콘 내 지오데식 삼각형의 행동을 활용하여, 통합된 경로가 횡단 나무임을 증명함으로써, 이는 모스임을 의미한다.
• 통합된 7-정규 트리 위의 모든 이중무한 경로가 모스 지오데식선임을 보이기 위해, 각 점이 경로를 끊어내는 분리된 성분들로 나누어진다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 모스 원소가 없는 토르션 군 내에서 모스 지오데식선이 존재할 수 있는가?
• RQ2 무한한 차수를 가진 원소가 없는 군을 구성할 수 있으며, 여전히 모스 지오데식선을 통한 하이퍼볼릭 유사 행동을 보일 수 있는가?
• RQ3 정규 트리가 한계 군에 등장적으로 통합되어 모든 무한 단순 경로가 모스 지오데식선이 될 수 있는가?
• RQ4 무한 차수 원소가 없는 것이, 유한 생성 군 내에서 모스 지오데식선의 존재를 차단하는가?

주요 결과

• 논문은 G = lim Gᵢ 라고 하며, G₀ = F₄ 를 만족하는 군을 구성한다. 이 군은 계층적 소작소 조건을 만족하며, 7-정규 트리 T 가 등장적으로 통합되어 있다.
• T 위의 모든 이중무한 단순 경로는 G 내에서 모스 지오데식선이며, 이는 경로 위의 점들 사이의 준지오데식선이 일정한 거리 이내에 유지됨을 의미한다.
• 군 G 는 무한하고 유계가 아닌 토르션 군이므로, 모든 원소의 차수는 유한하며, 모스 원소는 존재하지 않는다.
• 트리 구조의 초한극한은 모든 점근적 콘 내에서 횡단 나무를 형성하며, 절단점 행동을 통해 각 경로가 모스 지오데식선임을 확인한다.
• 이 구성은 모스 지오데식선이 무한 차수 원소가 아니라 기하학적 및 조합적 구조(트리)에서 기인할 수 있음을 보여준다.
• 이는 모스 지오데식선이 있지만 모스 원소가 없는 군의 첫 번째 예시를 제공하며, 기하군론에서 오랫동안 열려 있던 문제를 해결한다.