[논문 리뷰] Hyperbolic hyperbolic-by-cyclic groups are cubulable

François Dahmani, Suraj Krishna M S외 1명|arXiv (Cornell University)|2023. 06. 26.

Geometric and Algebraic Topology인용 수 1

한 줄 요약

이 논문은 초평면적-순환 군—기저 군 G와 ℤ의 반직접곱인 G ⋊ ℤ—이 G와 G ⋊ ℤ 둘 다 초평면적일 때 큐불러블임을 증명한다. 증명은 상대적 큐불루레이션 기법, Malnormal Special Cube Theorem를 사용하며, 이는 자유-순환 및 비순환 초평면적 군에 대한 이전 결과를 확장하여, 이러한 군들이 사실상 특수하고, Anosov 표현을 갖는다는 것을 보여준다.

ABSTRACT

We show that the mapping torus of a hyperbolic group by a hyperbolic automorphism is cubulable. Along the way, we (i) give an alternate proof of Hagen and Wise's theorem that hyperbolic free-by-cyclic groups are cubulable, and (ii) extend to the case with torsion Brinkmann's thesis that a torsion-free hyperbolic-by-cyclic group is hyperbolic if and only if it does not contain $\mathbb{Z}^2$-subgroups.

연구 동기 및 목표

• 기저 군 G와 반직접곱 G ⋊ ℤ 둘 다 초평면적일 조건 하에서 초평면적-순환 군이 큐불러블임을 입증하는 것.
• Dahmani와 M.(2023)의 작업에 기반한 자유곱-순환 군의 상대적 큐불루레이션 기법을 사용하여, Hagen과 Wise의 초평면적 자유-순환 군의 큐불러블성 결과를 재증명하는 것.
• Brinkmann의 초평면적-순환 군의 초평면성에 대한 결과를 순환을 포함한 경우로 확장하여, 이러한 군이 Z² 부분군을 포함하지 않을 때이고 오직 그 때에만 초평면적임을 보여주는 것.
• 큐불러블성과 특수 큐불 복합체의 알려진 결과를 활용하여, 초평면적-순환 군이 사실상 특수하고, Z-선형이며, 공轭분리 가능하다는 것을 보여주는 것.

제안 방법

• Dahmani와 M.(2023)의 작업에 기반하여, Groves와 Manning의 CAT(0) 큐불 복합체 위의 비정상적 작용 이론을 활용한 자유곱-순환 군의 상대적 큐불루레이션 적용.
• Hsu와 Wise의 Malnormal Special Cube Theorem를 적용하여, 군이 Malnormal한 무한 순환 부분군을 가로질러 분할될 경우 큐불러블성을 유도하는 것.
• 표면군과 자유군의 경우를 상징적으로 다루는 텔레스코픽 추론을 사용하여 일반적인 경우를 표면군과 자유군의 알려진 큐불루레이션으로 환원하는 것.
• Dunwoody–Stallings 분해를 활용하여 G의 단결된 부분군을 분석하고, G ⋊ ℤ 가 초평면적일 경우 이들이 사실상 표면군임을 보여주는 것.
• G의 유한지수 순환을 포함하지 않는 부분군이 존재하고, 이 부분군이 자유군과 닫힌 표면군의 자유곱임을 이용하여 기존의 큐불러블성 결과를 적용할 수 있음을 활용하는 것.
• Wisdom(2021, 보조정리 7.14)의 결과를 활용하여, 사실상 큐불러블인 초평면적 군은 큐불러블임을 보여주며, 이를 통해 유한지수 부분군의 큐불러블성을 전체 군으로 확장하는 것.

실험 결과

연구 질문

• RQ1 초평면적-순환 군이 큐불러블이 되는 조건은 무엇인가?
• RQ2 상대적 큐불루레이션과 Malnormal Special Cube Theorem를 사용하여 초평면적 자유-순환 군의 큐불러블성을 재증명할 수 있는가?
• RQ3 초평면적-순환 군의 초평면성 특성화가 Z² 부분군의 부재 조건을 바탕으로 하는 것에서 순환을 포함한 경우로 확장 가능한가?
• RQ4 초평면적 자동형사상이 존재하는 초평면적 군은 어떤 대수적 구조를 갖는가?
• RQ5 유한지수 순환을 포함하지 않는 부분군의 큐불러블성으로부터 G ⋊ ℤ 의 큐불러블성을 유추할 수 있는가?

주요 결과

• 기저 군 G와 반직접곱 G ⋊ ℤ 둘 다 초평면적일 때에만 초평면적-순환 군이 큐불러블이다.
• G의 유한지수 순환을 포함하지 않는 부분군은 자유군과 닫힌 표면군의 자유곱이며, 이는 G가 사실상 순환을 포함하지 않으며 잔여 유한임을 확인한다.
• G ⋊ ℤ 는 큐불러블이면서 사실상 컴act special이므로 사실상 특수하다.
• G ⋊ ℤ 는 Z-선형이며, 그 쿼어컨벡스 부분군은 분리 가능하다. 이는 큐불러블성과 Hagen과 Wise의 결과로부터 유도된다.
• G ⋊ ℤ 는 F₂ 로 사실상 전사함사를 갖는다. 이는 큐불러블성과 사실상 특수성의 결과이다.
• 큐불러블 초평면적 군의 사실상 특수성에 의해 보장되며, G ⋊ ℤ 는 Anosov 표현을 갖는다.