[논문 리뷰] Geometric Proofs of Some Results of Morita

Richard Hain, David Reed|ArXiv.org|1998. 10. 08.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 24

한 줄 요약

이 논문은 곡선의 모듈리 공간에 관한 모리타의 코homological 결과 세 가지에 대해 기하학적 증명을 제공한다. 주로 $σ_g$, $σ_g[2]$, 및 $σ_g[l]$ 의 $H^2$ 에서의 특성 클래스 간의 관계를 다룬다. 이 논문은 매핑 클래스 군의 곡선에 대한 호몰로지 계수를 가진 두 번째 코homology 가 $\mathbb{Z}/(2g-2)\mathbb{Z}$ 와 동형임을 기하학적으로 증명하며, 이는 보편 곡선의 상대 피카르 군을 통해 실현된다. 또한 이 클래스가 정확히 $2g-2$ 의 배수일 때에만 0이 됨을 증명한다. 이러한 결과들은 스펙트럴 시퀀스, 보편 계수 정리, 그리고 프랑세타 추측의 해법을 사용하여 유도된다.

ABSTRACT

In this note we give geometric formulations and proofs of three results of S. Morita. These results relate certain two dimensional cohomology classes of various moduli spaces of curves. We also give a geometric interpretation of a fourth result of Morita. One motivation of this work is to facilitate the application of these results in our work (in preparation) on the Arakelov geometry of moduli spaces of curves.

연구 동기 및 목표

• 기하적 방법을 사용하여 모듈리 공간의 특성 클래스에 관한 모리타의 결과를 재증명한다.
• 보편 곡선의 상대 피카르 군을 통해 $H^2(\Gamma_g, H_\mathbb{Z})$ 의 코homology 클래스를 기하학적으로 해석한다.
• $g \geq 3$ 에 대해 캐논리컬 번들의 레벨 구조를 사용하여 $H^2(\Gamma_g, H_\mathbb{Z}) \cong \mathbb{Z}/(2g-2)\mathbb{Z}$ 의 동형을 확립한다.
• 이 코homology 클래스의 레벨 $l$ 부분군으로의 제약을 분석하여, $l$ 이 홀수일 경우 $\mathbb{Z}/(2g-2)\mathbb{Z}$, 짝수일 경우 $\mathbb{Z}/(g-1)\mathbb{Z}$ 가 됨을 보인다.

제안 방법

• 확장 $1 \to H_\mathbb{Z} \to \Gamma_g^1 \to \Gamma_g \to 1$ 에 대한 스펙트럴 시퀀스를 사용하고, 레벨 $\geq 4$ 에서 $E_2$ 에서 분해됨을 보여, $H^2(\Gamma_g^1, \mathbb{Q}) \cong \mathbb{Q} \oplus H^2(\Gamma_g, \mathbb{Q}) \oplus H^1(\Gamma_g, H_\mathbb{Q})$ 를 유도한다.
• 중심이 $-I \in \Gamma_1$ 를 통해 작용하는 기법을 사용하여 $g \geq 2$ 에 대해 $H^1(\Gamma_g, H_\mathbb{Q}) = 0$ 을 증명한다.
• 보편 곡선의 상대 피카르 군 $\operatorname{Pic}^d_{\mathcal{M}_g} \mathcal{C}_g$ 를 통해 군 준동형사상 $\epsilon: \mathbb{Z} \to H^2(\Gamma_g, H_\mathbb{Z})$ 를 구성한다.
• 캐논리컬 번들을 $\operatorname{Pic}^{2g-2}_{\mathcal{M}_g} \mathcal{C}_g$ 의 섹션으로 사용하여 $\epsilon$ 가 $\mathbb{Z}/(2g-2)\mathbb{Z}$ 를 통해 인자화됨을 보인다.
• 프랑세타 추측의 해법을 적용하여 $\epsilon(d) = 0$ 이 되는 것은 $d$ 가 $2g-2$ 의 배수일 때에만 성립함을 보여, 단사성을 증명한다.
• 보편 계수 정리와 조한슨의 정리들을 사용하여 $H^1(\Gamma_g, H_\mathbb{Z})$ 가 자명함을 보이고, 이는 동형의 타당성을 뒷받침한다.

실험 결과

연구 질문

• RQ1 코homology 클래스 $H^2(\Gamma_g, H_\mathbb{Z})$ 의 기하학적 해석은 무엇인가?
• RQ2 보편 곡선의 상대 피카르 군은 어떻게 $H^2(\Gamma_g, H_\mathbb{Z})$ 의 코homology 클래스를 실현하는가?
• RQ3 레벨 $l$ 부분군으로의 $H^2(\Gamma_g, H_\mathbb{Z})$ 의 제약이 홀수 $l$ 에서는 $\mathbb{Z}/(2g-2)\mathbb{Z}$, 짝수 $l > 0$ 에서는 $\mathbb{Z}/(g-1)\mathbb{Z}$ 가 되는 이유는 무엇인가?
• RQ4 캐논리컬 번들의 역할은 $H^2(\Gamma_g, H_\mathbb{Z})$ 의 코homology 클래스의 차수를 결정하는 데 어떤가?
• RQ5 레벨 $\geq 4$ 에서의 스펙트럴 시퀀스의 분해는 $H^2(\Gamma_g^1, \mathbb{Q})$ 의 계산을 어떻게 지원하는가?

주요 결과

• 모든 $g \geq 3$ 에 대해 두 번째 코homology 군 $H^2(\Gamma_g, H_\mathbb{Z})$ 는 $\mathbb{Z}/(2g-2)\mathbb{Z}$ 와 동형이다.
• 이 동형은 상대 피카르 군 $\operatorname{Pic}^d_{\mathcal{M}_g} \mathcal{C}_g$ 를 통해 정의된 사상 $\epsilon: \mathbb{Z} \to H^2(\Gamma_g, H_\mathbb{Z})$ 를 통해 기하학적으로 실현된다.
• 클래스 $\epsilon(d)$ 는 $d$ 가 $2g-2$ 의 배수일 때에만 0이 되며, 이는 프랑세타 추측과 $H^1(\Gamma_g, H_\mathbb{Z})$ 의 자명성에 의해 보여진다.
• 제약 사상 $H^2(\Gamma_g, H_\mathbb{Z}) \to H^2(\Gamma_g[l], H_\mathbb{Z})$ 는 $l$ 이 홀수일 경우 이미지가 $\mathbb{Z}/(2g-2)\mathbb{Z}$, 짝수이고 양수일 경우 $\mathbb{Z}/(g-1)\mathbb{Z}$ 가 된다.
• 확장 $1 \to H_\mathbb{Z} \to \Gamma_g^1 \to \Gamma_g \to 1$ 에 대한 스펙트럴 시퀀스는 레벨 $\geq 4$ 에서 $E_2$ 에서 분해되며, 이는 $g \geq 2$ 에 대해 $H^1(\Gamma_g, H_\mathbb{Q}) = 0$ 을 유도한다.
• 캐논리컬 번들은 $\operatorname{Pic}^{2g-2}_{\mathcal{M}_g} \mathcal{C}_g$ 의 섹션으로서 작용하며, 이는 준동형사상 $\epsilon$ 가 $\mathbb{Z}/(2g-2)\mathbb{Z}$ 를 통해 인자화됨을 강제한다.