[논문 리뷰] A geometric solution to the von Neumann-Day problem for finitely presented groups

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

Geometric and Algebraic Topology참고 문헌 8인용 수 2

한 줄 요약

이 논문은 실수선 R 위의 조각별 사영 호메오모르피즘의 모노드 군 내에 부분군을 구성하여, 유한형현된(finitely presented), 비아벨성( torsion-free), 비단순군(nonamenable)이지만 비아벨 자유부분군을 가지지 않는 군을 제시한다. 테이프론의 군 F와 유사한 레이블이 붙은 트리 다이어그램을 사용하여, 바르니에-데이 문제(von Neumann-Day problem)에 기하학적 해법을 제공하며, 이는 처음으로 유한형현되고 비순환군인 예시이다.

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의 구조를 모방하여 레이블이 붙은 트리 다이어그램을 통해 군 원소의 표현 체계를 개발한다.
• 모노드의 실수선 R 위의 조각별 사영 호메오모르피즘 군 내에 원하는 성질을 갖는 유한형현된 부분군이 존재함을 보여준다.
• 조합론적 및 동역학적 방법을 통해 비단순군이면서 자유부분군을 가지지 않는 군을 이해하기 위한 기하학적 프레임워크를 구축한다.

제안 방법

• 실수선 R 위의 조각별 사영 호메오모르피즘 군 내에 유한형현된 부분군을 구성한다.
• 테이프론의 군 F에서 사용된 조합론적 프레임워크를 확장하여 군 원소를 레이블이 붙은 트리 다이어그램으로 표현한다.
• 조각별 사영 변환을 사용하여 군 연산을 정의하고 유한형현성을 확보한다.
• 조각별 사영 사상의 기하학적 및 동역학적 성질을 활용하여 비단순성을 입증한다.
• 기하군 이론의 기법을 적용하여 비아벨 자유부분군의 부재를 검증한다.
• 레이블이 붙은 트리 다이어그램 표현을 활용하여 군의 구조를 분석하고 계산을 용이하게 한다.

실험 결과

연구 질문

• RQ1 비아벨 자유부분군을 가지지 않는 유한형현된 비단순군을 명시적으로 구성할 수 있는가?
• RQ2 모노드의 실수선 R 위의 조각별 사영 호메오모르피즘 군은 그러한 부분군을 포함하는가?
• RQ3 테이프론의 군 F의 구조를 일반화하여 이 새로운 군의 원소를 레이블이 붙은 트리 다이어그램으로 표현할 수 있는가?
• RQ4 어떤 기하학적 및 대수적 성질이 자유부분군을 포함하지 않으면서도 비단순성을 유지하는가?
• RQ5 레이블이 붙은 트리 다이어그램은 어떻게 조각별 사영 변환을 유한형현된 설정에서 모델링하는 데 적합하게 조정될 수 있는가?

주요 결과

• 구성된 군은 유한형현되고 비순환군이며, 비단순군 분류에서 오랫동안 남아있던 격차를 해결한다.
• 군은 비단순군이지만 비아벨 자유부분군을 포함하지 않으며, 바르니에-데이 문제에 대한 새로운 해법을 제공한다.
• 군은 모노드의 실수선 R 위의 조각별 사영 호메오모르피즘 군의 부분군으로 포함된다.
• 테이프론의 군 F의 구조를 모방한 레이블이 붙은 트리 다이어그램 표현 체계가 개발되었으며, 이는 군 원소의 효과적 분석을 가능하게 한다.
• 조각별 사영 사상에 의한 기하학적 구성은 유한형현성을 보장하고 군 원소의 명시적 계산을 가능하게 한다.
• 새로운 표현 체계를 통해 조합론적 군 이론과 기하군 이론 사이에 새로운 다리를 구축한다.