[논문 리뷰] Geometric conditions for the existence of an intrinsic rolling

Mauricio Godoy Molina, Erlend Grong|arXiv (Cornell University)|2011. 11. 03.

Advanced Differential Geometry Research참고 문헌 10인용 수 6

한 줄 요약

이 논문은 두 리만 다양체 간의 내재된 굴림 운동( slipping 또는 twisting 없이)이 존재하기 위한 기하학적 조건을 설정한다. 굴림이 존재하기 위한 필요충분조건은 해당 곡선의 지측 곡률이 일치한다는 것이다. 이를 절대 연속 곡선으로 일반화하기 위해 반발전(anti-development) 개념을 도입한다. 주요 기여는 내재적인 미분기하학을 이용한 굴림 존재성의 완전한 특성화이며, 이는 고리 끌림과 구성공간 위상수학에 응용된다.

ABSTRACT

We give a complete answer to the question of when two curves in two different Riemannian manifolds can be seen as trajectories of rolling one manifold on the other without twisting or slipping. We show that up to technical hypotheses, a rolling along these curves exists if and only if the geodesic curvatures of each curve coincide. By using the anti-developments of the curves, which we claim can seen of as a generalization of the geodesic curvatures, we are able to extend the result to arbitrary absolutely continuous curves. For a manifold of constant sectional curvature rolling on itself, two such curves can only differ by an isometry. In the case of surfaces, we give conditions for when loops in the manifolds lift to loops in the configuration space of the rolling.

연구 동기 및 목표

• 다른 리만 다양체에 있는 두 곡선이 미끄럼이나 비틀림 없이 굴림 운동의 궤적으로 실현될 수 있는 필요충분 기하학적 조건을 규명하는 것.
• 반발전 개념을 이용해 일반적인 절대 연속 곡선으로 고전적인 지측 곡률 개념을 일반화하는 것.
• 특히 표면에 대해, 다양체 내의 고리가 굴림 운동의 구성공간에서 고리로 올라가는 조건을 규명하는 것.
• 유클리드 공간에 임베딩된 것에 의존하지 않는 내재적이고 좌표 자유인 굴림의 프레임워크를 제공하는 것.
• 원천 다양체의 곡선과 곡률 자료만으로 고차원에서 굴림 운동을 구성적으로 구축할 수 있는 알고리즘을 제공하는 것.

제안 방법

• 논문은 좌표 자유이고 내재적인 굴림 사상의 수식을 사용하여, 굴림을 미분기하학적 구조(메트릭 및 접속)를 유지하면서 비틀림이나 미끄럼 없이 정의한다.
• 곡선의 반발전은 지측 곡률의 일반화로, 거의 everywhere에서 도함수가 정의된 곡선의 처리를 가능하게 한다.
• $ C^n $-정규 곡선의 경우, Frenet 프레임과 곡률 함수 $ \kappa_1(t), \dots, \kappa_{n-1}(t) $ 를 사용하여 모델 다양체 $ \widehat{M} $ 내의 목표 곡선 $ \widehat{x}(t) $ 를 구성한다.
• 굴림 변환 $ q(t) $ 는 평행 이동과 프레임 정렬을 통해 정의되며, $ q(t)v_j(t) = \widehat{v}_j(t) $ 를 만족한다. 여기서 $ v_j $ 와 $ \widehat{v}_j $ 는 Frenet 벡터장이다.
• 정규직교 기저 $ a(t) \in \mathrm{SO}(n) $ 의 진화는 다음의 ODE 시스템에 의해 결정된다: $ \dot{a} = aK - \sum_s a_{s1} \widehat{\Gamma}_s a $, 여기서 $ K $ 는 곡률의 삼중대각 반대칭 행렬이다.
• 대칭성 또는 일정한 크리스톼프 기호를 가진 모델 공간, 예를 들어 $ \mathbb{R}^n $, $ S^n $, 및 $ \mathrm{SU}(2) $ 에서는 해가 명시적으로 유도되며, 이는 방정정식이 단순화되기 때문이다.

실험 결과

연구 질문

• RQ1 다른 리만 다양체에 있는 두 곡선이 미끄럼이나 비틀림 없이 굴림 운동의 궤적으로 실현될 수 있는 기하학적 조건은 무엇인가?
• RQ2 미끄럼이나 비틀림 없이 굴림 운동의 궤적으로 실현될 수 있는 기하학적 조건은 무엇인가?
• RQ3 지속적인 곡률이 있는 곡선에 대해 Frenet 프레임이 잘 정의되지 않을 수 있는 절대 연속 곡선으로 지측 곡률 개념을 어떻게 일반화할 수 있는가?
• RQ4 리만 다양체 내의 닫힌 곡선(고리)이 굴림 운동의 구성공간에서 닫힌 곡선으로 올라가는 조건은 무엇인가?
• RQ5 유클리드 공간에 임베딩된 것에 의존하지 않는, 추상적인 리만 다양체 간 굴림 사상의 내재적 특성화는 무엇인가?
• RQ6 주어진 곡선과 원천 다양체의 곡률 자료만으로 굴림 운동을 알고리즘적으로 어떻게 구성할 수 있는가?

주요 결과

• 기술적 정규성 조건 하에, 두 리만 다양체 간 굴림 운동이 존재하기 위한 필요충분조건은 해당 곡선의 지측 곡률이 일치한다는 것이다.
• $ C^n $-정규 곡선과 $ C^{n-1} $-정규성 조건 하에, 굴림의 존재성은 목표 다양체 내에서 Frenet 곡률과 초기 프레임 방향이 일치하는 곡선의 존재성과 동치이다.
• 곡선의 반발전은 지측 곡률을 일반화하며, 이는 굴림 존재 조건을 절대 연속 곡선으로 확장할 수 있게 한다.
• 표면의 경우, 고리는 구성공간에서 고리로 올라간다. 이는 고리의 전체 호로노미(통합 곡률)가 자명할 때, 즉 호로노미가 초기 프레임의 등장사상이 될 때에만 성립한다.
• 일정한 섹션 곡률을 가진 다양체가 자기 자신 위에서 굴림을 할 경우, 두 곡선는 등장사상으로만 다를 수 있으며, 이는 이러한 기하학의 강성(rigidity)을 반영한다.
• $ \mathbb{R}^n $, $ S^n $, 및 $ \mathrm{SU}(2) $ 에서 굴림 운동의 명시적 해가 도출되었으며, 정규직교 기저 $ a(t) $ 의 진화는 곡률에 의존하는 ODE에 의해 결정되며, 이는 행렬 $ K(t) $ 와 크리스톼프 기호를 포함한다.