[논문 리뷰] Finsler surfaces with prescribed geodesics

Juan-Carlos Álvarez-Paiva, Gautier Berck|arXiv (Cornell University)|2010. 02. 01.

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

한 줄 요약

이 논문은 허프 피브리케이션과 그라스만이안 기하학에 기반한 기하적 구성법을 사용하여 2-구면에서 모든 지오데식선이 원이 되는 모든 페인슬러 계량을 구성한다. 이는 2-다양체 위의 모든 가역 경로 기하학이 국소적으로 페인슬러 계량의 지오데식계로 나타나며, 2-구면에서의 모든 원형 경로 기하학이 홀수이자 초임계 함수를 통한 분류됨을 증명한다.

ABSTRACT

We construct all Finsler metrics on the two-sphere for which geodesics are circles and show that any (reversible) path geometry on a two-dimensional manifold is locally the system of geodesics of a Finsler metric.

연구 동기 및 목표

• 2-구면에서 모든 지오데식선이 원이 되는 모든 페인슬러 계량을 분류하는 것.
• 크로프톤 유형 적분 공식을 사용하여 초표면의 가닥으로부터 페인슬러 계량을 일반적으로 구성하는 것.
• 2차원 다양체 위의 모든 가역 경로 기하학이 국소적으로 페인슬러 계량의 지오데식계로 나타남을 보이는 것.
• R⁴의 2-평면의 그라스만이안에 대한 매개변수화를 통해 2-구면에서의 원형 경로 기하학을 특성화하는 것.
• 원형 지오데식선의 맥락에서 리만계량과 페인슬러 계량의 차이를 명확히 하여, 리만계량의 경우 오직 일정 곡률 계량만이 나타남을 보이는 것.

제안 방법

• S³ → S²인 허프 피브리케이션 π를 사용하여 R⁴의 정렬된 2-평면을 S² 상의 원으로 올리는 것.
• G̃₂(R⁴) ≅ S²₊ × S²₋인 정렬된 그라스만이안의 부분다양체를 통해 원형 경로 기하학을 매개변수화하는 것.
• 크로프톤 유형 적분 공식을 통한 S² 상의 페인슬러 계량 구성: ∫F(ċ(t)) dt = ∫Γ # (γ ∩ c) dμ(γ), 여기서 μ는 매개변수 공간 Γ 상의 양의 측도이다.
• 함수 κ: S²₊ → R를 S²₊ → S²₋로 올리는 특정 공식을 사용하여 S² 상의 원의 가용한 가닥을 특성화하는 것.
• F²에 대한 이차 볼록성 조건을 적용하여 페인슬러 계량이 잘 정의되고 지오데식선이 지정된 곡선과 일치하도록 보장하는 것.
• 2차원에서는 크로프톤 공식이 페인슬러 계량의 지오데식선을 특성화하므로, 적분 기하학과 페인슬러 기하학을 연결하는 것.

실험 결과

연구 질문

• RQ1 S² 상의 어떤 페인슬러 계량이 모든 지오데식선을 원으로 갖는가?
• RQ2 2차원 다양체 위의 모든 가역 경로 기하학이 페인슬러 계량의 지오데식계로 실현될 수 있는가?
• RQ3 2-구면에서 원형 경로 기하학의 완전한 분류는 무엇인가?
• RQ4 크로프톤 공식을 통한 페인슬러 계량 구성법과 S³* 상의 불변 측도를 통한 방법 간의 관계는 무엇인가?
• RQ5 주어진 경로 기하학이 리만계량의 지오데식계로 실현되는 데 있어 장애 요소는 무엇인가?

주요 결과

• 지오데식선이 원인 S² 상의 모든 페인슬러 계량은 홀수이자 C¹ 함수 κ: S²₊ → R이며 ||∇κ|| < 1 + κ²를 만족하는 것으로 그라스만이안 G̃₂(R⁴)의 매개변수화를 통해 구성된다.
• 이 구성은 두 개의 두 변수 함수에 의존하는 일차 매개변수 가닥을 제공하여, 일반 해가 불변 구성보다 더 풍부함을 보여준다.
• 원형 지오데식선을 갖는 유일한 리만계량은 일정 곡률 계량이며, 카호반스키의 결과와 벨트라미의 정리에 의해 이를 입증한다.
• 구성된 페인슬러 계량은 원점에서 지수 사상의 C² 정규성 실패로 인해 반드시 리만계량이 되지 않는다.
• 고정 반지름 원으로 이루어진 비가역 경로 기하학은 허프-리노어 정리의 한 형태에 따라 국소적으로만 정의된 페인슬러 계량을 유도할 수 있다.
• 크로프톤 공식 구성은 비가역 페인슬러 계량을 생성하지 못하므로, 더 넓은 프레임워크로 자기장 라그랑지안의 사용이 필요하다.