[논문 리뷰] Transforming metrics on a line bundle to the Okounkov body

David Witt Nyström|arXiv (Cornell University)|2009. 03. 30.

Geometry and complex manifolds참고 문헌 5인용 수 4

한 줄 요약

이 논문은 임의의 연속 메트릭을 갖는 큰 복소 해석적 선다발에 관련된 옥운코프 체 위의 볼록 함수인 체비셰프 변환을 도입한다. 두 메트릭 간의 메트릭 체적 차이는 옥운코프 체 위에서 그들의 체비셰프 변환 차이의 적분과 같음을 증명하며, 고전적 결과를 일반화하고 큰 메트릭화된 R-재분할의 위상에서 메트릭 체적 함수의 미분 가능성도 확립한다.

ABSTRACT

Let $L$ be a big holomorphic line bundle on a complex projective manifold $X.$ We show how to associate a convex function on the Okounkov body of $L$ to any continuous metric $ψ$ on $L.$ We will call this the Chebyshev transform of $ψ,$ denoted by $c[ψ].$ Our main theorem states that the difference of metric volume of $L$ with respect to two metrics, a notion introduced by Berman-Boucksom, is equal to the integral over the Okounkov body of the difference of the Chebyshev transforms of the metrics. When the metrics have positive curvature the metric volume coincides with the Monge-Ampère energy, which is a well-known functional in Kähler-Einstein geometry and Arakelov geometry. We show that this can be seen as a generalization of classical results on Chebyshev constants and the Legendre transform of invariant metrics on toric manifolds. As an application we prove the differentiability of the metric volume in the cone of big metrized $\mathbb{R}$-divisors. This generalizes the result of Boucksom-Favre-Jonsson on the differentiability of the ordinary volume of big $\mathbb{R}$-divisors and the result of Berman-Boucksom on the differentiability of the metric volume when the underlying line bundle is fixed.

연구 동기 및 목표

• 연속 메트릭을 갖는 큰 복소 해석적 선다발에 관련된 옥운코프 체 위의 표준 볼록 함수를 정의하는 것.
• 메트릭 체적의 차이와 옥운코프 체 위에서 체비셰프 변환의 차이 사이의 정확한 적분 공식을 수립하는 것.
• 토릭 다양체 위에서 체비셰프 상수와 레지온드르 변환에 대한 고전적 결과를 일반화하는 것.
• 큰 메트릭화된 R-재분할의 코어 위에서 메트릭 체적 함수의 미분 가능성 증명하기 — 부크소프-파브레-존손 및 베르만-부크소프의 이전 결과를 확장함.

제안 방법

• 연속 메트릭 $ \psi $ 를 갖는 큰 선다발 $ L $ 에 대해 옥운코프 체 위의 볼록 함수로 체비셰프 변환 $ c[\psi] $ 를 정의한다.
• 주요 결과는 메트릭 체적의 차이를 다음과 같은 적분으로 표현한다: $ \mathrm{vol}(L,\psi_1,\varphi) - \mathrm{vol}(L,\psi_2,\varphi) = n! \int_{\Delta(L)} (c[\psi_1] - c[\psi_2]) \, d\lambda $.
• 증명은 변형 하에서 옥운코프 체의 구조에 기반하며, 특히 앰플 라인다벨 $ A $ 에 대해 $ \Delta(L + tA) = \bigcup_{r=0}^t \Delta(L + tA)_r \cup (\Delta(L) + t e_1) $ 라는 관계를 사용한다.
• 체비셰프 변환에 기본 정리의 적분을 적용하고 몽제-암페르 에너지의 사이클 성질을 이용하여 메트릭 체적의 미분 가능성 증명한다.
• 옥운코프 체의 제로 섹션 위에서 체비셰프 변환의 연속성과 미분 가능성은 도함수가 존재하고 연속적으로 변함을 보장한다.
• 부분 적분과 몽제-암페르 측도를 사용하여 메트릭 변형 하에서 에너지 함수의 변동을 제어한다.

실험 결과

연구 질문

• RQ1 큰 복소 해석적 선다발 위의 연속 메트릭은 어떻게 그 옥운코프 체 위의 볼록 함수와 표준적으로 관련될 수 있는가?
• RQ2 메트릭화된 선다발의 메트릭 체적과 옥운코프 체 위에서 체비셰프 변환의 적분 사이의 정확한 관계는 무엇인가?
• RQ3 기저 선다발이 큰 메트릭화된 R-재분할의 코어에서 변할 때 메트릭 체적 함수는 여전히 미분 가능할까?
• RQ4 체비셰프 변환은 토릭 기하학에서의 고전적 체비셰프 상수와 레지온드르 변환을 어떻게 일반화하는가?
• RQ5 옥운코프 체 위의 볼록 기하학과 적분 변환을 통해 메트릭 체적의 미분 가능성은 어떻게 증명할 수 있는가?

주요 결과

• 큰 선다발 $ L $ 에 대해 두 연속 메트릭 $ \psi_1 $ 과 $ \psi_2 $ 간의 메트릭 체적 차이는 $ L $ 의 옥운코프 체 위에서 그들의 체비셰프 변환 차이의 적분과 $ n! $ 배로 같다.
• 체비셰프 변환 $ c[\psi] $ 는 옥운코프 체 위의 볼록 함수이며, 전역 옥운코프 체의 제로 섹션 위로의 연속적 확장은 증명에 필수적이다.
• 메트릭이 양의 곡률을 갖는 경우, 메트릭 체적은 몽제-암페르 에너지와 일치하며, 이는 카일러-아인슈타인 기하학 및 아라켈로프 기하학과 연결된다.
• 큰 메트릭화된 $ \mathbb{R} $-재분할의 코어 위에서 메트릭 체적 함수는 미분 가능하며, 부크소프-파브레-존손 및 베르만-부크소프의 결과를 일반화한다.
• 변형 $ L + tA $ 에 따른 메트릭 체적의 도함수는 옥운코프 체의 제로 섹션 위의 적분과 몽제-암페르 에너지 항으로 구성되며, 이 두 항 모두 연속적으로 변한다.
• 함수 $ f(t) = \mathrm{vol}(L + tA, \psi + t\Psi, \varphi + t\Phi) $ 는 $ t = 0 $ 근처에서 $ \mathcal{C}^1 $ 이며, 오른쪽 미분 가능성과 연속성 논증을 통해 확립된다.