[논문 리뷰] Fixed points for actions of Aut(Fn) on CAT(0) spaces

Olga Varghese|arXiv (Cornell University)|2011. 12. 21.

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

한 줄 요약

이 논문은 완전한 CAT(0) 공간 위에서 Aut(Fn) 및 SAut(Fn)의 작용에 대해 차원에 따라 날카로운 고정점 정리들을 수립한다. 유한 부분군을 지닌 새로운 생성집합과 CAT(0) 공간에 대한 확장된 헬리의 정리(extended Helly’s theorem)를 사용하여, n ≥ 4이면 d < 2⌊n/4⌋ − 1일 때 Aut(Fn)은 임의의 d차원 CAT(0) 공간에서 고정점을 가지며, 마찬가지로 n ≥ 5이면 d < 2⌊(n−1)/4⌋ − 1일 때 SAut(Fn)도 고정점을 가짐을 증명한다. 이는 표현 이론에 강력한 함의를 가진다.

ABSTRACT

For n greater or equal 4 we discuss questions concerning global fixed points for isometric actions of Aut(Fn), the automorphism group of a free group of rank n, on complete CAT(0) spaces. We prove that whenever Aut(Fn) acts by isometries on complete d-dimensional CAT(0) space with d is less than 2 times the integer function of n over 4 and minus 1, then it must fix a point. This property has implications for irreducible representations of Aut(Fn), which are also presented here. For SAut(Fn), the unique subgroup of index two in Aut(Fn), we obtain similar results.

연구 동기 및 목표

• 완전한 CAT(0) 공간에서 Aut(Fn) 및 SAut(Fn)가 전역 고정점 성질을 가지는 최대 차원 d를 결정하는 것.
• 기존의 단순체계 트리(Fa)에서의 고정점 결과를 고차원 CAT(0) 공간(FAd)으로 확장하는 것.
• 생성집합의 조합론과 기하군론 기법을 사용하여 고정점 성질에 대한 날카로운 차원 경계를 수립하는 것.
• Aut(Fn) 및 SAut(Fn)의 표현 이론에 대한 결과를 도출하여, 특히 불가약 표현의 공轭류의 유한성에 대해 논의하는 것.

제안 방법

• 모든 쌍의 생성자가 유한 부분군을 생성하도록 하는 Aut(Fn) 및 SAut(Fn)의 유한 생성집합을 구성하는 것.
• d차원 CAT(0) 공간에서 닫힌 볼록 부분집합의 유한 가족에 대한 헬리의 정리의 확장된 형태를 적용하는 것.
• 파르브의 고정점 기준: 생성집합의 (d+1)원소 부분집합이 모두 고정점을 가지면 전체 군도 전역 고정점을 가짐.
• 브리드슨의 정리(공轭하는 교환 부분군에 대한)를 활용하여 고정점 문제를 유한 부분군으로 환원하는 것.
• 대칭공간과 아핀 빌딩 위에서 Aut(Fn) 및 SAut(Fn)의 작용을 분석하여 날카로운 차원 경계를 확립하는 것.
• 위의 방법들을 결정식 준동형사상과 임bedding 기법을 결합하여 문제를 낮은 랭크 군으로 환원하는 것.

실험 결과

연구 질문

• RQ1 어느 차원 d에서 Aut(Fn)이 완전한 d차원 CAT(0) 공간에서 전역 고정점 성질을 가지는가?
• RQ2 Aut(Fn)이 임의의 완전한 d차원 CAT(0) 공간에서 전역 고정점을 가지는 데에 대한 날카로운 상한 d는 무엇인가?
• RQ3 Aut(Fn)의 고정점 성질은 GLn(Z)와 비교해 볼 때 어떻게 다른가? 이는 그들의 표현 이론에 어떤 함의를 갖는가?
• RQ4 특수자기동형군 SAut(Fn)에 대한 유사한 고정점 경계는 무엇이며, Aut(Fn)과 어떻게 다를까?
• RQ5 고정점 성질은 GLd(K) 또는 SLd(K)로의 불가약 표현의 공轭류 수에 어떤 제약을 가하는가?

주요 결과

• n ≥ 4이면, d < 2⌊n/4⌋ − 1일 때, Aut(Fn)은 임의의 완전한 d차원 CAT(0) 공간에서 전역 고정점 성질을 가진다.
• n ≥ 5이면, d < 2⌊(n−1)/4⌋ − 1일 때, SAut(Fn)은 임의의 완전한 d차원 CAT(0) 공간에서 전역 고정점 성질을 가진다.
• 고정점 성질은 K가 대수적으로 닫혀 있을 때, d ≤ 2⌊n/4⌋ − 1이면 ρ: Aut(Fn) → GLd(K)의 불가약 표현의 공轭류가 유한개임을 의미한다.
• 마찬가지로, SAut(Fn)의 경우 d ≤ 2⌊(n−1)/4⌋ − 1이면 ρ: SAut(Fn) → SLd(K)의 불가약 표현의 공轭류가 유한개이다.
• 2⌊n/4⌋ − 1의 경계는 날카로운데, 이는 큰 n에 대해 이 경계를 초월하는 차원 ½n(n+1)을 가진 대칭공간 Pn(R)에서 Aut(Fn)이 전역 고정점을 가지지 않기 때문이다.
• 결과는 GLn(Z) 및 SLn(Z)로도 확장되며, 동일한 차원 경계 하에서 이들 역시 FAd 성질을 가짐을 보여준다.