[논문 리뷰] Fundamental PDE's of the Canonical Almost Geodesic Mappings of Type ${ ildeπ}_1$

V. E. Berezovski, Josef Mikeš외 1명|arXiv (Cornell University)|2010. 06. 16.

Geometric Analysis and Curvature Flows참고 문헌 4인용 수 5

한 줄 요약

이 논문은 선형 접속을 가진 다양체에서 편미분방정식(PDE)의 닫힌 체계를 구성하여, 쌍곡형 리만 및 일반화된 리치-대칭 공간으로의 캐논리컬 거의 지름선 매핑의 존재성을 특성화한다. 주요 기여는 이러한 매핑에 대한 필요 및 충분 조건을 제시한 것으로, 곡률 텐서와 접속 계수를 포함하는 적분 가능한 PDE 체계를 통해 기술되며, Sinyukov의 이전 결과를 일반화하고 해 공간이 최대 $rac{1}{6}n(n+1)(2n^3 - 4n^2 + 5n + 3)$ 개의 매개수에 의존함을 보여준다.

ABSTRACT

For modelling of various physical processes, geodesic lines and almost geodesic curves serve as a useful tool. Trasformations or mappings between spaces (endowed with a metric or connection) which preserve such curves play an important role in physics, particularly in mechanics, and in geometry as well. Our aim is to continue investigations concerning existence of almost geodesic mappings of manifolds with linear (affine) connection, particularly of the so-called ${ ilde π}_1$ mappings, i.e. canonical almost geodesic mappings of type $π_1$ according to Sinyukov. First we give necessary and sufficient conditions for existence of ${ ilde π}_1$ mappings of a manifold endowed with a linear connection onto pseudo-Riemannian manifolds. The conditions take the form of a closed system of PDE's of first order of Cauchy type. Further we deduce necessary and sufficient conditions for existence of ${ ilde π}_1$ mappings onto generalized Ricci-symmetric spaces. Our results are generalizations of some previous theorems obtained by N.S. Sinyukov.

연구 동기 및 목표

• 선형 접속을 가진 다양체에서 쌍곡형 리만 공간으로의 캐논리컬 거의 지름선 매핑 ${\tilde{\pi}}_1$ 가 존재하기 위한 필요 및 충분 조건을 규명하는 것.
• Sinyukov의 이전 결과를 일반화된 리치-대칭 공간으로 확장하는 것.
• 존재 문제를 카우히 유형의 일阶 PDE 체계로 표현하여 효과적인 해의 수세기 및 근사 계산을 가능하게 하는 것.
• 일반화된 리치-대칭 다양체에서 이러한 매핑을 허용하는 가중치의 최대 매개수를 유도하는 것.

제안 방법

• 접속과 곡률 텐서의 구조를 이용하여 ${\tilde{\pi}}_1$ 매핑의 존재를 제어하는 계량 미분 방정식의 일阶 PDE 체계를 유도한다.
• 매핑의 기하학적 자료를 나타내는 텐서 장 $P^h_{ij}$ 와 $a_{ij}$ 를 도입하고, 이들이 대상 공간의 곡률과 호환됨을 보장한다.
• 리만 곡률 텐서 $\bar{R}^h_{jm\ell,i}$ 의 계량 미분을 사용하여 적분 가능한 체계 (41) 를 구성하며, 이는 $R^h_{jm\ell i}$ 를 통해 표현된다.
• 대칭성과 리치 유형의 소멸 조건을 보장하는 대수적 제약 조건 (42) 를 적용한다: $P^{h}_{ij} = P^{h}_{ji}$, $a_{ij} = a_{ji}$, 그리고 $\bar{R}^h_{i(jk)} = 0$, $R^h_{i(jk)\ell} = 0$.
• 보정 항으로 $P^h_{ij}$ 와 곡률 성분을 포함하여 $\bar{\nabla}$-미분에서 $\nabla$-미분으로 체계를 변환한다.
• 대칭성 및 곡률 제약 조건 (42) 하에서 체계 (14), (33), (40), (41) 의 적분 가능성 여부를 검증한다.

실험 결과

연구 질문

• RQ1 선형 접속을 가진 다양체가 쌍곡형 리만 공간으로의 캐논리컬 거의 지름선 매핑 ${\tilde{\pi}}_1$ 를 가질 수 있는 조건은 무엇인가?
• RQ2 이러한 매핑의 존재를 지배하는 PDE 체계는 무엇이며, 카우히 유형이고 유한 매개수 해를 가지는가?
• RQ3 Sinyukov의 ${\tilde{\pi}}_1$ 매핑 결과는 어떻게 일반화된 리치-대칭 대상 공간으로 확장될 수 있는가?
• RQ4 일반화된 리치-대칭 다양체의 가중치에서 이러한 매핑의 이미지가 될 수 있는 최대 자유 매개수는 얼마인가?
• RQ5 곡률 텐서와 접속 계수는 어떻게 상호작용하여 매핑 체계의 적분 가능성을 보장하는가?

주요 결과

• 선형 접속을 가진 다양체에서 쌍곡형 리만 공간으로의 ${\tilde{\pi}}_1$ 매핑 존재성은 카우히 유형의 일阶 PDE 체계를 푸는 것과 동치이다.
• 이 체계는 적분 가능하며, 식 (14), (33), (40), (41) 과 대칭 제약 조건 (42) 를 만족하는 텐서 장 $P^h_{ij}$, $a_{ij}$, $\bar{R}^h_{ijk}$, $R^h_{ijkm}$ 의 존재에 의존한다.
• 일반화된 리치-대칭 대상 공간의 경우에도 동일한 체계가 ${\tilde{\pi}}_1$ 매핑의 존재성을 특성화한다.
• 이러한 매핑의 해 공간은 식 (43) 에서 언급된 바와 같이 최대 $rac{1}{6}n(n+1)(2n^3 - 4n^2 + 5n + 3)$ 개의 실수 매개수에 의존한다.
• 유도된 체계는 Sinyukov의 이전 결과를 일반화된 리치-대칭 다양체로 확장함으로써 그 결과를 일반화한다.
• 체계의 적분 가능성은 식 (14), (33), (40), (41) 이 요구되는 대수적 및 미분 제약 조건 (42) 를 만족함을 검증함으로써 확인된다.