[논문 리뷰] Virtually splitting the map from Aut(G) to Out(G)

Mathieu Carette|arXiv (Cornell University)|2013. 01. 18.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 자연스러운 사상 Aut(G) → Out(G)가 유한 중심자와 함께 거의 안정자(AS) 부분군을 갖는 것으로 충분한 조건을 설정하여, 잔여 유한한 CAT(0) 군과 초구형 군에 적용한다. 핵심 결과는 유한 생성 코크세터 군에 대해 이 사상이 유한 첨가적으로 분리되며, 이는 Out(G)가 잔여 유한하고 유한 토르션 자유임을 의미한다.

ABSTRACT

We give an elementary criterion on a group G for the map from Aut(G) to Out(G) to split virtually. This criterion applies to many residually finite CAT(0) groups and hyperbolic groups, and in particular to all finitely generated Coxeter groups. As a consequence the outer automorphism group of any finitely generated Coxeter group is residually finite and virtually torsion-free.

연구 동기 및 목표

• 유한 생성 잔여 유한 군에 대해 자연스러운 사상 Aut(G) → Out(G)가 유한 첨가적으로 분리되는 조건을 규명하는 것.
• 사상 Aut(G) → Out(G)가 유한 첨가적으로 분리될 경우 외부자기동형군 Out(G)가 잔여 유한함을 입증하는 것.
• 기준을 특정 군의 계열, 특히 유한 생성 코크세터 군과 토르션을 가진 CAT(0) 군에 적용하는 것.
• 모든 유한 생성 코크세터 군의 외부자기동형군이 잔여 유한하고 유한 토르션 자유임을 보여주는 것.
• CAT(0) 공간에서 유한 부분군의 고정점 집합이 유계임이라는 기하학적 조건을 바탕으로 유한 첨가적 분리의 기준을 제시하는 것.

제안 방법

• G 내의 AS(거의 안정자) 부분군 H를 도입하며, H는 유한하고 중심자가 유한하며, CAT(0) 공간에서 H의 고정점 집합이 유계임을 만족한다.
• 이러한 AS 부분군 H의 존재를 이용해 Out(G)의 유한 지수 부분군에서 Aut(G)로의 가상의 분할을 구성함으로써 사상이 유한 첨가적으로 분리되도록 보장한다.
• Malcev의 정리에 따라 일종의 관계를 가진 군에서 토르션을 가진 군이 잔여 유한하고 AS 기준을 만족함을 보여주기 위해 선형성과 잔여 유한성에 기반한다.
• 초구형 군의 경우 Bass-Serre 이론과 JSJ 분해를 활용하여, JSJ 트리 작용에서 정점 안정자에 의해 AS 부분군을 식별한다.
• Wise의 작업에 의해 유한 생성 코크세터 군이 ℤ 위에서 선형임을 보여주어 잔여 유한성을 확보하고 주요 기준을 적용한다.
• 코크세터 군에서 최대 유한 부분군이 유효한 AS 부분군이 되며, 이는 Aut(G) → Out(G)의 유한 첨가적 분리를 가능하게 한다.

실험 결과

연구 질문

• RQ1 유한 생성 잔여 유한 군 G에 대해 사상 Aut(G) → Out(G)가 어떤 조건에서 유한 첨가적으로 분리되는가?
• RQ2 사상 Aut(G) → Out(G)가 유한 첨가적으로 분리될 경우, 외부자기동형군 Out(G)가 잔여 유한함을 증명할 수 있는가?
• RQ3 유한 생성 코크세터 군은 AS 부분군 기준을 만족하는가? 그리고 이는 자동사상 사상의 유한 첨가적 분리를 의미하는가?
• RQ4 토르션을 가진 초구형 군과 CAT(0) 군에 대해, 유한 부분군의 고정점 집합에 대한 기하학적 조건이 유한 첨가적 분리를 보장할 수 있는가?
• RQ5 일종의 관계를 가진 군에서 토르션을 가진 군의 외부자기동형군은 잔여 유한한가? 그리고 자동사상 사상은 유한 첨가적으로 분리되는가?

주요 결과

• G가 유한 부분군 H를 가지며 중심자가 유한하고, 유한 부분군의 동치류가 유한 개일 경우, 사상 Aut(G) → Out(G)는 유한 첨가적으로 분리된다.
• 모든 유한 생성 코크세터 군 G에 대해 사상 Aut(G) → Out(G)는 유한 첨가적으로 분리되며, 따라서 Out(G)는 잔여 유한하다.
• Out(G)는 잔여 유한할 뿐 아니라, 모든 유한 생성 코크세터 군 G에 대해 유한 토르션 자유이다.
• G가 유한 생성 코크세터 군일 경우, Out(G)는 유한 개를 제외한 모든 소수 p에 대해 유한 첨가적으로 잔여 p-유한하다.
• 이 기준은 잔여 유한한 모든 CAT(0) 군에 대해 적용되며, G의 유한 부분군 H가 CAT(0) 공간에서 고정점 집합이 유계일 경우에 해당한다.
• 일종의 관계를 가진 군에서 토르션을 가진 군은 AS 기준을 만족하므로, Aut(G) → Out(G)는 유한 첨가적으로 분리되며, 이는 Out(G)가 잔여 유한하다는 것을 의미한다.