[논문 리뷰] Anti-invariant Riemannian maps from almost Hermitian manifolds

Bayram Şahin|arXiv (Cornell University)|2012. 10. 01.

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

한 줄 요약

이 논문은 반항성 불변 리만 지aps를 거의 허미션 대상에서 리만 대상으로 일반화한 반항성 불변 리만 사상의 도입을 제안하며, 유도된 분할의 기하적 성질을 규명하고 소스 다양체에 대한 분해 정리를 증명한다. 주요 결과는 카플러 다양체에서 리만 다양체로의 모든 복소해석적 조화 라그랑주 리만 사상은 완전하게 기하학적임을 보여준다.

ABSTRACT

As a generalization of anti-invariant Riemannian submersions, we introduce anti-invariant Riemannian maps from almost Hermitian manifolds to Riemannian manifolds. We give examples and investigate the geometry of foliations which are arisen from the definition of an anti-Riemannian map. Then we give a decomposition theorem for the source manifold of such maps. We also find necessary and sufficient conditions for anti-invariant Riemannian maps to be totally geodesic and show that every pluriharmonic Lagrangian Riemannian map, which is a special anti-invariant Riemannian map, from a Kähler manifold to a Riemannian manifold is totally geodesic.

연구 동기 및 목표

• 거의 허미션 다양체에서 리만 다양체로의 반항성 불변 리만 사상의 도입을 통해 반항성 불변 리만 사상의 일반화를 도모한다.
• 이러한 사상의 근과 수평 분해에 의해 유도된 분할의 기하학적 성질을 조사한다.
• 반항성 불변 리만 사상 하에서 소스 다양체에 대한 분해 정리를 수립한다.
• 이러한 사상이 완전하게 기하학적일 때 필요한 필요 및 충분 조건을 유도한다.
• 카플러 다양체에서 리만 다양체로의 복소해석적 조화 라그랑주 리만 사상이 항상 완전하게 기하학적임을 증명한다.

제안 방법

• 반항성 불변 리만 사상은 $ F: (M, g_M, J) \to (N, g_N) $ 인 매끄러운 사상으로, $ J(ker F_*) \subseteq (ker F_*)^\perp $ 를 만족하며, 반항성 불변 사상의 일반화이다.
• 분해 $ TM = ker F_* \oplus \mathcal{H} $ 를 사용하며, 여기서 $ \mathcal{H} = (ker F_*)^\perp $ 이고, $ TN = range F_* \oplus (range F_*)^\perp $ 를 만족하며, $ F $ 가 일정한 계수를 가지는 부분매장임을 보장한다.
• 수평 제한 $ F^h_*: \mathcal{H} \to range F_* $ 가 선형 등장사상임을 적용하여, $ X,Y \in \mathcal{H} $ 에 대해 $ g_M(X,Y) = g_N(F_*X, F_*Y) $ 를 만족시킨다.
• 이중 기본형 $ \nabla F_* $ 와 복소해석적 조화 조건 $ (\nabla F_*)(X,Y) + (\nabla F_*)(JX,JY) = 0 $ 을 분석하며, $ X,Y \in \Gamma(ker F_*) $ 를 만족한다.
• 근의 적분 가능성은 랭크 정리와 카플러 구조를 통해 분석하여 $ \nabla F_* $ 가 $ ker F_* \times \mathcal{H} $ 에서 0이 됨을 보이고, 이는 완전 기하학적임을 의미한다.
• 왜곡된 곱 분해 정리를 적용하여, $ M_1 $ 이 국소적으로 $ M_{(ker F_*)^\perp} \times_f M_{ker F_*} $ 의 형태를 띄면, 그러한 라그랑주 리만 사상이 존재하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 반항성 불변 리만 사상의 근과 수평 분해에 의해 유도된 분할의 기하적 구조는 무엇인가?
• RQ2 반항성 불변 리만 사상의 소스 다양체가 왜곡된 곱 형태로 분해될 수 있는 조건은 무엇인가?
• RQ3 반항성 불변 리만 사상이 언제 완전하게 기하학적인가?
• RQ4 카플러 다양체에서 리만 다양체로의 모든 복소해석적 조화 라그랑주 리만 사상은 반드시 완전하게 기하학적인가?
• RQ5 형태 $ M_{(ker F_*)^\perp} \times_f M_{ker F_*} $ 의 국소적 왜곡된 곱 다양체에서 라그랑주 리만 사상이 존재할 수 있는가?

주요 결과

• 반항성 불변 리만 사상은 $ F_* $ 의 범위가 $ TN $ 의 진부분공간이 되게 하고, $ (range F_*)^\perp \neq \{0\} $ 를 만족함으로써 반항성 불변 리만 사상의 일반화를 제공한다.
• 수평 및 수직 분해가 적분 가능하고 곡률 조건을 만족할 경우, 반항성 불변 리만 사상의 소스 다양체는 왜곡된 곱 $ M_{(ker F_*)^\perp} \times_f M_{ker F_*} $ 로 분해될 수 있다.
• 반항성 불변 리만 사상이 완전하게 기하학적일 필요 및 충분 조건은 이중 기본형 $ \nabla F_* $ 가 $ ker F_* \times ker F_* $ 에서 0이 되는 것이다.
• 모든 복소해석적 조화 라그랑주 리만 사상은 카플러 다양체에서 리만 다양체로의 사상일 때 완전하게 기하학적임을 보여주며, 이는 $ \nabla F_* $ 가 $ ker F_* \times ker F_* $, $ ker F_* \times \mathcal{H} $, 및 $ \mathcal{H} \times ker F_* $ 에서 0이 되기 때문이다.
• 소스 다양체가 국소적으로 $ M_{(ker F_*)^\perp} \times_f M_{ker F_*} $ 의 형태로 등급이 있을 경우, 카플러 다양체에서 리만 다양체로의 라그랑주 리만 사상은 존재하지 않으며, 이는 적분 가능성과 곡률의 장애로 인해 발생한다.
• 근의 적분 가능성은 랭크 정리와 $ F $ 가 일정한 계수를 가지는 부분매장임을 바탕으로 보장되며, 이는 분해 및 기하학적 성질 결과에 필수적이다.