[논문 리뷰] Seesaw words in Thompson's group F

Sean Cleary, Jennifer Taback|arXiv (Cornell University)|2003. 10. 29.

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

한 줄 요약

이 논문은 톰슨 군 F에서 '서스위드 워드(seesaw words)'를 도입한다. 이는 오직 두 가지 가능한 장거리 지오데식 접미사 $x_0^k$와 $x_0^{-k}$를 가진 원소들로, 표준 생성자 ${ x_0, x_1 }$에 대한 카일리 그래프가 어떤 $k$에 대해서도 $k$-동행자 성질을 만족하지 못함을 보여, F가 지오데식으로는 볼 수 없다는 것을 증명한다. 이 구성은 최소 길이 표현의 본질적 비유일성을 드러내며, 정규화된 단어 축약을 어렵게 한다.

ABSTRACT

We describe a family of words in Thompson's group F which present a challenge to the question of finding canonical minimal length representatives, and which show that F is not combable by geodesics. These words have the property that there are only two possible suffixes of long lengths for geodesic paths to the word from the identity; one is of the form $g^k$ and the other of the form $g^{-k}$ where g is a generator of the group.

연구 동기 및 목표

• 톰슨 군 F의 원소들에 대해 표준 생성자 집합 $\{x_0, x_1\}$ 하에서 일관적으로 정규화된 최소 길이 표현을 만들 수 있는지 보여주는 것.
• 표준 생성자 ${ x_0, x_1 }$에 대한 F의 카일리 그래프가 어떤 상수 $k$에 대해서도 $k$-동행자 성질을 만족하지 못함을 보여, 그래프가 지오데식으로 볼 수 없다는 것을 의미하는 것.
• 지오데식 경로의 강한 제약 조건을 가진 원소를 구성함으로써 기하학적 복잡성을 분석하고, 볼 수 없음의 구조적 장애를 드러내는 것.
• 비거의 근접성과 비볼 수 없음의 이해를 확장하기 위해, 발산하는 지오데식 행동을 보이는 명시적 원소의 가족을 제시하는 것.

제안 방법

• 특정 캐럿 유형 구성으로 생성자 곱셈에 따른 길이 변화를 제어할 수 있도록, '서스위드 워드'라고 불리는 F의 원소 가족을 수형 쌍 다이어그램을 사용해 구성한다.
• 생성자 곱셈 중 수형 쌍 다이어그램의 캐럿 유형 변화(예: $L_L$, $R_{NI}$)를 추적함으로써 F에서 단어 길이를 계산하는 포드햄 알고리즘을 적용한다.
• 수형 쌍 다이어그램의 단순화 조건을 사용하여 유일성을 확보하고, $x_0^\pm$ 및 $x_1^\pm$ 이 단어 길이에 미치는 영향을 캐럿 쌍 유형의 변화를 통해 분석한다.
• 항등원에서 서스위드 워드로의 지오데식 경로를 분석하여, 오직 $x_0^k$ 또는 $x_0^{-k}$만이 장거리 접미사가 될 수 있음을 보여준다.
• 지오데식 경로가 $wx_0$와 $wx_0^{-1}$를 통과할 경우의 거리 차수를 분석하여, 그들의 $k$-동행자 거리가 스윙 $k$에 따라 증가함을 보이고, 유계성 조건을 위반함을 보여준다.
• 모순을 이용하여 지오데식 볼링이 존재하지 않음을 증명한다: 그러한 볼링이 존재한다고 가정하면, 큰 스윙을 가진 서스위드 워드에 대해 동행자 거리가 유계가 아니게 된다.

실험 결과

연구 질문

• RQ1 톰슨 군 F의 원소들에 대해 표준 생성자 집합을 사용할 때, 일관적으로 정규화된 최소 길이 표현을 구성할 수 있는가?
• RQ2 표준 생성자 ${ x_0, x_1 }$에 대한 F의 카일리 그래프가 어떤 상수 $k$에 대해서도 $k$-동행자 성질을 만족하는가?
• RQ3 F의 워드 메트릭에서 지오데식으로 볼 수 없게 만드는 구조적 특징은 무엇인가?
• RQ4 수형 쌍 다이어그램의 기하학적 성질은 생성자 곱셈 하에서 단어 길이 축약에 어떻게 영향을 주는가?
• RQ5 오직 두 개의 생성자만이 단어 길이를 줄일 수 있는 원소들이 존재하는가? 이러한 원소는 지오데식 경로에 어떤 함의를 지닌다?

주요 결과

• 논문은 F에서 오직 $x_0^k$와 $x_0^{-k}$만이 장거리 지오데식 접미사가 될 수 있는 '서스위드 워드'의 가족을 구성한다. 스윙 $k$는 임의로 크게 만들 수 있다.
• 모든 $k$에 대해, 지오데식 경로가 $w$로 향할 때 반드시 $x_0^k$ 또는 $x_0^{-k}$로 끝나야 하며, $wx_0$와 $wx_0^{-1}$를 통과하는 경로 사이의 동행자 거리는 유계가 아니다.
• $wx_0$와 $wx_0^{-1}$를 통과하는 지오데식 경로 사이의 거리는 $2k$이며, $k$가 증가함에 따라 무한히 증가하므로 $k$-동행자 성질을 위반한다.
• 이는 지오데식으로 볼 수 없음을 의미하며, 항등원에서의 일관된 지오데식 경로 가족이 유계 동행자 조건을 만족할 수 없음을 시사한다.
• 이 구성은 F에서 최소 길이 표현이 유일하거나 정규화되지 않음을 보여주며, 동일한 원소로 향하는 여러 지오데식 경로가 존재하고, 그들 사이의 거리가 유계가 아니라는 점에서 드러난다.
• 지오데식 볼링의 실패는 수형 쌍 다이어그램 분석과 생성자 곱셈 하에서의 단어 길이 추적을 통해 명시적으로 입증된다.