[논문 리뷰] Automorphisms of free groups, I

Laurent Bartholdi|arXiv (Cornell University)|2013. 04. 01.

Geometric and Algebraic Topology참고 문헌 19인용 수 7

한 줄 요약

이 논문은 자유군의 자동화군의 리 대수 구조를 조사하며, $ A_n $ 이 하향 중심 급수의 $ n $번째 몫에 대한 작용의 핵이 되는 $ \mathscr{L}_n = A_n / A_{n+1} $ 과 같은 계수 성분에 초점을 맞춘다. 논문은 Andreadakis의 추측인 $ A_n = \gamma_n(A_1) $ 를 반박하면서 $ A_n = \sqrt{\gamma_n(A_1)} $ 를 증명한다. 이와 함께 $ \mathrm{GL}_r(\mathbb{Q}) $ 위에서의 표현 이론을 사용하여 $ \mathscr{L}_n $ 의 정확한 랭크 공식을 제공한다. 주요 결과는 $ \mathscr{L}_n $ 의 수정된 랭크 공식으로, $ r=3 $ 일 때 $ \operatorname{rank}(\mathscr{L}_4) = 43 $ 이며, $ \mathrm{GL}_r(\mathbb{Q}) $-모듈로로서의 리 대수의 상세한 분해가 수반되어 있다.

ABSTRACT

We describe, up to degree equal to the rank, the Lie algebra associated with the automorphism group of a free group. We compute in particular the ranks of its homogeneous components, and their structure as modules over the linear group. Along the way, we infirm (but confirm a weaker form of) a conjecture by Andreadakis, and answer a question by Bryant-Gupta-Levin-Mochizuki.

연구 동기 및 목표

• 자유군의 자동화군과 관련된 리 대수 $ \mathscr{L} = \bigoplus_{n \geq 1} A_n / A_{n+1} $ 의 구조, 특히 $ \mathrm{GL}_r(\mathbb{Z}) $-모듈로서의 계수 성분을 이해하는 것.
• A_1 의 하향 중심 급수와 필터링 $ A_n $ 간의 관계를 조사하며, $ A_n = \gamma_n(A_1) $ 라는 Andreadakis의 추측을 다루는 것.
• $ \mathscr{L}_n $ 과 $ \mathscr{M}_n $ 의 랭크를 계산하는 것. 여기서 $ \mathscr{M} $ 은 자유군의 프로-노름프레트 완비화의 자동화군의 리 대수이다.
• $ \mathscr{L}_n \otimes \mathbb{Q} $ 의 분해를 $ \mathrm{GL}_r(\mathbb{Q}) $-표현으로서 분석하며, 텐서곱과 양의 도표를 사용하여 기약 성분을 기술하는 것.
• Bryant-Gupta-Levin-Mochizuki 가 제기한 자동화군의 하향 중심 급수의 구조에 관한 질문을 해결하는 것.

제안 방법

• 논문은 $ A_0/A_1 \cong \mathrm{GL}_r(\mathbb{Z}) $ 의 코너지 작용을 $ \mathscr{L}_n $ 에 적용하여 $ \mathrm{GL}_r(\mathbb{Z}) $-모듈로로 다루며, 스칼라 확장을 통해 $ \mathbb{Q} $ 로 확장하여 표현 이론을 적용한다.
• $ \mathscr{M}_n \otimes \mathbb{Q} $ 를 두 개의 부분모듈로 분해한다: 전이 유사 자동화에 의해 생성되는 $ \mathscr{T}_n $ 과 고차항의 교환자와 관련된 $ \mathscr{A}_n $.
• 핵심 기법은 정확한 수열 $ 0 \to \mathscr{T}_n \to \mathscr{M}_n \otimes \mathbb{Q} \xrightarrow{\operatorname{tr}} \mathscr{A}_n \to 0 $ 을 분석하여, $ \mathscr{L}_n \otimes \mathbb{Q} $ 가 기약 $ \mathrm{GL}_r(\mathbb{Q}) $-표현으로서 어떻게 분해되는지 분석하는 것이다.
• 랭크 공식은 $ \mathscr{M}_n \otimes \mathbb{Q} $ 와 핵 $ \mathscr{J}_n $ 의 차원을 비교함으로써 유도되며, 이는 모비우스 함수와 오일러 피 함수를 사용한다.
• 비가환 미분 연산자와 양의 표를 사용하여 $ \mathscr{L}_n $ 의 명시적 기저를 구성함으로써 기약 성분을 분류한다.
• 소규모 $ r $ 과 $ n $ 에 대해 명시적 계산을 수행하여 $ \mathscr{L}_n $ 의 구조를 검증하며, 특히 $ r=3, n=4 $ 의 경우를 포함하여 이전의 랭크 추정치를 수정한다.

