[논문 리뷰] Stabilit\\'e homologique pour les groupes d'automorphismes des produits libres

James T. Griffin, Aurélien Djament외 1명|arXiv (Cornell University)|2011. 09. 13.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 자유곱에 대해 분해 불가능하고 Z와 동형이 아닌 군 G에 대해, Aut(G∗n) → Aut(G∗n+1)의 포함사상이 정수 계수 호모로지 Hi에서 동형사를 유도함을 증명한다. 이는 n ≥ 2i + 2일 때 성립한다. 저자들은 McCullough-Miller 및 Chen-Glover-Jensen의 약한 위상성 결과를 활용하여 임의의 G에 대해 대칭 자기동형군으로 이 결과를 확장하고, 함자 호모로지 이론을 적용하여 관련 호모로지 함자의 다항성(differentiability)을 증명한다.

ABSTRACT

We show in this article that, for any group $G$ indecomposable for the free product * and non-isomorphic to $\\mathbf{Z}$, the canonical inclusion ${\ m Aut}(G^{*n})\ o {\ m Aut}(G^{* n+1})$ induces an isomorphism between the homology groups $H_i$ for $n\\geq 2i+2$, as was conjectured by Hatcher and Wahl. In fact we show a little more --- in particular, the result is true for any group $G$ if we replace the automorphism group of the free product by the subgroup of symmetric automorphisms. For this purpose we use constructions and acyclicity results due to McCullough-Miller and Chen-Glover-Jensen and functoriality properties which allow us to apply classical methods in functor homology.

연구 동기 및 목표

• G가 자유곱에 대해 분해 불가능하고 Z와 동형이 아닐 때 Aut(G∗n)에 대한 호모로지 안정성을 증명하는 것.
• 임의의 G에 대해 대칭 자기동형군의 부분군으로서의 안정성 결과를 확장하는 것.
• Fouxe-Rabinovitch 군 FR(G)의 호모로지가 최대 차수 2i의 다항함수임을 증명하여, 함자 호모로지 기법을 통해 안정성을 확보하는 것.
• 스펙트럴 시퀀스와 수축 가능한 공간의 약한 위상성 결과를 활용하여 FR(G)-호모로지를 분석하는 것.
• 함자성과 다항함수를 적용하여 다항함수 차수의 상한에서 유도된 안정성 결과를 도출하는 것.

제안 방법

• Chen-Glover-Jensen 및 McCullough-Miller의 결과를 바탕으로, 수축 가능한 공간에 대해 적절한 FR(G)-작용을 구성하는 것.
• H∗(FR(G))로 수렴하는 스펙트럴 시퀀스를 구성하며, E2-페이지는 점지점 집합과 함자들의 호모로지를 포함한다.
• 소규모 카테고리와 함자 카테고리 위에서의 호모로지 대수학을 적용하여 스펙트럴 시퀀스를 분석하는 것.
• Eilenberg-MacLane 및 Betley의 방법에 따라 Gr≀Θ → Ab 형태의 다항함수 T의 차수를 정의하는 것.
• 림의 조합적 상한을 이용하여 Hq(FR(G); Z)가 최대 차수 2q의 다항함수임을 증명하는 것.
• 다항함수를 통한 자기동형군의 왜곡된 호모로지에 대한 안정화 정리 적용.

실험 결과

연구 질문

• RQ1 G가 자유곱에 대해 분해 불가능하고 Z와 동형이 아닐 때, n ≥ 2i + 2이면 포함사상 Aut(G∗n) → Aut(G∗n+1)이 호모로지 Hi에서 동형사를 유도하는가?
• RQ2 이 안정성 결과는 임의의 군 G에 대해 대칭 자기동형군 부분군으로까지 확장될 수 있는가?
• RQ3 함수 G ↦ Hq(FR(G); Z)는 최대 차수 2q의 다항함수인가?
• RQ4 대칭 자기동형군 ΣAut(G)는 자유곱의 호모로지 안정화에 어떤 역할을 하는가?
• RQ5 함자 호모로지 기법을 어떻게 적용하여 자유곱의 자기동형군에 대한 안정성을 증명할 수 있는가?

주요 결과

• G가 자유곱에 대해 분해 불가능하고 Z와 동형이 아닐 때, n ≥ 2i + 2이면 포함사상 Aut(G∗n) → Aut(G∗n+1)이 정수 계수 호모로지 Hi에서 동형사를 유도한다.
• 이 결과는 임의의 군 G에 대해 대칭 자기동형군 ΣAut(G)의 부분군으로 더 일반적으로 성립한다.
• 호모로지 함수 Hq(FR(G); Z)는 최대 차수 2q의 다항함수이며, 이는 안정성 결과를 암시한다.
• FR(G)-작용이 수축 가능한 공간에 대해 작용하는 데 관련된 스펙트럴 시퀀스의 E2-페이지는 H∗(X, A ↦ Hq(R◦S)) 형태의 항들을 포함하며, 여기서 X는 나무들의 유한한 부분순서집합이다.
• 증명은 숲에서의 침묵하는 정점 수에 대한 차수 상한에 기반하며, 이는 |E| ≥ 2q + 1일 때 제약 맵의 상사상성(서젝티비티)을 보장한다.
• 스펙트럴 시퀀스 분석과 Hq(FR(G); Z)의 다항성의 조합을 통해, 자기동형군의 왜곡된 호모로지에 대한 정리에 따라 안정화 결과가 도출된다.