[논문 리뷰] A gluing construction of K3 surfaces

Takayuki Koike, Takato Uehara|arXiv (Cornell University)|2019. 03. 03.

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

한 줄 요약

이 논문은 $ℝ\textsuperscript{2}$에서 9개의 일반 점에 대한 블로우업에서 타원곡선의 원형근접근의 여유를 제거한 두 개의 열린 복소 표면을 붙임으로써 K3 표면의 새로운 접합 구조를 제시한다. 이로 인해 유도된 K3 표면의 가속도는 19차원이며, 일반적인 매개변수에서의 섬세한 표면들은 비프로젝티브이고 비쿤퍼만이며, 피카르 수가 0인 표면으로, $C^\omega$ 리프만 평면 초표면의 실수 1매개변수 가속도를 가지며, 이들 각각은 $S^1 \times S^1 \times S^1$와 미분형태가 같고, 각각은 $ℝ$ 또는 $ℝ^*$에 바이홀로모르픽인 밀도 있는 리프를 포함하는 평면으로 나뉘어진다. 이 구조는 비대수기하학적 성질과 이국적인 헬로모르픽 역학을 실현한다.

ABSTRACT

We develop a new method for constructing K3 surfaces. We construct such a K3 surface $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective planes at general nine points. Our construction has $19$ complex dimensional degrees of freedom. For general parameters, the K3 surface $X$ is neither Kummer nor projective. By the argument based on the concrete computation of the period map, we also investigate which points in the period domain correspond to K3 surfaces obtained by such construction.

연구 동기 및 목표

• 비프로젝티브이자 비쿤퍼만인 K3 표면의 명시적 기하학적 구조의 부족을 메우기 위해, 비대수기하학적 K3 표면을 위한 새로운 구조 방법을 개발하는 것.
• 9개의 일반 점에서 $ℝ\textsuperscript{2}$의 블로우업에서 타원곡선의 원형근접의 여유를 제거한 표면을 사용한 헬로모르픽 접합 절차 수립.
• 수득된 K3 표면이 $C^\omega$ 리프만 평면 초표면과 밀도 있는 헬로모르픽 리프를 가짐을 보여주는 것.
• 구성된 가속도의 주기 지도 영역 이미지 분석 및 이러한 K3 표면에 해당하는 주기 도메인 내의 점들을 특정하는 것.
• 헬로모르픽 사상 $ℝ \to X$가 존재함을 보여주며, 이 사상의 유클리드 폐포는 컴acts지만, 자리지 폐포는 전체 표면이 되며, 이는 비대수기하학적 역학을 드러낸다.

제안 방법

• 구성은 $ℝ\textsuperscript{2}$ 내에서 동형인 두 개의 타원곡선 $C_0^\pm$을 시작으로, 각각 9개의 일반 점 $Z^\pm$을 포함하며, 이 점들에서 $ℝ\textsuperscript{2}$의 블로우업 $S^\pm$을 형성한다.
• 엄격한 변형 $C^\pm \subset S^\pm$은 타원곡선이며, 그들의 원형근접의 여유를 제거한 여유 표면 $M^\pm$은 접합에 사용된다.
• 경계를 헬로모르픽 동형사상으로 연결함으로써 접합이 이루어지며, 이는 정규 번들의 모노드로미가 디오판틴 조건을 만족해야 하며, 이는 헬로모르픽 연장 가능성을 보장한다.
• 평면 선다발 $N \in \mathrm{Pic}^0(C)$에 대한 디오판틴 조건은 $N^n$이 어떤 $n$에 대해서도 헬로모르픽으로 자명하지 않음을 보장하며, 이는 리프만 평면 평면의 존재에 필수적이다.
• 구성은 19차원 기저 $B$에서 주기 도메인으로의 모듈리 지도의 국소적 단사성을 검증하기 위해 구체적인 주기 지도 계산에 의존한다.
• 리프만 평면 초표면 $H_t$의 존재는 $t \in (a,b)$에 대해 $\{x \in N \mid |x|_h = t\}$의 수준집합과 연결되며, 이때 $N$은 곡률이 0인 메트릭 $h$를 가진 비순환 평면 선다발이다.

실험 결과

연구 질문

• RQ1 9개의 일반 점에서 $ℝ\textsuperscript{2}$의 블로우업에서 타원곡선의 원형근접의 여유를 제거한 표면을 사용하여 K3 표면의 헬로모르픽 접합 구조를 얻을 수 있는가?
• RQ2 9개의 점의 구성과 관련된 선다발 조건이 접합 지도의 헬로모르픽 연장 가능성을 보장하는가?
• RQ3 이 접합 방법으로 구성된 K3 표면에 해당하는 주기 도메인 내의 점은 무엇인가?
• RQ4 이러한 K3 표면은 $C^\omega$ 리프만 평면 초표면과 밀도 있는 헬로모르픽 리프를 포함하는 1매개변수 가속도를 가지는가?
• RQ5 이러한 K3 표면은 $ℝ \to X$의 헬로모르픽 사상이 존재하는가? 이 사상의 자리지 폐포는 전체 표면이지만 유클리드 폐포는 $X$의 컴팩트한 진부분집합이 되는가?

주요 결과

• 구성은 19차원의 헬로모르픽 가속도 $\pi: \mathcal{X} \to B$를 유도하며, 주기 지도의 국소적 단사성으로 인해 모듈리 공간이 기대하는 차원을 가짐을 확인한다.
• 일반적인 매개변수에서 이 가속도의 K3 표면들은 피카르 수가 0이므로, 비프로젝티브이자 비쿤퍼만 표면임을 의미한다.
• 각 섬세한 표면은 실수 1매개변수 가속도를 가진 $C^\omega$ 리프만 평면 초표면 $\{H_t\}_{t \in I}$를 가지며, 이들 각각은 $S^1 \times S^1 \times S^1$와 미분형태가 같고, 리프는 $ℝ$ 또는 $ℝ^*$에 바이홀로모르픽이다.
• 리프만 평면 평면의 리프는 $H_t$ 내에서 밀도가 있으며, 리프의 헬로모르픽 구조는 곡률이 0인 비순환 평면 선다발 $N \to C$에서 유래한다.
• 이 구조는 헬로모르픽 사상 $f: \u211d \to X$를 가지며, $f(\u211d)$의 자리지 폐포는 $X$ 전체이지만, 유클리드 폐포는 $X$의 컴팩트한 진부분집합이 되는 K3 표면 $X$를 실현한다. 이는 비대수기하학적 헬로모르픽 역학을 보여준다.
• 평면 선다발 $N$에 대한 디오판틴 조건은 모노드로미가 충분히 무리수임을 보장하며, 이는 헬로모르픽 접합이 성공하고 리프만 평면의 존재에 필수적이고 충분한 조건이다.