[논문 리뷰] Flat nearly Kähler manifolds

Vicente Cortés, Lars Schaefer|ArXiv.org|2006. 10. 05.

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

한 줄 요약

이 논문은 비정현적 계량을 갖춘 평탄한 엄격한 거의 켈러 다양체를 분류하며, 그것들이 국소적으로 평탄한 편-켈러 성분과 분할 부호수 (2m,2m)를 갖는 엄격한 거의 켈러 다양체의 곱임을 보여준다. 후자의 기하학은 복소 3형식 ζ ∈ Λ³(ℂᵐ)⁎에 의해 암호화되며, 첫 번째 비자명한 예는 차원 12에서 나타난다.

ABSTRACT

We classify flat strict nearly Kähler manifolds with (necessarily) indefinite metric. Any such manifold is locally the product of a flat pseudo-Kähler factor of maximal dimension and a strict flat nearly Kähler manifold of split signature $(2m,2m)$ with $m\ge 3$. Moreover, the geometry of the second factor is encoded in a complex three-form $ζ\in Λ^3 (\mathbb{C}^m)^*$. The first nontrivial example occurs in dimension $4m=12$.

연구 동기 및 목표

• 비정현적 (편-리만) 계량을 갖춘 평탄한 엄격한 거의 켈러 다양체를 분류하기 위해.
• 특히 국소 분해와 호로노미 성질을 포함한 이러한 다양체의 기하학적 구조를 이해하기 위해.
• 완전하고 단순연결된 평탄한 거의 켈러 다양체에서 편-켈러 성분이 없는 경우와 GLₘ(ℂ)-오빗 간의 대응 관계를 설정하기 위해.
• 평탄함 조건 하에서 왜곡이 비대칭인 캐논컬 연결이 거의 켈러 조건에서 어떤 역할을 하는지 명확히 하기 위해.
• 정현적 계량을 갖는 경우를 제외하고는 이러한 다양체가 존재하지 않음을 보여주기 위해.

제안 방법

• 레비-치비타 접속의 평탄함을 이용해 총 왜곡이 비대칭인 캐논컬 허미션 연결 ∇를 구성하며, T = -2η, 여기서 η = ½JDJ이다.
• 등방성 지지와 유형 조건을 만족하는 실수 3형식 η ∈ Λ³V를 통해 거의 켈러 구조를 특성화한다.
• 3형식 η를 η = ζ + ζ̄로 표현하며, ζ ∈ Λ³(ℂᵐ)⁎는 복소 3형식으로, (2m,2m) 부호수 성분의 기하학을 암호화한다.
• η의 등방성 지지가 복소 차원 m ≥ 3인 J_can-불변 복소부분공간 L ⊂ ℂᵐᵐ임을 증명한다.
• 분해 정리를 적용하여 임의의 엄격한 평탄한 거의 켈러 다양체가 국소적으로 평탄한 편-켈러 성분과 엄격한 (2m,2m) 부호수 성분의 곱으로 분해됨을 보인다.
• 최대 지지를 갖는 3형식의 열린 부분집합과 이소모르피즘 유형 간의 이분기대응 관계를 수립한다.

실험 결과

연구 질문

• RQ1 비정현적 계량을 갖는 평탄한 엄격한 거의 켈러 다양체의 국소 기하학적 구조는 무엇인가?
• RQ2 어떤 실수 3형식 η ∈ Λ³V 가 평탄한 거의 켈러 구조를 유도하며, 어떤 제약 조건을 만족해야 하는가?
• RQ3 완전하고 단순연결된 평탄한 거의 켈러 다양체에서 편-켈러 드 라함 성분이 없는 경우, 복소 3형식 ζ ∈ Λ³(ℂᵐ)⁎로부터 구성할 수 있는가?
• RQ4 왜 이러한 다양체는 4m ≥ 12인 차원에서만 존재하며, 정현적 계량 예는 제외되는가?
• RQ5 GLₘ(ℂ)-오빗이 Λ³(ℂᵐ)⁎에서 어떻게 이러한 다양체의 이소모르피즘 유형을 분류하는가?

주요 결과

• 비정현적 계량을 갖는 임의의 평탄한 엄격한 거의 켈러 다양체는 국소적으로 최대 차원의 평탄한 편-켈러 다양체와 엄격한 부호수 (2m,2m)를 갖는 거의 켈러 다양체의 곱과 등위이다.
• (2m,2m) 부호수 성분의 기하학은 복소 3형식 ζ ∈ Λ³(ℂᵐ)⁎에 의해 암호화되며, η = ζ + ζ̄가 이 구조를 결정한다.
• 엄격한 평탄한 거의 켈러 다양체의 첫 번째 비자명한 예는 m = 3에 해당하는 차원 12에서 나타난다.
• 정현적 계량(양 또는 음)을 갖는 엄격한 평탄한 거의 켈러 다양체는 존재하지 않으며, 이러한 다양체는 반드시 켈러여야 한다.
• 완전하고 단순연결된 평탄한 거의 켈러 다양체에서 편-켈러 드 라함 성분이 없는 경우, 해당 3형식 ζ가 최대 지지를 가져야만 존재한다.
• 이러한 다양체의 이소모르피즘 유형은 Λ³(ℂᵐ)⁎에서 최대 지지를 갖는 3형식들로 이루어진 열린 부분집합 위의 GLₘ(ℂ)-오빗과 이분기대응 관계에 있다.