[논문 리뷰] The inverse Monge-Ampere flow and applications to Kahler-Einstein metrics

Tristan C. Collins, Tomoyuki Hisamoto외 1명|arXiv (Cornell University)|2017. 12. 05.

Geometry and complex manifolds참고 문헌 60인용 수 14

한 줄 요약

이 논문은 $\lambda = \pm 1$ 인 $2/\pi\lambda c_1(X)$ 내의 켈러 메트릭에서 다잉 에너지 함수의 경사 하강 흐름으로서의 역 몽헤-암페르 흐름을 도입하며, 장기 존재성과 캐논적으로 극화된 경우($\lambda = -1$)에 켈러-아인슈타인 메트릭으로의 수렴, 그리고 K-안정성 하에 페노 케이스($\lambda = 1$)에서의 약한 수렴을 증명한다. 또한 토릭 페노 다양체에서 흐름의 극한이 최적으로 불안정화하는 시험 구성과 일치함을 확인한다.

ABSTRACT

We introduce the inverse Monge-Ampere flow as the gradient flow of the Ding energy functional on the space of Kahler metrics in $2 πλc_1(X)$ for $λ=\pm 1$. We prove the long-time existence of the flow. In the canonically polarized case, we show that the flow converges smoothly to the unique Kahler-Einstein metric with negative Ricci curvature. In the Fano case, assuming $X$ admits a Kahler-Einstein metric, we prove the weak convergence of the flow to a Kahler-Einstein metric. In general, we expect that the limit of the flow is related with the optimally destabilizing test configuration for the $L^2$-normalized non-Archimedean Ding functional. We confirm this expectation in the case of toric Fano manifolds.

연구 동기 및 목표

• 켈러-아인슈타인 메트릭을 연구하기 위한 새로운 기하학적 흐름으로서의 역 몽헤-암페르 흐름을 도입하고 분석하는 것.
• 모든 $\lambda = \pm 1$ 에 대해 $2\pi\lambda c_1(X)$ 내의 켈러 메트릭에서 흐름의 장기 존재성을 확립하는 것.
• 캐논적으로 극화된 경우($\lambda = -1$)에 부드러운 수렴을 통해 유일한 켈러-아인슈타인 메트릭으로의 수렴을 증명하는 것.
• 존재 가정 하에 페노 케이스($\lambda = 1$)에서 약한 수렴을 통해 켈러-아인슈타인 메트릭으로의 수렴을 확립하는 것.
• 비아르키메데스 다잉 함수를 통해 흐름의 극한을 최적으로 불안정화하는 시험 구성과 연결하고, 토릭 페노 다양체에서 이를 검증하는 것.

제안 방법

• 공간 $\mathcal{H}$ 내의 켈러 메트릭인 $2\pi c_1(L)$ 내에서 다잉 에너지 함수의 경사 하강 흐름으로서의 역 몽헤-암페르 흐름을 정의한다.
• 변화 $\delta D(\varphi) = \frac{1}{V}\int_X (\delta\varphi)(e^{\rho} - 1)\omega_\varphi^n$ 를 가진 다잉 함수 $D(\varphi)$ 의 변분 구조를 사용한다.
• 공간 $\mathcal{H}$ 위의 리만 기하학적 구조를 $L^2$ 내적 $\langle f,g\rangle_\varphi = \int_X fg \omega_\varphi^n$ 를 통해 정의하고, 이를 바탕으로 흐름을 파라볼릭 PDE로 정의한다.
• 리치-칼라비 에너지와 그 단조성 분석을 통해 $\|\sigma(t) - (d+\ell)\|_{L^2(P)}$ 의 감쇠를 분석한다.
• 밸런싱 함수와 볼록 함수에 대한 젠센 부등식을 사용하여 다잉 함수의 감쇠 속도를 유계화한다.
• 비아르키메데스 해석과 $L^2$ 정규화된 비아르키메데스 다잉 함수를 적용하여, 토릭 페노 다양체에서 극한이 최적 불안정화 시험 구성과 일치함을 확인한다.

실험 결과

연구 질문

• RQ1 K-안정성이 없을 경우, 역 몽헤-암페르 흐름을 통해 켈러-아인슈타인 메트릭을 구성할 수 있는가?
• RQ2 존재할 경우, 페노 케이스에서 역 몽헤-암페르 흐름이 켈러-아인슈타인 메트릭으로 수렴하는가?
• RQ3 역 몽헤-암페르 흐름의 극한은 비아르키메데스 다잉 함수의 최적으로 불안정화하는 시험 구성과 관련이 있는가?
• RQ4 불안정한 토릭 페노 케이스에서 역 몽헤-암페르 흐름은 어떻게 행동하며, 그 극한의 성격은 무엇인가?
• RQ5 흐름을 따라 리치 포텐셜의 渐近적 행동은 어떠한가? 그리고 페렐만 유형 추정을 위반하는가?

주요 결과

• 모든 $\lambda = \pm 1$ 에 대해 $2\pi\lambda c_1(X)$ 내의 켈러 메트릭 공간에서 역 몽헤-암페르 흐름은 모든 시간 동안 존재한다.
• 캐논적으로 극화된 경우($\lambda = -1$)에 흐름은 음의 리치 곡률을 갖는 유일한 켈러-아인슈타인 메트릭으로 부드럽게 수렴한다.
• 페노 케이스($\lambda = 1$)에서 켈러-아인슈타인 메트릭의 존재를 가정할 경우, 흐름은 그것으로 약하게 수렴한다.
• 불안정한 토릭 페노 케이스에서 흐름의 극한은 최적으로 불안정화하는 시험 구성과 일치하며, 이는 비아르키메데스 다잉 함수를 통해 식별된다.
• $L^2$ 노름으로서 밸런싱 함수 $\sigma(t)$ 와 최대 불안정화자 $d+\ell$ 의 차이가 0으로 수렴함을 확인하여, 흐름이 최적 불안정화로의 분해에 도달함을 증명한다.
• 불안정한 경우에 흐름을 따라 리치 포텐셜은 $-\infty$ 로 발산하며, 이는 페렐만 유형 추정의 실패를 시사하며, 켈러-리치 흐름과는 다름을 보여준다.