[논문 리뷰] Ambitoric geometry I: Einstein metrics and extremal ambikaehler structures

Vestislav Apostolov, David M. J. Calderbank외 1명|arXiv (Cornell University)|2013. 02. 27.

Geometry and complex manifolds참고 문헌 15인용 수 11

한 줄 요약

이 논문은 4차원 다양체 위에 공통의 토러스 작용을 가진, 동일한 conformal 구조를 가진 반대 방향의 켈러 계량을 갖는 앰비토릭 구조의 국소 분류를 제시한다. 이는 이차 다항식 $ q $ 와 한 변수 함수 $ A, B $ 를 통해 이루어지며, 이 틀 안에서 에인슈타인 계량과 극값 켈러 계량을 분류한다. 이들은 배치 텐서가 0이 되는 경우에 나타나며, 펠바ński–데미아니스 계량의 리만 기하학적 유사체를 포함한 새로운 예의 명시적 구성이 가능하다.

ABSTRACT

We present a local classification of conformally equivalent but oppositely oriented 4-dimensional Kaehler metrics which are toric with respect to a common 2-torus action. In the generic case, these "ambitoric" structures have an intriguing local geometry depending on a quadratic polynomial q and arbitrary functions A and B of one variable. We use this description to classify Einstein 4-metrics which are hermitian with respect to both orientations, as well a class of solutions to the Einstein-Maxwell equations including riemannian analogues of the Plebanski-Demianski metrics. Our classification can be viewed as a riemannian analogue of a result in relativity due to R. Debever, N. Kamran, and R. McLenaghan, and is a natural extension of the classification of selfdual Einstein hermitian 4-manifolds, obtained independently by R. Bryant and the first and third authors. These Einstein metrics are precisely the ambitoric structures with vanishing Bach tensor, and thus have the property that the associated toric Kaehler metrics are extremal (in the sense of E. Calabi). Our main results also classify the latter, providing new examples of explicit extremal Kaehler metrics. For both the Einstein-Maxwell and the extremal ambitoric structures, A and B are quartic polynomials, but with different conditions on the coefficients. In the sequel to this paper we consider global examples, and use them to resolve the existence problem for extremal Kaehler metrics on toric 4-orbifolds with second betti number b2=2.

연구 동기 및 목표

• 4차원 다양체 위의 앰비토릭 구조에 대한 국소 분류를 제공함: 공통의 토러스 작용을 가진, 동일한 conformal 구조를 가진 반대 방향의 켈러 계량 쌍으로 정의됨.
• 두 복소構조에 대해 헤르미트인 에인슈타인 계량을 특성화함. 이는 앰비토릭 틀 안에서 배치 텐서가 0이 되는 경우에 나타남.
• 자기쌍대 에인슈타인 헤르미트 계량에 대한 이전 결과를 일반화하여, 극값 켈러 계량을 배치 텐서가 0이 되는 앰비토릭 구조로 식별함으로써 분류를 확장함.
• 함수 $ A $ 와 $ B $ 에 특정한 다항식 조건을 도입함으로써 에인슈타인–맥스웰 해와 극값 켈러 계량의 명시적 예를 구성함.
• 후속 논문에서 다루는 $ b_2 = 2 $ 인 토릭 4-오비폴드에서의 전역 존재 결과를 위한 기초를 마련함.

제안 방법

• 모멘타 좌표 $ x, y $ 를 이용한 국소 좌표계를 도입하여, 앰비토릭 구조를 이차 다항식 $ q $ 와 한 변수 함수 $ A(x), B(y) $ 로 이끄는 시스템으로 환원함.
• 해밀토니안 2-형식과 칼링 텐서 이론을 적용하여 대칭적 $ J $-불변 텐서를 특성화하고, 이를 앰비토릭 계량의 기하학과 연결함.
• 배치 텐서 조건을 핵심 기준으로 활용: 배치 텐서가 0이면 앰비토릭 구조는 conformally 에인슈타인이며, 이에 대응하는 켈러 계량은 극값이 됨.
• 계량 $ g = h(x,y)g_0 $ 가 비자명한 대칭 칼링 텐서를 가질 조건을 유도하기 위해 $ h_{xy} = 0 $ 을 요구함으로써 $ h $ 가 $ F(x) - G(y) $ 로 제한됨.
• 리치 텐서와 켈러 형식 $ heta_ ho $ 간의 관계를 이용하여 대각선 리치 텐서를 갖는 계량을 특성화함으로써, $ h = (x-y)q/p^2 $ 의 유리함수 형태를 도출함.
• 배치 텐서가 0이 되는 조건 $ Q(p) = 0 $ (여기서 $ Q $ 는 $ p $ 에 대한 이차형식) 을 적용하여, 대각선 리치 텐서와 비자명한 칼링 텐서를 동시에 갖는 계량을 식별함. 이 경우 $ p $ 는 중복근을 가져야 함.

실험 결과

연구 질문

• RQ1 공통의 토러스 작용을 가진 앰비토릭 4차원 다양체의 국소 구조는 어떻게 되며, 기하학적 자료를 통해 어떻게 매개화할 수 있는가?
• RQ2 어떤 앰비토릭 구조가 두 복소구조에 대해 헤르미트인 에인슈타인 계량을 유도하는가?
• RQ3 앰비토릭 틀 안에서 극값 켈러 계량은 어떻게 특성화하고 구성할 수 있는가?
• RQ4 리만 기하학적 설정에서 에인슈타인–맥스웰 방정식의 해를 얻기 위해 함수 $ A $ 와 $ B $ 에 어떤 조건이 필요한가?
• RQ5 앰비토릭 conformal 클래스에 속한 계량이 비자명한 대칭 칼링 텐서를 갖는 조건은 무엇인가?

주요 결과

• 앰비토릭 구조는 국소적으로 이차 다항식 $ q $ 와 함수 $ A(x), B(y) $ 로 매개화되며, 계량과 복소구조는 이러한 자료에 의해 결정됨.
• 두 방향에 대해 헤르미트인 에인슈타인 계량은 정확히 배치 텐서가 0일 때 나타나며, 이러한 계량은 conformally 에인슈타인이면서 극값 켈러 기하학을 갖는다.
• 에인슈타인–맥스웰 및 극값 앰비토릭 구조의 경우 함수 $ A $ 와 $ B $ 는 둘 다 4차 다항식이지만, 계수 제약 조건이 다름.
• 앰비토릭 클래스 내에서 대각선 리치 텐서를 갖는 계량은 $ g = h(x,y)g_0 $ 의 형태이며, $ h = (x-y)q(x,y)/p(x,y)^2 $ 이고, 비자명한 칼링 텐서를 갖는다. 이는 $ Q(p) = 0 $ 이면 성립함.
• 만약 $ Q(q) > 0 $ 이면 일반적으로 $ p $ 에 대해 두 해가 존재하며, $ Q(q) = 0 $ 이면 두 해가 일치하여 특수한 경우로 간주됨.
• 바리센트릭 계량 $ g_0 $ 는 $ \theta^0_+ + \theta^0_- = 0 $ 을 만족하며, 대칭 텐서 $ g_0(I\cdot,\cdot) $ 는 $ g_0 $ 에 대해 칼링 텐서임. 여기서 $ I = J_+ \circ J_- $.