[논문 리뷰] Ambikaehler geometry, ambitoric surfaces and Einstein 4-orbifolds

Vestislav Apostolov, David M. J. Calderbank외 1명|arXiv (Cornell University)|2010. 10. 05.

Geometry and complex manifolds참고 문헌 26인용 수 4

한 줄 요약

이 논문은 공통의 토러스 작용을 가진 4차원 다양체 위에서 서로 동치이지만 반대 방향으로 정렬된 켈러 계량의 국소적 분류를 제공하며, 기하학이 이차 다항식과 한 변수의 임의의 두 함수에 의해 지배됨을 드러낸다. 계량이 극값일 경우 명시적으로 4차 다항식이 된다. 주요 기여는, 양 방향에 대해 허미션으로서의 아인슈타인 4-오비폴드의 명시적 국소 기하학적 기술이며, 이는 이전의 자기 dual 아인슈타인 허미션 다양체 연구를 확장하여, 무한한 수의 컴act 토릭 극값 켈러 오비폴드를 제공한다.

ABSTRACT

We give an explicit local classification of conformally equivalent but oppositely oriented Kaehler metrics on a 4-manifold which are toric with respect to a common 2-torus action. In the generic case, these structures have an intriguing local geometry depending on a quadratic polynomial and two arbitrary functions of one variable, these two functions being explicit degree 4 polynomials when the Kaehler metrics are extremal (in the sense of Calabi). One motivation for and application of this result is an explicit local description of Einstein 4-manifolds which are hermitian with respect to either orientation. This can be considered as a riemannian analogue of a result in General 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. We discuss toric compactifications of these metrics on orbifolds and provide infinite discrete families of compact toric extremal Kaehler orbifolds. Our examples include Bach-flat Kaehler orbifolds which are conformal to complete smooth Einstein metrics on an open subset. We illustrate how these examples fit with recent conjectures relating the existence of extremal toric metrics to various notions of stability.

연구 동기 및 목표

• 공통의 2차원 토러스 작용을 가진 4차원 다각체 위에서 서로 동치이지만 반대 방향으로 정렬된 켈러 계량의 분류.
• 이러한 구조의 국소 기하학적 기술을 이차 다항식과 한 변수의 두 임의의 함수로 제공.
• 분류를 적용하여, 어느 방향에 대해서도 허미션으로서의 아인슈타인 4-오비폴드의 명시적 예를 생성.
• 토릭 컴actsification을 통해 국소 해에서 유한한 이산 가족의 컴팩트 토릭 극값 켈러 오비폴드를 생성.
• 최근의 추측들을 바탕으로, 극값 토릭 계량의 존재성과 안정성 개념을 연결.

제안 방법

• 한 변수의 두 함수를 포함하는 상미분방정식과 편미분방정식의 체계로 문제를 단순화하기 위해 토릭 대칭성의 활용.
• 이차 다항식과 두 임의의 함수를 사용한 국소 켈러 계량의 구성으로, 극값의 경우 명시적인 4차 형태를 제공.
• 암비켈러 형식을 활용하여, 동치인 켈러 구조 간의 반대 방향 정렬을 연결.
• 암비켈러 설정에서 아인슈타인 조건을 유도하여, 두 함수를 제약하는 방정식 체계를 도출.
• 토릭 컴팩트리피케이션 기법을 사용하여 국소 해에서 컴팩트 오비폴드 예를 생성.
• 유도된 계량의 분석을 통해 극값성, 바흐-평탄성, 열린 부분집합에서의 동치 완비성 검증.

실험 결과

연구 질문

• RQ1 공통의 토러스 작용을 가진 4차원 다각체 위에서 서로 동치이지만 반대 방향으로 정렬된 켈러 계량의 국소 기하학적 구조는 무엇인가?
• RQ2 이러한 계량의 기하학적 불변량은 이차 다항식과 한 변수의 두 임의의 함수에 어떻게 의존하는가?
• RQ3 이 분류는 어느 방향에 대해서도 허미션으로서의 아인슈타인 4-오비폴드의 명시적 예를 제공할 수 있는가?
• RQ4 국소 해의 토릭 컴팩트리피케이션을 통해 어떤 유한한 이산 가족의 컴팩트 토릭 극값 켈러 오비폴드를 구성할 수 있는가?
• RQ5 이러한 예는 극값 토릭 계량에 대한 추측적 안정성 조건과 어떻게 관련되는가?

주요 결과

• 반대 방향으로 정렬되고 동치인 켈러 계량의 국소 기하학은 이차 다항식과 한 변수의 두 임의의 함수에 의해 결정된다.
• 켈러 계량이 극값일 경우, 두 함수는 명시적으로 4차 다항식으로 주어진다.
• 이 분류는 일반 상대성 이론에서 Debever, Kamran, 및 McLenaghan의 결과에 대한 리만 기하학적 대응을 제공한다.
• 이 구성은 무한한 이산 가족의 컴팩트 토릭 극값 켈러 오비폴드를 생성한다.
• 예시로는 열린 부분집합에서 완비된 스무스 아인슈타인 계량과 동치인 바흐-평탄한 켈러 오비폴드가 포함된다.
• 결과는 최근의 추측들 — 즉, 극값 토릭 계량이 대수기하학적 안정성 개념과 연결됨 — 을 지지한다.