[논문 리뷰] Some new surfaces with $p_g = q = 0$

Ingrid Bauer, Fabrizio Catanese|ERef Bayreuth (University of Bayreuth)|2003. 10. 10.

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

한 줄 요약

이 논문은 $p_g = q = 0$인 고차 곡선의 곱과 동형인 대수적 표면를 분류하며, 유한 아벨 군 작용에 초점을 맞춘다. 이에 따라 이러한 표면에 대해 군 $G$는 $(\mathbb{Z}/2\mathbb{Z})^3$, $(\mathbb{Z}/2\mathbb{Z})^4$, $(\mathbb{Z}/3\mathbb{Z})^2$, 또는 $(\mathbb{Z}/5\mathbb{Z})^2$ 중 하나여야 하며, $G = (\mathbb{Z}/5\mathbb{Z})^2$인 경우는 기본군을 유일하게 구분하는 두 개의 뚜렷하게 다른 고정 표면을 제공한다.

ABSTRACT

Motivated by a question by D. Mumford : can a computer classify all surfaces with $p_g = 0$ ? we try to show the complexity of the problem. We restrict it to the classification of the minimal surfaces of general type with $p_g = 0, K^2 = 8$ which are constructed by the Beauville construction, namely, which are quotients of a product of curves by the free action of a finite group G acting separately on each component. We think that man and computer will soon solve this classification problem. In the paper we classify completely the 5 cases where the group G is abelian. For these surfaces, we describe the moduli space (sometimes it is just a real point), and the first homology group. We describe also 5 examples where the group G is non abelian. Three of the latter examples had been previously described by R. Pardini.

연구 동기 및 목표

• 두 곡선의 곱에 대해 자유롭게 작용하는 유한 아벨 군 $G$를 갖는 매끄러운 대수적 표면 $S = (C_1 \times C_2)/G$에서 $p_g = q = 0$인 경우를 분류한다. 여기서 $C_1, C_2$는 $\geq 2$의 종수를 가지며, $G$는 자유롭게 작용한다.
• 어떤 유한 아벨 군 $G$가 $p_g = q = 0$인 이러한 표면을 유도할 수 있는지를 규명하고, 해당 모듈리 성분을 기술한다.
• 표면의 토크션 군 $T(S) = H_1(S, \mathbb{Z})$를 분석하고, 특히 고정 표면의 경우 $G$와 비교한다.
• 비아벨 군을 사용하여 $p_g = q = 0$인 표면의 새로운 예를 구성한다. 대표적으로 $\mathfrak{A}_5$, $\mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$, $\mathfrak{S}_4$를 포함하며, 아벨 사례를 초월한다.

제안 방법

• 곡선 곱 위의 군 작용 이론을 활용하여, 유한 아벨 군의 자유 작용을 통해 $p_g = q = 0$인 표면 $S = (C_1 \times C_2)/G$를 구성한다.
• 분지 데이터와 군 작용의 구조를 바탕으로 곡선 $C_1$과 $C_2$의 종수를 계산하기 위해 리만-허리츠 공식을 적용한다.
• 분지점 주변의 단일화 원소들의 곱이 항등원이 되고, 군 $G$를 생성해야 한다는 조건을 적용한다.
• 각 곡선에 대한 안정자군의 합집합이 자명한 교차를 가져야 하므로, 작용이 자유로운지 확인한다.
• 군론적 기준을 활용: $G$가 아벨일 경우, 주어진 순서를 갖는 원소들의 생성 쌍을 분류하고, 그 곱이 1이 되는 경우를 조사한다.
• 비아벨 군인 $\mathfrak{A}_5$, $\mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$, $\mathfrak{S}_4$의 경우, 투르히츠 조건과 군 생성 조건을 만족하는 명시적 생성 체계를 구성한다.

실험 결과

연구 질문

• RQ1 어떤 유한 아벨 군 $G$가 두 곡선 $C_1 \times C_2$에 대해 자유롭게 작용하여 $p_g = q = 0$인 몫 표면을 유도할 수 있는가?
• RQ2 고차 곱과 동형이며 $p_g = q = 0$, 아벨 군 $G$를 갖는 표면의 모듈리 공간의 연결 성분은 무엇인가?
• RQ3 특히 고정 표면의 경우, 첫 번째 호모로지 군 $H_1(S, \mathbb{Z})$와 $G$의 관계는 어떻게 되는가?
• RQ4 비아벨 군인 $\mathfrak{A}_5$, $\mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$, $\mathfrak{S}_4$를 사용하여 $p_g = q = 0$인 표면의 새로운 예를 만들 수 있는가?
• RQ5 Beauville 표면에서 $G = (\mathbb{Z}/5\mathbb{Z})^2$인 경우가 $p_g = q = 0$인 유일한 고정 예인가? 또, 무엇이 이를 구분하는가?

주요 결과

• 표면에 대해 자유롭게 작용하는 가능한 유한 아벨 군 $G$는 $(\mathbb{Z}/2\mathbb{Z})^3$, $(\mathbb{Z}/2\mathbb{Z})^4$, $(\mathbb{Z}/3\mathbb{Z})^2$, $(\mathbb{Z}/5\mathbb{Z})^2$ 뿐이다.
• 특히 $G = (\mathbb{Z}/5\mathbb{Z})^2$인 경우, $p_g = q = 0$인 서로 비동형인 고정 표면이 정확히 두 개인데, 이는 유일하게 기본군의 차이로만 구분된다.
• 모든 아벨 군 $G$의 경우, 토크션 군 $T(S) = H_1(S, \mathbb{Z})$는 $G$ 위로 전사하며, $G = (\mathbb{Z}/5\mathbb{Z})^2$인 경우 $T(S) = G$로 정확히 일치한다.
• 비아벨 군을 사용하여 $p_g = q = 0$인 표면의 새로운 예를 구성하였다: $\mathfrak{A}_5$, $\mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$, $\mathfrak{S}_4$를 포함하며, 곡선의 종수와 단일화 데이터를 명시적으로 제공하였다.
• $G = \mathfrak{A}_5$, $g(C_1) = 4$, $g(C_2) = 21$인 표면는 새로운 것으로, 이전에 Pardini가 $g(C_1) = 5$, $g(C_2) = 16$로 구성한 것과는 다릅니다.
• $G = \mathfrak{D}_4 \times \mathbb{Z}/2\mathbb{Z}$인 경우, $g(C_1) = 9$, $g(C_2) = 3$인 표면를 구성하였고, $G = \mathfrak{S}_4$인 경우 $g(C_1) = 13$, $g(C_2) = 3$인 표면를 구성하였다. 이는 모두 기존의 알려진 예와 일치하지만, 이제는 대수적 프레임워크 내에서 구성되었다.