[论文解读] The Frobenius theorem for Banach distributions on infinite-dimensional manifolds and applications in infinite-dimensional Lie theory

Jan Milan Eyni|arXiv (Cornell University)|Jul 11, 2014

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.

研究动机与目标

• 将弗罗贝尼乌斯定理推广至模型为局部凸空间的流形上的巴拿赫分布，以填补无穷维微分几何中的空白。
• 通过推广弗罗贝尼乌斯型可积性准则，解决Neeb在2006年提出的关于正则李群中有限余维李子代数可积性的问题。
• 建立无穷维李群中李子代数可积的条件，特别关注可补巴拿赫子代数。
• 通过Keller的$C^k_c$-理论，为无穷维流形的叶状结构提供基础，利用极大积分子流形。
• 使用Glöckner和Stefan的精细方法，纠正先前处理中的不准确之处（例如Lang的引理5.3）。

提出的方法

• 将Keller的局部凸空间之间可微映射的$C^k_c$-理论适配，以定义模型为这些空间的$C^k$-流形和李群。
• 将巴拿赫分布定义为切丛的可补子丛，其中每个纤维在诱导拓扑下都是巴拿赫空间。
• 通过极大积分曲线构造带参数的向量场的全局流，确保流在开集上具有$C^r$-光滑性。
• 将流构造应用于证明分布是局部可积的，从而保证局部积分子流形的存在性。
• 利用李群上存在指数映射的条件，通过左不变向量场的流将巴拿赫子代数提升为全局李子群。
• 应用Chillingworth和Stefan关于奇异分布的结果，以处理无穷维情形，并确保流的正则性。

实验结果

研究问题

• RQ1 在模型为局部凸空间的流形上，巴拿赫分布在何种条件下是局部可积的？
• RQ2 当分布是可补的且每个纤维在诱导拓扑下是巴拿赫空间时，弗罗贝尼乌斯定理能否推广至无穷维流形？
• RQ3 若一个李群模型为局部凸空间的李子代数作为拓扑向量空间是可补的，并且在诱导拓扑下是巴拿赫空间，则其是否总是可积的？
• RQ4 如何利用指数映射的存在性来确保此类子代数在无穷维情形下的可积性？
• RQ5 极大积分曲线与带参数的全局流在构造相应李子群的过程中起什么作用？

主要发现

• 为模型为局部凸空间的流形上的巴拿赫分布建立了弗罗贝尼乌斯定理，确保其可局部积分化为浸入子流形。
• 证明了极大积分子流形是$C^r$-浸入子流形，并通过图册构造了其局部参数化。
• 证明了带参数的向量场的全局流在开集上是$C^r$-光滑的，并满足流的性质。
• 对于模型为局部凸空间且具有指数映射的李群$G$，其任意李子代数$\mathfrak{h} \subseteq L(G)$，若在诱导拓扑下是可补的巴拿赫空间，则其可积。
• 子代数$\mathfrak{h}$的可积性通过一个浸入子流形$H \subseteq G$实现，且满足$L(H) = \mathfrak{h}$。
• 该证明纠正了Lang对流处理中的不准确之处，并将巴拿赫李群理论的方法推广至更一般的局部凸情形。