[논문 리뷰] An intrinsic volume functional on almost complex 6-manifolds and nearly Kaehler geometry

Misha Verbitsky|ArXiv.org|2005. 07. 08.

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

한 줄 요약

이 논문은 비퇴화 Nijenhuis 텐서를 가진 거의 복소 6차원 다양체 위에 내재된 체적 함수를 도입하고, 그 임계점이 정확히 거의 카이슬러 구조와 일치함을 증명한다. 이들 다양체 위의 거의 카이슬러 계량은 스케일링을 제외하고 유일함을 보이며, 메트릭 콘 위의 G₂-구조와 완전히 반대되는 토르션을 가진 접속을 통해 거의 카이슬러 기하학을 특성화한다.

ABSTRACT

Let $(M,I)$ be an almost complex 6-manifold. The obstruction to integrability of almost complex structure (so-called Nijenhuis tensor) maps a 3-dimensional bundle to a 3-dimensional one. We say that Nijenhuis tensor is non-degenerate if it is an isomorphism. An almost complex manifold is called nearly Kaehler if it admits a Hermitian form $ω$ such that $ abla(ω)$ is totally antisymmetric, $ abla$ being the Levi-Civita connection. We show that a nearly Kaehler metric on a given almost complex 6-manifold with non-degenerate Nijenhuis tensor is unique (up to a constant). We interpret the nearly Kaehler property in terms of G_2-geometry and in terms of connections with totally antisymmetric torsion, obtaining a number of equivalent definitions. Further on, we construct an intrinsic diffeomorphism-invariant functional on the space of almost complex structures on $M$, similar to the Hitchin functional, and compute its extrema in the following important case. Consider an almost complex structure $I$ with non-degenerate Nijenhuis tensor, admitting a Hermitian connection with totally antisymmetric torsion. We show that the intrinsic volume functional has an extremum in $I$ if and only if $(M,I)$ is nearly Kaehler.

연구 동기 및 목표

• 6차원 다각체 위의 거의 복소 구조 공간에 대해 히치린의 함수와 유사한 미분형식 불변 체적 함수를 정의한다.
• 비퇴화 Nijenhuis 텐서를 가진 거의 복소 구조의 맥락에서 이 함수의 임계점을 조사한다.
• 완전히 반대칭 토르션을 가진 접속을 포함한 기하학적·해석적 조건을 통해 6차원 다양체 위의 거의 카이슬러 구조를 특성화한다.
• 비퇴화 Nijenhuis 텐서를 가진 6차원 다양체 위의 거의 카이슬러 계량이 상수 스케일링을 제외하고 유일함을 증명한다.
• 리만 콘 위의 G₂-구조와 토르션을 가진 허미션 안접속을 통해 거의 카이슬러 기하학의 다양한 정의를 통합한다.

제안 방법

• 내재된 체적 함수 $ \Psi(I) = \int_M \operatorname{Vol}_I $ 를 정의하며, 여기서 $ \operatorname{Vol}_I $ 는 Nijenhuis 텐서와 그 쌍대의 행렬식으로 유도된다.
• Nijenhuis 텐서의 비퇴화성 덕분에 자연스러운 3형식을 통해 $ \Lambda^{1,0}(M) \cong \Lambda^{2,0}(M) $ 를 식별함으로써 텐서 이론적 식별을 가능하게 한다.
• 매개변수 $ \delta \in \Lambda^{0,1}(M) \otimes T^{1,0}(M) $ 를 가진 거의 복소 구조의 무한소 변형 이론을 적용하여 $ \Psi $ 의 일阶 미분을 계산한다.
• 일阶 미분 공식 $ \frac{d\Psi}{dI}(\delta) = 2\operatorname{Re} \int_M \overline{\partial}\delta \wedge \omega $ 를 유도하며, 여기서 $ \omega $ 는 허미션 형식이다.
• 임의의 부분적 적분을 적용하여 $ \Psi $ 가 임계점에 도달하기 위한 필요충분조건이 $ \overline{\partial}\omega = 0 $ 이거나, 동치로 $ d\omega \in \Lambda^{3,0} \oplus \Lambda^{0,3} $ 라는 조건임을 보인다.
• 거의 카이슬러 기하학과 $ \nabla\omega $ 가 완전히 반대칭일 때의 조건이 동치임을 증명하며, 이를 통해 메트릭 콘 위의 G₂-구조와 연결한다.

실험 결과

연구 질문

• RQ1 비퇴화 Nijenhuis 텐서를 가진 거의 복소 6차원 다각체에서 내재된 체적 함수 $ \Psi(I) = \int_M \operatorname{Vol}_I $ 가 임계점을 가지기 위한 조건은 무엇인가?
• RQ2 완전히 반대칭 토르션을 가진 접속과 허미션 기하학을 통해 거의 카이슬러 조건은 어떻게 특성화되는가?
• RQ3 6차원 다각체 위의 거의 카이슬러 구조와 그 리만 콘 위의 G₂-구조 사이의 관계는 무엇인가?
• RQ4 비퇴화 Nijenhuis 텐서를 가진 6차원 다각체 위의 거의 카이슬러 계량은 거의 복소 구조에 의해 유일하게 결정되는가?
• RQ5 완전히 반대칭 토르션을 가진 허미션 접속이 존재할 경우, 어떤 조건에서 거의 복소 구조가 거의 카이슬러임을 보장하는가?

주요 결과

• 내재된 체적 함수 $ \Psi(I) = \int_M \operatorname{Vol}_I $ 는 거의 복소 구조 $ I $ 에서 임계점을 가지는 것과 동치이며, 이는 $ d\omega \in \Lambda^{3,0}(M) \oplus \Lambda^{0,3}(M) $ 를 만족할 때 성립한다. 여기서 $ \omega $ 는 허미션 형식이다.
• 비퇴화 Nijenhuis 텐서를 가진 거의 복소 6차원 다각체는 완전히 반대칭 토르션을 가진 허미션 접속을 가질 수 있을 때에만 거의 카이슬러 구조를 가진다.
• 이러한 다각체 위의 거의 카이슬러 계량은 상수 스케일링을 제외하고 거의 복소 구조에 의해 유일하게 결정된다.
• 6차원 다각체 위의 거의 카이슬러 구조는 메트릭 콘 위의 G₂-구조와 동치이며, 기하학적 특성화를 제공한다.
• 거의 카이슬러 조건은 $ \nabla\omega $ 가 완전히 반대칭임을 요구하는 것과 동치이며, 여기서 $ \nabla $ 는 리만-레비치비타 접속이다.
• 체적 함수의 임계점 조건은 $ \overline{\partial}\omega $ 의 영함수성과 동치이며, 이는 Nijenhuis 텐서의 비퇴화성 조건 하에서 거의 카이슬러 조건과 동치이다.