[논문 리뷰] Subgroups and quotient groups of automorphism groups of RAAGs

Ruth Charney, Karen Vogtmann|arXiv (Cornell University)|2009. 09. 13.

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

한 줄 요약

이 논문은 오른쪽 각을 가진 아르틴 군(RAAG)의 외부자기동형군의 부분군과 몫군을 조사하며, 모든 RAAG에 대해 $\mathrm{Out}(A_\Gamma)$가 잔여 유한임을 증명하고, 균일한 RAAG의 광범위한 클래스에서 티츠 대안을 만족함을 보인다. 또한 특정 조건 하에서 비가환 부분군은 가환 부분군의 유한지름을 갖는다고 보여주며, 인접한 전위를 제외한 부분군 $\widetilde{\mathrm{Out}}(A_\Gamma)$가 강력한 티츠 대안을 만족함을 규명한다. 이는 비가환 가환 부분군을 포함하지 않음을 의미한다.

ABSTRACT

We study subgroups and quotients of outer automorphism groups of right-angled Artin groups (RAAGs). We prove that for all RAAGS, the outer automorphism group is residually finite and, for a large class of RAAGs, it satisfies the Tits alternative. We also investigate which of these automorphism groups contain non-abelian solvable subgroups.

연구 동기 및 목표

• 오른쪽 각을 가진 아르틴 군(RAAG)의 외부자기동형군 $\mathrm{Out}(A_\Gamma)$의 부분군 구조를 이해하기 위해.
• RAAG의 $\mathrm{Out}(A_\Gamma)$가 티츠 대안을 만족하고, 가환 부분군의 구조가 유한한 조건을 규명하기 위해.
• 정의 그래프 $\Gamma$가 $\mathrm{Out}(A_\Gamma)$의 유한성 성질과 부분군 행동에 미치는 영향을 조사하기 위해.
• 특히 비가환 자유 부분군과 관련하여, 인접한 전위를 제외했을 때 $\mathrm{Out}(A_\Gamma)$의 구조에 미치는 영향을 분석하기 위해.

제안 방법

• 이전 연구에서 유도된 제약 및 투사 준동형사상을 활용하여 $\mathrm{Out}(A_\Gamma)$에 대한 전반적 질문을 더 작은 부분군으로 환원한다.
• 정의 그래프 $\Gamma$의 차원에 대한 귀납법을 적용하며, 최대 정점 $v$에 대해 투사 사상 $P_v: \mathrm{Out}^0(A_\Gamma) \to \mathrm{Out}^0(A_{\mathrm{lk}[v]})$를 사용한다.
• 특히 잎 전위를 포함한 인접 전위를 제외함으로써 부분군 $\widetilde{\mathrm{Out}}^0(A_\Gamma)$를 도입한다.
• 무한 순서 원소의 이동 길이 분석을 통해 $\widetilde{\mathrm{Out}}^0(A_\Gamma)$에서 양의 성질을 확립하며, 이는 강력한 티츠 대안을 증명하는 데 핵심 단계이다.
• 베스트비나, 콘너, 게르스텐–숏의 결과를 적용하여, 양의 성질을 갖는 유한 생성 아벨 부분군을 가진 유한 토르션 자유 군에 대해, 가환 부분군이 유한지름을 갖는다는 것을 결론 내린다.
• $\mathrm{Out}(F_n)$과 $GL(n,\mathbb{Z})$가 유한 생성 아벨 부분군을 갖는다는 사실을 활용하여, $\Gamma$가 균일할 경우 $\mathrm{Out}^0(A_\Gamma)$에 대해서도 이를 귀납적으로 증명한다.

실험 결과

연구 질문

• RQ1 모든 RAAG에 대해 $\mathrm{Out}(A_\Gamma)$는 잔여 유한한가?
• RQ2 $\Gamma$가 균일할 경우 $\mathrm{Out}(A_\Gamma)$는 티츠 대안을 만족하는가?
• RQ3 균일한 $\Gamma$에 대해 $\mathrm{Out}(A_\Gamma)$의 가환 부분군의 최대 가상 유도 길이는 얼마인가?
• RQ4 언제 모든 가환 부분군이 $\mathrm{Out}(A_\Gamma)$에서 유한지름을 갖는가?
• RQ5 인접 전위를 제외하여 얻은 부분군 $\widetilde{\mathrm{Out}}(A_\Gamma)$는 강력한 티츠 대안을 만족하는가?

주요 결과

• 모든 RAAG에 대해 $\mathrm{Out}(A_\Gamma)$는 제약 사상과 귀납법을 통해 잔여 유한함을 증명하였다.
• 만일 $\Gamma$가 균일할 경우 $\mathrm{Out}(A_\Gamma)$는 티츠 대안을 만족한다. 즉, 모든 부분군은 유한지름을 갖는 가환 부분군이거나 비가환 자유군을 포함한다.
• 균일한 $\Gamma$일 경우 $\mathrm{Out}(A_\Gamma)$의 가환 부분군의 가상 유도 길이는 유한하며, 이는 $\Gamma$의 차원에 따라 결정된다.
• 인접 전위를 제거하여 얻은 부분군 $\widetilde{\mathrm{Out}}^0(A_\Gamma)$는 모든 무한 순서 원소에 대해 양의 이동 길이를 갖는다.
• 결과적으로 $\widetilde{\mathrm{Out}}(A_\Gamma)$는 강력한 티츠 대안을 만족한다: 모든 부분군은 유한지름을 갖는 가환 부분군이거나 비가환 자유군을 포함한다.
• 만일 $\Gamma$가 연결되어 있고 삼각형이 없으며 잎이 없을 경우, $\mathrm{Out}(A_\Gamma)$의 모든 가환 부분군은 유한지름을 갖는다. 이 경우 $\widetilde{\mathrm{Out}}(A_\Gamma) = \mathrm{Out}(A_\Gamma)$이기 때문이다.