[논문 리뷰] The abelianization of the level L mapping class group

Andrew Putman|arXiv (Cornell University)|2008. 03. 04.

Geometric and Algebraic Topology참고 문헌 17인용 수 6

한 줄 요약

이 논문은 $ g \geq 3 $, $ n \in \{0,1\} $, 그리고 $ L $ 가 홀수일 때, 수준 $ L $ 매핑 클래스 군에 대한 정수 계수 1차 호몰로지 군 $ H_1(\operatorname{Mod}_{g,n}(L); \mathbb{Z}) $ 를 계산한다. 정확한 추이 $ 0 \to \wedge^3 H(L) \to H_1(\operatorname{Mod}_{g,n}(L); \mathbb{Z}) \to \mathfrak{sp}_{2g}(L) \to 0 $ 를 확립하며, 여기서 $ H(L) = H_1(\Sigma_{g,n}; \mathbb{Z}/L\mathbb{Z}) $ 이다. 이는 아벨리안화가 $ \mathfrak{sp}_{2g}(L) $ 의 리 대수에 대한 제3외적의 모듈로 $ L $ 의 호몰로지에 의한 중심 확장임을 드러낸다.

ABSTRACT

We calculate the abelianizations of the level $L$ subgroup of the genus $g$ mapping class group and the level $L$ congruence subgroup of the $2g imes 2g$ symplectic group for $L$ odd and $g \geq 3$.

연구 동기 및 목표

• 수준 $ L $ 매핑 클래스 군에 대한 정수 계수 1차 호몰로지 군 $ H_1(\operatorname{Mod}_{g,n}(L); \mathbb{Z}) $ 를 계산하는 것, 여기서 $ g \geq 3 $ 이고 $ n \in \{0,1\} $ 이다.
• 수준 $ L $ 부분군의 아벨리안화의 구조를 규명하는 것, 여기서 $ L $ 는 홀수이다.
• 상대 조너슨 호모모르피즘과 심플렉틱 리 대수 $ \mathfrak{sp}_{2g}(L) $ 가 교차 부분군의 호몰로지에서 수행하는 역할를 명확히 하는 것.
• 호몰로지 정확한 수열에서 핵과 여핵의 정확한 묘사를 제공하는 것, 특히 $ \wedge^3 H(L) $ 의 기여도를 강조하는 것.

제안 방법

• 짧은 정확한 수열 $ 1 \to \mathcal{I}_{g,n} \to \operatorname{Mod}_{g,n}(L) \to \operatorname{Sp}_{2g}(\mathbb{Z},L) \to 1 $ 과 관련된 군 호몰로지의 5항 정확한 수열을 사용한다.
• 기존의 토렐리 군에 대한 호몰로지 결과, 특히 $ H_1(\mathcal{I}_{g,n}; \mathbb{Z}) \cong \wedge^3 H \oplus (2\text{-torsion}) $ 를 적용하고, $ \operatorname{Sp}_{2g}(\mathbb{Z},L) $ 의 작용에 대한 코인variants 를 계산한다.
• 정의된 리 대수 $ \mathfrak{sp}_{2g}(L) $ 는 $ \mathbb{Z}/L\mathbb{Z} $ 위의 $ 2g \times 2g $ 행렬 중에서 $ A^t \Omega_g + \Omega_g A = 0 $ 을 만족하는 것들의 집합으로, 아벨리안화의 목적지로 사용된다.
• Lee-Szczarba의 $ \operatorname{SL}_n(\mathbb{Z},L) $ 에 대한 주장 방식을 모방하여 $ H_1(\operatorname{Sp}_{2g}(\mathbb{Z},L); \mathbb{Z}) \cong \mathfrak{sp}_{2g}(L) $ 를 증명한다.
• 매핑 클래스 군 내의 교차 랑턴 관계를 사용하여 $ L[T_{x_1}T_{x_2}^{-1}] = 0 $ 이며, 이는 호몰로지에서 토르션 관계를 암시한다.
• 레마 4.4 를 적용하여 코인variants 몫 $ (\wedge^3 H)_{\operatorname{Sp}_{2g}(\mathbb{Z},L)} \cong \wedge^3 H(L) $ 를 보이며, 이는 아벨리안화 사상의 핵을 식별하는 데 필수적이다.

실험 결과

연구 질문

• RQ1 홀수 $ L $ 과 $ g \geq 3 $ 에 대해 수준 $ L $ 매핑 클래스 군 $ \operatorname{Mod}_{g,n}(L) $ 의 아벨리안화의 구조는 무엇인가요?
• RQ2 상대 조너슨 호모모르피즘 $ \tau_{g,1}(L) $ 는 $ \operatorname{Mod}_{g,1}(L) $ 의 호몰로지에 어떻게 기여하는가?
• RQ3 심플렉틱 리 대수 $ \mathfrak{sp}_{2g}(L) $ 는 $ \operatorname{Sp}_{2g}(\mathbb{Z},L) $ 의 아벨리안화에서 어떤 역할를 하는가?
• RQ4 주요 결과에 대해 $ L $ 가 홀수여야 하는 조건이 필요한 이유는 무엇이며, 이는 짝수 $ L $ 로도 확장 가능한가요?
• RQ5 $ \operatorname{Sp}_{2g}(\mathbb{Z},L) $ 에 대한 $ \wedge^3 H $ 의 코인variants 는 $ \wedge^3 H(L) $ 와 어떻게 관련되어 있는가?

주요 결과

• 수준 $ L $ 매핑 클래스 군 $ \operatorname{Mod}_{g,1}(L) $ 의 아벨리안화는 정확한 수열 $ 0 \to \wedge^3 H(L) \to H_1(\operatorname{Mod}_{g,1}(L); \mathbb{Z}) \to \mathfrak{sp}_{2g}(L) \to 0 $ 에 포함되며, 여기서 $ H(L) = H_1(\Sigma_{g,1}; \mathbb{Z}/L\mathbb{Z}) $ 이다.
• $ \operatorname{Mod}_g(L) $ 에 대해서는 아벨리안화가 $ 0 \to (\wedge^3 H(L))/H(L) \to H_1(\operatorname{Mod}_g(L); \mathbb{Z}) \to \mathfrak{sp}_{2g}(L) \to 0 $ 으로 주어진다.
• 핵 $ \wedge^3 H(L) $ 는 상대 조너슨 호모모르피즘 $ \tau_{g,1}(L) $ 에서 기인하며, 이는 $ \operatorname{Mod}_{g,1}(L) $ 를 $ \wedge^3 H(L) $ 에 전기적으로 맵핑한다.
• 여핵 $ \mathfrak{sp}_{2g}(L) $ 는 $ H_1(\operatorname{Sp}_{2g}(\mathbb{Z},L); \mathbb{Z}) $ 와 동형이며, 이 동형은 Lee-Szczarba의 영감을 받은 직접적 증명을 통해 확립된다.
• 증명은 $ H_1(\mathcal{I}_{g,n}; \mathbb{Z}) $ 의 2-토션 부분이 $ L $ 가 홀수일 때 $ H_1(\operatorname{Mod}_{g,n}(L); \mathbb{Z}) $ 에 영으로 맵핑됨을 보이는 데 의존한다.
• 코인variants 몫 $ (\wedge^3 H)_{\operatorname{Sp}_{2g}(\mathbb{Z},L)} $ 는 $ \wedge^3 H(L) $ 와 동형이며, 이는 아벨리안화 사상의 핵을 식별하는 데 필수적이다.