[논문 리뷰] Birational aspects of the geometry of M_g

Gavril Farkas|arXiv (Cornell University)|2008. 10. 03.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 5

한 줄 요약

이 논문은 기존의 투르비에르 다발 접근 방식 대신 $\overline{\mathcal{M}}_g$ 위에 코즐 다발을 도입하여, $g \geq 24$일 때 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_g$ 가 일반 유형임을 증명하는 새로운 증명을 제공한다. 바이신의 일반 그린 추측에 대한 증명과 심지어 이론을 활용하여, 투르비에르 스택 위의 복잡한 계수 기하학을 피하는 간결하고 개념적인 증명을 유도한다.

ABSTRACT

We discuss topics on the geometry of the moduli space of curves. We present a short proof of the Harris-Mumford theorem on the Kodaira dimension of the moduli space which replaces the computations on the stack of admissible covers by a simple study of tautological Koszul bundles on M_g. We also present a streamlined self-contained account of Verra's recent work on the unirationality of M_g. Finally, we discuss a proof that the moduli space of curves of genus 22 is of general type. Written for Surveys in Differential Geometry.

연구 동기 및 목표

• 고전적 투르비에르 다발 접근 방식을 대체하기 위해 $\overline{\mathcal{M}}_g$ 의 모듈리 공간에서 코즐 다발을 구성함으로써, $g \geq 24$ 일 때 $\overline{\mathcal{M}}_g$ 가 일반 유형임을 증명하는 새로운 단순화된 증명을 제공한다.
• 기존의 투르비에르 다발 접근 방식을 대체하기 위해 $\overline{\mathcal{M}}_g$ 에서 코즐 다발을 구성한다.
• 코심지의 캐논리컬 곡선에 대한 바이신의 일반 그린 추측 증명을 활용하여 캐논리컬 클래스 계산을 단순화한다.
• 원래의 헤리스-머피드 증명에서 중심이 되었던 적합한 커버링과 극한 선형 계열을 피한다.
• 캐논리컬 클래스 $K_{\overline{\mathcal{M}}_g}$ 가 빅 콘에 속해 있음을 입증함으로써, 큰 $g$ 에서 $\overline{\mathcal{M}}_g$ 가 일반 유형임을 확인한다.

제안 방법

• 원래의 헤리스-머피드 증명에서 사용된 투르비에르 다발 $\mathcal{M}_{g,k}^1$ 대신 $\overline{\mathcal{M}}_g$ 위에 코즐 다발을 도입한다.
• 특히 바이신의 일반 그린 추측에 대한 증명을 활용하여 캐논리컬 곡선의 심지어 이론을 분석함으로써 코즐 다발의 기하학을 연구한다.
• 섬유화된 다양체와 분리 다발 위에서의 체른 클래스 공식을 사용하여, $\mathrm{Pic}(\overline{\mathcal{M}}_g)_{\mathbb{Q}}$ 에서 코즐 다발의 클래스를 계산한다.
• 특히 커널 다발 $V$ 와 그 쌍대를 포함하여 $C \times W^2_{17}(C)$ 위의 벡터 다발의 체른 수를 계산하기 위해 헤리스-투 정리를 적용한다.
• 분리 다발 $Y$ 상에서의 역상과 체른 클래스를 사용하여 공식 $\sigma^*(C^0) \cdot c_2(\mathcal{F} - \mathrm{Sym}^2(\mathcal{E}))$ 를 통해 교차 수를 유도한다.
• 관계식 $a - 12b_0 + b_1 = 0$ 과 알려진 값들을 사용하여 $a$ 와 $b_0$ 를 구하고, 최종적으로 $s(\overline{\mathfrak{D}}_{22}) = a/b_0 < 13/2$ 를 도출한다.

실험 결과

연구 질문

• RQ1 헤리스-머피드 정리에서 $\overline{\mathcal{M}}_g$ 가 일반 유형임을 증명할 때, 적합한 커버링과 극한 선형 계열을 사용하지 않고 재증명할 수 있는가?
• RQ2 코즐 다발 $\overline{\mathcal{M}}_g$ 는 캐논리컬 클래스 계산에서 고전적 투르비에르 다발과 비교하여 어떻게 다를까?
• RQ3 바이신의 일반 그린 추측에 대한 증명은 곡선의 모듈리 공간에서 캐논리컬 클래스 분석을 어느 정도 단순화할 수 있는가?
• RQ4 코즐 다발 $\overline{\mathfrak{D}}_{22}$ 에 대해 기울기 $s(\overline{\mathfrak{D}}_{22})$ 의 정확한 값은 무엇이며, 일반 유형 성질과 어떻게 관련이 있는가?
• RQ5 심지어 이론적 방법만으로 캐논리컬 클래스 $K_{\overline{\mathcal{M}}_g}$ 가 빅 콘에 속해 있음을 입증할 수 있는가?

주요 결과

• 논문은 적합한 커버링과 극한 선형 계열을 사용하지 않는 새로운 증명을 통해 $g \geq 24$ 일 때 $\overline{\mathcal{M}}_g$ 가 일반 유형임을 입증한다.
• 코즐 다발 $\overline{\mathfrak{D}}_{22}$ 의 기울기는 $s(\overline{\mathfrak{D}}_{22}) = a/b_0 < 13/2$ 를 만족하며, 이는 양의 성질을 확인하고 일반 유형 결론을 뒷받침한다.
• 캐논리컬 클래스 $K_{\overline{\mathcal{M}}_g}$ 는 $\mathrm{Pic}(\overline{\mathcal{M}}_g)_{\mathbb{Q}}$ 의 빅 콘에 속해 있으며, 이는 고차수의 $K_{\overline{\mathcal{M}}_g}$ 승수가 차원에서 최대 성장을 이룬다는 것을 의미한다.
• 분리 다발 $Y$ 상에서의 $c_1(V)$, $c_2(\mathcal{F}_{|Y})$, $c_2(\mathcal{E}_{|Y})$ 의 체른 클래스 계산 결과, 교차 수 $\sigma^*(C^0) \cdot c_2(\mathcal{F} - \mathrm{Sym}^2(\mathcal{E})) = 428\eta\theta\pi_2^*(c_2) - 536\eta\theta\pi_2^*(c_1^2) + \cdots + 592\eta\pi_2^*(c_1^3)$ 이 도출된다.
• 관계식 $42b_0 - b_1 = 509\theta^{21}/5364817920000$ 와 $a - 12b_0 + b_1 = 0$ 을 사용하여 $a$ 와 $b_0$ 를 계산하고, $a/b_0 = 17121/2636 \leq 71/10$ 으로 도출된다.
• 결과적으로 $\overline{\mathcal{M}}_g$ 가 $g \geq 24$ 일 때 일반 유형임을 확인하였으며, 원래의 헤리스-머피드 접근 방식보다 더 짧고 개념적으로 더 깔끔한 새로운 증명을 제공한다.