[논문 리뷰] Nonlinear splittings on fibre bundles

S. Hajdú, Tom Mestdag|arXiv (Cornell University)|2021. 07. 01.

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

한 줄 요약

이 논문은 수평 옮김이 선형이 아니어야 하는 조건을 완화한 Ehresmann 접속의 일반화로서 섬유 다발 위의 비선형 분할을 도입한다. 이러한 분할에 대해 곡률 맵을 정의하고, 약속형 비편이 제약 조건과 자기력이 작용하는 라그랑주계에서의 역할을 보여주며, 곡률이 0이면 사영적인 2차 미분방정식과 기저 다발 위에서의 축소된 역학이 발생함을 보인다.

ABSTRACT

We introduce the notion of a nonlinear splitting on a fibre bundle as a generalization of an Ehresmann connection. We present its basic properties and we pay attention to the special cases of affine, homogeneous and principal nonlinear splittings. We explain where nonlinear splittings appear in the context of Lagrangian systems and Finsler geometry and we show their relation to Routh symmetry reduction, submersive second-order differential equations and unreduction. We define a curvature map for a nonlinear splitting, and we indicate where this concept appears in the context of nonholonomic systems with affine constraints and Lagrangian systems of magnetic type.

연구 동기 및 목표

• 수평 옮김의 선형성 조건을 완화함으로써 Ehresmann 접속의 개념을 일반화하여 비선형 분할을 도입한다.
• 특히 편이 제약 조건과 자기력 라그랑주계의 맥락에서 비선형 분할의 곡률을 정의하고 연구한다.
• 비선형 분할이 섬유-정규 라그랑주함수로부터 유도되는 조건을 설정하고, 대칭 축소 및 사영적인 2차 미분방정식과의 관련성을 규명한다.
• 페인슬 기하학에서 동차 비선형 분할의 기하학적 의미를 탐구하고, 지오데식 재매개변수화 및 페인슬 사영과의 관련성을 밝힌다.

제안 방법

• 비선형 분할을 매끄럽고 섬유를 유지하며 Tπ-호환되는 맵 h: π*TN → TM로 정의하며, 그 이미지 H = Im h 가 TM의 수평 부분다양체가 되도록 한다.
• 은둔함수정리(implicit function theorem)를 사용하여 섬유-정규 라그랑주함수로부터 비선형 분할을 구성함으로써, 레전드르 변환을 통한 수평 분포의 잘 정의됨을 보장한다.
• 비선형 분할의 곡률 맵 R̄ 를 도입하며, 이는 수평 분포의 비통합성에서 유도되며 Ehresmann 접속의 곡률을 일반화한다.
• 자기력 항과 약속형 제약 조건이 있는 라그랑주계에 이 형식을 적용하여, 곡률이 0이면 사영성과 기저 역학의 분리가 발생함을 보인다.
• 특히 2+-homogeneous 라그랑주함수(예: 페인슬 계량의 에너지)에서 비선형 분할이 동차가 되는 조건을 설정한다.
• 결과를 Routh 및 라그랑주-포앙카레 축소와 연결하여, 적절한 대칭성과 곡률 조건 하에서 총 다발 위의 해가 축소된 기저 다발 위의 해로 투영됨을 보여준다.

실험 결과

연구 질문

• RQ1 Ehresmann 접속의 개념은 선형 수평 옮김을 초월하여 섬유 다발 위의 비선형 분할로 어떻게 일반화될 수 있는가?
• RQ2 특히 약속형 제약 조건이나 자기력이 작용하는 시스템에서 비선형 분할의 기하학적 및 역학적 의미는 무엇인가? 특히 곡률의 의미는 무엇인가?
• RQ3 섬유-정규 라그랑주함수가 섬유 다발 위에 정의될 때, 비선형 분할이 동차이거나 주 연속접속과 대응하는 조건은 무엇인가?
• RQ4 비선형 분할은 기계계에서 Routh 및 라그랑주-포앙카레 축소와 같은 대칭 축소 기법과 어떻게 관련이 있는가?
• RQ5 페인슬 에너지 함수에 대한 동차 비선형 분할은 지오데식 매개변수화 및 사영의 기하학적 성질을 어떻게 유지하는가?

주요 결과

• 비선형 분할은 매끄럽고 섬유를 유지하며 Tπ-호환되는 맵 h: π*TN → TM로 정의되며, 그 이미지는 분포가 아니라 TM의 부분다양체이다.
• 비선형 분할의 곡률은 정의되며, 이 곡률이 0이 되는 것과 관련된 2차 미분방정식이 사영적임(기저 적분곡선이 기저 다발 위의 해로 투영됨)은 동치임을 보였다.
• 자기력 항이 있는 라그랑주계에서 유도된 비선형 분할의 곡률은 수평 및 수직 역학 간의 결합을 제어한다; 곡률이 0이면 시스템이 분리된다.
• 라그랑주함수가 2+-homogeneous일 경우(예: 페인슬 계량의 에너지), 유도된 비선형 분할은 동차이며, 리우빌 벡터장은 수평 부분다양체에 접선이다.
• 기저 다발 N 위의 축소된 라그랑주함수는 지오데식의 매개변수화에 영향을 받지 않음을 보였으며, 재매개변수화에 대한 기하학적 불변성을 나타낸다.
• 곡률이 0일 경우, M/G 위의 축소된 시스템의 기저 적분곡선은 라그랑주함수 ¯L = 1/2gijvivj − V + Aivi 의 오일러-라그랑주 방정식을 만족함을 확인하여 기존 자기력 역학 이론과의 일致성을 입증한다.