[논문 리뷰] The classification of surfaces with p_g = q = 0 isogenous to a product of curves

Ingrid Bauer, Fabrizio Catanese외 1명|ArXiv.org|2006. 10. 08.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 19

한 줄 요약

이 논문은 기하 종수 $p_g = 0$ 및 불규칙성 $q = 0$를 갖는 매끄럽고 사영적인 표면을 곡선의 곱과 동형인 표면으로 분류하며, 이러한 표면이 $G$가 두 곡선의 곱 위에서 자유롭고 충실하게 작용하는 경우 $(C_1 \times C_2)/G$의 몫으로 나타남을 증명한다. 주요 기여는 이러한 모든 군 $G$와 그에 해당하는 분지 구조를 완전히 분류하여 가능한 군과 표면 불변량의 유한 목록을 도출한 것이다.

ABSTRACT

We classify all the surfaces with p_g = q = 0 which admit an unramified covering which is isomorphic to a product of curves. Beyond the trivial case \PP^1 x \PP^1 we find 17 families which we explicitly describe. We reduce the problem to a combinatorial description of certain generating systems for finite groups which we solve using also MAGMA's library of groups of small order.

연구 동기 및 목표

• 기하 종수 $p_g = q = 0$를 갖는 매끄럽고 사영적인 표면을 곡선의 곱과 동형으로 분류하며, 이는 일반적 타입이며 유리 또는 루프형이 아니라는 점을 확인한다.
• 두 곡선 $C_1 \times C_2$ (각각의 곡선의 종수 $g(C_1), g(C_2) \geq 2$) 위에서 자유롭게 작용할 수 있는 유한군 $G$를 특정하여, 몫 표면 $S = (C_1 \times C_2)/G$가 $p_g(S) = q(S) = 0$를 만족하는지 확인한다.
• 표면의 곱 구조의 인자들을 유지하는지 또는 교환하는지에 따라 무혼합 사례와 혼합 사례를 구분한다.
• 모든 이러한 표면에 대해 명시적인 분지 구조와 군 표현을 제공하며, 순서가 256 이하인 비아벨 군까지 포함한다.
• 각 군에 대해 구체적인 모델을 구성하고, 이러한 표면의 모듈리 공간이 동일한 차원을 갖는 유한한 수의 기약 성분을 가짐을 보인다.

제안 방법

• 표면이 고차원 곱과 동형이 되는 이론을 사용하여, $S \cong (C_1 \times C_2)/G$ 이며 $G$가 곱의 구조를 자유롭게 유지하는 경우를 다룬다.
• 군 $G$의 곡선 $C_1$ 및 $C_2$ 위의 작용을 통해 군을 분류하며, $G$가 곱의 인자를 유지하는 경우(무혼합 사례)와 교환하는 경우(혼합 사례)를 구분한다.
• 조합론적 군 이론을 적용하여 분지 자료에 해당하는 군 원소의 튜플을 분류하고, 몫 사상의 서명과 리만-후르비츠 공식을 사용한다.
• 군 $G$의 명시적 표현을 반직적곱 $\mathbb{Z}_2^n \rtimes \mathbb{Z}_2^k$ 형태로 구성하며, 작용과 교환관계를 기록하는 호모모르피즘 $\Phi$와 이차형 사상 $\Theta$를 사용한다.
• 정의 1.2의 조건을 통해 분지 구조의 호환성을 검증하여, 삼중 튜플이 유효한 혼합 또는 무혼합 분지 구조를 이루는지 확인한다.
• 모듈리 공간 이론을 사용하여 고정된 $G$와 종수 $g_1, g_2$에 대해 표면들이 동일한 차원 $D$를 갖는 유한한 수의 기약 성분을 이룬다는 것을 보인다.

실험 결과

연구 질문

• RQ1 어떤 유한군 $G$가 두 곡선의 곱 $C_1 \times C_2$ 위에서 자유롭게 작용할 수 있으며, 몫 표면 $S = (C_1 \times C_2)/G$가 $p_g(S) = q(S) = 0$를 만족하는가?
• RQ2 기하 종수 $p_g = q = 0$를 갖는 곡선의 곱과 동형인 표면을 유도하는 모든 군 $G$와 해당 곡선의 종수 $g_1, g_2$의 완전한 목록은 무엇인가?
• RQ3 분지 구조(군 원소의 튜플)는 무혼합 사례와 혼합 사례에서 가능한 몫을 어떻게 분류하는가?
• RQ4 이러한 표면을 유도하는 군 $G$에 대해 명시적인 군 표현과 실현(예: 반직적곱 형태)은 무엇인가?
• RQ5 이러한 표면의 모듈리 공간은 몇 개의 기약 성분을 가지며, 그 차원은 얼마인가?

주요 결과

• 기하 종수 $p_g = q = 0$를 갖는 곡선의 곱과 동형인 표면은 $\mathbb{P}^1 \times \mathbb{P}^1$ 또는 $g(C_1), g(C_2) \geq 2$이고 $G$가 자유롭게 작용하는 $(C_1 \times C_2)/G$의 몫 이외에 존재하지 않는다.
• 모든 이러한 군 $G$는 11개의 동형 유형으로 분류된다: $\mathfrak{A}_5$, $\mathfrak{S}_4$, $\mathfrak{D}_4 \times \mathbb{Z}_2$, $\mathfrak{S}_4 \times \mathbb{Z}_2$, $G(16)$, $G(32)$, $G(256,1)$, $G(256,2)$, 그리고 가족 $\mathcal{N}_3, \mathcal{N}_4, \mathcal{N}_5, \mathcal{N}_6, \mathcal{M}_3, \mathcal{M}_4, \mathcal{M}_5, \mathcal{M}_6, \mathcal{M}_8$에서 유래한 기타 군들.
• 각 군 $G$에 대해 명시적인 분지 구조를 제공한다. 예를 들어, $G(32)$는 유형 $([2,2,2,4]_8, [2,2,4,4]_4)$의 무혼합 분지 구조를 갖는다. 또한 $G(256,1)$은 유형 $[4,4,4]_{16}$의 세 개의 혼합 분지 구조를 갖는다.
• $G(256,1)$은 특정 행렬 $\Phi_{e_1}, \Phi_{e_2}, \Phi_{e_3}$와 6개의 비영인 쌍에서 정의된 이차형 사상 $\Theta$를 갖는 반직적곱 $\mathbb{Z}_2^5 \rtimes_\Phi \mathbb{Z}_2^3$ 형태로 실현된다.
• $G(256,2)$는 다른 $\Phi$와 $\Theta$를 갖는 $\mathbb{Z}_2^5 \rtimes_\Phi \mathbb{Z}_2^3$ 형태로 표현되며, 유형 $[4,4,4]_{16}$의 혼합 분지 구조를 하나만 갖는다.
• 각 $G$에 대해 표면 $S = (C_1 \times C_2)/G$의 모듈리 공간은 유한한 수의 기약 성분을 가지며, 모든 성분은 동일한 차원 $D$를 갖는다. 또한 각 $G$에 대해 성분의 수 $N$은 유한하다.