[논문 리뷰] Asymptotic base loci via Okounkov bodies

Sung Rak Choi, Yoonsuk Hyun외 2명|arXiv (Cornell University)|2015. 07. 03.

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

한 줄 요약

이 논문은 윤곽이 매끄럽고 사영적인 다양체 위의 허위효과적 다발의 渐近적 기저 집합과 그의 한계 오쿠노크 본체 사이의 직접적 연결을 확립한다. 점근적 불변량인 점근적 평가와 이동 Seshadri 상수를 분석함으로써, 저자들은 제한 기저 집합 𝔹₋(D)와 증강 기저 집합 𝔹₊(D)가 한계 오쿠노크 본체로부터 복원될 수 있음을 증명하며, 이로써 새로운 편의성 및 강성 기준, 다발적 샤르키 디컴포지션 공식, 포함된 단체를 통한 이동 Seshadri 상수의 경계를 제시한다.

ABSTRACT

An Okounkov body is a convex subset of Euclidean space associated to a divisor on a smooth projective variety with respect to an admissible flag. In this paper, we recover the asymptotic base loci from the Okounkov bodies by studying various asymptotic invariants such as the asymptotic valuations and the moving Seshadri constants. Consequently, we obtain the nefness and ampleness criteria of divisors in terms of the Okounkov bodies. Furthermore, we compute the divisorial Zariski decomposition by the Okounkov bodies, and find upper and lower bounds for moving Seshadri constants given by the size of simplexes contained in the Okounkov bodies.

연구 동기 및 목표

• 허위효과적 다발의 제한 기저 집합과 증강 기저 집합을 그의 한계 오쿠노크 본체로부터 복원하는 것.
• 한계 오쿠노크 본체 내 원점과 음이 아닌 사분면의 위치를 이용해 다발에 대한 새로운 편의성 및 강성 기준을 수립하는 것.
• 오쿠노크 본체를 이용해 허위효과적 다발의 다발적 샤르키 디컴포지션을 계산하는 것.
• 한계 오쿠노크 본체에 포함된 단체의 크기를 바탕으로 이동 Seshadri 상수의 상한과 하한을 유도하는 것.

제안 방법

• 저자들은 허위효과적 다발 D와 적합한 플래그 Y•에 관련된 한계 오쿠노크 본체 Δ^lim_Y•(D)를 사용한다.
• 기하학적 집합과 오쿠노크 본체의 볼록기하학을 연결하기 위해 점근적 평가와 이동 Seshadri 상수를 핵심 불변량으로 활용한다.
• 증명 전략은 플래그 중심에 대해 한계 오쿠노크 본체 내 원점과 음이 아닌 사분면의 위치를 분석하는 데 기반한다.
• 저자들은 Seshadri 상수를 점에서의 오쿠노크 본체 내 射선의 최소 및 최대 길이와 연결하기 위해 붓업과 변형을 적용한다.
• Gromov 폭 공식을 활용하여 Seshadri 상수의 상한을 심플렉틱 다양체의 Gromov 폭과 연결한다.
• 구성은 X̃ → X의 비라시오널 모형 f: X̃ → X와 X̃ 위의 적합한 플래그를 포함하며, ν에 대해 Δ_Y•(f*D) = Δ_ν(f*D)가 성립한다.

실험 결과

연구 질문

• RQ1 허위효과적 다발 D의 제한 기저 집합 𝔹₋(D)는 적합한 플래그에 대해 한계 오쿠노크 본체 Δ^lim_Y•(D)로 특징지을 수 있는가?
• RQ2 음이 아닌 사분면 조건을 통해 증강 기저 집합 𝔹₊(D)는 한계 오쿠노크 본체로부터 복원될 수 있는가?
• RQ3 점근적 불변량인 점근적 평가와 이동 Seshadri 상수는 오쿠노크 본체의 기하학과 어떻게 관련되는가?
• RQ4 다발적 샤르키 디컴포지션은 오쿠노크 본체로부터 직접 계산될 수 있는가?
• RQ5 오쿠노크 본체에 포함된 단체의 크기를 바탕으로 이동 Seshadri 상수에 대한 경계를 어떻게 설정할 수 있는가?

주요 결과

• 제한 기저 집합 𝔹₋(D)는 임의의 중심이 x ∈ X 인 적합한 플래그 Y•에 대해 ℝⁿ의 원점이 Δ^lim_Y•(D)에 포함되지 않는 점 x ∈ X로 구성된다.
• 다발 D는 모든 점 x ∈ X 에 대해 중심이 x 인 모든 적합한 플래그 Y•에 대해 원점이 Δ^lim_Y•(D)에 포함될 때이고, 그 때에만 편의적이다.
• 증강 기저 집합 𝔹₊(D)는 임의의 원점 근처의 작은 이웃 U에 대해, 임의의 중심이 x ∈ X 인 플래그 Y•에 대해 U≥0 가 Δ^lim_Y•(D)에 포함되지 않는 점 x ∈ X 로 구성된다.
• 다발 D는 모든 적합한 플래그 Y•에 대해 음이 아닌 사분면 ℝⁿ≥0 가 원점 근처의 작은 이웃에 포함될 때이고, 그 때에만 강성이다.
• 이동 Seshadri 상수 ε(||D||;x)는 λ_min(D;x,Y•) ≤ ε(||D||;x) ≤ λ_n(D;x,Y•) 를 만족하며, 여기서 λ_min 및 λ_n 은 오쿠노크 본체 내 射선의 최소 및 최대 길이를 나타낸다.
• 강성 다발 A에 관련된 심플렉틱 다양체 (X,ω_A)의 Gromov 폭 w_G(X,ω_A) 는 w_G(X,ω_A) ≥ √(sup_{x,Y•} ξ_min(A;x,Y•)/π) 를 만족하며, 여기서 ξ_min 은 오쿠노크 본체 내 최소 길이이다.