[논문 리뷰] A note on a supersingular K3 surface in characteristic 2

Toshiyuki Katsura, Shigeyuki Kondō|arXiv (Cornell University)|2010. 10. 28.

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

한 줄 요약

이 논문은 특성 2에서 아르틴 불변량 1을 가진 초특이 K3 표면을, 슈퍼특이 타원곡선 $E$의 곱 $E \times E$에 대한 순서 3의 심플렉틱 자기동형사상에 의한 몫을 통해 일반화된 쿠머 표면을 통해 구성한다. 명시적으로 42개의 서로소 유리곡선으로 이루어진 $(21)_5$-구성(18개는 $A_2$-특이점의 해소에서 유래하고, 24개는 몫 위의 타원곡선에서 유래함)을 제시하며, 각 곡선은 다른 집합의 정확히 다섯 개의 곡선과만 만남을 이룹니다. 이는 특성 2에서 유일한 초특이 K3 표면에 대한 새로운 기하학적 실현입니다.

ABSTRACT

We construct, on a supersingular K3 surface with Artin invariant 1 in characteristic 2, a set of 21 disjoint smooth rational curves and another set of 21 disjoint smooth rational curves such that each curve in one set intersects exactly 5 curves from the other set with multiplicity 1 by using the structure of a generalized Kummer surface.

연구 동기 및 목표

• 특성 2에서 아르틴 불변량 1을 가진 유일한 초특이 K3 표면에 대한 새로운 기하학적 구성 방법을 제공하는 것.
• 일반화된 쿠머 표면의 구조를 이용하여 이 표면 위에 $(21)_5$-구성의 42개의 서로소 유리곡선을 실현하는 것.
• 표면가 $E \times E / \langle \sigma \rangle $의 최소 해소로 나타나며, 여기서 $\sigma$는 초특이 타원곡선 $E$ 위의 순서 3 자기동형사상이며, 이로 인해 $A_2$-특이점에서 기인한 18개의 예외적 곡선이 유도됨을 보여주는 것.
• 표면 위의 $E \times E$ 상의 24개의 타원곡선과 그 해소 후 이미지가 $(21)_5$-구성으로 형성됨을 보여주며, 표면의 새로운 실현을 완성하는 것.

제안 방법

• A = E \times E이고 $\iota$는 순서 3의 심플렉틱 자기동형사상인 경우, 몫 $A / \langle \iota \rangle $의 최소 해소로 일반화된 쿠머 표면 $\mathrm{GKm}(A)$를 구성하는 것.
• 표면 $\mathrm{GKm}(A)$ 위에 18개의 유리곡선을 식별하여, 몰입 특이점에서 유래한 9개의 $A_2$-유형의 유한 정수점에서의 해소로 기인한 예외적 분할로 간주하는 것.
• 표면 $\mathrm{GKm}(A)$ 위에 추가로 24개의 유리곡선을 식별하여, $E \times E$ 상의 $\langle \sigma \rangle$ 작용에 관하여 불변인 타원곡선의 이미지로 간주하는 것.
• 네로-타트 높이 쌍화와 네로-세베르 정수계의 교차 이론을 사용하여, 24개의 곡선과 18개의 예외적 곡선이 $(21)_5$-구성으로 형성됨을 검증하는 것.
• Tate–Shioda 공식을 통해 $\mathrm{GKm}(A)$의 피카르 수가 22이고 아르틴 불변량이 1임을 확인하여, 이 표면이 특성 2에서 유일한 초특이 K3 표면과 동형임을 증명하는 것.
• 4개의 $I_6$ 섬유와 18개의 섹션을 가진 타원적 분할의 구조를 통해 $\mathrm{GKm}(A)$와 알려진 초특이 K3 표면 모델 간의 동형관계를 확립하는 것.

실험 결과

연구 질문

• RQ1 특성 2에서 아르틴 불변량 1을 가진 유일한 초특이 K3 표면은 $E \times E$와 순서 3의 심플렉틱 자기동형사상에 의한 일반화된 쿠머 표면을 통해 구성될 수 있는가?
• RQ2 18개의 $A_2$-특이점 해소에서 기인한 예외적 곡선과 몰입 위의 24개의 타원곡선이 $(21)_5$-구성의 유리곡선으로 형성되는가?
• RQ3 $\mathrm{GKm}(A)$ 위의 타원적 분할은 4개의 $I_6$ 섬유와 18개의 섹션을 가지며, 이는 알려진 초특이 K3 표면 모델과 어떻게 관련이 있는가?
• RQ4 $\mathbb{P}^2 \times \mathbb{P}^2$ 에서 좌표를 교환하는 것으로 정의된 표면 위의 치환 $\iota$ 는 $(21)_5$-구성과 어떻게 관련이 있는가?
• RQ5 일반화된 쿠머 표면 $\mathrm{GKm}(A)$ 는 아르틴 불변량 1을 가진 초특이 K3 표면과 동형이며, 이를 확인하는 불변량은 무엇인가?

주요 결과

• A = E \times E 이고 순서 3의 심플렉틱 자기동형사상이 있는 경우, 일반화된 쿠머 표면 $\mathrm{GKm}(A)$ 는 아르틴 불변량 1을 가진 초특이 K3 표면이다.
• 표면는 몰입 $A / \langle \sigma \rangle $ 위의 9개의 $A_2$-유형 유한 정수점에서 기인한 18개의 예외적 유리곡선을 포함한다.
• 표면는 $E \times E$ 상의 타원곡선의 이미지로서 유도된 24개의 추가 유리곡선을 포함하며, 이들은 18개의 예외적 곡선과 함께 $(21)_5$-구성으로 형성된다.
• 24개 곡선 집합의 각 곡선은 정확히 다섯 개의 18개 곡선 집합의 곡선과 교차하며, 반대로도 마찬가지며 교차의 차수는 1이다.
• $\mathrm{GKm}(A)$ 위의 타원적 분할은 4개의 $I_6$ 섬유를 가지며, 18개의 예외적 곡선은 $\mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/3\mathbb{Z}$ 와 동형인 모델-베이 유한군을 이룬다.
• $\mathrm{GKm}(A)$ 표면는 피카르 수 22와 Tate–Shioda 공식에 의한 판별식 $-2^2$ 를 통해 특성 2에서 아르틴 불변량 1을 가진 유일한 초특이 K3 표면과 동형임을 확인하였다.