[논문 리뷰] The pullback of a theta divisor to M_{g,n}

Fabian Müller|arXiv (Cornell University)|2012. 03. 14.

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

한 줄 요약

이 논문은 $\overline{\mathcal{M}}_{g,n}$에서 $\sum d_j x_j$가 효과적 인수로 선형적으로 동치인, $\sum d_j = g-1$ 이고 적어도 하나의 $d_j < 0$인 표본 곡선 $[C; x_1, \dots, x_n]$로 구성된 인수 $\overline{D}_{\underline{d}}$의 폐포의 계열을 계산한다. 벡터 번들의 기법, 내림작용, 그리고 시험 곡선을 사용하여, $\lambda$, $\psi_j$, 및 경계 계열 $\delta_{i:S}$에 대한 명시적 공식을 유도한다. 이는 노드가 있는 곡선의 서로 다른 성분에 음수 차수의 표본 점이 위치하는지 여부에 따라 경우를 구분한다.

ABSTRACT

We compute the class of a divisor on M_{g,n} given as the closure of the locus of smooth pointed curves [C; x_1,..., x_n] for which \sum d_j x_j has an effective representative, where d_j are integers summing up to g-1, not all positive. The techniques used are a vector bundle computation, a pushdown argument reducing the number of marked points, and the method of test curves.

연구 동기 및 목표

• 표본 곡선 $[C; x_1, \dots, x_n]$에 대해 $\sum d_j x_j$가 효과적 인수로 선형적으로 동치일 때, $\sum d_j = g-1$ 이고 적어도 하나의 $d_j < 0$인 조건에서 $\overline{D}_{\underline{d}}$의 폐포 계열을 계산하는 것.
• 일반화된 쌍곡선 인수의 이론을 임의의 장비된 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$으로 확장하기 위해, 보편 쌍곡선 인수의 당김을 통한 방법.
• 노드 곡선의 성분들에 음수 차수의 표본 점이 어떻게 분포되어 있는지에 따라 경우를 구분하는, $\operatorname{Pic}(\overline{\mathcal{M}}_{g,n})$ 내의 인수 계열에 대한 통일된 공식 제공.
• 특수 케이스인 위에르슈트라스 인수와 로건의 인수에 대한 기존 결과를 하나의 프레임워크로 통합하여 일반화하는 것.

제안 방법

• 저자들은 인수 계열의 $\lambda$ 및 $\psi_j$ 계수를 결정하기 위해 벡터 번들의 계산을 사용한다.
• 표본 점의 수를 줄이기 위해, $\overline{\mathcal{M}}_{g,n}$에서 $\overline{\mathcal{M}}_{g,n-1}$로의 忘却 사상에 의한 내림 기법을 적용한다.
• 경계 계열 $\delta_{i:S}$의 계수를 계산하기 위해 시험 곡선 가중치를 구성하며, 특히 음수 차수의 표본 점이 같은 성분 또는 다른 성분에 위치하는 경우를 다룬다.
• 경계 성분을 두 가지 유형으로 구분한다: 모든 음수 차수의 점이 한 성분에 포함되는 경우($S \subseteq S_+$), 그리고 성분들 사이에 분리되는 경우($S \not\subseteq S_+$).
• 핵심 공식은 시험 곡선의 결과와 내림 불변성의 조합을 통해 유도되며, 이는 이항계수 $\binom{|d_S - i| + 1}{2}$ 형태의 조각별 표현을 포함한다.
• 증명은 귀납법과 저차수 또는 저표본 점 수의 케이스($n=3,4$)로의 환원을 통해 진행되며, 문헌에서 알려진 결과를 기저 사례로 사용한다.

실험 결과

연구 질문

• RQ1 선형 동치성에 의해 $\sum d_j x_j$가 효과적 인수로 표현되며, $\sum d_j = g-1$ 이고 적어도 하나의 $d_j < 0$인 조건에서, $\operatorname{Pic}(\overline{\mathcal{M}}_{g,n})$ 내의 $\overline{D}_{\underline{d}}$의 계열은 무엇인가?
• RQ2 노드 곡선의 성분들에 음수 차수의 표본 점이 어떻게 분포되어 있는지에 따라, 인수 계열 내의 경계 계열 $\delta_{i:S}$의 계수는 어떻게 달라지는가?
• RQ3 위에르슈트라스 인수와 로건의 인수의 계열은 $\overline{D}_{\underline{d}}$의 통합 공식의 특수 케이스로 복원될 수 있는가?
• RQ4 내림 기법은 표본 점의 수를 줄이면서도 인수 계열 정보를 유지하는 데 어떤 역할을 하는가?

주요 결과

• 인수 계열은 $[\overline{D}_{\underline{d}}] = -\lambda + \sum_{j=1}^n \binom{d_j + 1}{2} \psi_j - 0 \cdot \delta_0 - \sum_{\substack{i,S \\ S \subseteq S_+}} \binom{|d_S - i| + 1}{2} \delta_{i:S} - \sum_{\substack{i,S \\ S \not\subseteq S_+}} \binom{d_S - i + 1}{2} \delta_{i:S}$ 로 주어지며, 여기서 $S_+ = \{j \mid d_j > 0\}$ 이다.
• $\delta_0$의 계수는 0이므로, 단일 노드를 가진 기하학적 곡선을 매개변수화하는 경계 성분을 포함하지 않음을 나타낸다.
• $S \subseteq S_+$인 경우, $\delta_{i:S}$의 계수는 $-\binom{|d_S - i| + 1}{2}$ 이며, 이는 모든 음수 차수의 점이 한 성분에 위치할 때의 기여를 반영한다.
• $S \not\subseteq S_+$인 경우, 계수는 $-\binom{d_S - i + 1}{2}$ 이며, 이는 음수 차수의 점이 성분들 사이에 분리되어 있을 때의 경우를 고려한다.
• 이 공식은 기존 결과를 복원한다: $\underline{d} = (d_1, \dots, d_{n-1}; -1)$ 이면 공식은 로건의 인수 계열로 줄어든다; $n=2$ 이면 쿠케르만의 위에르슈트라스 인수 계열 계산과 일치한다.
• 결과는 헤인 및 그루셰프스키–자카로프의 작업과 일관되며, 인수 $\overline{D}_{\underline{d}}$가 다른 사상 아래에서 쌍곡선 인수의 당김의 성분임을 보여주며, 이에 대한 중복도는 소멸 순서에 의해 결정된다.