[논문 리뷰] Generalized Burniat type surfaces and Bagnera-de Franchis varieties

Ingrid Bauer, Fabrizio Catanese외 1명|ERef Bayreuth (University of Bayreuth)|2014. 09. 03.

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

한 줄 요약

이 논문은 일반화된 버나시 타입(GBT) 표면과 바녜라-데 프랑시스(BdF) 다양체를 도입하여 일반형 표면의 기이케르 모듈리 공간에 10개의 새로운 기약 연결 성분을 구성한다. 타원곡선 곱의 초표면 위에서 \/(\mathbb{Z}/2\mathbb{Z})^3\/의 자유 작용을 통해 GBT 표면를 분류하고, 이를 BdF 3차원 다양체와 연결함으로써, \/(p_g = q = 0, K^2 = 6)\/인 3개의 새로운 가닥과 \/(p_g = q = 1, K^2 = 6)\/인 7개의 새로운 가닥을 실현하며, 각각의 기본군이 다름을 증명하여 이들의 모듈리 성분이 상호 비동형이며 절대 갈루아 군에 관하여 안정됨을 보인다.

ABSTRACT

In this article we construct three new families of surfaces of general type with p_g = q = 0,K^2 = 6, and seven new families of surfaces of general type with p_g = q = 1, K^2 = 6, realizing 10 new fundamental groups. We also show that these families correspond to pairwise distinct irreducible connected components of the Gieseker moduli space of surfaces of general type. We achieve this using two different main ingredients. First we introduce a new class of surfaces, called generalized Burniat type surfaces, and we completely classify them (and the connected com- ponents of the moduli space containing them). Second, we introduce the notion of Bagnera-de Franchis varieties: these are the free quotients of an Abelian variety by a cyclic group (not consisting only of translations). For these we develop some basic results.

연구 동기 및 목표

• 일반형 표면의 새로운 가닥들 — \/(p_g = q = 0)\/ 및 \/(p_g = q = 1)\/, \/(K^2 = 6)\/ — 을 군 작용에 기반한 일반화된 방법으로 구성하기.
• 일반화된 버나시 타입(GBT) 표면를 분류하고, 기이케르 모듈리 공간 내 연결 성분을 규명하기.
• 바녜라-데 프랑시스(BdF) 다양체를 자유 작용하는 아벨 다양체의 비이동성 순환군에 의한 몫으로서 도입하고, 기본 성질을 개발하기.
• 특히 기본군을 포함한 위상수학적 및 산술적 불변량을 규명하여 새로운 모듈리 성분들을 구별하기.
• 새로운 가닥들이 상호 비동형이며 기약적이며 절대 갈루아 군에 관하여 안정된 모듈리 공간의 연결 성분을 이룬다는 것을 증명하기.

제안 방법

• 저자들은 타원곡선의 곱 위에서 대칭 다항식의 완전 교차로 구성된 초표면 \/(\hat{X}_\lambda)\/ 을 체계적으로 대수적 방법으로 구성하며, 이는 \/((\mathbb{Z}/2\mathbb{Z})^9)\/ 작용에 관하여 불변이다.
• 표면 \/(Y_\lambda)\/ 의 다중도수 \/((1,1,1))\/ 를 가진 델 페초 표면 위에서 \/(H_1 \cong (\mathbb{Z}/2\mathbb{Z})^2)\/ 과 \/(H_0 \cong (\mathbb{Z}/2\mathbb{Z})^3)\/ 의 부분군을 분류한다.
• 표면 \/(\hat{X}_\lambda)\/ 에 자유롭게 작용하는 \/(G \cong (\mathbb{Z}/2\mathbb{Z})^3)\/ 의 부분군을 식별함으로써 일반형 최소 표면를 얻는다.
• 바녜라-데 프랑시스 3차원 다양체를 아벨 3차원 다양체 \/(A)\/ 에서 비이동성 순환군 \/(G \cong \mathbb{Z}/2\mathbb{Z})\/ 이 자유롭게 작용하는 몫 \/(X = A/G)\/ 로 정의하고, 기본군과 코homological 성질을 연구한다.
• 기본군 \/(\Gamma)\/ 의 분류 공간 \/(X)\/ 을 사용하여 표면를 분류 지도 \/(f: S \to X)\/ 로 특성화하며, \/(f_*[S]^3 = 6)\/ 를 만족시킨다.
• 군 코homology와 \/(\Gamma)\/ 의 호모로지를 적용하여 \/(S)\/ 가 \/(K(\Gamma,1))\/ 공간임을 보이고, 이로써 표면의 위상수학적 분류를 가능하게 한다.

실험 결과

연구 질문

• RQ1 일반화된 버나시 타입 군 작용을 통해 일반형 표면의 새로운 가닥들 — \/(p_g = q = 0)\/ 및 \/(p_g = q = 1)\/, \/(K^2 = 6)\/ — 을 구성할 수 있는가?
• RQ2 이러한 구성이 기이케르 모듈리 공간 내에서 상호 비동형인 기약 연결 성분을 생성하는가?
• RQ3 이 새로운 표면들의 기본군의 구조는 무엇이며, 바녜라-데 프랑시스 다양체와 어떤 관계가 있는가?
• RQ4 이 표면들의 모듈리 성분이 절대 갈루아 군 \/(\mathrm{Gal}(\bar{\mathbb{Q}}, \mathbb{Q}))\/ 작용에 관하여 안정된다고 증명할 수 있는가?
• RQ5 분류 공간과 코homological 불변량을 사용하여 이 표면들을 위상수학적으로 특성화할 수 있는가?

주요 결과

• 저자들은 \/(p_g = q = 0, K^2 = 6)\/ 인 3개의 새로운 표면 가닥과 \/(p_g = q = 1, K^2 = 6)\/ 인 7개의 새로운 표면 가닥을 구성하여 총 10개의 새로운 기본군을 실현한다.
• 이 가닥들은 일반형 표면의 기이케르 모듈리 공간에 대해 상호 비동형인 10개의 기약 연결 성분에 대응한다.
• 표면 \/(p_g = q = 1)\/ 의 경우 기본군은 랭크 6인 가상 아벨군이며, \/(\mathbb{Z}^5)\/ 에 대한 \/(\mathbb{Z}/2\mathbb{Z})\/ 의 비자명한 반직접곱으로 동형이며, 비자명한 작용을 가진다.
• 표면 \/(p_g = q = 1)\/ 는 기본군 \/(\Gamma)\/ 가 \/(1 \to \Lambda \to \Gamma \to \mathbb{Z}/2\mathbb{Z} \to 1)\/ 의 정확열에 들어가고, 분류 지도 \/(f: S \to X)\/ 가 \/(f_*[S]^3 = 6)\/ 을 만족하는 것으로 위상수학적으로 특성화된다.
• 모듈리 성분은 절대 갈루아 군 \/(\mathrm{Gal}(\bar{\mathbb{Q}}, \mathbb{Q}))\/ 의 작용에 관하여 안정하며, 정의된 위상수학적 및 코homological 조건들이 갈루아 불변이기 때문이다.
• 새로운 표면들의 기본군은 곱-몫 또는 혼합 준에탈 표면들의 것과 동형이 아니며, 호모로지의 차이로 인해 \/(p_g = 0)\/ 쿨리코프 타입 표면에서 유래하지도 않는다.