[논문 리뷰] The mapping-torus of a free group automorphism is hyperbolic relative to the canonical subgroups of polynomial growth

François Gautero, Martin Lustig|ArXiv.org|2007. 07. 05.

Geometric and Algebraic Topology참고 문헌 24인용 수 16

한 줄 요약

이 논문은 자유군의 순열에 대한 매핑 토러스 군이 임의의 순열에 대해 다항성장 원소에서 기인하는 표준적인 부분군 가족에 대해 강한 쌍곡성을 갖는다는 것을 증명한다. 이 결과와 Drutu-Sapir의 정리에 기반하여, 이러한 군들이 기하군론과 비환원 기하학에서 핵심적인 분석 조건인 Rapid Decay 성질을 만족한다는 것을 입증한다.

ABSTRACT

We prove that the mapping torus group $\FN times_α \Z$ of any automorphism $α$ of a free group $\FN$ of finite rank $n \geq 2$ is weakly hyperbolic relative to the canonical (up to conjugation) family $\mathcal H(α)$ of subgroups of $\FN$ which consists of (and contains representatives of all) conjugacy classes that grow polynomially under iteration of $α$. Furthermore, we show that $\FN times_α \Z$ is strongly hyperbolic relative to the mapping torus of the family $\mathcal H(α)$. As an application, we use a result of Drutu-Sapir to deduce that $\FN times_α \Z$ has Rapic Decay.

연구 동기 및 목표

• 자유군 순열의 매핑 토러스 군이 다항성장 부분군의 표준적인 가족에 대해 상대적인 쌍곡성을 확립하기.
• 매핑 토러스 군이 다항성장 가족의 유도된 매핑 토러스 부분군에 대해 강한 상대 쌍곡성을 갖는다는 것을 보여주기.
• 상대 쌍곡성과 군 대수에 관한 기존 결과를 이용하여 이러한 군들에 대한 Rapid Decay 성질을 유도하기.
• 상대 쌍곡성에 기반하여 이러한 군들에 대한 이차 이소페리메트릭 부등식을 개념적으로 더 단순한 방식으로 재증명하기.

제안 방법

• 자유군 순열의 $\beta$-트레인 트랙 표현을 사용하여 유니버설 커버에서의 다이내믹스와 경로를 분석하기.
• $\beta$-트레인 트랙에서 정규화된 경로를 도입하고 분석하여 나무에서의 지오데식선과 유사한 성질을 갖는다.
• 상대 쌍곡군에 대한 조합 정리(정리 2.9)를 적용하여 상대 쌍곡성의 구조를 구성하기.
• 다항성장 부분군의 여부를 기반으로 케일리 그래프를 콘 오프(cone-off)하여 약한 및 강한 상대 쌍곡성을 검증하기.
• Drutu-Sapir의 정리(강한 상대 쌍곡군에서 (RD)-조건을 만족하는 주변 부분군이 있을 경우 Rapid Decay 성립)를 활용하기.
• Jolissaint의 결과(다항성장 폭을 갖는 반직접곱)를 이용하여 다항성장 경우의 (RD) 성질을 확립하기.

실험 결과

연구 질문

• RQ1 매핑 토러스 군 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ 는 $\alpha$ 에서 기인하는 다항성장 부분군의 표준적인 가족 $\mathcal{H}(\alpha)$ 와 상대적으로 약한 쌍곡성을 갖는가?
• RQ2 동일한 군은 $\mathcal{H}(\alpha)$ 의 매핑 토러스에 대해 강한 상대 쌍곡성을 갖는가?
• RQ3 강한 상대 쌍곡성이 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ 에 대해 Rapid Decay 성질을 유도하는가?
• RQ4 상대 쌍곡성을 기반으로 이러한 군들에 대한 이차 이소페리메트릭 부등식을 재증명할 수 있는가?

주요 결과

• 매핑 토러스 군 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ 는 $\alpha$ 에서 기인하는 다항성장 부분군의 표준적인 가족 $\mathcal{H}(\alpha)$ 와 상대적으로 약한 쌍곡성을 갖는다.
• 군은 $\mathcal{H}(\alpha)$ 의 매핑 토러스 부분군 가족 $\mathcal{H}_\alpha$ 와 상대적으로 강한 쌍곡성을 갖는다.
• $\mathcal{H}_\alpha$ 의 각 부분군은 (RD) 성질을 만족한다. 이는 자유군과 $\mathbb{Z}$ 의 확장이며 다항성장 폭을 갖기 때문이다.
• 전체 군 $\mathbb{F}_n \rtimes_\alpha \mathbb{Z}$ 는 강한 상대 쌍곡성과 주변 부분군의 (RD) 성질에 기반하여 (RD) 성질을 만족한다.
• 이 결과는 Bridson와 Groves가 확립한 바와 같이 이러한 군들에 대한 이차 이소페리메트릭 부등식에 대해 새로운 개념적이고 더 단순한 증명을 제공한다.
• 증명은 $\beta$-트레인 트랙 구조에서의 정규화된 경로에 대한 새로운 분석에 기반하며, 이 경로들이 나무에서의 지오데식선과 유사하게 행동함을 보여준다.