[논문 리뷰] Birational Geometry of Toric Varieties

Edilaine Ervilha Nobili|arXiv (Cornell University)|2012. 04. 17.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 4

한 줄 요약

이 학위논문은 토릭 기하학에서 MMP 스케일링을 다루기 위해 다면체 이론적 프레임워크를 수립한다. 이는 모리 피브리즈 공간을 분류하는 캐일리-모리 다면체를 도입함으로써 이루어지며, 비라셔널 기하학 연산을 다면체 위의 조합론적 연산으로 변환한다. 또한 저차원에서 2-파노 토릭 다양체를 분류하고, 스플라인 3차원에서 오직 $\mathbb{P}^3$만이 매끄러운 토릭 2-파노 3-다양체임을 증명한다.

ABSTRACT

Toric geometry provides a bridge between algebraic geometry and combinatorics of fans and polytopes. For each polarized toric variety (X,L) we have associated a polytope P. In this thesis we use this correspondence to study birational geometry for toric varieties. To this end, we address subjects such as Minimal Model Program, Mori fiber spaces, and chamber structures on the cone of effective divisors. We translate some results from these theories to the combinatorics of polytopes and use them to get structure theorems on space of polytopes. In particular, we treat toric varieties known as 2-Fano, and we classify them in low dimensions.

연구 동기 및 목표

• 토릭 다양체에서 스케일링이 있는 최소 모델 프로그램(MMP)을 다면체 이론을 활용해 조합론적 프레임워크로 개발한다.
• 새로운 다면체인 캐일리-모리 다면체를 통해 토릭 기하학에서 모리 피브리즈 공간을 특성화한다.
• 비라셔널 변환 하에서 다면체의 공간과 그 카메라 분해의 구조를 연구한다.
• 특히 3차원과 4차원에서 2-파노 토릭 다양체를 분류한다.
• 2-파노 조건과 블로우업 중심의 파노 성질 사이의 연결 고리를 체르누 클래스 계산을 통해 확립한다.

제안 방법

• 다음과 같이 고차원 공간에 삽입된 엄격하게 조합적으로 동치인 다면체들의 볼록 hull로 캐일리-모리 다면체를 정의한다: 특별히 구분된 원점 정점을 가진다.
• 다음과 같이 $\mathbb{Q}$-팩터리얼 프로젝티브 토릭 다양체에서 캐일리-모리 다면체와 모리 피브리즈 공간 사이의 일대일 대응을 수립한다.
• 다면체 표현의 공간 $\mathcal{PP}_{\mathcal{H}}$를 볼록 다면체 코너로 모델링하고, 동치 관계로 나누어 $\mathcal{P}_{\mathcal{H}}$를 정의한다.
• 스케일링이 있는 MMP를 다면체 연산의 순서로 변환한다: 면 재구성과 조합론적 플립이 각각 비약적 수축과 플립에 대응한다.
• 첨도 다면체와 체르누 클래스 공식을 사용하여 2-파노 조건을 분석한다. 특히 불변 표면에서의 $ch_2(T_X) \cdot S$ 계산을 통해 분석한다.
• 블로우업 공식 $K_{\tilde{X}} = \pi^*K_X + (c-1)E$ 와 $ch_2(T_{\tilde{X}})$ 계산을 통해 중심 $Z$의 정규(bundle)에 대한 조건을 유도한다.

실험 결과

연구 질문

• RQ1 토릭 기하학에서 모리 피브리즈 공간에 정확히 대응하는 다면체의 조합론적 구조는 무엇인가?
• RQ2 스케일링이 있는 MMP는 어떻게 관련 다면체 위의 연산 순서로 완전히 기술할 수 있는가?
• RQ3 토릭 다양체가 2-파노일 필요충분조건은 무엇이며, 이는 정의 다면체의 기하학을 어떻게 제약하는가?
• RQ4 3차원과 4차원에서 어떤 토릭 다양체가 2-파노 조건을 만족하는가?
• RQ5 블로우업 $\tilde{X}$가 2-파노일 경우, 그 중심 $Z$가 파노일까?

주요 결과

• 캐일리-모리 다면체는 $\mathbb{Q}$-팩터리얼 프로젝티브 토릭 다양체에서 모리 피브리즈 공간과 정확히 대응하는 다면체이다.
• 다면체의 공간 $\mathcal{P}_{\mathcal{H}}$ 는 $\mathbb{R}^r$ 안의 닫힌 볼록 다면체 코너이며, 비라셔널 동치류에 대응하는 카메라로의 자연스러운 분해를 가진다.
• 편재된 토릭 다양체 $(X,L)$ 에서의 스케일링이 있는 MMP 는 관련 다면체 $P$ 에 대한 조합론적 변환의 순서로 대응한다. 이는 면 재구성과 플립을 포함한다.
• 3차원에서는 오직 $\mathbb{P}^3$ 만이 매끄러운 토릭 2-파노 다양체이다. 4차원에서는 2-파노 토릭 파노 4-다양체의 분류가 바티레프의 분류와 일치한다.
• 만일 매끄러운 토릭 다양체 $X$ 의 매끄러운 불변 부분다양체 $Z$ 에 대해 블로우업 $\tilde{X}$ 가 2-파노이면, 정규(bundle) 분해에서 가장 큰 가중치 $a_c$ 의 비음성 조건을 통해 $Z$ 는 반드시 파노여야 한다.
• 예외적 인변 $E$ 의 불변 표면 $S$ 에 대해 $ch_2(T_{\tilde{X}}) \cdot S$ 를 계산하면 $a_1, \dots, a_c$ 를 포함하는 공식을 얻을 수 있다. 조건 $ch_2(T_{\tilde{X}}) \cdot S \geq 0$ 는 $a_c \geq 0$ 를 함의하며, 이는 $Z$ 가 파노일 수 있는 데 필수 조건이다.