[논문 리뷰] Finsler Metrics of Constant Positive Curvature on the Lie Group $s^3$

David Bao, Zhongmin Shen|ArXiv.org|2000. 11. 12.

Advanced Differential Geometry Research참고 문헌 3인용 수 9

한 줄 요약

이 논문은 각 $ K > 1 $에 대해, 호프 fibration에서 유도된 오른쪽 불변 리만 계량과 킬링 장을 이용하여, 리 군 $ S^3 $ 위에 명시적인 비리emannian Randers 계량을 구성한다. 베르발의 스프레이 곡률 공식을 직접 적용하여, 이러한 계량이 일정한 양의 플래그 곡률 $ K $을 가지며, 이는 프로젝티브로 평탄하지 않은 편의 Finsler 기하학적 공간 형태임을 증명한다.

ABSTRACT

Guided by the Hopf fibration, we single out a family (indexed by a positive constant K) of right invariant Riemannian metrics on the Lie group $S^3$. Using the Yasuda-Shimada theorem as an inspiration, we determine for each K>1 a privileged right invariant Killing field of constant length. Each such Riemannian metric pairs with the corresponding Killing field to produce a y-global and {\it explicit} Randers metric on $S^3$. Using the machinery of spray curvature and Berwald's formula for it, we prove directly that the said Randers metric has constant positive flag curvature K, as predicted by the Yasuda-Shimada theorem. We also explain why this family of Finslerian space forms is NOT projectively flat.

연구 동기 및 목표

• 일정한 양의 플래그 곡률 $ K > 1 $을 갖는 $ S^3 $ 위에 명시적이고 $ y $-전역적인 Randers 계량을 구성하며, 야수다–시마다 정리의 복잡한 증명에 의존하지 않도록 한다.
• 이러한 계량이 프로젝티브로 평탄하지 않음을 입증하여, 많은 알려진 Finsler 기하학적 공간 형태와의 차이를 부각한다.
• 원래의 야수다–시마다 증명에 의존하지 않고, 베르발의 스프레이 곡률 공식을 이용하여 일관된 기하학적 증명을 통해 일정한 플래그 곡률을 직접적으로 증명한다.
• 기호 계산 소프트웨어 Maple을 사용하여 수치적 검증을 수행함으로써 분석적 증명을 실험적 증거로 지지한다.
• 야수다–시마다 정리의 일정한 플래그 곡률에 대한 네 가지 조건이 $ S^3 $에 적용되었을 때 공집이 아님을 입증한다.

제안 방법

• 호프 fibration을 활용하여, 매개변수 $ K > 1 $에 따라 매개변수화된 $ S^3 $ 위의 오른쪽 불변 리만 계량의 가중치를 정의한다.
• 각 $ K > 1 $에 대해 일정한 길이를 갖는 특별한 오른쪽 불변 킬링 장을 식별하며, 이는 Randers 구성에서 1형식으로 사용된다.
• 스칼라 곡률 $ \alpha $가 리만 계량이고, 킬링 장에서 유도된 1형식 $ \beta $인 $ F = \alpha + \beta $ 형태의 Randers 계량을 구성한다.
• 스프레이 곡률에 대한 베르발의 공식을 적용하여 플래그 곡률을 계산하며, 이는 Randers 설정에서 기하학적 강력함을 발휘한다.
• Maple에서 기호적 및 수치적 계산을 수행하여 스프레이 곡률 텐서가 $ K^i_k = K F^2 (\delta^i_k - \frac{y^i}{F} F_{y^k}) $ 조건을 만족함을 확인한다. 이는 일정한 플래그 곡률 $ K $의 기준이다.
• 비율 $ K^i_k / (K \tau^i_k) $의 수치적 평가를 통해 플래그 곡률이 일정함을 확인하였으며, 결과는 항상 1에 매우 가까운 값을 보였다.

실험 결과

연구 질문

• RQ1 비리만이면서 $ y $-전역적인 $ S^3 $ 위의 Randers 계량을 일정한 양의 플래그 곡률 $ K > 1 $을 갖도록 명시적으로 구성할 수 있는가?
• RQ2 이러한 계량이 프로젝티브로 평탄하지 않음을 입증할 수 있는가? 이는 브라이언트의 알려진 예와의 차이를 부각한다.
• RQ3 베르발의 스프레이 곡률 공식을 사용하여, 원래의 야수다–시마다 증명에 의존하지 않고 일관된 방식으로 일정한 플래그 곡률을 직접 증명할 수 있는가?
• RQ4 야수다–시마다 정리의 일정한 플래그 곡률에 대한 네 가지 조건이 $ S^3 $에 적용되었을 때 공집이 아님을 입증할 수 있는가?
• RQ5 Maple에서의 수치 계산을 통해 분석적 주장인 일정한 플래그 곡률에 강력한 증거를 제공할 수 있는가?

주요 결과

• 각 $ K > 1 $에 대해, $ S^3 $ 위에 오른쪽 불변인 유일한 Randers 계량이 구성되며, 이는 일정한 양의 플래그 곡률 $ K $을 갖는다.
• 구성된 계량은 어떤 좌표계에서도 기하학적 길이가 직선이 아니므로, 프로젝티브로 평탄하지 않음을 확인하였다.
• 스프레이 곡률 텐서 $ K^i_k $는 $ K^i_k = K F^2 (\delta^i_k - \frac{y^i}{F} F_{y^k}) $를 만족하며, 이는 일정한 플래그 곡률 $ K $를 확인한다.
• 여러 테스트 포인트에서 비율 $ K^i_k / (K \tau^i_k) $의 수치적 평가 결과는 1에 매우 가까운 값을 보였으며, 오차는 $ 10^{-3} $ 이하였다. 이는 분석적 결과를 지지한다.
• 기호 계산 소프트웨어 Maple을 사용하여, 계산이 매우 복잡하여 1GB RAM 이상을 초과하는 등 계산 부담이 크지만, 다양한 매개변수 조합에서 곡률 조건의 일관성을 확인하였다.
• 논문은 야수다–시마다 조건이 $ S^3 $에서 공집이 아니며, 컴팩트 리 군 위에서 이러한 조건을 명시적으로 해결함으로써 이를 입증하였다. 이는 이러한 조건이 비어 있지 않음을 보여주는 첫 번째 구성이다.