[논문 리뷰] On the convergence and singularities of the J-flow with applications to the Mabuchi energy

Jian Song, Ben Weinkove|arXiv (Cornell University)|2004. 10. 19.

Geometry and complex manifolds참고 문헌 20인용 수 24

한 줄 요약

이 논문은 컴acts Kähler 다양체 위에서 J-유동의 수렴성과 J-함수방정식을 푸는 임계계량의 존재성에 대한 필수적이고 충분한 조건을 확립한다. (n−1,n−1)-형식에 대한 새로운 양성 조건을 도입하여, 어떤 메트릭 $ \tilde{\chi} $가 Kähler 계 $[\chi_0]$ 에 속할 때 $ (nc\tilde{\chi} - (n-1)\omega) \wedge \tilde{\chi}^{n-2} > 0 $ 를 만족시키면, J-유동이 부드럽게 해를 향해 수렴함을 증명한다. 이는 Mabuchi 에너지와 cscK 계량과 관련된 Kähler 기하학에서 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

The J-flow of S. K. Donaldson and X. X. Chen is a parabolic flow on Kahler manifolds with two Kahler metrics. It is the gradient flow of the J-functional which appears in Chen's formula for the Mabuchi energy. We find a positivity condition in terms of the two metrics which is both necessary and sufficient for the convergence of the J-flow to a critical metric. We use this result to show that on manifolds with ample canonical bundle, the Mabuchi energy is proper on all Kahler classes in an open neighborhood of the canonical class defined by a positivity condition. This improves previous results of Chen and of the second author. We discuss the implications of this for the problem of the existence of constant scalar curvature Kahler metrics. We also study the singularities of the J-flow and, under certain conditions (which always hold for dimension two) derive estimates away from a subvariety. In the case of Kahler surfaces we use these estimates to confirm, at least in a certain sense, a conjectural remark of Donaldson that if the J-flow does not converge then it should blow up over some curves of negative self-intersection.

연구 동기 및 목표

• 두 개의 Kähler 계를 가진 컴팩트 Kähler 다양체에서 J-유동의 수렴성에 대한 필요충분조건을 확립하는 것.
• 조건 $[nc\chi_0 - (n-1)\omega] > 0$ 가 임계계량의 존재성에 충분함을 증명하는 추측을 해결하는 것.
• J-유동의 수렴성, 임계방정식, Mabuchi 에너지의 유계성 간의 관계를 명확히 하는 것.
• 이전의 곡률 또는 계 조건 하에서의 J-유동 결과를 더 날카롭고 내재적인 기하학적 기준으로 확장하는 것.

제안 방법

• J-유동의 수렴성을 특징짓는 새로운 (n−1,n−1)-형식에 대한 양성 조건을 도입: $ (nc\chi' - (n-1)\omega) \wedge \chi'^{n-2} > 0 $.
• J-유동 방정식 $ \partial_t\phi = c - \frac{\omega \wedge \chi_\phi^{n-1}}{\chi_\phi^n} $ 을 Kähler 잠재함수 공간 $\mathcal{H}$ 의 초기 조건과 함께 사용한다.
• 최대원리와 곡률 추정을 적용하여 $\phi$ 와 그 도함수의 진화를 통제하고, 균일한 $C^\infty$ 수렴을 증명한다.
• 유동이 특이점이 생길 수 있는 특이집합 $S$ 를 분석하여, 양성 조건이 만족되면 $S$ 를 제외한 컴팩트 부분집합에서 유동이 부드럽게 수렴함을 보인다.
• Siu의 분해와 Demailly의 전류에 대한 결과를 활용하여, 특히 음의 곡선을 가진 표면에 대해 복소 차원 2에서 Kähler 콩의 구조를 분석한다.
• Mabuchi 에너지가 아래로 유계임은 임계방정식의 해가 존재할 때이고, 이는 기하학적 안정성 이론(GIT)의 안정성과 연결됨을 이용한다.

실험 결과

연구 질문

• RQ1 컴팩트 Kähler 다양체에서 J-유동이 임계계량으로 부드럽게 수렴하는 데 필요한 필수충분조건은 무엇인가?
• RQ2 조건 $[nc\chi_0 - (n-1)\omega] > 0$ 는 임계방정식 $\omega \wedge \chi^{n-1} = c\chi^n$ 의 해 존재성에 충분한가?
• RQ3 형식 $ (nc\chi' - (n-1)\omega) \wedge \chi'^{n-2} $ 의 양성은 Mabuchi 에너지의 유계성과 어떻게 관련되는가?
• RQ4 계 조건 $[nc\chi_0 - (n-1)\omega] > 0$ 가 실패하더라도 더 약한 양성 조건 하에서 J-유동이 임계계량으로 수렴할 수 있는가?
• RQ5 음의 곡선은 J-유동의 수렴성과 Mabuchi 에너지의 적절성(properness)을 방해하는 데 어떤 역할을 하는가?

주요 결과

• J-유동이 $C^\infty$ 수렴하여 임계계량으로 수렴하는 것은, $[\chi_0]$ 에 속하는 메트릭 $\chi'$ 가 존재하여 $ (nc\chi' - (n-1)\omega) \wedge \chi'^{n-2} > 0 $ 를 만족할 때이고, 그 때에만 성립한다.
• 조건 $ (nc\chi' - (n-1)\omega) \wedge \chi'^{n-2} > 0 $ 는 $[nc\chi_0 - (n-1)\omega] > 0$ 보다 엄밀히 더 약한 조건이지만 여전히 수렴에 충분하다.
• 임계방정식 $\omega \wedge \chi^{n-1} = c\chi^n$ 의 해가 존재하는 것과 임의의 초기 조건에 대해 J-유동이 수렴하는 것은 동치이다.
• Kähler 표면의 경우, 조건 $[nc\chi_0 - \omega]^2 > 0$ 와 $[nc\chi_0 - \omega] \cdot [\chi_0] > 0$ 는 $nc\chi_0 - \omega$ 가 Kähler 계이거나, 양의 계수를 가진 음의 곡선 계의 합을 뺀 Kähler 계임을 의미한다.
• Kähler 계에서 Mabuchi 에너지가 아래로 유계임은 임계방정식의 해가 존재할 때이고, 이는 정확히 $(n-1,n-1)$-형식의 양성 조건이 만족될 때 성립한다.
• 경계 경우에서 $ (nc\chi' - (n-1)\omega) \wedge \chi'^{n-2} \geq 0 $ 일 때, J-유동이 특이집합 $S$ 를 제외한 컴팩트 부분집합에서 수렴할 것이라 추측되지만, 아직 미해결이다.