[논문 리뷰] Riemannian metrics having common geodesics with Berwald metrics

Vladimir S. Matveev|arXiv (Cornell University)|2008. 10. 31.

Advanced Differential Geometry Research참고 문헌 18인용 수 12

한 줄 요약

이 논문은 엄격한 볼록성 조건 없이도 모든 베르발드 페인슬러 계량이 그와 애फ인 동치인 리만계량을 갖는다는 것을 증명한다. 이는 이전의 엄격한 볼록성에 대한 결과를 일반화한 것이다. 또한, 본질적으로 베르발드 계량과 리만계량 사이의 지오데식 동치가 완비성 조건 하에서 애फ인 동치를 함의한다는 것을 증명하며, 프로젝티브로 평탄한 베르발드 계량은 반드시 미ṅ크ов스키 계량임을 보여주어 힐베르트의 네 번째 문제에 대한 페인슬러적 대응을 제공한다.

ABSTRACT

In Theorem 1, we generalize the results of Szabo for Berwald metrics that are not necessary strictly convex: we show that for every Berwald metric F there always exists a Riemannian metric affine equivalent to F. As an application we show (Corollary 3) that every Berwald projectively flat metric is a Minkowski metric; this statement is a "Berwald" version of Hilbert's 4th problem. Further, we investigate geodesic equivalence of Berwald metrics. Theorem 2 gives a system of PDE that has a (nontrivial) solution if and only if the given essentially Berwald metric admits a Riemannian metric that is (nontrivially) geodesically equivalent to it. The system of PDE is linear and of Cauchy-Frobenius type, i.e., the derivatives of unknown functions are explicit expressions of the unknown functions. As an application (Corollary 2), we obtain that geodesic equivalence of an essentially Berwald metric and a Riemannian metric is always affine equivalence provided both metrics are complete.

연구 동기 및 목표

• 엄격한 볼록성 조건이 없는 경우에도 스자보의 엄격한 볼록성 베르발드 계량과 리만계량 사이의 애फ인 동치 결과를 일반화한다.
• 본질적으로 베르발드 계량과 리만계량 사이에서 지오데식 또는 애फ인 동치가 성립하는 조건을 조사한다.
• 비틀림이 없는 프로젝티브로 평탄한 베르발드 계량이 반드시 미ṅ크ов스키 계량임을 보여, 힐베르트의 네 번째 문제에 대한 페인슬러적 대응을 수립한다.
• 본질적으로 베르발드 계량과 리만계량 사이에서 비자명한 지오데식 동치를 특징짓는 연립 PDE 시스템을 유도한다.
• 완비성 조건 하에서, 본질적으로 베르발드 계량과 리만계량 사이의 지오데식 동치가 애फ인 동치를 함의함을 증명한다.

제안 방법

• 주어진 베르발드 계량 $ F $ 와 애फ인 동치인 리만계량 $ g $ 를 구성함으로써, [MRTZ]의 구성에 영향을 받아 비엄격한 볼록성 경우에 적응시킨다.
• 지오데식 동치인 비자명한 리만계량이 존재하는 조건을 특징짓는 선형, 카우치-프로베니우스 유형의 PDE 시스템(식 6)을 유도한다.
• 해의 구조 분석을 위해 이동도 개념과 [KM]의 결과를 활용하여 대칭 텐서 $ a^{ij} $ 와 벡터장 $ \theta^i $ 의 행동에 집중한다.
• 고전적 벨트라미 정리를 적용하여, 평탄한 계량 $ \bar{g} $ 와 지오데식 동치인 리만계량 $ g $ 가 동시에 베르발드 계량 $ F $ 와 애फ인 동치이면, $ g $ 는 일정 곡률을 가져야 한다는 것을 보인다.
• 완비성 조건 하에서, $ g $ 의 호로노미 군이 단위 구면 위에서 추이적으로 작용하지 않으면서 $ g $ 가 평탄하지 않다면, $ F $ 는 이동 불변이어야 하며 따라서 미ṅ크ov스키 계량이 된다.
• PDE 시스템의 해의 선형 독립성과 와일의 정리를 활용하여 보조 방정식의 상수 $ B $ 가 0이어야 한다는 것을 증명함으로써, 지오데식 동치가 애फ인 동치를 함의함을 도출한다.

실험 결과

연구 질문

• RQ1 엄격한 볼록성 조건 없이도 모든 베르발드 계량이 애फ인 동치인 리만계량을 갖는가?
• RQ2 본질적으로 베르발드 계량과 지오데식 동치이지만 애फ인 동치가 아닌 리만계량이 성립하는 조건은 무엇인가?
• RQ3 모든 프로젝티브로 평탄한 베르발드 계량은 반드시 미ṅ크ov스키 계량인가, 즉 힐베르트의 네 번째 문제에 대한 페인슬러적 해석은 가능한가?
• RQ4 본질적으로 베르발드 계량과 지오데식 동치인 비자명한 리만계량이 존재하는지를 특징짓는 PDE 시스템은 무엇인가?
• RQ5 계량이 완비성 조건을 만족할 경우, 본질적으로 베르발드 계량과 리만계량 사이의 지오데식 동치가 애फ인 동치를 강제로 하는가?

주요 결과

• 엄격한 볼록성 조건 없이도 모든 베르발드 계량이 애फ인 동치인 리만계량을 갖는다.
• 리만계량이 본질적으로 베르발드 계량과 지오데식 동치이면서 두 계량이 모두 완비성 조건을 만족하면, 이는 애फ인 동치이기도 하다.
• 모든 프로젝티브로 평탄한 베르발드 계량은 반드시 미ṅ크ov스키 계량이어야 하며, 이는 힐베르트의 네 번째 문제에 대한 페인슬러적 대응을 제공한다.
• 본질적으로 베르발드 계량과 지오데식 동치인 비자명한 리만계량이 존재하는 것은 선형 PDE 시스템(카우치-프로베니우스 유형)의 해가 존재하는 것과 동치이다.
• 지오데식 동치를 지배하는 PDE 시스템은 관련 대칭 텐서와 벡터장이 특정 곡률 관련 항등식을 만족해야만 해가 존재하며, 보조 방정식의 상수 $ B $ 는 0이어야 한다.
• 지오데식 동치가 비자명할 경우 리만계량의 이동도는 최소 3 이상이 되며, 이는 동치 계량의 풍부한 구조를 의미한다.