[논문 리뷰] A finitely presented group of piecewise projective homeomorphisms

Yash Lodha, Justin Tatch Moore|arXiv (Cornell University)|2013. 08. 20.

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

한 줄 요약

이 논문은 실수 직선 위의 조각별 선형 동형사상의 부분군으로서, 유한 생성, 비순환, 비암아벨성(비암아벨 자유부분군을 포함하지 않음)을 만족하는 군을 제시한다. 이는 이러한 성질을 갖는 첫 번째 예시로, 비순환성과 비암아벨 자유부분군의 부재를 동시에 만족한다. 군은 세 개의 명시적 조각별 선형 함수로 생성되며, Monod의 방법을 응용하여 비암아벨성을 입증하고, 유한 표현을 제공하며, 톰슨 군 F와 유사한 트리 다이어그램 표현을 갖는다.

ABSTRACT

In this article we will describe a finitely presented subgroup of Monod's group of piecewise projective homeomorphisms of R. This in particular provides a new example of a finitely presented group which is nonamenable and yet does not contain a nonabelian free subgroup. It is in fact the first such example which is torsion free. We will also develop a means for representing the elements of the group by labeled tree diagrams in a manner which closely parallels Richard Thompson's group F.

연구 동기 및 목표

• 기하군 이론에서 오랫동안 열려 있던 문제를 해결하기 위해, 비순환, 비암아벨 자유부분군을 포함하지 않는 유한 생성, 비암아벨 군을 구성하는 것.
• 이전의 반례들이 비순환성 또는 귀납적 구성에 의존하는 것과 달리, 이는 순환성과 귀납적 구성 없이도 작동하는 더 구체적이고 분석 가능한 반례를 제공한다.
• 톰슨 군 F의 구조를 일반화하여, 유사한 다이어그램 표현을 갖는 더 넓은 범주에 속하는 조각별 선형 군에 대해 조합론적 표현을 개발하는 것.
• 3개의 생성자와 9개의 관계로 이루어진 유한 표현을 확립하고, 이를 체계적인 축소 체계를 통해 무한 표현과의 동치성을 증명하는 것.

제안 방법

• 무한대에서 고정되는 R의 조각별 선형 동형사상의 부분군인 Monod의 군 H의 부분군으로서 군을 구성하며, 세 개의 명시적 생성자 a(t) = t+1 및 조각별 유리함수 b(t), c(t)를 사용한다.
• 각 원소가 유한한 이진 트리 쌍과 유한한 집합에서 온 레이블을 갖는, 톰슨 군 F의 다이어그램 계산을 일반화한 레이블된 트리 다이어그램 표현을 개발한다.
• 표준 형태와 고급 이동을 기반으로 한 축소 체계를 도입하여 무한 표현에서 단어를 정규화하고, 이를 통해 유한 표현을 유도한다.
• 유한 표현의 증명은, 군에서 항등원으로 평가되는 임의의 단어가 주어진 9개의 관계만을 사용하여도 항등원으로 축소됨을 보여줌으로써 이루어지며, 이는 고급 이동과 정규화 단계의 연속을 통해 이루어진다.
• 비암아벨성은 Monod의 방법을 응용하여 입증되며, 이는 H에 비암아벨 자유부분군이 없음을 바탕으로 하며, 군의 실수 직선 위에서의 작용과 그 조합론적 구조를 철저히 분석함으로써 이루어진다.
• 핵심적인 기술적 혁신은 무한한 이진 수열에 대한 작용에서 비꼬임-등가성(non-tail-equivalence)을 증명하기 위해 유한한 이진 수열의 재귀적 구성 방법을 사용하는 것으로, 이는 비자명한 Y-단어가 항등원으로 평가될 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 비순환, 비암아벨 자유부분군을 포함하지 않는 유한 생성, 비암아벨 군을 구성할 수 있는가?
• RQ2 이러한 군에 대해 복잡한 귀납적 구성 없이도 구체적이고 명시적인 표현을 제공할 수 있는가?
• RQ3 톰슨 군 F의 구조는 조각별 선형 군의 더 넓은 범주로 일반화될 수 있는가? 이는 유사한 다이어그램 표현을 갖는가?
• RQ4 어떤 조건이 단어가 항등원으로 평가되는지를 보장하며, 이를 유한한 관계 집합으로 포괄할 수 있는가?

주요 결과

• a(t) = t+1, b(t), c(t)로 생성되는 군 G₀는 3개의 생성자와 9개의 관계로 이루어진 유한 표현을 갖는다. 이는 비순환, 비암아벨 자유부분군을 포함하지 않는 군에 대한 첫 번째 명시적 유한 표현이다.
• Monod의 방법을 응용하여 비암아벨성이 입증되었으며, 이는 H — 그리고 따라서 G₀ — 가 비암아벨 자유부분군을 포함하지 않음을 보여준다.
• 톰슨 군 F와 유사한 레이블된 트리 다이어그램 표현을 갖는다. 이는 군 원소의 조합론적이고 시각적인 분석을 가능하게 한다.
• 무한 표현이 고급 이동과 표준 형태를 사용한 정규화 과정을 통해 유한 표현과 동치임을 증명하였으며, 이는 9개의 관계가 충분함을 보여준다.
• 항등원으로 평가되는 군의 임의의 단어는 반드시 주어진 9개의 관계만을 사용하여 항등원으로 축소되어야 하며, 이는 이진 수열에 대한 작용에서의 비꼬임-등가성으로 인해 비자명한 Y-단어가 항등원으로 평가될 수 없음을 증명함으로써 입증된다.