[논문 리뷰] Algebraic surfaces with quotient singularities - including some discussion on automorphisms and fundamental groups

JongHae Keum, D.-Q. Zhang|arXiv (Cornell University)|2002. 10. 01.

Algebraic Geometry and Number Theory참고 문헌 51인용 수 5

한 줄 요약

이 논문은 몰입 특이점을 가진 대수적 표면을 연구하며, 그 위상수학, 기본군, 및 자기동형군에 초점을 맞춘다. 논문은 로그 터미널 팔로 표면의 매끄러운 부분의 기본군이 유한하다는 것을 증명하며, 피카르 수가 1인 고렌스타인 델 페초 표면의 자기동형군을 분류하여 이러한 군이 유한하거나 모든 소수 p ≥ 5에 대해 Z/pZ를 포함한다는 것을 보여준다.

ABSTRACT

We survey some recent progress in the study of algebraic varieties X with log terminal singularities, especially, the uni-ruledness of the smooth locus X^0 of X, the fundamental group of X^0 and the automorphisms group on (smooth or singular) X when dim X = 2. The full automorphism groups of a few interesting types of K3 surfaces are described, mainly by Keum-Kondo. We conjecture that when X is Q-Fano then X^0 has a finite fundamental group, which had been proved if either dim X < 3 or the Fano index is bigger than dim X - 2. We also conjecture that when X is a log Enriques (e.g. a normal K3 or a normal Enriques) surface then either pi_1(X^0) is finite or X has an abelian surface as its quasi-etale cover, which has been proved by Catanese-Keum-Oguiso under some extra conditions.

연구 동기 및 목표

• 피카르 수가 1인 몰입 특이점을 가진 고렌스타인 델 페초 표면의 자기동형군을 분류하기 위해.
• 특히 팔로 표면과 엔리케스 표면의 맥락에서 로그 터미널 표면의 매끄러운 부분의 기본군을 조사하기 위해.
• 매끄러운 유리 표면의 자기동형에 대한 기존 결과를 특이점이 있는 경우, 특히 몰입 특이점을 가진 표면에 대해 확장하기 위해.
• 일반 유형의 비완전 대수적 표면에 대한 대수적 제약 조건을 로그 불변량을 통해 탐색하기 위해.
• 특이점, 캐논리컬 딜라이터, 표면 위의 자기동형 작용 간의 상호작용을 이해하기 위한 프레임워크를 제공하기 위해.

제안 방법

• 몰입 특이점을 가진 표면의 최소 해소를 사용하여 예외적 분할과 그 캐논리컬 딜라이터에 기여하는 방식을 분석하며, 공식 $ f^*K_Y = K_{\tilde{Y}} + D^* $ 를 통해 표현한다. 여기서 $ D^* $ 는 $ 0 \leq d_i < 1 $ 를 만족하는 Q-디바리어이다.
• 표면의 비라시오널 타입에 따라 분류하기 위해, 단순 정규교차 분할을 가진 매끄러운 완비화를 사용하여 로그 카디나 타입 $ \kappa(Y^0) $ 를 적용한다.
• 로그 터미널 및 두 발 특이점 이론을 활용하며, 2차원에서 몰입 특이점은 로그 터미널 특이점과 동치임을 보여준다.
• 로그 터미널 팔로 표면의 매끄러운 부분의 기본군의 유한성을 증명하기 위해 레프셰츠 초평면 정리와 반 캄펜 정리를 적용한다.
• 특히 피카르 라티스가 루트 부분 라티스에 수직일 경우, K3 표면의 기하학과 리치 격자(Leary lattice)를 활용하여 자기동형군을 분석한다.
• 양의 특성에서 초특이 K3 표면에 대한 토렐리 유형 정리를 적용하여, 피카르 라티스 작용을 통해 자기동형군을 계산한다.

실험 결과

연구 질문

• RQ1 피카르 수가 1이고 몰입 특이점을 가진 고렌스타인 델 페초 표면의 자기동형군의 구조는 어떻게 되는가?
• RQ2 로그 터미널 팔로 표면의 매끄러운 부분의 기본군은 유한한가?
• RQ3 피카르 수가 1인 고렌스타인 델 페초 표면이 모든 소수 p ≥ 5에 대해 $ \mathbb{Z}/(p) $-작용을 갖는 조건은 무엇인가?
• RQ4 일반 유형의 비완전 표면의 존재를 제약하는 로그 불변량인 $ c_1^2 $, $ c_2 $, $ p_g $ 는 무엇인가?
• RQ5 K3 표면의 피카르 라티스와 그 자기동형군의 구조 간의 관계는 무엇인가?

주요 결과

• 로그 터미널 팔로 표면의 매끄러운 부분은 유한한 기본군을 가지며, 이는 레프셰츠 이론, 유리 연결성, 기하학적 방법을 통한 세 가지 독립적인 증명으로 확인되었다.
• 피카르 수가 1인 고렌스타인 델 페초 표면 $ Y $ 에 대해 $ \text{Aut}(Y) $ 는 유한하거나 모든 소수 $ p \geq 5 $ 에 대해 $ \mathbb{Z}/(p) $ 를 포함하며, 이는 $ |\text{Aut}(Y)| = \infty $ 를 의미한다. 이 경우, $ \text{Aut}(Y) $ 의 순서는 $ 2^a 3^b $ 를 나누며, $ a+b \leq 7 $ 이다.
• 이러한 표면의 자기동형군이 유한한 것은 $ \text{Sing}(Y) = A_7 $ 이거나 $ K_Y^2 = 1 $ 이고 $ |-K_Y| $ 가 적어도 세 개의 특이 성분을 가질 때에만 성립한다.
• 소수 $ p \geq 5 $ 에 대해, $ Y $ 에는 최대 $ p+1 $ 개의 동치가 아닌 $ \mathbb{Z}/(p) $-작용이 존재하며, 이들은 [Z9] 에서 완전히 분류되어 있다.
• 매끄러운 유리 표면의 차수 ≤ 5 의 경우 $ |\text{Aut}(X)| $ 는 $ 5! $ 를 나누지만, 이 경계는 특이한 델 페초 표면에서는 성립하지 않으며, 이 경우 무한한 자기동형군을 가질 수 있다.
• 라티스 $ \Lambda \oplus U $ 에서 피카르 라티스의 직교보완은 랭크 10의 프라임 부분 라티스이며, 이는 음의 정부호 루트 라티스 $ A_5 + A_1^5 $ 를 포함하며, 이는 지수 2를 가지며, 이러한 구조는 자기동형군의 분류에 도움이 된다.