[논문 리뷰] Tangent Lie algebras to the holonomy group of a Finsler manifold

Zoltán Muzsnay, Péter T. Nagy|arXiv (Cornell University)|2012. 12. 01.

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

한 줄 요약

이 논문은 페인슬러 다양체에 대한 새로운 호로노미 대수를 제안한다. 무한소 호로노미 대수는 인디카트리스 상의 벡터장들의 최소 리 대수로서, 베르발 연결을 통한 곡률 벡터장과 그 수평 공변미분을 포함한다. 전체 호로노미 대수는 모든 곡선을 따라 이러한 무한소 대수의 베르발 이동의 합집합으로 정의된다. 주요 결과는 이 호로노미 대수가 호로노미 군에 탄젠트되며, 비리만노비안 페인슬러 기하학에서 호로노미 군의 탄젠트 공간을 체계적으로 이해할 수 있는 프레임워크를 제공한다는 것이다.

ABSTRACT

Our goal in this paper is to make an attempt to find the largest Lie algebra of vector fields on the indicatrix such that all its elements are tangent to the holonomy group of a Finsler manifold. First, we introduce the notion of the curvature algebra, generated by curvature vector fields, then we define the infinitesimal holonomy algebra by the smallest Lie algebra of vector fields on an indicatrix, containing the curvature vector fields and their horizontal covariant derivatives with respect to the Berwald connection. At the end we introduce the notion of the holonomy algebra of a Finsler manifold by all conjugates of infinitesimal holonomy algebras by parallel translations with respect to the Berwald connection. We prove that this holonomy algebra is tangent to the holonomy group.

연구 동기 및 목표

• 비리만노비안 환경에서 체계적인 탄젠트 리 대수의 부재를 해결하기 위해, 호로노미 군에 탄젠트되는 페인슬러 다양체에 대한 호로노미 대수를 정의하는 것.
• 곡률 벡터장과 그 공변미분으로부터 리 대수를 구성하여, 페인슬러 기하학에 암브로즈-싱어 유형 정리를 확장하는 것.
• 무한차원 호로노미 대수에서의 비폐쇄 문제를 해결하기 위해, 베르발 접속을 통해 잘 정의되고 최소한의 리 대수 구조를 도입하는 것.
• 리만 사례를 일반화하고 비리만노비안 페인슬러 다양체에 적용 가능한 일관된 호로노미 대수의 프레임워크를 수립하는 것.
• 특히 호로노미 군이 유한차원이 아닌 경우에, 호로노미 대수와 호로노미 군 사이의 탄젠트 관계를 명확히 하는 것.

제안 방법

• 호로노미 군에 탄젠트되는 것으로 알려진, 인디카트리스 상의 곡률 벡터장으로 생성되는 리 대수를 곡률 대수로 도입한다.
• 무한소 호로노미 대수를 인디카트리스 상의 벡터장들의 최소 리 대수로 정의하며, 이는 곡률 벡터장과 그 베르발 접속에 따른 수평 공변미분을 포함한다.
• 베르발 접속을 사용하여 곡선을 따라 벡터장을 평행이동시키며, 이를 통해 무한소 호로노미 대수를 다양체 전반에 걸쳐 이동시킨다.
• 임의의(piecewise smooth) 곡선을 따라 무한소 호로노미 대수의 모든 베르발 이동의 합집합으로 호로노미 대수를 구성한다.
• 평행이동에 의한 코너지션(conjugation) 개념을 적용하여, 호로노미 대수가 호로노미 변환에 대해 잘 정의되고 불변임을 보장한다.
• 호로노미 대수가 호로노미 군에 탄젠트됨을 증명하기 위해, 그 원소들이 호로노미 군의 1매개변수 부분군의 생성자로 나타남을 보인다.

실험 결과

연구 질문

• RQ1 페인슬러 다양체의 호로노미 군에 탄젠트되는 인디카트리스 상의 최대 리 대수의 크기는 무엇인가?
• RQ2 곡률 벡터장과 그 공변미분으로부터 체계적으로 구성할 수 있는 리 대수는 어떻게 만들 수 있으며, 이는 미세 호로노미 구조를 포괄하는가?
• RQ3 호로노미 대수는 평행이동에 대해 불변이며, 다양체의 다양한 점들 사이에서 일관되게 정의될 수 있는가?
• RQ4 무한소 호로노미 대수의 베르발 이동을 통해 구성된 호로노미 대수는 여전히 호로노미 군에 탄젠트되는가?
• RQ5 제안된 호로노미 대수는 일반 페인슬러 기하학에서 호로노미 군에 대한 최대 탄젠트 리 대수인가?

주요 결과

• 임의의 점 p에서의 무한소 호로노미 대수는, 그 자체로 피브레드 호로노미 군에 탄젠트되는 피브레드 호로노미 대수에서 유도되므로, 호로노미 군 Hol(p)에 탄젠트된다.
• 페인슬러 다양체의 점 p에서의 호로노미 대수는, 임의의 곡선을 따라 무한소 호로노미 대수의 모든 베르발 이동을 포함하는 인디카트리스 I_pM 상의 최소 리 대수로 정의된다.
• 호로노미 대수가 호로노미 군에 탄젠트됨이 증명되어, 페인슬러 호로노미의 리 대수적 구조에 대한 엄밀한 기초를 확립한다.
• 벡터장의 베르발 이동은 탄젠트 성질을 유지하므로, 평행이동 동안에도 호로노미 대수가 탄젠트 상태를 유지함을 보장한다.
• 평행이동에 의한 공변미분과 코너지션의 적용을 통해, 무한차원 호로노미 대수의 모호함을 제거하고, 공변미분에 대해 닫혀 있음을 보장한다.
• 모든 점에서의 호로노미 대수는 서로 동형이며, 이는 구성의 내재 기하학적 성질을 반영한다.