[논문 리뷰] Boltzmann's Entropy and Kähler-Ricci Solitons

Frederick Fong|arXiv (Cornell University)|2016. 05. 25.

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

한 줄 요약

이 논문은 통계역학에서 유래한 볼츠만 유형의 엔트로피 기능 $χ$ 에 기반한 버틀만-타입 엔트로피 기능에 대해 기울기 카플러-리치 스올리톤의 안정성을 확립한다. $χ$ 의 이차 변동을 계산하고, 스올리톤에서 이 값이 음이 아니라는 것을 보여줌으로써, 저자들은 페렐만의 $μ$-기능에 대한 기울기 수축형 카플러-리치 스올리톤의 안정성을 새로운 방식으로 증명한다. 이는 $χ$ 가 $μ$-기능의 상한 경계가 되며, 스올리톤에서 등호가 성립한다는 사실에 기반한다.

ABSTRACT

We study a Boltzmann's type entropy functional (which appeared in existing literature) defined on Kähler metrics of a fixed Kähler class. The critical points of this functional are gradient Kähler-Ricci solitons, and the functional was known to be monotonically increasing along the Kähler-Ricci flow in the canonical class. In this article, we derive and analyze the second variation formula for this entropy functional, and show that all gradient Kähler-Ricci solitons are stable with respect to this entropy functional. Furthermore, using this result, we give a new proof that gradient shrinking Kähler-Ricci solitons are stable with respect to the Perelman's entropy in a fixed Kähler class.

연구 동기 및 목표

• 고정된 카플러 클래스 내에서 카플러 포텐셜에 정의된 볼츠만 유형 엔트로피 기능 $χ$ 의 이차 변동을 분석하기.
• 기울기 카플러-리치 스올리톤이 이 엔트로피 기능에 대해 안정함을 확립하기.
• 엔트로피 기능 $χ$ 를 상한 경계로 사용하여 페렐만의 $μ$-기능에 대한 기울기 수축형 카플러-리치 스올리톤의 안정성을 새로운 방식으로 증명하기.
• 카플러-리치 흐름을 따라 $χ$ 의 단조성과 리치 포텐셜의 균일한 경계, 스올리톤의 존재성 간의 관계를 연결하기.

제안 방법

• 엔트로피 기능 $χ(\varphi) = \frac{1}{[\omega_0]^n} \int_X f_\varphi e^{-f_\varphi} \omega_\varphi^n$ 을 정의하며, 여기서 $f_\varphi$ 는 $\lambda \omega_\varphi - \text{Ric}(\omega_\varphi) = \sqrt{-1}\partial\bar{\partial}f_\varphi$ 를 만족하는 리치 포텐셜이다.
• $χ$ 를 확률 측도 $d\nu_\varphi = e^{-f_\varphi} \omega_\varphi^n / [\omega_\varphi]^n$ 과 $d\mu_\varphi = \omega_\varphi^n / [\omega_\varphi]^n$ 에 대한 볼츠만 엔트로피 $-\int \log(d\nu_\varphi/d\mu_\varphi) d\nu_\varphi$ 로 표현한다.
• 부드러운 $\psi$ 에 대해 $\u03c7(\varphi + t\psi)$ 의 $t=0$ 에서의 이차 변동 공식을 유도하며, 기울기 카플러-리치 스올리톤에서 이 값이 음이 아니라는 것을 보인다.
• 경로 $g + t\nabla\bar{\nabla}\psi$ 를 따라 $\u03c7(\varphi + t\psi) + 2n(\tau_0 - 1)$ 이 페렐만의 $\mu$-기능에 대한 상한 경계가 되며, $\omega_\varphi$ 가 스올리톤일 때 $t=0$ 에서 등호가 성립한다는 것을 증명한다.
• 이차 변동의 음성으로 인해 $\mu$ 의 이차 변동도 음성이 됨을 유도함으로써, 티엔–즈우의 안정성 결과를 재확인한다.
• 이차 변동의 음성으로 인해 $\u03c7$ 가 정규화된 카플러-리치 흐름을 따라 단조 증가하고, 젠센의 부등식을 통해 유계임을 이용하여 $f_\varphi$ 에 대한 균일한 하한을 도출한다.

실험 결과

연구 질문

• RQ1 기울기 카플러-리치 스올리톤에서 카플러 포텐셜의 변형에 대해 볼츠만 유형 엔트로피 기능 $\u03c7$ 는 안정적인가?
• RQ2 $\u03c7$ 의 이차 변동을 계산하고, 스올리톤에서 이 값이 음이 아니라는 것을 보일 수 있는가? 이는 안정성을 의미하는가?
• RQ3 $\u03c7$ 는 페렐만의 $\mu$-기능에 상한 경계로 작용하는가? 등호는 스올리톤에서 성립하는가?
• RQ4 기울기 수축형 카플러-리치 스올리톤의 $\mu$-기능에 대한 안정성은 $\u03c7$ 의 이차 변동을 통해 재증명할 수 있는가?
• RQ5 카플러-리치 흐름을 따라 $\u03c7$ 의 단조성과 리치 포텐셜의 균일한 경계 간의 관계는 무엇인가?

주요 결과

• 기울기 카플러-리치 스올리톤에서 엔트로피 기능 $\u03c7$ 의 이차 변동은 음이 아니며, 이는 모든 스올리톤이 $\u03c7$ 에 대해 안정적임을 증명한다.
• $\u03c7(\varphi + t\psi)$ 는 경로 $g + t\nabla\bar{\nabla}\psi$ 를 따라 페렐만의 $\mu$-기능에 대한 상한 경계가 되며, $\omega_\varphi$ 가 스올리톤일 때 $t=0$ 에서 등호가 성립한다.
• $\mu$ 의 이차 변동은 $\u03c7$ 의 이차 변동으로부터 상한을 받으며, 후자의 음성으로 인해 전자의 음성이 유도되므로, 티엔–즈우의 안정성 결과에 대한 새로운 증명이 된다.
• $\u03c7$ 의 임계점은 정확히 기울기 카플러-리치 스올리톤이며, 이는 $\text{Ric}(\omega_\varphi) + \nabla^2 f_\varphi = \lambda \omega_\varphi$ 를 의미한다.
• 정규화된 카플러-리치 흐름을 따라 $\u03c7$ 가 단조 증가하므로, 리치 포텐셜 $f_\varphi$ 에 대한 균일한 하한이 유도되며, 이는 균일한 지름과 스칼라 곡률의 유계성 존재를 충분히 보장한다.
• $\mu$ 의 이차 변동이 0이 되는 것은 $\nabla\psi$ 가 리만-홀로모르픽 벡터 장일 때에만 가능하며, 이는 스올리톤이 홀로모르픽 벡터 장 변형에 대해 알려진 강성과 일치한다.