[논문 리뷰] Newton-Okounkov bodies and Toric Degenerations of Mori dream spaces via Tropical compactifications

Elisa Postinghel, Stefano Urbinati|Institutional Research Information System (University of Udine)|2016. 12. 12.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 6

한 줄 요약

이 논문은 매끄러운 모리 드림 공간(Mori dream space, MDS)에서 타로픽 기하학과 뉴턴-오쿠누코프 몰리포드 사이의 연결 고리를 설정한다. 타로픽 기하학을 통해 MDS를 토릭 다양체에 매립했을 때의 타로픽화는 모든 소형 Q-계수 수정을 지배하는 유니버설 모델을 제공한다. 이 구성은 뉴턴-오쿠누코프 몰리포드에 대한 민코프스키 기저를 제공하며, 전역 뉴턴-오쿠누코프 몰리포드가 유리 다면체임을 증명하고, 값의 반군의 유한 생성성을 통해 토릭 분해를 가능하게 한다.

ABSTRACT

Given a smooth Mori dream space $X$ we construct a model dominating all the small $\mathbb{Q}$-factorial modifications via tropicalization. This construction allows us to recover a Minkowski basis for the Newton-Okounkov bodies of divisors on $X$ and hence the movable cone of $X$. The existence of such basis allows us to prove the polyhedrality of the global Newton-Okounkov body and the existence of toric degenerations.

연구 동기 및 목표

• 타로픽 기하학과 모리 드림 공간에서의 뉴턴-오쿠누코프 몰리포드를 연결한다.
• 타로픽화를 통해 매끄러운 MDS의 모든 소형 Q-계수 수정을 지배하는 유니버설 모델을 구축한다.
• 뉴턴-오쿠누코프 몰리포드의 민코프스키 기저를 이용해 MDS의 이동 가능한 콩을 복원한다.
• 전역 뉴턴-오쿠누코프 몰리포드가 유리 다면체임을 증명하고, 토릭 분해를 가능하게 한다.
• 라자르스펠드와 무스타이타가 제기한 전역 뉴턴-오쿠누코프 몰리포드의 다면체성에 대한 질문에 긍정적으로 답한다.

제안 방법

• 매끄러운 MDS $X$의 밀도 있는 토릭 다양체 $Z$의 토릭 토루스 $T$ 위로의 제한을 타로픽화하여 ${\rm Trop}(X|_T)$를 얻는다.
• ${\rm Trop}(X|_T)$에 따라 지지되는 팬을 가진 토릭 다양체 $\overline{Z}$에 매립된 모델 $\overline{X} \to X$를 구성하여, 모든 소형 Q-계수 수정을 지배한다.
• $\overline{Z}$의 비음성 생성자를 이용해 $X$로의 딜러를 당겨, $X$ 위의 뉴턴-오쿠누코프 몰리포드에 대한 민코프스키 기저를 형성한다.
• 민코프스키 기저 원소들의 뉴턴-오쿠누코프 몰리포드가 유리적이고 다면체임을 증명하고, 값의 반군이 유한 생성됨을 보인다.
• 전역 뉴턴-오쿠누코프 몰리포드의 유리 다면체성에 기반해 앤더슨의 프레임워크를 활용해 평탄한 매립된 분해를 토릭 다양체로 구성한다.
• Gfan 소프트웨어를 사용해 타로픽화를 계산하고, 구체적인 예시(예: $\overline{M}_{0,7}$)에서 구성의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 매끄러운 모리 드림 공간의 모든 소형 Q-계수 수정을 지배하는 유니버설 모델을 타로픽 기하학을 통해 구성할 수 있는가?
• RQ2 토릭 다양체에 매립된 MDS의 타로픽화가 그 뉴턴-오쿠누코프 몰리포드에 대한 민코프스키 기저를 제공하는가?
• RQ3 매끄러운 MDS의 전역 뉴턴-오쿠누코프 몰리포드는 유리 다면체인가?
• RQ4 모리 드림 공간의 앰플 라인 번들에 대한 뉴턴-오쿠누코프 몰리포드로부터 토릭 분해를 구성할 수 있는가?
• RQ5 민코프스키 기저에 관련된 전역 뉴턴-오쿠누코프 몰리포드의 값 반군은 여전히 유한 생성되는가?

주요 결과

• X|_T의 타로픽화는 ${\rm Trop}(X|_T)$에 따라 지지되는 팬을 가진 토릭 다양체 $\overline{Z}$에 매립된 모델 $\overline{X} \to X$를 유도하며, 이는 모든 소형 Q-계수 수정을 지배한다.
• 민코프스키 기저는 $\overline{Z}$의 비음성 생성자를 당겨 $X$ 위에 구성되며, 기저 원소들의 뉴턴-오쿠누코프 몰리포드는 유리 다면체이다.
• X의 전역 뉴턴-오쿠누코프 몰리포드는 유리 다면체이며, 라자르스펠드와 무스타차의 추측을 확인한다.
• 전역 뉴턴-오쿠누코프 몰리포드에 관련된 값 반군은 유한 생성되며, 평탄한 매립된 분해의 존재를 보장한다.
• 모든 앰플 라인 번들 $A$에 대해, 쌍 $(X,A)$는 반드시 정규화가 뉴턴-오쿠누코프 몰리포드에 의해 정의된 토릭 다양체인, 일반적으로 정규가 아닌 토릭 다양체로의 평탄한 매립된 분해를 갖는다.
• Gfan을 사용한 구체적 계산은 $\overline{M}_{0,7}$에 대해 구성의 타당성을 확인한다. 여기서 $\overline{X} \cong \overline{M}_{0,7}$은 $X$의 10개의 직선에 대한 블로우업으로서, $\overline{Z}$는 $Z$의 10개의 6차원 평면에 대한 블로우업으로서 나타난다.