[논문 리뷰] Families of K3 surfaces over curves satisfying the equality of Arakelov-Yau's type and modularity

Xiaotao Sun, Sheng-Li Tan외 1명|ArXiv.org|2002. 05. 20.

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

한 줄 요약

이 논문은 곡선 위의 준안정 K3 표면 가닥이 아라켈로프-야우 유형 부등식에서 등호를 만족하는 경우를 분류하며, 이러한 가닥이 니쿨린 호환과 타원 곡면의 곱의 쿠머 구성으로 유래됨을 보여준다. 핵심 결과는 모듈랑드성: 기본 곡선이 $\mathrm{SL}_2(\mathbb{Z})$의 동치부분군에 의해 상하반평면의 몫으로 동형임을 보이며, 모노드로미 표현을 통해 기하학과 모듈러 형식 및 산술기하학을 연결한다.

ABSTRACT

Let $f:X o C$ be a family of semistable K3 surfaces with non-empty set $S$ of singular fibres having infinite local monodromy. Then, when the so called Arakelov-Yau inequality reaches equality, we prove that $C\setminus S$ is a modular curve and the family comes essentially from a family of elliptic curves through a so called Nikulin-Kummer construction. In particular, when $C=\BBb P^1$, the family of elliptic curves must be one of Beauville's 6 examples where Arakelov inequality reaches equality.

연구 동기 및 목표

• 비등지향적인 곡선 위의 준안정 K3 표면 가닥 중 아라켈로프-야우 유형 부등식에서 등호를 만족하는 것을 분류하는 것.
• 반복 코다이라-스펜서 사상이 0이 되는 경우 이러한 가닥의 기하학적 및 산술적 구조를 규명하는 것.
• 모듈랑드성 조건을 확립하는 것: 기하학적 표현을 통해 기본 곡선이 $\mathrm{SL}_2(\mathbb{Z})$로의 단일화 표현을 통해 모듈러 곡선과 동형임을 보이는 것.
• 관련된 타원 곡면 가닥의 단일화 표현을 통해 K3 표면의 기하학을 모듈러 형식과 산술기하학과 연결하는 것.

제안 방법

• 직접 이미지층 $f_*\omega_{X/C}$의 차수에 대한 제약 조건으로 아라켈로프-야우 유형 부등식을 사용하는 것.
• 특이 섬유에서 무한 순서를 가진 $R^2f_*\mathbb{Z}_{X^0}$의 단일화 표현 분석.
• 니쿨린 호환을 통해 쿠머 구성으로 K3 표면을 아벨 표면과 연결하는 것.
• 유한 에탈 기저 변경 후 전역 니쿨린 호환의 구성으로 쿠머 표면 가닥의 구성.
• 균일화 정리의 적용을 통해 특이 섬유를 제외한 기본 곡선이 $\mathcal{H}/\Gamma$ ($\Gamma \subset \mathrm{SL}_2(\mathbb{Z})$의 동치부분군)와 동형임을 보이는 것.
• 특히 $\mathbb{W}$의 분해와 유니터리 국소계열의 역할을 포함한 호지 이론 및 VHS(호지 구조의 변화) 결과의 활용.

실험 결과

연구 질문

• RQ1 곡선 위의 준안정 K3 표면 가닥 중에서 아라켈로프-야우 부등식 $\deg f_*\omega_{X/C} \leq \deg \Omega^1_C(\log S)$에서 등호를 만족하는 것은 무엇인가?
• RQ2 반복 코다이라-스펜서 사상이 0이고 (0.0.2)에서 등호가 성립할 경우 어떤 기하학적 구조가 유도되는가?
• RQ3 이러한 가닥은 모듈러 곡선과 $\mathrm{SL}_2(\mathbb{Z})$의 동치부분군과 어떻게 관련되어 있는가?
• RQ4 관련된 타원 곡면 가닥의 단일화 표현은 $\mathrm{PSL}_2(\mathbb{Z})$로의 단일화 표현으로 확장될 수 있는가?

주요 결과

• 아라켈로프-야우 부등식 (0.0.1)에서 등호를 만족하는 가닥은 일반 섬유의 피카르 수가 최소 19 이상임을 가진다.
• 유한 에탈 기저 변경 후 이러한 가닥은 전역 니쿨린 호환을 갖으며, 유리적 몫은 타원 곡면 가닥의 제곱과 동형인 아벨 표면 가닥을 갖는 쿠머 표면 가닥을 이룬다.
• 타원 곡면 가닥의 사영 단일화 표현은 $\pi_1(C' \setminus \sigma^{-1}S, *) \to \mathrm{PSL}_2(\mathbb{Z})$로 확장되며, $C' \setminus \sigma^{-1}S \simeq \mathcal{H}/\tau\pi_1(\cdots)$이다.
• 반복 코다이라-스펜서 사상이 0이고 (0.0.2)에서 등호가 성립할 경우, $R^2f_*\mathbb{Z}_{X^0}$의 단일화 표현은 $\text{질서-2 자명} \otimes \tau$ 형태이며, $\tau: \pi_1(C' \setminus \sigma^{-1}S, *) \to \mathrm{SL}_2(\mathbb{Z})$이다.
• 특이 섬유를 제외한 기본 곡선은 $\mathrm{PSL}_2(\mathbb{Z})$의 동치부분군 $\Gamma$에 대해 $\mathcal{H}/\Gamma$와 동형이며, 인덱스가 12 또는 24이며, $\Gamma(3)$, $\Gamma_0(4) \cap \Gamma(2)$ 등 6개의 부분군 중 하나와 동치이다.
• 관련된 타원 곡면 가닥은 $\mathbb{P}^1 \setminus S$ 위의 모듈러 가닥으로 확장되거나, 그 에탈 기저 변경 후 확장되며, 단일화 표현의 이미지는 $\mathrm{SL}_2(\mathbb{Z}) \to \mathrm{PSL}_2(\mathbb{Z})$의 사영 사상 아래에서 동치부분군의 역상과 동치이다.