[논문 리뷰] The rhombic dodecahedron and semisimple actions of Aut(F_n) on CAT(0) spaces

Martin R. Bridson|arXiv (Cornell University)|2011. 02. 28.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 완비 CAT(0) 공간 위에서 Aut(Fₙ)의 반단순 등급 이sov메트릭 작용을 조사하며, n ≥ 4일 때 모든 니엘슨 생성자가 고정점을 가짐을 증명한다. n = 3일 경우, 모든 니엘슨 생성자가 고정점을 가지거나, 각각의 ℤ⁴가 등급이 잘린 3차원 평면 위에서 이sov메트릭으로 작용하며, 루모닉 드오데카에드론이 기본 도메인을 이룸을 보인다. 이 작업은 n ≥ 2일 때 Aut(Fₙ)과 Out(Fₙ)가 컴act Kähler 다양체의 기본군이 아니라는 것을 확립한다.

ABSTRACT

We consider actions of automorphism groups of free groups by semisimple isometries on complete CAT$(0)$ spaces. If $n\\ge 4$ then each of the Nielsen generators of Aut$(F_n)$ has a fixed point. If $n=3$ then either each of the Nielsen generators has a fixed point, or else they are hyperbolic and each Nielsen-generated $\\Z^4\\subset Aut(F_3)$ leaves invariant an isometrically embedded copy of Euclidean 3-space on which it acts as a discrete group of translations with the rhombic dodecahedron as a fundamental domain. An abundance of actions of the second kind is described. Constraints on maps from Aut$(F_n)$ to mapping class groups and linear groups are obtained. If $n\\ge 2$ then neither Aut$(F_n)$ nor Out$(F_n)$ is the fundamental group of a compact K\\"ahler manifold.

연구 동기 및 목표

• CAT(0) 공간 위에서 Aut(Fₙ)의 작용에 대한 기하적 제약 조건을 반단순 등급 이sov메트리즘을 통해 이해하기.
• 니엘슨 생성자가 등급 이sov메트리즘으로 작용할 때 고정점을 가지는지(타원형) 또는 이동축을 가지는지(하이퍼볼릭)를 판단하기.
• 특히 니엘슨 변환으로 생성된 ℤ⁴ 부분군을 중심으로 Aut(F₃)의 CAT(0) 공간 위에서 가능한 작용을 분류하기.
• 특히 Kähler 군과 선형 표현 이론에 관한 위상적 및 표현론적 결과를 도출하기.
• n ≥ 2일 때 Aut(Fₙ)와 Out(Fₙ)가 컴act Kähler 다양체의 기본군이 아니라는 것을 증명하기.

제안 방법

• CAT(0) 공간 내 이sov메트리즘의 이동 길이를 분석하기 위해 Karlsson-Margulis 보조정리를 사용하기.
• n ≥ 4일 때 니엘슨 생성자가 반단순 작용에서 반드시 고정점을 가짐을 보이기 위해 Gersten의 아이디어를 적용하기.
• Aut(F₃)에서 니엘슨 변환으로 생성된 ℤ⁴ 부분군의 기하학적 분석을 통해, 이들이 이sov메트릭으로 임bed된 ℝ³ 위에서 이산적으로 작용하며, 루모닉 드오데카에드론이 기본 도메인임을 보임.
• n = 3인 경우, 니엘슨 ℤ⁴ 부분군의 작용을 특징짓기 위해 루모닉 드오데카에드론을 Dirichlet 도메인으로 사용하기.
• 표준 표현 Aut(Fₙ) → GL(n, ℤ)의 강성과 그 표현 이론적 함의를 활용하기.
• Simpson의 비변형성 결과와 호지 이론적 차단 조건을 적용하여, Aut(Fₙ)와 Out(Fₙ)가 Kähler 군이 아니라는 것을 증명하기.

실험 결과

연구 질문

• RQ1 n ≥ 4일 때, 완비 CAT(0) 공간 위의 반단순 등급 이sov메트릭 작용에서 Aut(Fₙ)의 모든 니엘슨 생성자는 고정점을 가지는가?
• RQ2 n = 3인 경우, 니엘슨 변환이 하이퍼볼릭적으로 작용할 수 있으며, 만약 그렇다면 그 ℤ⁴ 부분군은 어떤 기하학적 구조를 유지하는가?
• RQ3 Aut(F₃)에서 니엘슨 ℤ⁴ 부분군의 작용과 관련된 통일된 기하학적 불변량(예: 기본 도메인)이 존재하는가?
• RQ4 CAT(0) 공간 위의 작용이 Aut(Fₙ)에서 매핑 클래스 군 또는 선형 군으로의 호모모르피즘에 어떤 제약을 가하는가?
• RQ5 n ≥ 2일 때 Aut(Fₙ)와 Out(Fₙ)는 컴act Kähler 다양체의 기본군인가?

주요 결과

• n ≥ 4일 때, 완비 CAT(0) 공간 위의 반단순 등급 이sov메트릭 작용에서 Aut(Fₙ)의 모든 니엘슨 생성자는 고정점을 가진다.
• n = 3일 경우, 모든 니엘슨 생성자가 고정점을 가지거나, 각각의 니엘슨 ℤ⁴ 부분군이 이sov메트릭으로 임bed된 ℝ³ 위에서 이산적으로 작용하며, 루모닉 드오데카에드론이 기본 도메인임을 보인다.
• Aut(F₃)의 하이퍼볼릭 작용이 많게 존재하며, 이는 선형 표현과 Out(F₃)가 비아벨 자유군으로의 유한지수 부분군을 갖는다는 사실에서 기인한다.
• n ≥ 6일 때, 어떤 완비 CAT(0) 공간 위의 등급 이sov메트릭 작용에서도 모든 니엘슨 생성자의 이동 길이는 0이 되며, 이는 타원형 또는 중립적 포라볼릭임을 의미한다.
• H₁(Fₙ, ℤ) 위에서 Aut(Fₙ)의 표준 표현은 강성 있으며, 이 강성은 n ≥ 2일 때 Aut(Fₙ)와 Out(Fₙ)가 Kähler 군이 될 수 없음을 암시한다.
• n ≥ 6일 때, 어떤 표현 Φ: Aut(Fₙ) → SL(d, ℝ)의 이미지도 니엘슨 생성자의 이동 길이가 0이므로, 고유값의 절댓값은 1이어야 한다.