[논문 리뷰] New examples of terminal and log canonical singularities

Janós Kollár|arXiv (Cornell University)|2011. 07. 14.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 29

한 줄 요약

이 논문은 완전 교차의 새로운 블로우업 구조를 사용하여 고차원에서 종단 및 로그 캐논리컬 특이점을 새롭게 구성한다. 4차원 종단 특이점이 자명한 클래스 군과 단순연결된 구멍 뚜렷한 이웃을 가지며, 3차원 고립된 로그 캐논리컬 특이점이 주어진 표면의 위상수학적 성질을 반영하는 해소의 코homology와 기본군을 가짐을 증명한다. 이는 비라션스기 기하학에서 특이점에 대한 이해를 발전시킨다.

ABSTRACT

We give new examples of terminal and log canonical singularities.

연구 동기 및 목표

• 기존의 가족 외에 고차원에서 종단 및 로그 캐논리컬 특이점의 새로운 예를 구성하기 위해.
• 이러한 특이점의 해소의 위상수학적 및 코homology 불변량(예: 기본군, 코homology)을 탐색하기 위해.
• 구멍 뚜렷한 공간 또는 해소의 기본군이 임의의 유한 또는 무한군을 실현할 수 있는지 조사하기 위해.
• 고차원 특이점에서 캐논리컬 계수와 클래스 군이 제어 가능한지 결정하기 위해.
• 이전의 초면 및 원뿔 특이점 결과를 더 일반적인 구조로 확장하여 특정 기하학적 및 위상수학적 성질을 갖는다.

제안 방법

• 선다발 $L(-Z)$의 $n-1$개의 일반 섹션에 의해 정의된 완전 교차 $Y \subset P$ 위에서 블로우업 구조를 사용한다. 여기서 $Z \subset P$ 는 codimension $n$ 의 국소 완전 교차이다.
• 일반적인 $Z$ 의 이상을 대체하기 위해, 상대 프로젝트 $B_{(-Z)}Y := \operatorname{Proj}_Y \bigoplus_{m=0}^\infty \mathcal{O}_Y(mZ)$ 를 정의한다.
• $B_{(-Z)}Y$ 가 코hen-맥컬레이임을 보이고, $Z$ 가 정규 교차 특이점을 가질 경우 예외적 인피르가 $Z$ 위의 $\mathbb{P}^1$-_bundle임을 보인다.
• $Z$ 가 오직 정규 교차 특이점을 가지며 $\dim Z \leq 4$ 이면, $B_{(-Z)}Y \setminus Z$ 는 $Z$ 근처에서 매끄럽고, 캐논리컬 번들 $\omega_{B_{(-Z)}Y} \cong \pi^* \omega_Y \cong \pi^*(\omega_P \otimes L^{n-1})|_Y$ 를 가짐을 증명한다.
• 에탈레 국소 계산을 통해 블로우업의 스킴 이론적 구조와 행렬식 조건을 통한 특이점 집합의 행동을 검증한다.
• 이 구조를 적용하여 주어진 매끄러운 다양체 $Z$ 를 고립 특이점 $(0 \in X)$ 의 해소의 예외적 집합으로 실현하며, 기본군과 해소의 코homology 를 제어한다.

실험 결과

연구 질문

• RQ1 모든 매끄러운 다양체 $Z$ 는 고차원에서 고립 특이점 $(0 \in X)$ 의 해소의 예외적 집합으로 나타날 수 있는가?
• RQ2 로깅 캐논리컬 특이점의 해소 $Y \to X$ 에 대해 $\pi_1(Y)$ 와 $\pi_1(X \setminus \{0\})$ 는 무엇이 가능한가?
• RQ3 로깅 캐논리컬 특이점의 해소의 코homology $R^1p_*\mathcal{O}_Y$ 는 임의의 히오지 체계나 위상수학적 불변량을 실현할 수 있는가?
• RQ4 4차원에서 캐논리컬 계수가 자명하고, 구멍 뚜렷한 이웃이 단순연결된 종단 특이점의 구조가 존재하는가?
• RQ5 로깅 터미널 특이점의 매끄러운 국소의 기본군이 무한일 수 있는가?

주요 결과

• 모든 $r \geq 4$ 에 대해, $K_{X_r}$ 가 카르티에이고, $X_r \setminus \{0\}$ 이 단순연결되며, $\operatorname{Cl}(X_r)$ 가 자명하고, 임베딩 차원이 $r$ 인 종단 4-다양체 특이점의 점근형 $(0 \in X_r)$ 이 존재한다.
• 경계가 없는 연결된 2차원 다양체 $F$ 에 대해, 임의의 해소 $p: Y \to X$ 에 대해 $R^1p_*\mathcal{O}_Y \cong H^1(F, \mathbb{C})$ 를 만족하는 고립된 로그 캐논리컬 3-다양체 특이점 $(0 \in X(F))$ 가 존재한다.
• 해소 $Y$ 의 기본군 $\pi_1(Y)$ 는 $\pi_1(F)$ 와 동형이며, $\pi_1(X \setminus \{0\})$ 는 $\pi_1(F)$ 를 포함하는 순환군에 대한 확장이다.
• 주어진 매끄러운 다양체 $Z$ 가 국소 완전 교차이면서 특정 선다발 조건을 만족하면, 고립 특이점 $(0 \in X)$ 의 해소의 예외적 집합으로 실현할 수 있다.
• 생성된 특이점은 $Z$ 의 특이점에 따라 종단 또는 로그 캐논리컬이며, 캐논리컬 계수와 코homology 를 유지하는 제어가 가능하다.
• 이 방법은 로그 캐논리컬 3-다양체의 해소에서 임의의 기본군 $\pi_1(F)$ 를 $\pi_1(Y)$ 로 실현할 수 있으며, 일반적으로 유한성 장벽이 없음을 보여준다.