[논문 리뷰] Extremal contractions from 4-dimensional manifolds to 3-folds

Yasuyuki Kachi|ArXiv.org|1995. 02. 25.

Geometry and complex manifolds참고 문헌 36인용 수 23

한 줄 요약

이 논문은 매끄러운 4차원 다양체에서 3차원 다양체로의 극단적 수축에서 2차원 섬유를 분류하며, 그러한 섬유 내 임의의 두 점이 $-K_X$-길이 1 또는 2인 최대 두 개의 유리 곡선으로 연결됨을 증명하고, $|-K_X|$가 $g$-자유임을 보여준다. 분류에는 유리 면, 유리 스크롤, 또는 $\Sigma_1$와 같은 특이 면이 포함되며, $l_E(R)$ 및 분석적 상대 피카르 수 $\rho^{\text{an}}$와 같은 정확한 불변량이 포함된다. 결과는 비등차원 수축을 분석함으로써 4차원으로의 최소 모형 프로그램을 확장한다.

ABSTRACT

Let $g : X o Y$ be the contraction of an extremal ray of a smooth projective 4-fold $X$ such that $\dim Y=3$. Then $g$ may have a finite number of 2-dimensional fibers. We shall classify those fibers. Especially we shall prove that any two points of such a fiber is joined by a chain of rational curves of length at most 2 with respect to $-K_X$, and that $|-K_X|$ is $g ext{-free}$.

연구 동기 및 목표

• 매끄럽고 사영적인 4차원 다양체에서 3차원 다양체로의 극단적 수축 $g: X \to Y$에서 2차원 섬유의 구조를 분류하는 것.
• 수축이 등차원이 아닐 경우, 특히 $Y$의 고립된 특이점에서의 해당 섬유의 국소 기하학을 이해하는 것.
• 2차원 섬유 내 임의의 두 점이 $-K_X$-길이 최대 2인 최대 두 개의 유리 곡선으로 연결됨을 증명하는 것.
• 역극단선형계 $|-K_X|$가 $g$-자유임을 확립하여 상대 프로젝티브 공간으로의 사상이 존재함을 보장하는 것.
• 모든 가능한 섬유 유형을 실현하는 명시적 예제를 제공하는 것, 특히 $l_E(R) = 1$ 또는 $2$, $\rho^{\text{an}}(X\supset E/Y\ni P) = 1$ 또는 $2$인 경우를 포함하여 분류를 설명하는 것.

제안 방법

• 수축의 이미지 점 $P = g(E)$ 주위의 소근접 영역 $U \to V$를 이용한 분석적 국소 기하학을 활용하여, 상대 곡선의 코ーン $\overline{NE}^{\text{an}}(X\supset E/Y\ni P)$를 분석하는 것.
• $l_E(R)$를 정의하고 계산하는 것 — 이는 $E$에 포함된 유리 곡선 $C$에 대해 최소한의 $(-K_X \cdot C)$로 정의되며, 1 또는 2임을 보여주는 것.
• $U \setminus E \to V \setminus \{P\}$에 대한 원추 곡선 구조를 적용하여, $(-K_X \cdot C) = 2$인 원추의 극한임을 보이고, 그들의 분해 가능하거나 비분해 가능한 유형을 분류하는 것.
• 카와마타 및 안드레아타-위신예브스키의 알려진 결과를 바탕으로, 플립, 면 수축, 플롭을 사용하여 $X$의 $E$ 근처의 국소 구조를 분석하는 것.
• 블로우업과 $\mathbb{P}^1$-_bundle를 이용한 명시적 예제의 구성 — $\mathbb{P}^4$의 곡선에 대한 블로우업 및 쌍곡면 콘과 델 페초 피브레이션으로부터의 구성.
• 분석적 상대 피카르 수 $\rho^{\text{an}}(X\supset E/Y\ni P)$를 사용하여 경우를 구분하며, $\rho^{\text{an}} = 1$ 또는 $2$는 각각 다른 섬유 유형에 대응한다.

실험 결과

연구 질문

• RQ1 매끄러운 4차원 다양체에서 3차원 다양체로의 극단적 수축에서 2차원 섬유의 가능한 구조는 무엇이며, 특히 수축이 등차원이 아닐 경우 어떻게 되는가?
• RQ2 2차원 섬유 내의 점들은 $-K_X$-길이가 제한된 유리 곡선을 통해 어떻게 연결되는가?
• RQ3 이러한 수축에서 역극단선형계 $|-K_X|$의 행동은 어떠한가? 그리고 $g$-자유인가?
• RQ4 예를 들어 $l_E(R)$와 $\rho^{\text{an}}(X\supset E/Y\ni P)$와 같은 불변량은 어떻게 다양한 섬유 유형을 분류하는가?
• RQ5 모든 가능한 섬유 유형을 실현하는 명시적 예제를 구성할 수 있는가? 특히 $\rho^{\text{an}} = 2$ 또는 기약적이지만 무리적인 섬유의 경우도 포함하여.

주요 결과

• 극단적 수축 $g: X \to Y$의 2차원 섬유 $E$ 내의 임의의 두 점은 $-K_X$-길이 1 또는 2인 최대 두 개의 유리 곡선으로 연결된다.
• 역극단선형계 $|-K_X|$는 $g$-자유이며, 이는 $Y$ 위에서 사상으로 정의됨을 의미한다. 이는 최소 모형 프로그램에서 핵심 단계이다.
• 섬유 길이 불변량 $l_E(R)$는 1 또는 2이며, $l_E(R) = 1$인 경우는 $E \simeq \Sigma_1$ 또는 점에서 만날 두 개의 $\mathbb{P}^2 \cup \mathbb{P}^2$를 포함한다.
• 분석적 상대 피카르 수 $\rho^{\text{an}}(X\supset E/Y\ni P)$는 1 또는 2이며, $\rho^{\text{an}} = 1$은 무카이-위신예브스키 유형에 대응하고, $\rho^{\text{an}} = 2$는 $\mathbb{P}^1 \times \Sigma_1 \cup \Sigma_1 \times \mathbb{P}^1$와 같은 더 복잡한 구성에 대응한다.
• 명시적 예제를 구성하였다: $E \simeq \Sigma_1$인 경우(무카이 유형), $E \simeq \mathbb{P}^2 \cup \mathbb{P}^2$가 한 점에서 만날 경우(위신예브스키 유형), 그리고 기약적이지만 무리적인 4차 섬유를 가진 델 페초 피브레이션.
• 기하학적 구조가 타원곡선 위의 쌍곡면인 기약적이지만 특이한 무리 면을 가진 섬유를 4차 델 페초 피브레이션으로 구성함으로써, 이러한 섬유가 최소 모형 프로그램에서 발생할 수 있음을 보였다.