[논문 리뷰] Okounkov bodies associated to pseudoeffective divisors II

Sung Rak Choi, Jinhyung Park외 1명|arXiv (Cornell University)|2016. 07. 31.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 8

한 줄 요약

이 논문은 순수 효과적 $\mathbb{Q}$-분할이 벨리에이션 좋은 자르스키 분해를 갖는 경우, 어떤 적절한 플래그에 대해 가치적 및 한계 Okounkov 다면체가 유리 다면체임을 확립한다. 이는 이전의 큰 분할에 대한 결과를 확장하여, Nakayama 및 양의 체적 부분다양체를 Okounkov 다면체 기하학을 통해 특성화하고, 섹션 링이 유한 생성되지 않을 수도 있는 경우에도 자르스키 분해 가정 하에 유리 다면체 성질을 증명한다.

ABSTRACT

We first prove some basic properties of Okounkov bodies, and give a characterization of Nakayama and positive volume subvarieties of a pseudoeffective divisor in terms of Okounkov bodies. Next, we show that each valuative and limiting Okounkov bodies of a pseudoeffective divisor which admits the birational good Zariski decomposition is a rational polytope with respect to some admissible flag. This is an extension of the result of Anderson-Küronya-Lozovanu about the rational polyhedrality of Okounkov bodies of big divisors with finitely generated section rings.

연구 동기 및 목표

• 순수 효과적 분할의 Nakayama 및 양의 체적 부분다양체를 가치적 및 한계 Okounkov 다면체를 사용하여 특성화하기.
• Anderson-Küronya-Lozovanu의 큰 분할에 대한 유리 다면체 성질 결과를 순수 효과적 분할로 확장하기.
• 벨리에이션 좋은 자르스키 분해의 존재가 가치적 및 한계 Okounkov 다면체에 대해 유리 다면체적 구조를 유도함을 증명하기.
• 섹션 링의 유한 생성 여부에 관계없이 독립적인 유리 다면체 성질에 대한 기하학적 기준 제공하기.
• 모리 드림 공간에서의 예를 통해 섹션 링이 유한 생성되지 않더라도 유리 다면체 성질이 발생할 수 있음을 보여주기.

제안 방법

• 적절한 플래그를 통해 순수 효과적 분할의 渐近 불변량을 가치적 및 한계 Okounkov 다면체에 코딩하기.
• 벨리에이션 좋은 자르스키 분해 이론을 적용하여 한계 Okounkov 다면체의 연구를 분해의 희귀 부분으로 축소하기.
• 자르스키 분해가 전역적으로 정의된 벨리에이션 모델에서 선형 계열의 일반 성분들을 교차시켜 적절한 플래그를 구성하기.
• 자르스키 분해의 양의 부분 $P$ 가 양의 체적 부분다양체에서 희귀이자 크고 희귀임을 이용하여 기존의 다면체 Okounkov 다면체 결과를 적용할 수 있도록 하기.
• 체적 함수의 연속성 및 상반연속성을 활용하여 한계 Okounkov 다면체를 부분다양체에서의 표준 Okounkov 다면체와 연결하기.
• Anderson-Küronya-Lozovanu의 결과를 적용하여 섹션 링이 유한 생성되는 큰 분할이 유리 다각형을 유도하며, 이를 희귀 부분으로의 축소를 통해 한계 경우로 확장하기.

실험 결과

연구 질문

• RQ1 순수 효과적 분할의 가치적 Okounkov 다면체가 유리 다각형이 되는 조건은 무엇인가?
• RQ2 Okounkov 다면체를 이용해 Nakayama 및 양의 체적 부분다양체를 기하학적으로 어떻게 특성화할 수 있는가?
• RQ3 벨리에이션 좋은 자르스키 분해의 존재가 한계 Okounkov 다면체에 대해 유리 다면체적 구조를 유도하는가?
• RQ4 섹션 링이 유한 생성되지 않더라도 유리 다면체 성질이 순수 효과적 경우에 발생할 수 있는가?
• RQ5 한계 Okounkov 다면체의 차원과 지지부분과 분할의 수치적 차원 사이의 관계는 무엇인가?

주요 결과

• 만약 $D$ 가 순수 효과적 $\mathbb{Q}$-분할이며, 벨리에이션 좋은 자르스키 분해를 갖고, $Y_{\bullet}$ 가 적절한 적합한 플래그이면, 가치적 Okounkov 다면체 $\triangle^{\text{val}}_{Y_{\bullet}}(D)$ 는 유리 다각형이다.
• 동일한 조건 하에, 한계 Okounkov 다면체 $\triangle^{\text{lim}}_{Y_{\bullet}}(D)$ 는 $\mathbb{R}^{\nu_{\nu}(D)} \times \mathbb{R}^{n-\nu_{\nu}(D)}_{\text{zero}}$ 에 포함된 차원 $\nu_{\nu}(D)$ 의 유리 단체이다.
• 적합한 플래그 $Y_{\bullet}$ 가 $D$ 의 Nakayama 부분다양체를 포함하는 것은 $\triangle^{\text{val}}_{Y_{\bullet}}(D) \not\to \mathbb{R}^{n-\nu(D)} \times \mathbb{R}^{\nu(D)}_{\text{zero}}$ 와 동치이다.
• 적합한 플래그 $Y_{\bullet}$ 가 $D$ 의 양의 체적 부분다양체를 포함하는 것은 $\triangle^{\text{lim}}_{Y_{\bullet}}(D)$ 가 $\mathbb{R}^{n-\nu_{\nu}(D)}_{\text{zero}} \times \mathbb{R}^{\nu_{\nu}(D)}$ 에 있고, 차원이 $\nu_{\nu}(D)$ 라는 것과 동치이다.
• 적절한 플래그 조건 하에서, $D$ 의 한계 Okounkov 다면체는 양의 체적 부분다양체 $V$ 에 제한된 희귀 부분 $P$ 의 표준 Okounkov 다면체와 동형이다.
• 섹션 링이 유한 생성되지 않는 순수 효과적 $\mathbb{Q}$-분할들 중에서도 Okounkov 다면체가 여전히 유리 다각형인 것이 존재하며, 이는 유한 생성성이 유리 다면체 성질을 위해 필수적이지 않음을 보여준다.