[논문 리뷰] The Frobenius theorem for Banach distributions on infinite-dimensional manifolds and applications in infinite-dimensional Lie theory

Jan Milan Eyni|arXiv (Cornell University)|2014. 07. 11.

Advanced Topics in Algebra참고 문헌 6인용 수 4

한 줄 요약

이 논문은 국소적으로 볼록 공간 위에 모델링된 다양체 위의 바나흐 분포에 대한 프로베니우스 정리를 수립하며, 무한차원 리 이론으로의 고전적 통합 결과를 확장한다. 주요 기여는 국소적으로 볼록 공간 위에 모델링된 리 군의 리 부분대수의 통합 가능성을 증명하는 것으로, 이는 그 부분대수가 위상벡터공간으로서 보완 가능하고, 유도된 위상에서 바나흐 공간이 되는 조건을 만족할 때, 군이 지수 함수를 가질 경우에 해당한다.

ABSTRACT

We prove a Frobenius theorem for Banach distributions on manifolds that are modelled over locally convex spaces. Moreover, we recall how Frobenius theorems can be applied to infinite-dimensional Lie groups and obtain, that given a Lie subalgebra of the Lie algebra of a Lie group that is modelled over a locally convex space that admits an exponential map, the Lie subalgebra is integrable if it is complemented as a topological vector space and a Banach space with the induced topology.

연구 동기 및 목표

• 국소적으로 볼록 공간 위에 모델링된 다양체 위의 바나흐 분포에 대해 프로베니우스 정리를 확장하여, 무한차원 미분기하학의 격차를 메우는 것.
• 2006년 뉴브의 유한차원 코디멘션을 가진 리 부분대수의 통합 가능성 문제를 프로베니우스 유형의 통합 가능성 기준으로 일반화함으로써 해결하는 것.
• 무한차원 리 군의 리 부분대수가 통합 가능해지는 조건을 설정하는 것. 특히 보완된 바나흐 부분대수에 초점을 맞춘다.
• 켈러의 $C^k_c$-이론을 활용하여 최대 적분 부분다양체를 통한 무한차원 다양체의 분할에 기초를 마련하는 것.
• 글록너와 스테판의 정교한 방법을 사용하여 이전의 다루기에서 오류가 있었던 사례들(예: 랑의 보조정리 5.3)을 수정하는 것.

제안 방법

• 국소적으로 볼록 공간 간의 미분 가능 함수에 대한 켈러의 $C^k_c$-이론을 적응하여, 이러한 공간 위에 모델링된 $C^k$-다양체와 리 군을 정의한다.
• 각 섬유가 유도된 위상에서 바나흐 공간이 되는 보완 가능한 접속다발로서 바나흐 분포를 정의한다.
• 최대 적분 곡선을 사용하여 매개변수를 가진 벡터장에 대해 전역 흐름을 구성하며, 이 흐름이 열린 영역에서 $C^r$-연속임을 보장한다.
• 흐름 구성 방법을 적용하여 분포가 국소적으로 통합 가능함을 보이고, 국소 적분 부분다양체의 존재를 이끌어낸다.
• 리 군에 지수 함수가 존재하는 조건을 이용하여, 좌불변 벡터장의 흐름을 통해 바나흐 부분대수를 전역 리 부분군으로 올리는 방법을 적용한다.
• 칠링워스와 스테판의 특이 분포에 관한 결과를 응용하여 무한차원 설정에서의 정규성을 확보하고 흐름의 정규성을 보장한다.

실험 결과

연구 질문

• RQ1 국소적으로 볼록 공간 위에 모델링된 다양체 위의 바나흐 분포가 국소적으로 통합 가능해지는 조건은 무엇인가?
• RQ2 분포가 보완 가능하고 각 섬유가 바나흐 공간일 경우, 프로베니우스 정리는 무한차원 다양체로 일반화될 수 있는가?
• RQ3 국소적으로 볼록 공간 위에 모델링된 리 군의 리 부분대수가 위상벡터공간으로서 보완 가능하고, 유도된 위상에서 바나흐 공간일 경우, 항상 통합 가능한가?
• RQ4 지수 함수의 존재는 이러한 부분대수의 무한차원 설정에서의 통합 가능성을 어떻게 보장하는가?
• RQ5 최대 적분 곡선과 매개변수를 가진 전역 흐름은 해당 리 부분군을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 국소적으로 볼록 공간 위에 모델링된 다양체 위의 바나흐 분포에 대해 프로베니우스 정리가 수립되어, 국소적으로 매장된 부분다양체로의 통합 가능성을 보장한다.
• 최대 적분 부분다양체가 $C^r$-매장된 부분다양체임이 입증되었으며, 그들의 국소 매개변수화는 차트를 통해 구성된다.
• 매개변수를 가진 벡터장에 대한 매개변수를 가진 전역 흐름이 열린 영역에서 $C^r$-연속임이 입증되었고, 이는 흐름 성질을 만족한다.
• 국소적으로 볼록 공간 위에 모델링된 리 군 $G$가 지수 함수를 가진다면, $L(G)$의 모든 리 부분대수 $\mathfrak{h} \subseteq L(G)$ 중에서 보완 가능하고 유도된 위상에서 바나흐 공간인 경우는 통합 가능하다.
• $\mathfrak{h}$의 통합 가능성은 $L(H) = \mathfrak{h}$를 만족하는 매장된 부분다양체인 리 부분군 $H \subseteq G$로서 실현된다.
• 논증은 랑의 흐름 다루기에 대한 오류를 수정하고, 바나흐 리 군 이론의 방법을 더 일반적인 국소적으로 볼록 설정으로 확장한다.