[논문 리뷰] Volume minimization and Conformally Kähler, Einstein-Maxwell geometry

Akito Futaki, Hajime Ono|arXiv (Cornell University)|2017. 06. 24.

Geometry and complex manifolds참고 문헌 21인용 수 8

한 줄 요약

이 논문은 고정된 켈러 클래스를 가진 컴act 복소다양체 위에서, conformally Kähler, Einstein-Maxwell (cKEM) 계량을 유도하는 킬링 벡터장의 해밀턴 함수가 체적 함수기능의 임계점이 되도록 하는 체적 최소화 원리를 설정한다. 주요 결과는 이러한 계량이 존재하는 것은 정확히 함수기능의 도함수가 0이 되는 경우에 한하여 성립하며, 이는 켈러-리치 솔리톤과 시사-아인슈타인 계량에 해당하는 변분 프레임워크를 제공한다. 다만 함수기능은 볼록하거나 올바르지 않기 때문에 다수의 임계점이 존재할 수 있으며, 이는 알려진 암비토르시 구조와 일치한다.

ABSTRACT

Let $M$ be a compact complex manifold admitting a Kähler structure. A conformally Kähler, Einstein-Maxwell metric (cKEM metric for short) is a Hermitian metric $ ilde{g}$ on $M$ with constant scalar curvature such that there is a positive smooth function $f$ with $g = f^2 ilde{g}$ being a Kähler metric and $f$ being a Killing Hamiltonian potential with respect to $g$. Fixing a Kähler class, we characterize such Killing vector fields whose Hamiltonian function $f$ with respect to some Kähler metric $g$ in the fixed Kähler class gives a cKEM metric $ ilde{g} = f^{-2}g$. The characterization is described in terms of critical points of certain volume functional. The conceptual idea is similar to the cases of Kähler-Ricci solitons and Sasaki-Einstein metrics in that the derivative of the volume functional gives rise to a natural obstruction to the existence of cKEM metrics. However, unlike the Kähler-Ricci soliton case and Sasaki-Einstein case, the functional is neither convex nor proper in general, and often has more than one critical points. The last observation matches well with the ambitoric examples studied earlier by LeBrun and Apostolov-Maschler.

연구 동기 및 목표

• 고정된 켈러 클래스 내에서, 컴팩트 켈러 다양체 위의 킬링 벡터장 중에서 해밀턴 함수를 사용하여 conformally Kähler, Einstein-Maxwell (cKEM) 계량을 유도하는 것을 식별하는 것.
• 고정된 켈러 클래스 내에서, 체적 함수기능을 통한 변분 원리의 제안으로, 이 함수기능의 임계점이 cKEM 계량과 대응되도록 하는 것.
• 켈러-리치 솔리톤과 시사-아인슈타인 계량과의 유사성을 유지하기 위해, 체적 함수기능의 도함수가 cKEM 존재에 대한 자연스러운 장벽을 제공함을 보여주는 것.
• 함수기능의 비볼록성 및 비올바름성의 성질을 분석하고, 이로 인한 영향을 다루며, 이는 알려진 암비토르시 예제와 일치하는 다수의 임계점 존재를 설명한다.
• 토릭 다양체에서 cKEM 존재성에 대한 효율적인 기준을 이 체적 함수기능 접근법을 통해 제시하는 것.

제안 방법

