[논문 리뷰] Rational parametrizations of moduli spaces of curves

Alessandro Verra|arXiv (Cornell University)|2011. 12. 28.

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

한 줄 요약

이 논문은 $\mathbf{P}^2 \times \mathbf{P}^2$ 위의 원추곡선 다발의 유리적 매개변수화를 통해 $g \leq 6$ 인 경우 Prym 모듈리 공간 $\rho_g$ 의 유리성(unirationality)을 확립한다. 대칭 이차형식 행렬을 사용하여 적절한 원추곡선 다발을 구성하고, 이들의 관련 Prym 쌍이 $\mathcal{R}_g$ 를 지배함으로써 핵심 결과로 $\mathcal{R}_g$ 가 $g \leq 6$ 에서 유리적임을 보인다. 이는 $\delta$-노드를 가진 원추곡선 다발의 공간에서 $\mathcal{R}_g$ 로 가는 자연스러운 사상이 지배적이고 유리적임을 보여서 달성된다.

ABSTRACT

The paper aims to give an account, both historical and geometric, on the diverse geography of rational parametrizations of moduli spaces related to curves. It is a contribution to the book Handbook of Moduli, editors G. Farkas and I. Morrison, to be published by International Press. Refereed version.

연구 동기 및 목표

• 원추곡선 다발을 포함한 기하적 구성에 기반해, 특히 $\mathcal{R}_g$ 라는 곡선의 모듈리 공간의 유리적 매개변수화를 조사함.
• 원추곡선 다발의 가 families 로부터 $\mathcal{R}_g$ 로 가는 지배적 유리 사상을 구성함으로써 $\mathcal{R}_g$ 가 $g \leq 6$ 에서 유리적임을 증명함.
• 기존의 노드를 가진 평면 곡선에 대한 유리성 기법을 $\mathbf{P}^2 \times \mathbf{P}^2$ 내의 고차원 원추곡선 다발 구성으로 확장함.
• 판별 곡선과 관련 선다발을 통해 적절한 원추곡선 다발의 기하학과 Prym 쌍의 모듈리 공간 간의 연결 고리를 설정함.

제안 방법

• 변수 $x$ 에 대한 이차형식의 대칭 $3 \times 3$ 행렬 $M$ 을 사용하여 $\mathbf{P}^2 \times \mathbf{P}^2$ 내의 원추곡선 다발 $V$ 를 정의함: $xMy = 0$.
• 행렬 $M$ 의 행렬식을 사용하여 $C'$ 라는 6차 곡선인 판별 곡선을 정의함. 이 곡선은 $\delta = 10 - g$ 개의 노드를 가지며, $g$ 차수의 곡선 $C$ 와 유리적으로 동형임.
• 판별 곡선 $C'$ 의 정규화인 $C$ 에서 비자명한 2-torsion 선다발 $L$ 을 통해 각 원추곡선 다발에 대한 에탈 이중 쌍반사 $\pi: \tilde{C} \to C$ 를 정의함.
• 각 원추곡선 다발에 대응하는 Prym 쌍 $(C, L)$ 을 원추곡선 다발의 모듈리 점으로 정의함. 여기서 $L$ 은 $C'$ 에서의 비자명한 선다발 $L'$ 의 풀백임.
• 각 적절한 원추곡선 다발이 그에 대응하는 Prym 쌍으로 가는 자연스러운 사상 $m: |V|_\delta \to \mathcal{R}_g$ 가 $g \leq 6$ 에서 지배적임을 증명함.
• 일반적인 $\delta$ 개의 점을 $\mathbf{P}^2 \times \mathbf{P}^2$ 에 고정함으로써 $|V|_\delta$ 의 유리성(rationally)을 확립함. 이는 $\mathcal{R}_g$ 의 유리적 매개변수화를 이끌어냄.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\mathcal{R}_g$ 는 $g \leq 6$ 에서 유리적인가?
• RQ2 원소의 대칭 행렬을 사용하여 $\mathbf{P}^2 \times \mathbf{P}^2$ 내의 원추곡선 다발을 통해 $\mathcal{R}_g$ 의 유리적 매개변수화를 구성할 수 있는가?
• RQ3 노드를 가진 판별 곡선의 기하학은 관련 원추곡선 다발의 Prym 구조와 어떻게 관련되는가?
• RQ4 이차형식의 대칭 행렬은 $\mathcal{R}_g$ 를 매개변수화하는 데 어떤 역할을 하는가?
• RQ5 $\delta$-노드를 가진 원추곡선 다발의 공간은 $\mathcal{R}_g$ 를 유리적으로 지배할 수 있는가?

주요 결과

• 모듈리 공간 $\mathcal{R}_g$ 는 $g \leq 6$ 에서 유리적임을 보였으며, 이는 $\delta$-노드를 가진 원추곡선 다발의 공간에서 $\mathcal{R}_g$ 로 가는 지배적 유리 사상을 구성함으로써 달성됨.
• 특히 $g = 6$ 인 경우, 4개의 노드를 가진 원추곡선 다발의 공간 $|V|_\delta$ 는 유리적이고, 자연스러운 사상 $m: |V|_\delta \to \mathcal{R}_6$ 는 지배적이므로 $\mathcal{R}_6$ 는 유리적임을 의미함.
• 원소의 대칭 행렬 $M$ 을 사용하여 $\mathbf{P}^2 \times \mathbf{P}^2$ 내의 원추곡선 다발 $V$ 를 정의함. 이때 $|V| = |\mathcal{O}_{\mathbf{P}^2 \times \mathbf{P}^2}(2,2)|$.
• 이러한 원추곡선 다발의 판별 곡선 $C'$ 는 $\delta = 10 - g$ 개의 노드를 가진 6차 곡선이며, 그 정규화 $C$ 는 $L^\otimes 2 \cong \mathcal{O}_C$ 를 만족하는 비자명한 선다발 $L$ 을 지님.
• $g \leq 6$ 에서 사상 $m: |V|_\delta \to \mathcal{R}_g$ 는 지배적임을 보였으며, 이는 일반적인 Prym 쌍이 이러한 원추곡선 다발로부터 유도됨을 의미함.
• $g = 6$ 인 경우, 공간 $|V|_\delta$ 는 고정된 4개의 일반 점을 포함하는 집합 $Z$ 에 대해 $|\mathcal{I}_Z^2(2,2)|$ 와 유리적 동형이므로, 매개변수 공간의 유리성을 확인함.