[논문 리뷰] Asymmetry in Hilbert's fourth problem

Juan-Carlos Álvarez Paiva|arXiv (Cornell University)|2013. 01. 11.

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

한 줄 요약

이 논문은 실수 사영 공간이나 구와 같은 컴acts rank-one 대칭 공간 위의 지오데식적으로 가역적인 Zoll Finsler 계량에서, 대칭적이지 않은 Hilbert의 네 번째 문제를 해결한다. 이는 모든 지오데식적으로 가역적인 Zoll Finsler 계량이 반사 가능한 Zoll 계량과 완전 1형식의 합임을 증명한다. 증명은 Holmes-Thompson 체적, Brunn-Minkowski 부등식, 그리고 약한 Blaschke 추측을 결합하여, 전체 사영 공간 위의 비반사적인 사영 Finsler 계량이 이 경우에 대해 비자명하지 않음을 보여준다.

ABSTRACT

In the asymmetric setting, Hilbert's fourth problem asks to construct and study all (non-reversible) projective Finsler metrics: Finsler metrics defined on open, convex subsets of real projective $n$-space for which geodesics lie on projective lines. While asymmetric norms and Funk metrics provide many examples of essentially non-reversible projective metrics defined on proper convex subsets of projective $n$-space, it is shown that any projective Finsler metric defined on the whole projective $n$-space is the sum of a reversible projective metric and an exact 1-form.

연구 동기 및 목표

• 실수 사영 n차원 공간 상의 비반사적인 사영 Finsler 계량을 특성화하여 비대칭 Hilbert의 네 번째 문제를 해결하는 것.
• 콤���트 rank-one 대칭 공간 상의 지오데식적으로 가역적인 Finsler 계량이 반사 가능한 성분과 완전 1형식 성분으로 분해될 수 있는지 여부를 규명하는 것.
• Berck의 2차원 사영 Finsler 계량 결과를 고차원 및 더 일반적인 경로 기하학으로 확장하는 것.
• 체적과 쌍대성 기법을 사용하여 대칭성과 닫힌 1형식을 포함한 Zoll Finsler 계량의 구조적 분류를 수립하는 것.
• Holmes-Thompson 체적과 심플렉틱 기하학이 리만 기하학 외의 Finsler 기하학에서 수행하는 역할을 명확히 하는 것.

제안 방법

• 심플렉틱 변환에 대해 불변인 체적의 성질을 활용하여 Finsler 계량을 비교하기 위해 Holmes-Thompson 체적을 심플렉틱 불변량으로 사용한다.
• 접공간의 쌍대 코볼록스체의 Brunn-Minkowski 부등식을 적용하여 비대칭 볼록체의 체적을 비교한다.
• Finsler 계량 $ L $ 의 대칭화를 $ \bar{L} = (L + L \circ a)/2 $ 로 정의한다. 여기서 $ a $ 는 접벡터의 방향을 뒤집는 연산자이다.
• Weinstein, Yang, Reznikov에 의해 증명된 약한 Blaschke 추측을 적용하여, 사영적으로 동치인 Zoll 계량의 Holmes-Thompson 체적이 동일하다는 것을 보장한다.
• Crampin의 보조정리를 사용하여, 반사 가능한 Finsler 계량에 1형식을 더했을 때 지오데식 가역성이 유지되는 것은 그 1형식이 닫혀 있을 경우에 한하여 성립한다는 것을 보여준다.
• 약한 Blaschke 추측에서 유도된 체적 동치와 Brunn-Minkowski 부등식의 등호 조건을 결합하여, 계량이 그 대칭화와의 차이가 완전 1형식임을 유도한다.

실험 결과

연구 질문

• RQ1 콤팩트 rank-one 대칭 공간 위의 지오데식적으로 가역적인 Zoll Finsler 계량은 항상 반사 가능한 Zoll 계량과 완전 1형식의 합으로 분해될 수 있는가?
• RQ2 전체 실수 사영 n차원 공간 상에 비자명한 비반사적인 사영 Finsler 계량이 존재하는가?
• RQ3 사영 등가 조건 하에서, Holmes-Thompson 체적이 비반사적 Zoll 계량과 반사적 Zoll 계량을 구분할 수 있는가?
• RQ4 비대칭성이 존재할 경우, Finsler 계량의 대칭화가 지오데식 구조를 어느 정도 유지하는가?
• RQ5 Brunn-Minkowski 부등식은 접공간 상의 Finsler 계량의 비대칭성에 어떤 제약을 가하는가?

주요 결과

• 콤팩트 rank-one 대칭 공간과 미분동형인 다양체 상의 지오데식적으로 가역적인 Zoll Finsler 계량은 항상 반사 가능한 Zoll 계량과 완전 1형식의 합이다.
• Finsler 다양체의 Holmes-Thompson 체적은 그 대칭화의 체적보다 작거나 같으며, 등호가 성립하는 것은 계량이 그 대칭화와의 차이가 1형식일 경우에 한하여 성립한다.
• $ \mathbb{R}P^n $ 상의 사영 Finsler 계량에 대해서는, 비반사적인 예외적인 경우는 유일하게 반사 가능한 계량과 완전 1형식의 합으로 유도되는 비자명하지 않은 경우에 국한된다.
• 지오데식적으로 가역적인 Finsler 계량의 대칭화된 계량은 원래 계량과 사영적으로 동치이며, 재매개변수화를 제외한 지오데식 경로를 유지한다.
• 코탄젠트 번들의 Brunn-Minkowski 부등식의 등호 조건은 각 점에서의 쌍대 볼록체가 평행이동을 제외하고 대칭적임을 의미하며, 이는 1형식 분해로 이어진다.
• 대칭화된 계량에 더해진 1형식은 닫혀 있다 (그리고 다양체의 위상적 성질로 인해 반드시 완전하다). 이는 Crampin의 보조정리에 따라 지오데식 가역성을 유지하기 위한 조건이다.