[論文レビュー] Simplified Proofs for the Pro-Lie Group Theorem and the One-Parameter Subgroup Lifting Lemma

Helge Glöckner|ArXiv.org|Sep 14, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 4

ひとこと要約

この論文は、pro-Lie群理論の2つの基礎的結果について、簡素で初等的かつ自己完結的な証明を提供する。すなわち、Pro-Lie群定理（任意のリー群の射影極限はpro-Lie群である）と、1パラメータ部分群の上昇補題（1パラメータ部分群は商準同型を通じて上昇する）である。著者は[7]の元々の証明における欠陥を是正し、証明の長さを著しく短縮し、一般のpro-Lie群理論のよりアクセス可能な基盤を提供する。

ABSTRACT

This note is devoted to the theory of projective limits of finite-dimensional Lie groups, as developed in the recent monograph ``The Lie Theory of Connected Pro-Lie Groups'' by K.H. Hofmann and S.A. Morris. We replace the original, highly non-trivial proof of the One-Parameter Subgroup Lifting Lemma given in the monograph by a shorter and more elementary argument. Furthermore, we shorten (and correct) the proof of the so-called Pro-Lie Group Theorem, which asserts that pro-Lie groups and projective limits of Lie groups coincide.

研究の動機と目的

• 射影極限として得られるリー群のすべてがpro-Lie群である、というPro-Lie群定理のより短く初等的な証明を提供すること。
• pro-Lie群の商準同型を通じて1パラメータ部分群が上昇することを示す、簡潔で自己完備な証明を提示すること。
• [7]のPro-Lie群定理の元々の証明における誤りを是正すること、特に閉部分群定理の(iii)および(iv)部分と、それらが最初の基本補題に使われた部分における誤り。
• Gleason–Palais定理のような非初等的結果に依存しないようにし、証明をよりアクセス可能かつ自己完備にする。
• 特に局所コンパクトでないpro-Lie群に対して、一般のpro-Lie群の構造論の堅固で初等的な基盤を確立すること。

提案手法

• Pro-Lie群定理の証明では、各極限写像 $ f_j: G \to G_j $ に対して、$ f_j(G) $ がリー群にできる、という事実を利用している。具体的には、リー代数 $ \mathcal{L}(f_j)(\mathcal{L}(G)) $ を持つ $ G_j $ の解析的部分群 $ H_j \subseteq G_j $ をとることで達成される。
• 制限写像 $ q_j: G \to Q_j = f_j(G) $ が連続的かつ開かつ全射な準同型であることを示し、したがって商準同型である。これにより、$ G / \ker(f_j) \cong Q_j $ はリー群であることがわかる。
• 連続性は、単位元の近傍 $ U \subseteq G $ における $ q_j $ の連続性を示すことによって確立される。具体的には、$ q_j|_U = \overline{f}_{jk} \circ f_k|_U^{(G_k)_0} $ という合成写像が連続であることを示し、$ \overline{f}_{jk} $ の連続性に依存する。
• 1パラメータ部分群上昇補題の証明では、$ H = \mathbb{R} $ の場合に帰着させ、$ f $ がリトラクションでないという仮定のもとで、$ G/G_0 $ のプロト離散性と、$ \mathbb{R} $ が離散的でなければプロト離散的になれないという事実を用いて背理法で矛盾を導く。
• この議論は、$ \exp_G(\mathcal{L}(G)) $ が $ G_0 $ の稠密部分群を生成すること、および $ f \circ \exp_G = \exp_H \circ \mathcal{L}(f) $ が成り立つという事実に依存しており、$ \mathcal{L}(f) = 0 $ ならば矛盾が生じる。
• Gleason–Palais定理のような高度な道具を避けて、主に[7]に含まれる標準的なリー群および位相群の理論の結果に依存する。

実験結果

リサーチクエスチョン

• RQ1 Gleason–Palais定理やその他の非初等的結果に依存せずに、Pro-Lie群定理を証明できるか？
• RQ2 一般のpro-Lie群に対して、1パラメータ部分群上昇補題のより短く初等的な証明が存在するか？
• RQ3 [7]におけるPro-Lie群定理の元々の証明に論理的欠陥があるか。あるならば、それを是正できるか？
• RQ4 基礎的証明を簡素化することで、pro-Lie群の構造論をよりアクセス可能なものにできるか？
• RQ5 [7]における閉部分群定理の(iii)および(iv)部分の失敗が、pro-Lie群理論全体に与える影響は何か？

主な発見

• Pro-Lie群定理は自己完備的かつ初等的な方法で証明され、元の証明から6ページ短縮された。
• 1パラメータ部分群上昇補題の証明は、3ページ以上からわずか8行に短縮され、簡潔な背理法による議論がなされた。
• [7]におけるPro-Lie群定理の元々の証明に誤りが特定された。具体的には、閉部分群定理の(iii)および(iv)部分が誤りである。反例 $ G = \mathbb{R} $, $ H = \mathbb{Z} $, $ \mathcal{N} = \{\{0\}, \sqrt{2}\mathbb{Z}\} $ によって示された。
• この誤りにより、[7]における最初の基本補題の証明が無効化された。特に、$ \ker(f_j) \cap G_0 $ ではなく $ \ker(f_j) $ を使用していたことが問題であり、元の議論の根幹を揺るがすものであった。
• この論文は、Pro-Lie群定理がバナッハリー群の射影極限の圏には類似物を持たないことを示している。これは、バナッハ空間に同型でないフレシェ空間を用いた反例によって示された。
• これらの結果は、一般のpro-Lie群の構造論が、初等的で自己完備な基盤の上に構築可能であることを示しており、今後の研究にとってよりアクセス可能な基盤を提供する。