[논문 리뷰] Mixed quasi-étale surfaces, new surfaces of general type with $p_g=0$ and their fundamental group

Davide Frapporti|arXiv (Cornell University)|2011. 05. 06.

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

한 줄 요약

이 논문은 $p_g = 0$인 일반형 표면의 새로운 구성 방법으로 혼합 준에탈 표면을 제안한다. 이는 $\geq 2$의 종수를 가진 곡선 $C$에 대한 $C \times C$ 위에서 유한군 작용을 사용한다. $(C \times C)/G^0$가 유일하게 노드로 이루어진 특이점을 가지는 조건 하에, 저자들은 이러한 표면의 13가지 가닥을 분류하였으며, 위상 fundamental group이 $\mathbb{Z}_4$인 수치적 캄페델리 표면의 첫 번째 예를 제공하고, 일반형 표면의 두 가지 새로운 위상 유형을 실현하였다.

ABSTRACT

We call a projective surface $X$ mixed quasi-étale quotient if there exists a curve $C$ of genus $g(C)\geq 2$ and a finite group $G$ that acts on $C imes C$ exchanging the factors such that $X=(C imes C)/G$ and the map $C imes C ightarrow X$ has finite branch locus. The minimal resolution of its singularities is called mixed quasi-étale surface. We study the mixed quasi-étale surfaces under the assumption that $(C imes C)/G^0$ has only nodes as singularities, where $G^0 riangleleft G$ is the index two subgroup of the elements that do not exchange the factors. We classify the minimal regular surfaces with $p_g=0$ whose canonical model is a mixed quasi-étale quotient as above. All these surfaces are of general type and as an important byproduct, we provide an example of a numerical Campedelli surface with topological fundamental group $\bbZ_4$, and we realize 2 new topological types of surfaces of general type. Three of the families we construct are $\bbQ$-homology projective planes.

연구 동기 및 목표

• 자유 작용의 경우를 초월하여 $C \times C$ 위에서 비자유 혼합 군 작용을 연구함으로써 $p_g = 0$인 일반형 표면의 분류를 확장한다.
• 요소들을 바꾸는 혼합 작용을 가지며 분지 집합이 유한한 $X = (C \times C)/G$ 형태의 혼합 준에탈 몫을 분석한다.
• $(C \times C)/G^0$가 유일하게 노드로 이루어진 특이점을 가지는 가정 하에, 최소 정규 표면 중 $p_g = 0$를 만족하고 그 캐논리컬 모델이 혼합 준에탈 몫인 표면을 분류한다.
• 새로운 $p_g = 0$인 일반형 표면의 예를 구성하며, 이는 $\mathbb{Z}_4$ fundamental group을 가진 수치적 캄페델리 표면을 포함하고, 이전에 알려지지 않은 위상 유형을 실현한다.

제안 방법

• 혼합 준에탈 몫을 $X = (C \times C)/G$로 정의하며, 여기서 $G$는 $C \times C$ 위에서 요소들을 바꾸는 혼합 작용을 하며, 몫 사상이 유한한 분지 집합을 가진다.
• 요소들을 고정하는 지수 2의 부분군 $G^0 \triangleleft G$의 경우에 집중하며, $(C \times C)/G^0$가 유일하게 $A_1$-특이점(노드)을 가진다.
• 특이 표면의 기본군에 대한 형식 $(a,b,c)$의 구형 생성자 시스템을 사용하여 가능한 군 작용을 분류한다.
• 리드마이스터-슈라이어 방법과 MAGMA 계산을 적용하여, 256 이하의 순서를 가진 유한군에 대해 구형 생성자 시스템의 존재성을 분석한다.
• 특이점의 최소 해소를 구성하여 매끄러운 혼합 준에탈 표면를 얻고, $K^2$, 베텨 수, fundamental group 등의 불변량을 계산한다.
• 명시적인 군론적 및 기하학적 분석을 통해 $X = (C \times C)/G$의 특이점을 검증하며, MAGMA 내의 특이점 테스트를 활용한다.

실험 결과

연구 질문

• RQ1 요소들을 바꾸는 혼합 작용과 유한한 분지 집합을 가지는 $C \times C$ 위의 유한군 작용 중에서, 최소 일반형 표면의 $p_g = 0$를 만족하는 것은 무엇인가?
• RQ2 $(C \times C)/G^0$가 유일하게 노드로 이루어진 특이점을 가지는 가정 하에, 캐논리컬 모델이 혼합 준에탈 몫인 최소 정규 표면 중 $p_g = 0$를 만족하는 표면의 가능한 fundamental group은 무엇인가?
• RQ3 비자유 혼합 군 작용을 통해 $p_g = 0$인 일반형 표면의 새로운 위상 유형을 실현할 수 있는가?
• RQ4 이러한 구성에서 유래한 $\mathbb{Z}_4$ fundamental group을 가진 수치적 캄페델리 표면이 존재하는가?
• RQ5 어느 정도의 형식에 따라 특이점을 유도하는 특정 유형의 구형 생성자 시스템을 가진 256 이하의 순서를 가진 유한군은 무엇인가?

주요 결과

• 논문은 $(C \times C)/G^0$가 유일하게 노드로 이루어진 특이점을 가지는 혼합 준에탈 몫의 캐논리컬 모델을 가지며, 최소 정규 표면 중 $p_g = 0$인 13가지 가닥을 분류하였다.
• 구성된 가닥 중 하나는 위상 fundamental group이 $\mathbb{Z}_4$인 수치적 캄페델리 표면을 제공하며, 이는 이 fundamental group을 가진 첫 번째 예이다.
• 이전 문헌에서 알려지지 않은 두 가지 새로운 일반형 표면의 위상 유형이 실현되었으며, 이는 $p_g = 0$를 만족한다.
• 구성된 가닥 중 세 개는 $\mathbb{Q}$-호모로지 프로젝티브 평면이 되며, 이는 $b_2 = 1$이고 $K^2 = 9$임을 의미한다.
• 한 경우에서 $G^0$는 $D_4 \times \mathbb{Z}_2$와 동형이며, 다른 경우에서는 $G(64,82)$와 동형이며, 이에 대응하는 $G$ 군의 순서는 각각 128과 256이다.
• 순서가 4032인 군이 형식 $(2,3,8)$의 구형 생성자 시스템을 가지며 기대되는 특이점을 유도할 수 없다는 증명이 제시되었으며, 이는 잠재적인 가닥을 배제한다.