[논문 리뷰] On the space of almost complex structures

Н. А. Даурцева, N. K. Smolentsev|ArXiv.org|2002. 02. 15.

Geometric Analysis and Curvature Flows참고 문헌 1인용 수 3

한 줄 요약

이 논문은 매끄럽고 옹호된 2n차원 다변량에서 거의 복소構조의 무한차원 다양체를 연구하며, 자연스러운 약한 피에우-리만 구조와 이를 함께 하는 거의 복소구조를 갖추고 있음을 보여주어 Kähler 다양체임을 증명한다. 케일리 변환을 이용한 매개변수화를 통해, 양의 관련 거의 복소구조와 수직 거의 복소구조의 부분다양체가 완전히 지오데식이면서 Kähler임을 증명하며, 이는 심플렉틱 기하학에서의 관련 메트릭과 복소구조에 관한 이전 결과를 확장한다.

ABSTRACT

The space ${\mathcal A}$ of almost complex structures on a closed manifold $M$ is studied. A natural parametrization of the space ${\mathcal A}$ is defined. It is shown, that ${\mathcal A}$ is a infinite dimensional complex weak Pseudo-Riemannian manifold. A curvature of the space ${\mathcal A}$ is found. The space ${\mathcal A}_ω$ of associated almost complex structures on a symplectic manifold $M,ω$ and space ${\mathcal AO}$ of orthogonal almost complex structures on a Riemannian manifold $M,g_0$ are considered in more detail.

연구 동기 및 목표

• 닫힘된, 옹호된, 2n차원의 매끄러운 다변량 위의 모든 매끄러운 거의 복소구조의 공간의 미분기하학적 구조를 조사하는 것.
• 심플렉틱 기하학에서의 관련 메트릭과 거의 복소구조의 공간에 관한 이전 결과를 모든 거의 복소구조의 전체 공간으로 확장하는 것.
• 부분다양체인 양의 관련 거의 복소구조와 수직 거의 복소구조의 기하적 성질을 분석하는 것.
• 이러한 부분다양체가 전체 거의 복소구조 공간에서 유도된 Kähler 구조를 상속받음을 확립하는 것.

제안 방법

• 반대칭 내분형을 거의 복소구조로 매핑하는 $ J = J_0(1+K)(1-K)^{-1} $를 통해 거의 복소구조 공간을 매개변수화하는 케일리 변환을 사용한다.
• 고정된 리만 체적형에 대한 내분형의 조합의 추적을 통합하여 거의 복소구조 공간 위에 약한 피에우-리만 메트릭을 정의한다.
• 접선 벡터 $ A \in T_J\mathcal{A} $ 에 대해 $ \mathbf{J}_J(A) = A \circ J $ 를 설정함으로써 공간 $ \mathcal{A} $ 위에 거의 복소구조 $ \mathbf{J}_J $ 를 도입한다.
• 비퇴화적이고 반대칭적인 2형식 $ \Omega $ 를 $ \Omega_J(A,B) = \int_M \mathrm{tr}(AJB) \, d\mu(g_0) $ 를 통해 구성하며, 메트릭과 거의 복소구조와의 호환성을 보인다.
• 지역좌표를 위해 $ \Phi: \mathcal{U}(J_0) \to \mathcal{V}(J_0) $ 를 $ K = (1 - JJ_0)^{-1}(1 + JJ_0) $ 를 통해 정의하여 기하학적 구조를 국소적으로 표현한다.
• 각 점 $ J $ 에서의 접선공간이 $ J $ 와 반대교환하는 내분형의 공간인 $ \mathrm{End}_J(TM) $ 와 미분형이 동형임을 증명하고, 좌표 매핑의 미분을 계산하여 서로 다른 차트에서의 접선벡터를 연결한다.

실험 결과

연구 질문

• RQ1 매끄럽고 닫힘된, 옹호된 다변량 위의 모든 거의 복소구조의 공간은 자연스러운 기하학적 구조 아래 Kähler 다양체인가?
• RQ2 양의 관련 거의 복소구조와 수직 거의 복소구조의 부분다양체는 전체 거의 복소구조 공간 내에 어떻게 통합되는가?
• RQ3 전체 거의 복소구조 공간 위의 기하학적 구조(메트릭, 거의 복소구조, 심플렉틱 형식)는 부분다양체로 제한될 때 Kähler 성질을 유지하는가?
• RQ4 케일리 변환은 어떻게 거의 복소구조 공간을 매개변수화하고 국소 계산을 가능하게 하는가?

주요 결과

• 닫힘되고 옹호된 2n차원 다변량 위의 모든 매끄러운 거의 복소구조의 공간 $ \mathcal{A} $ 는 무한차원 ILH-다양체이며, $ (A,B)_J = \int_M \mathrm{tr}(A \circ B) \, d\mu(g_0) $ 로 정의된 약한 피에우-리만 메트릭을 지닌다.
• 공간 $ \mathcal{A} $ 는 $ \mathbf{J}_J(A) = A \circ J $ 로 정의된 거의 복소구조 $ \mathbf{J}_J $ 와 비퇴화적이며 반대칭적인 2형식 $ \Omega $ 를 지녀, $ \mathcal{A} $ 가 Kähler 다양체가 됨을 보여준다.
• 양의 관련 거의 복소구조의 부분다양체 $ \mathcal{A}_\omega $ 는 $ \mathcal{A} $ 내에서 완전히 지오데식이며, $ \mathcal{A} $ 로부터 유도된 Kähler 구조를 상속받는다.
• 수직 거의 복소구조의 부분다양체 $ \mathcal{AO}(M) $ 도 $ \mathcal{A} $ 내에서 완전히 지오데식이며, 음의 정부호를 가진 피에우-리만 메트릭을 지닌 Kähler 다양체이다.
• 케일리 변환 $ J = J_0(1+K)(1-K)^{-1} $ 을 통한 국소 매개변수화는 $ \mathcal{A} $ 내의 $ J_0 $ 근방과 $ \mathrm{End}_{J_0}(TM) $ 의 열린 부분집합 사이의 미분동형을 제공하며, 좌표 기반 기하학적 구조의 명시적 계산을 가능하게 한다.
• 좌표 매핑 $ \Phi^{-1} $ 의 미분은 $ A^* = 2J_0(1-K)^{-1}A(1-K)^{-1} $ 로 주어지며, 이는 국소 좌표에서 접선벡터를 식별하는 데 도움을 준다.