[논문 리뷰] An example of compact Kähler manifold with nonnegative quadratic bisectional curvature

Qun Li, Damin Wu외 1명|arXiv (Cornell University)|2011. 10. 08.

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

한 줄 요약

이 논문은 2번째 베텨 수가 1인 7차원 컴act Kähler C-공간을 구성하여, 그 캐논컬 Kähler-Einstein 계량이 비음성 제곱 이분류 곡률(QB ≥ 0)을 가지지만, 비음성 수직 이분류 곡률(B⊥ ≥ 0)을 가진 어떤 Kähler 계량을도 가질 수 없음을 보여준다. 이는 고차원에서 이러한 곡률 조건 간에 엄격한 대수적이고 기하학적인 차이가 있음을 시사하며, QB ≥ 0이지만 B⊥ ≥ 0가 아닌 첫 번째 명시적 예를 제공한다.

ABSTRACT

We construct a compact Kähler manifold of nonnegative quadratic bisectional curvature, which does not admit any Kähler metric of nonnegative orthogonal bisectional curvature. The manifold is a 7-dimensional Kähler C-space with second Betti number equal to 1, and its canonical metric is a Kähler-Einstein metric of positive scalar curvature

연구 동기 및 목표

• QB ≥ 0이지만 B⊥ ≥ 0를 가진 어떤 Kähler 계량도 허용하지 않는 컴팩트 Kähler 다양체를 구성하는 것.
• n ≥ 3 차원에서 QB ≥ 0가 B⊥ ≥ 0보다 엄격히 약한 조건임을 명백한 반례를 통해 보여주는 것, 비록 대수적 계층이 존재하더라도.
• b₂ = 1이면서 비-헤르미트 대칭 구조를 지닌 특정 Kähler C-공간이 여전히 QB ≥ 0를 만족할 수 있다는 추측을 검증하는 것.
• 7차원 Kähler C-공간 (B₃, α₂)의 경우 명시적 계산을 통해 QB ≥ 0임을 입증함으로써, 일반화된 프랭클-하르츠혼 이론에서 곡률 조건의 시험 사례로서의 역할을 확인하는 것.
• Fano 다양체와 수치적으로 효과적인 접선(bundle)을 지닌 Kähler C-공간의 분류에 있어 QB ≥ 0의 미분기하학적 함의를 탐구하는 것.

제안 방법

• 저자들은 7차원 Kähler C-공간 (B₃, α₂)의 곡률 텐서를 분석하며, 이는 2번째 베텰 수가 1이고 스케일링을 제외한 유일한 Kähler-Einstein 계량을 지닌 동차 Kähler 다양체이다.
• 곡률 성분을 행렬 A, B, C로 표현한 P_{1iar{1j}}, P_{1iar{2j}}, P_{2iar{2j}}를 통해 제곱 이분류 곡률을 계산한다.
• QB ≥ 0와 관련된 제곱형식 Φ는 Φ₁과 Φ₂로 분해되며, Φ₁은 행렬 성분에 따라 Φ₁′과 Φ₁′′로 추가 분할된다.
• Φ₂의 음성은 ⟨B, B*⟩ ≥ −|B|² 및 |tr B|² ≤ 3|B|² 부등식을 이용하여 확립되며, 이로부터 Φ₂ ≥ (8 − 1 − 6)|B|² = |B|² ≥ 0임을 도출한다.
• Φ₁′′는 (a,c)D^t(a,c) 형태의 제곱형식으로 표현되며, 여기서 D는 항등행렬, 全1행렬, 순열행렬을 포함한 G와 H 행렬로 구성된 6×6 대칭행렬이다.
• 직교행렬 T를 통한 기저 변경을 통해 관련 행렬을 대각화하고, G − HG⁻¹H ≥ 0임을 검증함으로써 Φ₁′′ ≥ 0임을 입증하며, 결과적으로 Φ ≥ 0임을 확인함으로써 QB ≥ 0를 확인한다.

실험 결과

연구 질문

• RQ1 n ≥ 3 차원의 컴팩트 Kähler 다양체 중 곳곳에서 QB ≥ 0를 만족하지만, B⊥ ≥ 0를 만족하는 어떤 Kähler 계량도 존재하지 않는 것이 존재하는가?
• RQ2 b₂ = 1이며 비-헤르미트 대칭 구조를 지닌 Kähler C-공간이 여전히 QB ≥ 0를 만족하는 Kähler 계량을 가질 수 있는가?
• RQ3 QB ≥ 0가 곡률 양성의 관점에서 B⊥ ≥ 0보다 엄격히 약한 조건인지, 대수적·기하학적으로 확인할 수 있는가?
• RQ4 QB ≥ 0가 b₂ = 1을 지닌 Kähler C-공간으로의 바이홀로모르피를 암시한다는 추측을 특정 예시에서 검증할 수 있는가?
• RQ5 비대칭 Kähler C-공간에서 제곱 이분류 곡률 형식의 정확한 대수적 구조는 무엇인가?

주요 결과

• 7차원 Kähler C-공간 (B₃, α₂)는 비음성 제곱 이분류 곡률(QB ≥ 0)을 지닌 캐논컬 Kähler-Einstein 계량을 지닌다.
• 이 다양체는 QB ≥ 0임에도 불구하고, 비음성 수직 이분류 곡률(B⊥ ≥ 0)을 가진 어떤 Kähler 계량도 허용하지 않는다.
• 곡률 계산을 통해 QB ≥ 0와 관련된 제곱형식 Φ는 음성임을 확인하였으며, Φ₂ ≥ |B|² ≥ 0 및 Φ₁′′ ≥ 0는 행렬 D의 스펙트럼 분석을 통해 입증되었다.
• 직교변환 후 G − HG⁻¹H가 음성정의행렬임을 보여, 핵심 제곱형식 Φ₁′′의 음성성을 확인하였다.
• 전체 곡률 형식 Φ는 성분별 분석과 행렬 대각화를 통해 분해되었으며, 음성임이 입증되어 이 다양체에 대해 QB ≥ 0임을 확립하였다.
• 이 예는 QB ≥ 0가 고차원에서 B⊥ ≥ 0보다 엄격히 약한 조건임을 확인하며, QB ≥ 0가 B⊥ ≥ 0를 암시한다는 주장에 대한 반례를 제공한다.