[논문 리뷰] Conformally Einstein-Maxwell Kähler metrics and structure of the automorphism group

Akito Futaki, Hajime Ono|arXiv (Cornell University)|2017. 08. 07.

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

한 줄 요약

이 논문은 conformally Einstein-Maxwell Kähler 다양체의 자기동형군에 대해 재수축 정리를 확장하여 Lichnerowicz-Matsushima 정리의 일반화를 제시한다. Donaldson-Fujiki 프레임워크에서 Calabi 기능의 헤시안 공식을 사용하여, 해석적 벡터장의 축소된 리 대수는 재수축됨을 증명하며, 이는 Calabi의 극값 Kähler 메트릭에 대한 구조 정리를 conformally Einstein-Maxwell 설정으로 일반화한 것이다. 또한 CP²의 한 점 블로우업에서의 명시적 예제도 제시한다.

ABSTRACT

Let $(M,g)$ be a compact Kähler manifold and $f$ a positive smooth function such that its Hamiltonian vector field $K = J\mathrm{grad}_g f$ for the Kähler form $ω_g$ is a holomorphic Killing vector field. We say that the pair $(g,f)$ is conformally Einstein-Maxwell Kähler metric if the conformal metric $ ilde g = f^{-2}g$ has constant scalar curvature. In this paper we prove a reductiveness result of the reduced Lie algebra of holomorphic vector fields for conformally Einstein-Maxwell Kähler manifolds, extending the Lichnerowicz-Matsushima Theorem for constant scalar curvature Kähler manifolds. More generally we consider extensions of Calabi functional and extremal Kähler metrics, and prove an extension of Calabi's theorem on the structure of the Lie algebra of holomorphic vector fields for extremal Kähler manifolds. The proof uses a Hessian formula for the Calabi functional under the set up of Donaldson-Fujiki picture.

연구 동기 및 목표

• 해석적 벡터장의 재수축성에 관한 Lichnerowicz-Matsushima 정리를 conformally Einstein-Maxwell Kähler 다양체로 확장하는 것.
• Killing 잠재함수와 관련된 f-extremal 메트릭 설정으로, 극값 Kähler 메트릭에 대한 Calabi의 구조 정리를 일반화하는 것.
• Donaldson-Fujiki 그림에서 Calabi 기능의 헤시안 공식을 수립하여, 등각 변형 하에서 임계점 분석이 가능하도록 하는 것.
• CP²의 한 점 블로우업 및 기타 복소 표면에서 f-extremal Kähler 메트릭의 명시적 구성 방법을 제공하는 것.
• 경계 조건과 양성 조건에서 유도된 계수에 대한 대수적 조건을 통해 메트릭 안자수의 해 공간을 특성화하는 것.

제안 방법

• Calabi 기능을 기술하고 등각 변형 하에서 스칼라 곡률의 일阶 변위를 계산하기 위해 Donaldson-Fujiki 그림을 채택한다.
• Wang [29]와 제1저자의 이전 연구 [14]의 기법을 활용하여 conformally Einstein-Maxwell 설정에 적합하게 조정된, Calabi 기능의 헤시안 공식을 유도한다.
• f-extremal Kähler 메트릭의 개념을 도입하여, 이는 해석적 벡터장의 해밀토니안 함수인 f에 의해 일반화된 극값 Kähler 메트릭의 일반화이다.
• Kähler-Ricci 솔리톤과 Sasaki-Einstein 메트릭과 유사한 체적 최소화의 변분 접근법을 활용하여 임계점을 식별한다.
• CP²의 한 점 블로우업에서 메트릭 계수 (A, B, c, d, e)의 대수적 방정식계를 매개변수 a, b, m에 따라 풀어 명시적 예를 구성한다.
• 레마 4.1을 적용하여, 메트릭 함수 Ψ(t)가 (a,b)에서 양성임을 확인함으로써 메트릭이 잘 정의되고 양의 정부호임을 보장한다.

실험 결과

연구 질문

• RQ1 conformally Einstein-Maxwell Kähler 다양체에서 해석적 벡터장의 축소된 리 대수는 여전히 재수축되는가? 이는 Lichnerowicz-Matsushima 정리를 일반화하는가?
• RQ2 극값 Kähler 다양체의 자기동형군에 대한 Calabi의 구조 정리는 f-extremal 설정으로 일반화될 수 있는가?
• RQ3 conformally Einstein-Maxwell 메트릭에 대해 Donaldson-Fujiki 그림에서 Calabi 기능의 헤시안 구조는 어떠한가?
• RQ4 CP²의 블로우업에서 양의 정부호 f-extremal Kähler 메트릭을 얻기 위한 메트릭 계수에 대한 명시적 조건은 무엇인가?
• RQ5 명시적 구성에서 등각 인자 Ψ(t)의 양성과 경계 행동은 어떻게 분석적으로 검증할 수 있는가?

주요 결과

• conformally Einstein-Maxwell Kähler 다양체에서 해석적 벡터장의 축소된 리 대수는 재수축되며, 이는 Lichnerowicz-Matsushima 정리를 일반화한다.
• Donaldson-Fujiki 설정에서 Calabi 기능의 헤시안 공식이 유도되었으며, 이는 등각 변형 하에서 임계점 분석이 가능하게 한다.
• CP²의 한 점 블로우업에서 f-extremal Kähler 메트릭의 명시적 해가 계수 A, B, c, d, e를 매개변수 a, b, m에 따라 parameter화하여 구성되었다.
• B=0일 때, A=0, c=−4(m−1)(2m−3)/(b−a), d=−4(a+b)(m−1)(2m−1)/(b−a), e=4abm(2m−1)/(b−a)를 얻으며, Ψ(t)=−2(t−a)(t−b)/(b−a) >0 on (a,b)이다.
• a=1, b=2일 때, 계수 A, B, c, d, e는 m에 따라 명시적으로 계산되며, 레마 4.1을 통해 Ψ(t)가 (1,2)에서 양성임이 입증된다.
• (a,b)에서 Ψ(t)의 양성은 조건 αδ>0와 f′(t)/t가 최대 두 개의 영점을 가짐을 고려할 때, 임의의 부가적인 임계점이 존재하지 않음을 보장한다.