[논문 리뷰] Nodal curves with general moduli on K3 surfaces

Flaminio Flamini, Andreas Leopold Knutsen외 2명|ArXiv.org|2007. 07. 02.

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

한 줄 요약

이 논문은 $K3$ 표면에서 $3 \leq p \leq 11$ 인 $2p-2$ 차수를 가진 표면에 대해, 기하학적 종수 $g = p - \delta$ 이고 $\delta \leq p-2$ 인 노드 곡선이 정규화를 통해 모듈리 공간 $\mathcal{M}_g$ 를 지배함을 확립한다. 쌍 $(S,X)$ 의 변형 이론을 사용하여, 이러한 쌍의 스택에서 $\mathcal{M}_g$ 로의 사상이 지배적임을 증명함으로써, 일반적인 종수 $g \leq 10$ 의 곡선들이 이러한 $K3$ 표면 위의 노드 곡선의 정규화로 나타남을 보이며, 이는 같은 종수의 매끄러운 곡선이 이러한 표면에 매장되지 않는 것과 대조된다.

ABSTRACT

We investigate the modular properties of nodal curves on a low genus K3 surface. We prove that a general genus g curve C is the normalization of a d-nodal curve X sitting on a primitively polarized K3 surface S of degree 2p-2, for p any integer between 3 and 11 and g = p - d between 2 and p. The proof is based on a local deformation-theoretic analysis of the map from the stack of pairs (S,X) to the moduli space of curves of genus g that associates to X the isomorphism class [C] of its normalization.

연구 동기 및 목표

• 노드 곡선의 모듈라 성질을 $K3$ 표면에서 조사하고, 특히 그 정규화가 모듈리 공간 $\mathcal{M}_g$ 를 지배하는지 여부를 밝히는 것.
• 베유의 매끄러운 곡선에 대한 변형 이론적 접근을 $K3$ 표면 위의 노드 곡선으로 확장하는 것.
• 종수 10의 매끄러운 곡선이 $K3$ 표면에 지배적이지 않은 데 반해 종수 9의 노드 곡선은 같은 설정에서 지배적이라는 모순을 해결하는 것.
• 정규화 사상 $c_{p,\delta}$ 가 쌍 $(S,X)$ 에서 $\mathcal{M}_g$ 로의 변형 이론적 행동을 분석하는 것.

제안 방법

• $S$ 가 섹션 종수 $p$ 를 가진 원시 극성 $H$ 를 가진 $K3$ 표면이고, $X \in |H|$ 가 $\delta$-노드 곡선인 쌍 $(S,X)$ 를 매개변수화하는 스택 $\mathcal{V}_{p,\delta}$ 의 사용.
• $S$ 의 접선 벡터장 중에서 $X$ 에 접하는 것들의 층 $\mathcal{T}_S\langle X\rangle$ 의 연구로, 이의 코homology 가 쌍 $(S,X)$ 의 변형을 제어함.
• 정규화 사상 $c_{p,\delta}$ 의 국소 변형 이론을 분석하기 위해 $X$ 의 노드에서 $S$ 를 블로우업하는 것.
• $c_{p,\delta}$ 의 지배성을 $H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ 의 영성으로 환원하는 것, 여기서 $N = \operatorname{Sing}(X)$.
• 코homological 기준의 적용: $H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H)) = 0$ 이면 지배성이 성립하며, 이는 $H^0(\Omega_S^1(H)) \cong \mathbb{C}$ 에 대한 전역 단면의 추론을 통해 증명된다.
• 블로우업에서의 정확한 수열과 평가 사상의 사용으로 $c_{p,\delta}$ 의 미분을 제어하고, 스무스성 또는 비분기성 보장.

실험 결과

연구 질문

• RQ1 노드 곡선의 정규화 사상 $c_{p,\delta}$ 가 쌍 $(S,X)$ 에서 $\mathcal{M}_g$ 로의 모듈리 공간을 지배하는가?
• RQ2 $V_{11,1}$ 이 $\mathcal{M}_{10}$ 을 지배하는 데 반해 $V_{10,0}$ 은 지배하지 않는 이유는 무엇인가, 종수가 동일한 데도 불구하고?
• RQ3 매끄러운 곡선에 대한 것과 유사하게, 노드 곡선이 $K3$ 표면 위에 존재하기 위한 워흐 타입의 장벽을 정의할 수 있는가?
• RQ4 $c_{p,\delta}$ 의 이미지가 $\mathcal{M}_g$ 내의 초타원곡선 계열 $\mathcal{H}_g$ 와 만날 수 있는가, 그리고 이러한 계열의 차원은 얼마인가?
• RQ5 $p \geq 12$ 로의 결과 확장은 어떻게 이루어지며, $g \geq 12$ 에서 $c_{p,\delta}$ 의 행동은 어떠한가?

주요 결과

• $3 \leq p \leq 11$ 이고 $0 \leq \delta \leq p-2$ 일 때, $V_{p,\delta}$ 의 임의의 기약 성분 $V$ 에 대해 $c_{p,\delta}|_V$ 는 지배적이다. 따라서 종수 $g = p - \delta$ 의 일반 곡선은 $K3$ 표면 위의 노드 곡선의 정규화로 나타난다.
• $c_{p,\delta}$ 의 섬유 차원은 $22 - 2g$ 로 예상되는 차원과 일치하여, 사상이 일반적으로 스무스하고 지배적임을 확인한다.
• $p = 11, \delta = 1$ 인 경우, $V_{11,1}$ 의 모든 기약 성분이 $\mathcal{M}_{10}$ 을 지배한다. 이는 $V_{10,0}$ 이 $\mathcal{M}_{10}$ 을 지배하지 않는 것과 대비되어 놀랍다.
• $p = 10, \delta = 1$ 인 경우, $V_{10,1}$ 의 노드 곡선은 경계 $\partial\overline{\mathcal{M}}_{10}$ 에서만 초면을 메운다. 비록 그 정규화가 종수 9의 일반 곡선이지만 말이다.
• 일반 종수 9 곡선 $C$ 상의 효과적 초면 $P+Q$ 의 계열 중에서 $X = C/(P=Q)$ 가 $K3$ 표면 위에 존재하는 것은 $C^{(2)}$ 내의 1차원 순환체 $\Gamma \subset C^{(2)}$ 를 이룬다.
• $p \geq 12$ 에서는, $H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ 와 $H^1(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ 의 코homological 조건에 기반하여, $g \leq 11$ 에서는 $c_{p,\delta}|_V$ 가 지배적이고, $12 \leq g < p$ 에서는 일반적으로 유한하다고 추측한다.