[논문 리뷰] Length structures on manifolds with continuous Riemannian metrics

Annegret Burtscher|arXiv (Cornell University)|2012. 12. 31.

Geometric Analysis and Curvature Flows참고 문헌 19인용 수 26

한 줄 요약

이 논문은 연속 리만계량을 지닌 다양체에서, 절대 연속 곡선의 호의 길이가 리만 거리에 의해 유도된 거리 길이와 일치함을 증명한다. 연속 계량의 매끄러운 근사와 거리 도함수 및 해석 도함수의 수렴을 분석하여, 매끄럽지 않은 경우에도 표준 호의 길이 구조가 유지됨을 입증함으로써, 저등규칙성 리만 기하학에서의 핵심적 빈도를 메운다.

ABSTRACT

It is well-known that the class of piecewise smooth curves together with a smooth Riemannian metric induces a metric space structure on a manifold. However, little is known about the minimal regularity needed to analyze curves and particularly to study length-minimizing curves where neither classical techniques such as a differentiable exponential map etc. are available nor (generalized) curvature bounds are imposed. In this paper we advance low-regularity Riemannian geometry by investigating general length structures on manifolds that are equipped with Riemannian metrics of low regularity. We generalize the length structure by proving that the class of absolutely continuous curves induces the standard metric space structure. The main result states that the arc-length of absolutely continuous curves is the same as the length induced by the metric. For the proof we use techniques from the analysis of metric spaces and employ specific smooth approximations of continuous Riemannian metrics. We thus show that when dealing with lengths of curves, the metric approach for low-regularity Riemannnian manifolds is still compatible with standard definitions and can successfully fill in for lack of differentiability.

연구 동기 및 목표

• 메트릭 공간의 구조를 통해 곡선 길이를 일관되게 정의할 수 있는 리만 계량의 최소 정규성 조건을 규명하는 것.
• 낮은 규칙성 환경(예: $C^0$ 계량)에서 고전적 도구인 지수 사상의 실패를 다루는 것.
• 일반적으로 $C^{1,1}$ 정규성이 없을 경우에도 절대 연속 곡선의 집합이 조각별로 매끄러운 곡선과 동일한 길이 구조를 유도함을 보이는 것.
• 연속 리만 다양체에서 절대 연속 경로에 대해 메트릭 도함수와 해석 도함수의 등가성을 확립하는 것.
• 해당 다양체에서 표준 호의 길이 기능이 메트릭에 의해 유도된 길이 기능과 일치함을 보이는 것.

제안 방법

• 분할 단위 기법과 국소적 $C^0$-근사를 사용하여 연속 리만 계량 $g$의 매끄러운 근사 $g_n$을 구성하는 것.
• 계량 $g_n$에 의해 유도되는 거리 함수 $d_n$이 원래 거리 $d$로 균일 수렴함을 증명하는 것.
• $g_n$이 $g$로 수렴하고, 매끄러운 계량에 대해 $|\dot{\gamma}|_n = \|\gamma'\|_{g_n}$이 성립하므로 극한으로 넘어가는 것.
• 파투의 보조정리와 메트릭 도함수 정의를 적용하여 $\gamma \in \mathcal{A}_{\mathrm{ac}}$에 대해 $L_d(\gamma) = \int_I |\dot{\gamma}|(t)\,dt$를 보이는 것.
• 매끄러운 근사 하에서 메트릭 도함수의 수렴을 통해 거의 어디서나 $|\dot{\gamma}|(t) = \|\gamma'(t)\|_g$임을 확립하는 것.
• 절대 연속 경로 위의 변분 위상 구조를 활용하여 조각별로 매끄러운 곡선이 $\mathcal{A}_{\mathrm{ac}}$에서 밀도를 이룸을 보이는 것.

실험 결과

연구 질문

• RQ1 계량이 매끄럽지 않고 연속 뿐일 경우에도 리만 다양체에서 표준 길이 구조가 유지될 수 있는가?
• RQ2 연속 계량($C^0$ 설정)에서 절대 연속 곡선의 호의 길이가 리만 거리에 의해 유도된 거리 길이와 동일한가?
• RQ3 계량이 연속일 경우 절대 연속 곡선의 메트릭 도함수가 그 해석 도함수의 노름과 거의 어디서나 일치하는가?
• RQ4 연속 리만 계량의 매끄러운 근사를 사용하여 고전 기하 성질(예: 길이 등가성)을 복원할 수 있는가?
• RQ5 still allows for a consistent theory of length-minimizing curves?

주요 결과

• 연속 리만 계량을 지닌 다양체에서 모든 절대 연속 곡선 $\gamma$에 대해 호의 길이 $L(\gamma)$와 메트릭에 의해 유도된 길이 $L_d(\gamma)$가 일치한다.
• 해당 다양체에서 메트릭 도함수 $|\dot{\gamma}|(t)$는 거의 어디서나 해석 도함수의 노름 $\|\gamma'(t)\|_g$와 일치한다.
• 연속 계량 $g$의 매끄러운 근사 $g_n$은 원래 거리 $d$로 수렴하는 거리 함수 $d_n$을 유도한다.
• 절대 연속 곡선의 집합은 $C^{1,1}$ 정규성이 없을 경우에도 조각별로 매끄러운 곡선과 동일한 길이 구조를 유도한다.
• 모든 $\gamma \in \mathcal{A}_{\mathrm{ac}}$에 대해 $L = L_d = \widetilde{L}$이 성립하며, 여기서 $\widetilde{L}(\gamma) = \int_I |\dot{\gamma}|(t)\,dt$이다.
• 변분 위상 구조에 의해 $\mathcal{A}_{\mathrm{ac}}$에서 조각별로 매끄러운 곡선의 밀집 부분집합이 전체 길이 구조를 결정하는 데 충분하다.