[논문 리뷰] Quotients of products of curves, new surfaces with $p_g=0$ and their fundamental groups

Ingrid Bauer, Fabrizio Catanese외 2명|ArXiv.org|2008. 09. 19.

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

한 줄 요약

이 논문은 유한군 작용에 의한 두 곡선의 곱의 몫을 취하여 $p_g = 0$인 19개의 새로운 표면 가닥을 구성하며, 그 기본군에 대한 명시적 기술과 특이점이 있는 표준 모델의 분류를 제공한다. 주요 기여는 이러한 몫의 기본군에 대한 구조 정리로, 모듈리 공간의 연결 성분을 구분하고 이전에 알려지지 않은 기본군을 가진 새로운 예를 제공한다. 이는 아벨군이 아니며 비가환군인 경우를 포함한다.

ABSTRACT

The first main purpose of this paper is to contribute to the existing knowledge about the complex projective surfaces $S$ of general type with $p_g(S) = 0$ and their moduli spaces, constructing 19 new families of such surfaces with hitherto unknown fundamental groups. We also provide a table containing all the known such surfaces with K^2 <=7. Our second main purpose is to describe in greater generality the fundamental groups of smooth projective varieties which occur as the minimal resolutions of the quotient of a product of curves by the action of a finite group. We classify, in the two dimensional case, all the surfaces with q=p_g = 0 obtained as the minimal resolution of such a quotient, having rational double points as singularities. We show that all these surfaces give evidence to the Bloch conjecture.

연구 동기 및 목표

• 기존 가닥을 확장하여 $p_g = 0$이고 $K^2 \neq 9$인 새로운 최소 표면 가닥을 구성하는 것.
• 표준 모델이 특이점이 있는 모든 표면을 분류하여 이전 연구에서 시작된 분류를 완성하는 것.
• 유한군 작용에 의한 곡선 곱의 몫에 대한 기본군에 대한 구조 정리를 제공하는 것.
• 새로운 기본군을 통해 표면 가닥의 모듈리 공간의 연결 성분을 식별하고 구분하는 것.
• Kimura의 결과와 이전 연구를 바탕으로, $p_g = q = 0$인 40개 이상의 가닥에 대해 Bloch의 추측을 검증하는 것.

제안 방법

• 저자들은 두 개의 매끄러운 곡선 $C_1 \times C_2$ 위에 유한군 작용을 적용하여 $p_g = 0$인 표면 $X = (C_1 \times C_2)/G$를 구성한다.
• 그들은 기본군 $\pi_1(X)$를 군 작용과 곡선의 기본군에 따라 기술하는 구조 정리를 수립한다.
• 분류 작업은 주로 특이점, 특히 유리 이중점의 해소를 포함하는 표준 모델의 특이점 분석에 기반한다.
• 방법론은 갈로아 코버의 구조를 이용하여 기본군을 계산하고, 단형성과 브레인 관계를 포함한 군론적 자료를 사용한다.
• 저자들은 명시적인 군 표현과 준동형사를 사용하여 기본군의 생성자를 대칭군과 기타 유한군의 원소로 매핑한다.
• 저자들은 Kimura의 모티브 이론과 Catanese 등 다른 연구자의 결과를 응용하여, 구성된 가닥들에 대해 Bloch의 추측을 검증한다.

실험 결과

연구 질문

• RQ1 표준 모델이 유리 이중점을 갖는 경우, 유한군 작용에 의한 곡선 곱의 몫의 기본군은 무엇인가?
• RQ2 어떤 유한군 $G$가 $p_g = 0$이고 $K^2 \leq 7$인 표면 $X = (C_1 \times C_2)/G$를 생성하는가?
• RQ3 이러한 몫의 기본군은 체계적으로 어떻게 계산하고 분류할 수 있는가?
• RQ4 이러한 구성은 $p_g = 0$인 표면 가닥의 모듈리 공간에서 새로운 연결 성분을 제공하는가?
• RQ5 이 표면들 중 몇 개에 대해 Bloch의 추측이 성립하는가? 그리고 모티브적 및 코homological 자료에서의 증거는 무엇인가?

주요 결과

• 논문은 $p_g = 0$, $K^2 = 1$에서 $6$까지의 이전에 알려지지 않은 기본군을 가진 최소 표면 가닥 19개를 구성한다.
• 표면 $X = (C_1 \times C_2)/G$의 기본군은 군 $G$와 코버링의 단형성에 관련된 구조 정리를 통해 계산된다.
• $K^2 = 6$인 경우, 갈로아 군이 $PSL(2,7)$이고 기본군이 $\mathfrak{A}_4 \times \mathbb{Z}_7$인 두 개의 서로 다른 가닥과 갈로아 군이 $\mathfrak{A}_5$이며 $\pi_1 \cong \mathbb{Z}^2 \rtimes_\varphi \mathbb{Z}_{15}$인 가닥 하나를 제시한다.
• 갈로아 군이 $\mathfrak{S}_4 \times \mathbb{Z}_2$인 가닥은 네 개의 생성자와 비아벨 관계를 포함하는 복잡한 표현을 가진 기본군을 가진다.
• 갈로아 군이 $D_4 \times \mathbb{Z}_2$인 다른 가닥은 네 개의 생성자와 비아벨 성질을 반영하는 관계를 포함하는 기본군 표현을 가진다.
• 논문은 모티브적 및 코homological 기법을 통해 $p_g = q = 0$인 40개 이상의 가닥에 대해 Bloch의 추측을 확인한다. 이는 구성된 모든 예시를 포함한다.