[논문 리뷰] Birational cobordisms and factorization of birational maps

Jarosław Włodarczyk|ArXiv.org|1999. 04. 15.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 35

한 줄 요약

이 논문은 특성 0의 체 위의 매끄럽고 사영적인 대상 사이의 비유리 사상의 분해를 위해 $K^*$-작용을 이용한 모르스 이론적 프레임워크를 제안한다. 이는 토리칼 플립, 블로우업, 블로우다운 등의 기본 단계로 분해한다. 주요 기여는 임의의 비유리 사상이 이러한 단계의 순서로 표현될 수 있음을 보여주는 인수 정리로, 각 단계는 토릭 다양체의 $K^*$-작용에 대한 등변 변환과 국소적으로 동형이며, 위상수학의 핸들 분해와 유사한 체계적이고 기하학적인 분해를 제공한다.

ABSTRACT

In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locally étale isomorphic to equivariant flips, blow-ups and blow-downs of toric varieties. A crucial role in the considerations is played by K^*-actions where K is the base field. This paper serves as a basis for proving the weak factorization conjecture on factorization of birational maps in characteristic zero into blow-ups and blow-downs. This is carried out in two subsequent papers, one by the author (Combinatorial structures on toroidal varieties: a proof of the weak Factorization Theorem) and one joint with Abramovich, Karu and Matsuki (Torification and factorization of birational maps). In the last paper, the ideas of the present paper are discussed using geometric invariant theory.

연구 동기 및 목표

• 특성 0의 체 위의 매끄럽고 사영적인 대상 사이의 비유리 사상에 대해 $K^*$-작용을 이용한 기하학적 분해 이론을 개발한다.
• 모르스 이론적 아이디어를 대수기하학으로 일반화하여, $K^*$-작용을 기울기 흐름의 해석적 유사물로 해석한다.
• 비유리 사상의 기본 단계로 국소적으로 토릭 플립, 블로우업, 블로우다운과 동형인 변환으로 분해할 수 있음을 확립한다.
• 특성 0의 대수적으로 닫힌 체 위의 매끄럽고 사영적인 대상 사이의 모든 비유리 사상이 이러한 분해를 가짐을 증명한다.
• 최소 모델 프로그램에서 기존의 인수 정리에 대한 구성적이고 기하학적인 대안을 제공한다.

제안 방법

• 다양체 위의 $K^*$-작용을 이용해 비유리 코버디즘을 정의하며, $t \to 0$과 $t \to \infty$로의 극한이 각각 두 개의 열린 부분집합 $B_-$와 $B_+$를 정의한다.
• 기하학적 몫 $B_-//K^*$와 $B_+//K^*$를 정의하며, 이는 각각 원천 다양체 $X_2$와 목표 다양체 $X_1$와 동형이다.
• $K^*$-작용의 고정점 집합의 성분을 이용해 코버디즘을 분할하고, $B_-//K^*$와 $B_+//K^*$ 사이의 전이를 분석한다.
• 토릭 기하학의 결과와 모레리의 강력한 블로우업 추측에 대한 작업을 활용해 고정점 근처의 국소적 행동을 분석한다.
• 순환 특이성을 가진 다양체 $X_i$의 순서를 구성하며, 각각의 변환은 단순한 토리칼 플립, 블로우업 또는 블로우다운이다.
• 모든 변환이 원래의 비유리 사상 $X'$로의 사상과 가환성을 유지하도록 보장하여, $U$ 위에서 열린 동형을 유지한다.

실험 결과

연구 질문

• RQ1 특성 0의 체 위의 매끄럽고 사영적인 대상 사이의 비유리 사상은 유한한 수의 기본 비유리 변환 단계로 분해될 수 있는가?
• RQ2 $K^*$-작용이 대수기하학에서 비유리 사상을 분석하는 데 있어 얼마나 잘 모르스 이론적 도구로 기능할 수 있는가?
• RQ3 토리칼 플립, 블로우업, 블로우다운은 특성 0의 체 위의 매끄럽고 사영적인 대상 사이의 모든 비유리 사상을 생성하는 데에 충분한가?
• RQ4 코버디즘 위의 $K^*$-작용의 기하학적 성질은 비유리 사상의 명시적 분해를 어떻게 구성하는 데 활용될 수 있는가?
• RQ5 이러한 분해는 주어진 열린 동형 $U \subset X \simeq U' \subset X'$ 와 호환될 수 있는가?

주요 결과

• 특성 0의 체 위의 매끄럽고 사영적인 다양체 사이의 비유리 사상 $\pi: X \to X'$ 는 각각 토릭 변환과 국소적으로 동형인 단순한 토리칼 블로우업, 블로우다운 또는 플립의 순서로 분해될 수 있다.
• 분해는 $X^\prime$ 위의 열린 동형성과 호환되며, 공통 열린 부분집합에서 동형성을 유지한다.
• 각 단계는 $K^*$-작용이 있는 코버디즘으로 표현되며, 원천과 목표는 각각 $B_-//K^*$와 $B_+//K^*$의 몫으로 표현된다.
• 연속된 다양체 사이의 전이는 단순한 토리칼 플립에 의해 결정되며, 이는 가중 투사 공간의 섬유를 가진 토리칼 블로우업과 블로우다운의 복합이다.
• 분해는 $X'$ 위의 매끄러운 코버디즘 $B(X,X')$ 를 통해 구성되며, $U$ 위에서 자명하고, 고정점 성분이 분해를 제어하는 $K^*$-작용을 가진다.
• 결과는 일반적인 비유리 동치 관계로 확장되며, 단지 사상이 아닌, 서로 동형인 열린 부분집합을 가진 매끄럽고 사영적인 다양체 사이의 경우에도 적용된다.