[논문 리뷰] On certain duality of N\'eron-Severi lattices of supersingular K3 surfaces and its application to generic supersingular K3 surfaces

Shigeyuki Kondō, Ichiro Shimada|arXiv (Cornell University)|2012. 12. 03.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 아르틴 불변량의 합이 11이 되는 초특수 K3 표면의 네론-세베르 피복 격자 사이의 이중성 관계를 확립하여, 특성 2와 3에서 아르틴 불변량 10인 K3 표면의 계수 1의 분할을 분류하고, 그들의 네프 콘의 자기동형군 생성자를 규명한다. 또한 주기 기반의 일반성 개념을 도입하고, 아르틴 불변량이 1보다 큰 홀수 특성에서의 일반 초특수 K3 표면의 존재성을 증명한다.

ABSTRACT

Let X and Y be supersingular K3 surfaces defined over an algebraically closed field. Suppose that the sum of their Artin invariants is 11. Then there exists a certain duality between their Neron-Severi lattices. We investigate geometric consequences of this duality. As an application, we classify genus one fibrations on supersingular K3 surfaces with Artin invariant 10 in characteristic 2 and 3, and give a set of generators of the automorphism group of the nef cone of these supersingular K3 surfaces. The difference between the automorphism group of a supersingular K3 surface X and the automorphism group of its nef cone is determined by the period of X. We define the notion of genericity for supersingular K3 surfaces in terms of the period, and prove the existence of generic supersingular K3 surfaces in odd characteristics for each Artin invariant larger than 1.

연구 동기 및 목표

• 아르틴 불변량의 합이 11이 되는 초특수 K3 표면의 네론-세베르 격자 간 이중성의 기하적 영향을 탐구한다.
• 특성 2와 3에서 아르틴 불변량 10인 초특수 K3 표면의 계수 1의 분할을 분류한다.
• 그러한 K3 표면의 네프 콘의 자동군에 대한 생성자 집합을 규명한다.
• 표면의 주기를 기반으로 하여, 홀수 특성에서 아르틴 불변량이 1보다 큰 경우에 대해 일반 초특수 K3 표면의 정의를 내리고 그 존재성을 입증한다.

제안 방법

• 아르틴 불변량의 합이 11이 되는 초특수 K3 표면의 네론-세베르 격자 간 이중성을 활용하여 기하적 성질을 도출한다.
• 양의 특성에서 대수적으로 닫힌 체 위에서 격자 이론적이고 산술적 기법을 적용하여 분할을 분석한다.
• 초특수 K3 표면의 주기를 핵심 불변량으로 삼아 일반성의 정의와 특성을 규명한다.
• 주기를 사용하여 K3 표면의 자동군과 그 네프 콘의 자동군 간의 차이를 구분한다.
• 격자 이중성과 특성별 기하학적 성질을 활용하여 네프 콘의 구조와 그 자동군의 구조를 분석한다.
• 주기 기반 기준을 사용하여, 홀수 특성에서 아르틴 불변량이 1보다 큰 경우에 대해 일반 초특수 K3 표면의 존재성을 증명한다.

실험 결과

연구 질문

• RQ1 아르틴 불변량의 합이 11이 되는 초특수 K3 표면의 네론-세베르 격자 간 이중성으로부터 유도되는 기하적 영향은 무엇인가?
• RQ2 특성 2와 3에서 아르틴 불변량 10인 초특수 K3 표면의 계수 1의 분할은 어떻게 분류할 수 있는가?
• RQ3 특성 2와 3에서 아르틴 불변량 10인 초특수 K3 표면의 네프 콘의 자동군은 어떤 구조를 가지는가?
• RQ4 초특수 K3 표면의 주기는 그 표면의 자동군과 네프 콘의 자동군 간의 차이를 어떻게 영향을 미치는가?
• RQ5 어떤 조건이 일반 초특수 K3 표면을 정의하는가? 그리고 홀수 특성에서 아르틴 불변량이 1보다 큰 경우에 이러한 표면은 존재하는가?

주요 결과

• 특성 2와 3에서 아르틴 불변량 10인 초특수 K3 표면의 계수 1의 분할은 완전히 분류되었다.
• 이러한 K3 표면의 네프 콘의 자동군에 대한 유한한 생성자 집합이 명시적으로 규명되었다.
• 초특수 K3 표면의 자동군과 그 네프 콘의 자동군 간의 차이는 표면의 주기를 통해 완전히 특징지어졌다.
• 표면의 주기를 기반으로 하는 새로운 초특수 K3 표면의 일반성 개념이 정의되었으며, 기하학적이고 산술적 기준을 제공한다.
• 홀수 특성에서 아르틴 불변량이 1보다 큰 모든 경우에 대해 일반 초특수 K3 표면이 존재한다.