[論文レビュー] 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.

研究の動機と目的

• 局所凸空間を台とする多様体上のバナッハ分布に対するフロベニウスの定理を拡張し、無限次元微分幾何学におけるギャップを埋める。
• 2006年、ニーブが提起した、正規リー群における有限余次元のリー部分代数の可積分性に関する問題を、フロベニウス型の可積分性基準を一般化することで解決する。
• 無限次元リー群のリー部分代数が可積分となる条件を確立する。特に、補完可能なバナッハ部分代数に焦点を当てる。
• ケラーの $C^k_c$-理論を用いて、最大の積分部分多様体による無限次元多様体のファイブレーションの基礎を築く。
• グロッカーとステファンの精密な手法を用いて、先行研究（例えばラングの補題5.3）における不正確さを是正する。

提案手法

• 局所凸空間間の微分可能写像のケラーの $C^k_c$-理論を適応し、このような空間を台とする $C^k$-多様体およびリー群を定義する。
• 各ファイバーが誘導位相に関してバナッハ空間である補完可能な接バンドルの部分バンドルとして、バナッハ分布を定義する。
• パラメータ付きベクトル場に対して、最大積分曲線を用いてグローバルな流れを構成し、開領域上でその流れが $C^r$-滑らかであることを保証する。
• 流れの構成を応用して、分布が局所的に可積分であり、局所的積分部分多様体が存在することを示す。
• リー群に指数写像が存在することを用いて、左不変ベクトル場の流れを用いて、バナッハ部分代数をグローバルなリー部分群へと持ち上げる。
• チリングワースおよびステファンの特異分布に関する結果を応用し、無限次元設定における流れの正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 局所凸空間を台とする多様体上のバナッハ分布が、どのような条件下で局所的に可積分可能となるか？
• RQ2 分布が補完可能であり、各ファイバーがバナッハ空間である場合、フロベニウスの定理は無限次元多様体へ一般化可能か？
• RQ3 リー群が局所凸空間を台とする場合、そのリー部分代数が位相的ベクトル空間として補完可能であり、誘導位相に関してバナッハ空間であれば、常に可積分可能か？
• RQ4 指数写像の存在が、このような部分代数の無限次元設定における可積分性を保証するためにどのように利用可能か？
• RQ5 最大積分曲線およびパラメータ付きグローバル流れは、対応するリー部分群を構成するために果たす役割は何か？

主な発見

• 局所凸空間を台とする多様体上のバナッハ分布に対して、フロベニウスの定理が確立され、局所的に埋め込まれた部分多様体への可積分性が保証される。
• 最大積分部分多様体が $C^r$-埋め込み部分多様体であることが示され、その局所的パラメータ表示はチャートを用いて構成される。
• パラメータ付きベクトル場に対するグローバル流れが、開領域上で $C^r$-滑らかであり、流れの性質を満たすことが示される。
• 局所凸空間を台とするリー群 $G$ が指数写像を備える場合、そのリー代数 $\mathfrak{h} \subseteq L(G)$ が補完可能であり、誘導位相に関してバナッハ空間であれば、可積分である。
• $\mathfrak{h}$ の可積分性は、$L(H) = \mathfrak{h}$ を満たす、$H \subseteq G$ における埋め込み部分多様体としてのリー部分群 $H$ として実現される。
• この証明により、ラングによる流れの取り扱いにおける不正確さが是正され、バナッハリー群理論の手法がより一般な局所凸設定へと拡張される。