[논문 리뷰] Elliptic K3 surfaces with abelian and dihedral groups of symplectic automorphisms

Alice Garbagnati|ArXiv.org|2009. 04. 09.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 타원적 K3 표면에서 분할 구조를 유지하는 아벨군과 딜레할군의 심플렉틱 자기동형사상에 대해 연구한다. 토판 섹션과 기저 자기동형사상을 통해 몫 분할 구조를 구성하며, 몫 표면의 네론–세버리 그룹이 $U \oplus M_G$와 등급을 유지함을 보이고, 쇼이다와 그리츠엔코–람의 구성에서 유도된 래티스들 사이의 등급 관계를 수립한다.

ABSTRACT

We analyze K3 surfaces admitting an elliptic fibration $E$ and a finite group $G$ of symplectic automorphisms preserving this elliptic fibration. We construct the quotient elliptic fibration $E/G$ comparing its properties to the ones of $E$. We show that if $E$ admits an $n$-torsion section, its quotient by the group of automorphisms induced by this section admits again an $n$-torsion section. Considering automorphisms coming from the base of the fibration, we can describe the Mordell--Weil lattice of a fibration described by Kloosterman. We give the isometries between lattices described by the author and Sarti and lattices described by Shioda and by Griees and Lam. Moreover we show that for certain groups $H$ of $G$, $H$ subgroups of $G$, a K3 surface which admits $H$ as group of symplectic automorphisms actually admits $G$ as group of symplectic automorphisms.

연구 동기 및 목표

• 분할을 유지하는 유한군의 심플렉틱 자기동형사상이 존재하는 K3 표면을 분석한다.
• 원래 $\mathcal{E}$와 비교하여 몫 타원적 분할 구조 $\mathcal{E}/G$를 구성하고, 특히 토판 섹션과 특이 섹션의 성질을 분석한다.
• 몫 표면의 네론–세버리 그룹을 결정하고, $U \oplus M_G$ 및 $U \oplus \Omega_G$와의 관계를 규명한다.
• 쇼이다와 그리츠엔코–람의 구성에서 유도된 래티스들 사이의 등급 관계를 설정한다: $\Omega_G$, $M_G$, 그리고 그 외 래티스들.
• 심플렉틱 자기동형사상의 부분군 $H$를 갖는 K3 표면이 반드시 전체 군 $G$를 갖는 조건을 래티스의 랭크 조건을 통해 분석한다.

제안 방법

• 분할을 유지하는 심플렉틱 자기동형사상의 유한군 $G$에 의한 몫 분할 구조 $\mathcal{E}/G$를 구성한다.
• 만약 $\mathcal{E}$가 $n$-토션 섹션을 갖는다면, 이 섹션에 의해 유도된 자동사상 $\sigma_t$에 의한 몫 $\mathcal{E}/\sigma_t$ 역시 $n$-토션 섹션을 유지함을 이용한다.
• 특히 딜레할군 $\mathcal{D}_n$의 경우, $\mathbb{P}^1$의 기저 자기동형사상에 의해 유도되는 자동사상의 성질을 분석하고, 해당 몫 표면을 계산한다.
• 모르델–바일 래티스와 네론–세버리 그룹 이론을 적용하여 $NS(X)$와 $NS(\widetilde{X/G})$ 사이의 등급 관계를 수립한다.
• 래티스 이론적 기법을 사용하여 $\Omega_G$, $M_G$, 그리고 쇼이다와 그리츠엔코–람의 구성에서 유도된 래티스들을 비교하고, 랭크와 원시성 조건을 통해 등급 관계를 수립한다.
• 쌍 $(H,G)$가 성질 (P)을 만족하는 것(즉, $H$-심플렉틱이면 $G$-심플렉틱임)은 $H \subset G$ 이며 $\text{rk } \Omega_H = \text{rk } \Omega_G$일 때이고, 뿐만 아니라 그 조건을 만족하는 쌍은 특정 군들, 예를 들어 $\mathbb{Z}/5\mathbb{Z} \subset \mathcal{D}_5$와 같이 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 심플렉틱 자기동형사상이 토판 섹션에 의해 유도되는 경우, 이에 의한 몫 분할이 여전히 토판 섹션을 유지하는 조건은 무엇인가?
• RQ2 자기동형사상이 분할을 유지할 때, 원래 K3 표면과 몫 K3 표면의 네론–세버리 그룹은 어떻게 관련되어 있는가?
• RQ3 래티스 $\Omega_G$, $M_G$와 쇼이다 및 그리츠엔코–람이 구성한 래티스 사이의 관계는 무엇인가?
• RQ4 심플렉틱 자기동형사상의 부분군 $H$를 갖는 K3 표면이 반드시 전체 군 $G$를 갖는 조건은 무엇인가?
• RQ5 유한군 쌍 $(H,G)$ 중에서 $H$-심플렉틱이면 $G$-심플렉틱임을 만족하는 것은 어떤가? 이는 어떻게 래티스 이론적으로 기술할 수 있는가?

주요 결과

• 만약 타원적 분할 구조 $\mathcal{E}$가 $n$-토션 섹션을 갖는다면, 이 섹션에 의해 유도된 자동사상 $\sigma_t$에 의한 몫 $\mathcal{E}/\sigma_t$ 역시 $n$-토션 섹션을 갖는다.
• 몫 표면 $\widetilde{X/\sigma_t}$의 네론–세버리 그룹은 $U \oplus M_G$와 등급을 유지하며, 여기서 $M_G$는 군 $G$와 관련된 래티스이다.
• 일부 아벨 군 $G$에 대해, 몫 표면의 네론–세버리 그룹은 $U \oplus \Omega_G$와 등급을 유지하며, 이는 $\Omega_G$가 모를델–바일 래티스로서 기하학적 해석을 가짐을 시사한다.
• $\Omega_G$는 $n=5,6$일 때 모를델–바일 래티스 $MW(F^{(n)}_{\text{gen}})$와 등급을 유지하며, $n=5,6$일 때는 $DIH_{2n}(16)$와도 등급을 유지한다. 이는 쇼이다와 그리츠엔코–람의 구성과의 비교를 통해 입증된다.
• 쌍 $(H,G)$가 성질 (P)을 만족하는 것은 $H \subset G$ 이며 $\text{rk } \Omega_H = \text{rk } \Omega_G$일 때에만 가능하며, 이러한 쌍은 $\mathbb{Z}/5\mathbb{Z} \subset \mathcal{D}_5$와 같이 특정 군들에 대해서만 존재한다.
• $\text{rk } \Omega_G = 16$일 경우, 성질 (P)을 만족하는 유일한 쌍 $(H,G)$는 $\mathbb{Z}/5\mathbb{Z} \subset \mathcal{D}_5$, $\mathbb{Z}/6\mathbb{Z} \subset \mathcal{D}_6$, $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z} \subset \mathbb{Z}/2\mathbb{Z} \times \mathcal{D}_4$, 그리고 $(\mathbb{Z}/3\mathbb{Z})^2 \subset \mathfrak{A}_{3,3}$이다.