• 체적 함수기능 $ V(Z) = \int_M e^{u_Z} \omega_g^m $ 을 정의한다. 여기서 $ u_Z $ 는 $ Z \in \mathfrak{h} $ 의 해밀턴 함수이며, $ \int_M u_Z e^{h_g} \omega_g^m = 0 $ 을 통해 정규화한다. $ \omega_g $ 는 고정된 켈러 클래스에 속한다.
• 함수기능 $ V $ 의 도함수 $ dV_X(Y) $ 가 cKEM-Futaki 불변량 $ F_X $ 와 비례함을 보여, 즉 $ dV_X(Y) = c \cdot F_X(Y) $ 를 유도함으로써, 임계점에서 $ F_X = 0 $ 이 됨을 의미한다.
• 함수기능 $ V $ 가 고정된 켈러 클래스 내의 $ \omega_g $ 의 선택에 관계없이 불변임을 증명함으로써, 켈러 대표자 간의 일관성을 확보한다.
• 함수기능을 통해 cKEM 계량을 임계점으로 특성화함으로써, 켈러-리치 솔리톤 및 시사-아인슈타인 설정에서 사용된 변분 접근법을 일반화한다.
• 토릭 다양체에 이 방법을 적용하여, 모멘트 맵 다각형에서의 명시적 계산을 통해 함수기능 $ V $ 의 임계점이 cKEM 계량과 대응됨을 보인다.
• 특정 예제를 분석하여, $ \mathbb{C}P^1 \times \mathbb{C}P^1 $ 과 $ \mathbb{C}P^2 $ 의 블로우업에서 $ \partial V^2 / \partial a = \partial V^2 / \partial b = 0 $ 을 풀어 네 개의 해 가중족을 도출한다.

실험 결과

연구 질문

• RQ1 고정된 켈러 클래스 내에서, 컴팩트 켈러 다양체 위의 어떤 킬링 벡터장이 해밀턴 함수로 사용되었을 때 conformally Kähler, Einstein-Maxwell 계량을 유도하는가?
• RQ2 cKEM 계량의 존재는 어떤 변분 원리로 특성화될 수 있으며, 체적 함수기능은 이 특성화에서 어떤 역할을 하는가?
• RQ3 왜 체적 함수기능은 볼록하거나 올바르지 않은가? 이 성질은 임계점의 수와 다수의 cKEM 해 존재에 어떤 영향을 미치는가?
• RQ4 체적 최소화 프레임워크를 사용하여, 특히 볼록 사각형 모양의 모멘트 맵 영역을 가진 토릭 다양체에서 cKEM 계량을 체계적으로 결정할 수 있는가?
• RQ5 체적 함수기능의 임계점은 LeBrun의 암비토르시 계량이나 Apostolov-Maschler의 결과에 해당하는 알려진 예제와 대응되는가?

주요 결과

• cKEM 계량이 존재하는 것은 정확히 킬링 벡터장 $ X $ 가 체적 함수기능 $ V $ 의 임계점이 되는 경우에 한하여 성립하며, $ V $ 의 도함수는 cKEM-Futaki 불변량과 비례한다.
• 체적 함수기능 $ V $ 는 고정된 켈러 클래스 내에서 켈러 계량 $ g $ 의 선택에 관계없이 불변이므로, 이 특성화의 강건성을 보장한다.
• 함수기능은 일반적으로 볼록하거나 올바르지 않으며, 이는 다수의 임계점 존재를 설명한다. 이는 암비토르시 예제에서 다수의 cKEM 계량 존재와 일치한다.
• $ \mathbb{C}P^1 \times \mathbb{C}P^1 $ 에서는 $ \partial V^2 / \partial a = \partial V^2 / \partial b = 0 $ 의 해를 네 가닥의 가중족으로 식별하였으며, 이 중 두 가닥($ (3) $ 및 $ (4) $) 은 $ 0 < p < \alpha_q $ 에서 실수 해를 가지며, 이는 $ U(1) \times U(1) $ 대칭을 가지는 잠재적인 새로운 cKEM 계량을 시사한다.
• Case (1) 에서 $ b = 0 $ 이면 LeBrun의 $ U(2) $ 대칭 구조와 일치하며, 이 경우 $ b = 0 $ 인 유일한 케이스이므로 이 대칭 해의 유일성에 대한 단서를 제공한다.
• 함수기능의 임계점은 $ U(1) \times U(1) $ 대칭을 가지는 해를 포함하며, 본 논문은 이러한 해가 $ 0 < p < \alpha_q $ 에서 존재할 수 있음을 추측하지만, 존재성은 아직 미해결이다.