[논문 리뷰] Conformally Kähler, Einstein--Maxwell metrics and boundedness of the modified Mabuchi-functional

Abdellah Lahdili|arXiv (Cornell University)|2017. 09. 30.

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

한 줄 요약

이 논문은 컴act한 극화된 복소다양체에서 conformally Kähler, Einstein–Maxwell (cKEM) 계량 또는 일반적으로 $(\xi,a,p)$-스칼라 곡률이 일정한 켈러 계량이 존재하면 $(\xi,a,p)$-Mabuchi 함수가 최소화됨을 증명한다. 증명은 유한차원 근사와 일반화된 균형 잡힌 계량을 사용하며, Donaldson, Li, Sano–Tipler의 기법을 확장하고, 이를 기하학적으로 룰링된 표면에서 성질이 >2인 경우에 적용하여 cKEM 계량을 갖는 켈러 계급을 완전히 특성화한다.

ABSTRACT

We prove that if a compact smooth polarized complex manifold admits in the corresponding Hodge Kähler class a conformally Kähler, Einstein--Maxwell metric, or more generally, a Kähler metric of constant $(ξ, a, p)$-scalar curvature, then this metric minimizes the $(ξ,a,p)$-Mabuchi functional. Our method of proof extends the approach introduced by Donaldson and developed by Li and Sano--Tipler, via finite dimensional approximations and generalized balanced metrics. As an application of our result and the recent construction of Koca--Tønnesen-Friedman, we describe the Kähler classes on a geometrically ruled complex surface of genus greater than 2, which admit conformally Kähler, Einstein-Maxwell metrics.

연구 동기 및 목표

• cKEM 계량을 포함한 $(\xi,a,p)$-스칼라 곡률이 일정한 켈러 계량에 대해 $(\xi,a,p)$-Mabuchi 함수의 최소화를 확립하는 것.
• Donaldson, Li, Sano–Tipler의 분석적 접근을 cKEM 및 일반화된 $(\xi,a,p)$-스칼라 곡률 설정으로 확장하는 것.
• 성질이 >2인 기하학적으로 룰링된 복소표면에서 conformally Kähler, Einstein–Maxwell 계량을 갖는 켈러 계급을 특성화하는 것.
• $(\xi,a,p)$-Mabuchi 함수의 유계성 분석을 통해 이러한 계량의 존재성 및 비존재성을 해결하는 것.

제안 방법

• 켈러 포텐셜의 공간에 대한 유한차원 근사를 사용하여 $(\xi,a,p)$-Mabuchi 함수를 연구한다.
• 근사 체계에서 핵심 기술 도구로 일반화된 균형 잡힌 계량을 활용한다.
• 문헌 [2, 31]에서 제안된 $(\xi,a,p)$-스칼라 곡률의 프레임워크를 적용하여, 스칼라 곡률, 케일링 퍼텐셜의 라플라스 연산자, 케일링 벡터장의 노름의 가중 조합으로 곡률을 정의한다.
• Mabuchi 함수의 임계점 조건을 이용하여 $(\xi,a,p)$-스칼라 곡률가 일정한 계량이 최소화자임을 식별한다.
• $(\xi,a,p)$-Mabuchi 함수가 케일링 퍼텐셜의 스케일링과 정규화에 대해 불변임을 이용한다.
• 결과를 룰링 표면에 대한 칼라비 추측에 적용하여, 프로파일 함수와 관련 다항식 $P_\kappa(z)$로 표현된 Mabuchi 함수의 유계성을 분석한다.

실험 결과

연구 질문

• RQ1 콤팩트한 극화된 복소다양체에서 conformally Kähler, Einstein–Maxwell 계량이 존재하면, 이는 $(\xi,a,p)$-Mabuchi 함수를 최소화하는가?
• RQ2 주어진 켈러 계급에서 $(\xi,a,p)$-Mabuchi 함수가 아래에서 유계일 조건은 무엇인가?
• RQ3 성질이 >2인 기하학적으로 룰링된 복소표면의 어떤 켈러 계급이 conformally Kähler, Einstein–Maxwell 계량을 갖는가?
• RQ4 $(\xi,a,p)$-Mabuchi 함수의 유계성은 $(\xi,a,p)$-스칼라 곡률가 일정한 계량의 존재성과 어떻게 관련이 있는가?
• RQ5 다항식 $P_\kappa(z)$의 부호는 이러한 계량의 존재성 또는 비존재성에 어떤 역할을 하는가?

주요 결과

• $(\xi,a,p)$-Mabuchi 함수는 $(\xi,a,p)$-스칼라 곡률가 일정한 모든 켈러 계량, cKEM 계량을 포함하여 최소화된다.
• 관련 다항식 $P_\kappa(z)$가 $(-1,1)$의 어떤 부분구간에서 음수이면 $(\xi,a,p)$-Mabuchi 함수는 아래에서 유계가 아니며, 이는 이러한 계량의 비존재를 의미한다.
• 성질이 >2인 기하학적으로 룰링된 표면의 경우, conformally Kähler, Einstein–Maxwell 계량은 정확히 $\kappa > \kappa_0(X)$인 켈러 계급 $\Omega_\kappa$에서 존재한다. 여기서 $\kappa_0(X)$는 임계 값이다.
• 반증을 통해 $\kappa \in (1, \kappa_0(X)]$일 때 cKEM 계량이 존재하지 않음을 증명한다. 이는 유리수 $\kappa$의 밀도와 함수의 해석적 계속성에 기반한다.
• 칼라비 추측 공간에 제한된 Mabuchi 함수는 $P_\kappa(z)$와 심플렉틱 포텐셜의 두 번째 도함수의 로그 차이를 포함하는 적분으로 명시적으로 표현된다.
• 다항식 $P_\kappa(z)$가 음수일 경우, 계량 공간의 특정 경로를 따라 함수가 $-\infty$로 발산하므로, 유계성이 없고 따라서 최소화자가 존재하지 않음을 확인한다.