[논문 리뷰] Zermelo navigation in pseudo-Finsler metrics

Miguel Ángel Javaloyes, Henrique Vitório|arXiv (Cornell University)|2014. 12. 01.

Advanced Differential Geometry Research참고 문헌 17인용 수 11

한 줄 요약

이 논문은 탄성 다발의 원추 영역 위에서 페세우드-핀슬러 계량을 일반화하여, 벡터장 $W$에 의한 페세우드-핀슬러 계량 $F$의 이동을 정의함으로써 새로운 계량 $\hat{F}$를 도입한다. 이는 매트수모 텐서가 0이 되는 것과 $F$가 반세미리만드계량의 이동임이 동치임을 증명하며, $W$가 등장성 벡터장일 경우 $\hat{F}$의 플래그 곡률은 $F$의 곡률에서 음수 또는 0인 상수 $\frac{\sigma^2}{4}$만큼 감소하며, 이 때 지선은 $W$의 흐름을 통해 관련된다. 이는 고전 결과를 페세우드-핀슬러 설정으로 확장한다.

ABSTRACT

We generalize the notion of Zermelo navigation to arbitrary pseudo-Finsler metrics possibly defined in conic subsets. The translation of a pseudo-Finsler metric $F$ is a new pseudo-Finsler metric whose indicatrix is the translation of the indicatrix of $F$ by a vector field $W$ at each point, where $W$ is an arbitrary vector field. Then we show that the Matsumoto tensor of a pseudo-Finsler metric is equal to zero if and only if it is the translation of a semi-Riemannian metric, and when $W$ is homothetic, the flag curvature of the translation coincides with the one of the original one up to the addition of a non-positive constant. In this case, we also give a description of the geodesic flow of the translation.

연구 동기 및 목표

• 탄성 다발의 원추 부분집합 위에서 정의된 페세우드-핀슬러 계량으로의 제르멜로 내비게이션 문제를 일반화한다.
• 벡터장 $W$에 의한 페세우드-핀슬러 계량 $F$의 이동을 정의하고, 이로 생성된 새로운 계량 $\hat{F}$의 기하적 성질을 연구한다.
• 페세우드-핀슬러 설정에서 매트수모 텐서의 영함을 통해 페세우드-란더스-크로피나 계량을 특성화한다.
• 벡터장 $W$가 등장성일 경우 $F$와 $\hat{F}$의 지선 흐름과 플래그 곡률 간의 관계를 규명한다.
• 등각 곡률이 일정한 란더스 및 크로피나 계량에 대한 기존 결과를 더 넓은 페세우드-핀슬러 프레임워크로 일반화한다.

제안 방법

• 각 점 $p \in M$ 에서 $F$의 지표계를 $W_p$로 이동시켜 $\hat{F}$의 지표계를 구성함으로써, 페세우드-핀슬러 계량 $F$의 벡터장 $W$에 의한 이동을 정의한다.
• 기본 텐서의 부호를 고려하여 고전 정의를 수정함으로써, 원추형 페세우드-핀슬러 계량에 대한 매트수모 텐서를 도입한다.
• 아핀 미분기하 기법을 사용하여, 원추형 페세우드-핀슬러 계량이 페세우드-란더스-크로피나 유형임과 동치인 조건으로서 매트수모 텐서가 항등적으로 0이 되는 것을 증명한다.
• Legendre 변환 간의 쌍대 관계를 설정하여, 이동 유형에 따라 $\hat{F}^*(\xi) = F^*(\xi) + W(\xi)$ 또는 $\hat{F}^*(\xi) = -\tilde{F}^*(\xi) + W(\xi)$ 임을 보인다.
• 레마 5.13을 적용하여 $F$와 $\hat{F}$의 코지선 흐름을 연결하며, $W$가 등장성일 경우 $\hat{\gamma}(t) = \psi_t^W(\gamma(f(t)))$ 를 증명한다. 여기서 $f(t) = (e^{\sigma t} - 1)/\sigma$ ($\sigma \neq 0$) 이며, $\sigma = 0$ 이면 $f(t) = t$ 이다.
• 플래그 곡률 관계식 $K_{\hat{F}}(u, \Pi) = K_F(u/\hat{F}(u) - W, \tilde{\Pi}) - \frac{\sigma^2}{4}$ 를 유도하여, 등장성 이동에 의해 곡률이 음수 또는 0인 상수만큼 감소함을 보인다.

실험 결과

연구 질문

• RQ1 원추형 페세우드-핀슬러 계량이 페세우드-란더스-크로피나 계량과 동치가 되는 조건은 무엇이며, 이를 특성화하는 기하적 조건은 무엇인가?
• RQ2 페세우드-핀슬러 설정에서 매트수모 텐서는 어떻게 행동하며, 그가 0이 되는 것은 계량의 구조에 대해 어떤 의미를 갖는가?
• RQ3 등장성 벡터장 $W$에 의한 페세우드-핀슬러 계량 $F$의 지선 흐름과 그 이동된 계량 $\hat{F}$의 지선 흐름 간의 관계는 무엇인가?
• RQ4 등장성 이동 하에서 $\hat{F}$의 플래그 곡률은 $F$의 곡률과 어떻게 관련되어 있으며, 그 정량적 차이는 무엇인가?
• RQ5 랜더스 및 크로피나 계량에서 등각 곡률이 일정한 결과들을 내비게이션을 통해 더 넓은 페세우드-핀슬러 계량의 클래스로 일반화할 수 있는가?

주요 결과

• 원추형 페세우드-핀슬러 계량의 매트수모 텐서가 항등적으로 0이 되는 것은 그 계량이 반세미리만드계량의 이동임과 동치이다.
• 벡터장 $W$가 등장성일 경우, 이동된 계량 $\hat{F}$의 플래그 곡률은 방향이 변환된 $F$의 곡률을 평가한 후 음수 또는 0인 상수 $\frac{\sigma^2}{4}$를 빼면 된다.
• 단위 속도 지선 $\hat{\gamma}(t)$ 는 $\hat{\gamma}(t) = \psi_t^W(\gamma(f(t)))$ 로 주어지며, 여기서 $f(t) = \frac{e^{\sigma t} - 1}{\sigma}$ ($\sigma \neq 0$) 이고 $\sigma = 0$ 이면 $f(t) = t$ 이며, $\gamma$ 는 $F$의 지선이다.
• 만약 $F$가 지선 완비이고 $W$가 완비인 등장성 벡터장이라면, $\hat{F}$ 역시 지선 완비이다.
• Legendre 쌍대는 $\hat{F}^*(\xi) = F^*(\xi) + W(\xi)$ 또는 $\hat{F}^*(\xi) = -\tilde{F}^*(\xi) + W(\xi)$ 로 관련되며, 이는 이동이 직선인지 역방향인지에 따라 달라진다.
• 등각 곡률이 일정한 모든 페세우드-란더스-크로피나 계량은 등장성 벡터장에 의한 반세미리만드계량(등각 곡률이 일정한)의 이동으로서 나타나며, 이러한 계량은 전체 다발 위에서 지선 완비이다.