[논문 리뷰] Mabuchi metrics and properness of the modified DING functional

Yan Li, Bin Zhou|arXiv (Cornell University)|2017. 09. 10.

Geometry and complex manifolds참고 문헌 22인용 수 9

한 줄 요약

이 논문은 Fano 다양체 위에서 Mabuchi 메트릭의 존재성을 보장하는 적절성 기준을 설정한다. 이를 위해 수정된 Ding 기능의 적절성(properness)이 자동군의 재수정 부분군에 대해 모odulo화된 조건과 Mabuchi 메트릭 존재성 간의 연결 고리를 제공한다. 만약 수정된 Ding 기능이 극단적 벡터장에 의해 생성되는 일파라미터 군을 포함하는 재수정 부분군에 대해 적절하다면, 그리고 임계 값 $ c_X > 0 $ 이라면, Mabuchi 메트릭이 존재함을 증명한다. 반대로, Mabuchi 메트릭이 존재한다면, 수정된 Ding 기능이 전체 자동군에 대해 적절하다는 것을 의미하며, 이는 Darvas-Rubinstein의 적절성 원리가 이 설정으로 확장된 것이다.

ABSTRACT

In this paper, we study Mabuchi metrics on Fano manifolds. We prove that Mabuchi metrics exist if the modified Ding functional is proper modulo a reductive subgroup of its automorphism group. On the other hand, the inverse that Mabuchi metrics implies the properness is obtained by using Darvas-Rubinstein's properness principle. As an application, we establish a criterion for the existence of Mabuchi metrics on Fano group compactifications.

연구 동기 및 목표

• Fano 다양체 위에서 Mabuchi 메트릭 존재성을 위한 적절성 기준을 수립함으로써, 켈러-아인슈타인 및 극단적 메트릭 문제에서 사용된 분석적 접근을 확장한다.
• 수정된 Ding 기능의 적절성과 Mabuchi 메트릭 존재성 간의 관계, 특히 군 작용 하에서의 관계를 명확히 한다.
• 자기군의 재수정 부분군에 대해 수정된 Ding 기능의 적절성 조건을 이용하여 Mabuchi 메트릭 존재의 충분조건을 제시한다.
• 역방향을 증명한다: Mabuchi 메트릭이 존재하면, 수정된 Ding 기능이 자동군에 대해 적절하다는 것을 보이며, Darvas-Rubinstein의 적절성 원리를 이 설정으로 확장한다.

제안 방법

• 논문은 경로 적분을 통한 정의를 통해 수정된 Ding 기능 $ \mathcal{D}_X(\phi) $ 를 도입하며, 이는 $ \mathcal{H}_X(\omega_0) $ 위에서 정의되며, 정규화된 잠재함수 $ \theta_X(\omega_\phi) $ 와 리치 잠재함수 $ h_0 $ 를 포함한다.
• $ c_X = \min_M \{1 - \theta_X(\omega_\phi)\} $ 와 $ C_X = \max_M \{1 - \theta_X(\omega_\phi)\} $ 를 정의하고, Mabuchi 메트릭이 존재하기 위해 $ c_X > 0 $ 가 필수적임을 보인다.
• Darvas-Rubinstein의 적절성 원리를 수정된 Ding 기능에 적용하여, 재수정 부분군 $ H^c \supseteq K_X $ 에 대해 적절성이 보장되면 Mabuchi 메트릭이 존재함을 증명한다.
• 복소 맨게-암페르 유형 방정식을 포함하는 연속 경로 $ \phi_t $ 를 사용하며, $ (1 - \theta_X(\omega_{\phi_t}))^t $ 를 포함한다. 이를 통해 $ C^0 $ 와 $ C^2 $ 의 사전 추정을 확립하여 해 집합의 열림과 닫힘을 증명한다.
• $ C^0 $-추정은 맨게-암페르 방정식을 적분하고 $ J_t(\phi_t) $ 를 $ c_X $ 와 $ C_X $ 를 이용해 유계화함으로써 이루어지며, 이는 $ \phi_t $ 에 대한 균일한 $ L^\infty $ 유계성을 보장한다.
• 고차원 추정은 표준 비선형 타원형 이론에 따라 유도되며, 연속성 방법을 통한 Mabuchi 메트릭 방정식 해 존재성 증명을 완성한다.

실험 결과

연구 질문

• RQ1 Fano 다양체 위에서 Mabuchi 메트릭이 존재하기 위해 수정된 Ding 기능이 어떤 조건을 만족해야 하는가?
• RQ2 재수정 부분군에 대해 수정된 Ding 기능의 적절성이 Mabuchi 메트릭 존재에 충분한가?
• RQ3 Mabuchi 메트릭이 존재하면, 수정된 Ding 기능이 자동군에 대해 적절하다는 것을 의미하는가?
• RQ4 임계 값 $ c_X = \min_M \{1 - \theta_X(\omega_\phi)\} $ 는 Mabuchi 메트릭 존재에 어떤 제약을 끼치는가?
• RQ5 연속성 방법을 수정된 Ding 기능에 적용하여 Mabuchi 메트릭 존재성을 증명할 수 있는가?

주요 결과

• 수정된 Ding 기능 $ \mathcal{D}_X(\phi) $ 는 재수정 부분군 $ H^c \subseteq \mathrm{Aut}_0(M) $ 에 대해 $ K_X $ 를 포함하는 경우에만 $ c_X > 0 $ 이고 기능이 적절성 조건을 만족할 때, 그리고 그 때에만 적절하다.
• 수정된 Ding 기능이 재수정 부분군 $ H^c $ 에 대해 적절하다면, Fano 다양체는 Mabuchi 메트릭을 가진다.
• Mabuchi 메트릭이 존재하면, Darvas-Rubinstein의 적절성 원리를 통해 수정된 Ding 기능이 전체 자동군 $ \mathrm{Aut}_0(M) $ 에 대해 적절하다는 것을 의미한다.
• 연속 경로 $ \phi_t $ 에 대한 $ C^0 $-추정은 균일하며, 오직 $ c_X $ 와 $ C_X $ 에 의존한다. 즉, 어떤 균일한 $ C $ 가 존재하여 $ |\phi_t| \leq C $ 를 만족한다.
• $ C^2 $-추정은 라플라스 비교 논리에 의해 확립되며, 균일한 상수 $ C, c $ 에 대해 $ n + \Delta_{\omega_0}\phi \leq C e^{c(\phi - \inf \phi)} $ 를 만족함으로써 해 집합이 닫혀 있음을 보장한다.
• 연속성 방법은 성공적으로 완료된다: 해 집합은 열려 있고 닫혀 있으므로, $ t = 1 $ 에서 해가 존재하며, 이는 Mabuchi 메트릭에 해당한다.