[논문 리뷰] Stable homology of automorphism groups of free groups

Søren Galatius|ArXiv.org|2006. 10. 06.

Geometric and Algebraic Topology인용 수 5

한 줄 요약

이 논문은 자유군 Fₙ의 자기동형사상군 Aut(Fₙ)의 정수 계수 호모로지가 n > 2k+1 인 범위에서 대칭군 Σₙ의 호모로지와 동형이 되는 범위로 안정화됨을 확립한다. 그래프 코버디즘 분류체와 외부 공간의 층 이론적 모델을 포함한 호모토피 이론적 도구를 사용하여, 작도 공간 BAutₙ(F)가 BΣₙ와 호모로지 동치임을 증명함으로써, Aut(Fₙ)의 안정적 유리 계수 호모로지가 영이 되며, Z × BAut∞⁺ ≃ QS⁰임을 확인한다.

ABSTRACT

Homology of the group Aut(F_n) of automorphisms of a free group on n generators is known to be independent of n in a certain stable range. Using tools from homotopy theory, we prove that in this range it agrees with homology of symmetric groups. In particular, Aut(F_n) has no stable rational homology, settling a conjecture of Hatcher and Vogtmann.

연구 동기 및 목표

• 자유군의 n개 생성자를 가진 자기동형사상군 Aut(Fₙ)의 안정적 호모로지를 결정하는 것.
• Hatcher와 Vogtmann이 제기한, Aut(Fₙ)의 안정적 유리 계수 호모로지가 영이 되는 추측을 해결하는 것.
• Z × BAut∞⁺와 QS⁰ 사이의 호모토피 이론적 동치를 확립하여 Barratt-Priddy-Quillen 정리의 일반화를 이룩하는 것.
• 외부 공간의 층 이론적 모델을 통해 Aut(Fₙ)의 호모로지 안정성 패tern을 맵핑 클래스군과 대칭군의 패턴과 통합하는 것.

제안 방법

• R^N 위에 그래프의 층을 구성하여 삽입된 그래프와 그 자동사상의 공간을 모델링한다.
• 작도 분류체의 분류공간이 안정적 호모토피 유형을 모델링하는 그래프 코버디즘 분류체 Cₙ^N을 도입한다.
• 그래프 코버디즘 분류체의 호모토피 유형을 호모토피 콜리미트 분해를 통해 분석하기 위해 순서집합 모델을 사용한다.
• 푸시아웃 다이어그램과 호모토피 콜리미트 분해를 적용하여 그래프 스펙트럼의 호모토피 유형을 계산한다.
• 코버디즘 분류체의 분류공간과 테오리 스펙트럼의 루프 공간 사이의 약한 동치를 확립한다.
• 직교 보조다발의 테오리 스펙트럼과의 약한 동치를 통해 그래프 스펙트럼이 무한 루프 공간 QS⁰과 약한 동치임을 이용한다.

실험 결과

연구 질문

• RQ1 Hatcher와 Vogtmann이 추측한 바와 같이, Aut(Fₙ)의 안정적 유리 계수 호모로지가 영이 되는가?
• RQ2 Barratt-Priddy-Quillen 정리와 유사하게, Z × BAut∞⁺와 QS⁰ 사이에 호모토피 이론적 동치가 존재하는가?
• RQ3 안정 범위에서 Aut(Fₙ)의 호모로지는 대칭군 Σₙ의 호모로지와 어떻게 관련이 있는가?
• RQ4 자동사상군의 분류공간의 호모토피 유형은 그래프의 코버디즘 분류체를 통해 기술될 수 있는가?
• RQ5 그래프 스펙트럼은 Aut(Fₙ)의 안정적 호모토피 유형을 어떻게 실현하는가?

주요 결과

• n > 2k+1 인 경우, φₙ: Σₙ → Aut(Fₙ)는 정수 계수 호모로지 Hₖ(Σₙ) → Hₖ(Aut(Fₙ))에서 동형을 유도한다.
• Aut(Fₙ)의 안정적 유리 계수 호모로지는 모든 차수에서 영이 되며, Hatcher-Vogtmann의 추측을 확인한다.
• 분류공간 BAut∞⁺는 BAut∞의 플러스-구성에 의해 QS⁰와 약한 호모토피 동치이다.
• 그래프 코버디즘 분류체 Cₙ^N의 분류공간은 Ω^{N-1}Ψ_d(R^N)인 루프 공간과 약한 동치이다. 이는 d차원 부분다양체의 공간이다.
• 테오리 스펙트럼 Th(U_d,N^⊥)는 (V,v)를 V−v로 보내는 사상 q를 통해, 닫힌 d차원 부분다양체의 공간 Ψ_d(R^N)과 약한 동치이다.
• 무한 루프 공간 QS⁰는 B𝒞_d^N의 극한으로 복원되며, 이는 맵핑 클래스군의 Madsen-Weiss 정리를 자유군 자동사상군의 맥락에서 복원한다.