[논문 리뷰] Complex optimal transport and the pluripotential theory of Kähler-Ricci solitons

Robert J. Berman, David Witt Nyström|arXiv (Cornell University)|2014. 01. 31.

Geometry and complex manifolds참고 문헌 43인용 수 54

한 줄 요약

이 논문은 토릭 복소 프로젝티브 다양체 위의 $T$-불변 메트릭에 대해 일반화된 몽헤-암페르 측도 $MA_g(\phi)$ 를 통한 복잡한 최적 운반 프레임워크를 제안하며, 복소다양체론적 타원형 이론과 최적 운반을 통합한다. 또한 자동형사상에 대해 고유한 특이 켈러-리치 솔리톤의 존재를 증명하고, 그 존재성을 수정된 K-안정성과 연결하며, 토릭 및 비토릭 설정에서 도널드슨의 양자화 프로그램을 확장한다.

ABSTRACT

Let (X,L) be a (semi-) polarized complex projective variety and T a real torus acting holomorphically on X with moment polytope P. Given a probability density g on P we introduce a new type of Monge-Ampere measure on X, defined for singular T-invariant metrics on the line bundle L, generalizing the ordinary Monge-Ampere of global pluripotential theory, which corresponds to the case when T is trivial (or g=1). In the opposite extreme case when T has maximal rank, i.e. (X,L,T) is a toric variety, the solution of the corresponding Monge-Ampere equation with right hand side μcorresponds to the convex Kantorovich potential for the optimal transport map in the Monge-Kantorovich transport problem betweeen μand g (for a quadratic cost function). Accordingly, our general setting can be seen as a complex version of optimal transport theory. Our main complex geometric applications concern the pluripotential study of singular (shrinking) Kahler-Ricci solitons. In particular, we establish the uniqueness of such solitons, modulo automorphisms, and explore their relation to a notion of modified K-stability inspired by the work of Tian-Zhu. The quantization of this setup, in the sense of Donaldson, is also studied.

연구 동기 및 목표

• 복소다양체론적 복소다양체 위의 $T$-불변 메트릭에 대해 고전적 복소다양체론 이론을 확장하는 일반화된 몽헤-암페르 측도 $MA_g(\phi)$ 를 개발하는 것.
• 토릭 케이스에서 $MA_g(\phi)$ 를 칸토로비치 잠재력과 연결함으로써 복잡한 기하학적 최적 운반의 유사체를 수립하는 것.
• 복소다양체론적 및 변분 방법을 사용하여 자동형사상에 대해 고유한 특이 켈러-리치 솔리톤의 고유성을 증명하는 것.
• 켈러-리치 솔리톤의 존재성을 티안-즈우의 영감을 받은 수정된 K-안정성 개념과 연결하는 것.
• 도널드슨의 관점에서 설정의 양자화를 연구하고, 양자화된 함수의 반고전적 점근적 성질을 확립하는 것.

제안 방법

• 선다발 $L$ 위의 $T$-불변 메트릭 $\phi$ 에 대해, $g$-가중 몽헤-암페르 측도 $MA_g(\phi)$ 를 다양체 $X$ 위에 도입하여, 표준 복소다양체론 몽헤-암페르 연산자의 일반화를 수행한다.
• 양의 커텐트의 비다양체 곱을 사용하여 특이 메트릭에 대해 $MA_g(\phi)$ 를 정의함으로써, 복소다양체론 이론의 프레임워크를 확장한다.
• 토닉 케이스에서 $MA_g(\phi) = \mu$ 의 해들이 제곱 비용을 가진 최적 운반 지도와 대응됨을 확립하며, 복잡한 기하학과 최적 운반을 연결한다.
• 기능 $\mathcal{D}_g(\phi)$ 에 변분 방법을 적용하여, 최소화자의 존재성과 고유성을 보장하기 위해 그의 적절성과 볼록성을 증명한다.
• 푸비니-슈트라우스 사상과 힐버트 사상을 사용하여 켈러 메트릭 $\phi_k = \mathrm{FS}(H_k)$ 와 양자화 설정을 연결함으로써 반고전적 분석을 가능하게 한다.
• 점근적 전개와 균일 수렴을 활용하여, 양자화된 기능 $\mathcal{D}_g^{(k)}(H_k)$ 와 고전적 기능 $\mathcal{D}_g(\phi)$ 를 연결하고, 최소화자의 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 토립 작용이 존재하는 순간 다각형 $P$ 위에 가중 함수 $g$ 를 포함하는 고전적 복소다양체론 몽헤-암페르 방정식은 어떻게 일반화될 수 있는가?
• RQ2 복잡한 설정에서, 특히 토닉 케이스에서 일반화된 몽헤-암페르 측도 $MA_g(\phi)$ 는 최적 운반과 어떤 식으로 대응되는가?
• RQ3 수정된 K-안정성은 특이 켈러-리치 솔리톤의 존재성과 고유성에 어떤 역할을 하는가?
• RQ4 반고전적 극한에서 켈러-리치 솔리톤 문제의 양자화는 어떻게 행동하며, 관련 기능의 수렴성은 어떠한가?
• RQ5 자기형사상에 대해 기능 $\mathcal{D}_g(\phi)$ 가 적절하고 엄격히 볼록임을 증명할 수 있는가? 이를 통해 최소화자의 고유성을 보장할 수 있는가?

주요 결과

• 특이한 $T$-불변 메트릭 $\phi$ 에 대해 일반화된 몽헤-암페르 측도 $MA_g(\phi)$ 는 잘 정의되어 있으며, 고전적 복소다양체론 이론을 확장한다.
• 토닉 케이스에서 $MA_g(\phi) = \mu$ 의 해들은 제곱 비용을 가진 최적 운반 지도의 칸토로비치 잠재력과 대응되며, 복잡한 기하학과 최적 운반을 연결한다.
• 기능 $\mathcal{D}_g(\phi)$ 는 자동형사상에 대해 엄격히 볼록하여, 최소화자의 고유성을 보장하며, 이 최소화자는 켈러-리치 솔리톤과 대응된다.
• 양자화된 기능 $\mathcal{D}_g^{(k)}(H_k)$ 의 최소화자들은 $k \to \infty$ 일 때 $L^1$ 및 에너지 수렴을 보이며, 고전적 기능 $\mathcal{D}_g(\phi)$ 의 최소화자로 수렴함을 증명함으로써 반고전적 수렴을 확립한다.
• 고유한 켈러-리치 솔리톤의 존재성은 고유한 자동형사상에 대해 $\mathcal{D}_g(\phi)$ 의 적절성에 의해 동치이며, 고차 수정된 푸타키 불변량이 0임을 가정할 때 성립한다.
• 기능 $\mathcal{D}_g(\phi)$ 의 엄격한 볼록성과 적절성에 기반하여, 자동형사상에 대해 특이 켈러-리치 솔리톤의 고유성이 증명된다.