[논문 리뷰] Groups acting freely on $Λ$-trees

Olga Kharlampovich, Alexei Myasnikov외 1명|arXiv (Cornell University)|2009. 11. 01.

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

한 줄 요약

이 논문은 순서가 부여된 아벨 군 Λ에서 자유 린던 길이 함수를 갖는 모든 유한형성 군은 원래의 길이 함수를 유지하면서 Λ에서 정규 자유 길이 함수를 갖는 유한형성 군에 임베딩될 수 있음을 증명한다. 더 나아가, Λ에서 정규 자유 길이 함수를 갖는 이러한 군들은 사전순서가 부여된 ℝⁿ으로 임베딩되며, 최대 아벨 관련 부분군과 길이-동형 이sovorphism을 갖는 HNN-확장을 유한한 수차례 거쳐 구성됨을 보여준다.

ABSTRACT

A group is called $Λ$-free if it has a free Lyndon length function in an ordered abelian group $Λ$, which is equivalent to having a free isometric action on a $Λ$-tree. A group has a regular free length function in $Λ$ if and only if it has a free isometric action on a $Λ$-tree so that all branch points belong to the orbit of the base point. In this paper we prove that every finitely presented $Λ$-free group $G$ can be embedded into a finitely presented group with a regular free length function in $Λ$ so that the length function on $G$ is preserved by the embedding. Next, we prove that every finitely presented group $\widetilde G$ with a regular free Lyndon length function in $Λ$ has a regular free Lyndon length function in ${\mathbb R}^n$ ordered lexicographically for an appropriate $n$ and can be obtained from a free group by a series of finitely many HNN-extensions in which associated subgroups are maximal abelian and length isomorphic.

연구 동기 및 목표

• 임의의 순서가 부여된 아벨 군 Λ에 대해, 모든 유한형성 Λ-자유 군을 특성화하여 알퍼린-배스 프로그램의 핵심 부분을 해결하기 위해.
• 모든 유한형성 Λ-자유 군이 원래 길이 함수를 유지하면서 Λ에서 정규 자유 길이 함수를 갖는 군으로의 길이 보존 임베딩을 보여주기 위해.
• Λ에서 정규 자유 길이 함수를 갖는 유한형성 군은 최대 아벨 관련 부분군과 길이-동형 이sovorphism을 갖는 HNN-확장을 유한한 수차례 거쳐 구성된 군과 동형임을 증명하기 위해.
• 그러한 군들이 사전순서가 부여된 ℝⁿ-트리에서 자유롭고 정규적인 작용으로 실현될 수 있음을 확립하기 위해.
• 정규성과 완전성 조건을 린던 길이 함수 프레임워크에 도입하여 추상적 길이 함수와 Λ-트리 위의 기하학적 작용 사이의 격차를 메우기 위해.

제안 방법

• Λ-트리 위에서 작용하는 군의 구조를 분석하기 위해 일반화된 방정식과 제거 과정의 사용.
• 무한소 길이를 제어하고 길이 함수를 유지하기 위해 선형 제거 과정의 맥락에서 기본 변환의 적용.
• 측도가 부여된 분할을 갖는 Rips 기계와 매끄러운 밴드 복합체를 이용한 군의 임베딩 구축 (Λ에서의 측도가 부여된 분할 포함).
• 순서가 부여된 아벨 군을 ℝ-부분군의 직합으로 분해하여 Λ에서 ℝⁿ으로의 길이 함수의 환원.
• 최대 아벨 관련 부분군과 길이-동형 이sovorphism을 갖는 HNN-확장을 사용하여 목표 군의 구조를 구성하기 위해.
• 제거 과정의 단계 수에 대한 귀납법을 사용하여 ℝⁿ에서 재정의된 길이 함수의 정규성과 불변성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 모든 유한형성 Λ-자유 군은 원래 길이 함수를 유지하면서 Λ에서 정규 자유 길이 함수를 갖는 유한형성 군으로 임베딩될 수 있는가?
• RQ2 임의의 순서가 부여된 아벨 군 Λ에서 정규 자유 린던 길이 함수를 갖는 유한형성 군의 구조적 특성은 무엇인가?
• RQ3 특정 성질을 갖는 HNN-확장을 통해 자유군으로부터 이러한 군들을 어떻게 구성할 수 있는가?
• RQ4 Λ-자유 군이 Λ-트리 위에서 작용하는 것을 사전순서가 부여된 ℝⁿ-트리 위에서 정규 작용으로 실현할 수 있는가?
• RQ5 정규성 조건은 Λ에서의 길이 함수가 최대 아벨 관련 부분군을 갖는 HNN-확장을 통해 실현될 수 있도록 보장하는 데 어떤 역할을 하는가?

주요 결과

• 모든 유한형성 Λ-자유 군은 원래 길이 함수를 유지하면서 Λ에서 정규 자유 길이 함수를 갖는 유한형성 군으로 임베딩될 수 있다.
• Λ에서 정규 자유 린던 길이 함수를 갖는 유한형성 군은 어떤 n에 대해 사전순서가 부여된 ℝⁿ에서 정규 자유 길이 함수를 갖는다.
• 그러한 군들은 관련 부분군이 최대 아벨이고, 이sovorphism이 길이-동형인 유한한 수의 HNN-확장을 통해 구성된다.
• ℝⁿ에서의 길이 함수는 재정의 후 린던 길이 함수와 일치하며, 해당 ℝⁿ-트리 위에서 자유롭고 정규적인 작용을 한다.
• 군의 구조는 제거 과정과 일반화된 방정식의 결과로 얻어진 좌표 군에 의해 완전히 결정되며, 기본 변환에 의해 랭크가 유지된다.
• 길이 함수의 정규성은 원래 Λ에서 무한소 길이를 갖는 원소들이 항상 부분군 Λ′′에 속해 있으며, 임베딩 과정에서 그 부분군이 유지됨을 보장한다.