[논문 리뷰] On total flexibility of local structures of Finsler tori without conjugate points

Dong Chen|arXiv (Cornell University)|2013. 10. 28.

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

한 줄 요약

이 논문은 2차원 다양체 위의 임의의 국소 Finsler 구조가 공액점이 없는 Finsler 원환면에 등거리 임bedding될 수 있음을 입증하며, 이러한 임베딩에 대한 국소적 장애물의 부재를 보여준다. 핵심 방법은 Busemann 유형 함수에서 유도된 변형된 둘러싸는 함수를 구성하는 것으로, 이는 Finsler 계량을 복원하고 결과적으로 원환면 계량이 매끄럽고 공액점이 없는 것을 보장한다. 또한 원래 계량이 대칭일 경우 대칭성을 유지할 수도 있다.

ABSTRACT

We show that given a point on a Finsler surface, one can always find a neighborhood of the point and isometrically embed this neighborhood into a Finsler torus without conjugate points.

연구 동기 및 목표

• 표면 위의 국소 Finsler 구조가 공액점이 없는 전역적으로 정의된 Finsler 원환면에 임베딩될 수 있는지 조사한다.
• 리만 기하학에서의 엄격한 경우와 대비하여, Finsler 설정에서 이러한 임베딩을 구성하는 데 내재된 국소적 장애물이 있는지 판별한다.
• Busemann 함수의 개념을 더 일반적인, 사선에 의존하지 않는 둘러싸는 함수 프레임워크로 확장하여 Finsler 계량을 포괄한다.
• 공액점의 부재가 비대칭인 경우조차도 Finsler 계량에 국소적 제약을 가하지 않음을 입증한다.
• 원래 계량이 대칭일 경우, 임베딩 과정에서 대칭성을 유지할 수 있음을 보장한다.

제안 방법

• 기저점을 통과하는 지표선에 대한 거리 함수를 사용하여, $ \partial D_\epsilon \times D_\epsilon $ 위에 $ C^k $-매끄러운 둘러싸는 함수 $ F $ 를 정의한다.
• 평면 $ \mathbb{R}^2 $ 위의 일정한 Finsler 계량 $ \varphi_0 $ 를 위한 기준 둘러싸는 함수 $ F^0 $ 를 구성한다. 이는 변형의 모델이 된다.
• 단위 분할을 통해 $ F^0 $ 을 $ \partial D_\epsilon \times \mathbb{R}^2 $ 위의 새로운 함수 $ \tilde{F} $ 로 변형하여, $ \tilde{F} $ 가 $ C^k $-소규모 변형임을 보장한다.
• 레마 1을 이용해 $ \tilde{F} $ 가 $ \mathbb{R}^2 $ 위의 $ C^k $ Finsler 계량 $ \tilde{\varphi} $ 의 둘러싸는 함수임을 보이며, 이는 $ D_\epsilon $ 에서 원래 계량 $ \varphi $ 와 일치하고 더 큰 원판 외부에서는 $ \varphi_0 $ 와 일치한다.
• 원래 계량이 대칭일 경우, 반대칭 조건 $ F(p,x) = -F(-p,x) $ 를 이용해 $ \tilde{F} $ 의 대칭형을 구성하고, 대칭 거리 함수 $ \tilde{d}(x,y) = \max_p \tilde{F}(p,x) - \tilde{F}(p,y) $ 를 정의한다.
• 레마 2에 의해 보장되는 바와 같이, $ \tilde{d} $ 의 방향 도함수로 Finsler 계량 $ \tilde{\varphi}(x,v) $ 를 정의함으로써, $ \tilde{\varphi} $ 가 $ C^k $ 이고 공액점이 없는 것을 확보한다.

실험 결과

연구 질문

• RQ1 표면 위의 모든 국소 $ C^k $ Finsler 구조는 공액점이 없는 Finsler 원환면에 등거리 임베딩될 수 있는가?
• RQ2 Finsler 원환면에서 공액점이 없는 것은 가능한 Finsler 계량에 대해 국소적 제약을 가하는가?
• RQ3 이러한 임베딩의 구성이 원래 Finsler 계량의 대칭성을 유지할 수 있는가?
• RQ4 특정 지표선에 의존하지 않고 Finsler 계량을 전역적으로 재구성할 수 있는 Busemann 함수의 일반화가 존재하는가?
• RQ5 공액점이 없는 Finsler 원환면의 지표선 흐름은 평탄한 Finsler 원환면의 지표선 흐름과 매끄럽게 동치일 수 있는가?

주요 결과

• 모든 $ C^k $ Finsler 표면 계량($ k \geq 3 $)은 공액점이 없는 $ C^k $ Finsler 원환면에 국소 등거리 임베딩을 갖는다.
• 이러한 구성은 일정한 Finsler 계량과 관련된 기준 둘러싸는 함수를 변형하여 이루어지며, 결과 계량이 $ C^k $-매끄럽고 공액점이 없는 것을 보장한다.
• 결과로 얻어진 Finsler 원환면 계량 $ \tilde{\varphi} $ 는 점 $ p_0 $ 근처에서 원래 계량 $ \varphi $ 와 일치하여 국소 기하학을 유지한다.
• 원래 Finsler 구조가 대칭일 경우, 구성된 임베딩은 대칭성을 유지할 수 있으며, 이로 인해 대칭적인 $ \tilde{\varphi} $ 가 얻어진다.
• 이 방법은 결과 원환면의 모든 지표선이 최소화됨을 보장하며, 이는 레마 2에 의해 공액점의 부재를 암시한다.
• 둘러싸는 함수 프레임워크는 지표선에 의존하지 않는 Finsler 계량의 재구성 가능성을 허용하며, Busemann 함수의 역할을 일반화한다.