[논문 리뷰] Elliptic K3 surfaces with p^n-torsion sections

Hiroyuki Ito, Christian Liedtke|arXiv (Cornell University)|2010. 02. 28.

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

한 줄 요약

이 논문은 양의 특성 $p$에서 $p^n$- torsion 섹션을 가진 타원 K3 표면를 분류하며, $p^n \geq 3$일 때 이러한 표면이 존재하는 것은 $p^n \leq 8$일 때에만 가능하다는 것을 증명하고, 유리성, 초특수성, 그리고 유리 타원 표면에서의 프로베니우스 당김 사이의 동치성을 확립한다. 이 클래스에 대해 아르틴과 쇼이다의 추측을 검증하고 형식 Brauer 군의 높이, 아르틴 불변량, Mordell–Weil 군을 명시적으로 계산한다.

ABSTRACT

We classify elliptic K3 surfaces in characteristic $p$ with $p^n$-torsion sections. For $p^n\geq3$ we verify conjectures of Artin and Shioda, compute the heights of their formal Brauer groups, as well as Artin invariants and Mordell--Weil groups in the supersingular cases.

연구 동기 및 목표

• 특성 $p$에서 $p^n$- torsion 섹션을 가지는 타원 K3 표면를 분류하는 것.
• 특성 $p^n \geq 3$일 때, 아르틴과 쇼이다의 추측이 타원 K3 표면에서 $p^n$- torsion 섹션을 가지는 경우에 대해 검증하는 것.
• 초특수 경우에서 형식 Brauer 군의 높이, 아르틴 불변량, Mordell–Weil 군을 계산하는 것.
• 이러한 피브레이션들이 유리 타원 표면에서의 프로베니우스 당김으로서 정확히 어떤 조건에서 발생하는지 결정하는 것.

제안 방법

• 일반적인 타원 곡선과 $p^n$- torsion 섹션을 가진 것을 매개화하기 위해 Igusa 모듈리 함자와 Igusa 곡선 $\mathrm{Ig}(p^n)^{\mathrm{ord}}$를 이용한다.
• L-S08에서의 극점과 초특수 영역에 대한 Néron 모델 결과를 응용하여 피브레이션을 구성하고 분류한다.
• 특성 $p=3$과 $p=2$에서 각각 $E_8^2$- 및 $E_8^4$- 특이점의 준일반적 변형을 이용하여 K3 표면의 가중족을 구성한다.
• p- torsion 섹션에 의한 이동 작용을 야생적 $p$-순환 자동형사상으로 분석하고, 열악한 섹션에서의 고정점 집합을 계산한다.
• 명시적 Weierstrass 방정식과 특이 섹션 유형(예: $I_1^*, III_1, I_8, I_{16}$)을 이용하여 관련 사상 $\varphi$의 차수와 분기 정도를 통해 피브레이션을 분류한다.
• 형식 Brauer 군 이론과 아르틴 불변량 이론을 적용하여 일반적($h=1$)과 초특수적($h=\infty$) 경우를 구분한다.

실험 결과

연구 질문

• RQ1 어느 $p^n$ 에서 타원 K3 표면에서 $p^n$- torsion 섹션을 가지는 것이 특성 $p$에서 존재하는가?
• RQ2 K3 표면 위의 타원 피브레이션이 언제 유리 타원 표면에서의 프로베니우스 당김으로서 발생하는가?
• RQ3 이러한 피브레이션에서 아르틴 불변량과 형식 Brauer 군의 높이는 특이 섹션 구성과 어떻게 관련되는가?
• RQ4 이러한 피브레이션의 Mordell–Weil 군의 구조는 무엇이며, $p^n$에 따라 어떻게 변하는가?
• RQ5 특성 $p^n \geq 3$일 때 아르틴과 쇼이다의 추측이 타원 K3 표면에서 $p^n$- torsion 섹션을 가지는 경우에 대해 성립하는가?

주요 결과

• 특성 $p$에서 $p^n$- torsion 섹션을 가진 타원 K3 표면는 $p^n \leq 8$일 때에만 존재하며, $p^n \geq 3$일 때는 $j$-불변량이 일정할 때에만 이러한 피브레이션이 존재한다.
• 특성 $p^n \geq 3$일 때 다음 네 가지 조건은 서로 동치이다: (1) 피브레이션이 유리 타원 표면에서의 프로베니우스 당김이며, (2) 표면가 유리성이며, (3) 표면가 초특수이며, (4) 피브레이션에 정확히 하나의 애드티브 섹션이 존재한다.
• 형식 Brauer 군의 높이는 두 개의 애드티브 섹션이 있을 경우 $1$ (일반적), 정확히 하나의 애드티브 섹션이 있을 경우 $\infty$ (초특수적)이다.
• 특성 $p^n$- torsion 섹션을 가진 초특수 K3 표면의 아르틴 불변량 $\sigma_0$는 $\sigma_0 \leq \sigma_0(p^n)$를 만족하며, $\sigma_0(8)=1$, $\sigma_0(7)=1$, $\sigma_0(5)=2$, $\sigma_0(4)=3$, $\sigma_0(3)=6$이다.
• 특성 $p^n \geq 7$일 때 정확히 하나의 그러한 K3 표면이 존재하며, 이는 초특수적이다; $p^n \leq 5$일 때는 일반적인 표면이 일반적이다.
• 명시적 Weierstrass 방정식과 Mordell–Weil 군이 계산되었으며, 일부 경우에서 $\mathrm{MW}(X)$는 $D_4^*(2) \oplus \mathbb{Z}/4\mathbb{Z}$와 동형이며, 극단적인 경우에서는 자명하다.