[논문 리뷰] Tan-concavity property for Lagrangian phase operators and applications to the tangent Lagrangian phase flow

Ryosuke Takahashi|arXiv (Cornell University)|2020. 02. 12.

Geometry and complex manifolds참고 문헌 28인용 수 6

한 줄 요약

이 논문은 캄프랙트 복소다양체 위의 거의 캘리브레이티드 (1,1)-형식에 대한 새로운 포물선 흐름인 탄젠트 라그랑주 단계 흐름(TLPF)을 도입한다. 이 흐름은 데포메드 허미티안 양밀스(dHYM) 방정식에서 관측되지 않는 볼록성의 부족을 극복하기 위해 라그랑주 단계 연산자의 새로운 '탄젠트 볼록성(tan-concavity)' 성질을 사용한다. $C$-하위해가 존재할 경우 TLPF는 모든 시간에 대해 존재하고 부드럽게 dHYM 메트릭으로 수렴함을 보이며, 이는 최고 분⽀에서 dHYM 메트릭의 존재에 대한 새로운 증명을 제공한다.

ABSTRACT

We explore the tan-concavity of the Lagrangian phase operator for the study of the deformed Hermitian Yang-Mills (dHYM) metrics. This new property compensates for the lack of concavity of the Lagrangian phase operator as long as the metric is almost calibrated. As an application, we introduce the tangent Lagrangian phase flow (TLPF) on the space of almost calibrated $(1,1)$-forms that fits into the GIT framework for dHYM metrics recently discovered by Collins-Yau. The TLPF has some special properties that are not seen for the line bundle mean curvature flow (i.e. the mirror of the Lagrangian mean curvature flow for graphs). We show that the TLPF starting from any initial data exists for all positive time. Moreover, we show that the TLPF converges smoothly to a dHYM metric assuming the existence of a $C$-subsolution, which gives a new proof for the existence of dHYM metrics in the highest branch.

연구 동기 및 목표

• 데포메드 허미티안 양밀스(dHYM) 방정식의 표준 타원적 정규성 이론 적용을 방해하는 라그랑주 단계 연산자의 볼록성 부족 문제를 해결하기 위해.
• 최근 콜린스-요우가 제안한 dHYM 메트릭의 GIT 접근법과 호환되는 포물선 흐름 프레임워크를 개발하기 위해.
• C-하위해가 존재할 경우 TLPF의 장기 존재성과 부드러운 수렴을 dHYM 메트릭으로 보장하기 위해.
• 이전 접근법과 독립적인 분석적 증명을 통해 최고 분⽀에서 dHYM 메트릭의 존재를 보장하기 위해.

제안 방법

• 함수 $ f = \tan(\theta - \widehat{\Theta}) $의 탄젠트 볼록성 성질을 도입한다. 여기서 $ \theta $는 라그랑주 단계 연산자이며, $ \theta \in ((n-1)\frac{\pi}{2}, n\frac{\pi}{2}) $ 조건 하에 $ \mathcal{S} $에서 $ |\theta - \widehat{\Theta}| < \pi/2 $ 인 영역에서 이 함수가 볼록함을 보인다.
• 탄젠트 라그랑주 단계 흐름(TLPF)을 거의 캘리브레이티드 (1,1)-형식의 공간 위의 포물선 흐름으로 정의한다. 이는 단계 연산자의 역함수를 포함하는 흐름 방정식을 통해 캘리브레이션 포텐셜 $ \phi_t $ 를 진화시킨다.
• 유도 에너지와 부피 함수의 단조성 공식을 수립하여 흐름의 진화를 통제하고 폭발을 방지한다.
• 붕괴 증명과 컴팩턴스를 이용하여 TLPF의 장기 존재성을 증명한다. 이는 유한 시간 내에 특이점이 발생하지 않음을 보여준다.
• C²-추정과 미분 하르낙 부등식을 기반으로 한 부트스트랩 방법을 통해 모든 $ k \geq 0 $ 에 대해 균일한 $ C^k $ 추정을 유도한다.
• 시간 도함수 $ \frac{d}{dt}\phi_t \to 0 $ 가 지수적으로 빠르게 감소함을 보여, 도함수의 진동 감소와 극한의 유일성에 기반하여 흐름이 $ C^\infty $-수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 라그랑주 단계 연산자의 볼록성 부족은 거의 캘리브레이티드 영역에서 새로운 기하적 성질을 통해 보완될 수 있는가?
• RQ2 단계 차이의 탄젠트, 즉 $ \tan(\theta - \widehat{\Theta}) $ 를 기반으로 한 포물선 흐름은 장기 존재성과 dHYM 메트릭으로의 수렴을 보장하는가?
• RQ3 TLPF는 dHYM 메트릭의 GIT 프레임워크에 맞게 구성될 수 있으며, 선형선형 평균 곡률 흐름과는 다른 고유한 역학적 성질을 갖는가?
• RQ4 TLPF가 어떤 조건에서 부드럽게 dHYM 메트릭으로 수렴하는가? 그리고 이는 최고 분지에서의 존재성에 대한 대체 증명을 제공할 수 있는가?
• RQ5 시간 도함수 $ \phi_t $ 의 지수적 감쇠는 $ C^\infty $-수렴을 보장하는 데 충분한가?

주요 결과

• 함수 $ \tan(\theta - \widehat{\Theta}) $ 는 집합 $ \mathcal{S} = \{ \lambda \in \mathbb{R}^n \mid |\theta(\lambda) - \widehat{\Theta}| < \pi/2 \} $ 에서 볼록함을 보이며, 이는 $ \widehat{\Theta} \in ((n-1)\frac{\pi}{2}, n\frac{\pi}{2}) $ 일 때 라그랑주 단계 연산자에 대한 '탄젠트 볼록성' 성질을 확립한다.
• 탄젠트 라그랑주 단계 흐름(TLPF)은 모든 양의 시간에 대해 존재하며, 특이점 없이 지속되며, 국소 $ C^{1,\beta} $-노름에서의 붕괴 증명과 컴팩턴스에 의해 보여진다.
• C-하위해가 존재할 경우 TLPF는 $ C^\infty $-위상에서 dHYM 메트릭 $ \phi_\infty $ 로 부드럽게 수렴한다.
• 시간 도함수 $ \frac{d}{dt}\phi_t $ 는 지수적으로 빠르게 감쇠한다: $ \operatorname{osc}_X \frac{d}{dt}\phi(\cdot,t) \leq C_1 e^{-C_2 t} $, 이는 $ \frac{d}{dt}\phi_t \to 0 $ 이 $ C^0 $ 수렴을 보장하며 수렴을 보장한다.
• 극한 $ \phi_\infty $ 는 dHYM 방정식 $ \Theta(A[\phi_\infty]) = \widehat{\Theta} \mod 2\pi $ 를 만족하며, 이는 그것이 해임을 확인한다.
• 균일한 고차 추정과 시간 도함수의 감쇠 덕분에 수렴은 $ C^\infty $-부드럽고, dHYM 메트릭의 유일성에 의해 극한은 유일하게 결정된다.