[논문 리뷰] C-projective geometry

David M. J. Calderbank, Michael G. Eastwood외 2명|2015. 12. 14.

Geometric Analysis and Curvature Flows참고 문헌 89인용 수 7

한 줄 요약

이 논문은 실수 사영微분기하학의 복소 해석으로서 c-사영 기하학을 개발하여, 보조적 기하학으로서의 캐런 접속을 갖는다는 것을 입증한다. 완전한 켈러 다양체에 대한 얀오–오바타 추측을 증명한다: 그러한 다양체가 비선형성의 하나의 매개변수를 가진 c-사영 변환군을 갖는다면, 반드시 푸비니–슈타디 메트릭의 배수를 지닌 복소 사영 공간 $\mathbb{CP}^n$이어야 한다.

ABSTRACT

We develop in detail the theory of c-projective geometry, a natural analogue of projective differential geometry adapted to complex manifolds. We realise it as a type of parabolic geometry and describe the associated Cartan or tractor connection. A Kaehler manifold gives rise to a c-projective structure and this is one of the primary motivations for its study. The existence of two or more Kaehler metrics underlying a given c-projective structure has many ramifications, which we explore in depth. As a consequence of this analysis, we prove the Yano-Obata conjecture for complete Kaehler manifolds: if such a manifold admits a one parameter group of c-projective transformations that are not affine, then it is complex projective space, equipped with a multiple of the Fubini-Study metric.

연구 동기 및 목표

• c-사영 기하학을 실수 사영기하학의 복소 해석으로서 포괄적이고 통합적인 이론으로 개발하는 것.
• c-사영 기하학과 켈러 다양체 사이의 관계를, 특히 호환 가능한 메트릭의 존재를 통해 확립하는 것.
• c-사영 벡터장과 그 적분 가능성 분석을 통해 완전한 켈러 다양체에 대한 얀오–오바타 추측을 해결하는 것.
• c-사영 등가 메트릭과 허미트 킬링 텐서를 통해 적통계계와 켈러 기하학에의 적용을 탐색하는 것.
• BGG 연산자와 조르당 대수의 구조를 이용하여 실수 사영기하학의 메트리화 이론을 c-사영 및 기타 보조기하학으로 일반화하는 것.

제안 방법

• 실수 사영기하학과 유사하게, 플래그 다양체 $\mathbb{CP}^n \cong \mathrm{PSL}(n+1,\mathbb{C})/P$ 를 모델로 하여 c-사영 기하학을 보조기하학으로 실현한다.
• c-사영 구조에 대한 캐논리컬 캐런 접속을 구성하여, 실수 사영기하학의 캐런 접속을 복소 기하학으로 일반화한다.
• 대칭 반변량 2-텐서 위에 작용하는 첫 번째 BGG 연산자로서 c-사영 메트리화 연산자를 정의하며, 그 핵은 호환 가능한 (구-)켈러 메트릭에 대응한다.
• c-사영 구조와 거의 복소기하학적 스트럭처 $J$ 를 보존하는 복소접속 사이의 등가를 이용하며, Nijenhuis 텐서의 영함으로 통합성이 보장된다.
• 트랙터(bundle) 이론과 곡률 보정을 적용하여, 메트리화 방정정의 해가 관련 벡터 번들의 평행 섹션과 연결됨을 밝힌다.
• 콘 구조와 일반화된 페익스–칼레딘 방법을 활용하여 c-사영 구조를 허미트 기하학과 코어플렉스 기하학으로 연결하며, 더 깊은 통합적 구조를 드러낸다.

실험 결과

연구 질문

• RQ1 복소다양체 위의 c-사영 구조가 호환 가능한 (구-)켈러 메트릭을 갖는 조건은 무엇인가?
• RQ2 켈러 다양체 위의 c-사전 벡터장의 구조는 어떻게 되며, 언제 본질적이거나 비선형화 가능하지 않은가?
• RQ3 한 개의 c-사전 구조 안에서 두 개 이상의 켈러 메트릭이 존재하면, 그 기저 다양체 위에서 지오데식 흐름이 적통계계를 이룰 수 있는가?
• RQ4 c-사전 메트리화 연산자는 실수 사전 메트리화 연산자와 얼마나 유사한가? 그리고 그 핵 차원은 어떻게 비교되는가?
• RQ5 c-사전 구조는 조르당 대수의 임bedding과 호환성 감소를 통해 다른 보조기하학, 예를 들어 허미트 기하학이나 코어플렉스 기하학과 어떻게 관련되는가?

주요 결과

• 완전한 켈러 다양체에 대한 얀오–오바타 추측이 증명되었다: 비선형성의 하나의 매개변수를 가진 c-사전 변환군을 갖는 임의의 그러한 다양체는 반드시 푸비니–슈타디 메트릭의 배수를 지닌 복소사영공간 $\mathbb{CP}^n$ 이어야 한다.
• c-사전 메트리화 연산자는 대칭 반변량 2-텐서 위에 작용하는 첫 번째 BGG 연산자이며, 그 해는 호환 가능한 (구-)켈러 메트릭에 대응한다.
• c-사전 헤시안의 핵에는 킬링 벡터장의 해밀토니언이 포함되어 있어, c-사전 기하학이 극단적 켈러 메트릭과 해밀토니언 2-형식과 연결됨을 보여준다.
• c-사전 구조는 켈러 메트릭으로부터 자연스럽게 유도되며, 한 c-사전 클래스 안에서 여러 켈러 메트릭이 존재하면 지오데식 흐름에 비자명한 적분이 존재함을 뜻한다.
• 조르당 대수의 임베딩을 통해 c-사전 기하학 이론은 다른 보조기하학과 통합되며, c-사전 기하학은 $\mathbb{C}^{n+1}$ 안의 랭크-1 허미트 행렬에 대응하며, 실수 사영기하학의 베론네제 임베딩과 유사하다.
• 콘 구조와 일반화된 페익스–칼레딘 방법을 통해 c-사전 구조는 사영 캐런 접속의 호환성 감소로 표현되며, 허미트 기하학과 케일리 평면과 연결된다.