[논문 리뷰] Okounkov bodies and the K\"ahler geometry of projective manifolds

David Witt Nyström|arXiv (Cornell University)|2015. 10. 02.

Geometry and complex manifolds인용 수 2

한 줄 요약

이 논문은 오쿠노프 본체를 이용하여 ℂⁿ 내의 원형 불변 영역을 사영 다양체로의 켈러 매장하는 방법을 확립한다. 이에 따라 이러한 영역에서의 표준 유클리드 켈러 형식이 약하거나 큰 선다발의 첫 번째 체르니코프 클래스에 속하는 켈러 형식으로 연장됨을 보여준다. 핵심 결과는 영역의 체적과 다양체의 켈러 체적이 임의로 잘 맞추어질 수 있으며, 특히 모멘트 맵 근사에 의해 타원체와 같은 영역이 다양체 기하학에 완벽하게 맞물린다는 것이다.

ABSTRACT

Given a projective manifold $X$ equipped with an ample line bundle $L$, we show how to embed certain torus-invariant domains $D \subseteq\mathbb{C}^n$ into $X$ so that the Euclidean K\"ahler form on $D$ extends to a K\"ahler form on X lying in the first Chern class of $L$. This is done using Okounkov bodies $\Delta(L)$, and the image of $D$ under the standard moment map will approximate $\Delta(L)$. This means that the volume of $D$ can be made to approximate the K\"ahler volume of $X$ arbitrarily well. As a special case we can let $D$ be an ellipsoid. We also have similar results when $L$ is just big.

연구 동기 및 목표

• 오쿠노프 본체와 사영 다양체 위의 켈러 기하학 사이에 기하학적 다리를 구축하는 것.
• ℂⁿ 내의 원형 불변 영역에 표준 켈러 형식이 있는 경우, 그 영역을 켈러 형식이 c₁(L)에 속하는 사영 다양체 X로 헬로모르픽 매장할 수 있음을 보이는 것.
• 이러한 영역의 체적이 켈러 다양체 X의 켈러 체적을 임의로 잘 근사할 수 있음을 보여주는 것. 체적이 일치할 경우 완벽한 맞춤이 이루어짐을 의미한다.
• 켈러 형식을 쓰는 대신 분석적 특이성을 가진 켈러 전류를 사용하여 큰 선다발으로 이 결과를 확장하는 것.
• 세샤드리 상수의 역할을 명확히 하여, 공이 아니라 타원체가 임의의 점 중심에서 완벽하게 맞물릴 수 있음을 보여주는 것.

제안 방법

• 오쿠노프 본체 ∆(L)이 주어지면, ∆(L)° ⊆ µ(D(L)) ⊆ ∆(L)를 만족하는 원형 불변 영역 D(L) ⊆ ℂⁿ을 오쿠노프 영역 D(L)로 정의한다.
• 적절한 가중 벡터 γ ∈ (ℕ>0)ⁿ를 사용하여 H⁰(X, kL)의 토릭 디제너레이션을 통해 임베딩의 가중 가중치 f_k: X_{A(kL)} → X의 가중치를 구성한다.
• строго 복소다양체 함수 φ에 대해 최대 정규화 구성법을 적용하여, 곡률 형식 ddcφ′이 X 위에 켈러 형식을 주는 매끄럽고 강한 복소다양체 함수 φ′을 생성한다.
• 큰 k에 대해, 표준 켈러 형식 ω_st가 D(L)에 정의되어 있을 때, 스케일링과 임베딩 f(z) = f′(√k z)를 통해 c₁(L)에 속하는 켈러 형식으로 연장됨을 보인다.
• vol(D(L)) = vol(∆(L)) = (1/n!) vol(L)라는 사실을 이용하여 체적 일치를 보장한다.
• 켈러 형식을 쓰는 대신 분석적 특이성을 가진 켈러 전류를 사용하여 큰 선다발의 경우로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 표준 켈러 형식 ω_st를 지닌 영역 D ⊆ ℂⁿ이 헬로모르픽으로 사영 다양체 X에 매장될 수 있는가? 이 경우 ω_st가 c₁(L)에 속하는 켈러 형식으로 풀어지는가?
• RQ2 이러한 영역 D의 체적을 켈러 다양체 X의 켈러 체적으로 임의로 잘 근사할 수 있는가? 체적이 일치할 경우 완벽한 매칭이 이루어지는가?
• RQ3 very ample 선다발 L에 대해, 중심이 X의 임의의 점 p ∈ X에 있는 표준 도메인(예: 타원체)이 X에 완벽하게 맞물리는가?
• RQ4 세샤드리 상수 ǫ(X, L, p)는 중심이 p에 있는 가장 큰 공이 X에 표준 켈러 구조로 들어갈 수 있는 조건과 어떻게 관련이 있는가?
• RQ5 켈러 형식 대신 켈러 전류를 사용하여 이 구성법을 큰 선다발으로 확장할 수 있는가?

주요 결과

• 표준 켈러 형식 ω_st를 지닌 오쿠노프 영역 D(L) ⊆ ℂⁿ은 (X, L)에 완벽하게 맞물린다. 즉, ∫_{D(L)} ω_st^n = ∫_X c₁(L)^n 이다.
• 임베딩 f: U → X는 f⁻¹(X_i) = {z₁ = ... = z_i = 0} ∩ U 를 만족하도록 선택할 수 있으며, 이는 원형 작용과 플래그 구조를 일치시킨다.
• L이 매우 망원적일 경우, 오쿠노프 영역 D(L)는 타원체 E(1, ..., 1, (Lⁿ)⁻¹)이며, (E(1, ..., 1, (Lⁿ)⁻¹), ω_st)는 임의의 점 p ∈ X 중심에서 (X, L)에 완벽하게 맞물린다.
• 세샤드리 상수 ǫ(X, L, p)는 중심이 p에 있는 공 (B_r, ω_st)이 (X, L)에 들어갈 수 있는 최대 r의 상한값과 같다. 그러나 이 값은 최대 타원체 크기보다 엄밀히 작다.
• 큰 선다발의 경우, 분석적 특이성을 가진 켈러 전류를 사용하여 결과를 확장할 수 있다: (D(L), ω_st)는 전류 연장의 의미에서 (X, L)에 완벽하게 맞물린다.
• 최대 정규화와 토릭 디제너레이션을 통한 구성은 임베딩된 영역의 모멘트 맵 이미지가 오쿠노프 본체 ∆(L)에 임의로 잘 근사함을 보장한다.