[논문 리뷰] Erratum to the paper "Acylindrical hyperbolicity of groups acting on trees"

Ashot Minasyan, Denis Osin|arXiv (Cornell University)|2017. 11. 26.

Geometric and Algebraic Topology참고 문헌 5인용 수 6

한 줄 요약

이 수정문은 2016년도 Minasyan과 Osin의 논문에서 나무 위에 작용하는 군의 acylindrical hyperbolicity에 관한 Lemma 3.9의 증명에서 심각한 빈자리(공백)를 수정한다. 이는 acylindrical hyperbolicity가 유한 핵을 고려한 공명성(commensurability)에 대해 유지된다는 주장이 정당화되지 않았다는 점을 다루며, 저자들은 이 오류를 보완하기 위해 다음과 같은 사실을 증명한다: 군 G가 유한 차수의 정규 부분군 H를 가지며, H가 $τ$-접근 가능한 acylindrically hyperbolic 이면, G 자체도 acylindrically hyperbolic 임을 보임으로써, 방향성 있는 및 비방향성 3차원 다각형 군에 대한 핵심 정리의 타당성을 회복하고, 이후 연구에서의 관련 결과도 수정한다.

ABSTRACT

In our paper arXiv:1310.6289, we stated that acylindrical hyperbolicity of a group is invariant under commensurability up to finite kernels. Unfortunately, the proof of this fact contained a gap. The goal of this erratum is to point out the gap and to correct the statements and proofs of results of arXiv:1310.6289 and the subsequent paper arXiv:1501.03066 affected by it.

연구 동기 및 목표

• Minasyan과 Osin(2016)의 논문에서 Lemma 3.9에 대한 비판적 오류를 규명하고 수정함: acylindrical hyperbolicity가 유한 핵을 고려한 공명성에 대해 유지된다는 주장이 정당화되지 않았음.
• 원본 논문의 Theorem 5.6 및 그推론들을 복원함. 이는 3차원 다각형 군의 부분군을 acylindrical hyperbolicity 기반으로 분류함.
• 방향성 없는 3차원 다각형 군의 기본군에 대해, 방향성 이중 커버와 $τ$-접근성의 성질을 활용하여 수정된 결과를 확장함.
• 이후 논문 [4]에서 Lemma 3.9에 의존한 진술과 증명을 수정함. 특히 $β_1^{(2)}$-Betti 수와 acylindrical hyperbolicity에 관한 내용을 중심으로 재수정함.

제안 방법

• G가 유한 차수의 정규 부분군 H를 가지며, H가 acylindrically hyperbolic 이고 $τ$-접근 가능하면, G도 acylindrically hyperbolic 임을 증명함. 이를 위해 자연 포함사상 $\Gamma(H,X) \to \Gamma(G,X\cup Y)$ 가 $H$--equivariant quasi-isometry 임을 보임.
• 자연스러운 $\mathcal{AH}(H)$ 내의 최대 acylindrical hyperbolic 구조 $[X]$ 가 존재하고, 이 구조가 $\mathrm{Aut}(H)$ 에 대해 불변임을 이용하여 G 내의 단어 길이를 유계로 제한함.
• 모든 $\varepsilon > 0$ 에 대해, $d_{X\cup Y}(1,h) \leq \varepsilon$ 이고 $d_{X\cup Y}(z,hz) \leq \varepsilon$ 를 만족하는 원소 $h$ 의 수가 일관되게 유계임을 보여, G가 $\Gamma(G,X\cup Y)$ 에 작용할 때 acylindricity 를 확립함.
• 원본 논문에서 [1, Theorem 2.19]에 의해 방향성 있는 3차원 다각형 군의 기본군이 $\mathcal{AH}$-접근 가능하다는 사실을 이용하여, 방향성 이중 커버를 통해 비방향성 다각형으로의 결과 확장.
• 논문 [4]의 Theorem 1.6의 증명을 재수정함. 이는 $\mathbb{Z}$ 로의 가상의 전사 사상이 아닌, 실제 전사 사상으로의 전환을 포함하며, HNN 분해와 $\ell^2$-Betti 수의 논증을 사용하여 acylindrical hyperbolicity 를 도출함.

실험 결과

연구 질문

• RQ1 G가 유한 차수의 acylindrically hyperbolic 부분군 H를 포함하면 반드시 acylindrical hyperbolicity 를 물려받는가? 본 논문은 일반적으로 참이 아니지만, 추가 조건이 만족되면 성립함을 보임.
• RQ2 3차원 다각형 군의 부분군을 acylindrically hyperbolic, 유한 지수의 표면군, 또는 유한 지수의 다각형군으로 분류하는 분류법을 비방향성 다각형으로 확장할 수 있는가?
• RQ3 논문 [2]의 Lemma 3.9 원본 증명은 복구 가능한가? 만약 가능하면 H와 G에 대해 어떤 더 강력한 가정이 필요한가?
• RQ4 Lemma 3.9에 의존하는 논문 [4]의 결과들이 유한 지수의 $\mathbb{Z}$ 로의 전사 사상이라는 조건이 부족할 경우 어떻게 수정할 수 있는가?
• RQ5 H가 G의 정규 부분군이고 $\mathcal{AH}$-접근 가능하며, 유한 차수이면, $\mathcal{AH}(G)$ 의 poset 가 G의 acylindrical hyperbolicity 를 증명하는 데 사용될 수 있는가?

주요 결과

• 원본 논문의 Lemma 3.9에서 주장한 바, acylindrical hyperbolicity 가 유한 핵을 고려한 공명성에 대해 유지된다는 주장은 일반적으로 잘못되었으며, 무한 생성 집합 X 를 가진 반례로 이를 입증함.
• 수정된 결과는 H 가 정규이면서 $\mathcal{AH}$-접근 가능할 경우 성립함: H 가 acylindrically hyperbolic 이고 G 내에서 정규 부분군이며 유한 차수이면, G 역시 acylindrically hyperbolic 임.
• 정리 3과 7은 밀도 있는 방향성 3차원 다각형 군과 닫힌 비방향성 3차원 다각형 군의 기본군의 부분군을 상호 배타적인 세 유형으로 분류함: acylindrically hyperbolic, 유한 지수의 표면군, 또는 유한 지수의 다각형군.
• Corollary 2.16 는 Lemma 3.9 를 참조하는 대신, (a) 및 (b) 유형의 군(예: 오른쪽-각형 아르틴 군의 부분군)에 대해 직접 증명으로 수정됨.
• 논문 [4]의 Theorem 1.6 증명은 G 가 $\mathbb{Z}$ 로의 가상의 전사 사상이 아닌 실제 전사 사상임을 가정하도록 재수정되었고, HNN 분해와 $\ell^2$-Betti 수의 논증을 통해 acylindrical hyperbolicity 를 도출함.
• 모든 닫힌 비방향성 3차원 다각형 군의 기본군은 그 방향성 이중 커버의 기본군이 acylindrically hyperbolic 이면 acylindrically hyperbolic 임을 보장하며, 이는 방향성 경우의 $\mathcal{AH}$-접근성에 의해 보장됨.