[논문 리뷰] Collapsing of the line bundle mean curvature flow on Kähler surfaces

Ryosuke Takahashi|arXiv (Cornell University)|2019. 12. 31.

Geometry and complex manifolds참고 문헌 17인용 수 7

한 줄 요약

이 논문은 허구적 단계 조건과 곡률 형식의 준양성 조건 하에서 켈러 표면 위의 선다발 평균 곡률 흐름(LBMCF)을 연구한다. 흐름이 유한한 수의 음의 자기교차를 가진 곡선을 제외한 영역에서 매끄럽게 수렴하고, 전체 표면에서 현재의 의미에서 비특이 해를 갖는 변형 허미션–양–밀스 방정식(deformed Hermitian–Yang–Mills equation)의 해로 수렴함을 증명한다. 이는 초임계 잠재 함수 공간 위의 켐프-네스 유형 함수에 대해 날카운 하한(lower bound)을 제공한다.

ABSTRACT

We study the line bundle mean curvature flow on Kähler surfaces under the hypercritical phase and a certain semipositivity condition. We naturally encounter such a condition when considering the blowup of Kähler surfaces. We show that the flow converges smoothly to a singular solution to the deformed Hermitian-Yang-Mills equation away from a finite number of curves of negative self-intersection on the surface. As an application, we obtain a lower bound of a Kempf-Ness type functional on the space of potential functions satisfying the hypercritical phase condition.

연구 동기 및 목표

• 비특이 해가 존재하지 않는 변형 허미션–양–밀스(dHYM) 방정식을 가진 컴팩트 켈러 표면에서 선다발 평균 곡률 흐름(LBMCF)의 장기적 행동을 분석하는 것.
• dHYM 방정식이 해를 갖지 못할 경우의 극한 대상의 기하학적 및 해석적 구조, 특히 음의 자기교차를 가진 곡선을 따라 발생하는 특이성의 형성 방식을 이해하는 것.
• LBMCF의 수렴 성질을 활용하여 초임계 잠재 함수 공간 위의 켐프-네스 유형 함수에 대해 하한을 확립하는 것.
• dHYM 방정식을 열화된 복소 몽헤–암페르 방정식으로 재기록하고 복소 다항형 이론의 결과를 적용함으로써 $J$-흐름에서의 기법들을 LBMCF로 확장하는 것.

제안 방법

• LBMCF는 Kähler 잠재 함수 $\phi_t$ 의 포물선 흐름으로 기술되며, $\frac{d}{dt}\phi = \Theta_\alpha - \widehat{\Theta}$ 로 표현되며, 여기서 $\Theta_\alpha$ 는 곡률 형식의 라그랑주 위상이다.
• dHYM 방정식은 열화된 복소 몽헤–암페르 방정식으로 재기록되어 특이 복소 다항형 이론의 적용이 가능해진다.
• 결과 [EGZ09]를 활용하여 유계인 $\widehat{F}$-다항형 함수가 열화된 방정식을 만족함을 보장하는 특이 해 $\phi_\infty$ 를 구성한다.
• 함수 $\phi_t$ 에 대한 $C^0$-추정은 $F_{\phi_t}$ 의 균일한 하한을 활용하여 특이 해 $\psi$ 와의 비교를 통해 확보된다.
• 흐름에 따라 $\phi_t \to \phi_\infty$ 가 $X \setminus \bigcup_i C_i$ 에서 $C^\infty_{\rm loc}$ 로 수렴함을 보인다. 여기서 $C_i$ 는 음의 자기교차를 가진 곡선들이다.
• 흐름 동안 함수 $\mathcal{I}$ 와 $\mathcal{J}$ 의 단조성은 $\mathcal{J}$ 에 대한 하한을 도출하는 데 사용되며, $\mathcal{J}(\phi_0) \geq \mathcal{J}(\phi_\infty)$ 를 유도한다.

실험 결과

연구 질문

• RQ1 선다발 평균 곡률 흐름이 켈러 표면에서 어떤 조건 하에 변형 허미션–양–밀스 방정식의 비특이 해로 수렴하는가?
• RQ2 흐름이 매끄럽게 수렴하지 못하는 특이 집합의 구조는 무엇이며, 기하학적으로 어떻게 특징지어지는가?
• RQ3 흐름을 통해 초임계 잠재 함수 공간 위의 켐프-네스 유형 함수에 대해 날카운 하한을 도출할 수 있는가?
• RQ4 준양성 조건 $\cot\widehat{\Theta}\alpha + \widehat{F} \geq 0$ 이 흐름의 극한 행동에 어떤 영향을 미치는가?
• RQ5 열화된 복소 몽헤–암페르 방정식과 복소 다항형 이론을 포함한 $J$-흐름의 기법들이 LBMCF로 얼마나 넓게 확장되는가?

주요 결과

• 흐름은 $X \setminus \bigcup_i C_i$ 에서 $C^\infty_{\rm loc}$ 로 매끄럽게 수렴하며, 유계한 극한 $\phi_\infty$ 를 갖는다. 여기서 $C_i$ 는 유한한 수의 음의 자기교차를 가진 곡선들이다.
• 극한 $\phi_\infty$ 는 $X \setminus \bigcup_i C_i$ 에서 변형 허미션–양–밀스 방정식 $\mathrm{Im}\big(e^{-\sqrt{-1}\widehat{\Theta}}(\alpha + \sqrt{-1}F_{\phi_\infty})^2\big) = 0$ 을 만족한다.
• 특이성이 곡선 $C_i$ 에서 발생하더라도 전체 표면 $X$ 에서의 수렴 $F_{\phi_t} \to F_{\phi_\infty}$ 는 현재의 의미에서 성립한다.
• 함수 $\mathcal{I}(\phi_t)$ 는 단조 감소하며 유계이므로, 초기 자료 $\phi_0$ 에 의해 유일하게 결정되는 극한 $m$ 으로 수렴한다.
• 함수 $\mathcal{J}(\phi_t)$ 도 단조 감소하며, 이는 $\mathcal{J}(\phi_0) \geq \mathcal{J}(\phi_\infty)$ 를 유도한다. 여기서 $\mathcal{J}(\phi_\infty)$ 는 $\mathcal{H}_{\rm HC}$ 내의 초기 자료 선택과 무관하다.
• 극한 $\phi_\infty$ 는 $\mathcal{I}(\phi_\infty) = m$ 을 만족하는 열화된 복소 몽헤–암페르 방정식의 유일한 해이며, 부분수열을 취하지 않고도 수렴이 성립한다.