[논문 리뷰] Finsler Metrics with K=0 and S=0

Zhongmin Shen|ArXiv.org|2001. 09. 10.

Advanced Differential Geometry Research참고 문헌 5인용 수 4

한 줄 요약

이 논문은 α가 리만계량이고 β가 ‖β‖_α < 1인 1형식인 랜더스형 계량 F = α + β를 사용하여, 모든 차원 ≥2에서 영 플래그 곡률(K=0)과 영 S-곡률(S=0)을 가진 비투영적 평탄한 페인슬러 계량을 구성한다. 주요 기여는 국소적으로 민코프스키가 아닌 이러한 계량의 한 가중치를 제공하여, 이전에 모든 K=0 랜더스 계량이 국소적으로 민코프스키여야 한다는 주장과 모순되며, 이러한 결과가 성립하기 위해 양의 완비성 조건이 필수적임을 보여준다.

ABSTRACT

In Finsler geometry, there are infinitely many models of constant curvature. The Funk metrics, the Hilbert-Klein metrics and the Bryant metrics are projectively flat with non-zero constant curvature. A recent example constructed by the author is projectively flat with zero curvature. In this paper, we introduce a technique to construct non-projectively flat Finsler metrics with zero curvature in each dimension. The technique can be used to construct many non-projectively flat Finsler metrics of constant curvature.

연구 동기 및 목표

• 영 플래그 곡률(K=0)을 가지지만 국소적으로 민코프스키적이거나 투영적으로 평탄하지 않은 페인슬러 계량의 구체적 예를 구성하는 것.
• 모든 랜더스 계량이 K=0이면 국소적으로 민코프스키여야 한다는 이전 주장과의 모순을 해결하는 것.
• K=0 랜더스 계량이 국소적으로 민코프스키임을 분류하기 위해 양의 완비성 조건이 필수적임을 보여주는 것.
• 회전하는 매질에서의 최단 시간 문제에 기반한 기하학적 구성의 제안.
• K=0일 때 조건부로 유한한 카르탕 토퍼션을 가진 계량이 국소적으로 민코프스키일 필요가 없음을 보여주는 것, 심지어 랜더스 계량의 경우에도 마찬가지임을 보여주는 것.

제안 방법

• 논문은 Ω ⊂ ℝⁿ의 도메인 위에서 F = α + β의 랜더스 계량을 구성하며, F(y) = [√((-yu + xv)² + |y|²(1 - x² - y²)) - (-yu + xv)] / (1 - x² - y²)로 정의되며, 여기서 y = (u, v, y̅) ∈ TₚΩ이다.
• 스프레이 계수로부터 유도된 지오데식 계수 Gⁱ를 사용하며, 공식 Gⁱ = G̃ⁱ + Hⁱ에 의해 명시적으로 계산한다. 여기서 G̃ⁱ는 리만계량 α의 계수이고, Hⁱ는 1형식 β와 그에 관련된 텐서 sᵢⱼ에 의존한다.
• S-곡률은 스프레이 계수의 헤시안의 추적을 통해 계산되며, 항등식 ∂Gⁱ/∂yⁱ = 0을 통해 영이 됨을 보여준다.
• 플래그 곡률은 Rⁱₖ의 모든 성분이 0임을 확인함으로써 계산되며, 이는 조건 ∂Gⁱ/∂x + ∂Gⁱ/∂y + ∂Gⁱ/∂yⁱ ∂Gʲ/∂yʲ - ∂Gⁱ/∂yʲ ∂Gʲ/∂yⁱ = 0을 만족함으로써 검증된다.
• 계량 α와 β를 추가 좌표를 포함하도록 확장하여 고차원으로 일반화하며, 곡률 및 S-곡률 조건을 유지한다.
• 기하학적 동기는 회전하는 유체에서의 최단 시간 문제에서 유래되며, β는 회전 속도장을 나타내고 α는 유클리드 계량이다.

실험 결과

연구 질문

• RQ1 모든 차원 ≥2에서 K=0 및 S=0인 비투영적 평탄한 페인슬러 계량을 구성할 수 있는가?
• RQ2 K=0이지만 국소적으로 민코프스키가 아닌 랜더스 계량을 구성할 수 있는가? 이는 이전 주장과의 모순을 초래한다.
• RQ3 K=0 랜더스 계량의 분류에서 양의 완비성 조건이 수행하는 역할은 무엇인가?
• RQ4 K=0일 때 조건부로 유한한 카르탕 토퍼션과 국소적으로 민코프스키가 아닌 페인슬러 계량이 공존할 수 있는가?
• RQ5 K=0 조건 하에서 S-곡률 조건 S=0이 베르발드 또는 국소적으로 민코프스키적 구조를 암시하는가?

주요 결과

• 논문은 Ω ⊂ ℝⁿ 위에서 F = α + β의 계량을 구성하여 K=0 및 S=0이지만 국소적으로 민코프스키가 아닌 계량의 가중치를 제공함으로써, 모든 K=0 랜더스 계량이 국소적으로 민코프스키여야 한다는 주장에 대한 반례를 제시한다.
• 스프레이 계수 Gⁱ가 투영적 평탄성 조건을 만족하지 않기 때문에, 구성된 계량은 투영적으로 평탄하지 않다.
• S-곡률은 항등식 ∂Gⁱ/∂yⁱ = 0과 유클리드 계량과 일치하는 부피형식을 통해 식별적으로 영이 됨을 보여준다.
• 플래그 곡률은 Rⁱₖ의 모든 성분이 0임을 확인함으로써 영임을 검증하였으며, 특히 R¹₁ = R¹₂ = R²₁ = R²₂ = 0임을 포함한다.
• 도메인 Ω가 유계이므로 지오데식이 무한히 연장될 수 없고, 이는 양의 완비성 조건이 분류 정리에서 필수적임을 일관되게 뒷받침한다.
• 추가 좌표를 추가하여 고차원으로 일반화할 수 있으며, G³ = 0로 설정하고 곡률 및 S-곡률 조건을 유지한다.