[논문 리뷰] New Examples and Non-examples of Mori Dream Spaces when Blowing up Toric Surfaces

Zhuang He|arXiv (Cornell University)|2017. 03. 02.

Commutative Algebra and Its Applications참고 문헌 6인용 수 3

한 줄 요약

이 논문은 토릭 표면의 Picard 수가 1인 경우, 토르의 항등원에서의 블로우업이 모리 드림 공간(Mori Dream Space, MDS)이 되는 조건을 조사하며, 이는 가산 개의 평면 보간 문제와 연결된다. 곤잘레스와 카루의 결과를 일반화하여 새로운 MDS 예와 비예(非例)를 제시하고, 비-MDS 사례가 특정 보간 문제가 해를 갖는 경우에 정확히 발생함을 증명함으로써, 코흐 링의 유한 생성성에 대한 수치 기준을 제시한다.

ABSTRACT

We study the question of whether the blow-ups of toric surfaces of Picard number one at the identity point of the torus are Mori Dream Spaces. For some of these toric surfaces, the question whether the blow-up is a Mori Dream Space is equivalent to countably many planar interpolation problems. We state a conjecture which generalizes a theorem of Gonzalez and Karu. We give new examples and non-examples of Mori Dream Spaces among these blow-ups.

연구 동기 및 목표

• 중요한 토르의 항등원에서의 블로우업 $\operatorname{Bl}_e\mathbb{P}(a,b,c)$가 모리 드림 공간이 되는 가중 투영 평면 $\mathbb{P}(a,b,c)$의 조건을 규명하는 것.
• 곤잘레스와 카루의 비예 기준을 더 넓은 범위의 토릭 표면에 대해 일반화하는 것.
• 블로우업의 MDS 성질과 $\mathbb{P}^2$에서의 가산 개의 평면 보간 문제의 해가 존재하는지의 관계를 설정하는 것.
• 감소된 차수와 기울기 구성에 기반한 수치 기준을 통해 MDS 및 비-MDS 블로우업을 명시적으로 제시하는 새로운 예와 비예를 제공하는 것.
• 특히 항작성 다항식이 크지 않은 경우, 토릭 표면의 블로우업이 MDS가 되지 않는 조건을 더 잘 이해하기 위한 것.

제안 방법

• variety가 모리 드림 공간인지 여부의 질문을 $\mathbb{P}^2$에서의 평면 보간 문제 가족의 해가 존재하는지 여부로 환원한다.
• 코흐 링 이론과 유한 생성성의 응용: 다양체가 모리 드림 공간이 되는 것은 그 코흐 링이 유한 생성될 때이다.
• 특히 $d' \geq 2$인 경우, 감소된 차수 $d'$와 기울기 구성의 개념을 사용하여 블로우업을 분류한다.
• 폭 $w = cg^2 / ab < 1$과 기울기 부등식에 기반한 수치 기준을 사용하여 비-MDS 사례를 탐지한다.
• 소규모 $d'$에 대해 컴퓨터 보조 분류를 적용하여, 특히 $d' = 5,7,9$일 때 특정 기울기 집합 $S$와 $T$ 하에서 비예를 확인한다.
• 곤잘레스와 카루의 비-MDS 기준을 일반화하기 위해, 더 넓은 삼중체 $(a,b,c)$의 가닥에 대해 추측(추측 2.10)을 제안한다.

실험 결과

연구 질문

• RQ1 어느 삼중체 $(a,b,c)$에 대해 토르의 항등원에서의 $\mathbb{P}(a,b,c)$의 블로우업이 모리 드림 공간이 되는가?
• RQ2 토릭 표면의 Picard 수가 1인 경우, 블로우업이 모리 드림 공간이 되지 않는 경우는 언제이며, 이러한 실패를 특징짓는 조건은 무엇인가?
• RQ3 이러한 블로우업의 MDS 성질은 $\mathbb{P}^2$에서의 가산 개의 평면 보간 문제의 해 존재성과 어떻게 관련되어 있는가?
• RQ4 기울기 구성과 감소된 차수에 기반한 수치 기준을 도출하여 MDS와 비-MDS 블로우업을 구분할 수 있는가?
• RQ5 감소된 차수 $d'$와 폭 $w$는 블로우업의 코흐 링의 유한 생성성 결정에 어떤 역할을 하는가?

주요 결과

• 블로우업 $\operatorname{Bl}_e\mathbb{P}(a,b,c)$는 $\mathbb{P}^2$에서의 가산 개의 평면 보간 문제 가족이 모두 해를 갖는 경우에만 모리 드림 공간이 아니다.
• 감소된 차수 $d' = 5, 7, 9$인 삼중체에 대해 새로운 비예가 발견되었으며, 특히 $(a,b,c) = (7, 3, 5)$, $(7, 3, 7)$, $(7, 3, 9)$는 특정 기울기 집합 $S$와 $T$ 하에서 해당된다.
• $d' \geq 2$일 때, 조건 $d' \cdot s_2 \notin \mathbb{Z}$를 만족하는 유일한 비예는 다음과 같다: $S = \{3\}, T = \{2,4\}, d' = 5$; $S = \{3,5\}, T = \{2,4,6\}, d' = 7$; $S = \{3,5,7\}, T = \{2,4,6,8\}, d' = 9$.
• 논문은 감소된 차수 $d' = 0$ 또는 $d' = 1$일 때 블로우업이 모리 드림 공간임을 확인하고, 기울기 부등식과 폭 $w < 1$에 기반한 수치 기준을 제공한다.
• 이 방법은 이전 결과를 통합하는 새로운 기준(보조정리 2.16)을 도출하여, $b,c \leq 70$인 $\mathbb{P}(7,b,c)$의 블로우업을 감소된 차수와 보간 문제의 해 존재성에 기반해 분류할 수 있도록 한다.
• 논문은 제약 조건 하에서 $d' = 5,7,9$에 대해 추가로 비예가 존재하지 않는다는 컴퓨터 보조 검증을 제공한다.