[논문 리뷰] Moduli of Prym curves

Edoardo Ballico, Cinzia Casagrande외 1명|ArXiv.org|2003. 04. 15.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 10

한 줄 요약

이 논문은 프리모 곡선—생성수 $g$를 가진 곡선과 분지 없는 이중 쌍염을 갖춘 곡선—의 모듈리 공간의 대체 콪팩티피케이션을 제시한다. 이는 코르날바의 스피너 곡선 모듈리 공간과 유사한 구성 방식을 사용한다. 논문은 프리모 모듈리 공간의 양성 성분과 빈스의 콱팩티피에이티드 프리모 모듈리 공간 $\overline{R}_g$ 사이에 명시적인 동형사상을 확립하며, 각 안정 곡선의 이중 그래프를 통해 그 섬세한 구조를 기하학적으로 기술한다. 이는 스피너 곡선의 경우와는 다름을 드러낸다.

ABSTRACT

Here we focus on the compactification of the moduli space of curves of genus g together with an unramified double cover, constructed by Arnaud Beauville in order to compactify the Prym mapping. We present an alternative description of it, inspired by the moduli space of spin curves of Maurizio Cornalba, and we discuss in detail its main features, both from a geometrical and a combinatorial point of view.

연구 동기 및 목표

• 생성수 $g$를 가진 프리모 곡선의 콱팩티피에이티드 모듈리 공간 $\overline{R}_g$에 대해 기하학적이고 조합론적인 통찰을 바탕으로 한 새로운 기술 제공.
• 모듈리 공간 $\overline{\mathrm{Pr}}_g^+$의 양성 성분과 빈스의 $\overline{R}_g$ 사이에 명시적인 동형사상 수립 (모듈리 공간 $\overline{\mathcal{M}}_g$ 위에서).
• 안정 곡선의 이중 그래프를 통해 모듈리 공간 $\overline{\mathrm{Pr}}_g \to \overline{\mathcal{M}}_g$ 의 분기 구조 분석.
• 모듈리 공간 $\overline{\mathrm{Pr}}_g$ 와 스피너 곡선의 모듈리 공간 $\overline{S}_g$ 의 섬세한 조합론적 구조 비교.

제안 방법

• 프리모 곡선을 생성수 $g$를 가진 준안정 곡선 $X$ 와, 도수 0, 예외적 성분에서 도수 1인 선다발 $\eta$ 및 비퇴화형 호모모르피즘 $\beta: \eta^{\tens 2} \to \mathcal{O}_X$ 를 갖춘 것으로 정의.
• 이소모르피즘 클래스를 파arameter하는 프로젝티브 다양체 $\overline{\mathrm{Pr}}_g$ 를 구성하며, 두 개의 기약 성분으로 나뉘는데, $\overline{\mathrm{Pr}}_g^-$ 는 $\overline{\mathcal{M}}_g$ 와 동형이며, $\overline{\mathrm{Pr}}_g^+$ 는 $\overline{R}_g$ 와 동형이다.
• 안정 곡선 $Z$ 의 이중 그래프 $\Gamma_Z$ 를 사용하여 $[Z] \in \overline{\mathcal{M}}_g$ 에서의 스킴 이론적 섬세함 $\mathrm{Pr}_Z$ 를 기술.
• 서브그래프에 따라 인덱싱된 2의 거듭제곱으로 이루어진 다중도 집합 $L(\mathrm{Pr}_Z)$ 를 정의하며, 이 다중도는 서브그래프의 첫 번째 베티 수에 따라 달라진다.
• 카포라소의 콱팩티피에이티드 유니버설 피카르 다변량의 결과를 적용하여 $\overline{\mathrm{Pr}}_g$ 를 더 큰 모듈리 공간에 매립.
• 이중 그래프 $\Gamma_Z$ 의 조합론적 불변량을 사용하여 분기 및 섬세한 구조 분석을 수행하며, $\overline{\mathrm{Pr}}_g$ 와 $\overline{S}_g$ 를 구분.

실험 결과

연구 질문

• RQ1 코르날바의 스피너 곡선 모듈리 공간과 유사한 구성 방식을 통해 프리모 곡선의 모듈리 공간 $\overline{R}_g$ 는 어떻게 재해석될 수 있는가?
• RQ2 양성 성분 $\overline{\mathrm{Pr}}_g^+$ 와 빈스의 $\overline{R}_g$ 사이의 정확한 관계는 무엇인가?
• RQ3 모듈리 공간 $\overline{\mathrm{Pr}}_g \to \overline{\mathcal{M}}_g$ 의 분기 구조는 안정 곡선의 이중 그래프에 어떻게 의존하는가?
• RQ4 프리모 곡선의 섬세한 구조 $\overline{\mathrm{Pr}}_g$ 와 스피너 곡선의 섬세한 구조 $\overline{S}_g$ 는 어떤 점에서 조합론적으로 다름을 보이는가?
• RQ5 다중도 집합 $L(\mathrm{Pr}_Z)$ 는 안정 곡선 $Z$ 의 기하학적 특성을 감지할 수 있는가?

주요 결과

• 양성 성분 $\overline{\mathrm{Pr}}_g^+$ 는 빈스의 $\overline{R}_g$ 와 $\overline{\mathcal{M}}_g$ 위에서 동형이며, 이는 $\overline{R}_g$ 에 대한 새로운 기하학적 해석을 제공한다.
• 안정 곡선 $Z$ 에서의 섬세함 $\mathrm{Pr}_Z$ 는 $L(\mathrm{Pr}_Z)$ 에서 2의 거듭제곱으로 이루어진 다중도를 가지며, 최대 다중도는 $2^{b_1(\Gamma_Z)}$ 이다.
• 모르피즘 $\overline{\mathrm{Pr}}_g \to \overline{\mathcal{M}}_g$ 는 $\overline{\mathcal{M}}_g^0 \setminus D_{\text{irr}}$ 에서 에탈이다. 즉, 유리 성분이 없는 곡선의 위치에서 성립한다.
• 일반적으로 섬세한 구조 $\mathrm{Pr}_Z$ 와 $S_Z$ (스피너 곡선의 경우) 는 동형이 아니며, $L(\mathrm{Pr}_Z)$ 는 1을 포함할 수 있지만 $L(S_Z)$ 는 그렇지 않을 수 있다.
• 만약 $Z$ 가 모두 매끄럽고 각 성분에서 최소 네 개의 노드를 가지며 짝수 개의 노드를 가진다면, $L(\mathrm{Pr}_Z)$ 는 $Z$ 가 두 개 또는 세 개의 매끄러운 성분의 합집합인지 감지할 수 있다.
• 일부 이중 그래프 $\Gamma_Z$ 에 대해서는, $L(S_Z)$ 가 이를 구분하지 못할 때조차도 $L(\mathrm{Pr}_Z)$ 가 서로 다른 위상 유형을 구분할 수 있다.