[논문 리뷰] Homological stability for automorphism groups

Nathalie Wahl, Oscar Randal‐Williams|arXiv (Cornell University)|2014. 09. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 58인용 수 25

한 줄 요약

이 논문은 브레이드 모나이드 범주에 속한 대상의 자기동형사상 군에 대해 동치군의 안정성을 확립한다. 블록 합 구조를 가진 군의 가족으로부터 동차 범주를 구성함으로써 이를 달성한다. 추가적인 가정 없이 다항 및 아벨 외계 계수에 대해 안정성을 증명하며, 대칭군, 브레이드군, 선형군, 매핑 클래스군, 자유군 자기동형사상군의 고전적 결과들을 통합하고 확장한다. 또한 브레이드 군과 관련된 군들에 대한 새로운 다항 함수의 이론을 가능하게 하는 FI 범주에 대한 브레이드 버전을 도입한다.

ABSTRACT

Given a family of groups admitting a braided monoidal structure (satisfying mild assumptions) we construct a family of spaces on which the groups act and whose connectivity yields, via a classical argument of Quillen, homological stability for the family of groups. We show that stability also holds with both polynomial and abelian twisted coefficients, with no further assumptions. This new construction of a family of spaces from a family of groups recovers known spaces in the classical examples of stable families of groups, such as the symmetric groups, general linear groups and mapping class groups. By making systematic the proofs of classical stability results, we show that they all hold with the same type of coefficient systems, obtaining in particular without any further work new stability theorems with twisted coefficients for the symmetric groups, braid groups, automorphisms of free groups, unitary groups, mapping class groups of non-orientable surfaces and mapping class groups of 3-manifolds. Our construction can also be applied to families of groups not considered before in the context of homological stability. As a byproduct of our work, we construct the braided analogue of the category FI of finite sets and injections relevant to the present context, and define polynomiality for functors in the context of pre-braided monoidal categories.

연구 동기 및 목표

• 다양한 군의 가족에 걸쳐 동치군 안정성 결과를 하나의 범주론적 프레임워크를 통해 통합하고 일반화하기 위해.
• 브레이드 모나이드 범주 내에서 자기동형사상 군에 대해 다항 및 아벨 외계 계수를 가진 동치군 안정성을 확립하기 위해.
• 브레이드 군과 관련된 군들에 대해 FI 범주의 브레이드 버전을 구성하여, 이 맥락에서 새로운 다항 함수의 이론을 가능하게 하기 위해.
• 약간의 범주론적 가정만으로도 동치군 안정성이 일반적으로 성립함을 증명하기 위해, 추가적인 군론적 또는 위상수학적 조건이 필요로 하지 않도록 하기 위해.

제안 방법

• 취소 및 자기동형사상 군에 대한 단사성 조건을 만족하는 브레이드 모나이드 군의 범주에서 동차 범주 (UG, ⊕, 0)를 구성하기 위해.
• 스테이빌리제이션 객체 X를 추가함으로써 유도되는 사상의 반복적 핵과 여핵을 통해 차수 r의 계수 체계를 정의하기 위해.
• 동치군의 분류 공간의 연결성에 기반해 Quillen의 스펙트럴 시퀀스 추론을 사용하여 동치군 안정성을 도출하기 위해.
• 예비 브레이드 모나이드 범주에서 다항 함수를 정의하여 고전적 다항 함수를 일반화하고, 버우 표현과 같은 새로운 예를 포함하기 위해.
• 이 프레임워크를 고전적 군들(대칭군, 선형군, 매핑 클래스군, 브레이드군, 자기동형사상 군)과 새로운 가족들(예: 3차원 다각형의 매핑 클래스군)에 적용하기 위해.
• 단순 복합체의 국소 동차성과 연결성을 입증하여 Quillen의 연결성 정리의 가정을 검증하기 위해.

실험 결과

연구 질문

• RQ1 다양한 가족의 자기동형사상 군에 대해 단일한 범주론적 프레임워크를 사용하여 동치군 안정성을 통일적으로 증명할 수 있는가?
• RQ2 기본 범주에 대한 추가적인 조건 없이도 다항 및 아벨 외계 계수를 가진 동치군 안정성이 성립하는가?
• RQ3 FI 범주의 브레이드 버전은 무엇이며, 어떻게 브레이드 군과 관련된 군들에 대한 다항 함수 이론을 지원하는가?
• RQ4 이 프레임워크는 대칭군, 선형군, 매핑 클래스군에 대해 알려진 안정성 결과들을 외계 계수를 포함하여 복원하고 확장할 수 있는가?
• RQ5 이 통합적 접근법을 통해 어떤 새로운 군의 가족들이 동치군 안정성을 가질 수 있는가?

주요 결과

• 브레이드 모나이드 범주 C에서 극한 조건을 만족할 경우, 자기동형사상 군 Gn = Aut(A ⊕ X⊕n)에 대해 동치군 안정성이 성립하며, i ≤ f(n) 인 경우에 Hi(Gn) → Hi(Gn+1)의 동형사상이 성립하고, f(n) → ∞ 로 수렴한다.
• 상수 계수 외에도 다항 및 아벨 계수 시스템, 예를 들어 부호 표현과 행렬식 외계 계수를 가진 함수들에 대해서도 안정성이 확립된다.
• 이 구성은 대칭군에 대한 FI 공간, 매핑 클래스군에 대한 Ivanov의 범주를 복원하며, 브레이드 군에 대한 새로운 예비 브레이드 범주를 제공함으로써 새로운 다항 함수 이론을 가능하게 한다.
• 자유군의 대칭 자기동형사상(ΣAut(Fn))의 경우, 이 프레임워크는 새로운 외계 계수 안정성 정리를 증명하며, 이 경우에 정리 G를 확립한다.
• 이 방법은 3차원 다각형의 매핑 클래스군과 같은 새로운 군의 가족에 적용되며, 동일한 조건 하에 그 교환자 부분군에 대해서도 안정성을 증명한다.
• 이 프레임워크는 다항 계수를 가진 안정성이 성립할 경우, 동일한 가정 하에 그 교환자 부분군 G′n 에 대해서도 안정성이 성립함을 증명한다.