[논문 리뷰] Surfaces with p_{g}=q=2 and an irrational pencil

Francesco Zucconi|ArXiv.org|2001. 10. 18.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 8

한 줄 요약

이 논문은 $p_g = q = 2$인 일반형 표면에서의 모든 무리적 피브레이션을 분류하며, $g > 2$인 이러한 피브레이션은 모두 등가성임을 증명한다. 이러한 표면은 $G = \mathbb{Z}/2 \times \mathbb{Z}/2$에 의한 $C_1 \times C_2 / G$의 최소 분해상에서 유래하며, 여기서 $C_i$는 종수 3 곡선이다. 이는 이러한 피브레이션에 대한 완전한 분류를 제공하며, Catanese의 추측(즉, 무리적 피브레이션이 없는 이러한 표면은 주로 편평한 애비안 표면의 두중복 덮개임)에 대한 간접적 증거를 제공한다. 또한 GH-표면 이론을 통해 이 특성 범위 내의 비일반형 표면의 분류를 완성한다.

ABSTRACT

We classify all the irrational pencils over the surfaces of general type with p=q=2. This classification adds a new evidence to a Catanese conjecture which states that if S has p=q=2 but no irrational pencils then it is the double cover of a P.P. Abelian variety branched on a reduced divisor linearly equivalent to twice a theta divisor.

연구 동기 및 목표

• 일반형 표면에서 $p_g = q = 2$인 모든 무리적 피브레이션을 분류하는 것.
• Catanese의 추측에 대한 간접적 증거를 제공하는 것 — 이 추측은 이러한 표면이 무리적 피브레이션을 갖지 않을 경우 주로 편평한 애비안 표면의 두중복 덮개임을 암시한다.
• Albanese 일반형이 아닌 표면에 대해 $p_g = q = 2$인 표면의 분류를 완성하는 것 — 이를 위해 종수 2 곡선 위의 에탈 피브레이션을 분석한다.
• 등가성 피브레이션 이론과 곡선 위의 군 작용 기법을 적용하여 이러한 피브레이션의 가능한 모든 유형을 분류하는 것.

제안 방법

• 선다발과 코hom로지적 소멸을 분석하기 위해 Simpson의 이론을 활용한다. 이 이론은 $V^1(X) = \{L \in \mathrm{Pic}^0(X) \mid h^1(X, -L) \geq 0\}$의 위치를 다룬다.
• Catanese의 추측에 대한 간접적 증거를 제공하기 위해 [Ca1]과 [Z2]의 등가성 피브레이션 결과를 적용하여 $p_g = q = 2$인 표면에서 종수 $g > 2$의 피브레이션을 분류한다.
• G-작용에 의한 종수 2 곡선의 Bolza 분류를 활용하여 비일반형 표면을 $C' \times F$의 대각선 G-작용에 의한 몫으로 분류한다.
• 일반 피브레이션의 성질과 그 종수를 분석하기 위해 표준 사상 $\phi_{|K_S|}: S \to \mathbb{P}^1$을 사용한다.
• Albanese 사상의 구조와 그 피브레이션 유형을 분석하여 일반형 표면의 경우 기저 곡선의 종수가 1일 수밖에 없음을 보인다.
• 오비폴드 정확수열과 기본군의 확장 구조를 적용하여 비일반형 표면의 모듈리 공간을 $\mathcal{M}(\Pi, 4)$로 기술하며, 특정 군 작용을 포함한다.

실험 결과

연구 질문

• RQ1 일반형 표면에서 $p_g = q = 2$인 경우에 가능한 무리적 피브레이션의 유형은 무엇인가?
• RQ2 이러한 표면에서 비등가성 피브레이션이 존재할 수 있으며, 만약 존재한다면 어떤 조건에서 존재하는가?
• RQ3 피브레이션은 Catanese의 추측(즉, 주로 편평한 애비안 표면의 두중복 덮개임)과 어떻게 관련되어 있는가?
• RQ4 이러한 피브레이션에서 표준 사상의 일반 피브리의 종수는 무엇인가?
• RQ5 모든 비일반형 표면을 포함하여 $p_g = q = 2$인 표면의 전체 모듈리 공간은 어떻게 분류될 수 있는가?

주요 결과

• 일반형 표면에서 $p_g = q = 2$인 경우 종수 $g > 2$인 모든 무리적 피브레이션은 등가성이다.
• 표면 $S$가 $p_g = q = 2$이면서 종수 $g > 2$인 등가성 피브레이션을 갖는다면, 이는 $G = \mathbb{Z}/2 \times \mathbb{Z}/2$, $C_i$가 종수 3 곡선인 $C_1 \times C_2 / G$의 최소 분해상이다. 여기서 $C_i \to E_i = C_i/G$는 타원 곡선 $E_i$의 두 점에서 분지된 갈루아 쌍대 덮개이다.
• 이러한 표면에서 표준 사상의 일반 피브리의 종수는 9이며, 이는 서로 네 점에서 만날 두 종수 3 곡선을 부드럽게 만든 것이다.
• 종수 2 피브레이션의 경우, $S$는 $Y = E_1 \times E_2$ 위의 두중복 덮개의 정규화이며, 분지 divisor $D \in |2\pi_1^*(P_1) + 2\pi_2^*(P_2)|$에 대해 정의된다. 표준 사상의 일반 피브리의 종수는 5이다.
• GH-표면 이론을 통해 $p_g = q = 2$인 비일반형 표면의 분류가 완성되었으며, 각 기약 모듈리 성분은 $\mathcal{M}(\Pi, 4)$이며, 여기서 $\Pi$는 $G$가 종수 2 및 종수 3 곡선에 작용하는 특정 군 확장에 들어간다.
• 종수 2 곡선 $C$와 $G \subset \mathrm{Aut}(C)$, $C/G = \mathbb{P}^1$인 쌍 $(C, G)$는 정확히 21종류가 있으며, 이 중 15종류는 확장 가능하고, 나머지 6종류는 군 작용과 모노드로미 데이터를 명시적으로 나열한다.