[논문 리뷰] The stable cohomology of automorphisms of free groups with coefficients in the homology representation

Oscar Randal‐Williams|arXiv (Cornell University)|2010. 12. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 8

한 줄 요약

이 논문은 스펙트럴 시퀀스와 레이블이 붙은 그래프 공간의 추측적 호모로지 안정성에 기반하여, 호모로지 표현 H의 대칭 및 외적 힘수의 계수를 갖는 Aut(Fₙ)과 Out(Fₙ)의 안정적 유리 계수 코homology를 계산한다. 낮은 차수에서의 코homology는 ⋀^qH의 경우에만 비영이 되며, 이 경우 Q^ρ(q)와 동형이며, ρ(q)는 q의 정수 분할 수이다. 비슷하게 Sym^qH의 경우, q=1일 때만 차수 1에서 비영이 되며, 나머지는 모두 영이다.

ABSTRACT

We study the cohomology of Aut(F_n) and Out(F_n) with coefficients in the modules \wedge^q H, \wedge H^*, Sym^q H or Sym^q H^*, where H is the Out(F_n)-module obtained by abelianising the free group F_n. For reasons which are not conceptually clear, taking coefficients in H and its related modules behaves in a far less trivial way than taking coefficients in H^* and its related modules. Based on a conjectural homology stability theorem for spaces of graphs labeled by a simply connected background space, we give a stable integral calculation of these groups in low degrees, and modulo a further conjecture a stable rational calculation in all degrees.

연구 동기 및 목표

• Aut(Fₙ)와 Out(Fₙ)의 안정적 유리 코homology를 ⋀^qH, ⋀^qH*, Sym^qH, 및 Sym^qH* 계수로 계산하는 것.
• Fₙ의 아벨화인 H와 그 쌍대공간 H* 사이의 행동에서의 비대칭성을 이해하는 것. 여기서 H 계수에서는 비영 코homology가 나타나지만, H* 계수에서는 낮은 차수에서 영이 된다.
• 단순 연결된 공간으로 레이블이 붙은 그래프 공간의 호모로지 안정성에 기반한 추측적 프레임워크를 수립하여, 낮은 차수에서의 안정적 계산을 가능하게 하는 것.
• Leray 필터레이션을 Semidirect 곱 Aut(Fₙ) ⋉ H 및 Out(Fₙ) ⋉ H의 코homology에 적용하여 스펙트럴 시퀀스와 Becker–Gottlieb 전이를 통해 기술하는 것.
• 안정 범위에서 H*(Aut(Fₙ); ⋀^qH_Q) 및 H*(Out(Fₙ); ⋀^qH_Q)의 완전한 유리 계산을 제공하며, q의 정수 분할 수에 대한 명시적 의존성을 포함하는 것.

제안 방법

• Fₙ → Aut(Fₙ) → Out(Fₙ)의 확장에 대해 Leray–Hochschild–Serre 스펙트럴 시퀀스를 사용하여 H 및 그 텐서 거듭제곱의 계수를 갖는 코homology를 분석한다.
• Galatius의 BOut(Fₙ)에 대한 호모로지 안정성 정리(∨ⁿS¹ 유형의 그래프 공간으로 모델링)를 적용하고, 레이블이 붙은 그래프 공간에 대한 추측적 호모로지 안정성을 통해 계수 체계로 확장한다.
• BAut(Fₙ) ⋉ H* 및 BOut(Fₙ) ⋉ H*를 포함하는 피보라션의 스펙트럴 시퀀스를 사용하여 전체 공간의 코homology를 계산한다. 여기서 선행자는 ∨ⁿS¹이다.
• Becker–Gottlieb 전이를 사용하여 H*(Out(Fₙ) ⋉ H*)의 클래스를 H*(Aut(Fₙ) ⋉ H*)로 올리고, 제약 사상의 단사성을 유추한다.
• Conjecture B(레이블이 붙은 그래프 공간에 대한 호모로지 안정성)와 Conjecture C(스펙트럴 시퀀스의 붕괴)에 의존하여 안정적 유리 코homology 계산을 유도한다.
• 유니버설 계수 정리를 적용하여 코homology 계산에서 호모로지 결과를 복원하고, 유리화된 대칭 및 외적 힘수의 경우가 텐서 거듭제곱의 합성원임을 이용한다.

실험 결과

연구 질문

• RQ1 H의 q차 외적 힘수 계수를 갖는 Aut(Fₙ)의 안정적 유리 코homology는 무엇인가?
• RQ2 H와 H*는 서로 쌍대이지만, H 계수에서는 비영 코homology가 나타나고 H* 계수에서는 낮은 차수에서 영이 되는 이유는 무엇인가?
• RQ3 H*(Aut(Fₙ) ⋉ H; Q)의 Leray 필터레이션은 χ₂, χ₄ 등 특성류의 차수와 어떻게 관련이 있는가?
• RQ4 Out(Fₙ)의 안정적 유리 코homology는 Sym^qH 및 ⋀^qH 계수로 어떻게 계산되며, 이는 q의 정수 분할 수에 어떻게 의존하는가?
• RQ5 레이블이 붙은 정점이 있는 그래프 공간에 관련된 스펙트럴 시퀀스는 비자명한 계수를 갖는 Aut(Fₙ)과 Out(Fₙ)의 코homology를 얼마나 잘 계산할 수 있는가?

주요 결과

• 2* ≤ n - 2q - 3일 때, H*(Aut(Fₙ); ⋀^qH_Q)는 차수 *=q를 제외하고는 모두 영이며, 이 경우 Q^ρ(q)와 동형이다. 여기서 ρ(q)는 q의 정수 분할 수이다.
• 2* ≤ n - 2q - 5일 때, H*(Out(Fₙ); ⋀^qH_Q)는 차수 *=q를 제외하고는 모두 영이며, 이 경우 Q^{ρ̄(q)}와 동형이다. 여기서 ρ̄(q)는 1을 포함하지 않는 q의 분할 수이다.
• 2* ≤ n - 4q - 3일 때, H*(Aut(Fₙ); Sym^qH_Q)는 q=1 및 *=1일 때를 제외하고는 모두 영이며, 이 경우 Q이다.
• 2* ≤ n - 4q - 5일 때, H*(Out(Fₙ); Sym^qH_Q)는 식별적으로 영이다.
• H²(BAut(Fₙ) ⋉ H*; Q)의 클래스 χ₂는 Leray 필터레이션 차수 0을 가지며, i > 1일 때 χ₂ᵢ는 필터레이션 차수 i를 가지며, 단항식 χ₂^a₁χ₄^a₂⋯χ₂ₙ^aₙ의 필터레이션 차수는 2a₂ + ⋯ + naₙ이다.
• Conjecture C에 따라 H*(BAut(Fₙ) ⋉ H*; Q)의 스펙트럴 시퀀스는 유리수 범위에서 붕괴하며, 해당 차수는 안정 범위에서 Q[χ₄, χ₆, χ₈, ...]와 동형이다.