[논문 리뷰] Non Hyperbolic Free-By-Cyclic and One-Relator Groups

J. O. Button, Robert Kropholler|arXiv (Cornell University)|2015. 03. 06.

Geometric and Algebraic Topology인용 수 5

한 줄 요약

이 논문은 자유군에 대한 순환군 작용을 갖는 군 $F_2 \rtimes \mathbb{Z}$가 CAT(0) 정사각형 복합체 위에 올바르고 코컴 pact하게 작용함을 증명하여, 이들이 가상으로 특수군임을 보이고, 따라서 선형성과 크기 성질을 가짐을 밝힌다. 또한 모든 2생성자 1관계 군이 SQ-완전이거나 $BS(1,j)$와 동형임을 보이며, 오랫동안 남아있던 추측의 일부를 해결한다. 이 작업은 또한 큐브화 기법을 통해 특정한 엄격하게 상승하는 HNN 확장을 선형성 측면에서 증명한다.

ABSTRACT

We show that the free-by-cyclic groups of the form F(2)-by-Z act properly cocompactly on CAT(0) square complexes. We also show using generalised Baumslag-Solitar groups that all known groups defined by a 2-generator 1-relator presentation are either SQ-universal or are cyclic or isomorphic to BS(1,j). Finally we consider free-by-cyclic groups which are not relatively hyperbolic with respect to any collection of subgroups.

연구 동기 및 목표

• 비하이퍼볼릭 자유군에 대한 순환군 작용을 갖는 군이 CAT(0) 큐브 복합체 위에 올바르고 코컴 pact하게 작용하는지 결정하는 것.
• 2생성자 1관계 군이 SQ-완전이거나 $BS(1,j)$와 동형인지 조사하여 P. M. Neumann의 추측을 해결하는 것.
• 최근의 큐브화 결과를 활용하여 $F_2$의 엄격하게 상승하는 HNN 확장의 선형성을 확립하는 것.
• CAT(0) 기하학과 가상 성질의 맥락에서 비하이퍼볼릭 군의 기하학적 및 대수적 성질을 명확히 하는 것.

제안 방법

• Bridson와 Lustig의 비공개 작업에 기반하여, 양의 곡률 구역을 제거하기 위해 위상 모델을 수정하여 CAT(0) 정사각형 복합체를 구성하는 것.
• 일반화된 Baumslag-Solitar 군을 사용하여 2생성자 1관계 군의 구조를 분석하고, SQ-완전성 또는 $BS(1,j)$와의 동형으로 분류하는 것.
• 단사 내면을 갖는 상승 HNN 확장 이론을 적용하여 기하학적 및 대수적 성질을 연구하는 것.
• HNN 확장에 대해 단어 하이퍼볼릭성 기준 [31]을 적용하기 위해 내면의 기하학적 불가약성과 임베딩 조건을 검증하는 것.
• 문헌 [29]의 보조정리 6.20을 활용하여 내면이 기하학적으로 불가약하고 군이 단어 하이퍼볼릭일 경우, 가상으로 특수군임을 결론짓는 것.
• 지수 합 및 순환 축소 기법을 사용하여 주기적 쌍대화 클래스가 존재하지 않음을 제거함으로써 HNN 확장의 단어 하이퍼볼릭성을 보장하는 것.

실험 결과

연구 질문

• RQ1 모든 자유군에 대한 순환군 작용을 갖는 군 $F_2 \rtimes \mathbb{Z}$ 는 CAT(0) 정사각형 복합체 위에 올바르고 코컴 pact하게 작용하는가?
• RQ2 P. M. Neumann의 추측에 따르면 모든 2생성자 1관계 군은 SQ-완전이거나 $BS(1,j)$와 동형인가?
• RQ3 군 $\langle a,b,t \mid tat^{-1} = ab, tbt^{-1} = ba \rangle$ 가 $\mathbb{Z}$ 위에서 선형임을 보일 수 있는가?
• RQ4 어떤 조건에서 $F_2$의 유한 랭크 자유군에 대한 상승 HNN 확장은 가상으로 특수군이 되며, 따라서 선형이 되는가?

주요 결과

• $F_2 \rtimes_{\alpha} \mathbb{Z}$ 는 CAT(0) 정사각형 복합체 위에 올바르고 코컴 pact하게 작용하며, 이는 가상으로 특수군임을 의미한다.
• 모든 2생성자 1관계 군은 SQ-완전이거나 $BS(1,j)$와 동형이며, 이는 Neumann의 추측의 특수한 경우를 확인한 것이다.
• HNN 확장 $\langle a,b,t \mid tat^{-1} = ab, tbt^{-1} = ba \rangle$ 는 $\mathbb{Z}$ 위에서 선형이며, Kourovka Notebook의 문제 17.108을 해결한다.
• $F_2$ 위에서 정의된 내면 $\theta(a) = ab, \theta(b) = ba$ 는 기하학적으로 불가약하고 임베딩 조건을 만족하여 가상 특수군 조건을 충족한다.
• 이 HNN 확장에서 주기적 쌍대화 클래스가 존재하지 않음은 단어 하이퍼볼릭성을 보장하며, 이와 기하학적 불가약성의 조합은 가상 특수군 성질을 유도한다.
• 지수 합 및 순환 축소 기법을 통해 $\theta^i(w)$ 가 $w^j$ 와 쌍대화되지 않음을 입증함으로써 주기적 쌍대화 클래스의 부재를 확인한다.