[논문 리뷰] A 1-dimensional family of Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1

Toshiyuki Katsura, Shigeyuki Kondō|arXiv (Cornell University)|2014. 11. 12.

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

한 줄 요약

이 논문은 특성 2에서 1차원의 고전적이고 초특수인 에리쿠스 표면의 가닥을 구성하며, 그 표준 덮개는 아르틴 불변수 1을 가진 유일한 초특수 K3 표면이다. 이 표면들 위에서 30개의 비특이 유리곡선과 10개의 비효율적 $(-2)$-환을 식별하여, 그 반사군이 토너스를 무시한 네로-세베 띠의 직교군 내에 유한 지수를 가짐을 보이며, 관련 다면체의 자기동형군은 $¤mathfrak{S}_6 · ¤mathbb{Z}/2¤mathbb{Z}$ 와 동형임을 보였다. 이 구성은 프로베니우스 기저 변경과 $I_6$ 섬유를 가진 타원형 K3 표면 위의 유리 벡터장에 기반한다.

ABSTRACT

We give a 1-dimensional family of classical and supersingular Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1. Moreover we show that there exist 30 nonsingular rational curves and ten non-effective (-2)-divisors on these Enriques surfaces whose reflection group is of finite index in the orthogonal group of the Neron-Severi lattice modulo torsion.

연구 동기 및 목표

• 특성 2에서 아르틴 불변수 1을 가진 초특수 K3 표면으로 덮이는 1차원의 에리쿠스 표면 가닥을 구성하는 것.
• 이 에리쿠스 표면들의 토너스를 제외한 네로-세베 띠의 기하학을 분석하는 것.
• 이 에리쿠스 표면들 위에서 30개의 비특이 유리곡선과 10개의 비효율적 $(-2)$-환을 식별하고 연구하는 것.
• 이 $(-2)$-환들에 의해 생성된 반사군의 구조와 네로-세베 띠의 직교군과의 관계를 규명하는 것.
• 대칭군 $¤mathfrak{S}_6$ 와 외부 자기동형사상의 작용을 통해 에리쿠스 표면의 자기동형군을 조사하는 것.

제안 방법

• 다음 식으로 정의된 $¤mathbb{P}^1$ 위의 타원형 표면을 구성한다: $y^2 + y + x^3 + s x (y^2 + y + 1) = 0$, 이는 $s = 1, \omega, \omega^2, \infty$ 에서 네 개의 $I_3$ 섬유를 가진다.
• 기저 변경 $s = t^2$ 를 적용하여 $A_1$ 유형의 12개의 유리 이중점들을 가지는 새로운 타원형 표면을 얻고, 아르틴 불변수 1을 가진 초특수 K3 표면 $Y$ 를 유도한다.
• 매개변수 $a, b \in k$ 를 사용하여 $a + b = ab$ 이고 $a^3 \neq 1$ 이며, $Y$ 위에 유리 벡터장 $D$ 를 정의하고, $D$ 의 작용에 대한 몫을 취하여 에리쿠스 표면 $X = X_{a,b}$ 를 얻는다.
• 표면 $Y$ 위에서 42개의 유리곡선을 식별한다: 네 개의 $I_6$ 섬유의 성분들과 18개의 단면들로 구성되며, 이들을 몫 사상에 따라 $X$ 위로 내림내려 30개의 유리곡선을 얻는다.
• 15개의 두부드(전치), 15개의 싱스템(세 개의 서로소 전치의 곱), 그리고 $¤text{Num}(X)$ 에서 10개의 $(-2)$-환을 포함하는 그래프 $\Gamma$ 를 구성하고, 그의 평행 부분도형을 분석한다.
• 빈버그의 초타원 반사군 이론을 사용하여 반사군 $W(\Gamma)$ 가 $¤text{O}(\u00a4text{Num}(X))$ 에서 유한 지수를 가짐을 보이고, 관련 다면체의 자기동형군을 계산한다.

실험 결과

연구 질문

• RQ1 특성 2에서 아르틴 불변수 1을 가진 초특수 K3 표면으로 덮이는 에리쿠스 표면의 네로-세베 띠의 토너스를 제외한 구조는 무엇인가?
• RQ2 이러한 에리쿠스 표면들 위에는 비특이 유리곡선과 비효율적 $(-2)$-환들이 얼마나 존재하며, 그 기하적 구성은 어떻게 되는가?
• RQ3 이 $(-2)$-환들에 의해 생성된 반사군이 네로-세베 띠의 직교군 내에서의 지수는 얼마인가?
• RQ4 에리쿠스 표면의 자기동형군은 대칭군 작용과 외부 자기동형사상으로 기술될 수 있는가?
• RQ5 커레모나 변환은 커버링 K3 표면에서 에리쿠스 표면으로 내림내릴 수 있는가?

주요 결과

• 논문은 $a + b = ab$ 이고 $a^3 \neq 1$ 인 $a, b \in k$ 로 매개변수화된 1차원의 에리쿠스 표면 가닥을 구성하며, $a = b = 0$ 일 때는 초특수 에리쿠스 표면이 되고, 그 외에는 고전적 에리쿠스 표면이 된다.
• 에리쿠스 표면 $X_{a,b}$ 위에는 정확히 30개의 비특이 유리곡선과 10개의 비효율적 $(-2)$-환들이 존재하며, 그 이중 그래프 $\Gamma$ 는 $¤mathfrak{S}_6$ 의 두부드, 싱스템, 순열의 포함관계와 대응된다.
• 40개의 $(-2)$-환들에 대한 반사군 $W(\Gamma)$ 는 토너스를 제외한 네로-세베 띠의 직교군 $¤text{O}(\u00a4text{Num}(X))$ 내에 유한 지수를 가진다.
• 다면체 $D(\Gamma)$ 의 자기동형군은 $¤mathfrak{S}_6 \cdot \u00a4mathbb{Z}/2¤mathbb{Z}$ 와 동형이며, $¤mathbb{Z}/2¤mathbb{Z}$ 항목은 $¤mathfrak{S}_6$ 의 외부 자기동형사상에서 기인한다.
• $W(\Gamma)$ 는 40개의 $(-2)$-환들에 대한 반사들에 의해 생성되며, 그 작용은 부호를 제외한 전체 직교군을 유한 지수까지 실현한다.
• 일부 K3 커버링 표면 위의 특정 크레모나 변환이 $X$ 로 내림내린다는 가정 하에, 자기동형군 $¤text{Aut}(X)$ 는 $¤mathfrak{S}_6 \cdot \u00a4mathbb{Z}/2¤mathbb{Z}$ 와 10개의 비효율적 $(-2)$-환들에 대한 반사군 $G$ 로 생성되며, 유한군을 제외한 채로 전체를 형성한다.