[논문 리뷰] On the supersingular K3 surface in characteristic 5 with Artin invariant 1

Toshiyuki Katsura, Shigeyuki Kondō외 1명|arXiv (Cornell University)|2013. 12. 03.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 3

한 줄 요약

이 논문은 특성 5에서 아르틴 불변량 1을 가진 초특이 K3 표면에 대해 세 가지 서로 다른 쌍대형 모델을 구축하며, 최소 차수의 매끄러운 유리곡선을 식별하고 그 자동형군을 계산한다. 초특이 아벨 표면 위의 성질 5의 초타원곡선을 이용하여, K3 표면에서 처음으로 알려진 96개의 분리된 유리곡선으로 이루어진 새로운 $(16_{12})$-구성(구성)을 제시한다.

ABSTRACT

We present three interesting projective models of the supersingular K3 surface X in characteristic 5 with Artin invariant 1. For each projective model, we determine smooth rational curves on X with the minimal degree and the projective automorphism group. Moreover, by using the superspecial abelian surface, we construct six sets of 16 disjoint smooth rational curves on X, and show that they form a beautiful configuration.

연구 동기 및 목표

• 특성 5에서 아르틴 불변량 1을 가진 초특이 K3 표면에 대해 세 가지 서로 다른 프로젝션 모델을 구축한다.
• 각 모델에서 매끄러운 유리곡선의 최소 차수를 결정하고 자동형군의 작용 하에서 이를 분류한다.
• 표면 위에 16개의 분리된 유리곡선으로 이루어진 구성(구성)을 구축하고 그 기하학적 및 군론적 성질을 분석한다.
• Kummer 표면 구축법으로는 실현될 수 없는 K3 표면 위에서 $(16_{12})$-구성(구성)의 존재를 보여준다.

제안 방법

• 저자들은 보르체르스 방법과 리치 격자 기하학을 사용하여, $x^6 + y^6 + z^6 = 0$ 에서 분지하는 $\mathbb{P}^2$ 의 이중 쌍대형 덮개에 대응하는 극화 $h_F$ 를 구축하고 검증한다.
• 네로-세베르 격자와 그 쌍대를 분석하여, 각각 차수 60과 80을 가지는 극화 $h_1$ 과 $h_2$ 를 식별하며, 군론적 및 격자론적 제약 조건을 사용한다.
• 각 모델의 자동형군은 군 작용을 통해 결정된다: $\operatorname{Aut}(X,h_F)$ 는 $\mathrm{PGU}(3,\mathbb{F}_{25})$ 에 대한 $\mathbb{Z}/2\mathbb{Z}$ 의 중심 확장이며, $\operatorname{Aut}(X,h_1) \cong \mathfrak{A}_8$, $\operatorname{Aut}(X,h_2) \cong (\mathbb{Z}/2\mathbb{Z})^4 \rtimes (\mathbb{Z}/3\mathbb{Z} \times \mathfrak{S}_4)$ 이다.
• 96개의 유리곡선 구성(구성)은 초특이 아벨 표면과 성질 5의 초타원곡선을 이용하여 구축되며, 곡선들에 대한 명시적 유리 함수 사상이 제공된다.
• $(16_{12})$-구성(구성)의 존재는 $\operatorname{Aut}(X,h_2)$ 작용 하에서 96개의 곡선이 각각 크기 48인 두 궤도로 분해되며, 각 16개 곡선 집합이 $16_{12}$-구성(구성)을 이룬다는 것을 보여줌으로써 입증된다.

실험 결과

연구 질문

• RQ1 특성 5에서 아르틴 불변량 1을 가진 초특이 K3 표면의 프로젝션 모델은 무엇이며, 각각의 정의 극화는 무엇인가?
• RQ2 각 모델에서 매끄러운 유리곡선의 최소 차수는 무엇이며, 자동형군 작용 하에서 어떻게 분포되어 있는가?
• RQ3 이 K3 표면 위에 16개의 분리된 유리곡선으로 이루어진 구성(구성)을 구축할 수 있는가? 이때 각 곡선이 정확히 12개의 다른 곡선과 만날 수 있도록 하는 $(16_{12})$-구성(구성)이 가능한가?
• RQ4 세 모델 간에 자동형군이 유리곡선에 작용하는 방식은 어떻게 다를까?
• RQ5 Kummer 표면 구축법으로 유도되지 않는 K3 표면 위에서 $(16_{12})$-구성(구성)은 실현 가능한가?

주요 결과

• 이중 쌍대형 모델 $(X, h_F)$ 는 $x^6 + y^6 + z^6 = 0$ 에서 분지하는 $\mathbb{P}^2$ 의 차수 2 쌍대형 덮개이며, $h_F$ 는 직선의 pullback 이며, 정확히 252개의 차수 1의 매끄러운 유리곡선을 포함한다.
• 자동형군 $\operatorname{Aut}(X, h_F)$ 는 $\mathrm{PGU}(3,\mathbb{F}_{25})$ 에 대한 $\mathbb{Z}/2\mathbb{Z}$ 의 중심 확장이며, 252개의 차수 1 유리곡선 위에 추이적으로 작용한다.
• 모델 $(X, h_1)$ 의 자동형군은 대칭군 $\mathfrak{A}_8$ 과 동형이며, 정확히 168개의 차수 5의 매끄러운 유리곡선을 포함하며, 군은 이 곡선들 위에 추이적으로 작용한다.
• 모델 $(X, h_2)$ 의 자동형군의 순서는 1152이며, $(\mathbb{Z}/2\mathbb{Z})^4 \rtimes (\mathbb{Z}/3\mathbb{Z} \times \mathfrak{S}_4)$ 와 동형이며, 96개의 차수 5의 매끄러운 유리곡선을 포함하며, 각각 크기 48인 두 궤도로 분해된다.
• $(X, h_2)$ 에서 96개의 유리곡선은 $(16_{12})$-구성(구성)을 이룬다: 6개의 16개 분리된 곡선 집합이 존재하며, 각 집합은 각 곡선이 정확히 12개의 다른 곡선과 교차하는 구성(구성)을 형성한다. 이는 K3 표면에서 처음으로 알려진 그러한 구성(구성)이다.