[논문 리뷰] $K3$ curves with index $k>1$.

Ciro Ciliberto, Thomas Dedieu|arXiv (Cornell University)|2020. 12. 19.

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

한 줄 요약

이 논문은 $k > 1$인 K3 곡선을 분석함으로써 잊혀진 사상 $c^k_g: \mathcal{KC}^k_g \to \mathcal{M}_g$를 통해 일반 섬유의 차원을 기하학적으로 계산한다. 핵심 결과는 K3 표면이 완전교차이거나 Mukai 다양체의 절단인 경우에만 섬유 차원이 비자명하다는 것이며, 이는 $k$-스핀 곡선의 분류와 가중 투영 공간 내에서 완전교차로의 보편적 확장을 명시적으로 구성하는 데로 이어진다.

ABSTRACT

Let $\mathcal{KC}_g ^k$ be the moduli stack of pairs $(S,C)$ with $S$ a $K3$ surface and $C\subset S$ a genus $g$ curve with divisibility $k$ in $\mathrm{Pic}(S)$. In this article we study the forgetful map $c_g^k:(S,C) \mapsto C$ from $\mathcal{KC}_g ^k$ to $\mathcal{M}_g$ for $k>1$. First we compute by geometric means the dimension of its general fibre. This turns out to be interesting only when $S$ is a complete intersection or a section of a Mukai variety. In the former case we find the existence of interesting Fano varieties extending $C$ in its canonical embedding. In the latter case this is related to delicate modular properties of the Mukai varieties. Next we investigate whether $c_g^k$ dominates the locus in $\mathcal{M}_g$ of $k$-spin curves with the appropriate number of independent sections. We are able to do this only when $S$ is a complete intersection, and obtain in these cases some classification results for spin curves.

연구 동기 및 목표

• 기존의 원시적 경우($k=1$)를 확장하여 $k > 1$인 경우에 대해 잊혀진 사상 $c^k_g: \mathcal{KC}^k_g \to \mathcal{M}_g$의 일반 섬유 차원을 계산하는 것.
• 특히 K3 표면이 완전교차인 경우에 $c^k_g$가 $g_1 + 1$개의 독립적인 절단을 가진 $k$-스핀 곡선의 계류를 지배하는지 조사하는 것.
• 특히 $S$가 완전교차이거나 Mukai 다양체의 절단인 경우에 일반 K3 곡선의 인덱스 $k > 1$에 대한 보편적 확장 $X$를 구성하고 기술하는 것.
• 보편적 확장을 가중 투영 공간 내에서 완전교차로 기하학적으로 구성함으로써 [9]의 코homological 계산 결과를 복원하고 개선하는 것.
• 특히 $\mathrm{Aut}(M_{g_1})$와의 관련성에서 Mukai 다양체와 그 절단의 모듈러 성질을 탐구하는 것, 특히 $C$의 모델들이 동치가 되는지 여부를 고려하는 것.

제안 방법

• 섬유 차원을 결정하는 데 필요한 코랭크를 계산하기 위해 Gauss–Wahl 사상 $\Phi_C$의 기하학적 분석.
• 반대표준 분포 클래스를 사용하여 보편적 확장 $X$를 가중 투영 공간 내에서 완전교차로 명시적으로 구성하는 것.
• 특히 $S$가 완전교차인 경우에 $S$ 위의 선형계와 그 $C$로의 역상에 대한 분석을 통해 일반 섬유 $ (c^k_g)^{-1}(C) $를 분류하는 것.
• Gorenstein Fano 삼중체의 종수에 대한 Prokhorov의 경계를 사용하여 $c^k_g$가 양의 차원 섬유를 가질 수 있는 $g$의 범위를 제한하는 것.
• $c^k_g$를 $h^0(\theta) \geq g_1 + 1$인 $k$-스핀 곡선의 모듈리 스택 $S^{1/k}_{g_1,g}$를 통해 인수화함으로써 기존의 스핀 곡선 모듈리와 비교 가능한 조건을 만드는 것.
• 예를 들어 유리 스트롤, del Pezzo 표면, $\mathbb{P}^2$의 블로우업 등의 표면 모델을 사례별로 분석하여 $g^1_8$을 유도하는 구성 요소를 배제함으로써 섬유의 구조를 제약하는 것.

실험 결과

연구 질문

• RQ1 어느 $g_1$와 $k > 1$ 값들에 대해 $c^k_g: \mathcal{KC}^k_g \to \mathcal{M}_g$의 일반 섬유가 차원에서 비자명한가?
• RQ2 일반 K3 곡선 $C$의 보편적 확장 $X$는 가중 투영 공간 내에서 완전교차로 명시적으로 구성될 수 있는가?
• RQ3 Mukai 다양체 $M_{g_1}$은 $k=1$, $g_1 > 6$ 또는 $k=2$, $g_1=6$인 경우 일반 곡선의 보편적 확장으로서 기능하는가?
• RQ4 일반 K3 곡선 $C$의 모든 모델들이 $C$가 Mukai 다양체의 절단인 경우 $\mathrm{Aut}(M_{g_1})$의 작용 하에 동치가 되는가?
• RQ5 $c^k_g$가 $g_1 + 1$개의 독립적인 절단을 가진 $k$-스핀 곡선의 모듈리 공간을 어느 정도 지배하는가?

주요 결과

• 일반 섬유의 차원이 양수일 수 있는 경우는 $g_1 \in \{3,4,5\}$ (완전교차 사례) 또는 $g_1 \in \{6,7,8,9,10\}$ (Mukai 다양체 사례)일 때뿐이며, $g > 37$이면 유한한 수의 $g_1, k$ 쌍 외에는 일반적으로 단사성이 성립한다.
• $g_1 \in \{3,4,5\}$인 경우, 일반 K3 곡선 $C$의 보편적 확장 $X$는 가중 투영 공간 내에서 완전교차로 구성되며, $| -K_X |$에 속하는 분포를 통해 임bedding되며, 이 구성은 [9]에서 코homologically 계산된 Gauss–Wahl 사상의 코랭크를 복원한다.
• $g_1 = 6$, $k = 2$인 경우, 일반 섬유의 차원은 1이며, Mukai 다양체 $M_6$는 이미지 내 일반 곡선의 보편적 확장이다.
• $g_1 = 6$, $k = 2$인 경우, 모듈리 스택 $S^{1/2}_{6,g}$는 $\mathcal{KC}^2_g$에 의해 지배되며, 이미지 내 일반 곡선은 $h^0(\theta) = 7$인 $k$-스핀 곡선이다.
• Mukai 다양체 $M_{g_1}$는 $k=1$, $g_1 > 6$ 또는 $k=2$, $g_1 = 6$인 경우에 일반 곡선의 이미지 $\mathrm{im}(c^k_g)$에 대한 보편적 확장으로서 기능하며, 자연스러운 추측을 확인한다.
• 특히 기저점이 있거나 특이 모델을 포함하는 경우를 포함하여 $S^{1/k}_{g_1,g}$ 내에서 $h^0(\theta) = g_1 + 1$인 $k$-스핀 곡선의 명시적 예를 구성하였으며, 이는 $c^k_g$의 이미지가 기저점이 없는 $k$-스핀 곡선의 계류를 엄밀히 초월함을 보여준다.