[논문 리뷰] Sur l'homologie des groupes d'automorphismes des groupes libres \\`a coefficients polynomiaux

Aurélien Djament, Christine Vespa|arXiv (Cornell University)|2012. 10. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 3

한 줄 요약

이 논문은 자유군의 자기동형군의 안정적 호모로지가 감소된 다항식 코variant 함자로 주어진 계수를 가질 때 0이 됨을 증명한다. 반대방향 다항식 함자로, 아벨화를 통과하는 경우, 첫 번째 안정적 호모로지 군을 다항식 함자와 항등함자의 텐서곱과 동형으로 계산하여, 이 경우 비자명한 안정적 호모로지가 존재함을 드러낸다.

ABSTRACT

We study in this article stable homology of automorphism groups of free groups with coefficients twisted by a poynomial functor. We show that this homology is zero for a reduced covariant polynomial functor. For a reduced contravariant functor, we compute the first homology group, which is in general non zero. Our methods relie on the use of functor categories. ---On \\'etudie dans cet article l'homologie stable des groupes d'automorphismes des groupes libres \\`a coefficients tordus par un foncteur polynomial. On montre que cette homologie est nulle pour un foncteur polynomial covariant r\\'eduit. Dans le cas d'un foncteur polynomial r\\'eduit contravariant, on calcule le premier groupe d'homologie, qui n'est g\\'en\\'eralement pas nul. Nos m\\'ethodes reposent sur l'utilisation de cat\\'egories de foncteurs.

연구 동기 및 목표

• 자유군의 자기동형군의 안정적 호모로지를 다항식 함자로 주어진 왜곡 계수를 가진 경우에 대해 결정하는 것.
• 이전에 위상적 방법으로 확보된 안정적 호모로지에 대한 알려진 결과를 더 넓은 대수적 프레임워크로 확장하는 것.
• 아벨화를 통과하는 반대방향 다항식 함자에 대해 첫 번째 안정적 호모로지 군을 계산하는 것.
• Aut(F_n)의 안정적 호모로지 맥락에서 코variant 및 반대방향 다항식 함자 간의 차이를 명확히 하는 것.
• 이전에 위상적 및 기하적 기법으로 확립된 결과에 대해 순수 대수적 방법으로 증명을 제공하는 것.

제안 방법

• 유한 생성 자유군의 범주에서 다항식 함자를 사용하며, 특히 코variant 및 반대방향 함자에 중점을 두는 것.
• 특히 n → ∞의 극한에서 안정적 호모로지를 분석하기 위해 극한 기법을 적용하는 것.
• 감소된 다항식 코variant 함자에 대해 안정적 호모로지의 소멸을 증명하기 위해 대수적 방법을 활용하는 것.
• Aut(F_n)가 F_n와 그 몫인 GL_n(Z)에 자연스럽게 작용함을 이용해 왜곡 계수를 정의하는 것.
• 함자론적 호모로지 대수학을 통해 첫 번째 안정적 호모로지 군과 F ⊗_ab Id 사이의 동형을 확립하는 것.
• Betley의 선형군에 대한 결과와 Galatius의 대칭군에 대한 정리 등, 함자 호모로지 및 코호모로지에 대한 알려진 결과를 활용하는 것.

실험 결과

연구 질문

• RQ1 감소된 다항식 코variant 함자로 주어진 계수를 가질 때, Aut(F_n)의 안정적 호모로지가 0이 되는가?
• RQ2 아벨화를 통과하는 반대방향 다항식 함자로부터 유도된 계수를 가질 때, Aut(F_n)의 첫 번째 안정적 호모로지 군은 어떻게 행동하는가?
• RQ3 Hatcher와 Wahl의 아벨화 계수에 대한 결과가 순수 대수적 방법으로 재현될 수 있는가?
• RQ4 반대방향 다항식 계수를 가진 경우, 첫 번째 안정적 호모로지 군의 정확한 구조는 무엇인가?
• RQ5 코variant 및 반대방향 다항식 함자 간의 행동은 Aut(F_n)의 안정적 호모로지 맥락에서 어떻게 다를까?

주요 결과

• 감소된 다항식 코variant 함자 F에 대해, Aut(F_n)의 안정적 호모로지는 자명하다: colim_n H_*(Aut(F_n); F(F_n)) = 0.
• 아벨화 함자(다항식 차수 1)의 경우, 이 결과는 Hatcher와 Wahl의 정리와 일치하며, 이제는 대수적 방법으로 증명된 것이다.
• 아벨화를 통과하는 반대방향 다항식 함자 F에 대해, 첫 번째 안정적 호모로지 군은 F ⊗_ab Id와 동형이다.
• 이 안정적 첫 번째 호모로지는 일반적으로 0이 아니며, 이는 코variant 함자에 대한 소멸 결과와 뚜렷한 대비를 이룬다.
• 이 맥락에서 코variant 및 반대방향 함자 간의 차이는 중요하며, 선형군에서 관찰되는 쌍대성 대칭성이 자유군의 자기동형군에는 존재하지 않기 때문이다.
• 이 결과는 Betley의 선형군에 대한 다항식 계수 안정적 호모로지 정리가 자유군 자기동형군의 맥락으로 일반화된 것이다.