[논문 리뷰] The Fermat cubic and special Hurwitz loci in M_g

Gavril Farkas|arXiv (Cornell University)|2007. 11. 08.

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

한 줄 요약

이 논문은 $\overline{\mathcal{M}}_{2d-3}$에서 $\mathbb{P}^1$으로의 도수-$d$ 매핑을 가진 두 개의 미지의 삼중 분岐점이 있는 곡선을 매개변수화하는 컴acts화된 허리츠 딜로버 $\overline{\mathfrak{TR}}_d$의 계를 계산한다. 이 딜로버가 가짜 안정 곡선의 매개변수 공간에서의 올려진 이미지가 아니며, 경계 $\Delta_1$과의 교차에서 페르마의 삼차 곡선 尾(꼬리)의 국소를 포함함을 보여주며, 이는 비자명한 경계 행동을 보이는 기하학적 딜로버의 첫 번째 명시적 예이다.

ABSTRACT

We compute the class of the locus in M_g of curves having a pencil with two unspecified triple ramification points. This is the first example of a geometric divisor on M_g which is not the pull-back of a divisor on the moduli space of pseudo-stable curves. This space, in which elliptic tails are replaced by cusps, appears as a result of the first divisorial contraction in the minimal model program for M_g. In particular, we show that our divisor picks-up the locus of Fermat cubic tails when restricted to the boundary divisor of elliptic tails. We also give various enumerative applications concerning coverings of the generic curve having special ramification behaviour.

연구 동기 및 목표

• 컴팩트화된 허리츠 딜로버 $\overline{\mathfrak{TR}}_d$의 계를 $\overline{\mathcal{M}}_{2d-3}$에서 계산하며, 이는 $\mathbb{P}^1$으로의 도수-$d$ 매핑을 가진 곡선 중 두 개의 미지 삼중 분岐점이 있는 것을 매개변수화한다.
• 이 딜로버 $\overline{\mathfrak{TR}}_d$가 가짜 안정 곡선의 매개변수 공간 $\overline{\mathcal{M}}_g^{\mathrm{ps}}$에서의 올려진 이미지가 아니라는 것을 보여주며, 이전에 알려진 기하학적 딜로버들과의 차이를 부각한다.
• 경계 딜로버 $\Delta_1$과의 $\overline{\mathfrak{TR}}_d$의 교차를 분석하여, 페르마의 삼차 곡선 꼬리 국소의 등장함을 밝힌다.

제안 방법

• 저자들은 Hodge 클래스 $\lambda$와 경계 클래스 $\delta_0, \dots, \delta_{d-2}$를 포함하는 명시적 공식을 사용하여 $\overline{\mathfrak{TR}}_d$의 계를 $\mathrm{Pic}(\overline{\mathcal{M}}_{2d-3})$에서 계산하며, 이 계수들은 조합론적 및 수세기 기하학에서 유도된다.
• 저자들은 $\overline{\mathfrak{TR}}_d$의 경계 딜로버 $\Delta_1 \cong \overline{\mathcal{M}}_{1,1} \times \overline{\mathcal{M}}_{g-1,1}$에 대한 제약를 분석하며, 열림 기법을 통해 페르마의 삼차 곡선 꼬리 기여도를 식별한다.
• 계산은 안정 곡선에 대한 적합한 커버를 세는 데 기반하며, 이는 유리 꼬리와 타원 꼬리를 가진 곡선에 대해 브릴-노이만 이론과 타원 곡선 및 종수 1, 2 곡선의 선형 계를 사용한다.
• 저자들은 적합한 커버의 매개변수 공간 $\overline{\mathcal{A}}_d$를 사용하여, 주어진 분岐 조건을 만족하는 커버의 수를 세는 맵 $\phi$의 차수를 계산한다.
• 메서드는 타원 꼬리에서 매핑의 도수에 따라 경우를 나누며, 타원 성분에서 매핑의 도수가 3 또는 4일 경우를 구분한다.
• 저자들은 Proposition 5.1의 결과와 타원 곡선 위의 선형 계 수를 이용하여 이러한 선형 계의 수에 대한 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 컴팩트화된 허리츠 딜로버 $\overline{\mathfrak{TR}}_d$가 가짜 안정 곡선의 매개변수 공간 $\overline{\mathcal{M}}_g^{\mathrm{ps}}$에서의 올려진 이미지인가?
• RQ2 $\overline{\mathfrak{TR}}_d$의 정확한 계는 $\overline{\mathcal{M}}_{2d-3}$의 Picard 군에서 $\lambda$와 $\delta_i$의 표현으로 어떻게 나타나는가?
• RQ3 $\overline{\mathfrak{TR}}_d$는 경계 딜로버 $\Delta_1$과 어떻게 교차하며, 그곳에서 어떤 기하학적 국소를 감지하는가?

주요 결과

• $\mathrm{Pic}(\overline{\mathcal{M}}_{2d-3})$에서 $\overline{\mathfrak{TR}}_d$의 계는 $\overline{\mathfrak{TR}}_d \equiv 2\frac{(2d-6)!}{d!\,(d-3)!}\left(a\lambda - b_0\delta_0 - \sum_{i=1}^{d-2} b_i\delta_i\right)$로 주어지며, 이는 $d$에 따라 달라지는 명시적 계수 $a$, $b_0$, $b_i$를 포함한다.
• $\overline{\mathfrak{TR}}_d$는 $\overline{\mathcal{M}}_g$에서 가짜 안정 곡선의 매개변수 공간에서의 올려진 이미지가 아닌 기하학적 딜로버의 첫 번째 알려진 예이다.
• $\overline{\mathfrak{TR}}_d$의 $\Delta_1$에 대한 제약은 페르마의 삼차 곡선 꼬리 국소를 포함하며, 이는 $\alpha \cdot \{\text{페르마의 삼차 곡선}\} \times \overline{\mathcal{M}}_{g-1,1}$ 형태이며, $\alpha = \frac{3(2d-4)!}{d!\,(d-3)!}$이다.
• $d=4$일 때, 일반적인 점이 있는 곡선 $[C,p] \in \mathcal{M}_{2,1}$에서 두 개의 삼중 분岐점과 점 $p$에서의 전체 분岐를 가지는 선형 시스템의 수는 $N_2(4) = 210$으로 계산되며, 이는 알려진 값 $N_3(4)$와 일치한다.
• $\overline{\mathcal{M}}_{2,1}$에서 컴팩트화된 딜로버 $\overline{\mathcal{D}}_3$의 계는 $640\psi - 860\lambda + 72\delta_0$로 구해지며, 이는 낮은 종수에서 정확한 타우토로지적 계를 제공한다.
• $\mathcal{M}_{2d-5,1}$의 일반적인 점이 있는 곡선 $[C,p]$에서 $h^0(L \otimes \mathcal{O}_C(-3x)) \geq 1$ 및 $h^0(L \otimes \mathcal{O}_C(-2p-2y)) \geq 1$를 만족하는 선형 시스템의 수는 $N_3(d) = \frac{84(d-3)(2d^2 - 10d + 13)(2d-4)!}{d!\,(d-2)!}$로 주어진다.