[논문 리뷰] Quotients of a product of curves by a finite group and their fundamental groups

Ingrid Bauer, Fabrizio Catanese외 2명|arXiv (Cornell University)|2008. 09. 19.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 11

한 줄 요약

이 논문은 p_g = 0 이고 이전에 알려지지 않은 기본군을 가진 일반 유형의 복소 프로젝티브 표면 19개의 새로운 가닥을 구성하며, 유 end 유한군 작용에 의한 곡선 곱의 몫의 최소 해소의 기본군을 체계적으로 분류한다. 또한 모든 이러한 표면이 유리 이중점 특이점을 가질 경우 Bloch 추측의 조건을 만족함을 보여, 이 추측에 대한 증거를 제공한다.

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 ≤ 7 인 일반 유형 표면의 알려진 가닥을 확장하기 위해, 이전에 알려지지 않은 기본군을 가진 새로운 예를 구성하는 것.
• 유한군 작용에 의한 곡선 곱의 몫의 최소 해소로 얻어진 매끄러운 프로젝티브 표면의 기본군을 분류하는 것.
• 특히 특이점이 유리 이중점일 경우, 이러한 몫의 최소 해소로 얻어진 표면에 대해 Bloch 추측의 타당성을 조사하는 것.
• p_g = 0 이고 K^2 ≤ 7 인 모든 알려진 일반 유형 표면을 포함하여, 현재까지 알려진 모든 표면을 종합적으로 정리하는 표를 작성하는 것.

제안 방법

• 유한군의 대수적 곡선 곱에 대한 작용을 분석하여, 통제된 특이점을 가진 몫 표면을 구성하는 것.
• 최소 해소 이론을 적용하여 유리 이중점 특이점을 해소하고 매끄러운 최소 표면을 얻는 것.
• 특히 군 작용의 구조를 활용하여 군 이론적 및 기하학적 기법을 통해 최종 최소 표면의 기본군을 계산하는 것.
• canonical 번들의 이론과 다중형수를 활용하여 구성된 표면이 일반 유형이면서 p_g = 0 임을 확인하는 것.
• 곡선에 대한 유한군 작용의 분류를 활용하여 가능한 몰입 표면을 시스템적으로 열거하는 것.
• Albanese 사상의 핵이 자명함을 확인하여 Bloch 추측을 검증하는 것.

실험 결과

연구 질문

• RQ1 표면의 경우, 유한군 작용에 의한 곡선 곱의 몫의 최소 해소의 기본군은 무엇인가요?
• RQ2 이러한 표면 중 p_g = 0 이고 일반 유형인 것은 무엇이며, 그 기본군은 무엇인가요?
• RQ3 모든 이러한 표면이 유리 이중점 특이점을 가질 경우 Bloch 추측을 만족합니까?
• RQ4 현재까지 알려진 p_g = 0 이고 K^2 ≤ 7 인 일반 유형 표면의 가닥은 총 몇 개인가요? 그들의 불변량은 무엇인가요?
• RQ5 이전에 알려지지 않은 기본군을 가진 새로운 가닥의 표면을 구성할 수 있나요?

주요 결과

• 논문은 p_g = 0 이고 K^2 ≤ 7 이며, 이전에 문헌에 알려지지 않은 기본군을 가진 일반 유형 표면 19개의 새로운 가닥을 구성한다.
• 유한군 작용에 의한 곡선 곱의 몫의 최소 해소로 얻어진 표면 중 유리 이중점 특이점을 가진 모든 표면은 Bloch 추측을 만족한다.
• 유리 이중점 특이점을 가진 가정 하에, 이러한 몫으로부터 유도된 q = p_g = 0 인 모든 표면에 대해 완전한 분류가 제공된다.
• 저자들은 p_g = 0 이고 K^2 ≤ 7 인 모든 알려진 일반 유형 표면을 포함하여 종합적인 표를 작성한다.
• 각 새로운 표면의 기본군은 명시적으로 계산되었으며, 아벨군이 아니며 비자명함이 입증되어 이전에 알려진 예들과 구별된다.
• 결과는 곡선 곱 몫으로부터 유도된 표면의 맥락에서 Bloch 추측에 대해 강력한 증거를 제공한다.