실험 결과

연구 질문

• RQ1 Andreadakis의 추측 $ A_n = \gamma_n(A_1) $ 는 모든 $ r $ 과 $ n $ 에 대해 참인가?
• RQ2 $ \mathscr{L}_n = A_n / A_{n+1} $ 의 $ n $번째 계수 성분의 정확한 랭크는 얼마인가?
• RQ3 리 대수 $ \mathscr{L} $ 이 자유군의 프로-노름프레트 완비화의 자동화군의 리 대수인 $ \mathscr{M} $ 에 어떻게 통합되는가?
• RQ4 $ \mathscr{L}_n \otimes \mathbb{Q} $ 는 $ \mathrm{GL}_r(\mathbb{Q}) $-표현으로서 어떻게 분해되는가? 그리고 $ \mathscr{M}_n \otimes \mathbb{Q} $ 와의 관계는 어떠한가?
• RQ5 $ \mathscr{L}_n $ 이 $ \mathscr{M}_n $ 에서 전사가 되지 않는 $ r $ 과 $ n $ 는 무엇인가?

주요 결과

• 논문은 $ A_n = \sqrt{\gamma_n(A_1)} $ 를 증명하여, $ A_n $ 이 $ \gamma_n(A_1) $ 의 거듭제곱이 포함된 모든 원소의 집합임을 보이며, 따라서 Andreadakis의 추측인 $ A_n = \gamma_n(A_1) $ 는 참이 아님을 반박한다.
• $ r=3 $, $ n=7 $ 일 때, 몫 $ A_n / \gamma_n(A_1) \cong \mathbb{Z}/3\mathbb{Z} $ 이며, 이는 추측이 작은 계수에서도 실패함을 보여준다.
• $ \mathscr{L}_n $ 의 랭크는 공식 $ \operatorname{rank}(\mathscr{L}_n) = \frac{r}{n+1} \sum_{d|n+1} \mu(d) r^{(n+1)/d} - \frac{1}{n} \sum_{d|n} \phi(d) r^{n/d} $ 로 주어지며, 이는 이전의 추정치를 수정한 것이다.
• $ r=3 $ 일 때, 수정된 $ \mathscr{L}_4 $ 의 랭크는 이전에 Andreadakis 가 계산한 44가 아니라 43이다.
• $ \mathscr{L}_n \otimes \mathbb{Q} $ 의 $ \mathrm{GL}_r(\mathbb{Q}) $-모듈로서의 분해는 양의 표를 통해 기술되며, 일부 $ \mathscr{M}_n \otimes \mathbb{Q} $ 에서 유래한 기약 성분은 $ \mathscr{L}_n $ 에서 나타나지 않으며, 특히 많은 행을 가진 성분들이 그러하다.
• 논문은 $ n \geq 3 $ 일 때 $ \mathscr{L}_n $ 이 $ \mathscr{M}_n $ 과 동형이 아니며, $ \mathscr{L} $ 이 $ \mathscr{M} $ 에 들어가는 이미지가 닫혀 있지 않음을 보이며, $ r=3, n=5 $ 일 때 $ \dim \mathscr{L}_n < \dim \mathscr{M}_n $ 이다.