[논문 리뷰] On the cohomology of pure mapping class groups as FI-modules

Rita Jiménez Rolland|arXiv (Cornell University)|2012. 07. 30.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 8

한 줄 요약

이 논문은 순수 매핑 클래스 군, 곡선의 모듈리 공간, 관련 미분구조군의 유리수 코homology가 유한 생성된 FI-모듈러로 구성되며, 이는 베티 수의 다항수렴과 유리수 동역학적 호모로지 안정성으로 이어진다. 이 논문은 FI[G]-모듈러를 도입하여 표현 안정성 결과를 통합하고 강화하며, 베티 수가 n에 대해 다항식으로 증가함을 증명하고, 그 차수에 대한 명시적 상한과 안정 범위를 제시한다.

ABSTRACT

In this paper we apply the theory of finitely generated FI-modules developed by Church, Ellenberg and Farb to certain sequences of rational cohomology groups. Our main examples are the cohomology of the moduli space of n-pointed curves, the cohomology of the pure mapping class group of surfaces and some manifolds of higher dimension, and the cohomology of classifying spaces of some diffeomorphism groups. We introduce the notion of FI[G]-module and use it to strengthen and give new context to results on representation stability discussed by the author in a previous paper. Moreover, we prove that the Betti numbers of these spaces and groups are polynomial and find bounds on their degree. Finally, we obtain rational homological stability of certain wreath products.

연구 동기 및 목표

• 순수 매핑 클래스 군 및 관련 공간의 코homology가 유한 생성된 FI-모듈러를 이룬다는 것을 확립하는 것.
• 코homology 수열의 맥락에서 이전의 표현 안정성 결과를 통합하고 강화하는 것.
• 베티 수가 n에 대해 다항식으로 증가함을 증명하고, 그 차수에 대한 명시적 상한을 도출하는 것.
• 와이어드 프로덕트로의 프레임워크를 확장하여 이러한 군에 대한 유리수 동역학적 안정성을 증명하는 것.
• FI[G]-모듈러의 개념을 도입하여 위상수학적 및 군 코homology에서의 안정성 결과를 일반화하고 강화하는 것.

제안 방법

• Church, Ellenberg, Farb가 개발한 유한 생성된 FI-모듈러 이론을 코homology 군열에 적용하는 것.
• Conf•(M), Mg,•, PMod•(M), B PDiff•(M)와 같은 co-FI-공간 및 co-FI-군을 정의하여 공간과 군의 열을 모델링하는 것.
• 이러한 co-FI-객체로부터 코homology 함자 H^i(–;ℚ)를 사용해 등급을 가진 FI-모듈러를 구성하는 것.
• 정리 4.3, 6.1, 6.2, 6.3, 6.6에서 직접적 증명을 통해 각 예시에 대해 H^i(X;ℚ)의 유한 생성성을 증명하는 것.
• [CEF12] 및 [CEFN12]의 결과를 적용하여 균일한 표현 안정성과 유리수 동역학적 안정성을 유도하는 것.
• FI-모듈러 프레임워크를 일반화하고 와이어드 프로덕트 및 군의 확장에 적용하기 위해 FI[G]-모듈러를 도입하는 것.

실험 결과

연구 질문

• RQ1 순수 매핑 클래스 군의 유리수 코homology 군은 유한 생성된 FI-모듈러를 이룬다.
• RQ2 이 코homology 군의 베티 수에 대해 다항식 증가와 명시적 차수 상한을 확립할 수 있는가.
• RQ3 와이어드 프로덕트 G ≀ S_n 및 관련 군에 대해 유리수 동역학적 안정성이 성립하는가.
• RQ4 FI-모듈러 프레임워크는 어떻게 FI[G]-모듈러를 통해 군 작용을 포함하도록 확장될 수 있는가.
• RQ5 매핑 클래스 군의 코homology에서 유도된 FI-모듈러의 안정 범위와 무게는 무엇인가.

주요 결과

• 유리수 코homology 군 H^i(PMod^n(Σ_g,r);ℚ)은 ℚ 위에서 유한 생성된 FI-모듈러를 이루며, 어떤 N에 대해 n ≥ N인 안정 범위를 가진다.
• 순수 매핑 클래스 군 및 관련 공간의 베티 수는 n에 대해 다항식으로 증가하며, 차수는 i로 상한이 둔다.
• 모든 체 k와 i ≥ 0에 대해 FI-모듈러 H^i(B PDiff^n(M);k)는 유한 생성되며, k = ℚ일 경우 무게 ≤ i이고 안정 유형은 최대 (2i, i)이다.
• 와이어드 프로덕트 G ≀ S_n 및 더 일반적인 군 G ≀ K_n에 대해 유리수 동역학적 안정성이 성립한다. 여기서 K_n은 co-FI-군으로부터 유도된다.
• 수열 H^i(G^n × PK_n;ℚ)는 균일한 표현 안정성을 가지며, 이는 H^i(G ≀ K_n;ℚ)에 포함된 임의의 기약 S_n-표현 V(λ)_n의 다중도가 최종적으로 일정하다는 것을 의미한다.
• 모든 k ≥ 0에 대해 FI-모듈러 H^k(PΣ_•;ℚ)는 유한 생성되며, 순수 스트링 운동군의 균일한 표현 안정성을 확인하고 안정 범위 n ≥ 4k를 제시한다.