[论文解读] Homotopy groups of ascending unions of infinite-dimensional manifolds

Helge Glöckner|arXiv (Cornell University)|Dec 26, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 40被引用 5

一句话总结

本文確立了在何種條件下，無限維流形（或李群）的升鏈並集的同倫群會同構於其子流形同倫群的直積極限。透過弱直積極限定向圖與緊緻正則性，證明了對所有 k ∈ ℕ₀ 及 p ∈ M，有 πₖ(M,p) ≅ lim→ πₖ(Mₙ,p)，進而使無限維李理論中的同倫計算可透過有限維近似實現。

ABSTRACT

Let M be a topological manifold modelled on topological vector spaces, which is the union of an ascending sequence of such manifolds M_n. We formulate a mild condition ensuring that the k-th homotopy group of M is the direct limit of the k-th homotopy groups of the steps M_n, for each non-negative integer k. This result is useful for Lie theory, because many important examples of infinite-dimensional Lie groups G can be expressed as ascending unions of finite- or infinite-dimensional Lie groups (whose homotopy groups may be easier to access). Information on the k-th homotopy groups of G, for k=0, k=1 and k=2, is needed to understand the Lie group extensions of G with abelian kernels. The above conclusion remains valid if the union of the steps M_n is merely dense in M (under suitable hypotheses). Also, ascending unions can be replaced by (possibly uncountable) directed unions.

研究动机与目标

• 確立足夠條件，使無限維流形的升鏈並集的同倫群同構於其子流形同倫群的直積極限。
• 將帕拉伊的經典結果（關於局部凸空間的可dense子空間）推廣至涉及流形與李群的非線性設定。
• 提供一個通用框架，用於計算作為有限維或無限維李群的直向並集之無限維李群的同倫群。
• 證明在適當正則性條件下，從李群的稠密並集到其極限的包含映射會產生弱同倫等價。
• 將結果應用於具體例子，如微分同胚群與具有緊緻或加權光滑結構的函數空間。

提出的方法

• 引入弱直積極限定向圖的概念，透過連續線性映射確保極限流形上的座標圖與子流形上的座標圖相容。
• 利用每個點都具有弱直積極限定向圖的條件，以確保包含映射在所有同倫群上誘導出同構。
• 運用緊緻正則性（或緊緻收縮性）條件，以確保極限流形中的緊緻集落在某個子流形內，進而控制同倫提升。
• 利用同倫群的直積極限結構，透過直向指標集 Aₚ = {α ∈ A : p ∈ Mₐ} 上的余極限構造 lim→ πₖ(Mₙ,p)。
• 驗證主要定理的條件在關鍵例子中成立，例如加權微分同胚群與具有緊緻支集的光滑函數空間。
• 利用若 Mₙ ⊆ M 為連續包含且 Mₙ 為流形，則在弱直積極限定向圖與緊緻正則性假設下，πₖ(M) ≅ lim→ πₖ(Mₙ) 成立的事實。

实验结果

研究问题

• RQ1 在何種條件下，無限維流形的升鏈並集包含於其極限時，會在所有同倫群上誘導出同構？
• RQ2 帕拉伊關於局部凸空間可dense子空間的定理能否推廣至非線性流形與李群？
• RQ3 當無限維李群表示為有限維或無限維李群的直向並集時，如何計算其同倫群？
• RQ4 何種結構條件（如弱直積極限定向圖、緊緻正則性）可確保子流形同倫群的直積極限恢復完整流形的同倫群？
• RQ5 從李群的稠密並集到其極限流形的包含映射在多大程度上會產生弱同倫等價？

主要发现

• 若流形 M 是子流形 Mₐ 的直向並集，且包含映射連續，且 M 具有弱直積極限定向圖，則對所有 k ∈ ℕ₀ 及 p ∈ M，有 πₖ(M,p) ≅ lim→ πₖ(Mₐ,p)。
• 當並集 ⋃ₐ Mₐ 在 M 中稠密時，結果仍成立，只要 M 是緊緻收縮的且存在弱直積極限定向圖。
• 從緊緻支集微分同胚群 Diff_c(X) 到加權微分同胚群 Diff_𝒲(X)ᵇ 的包含映射是弱同倫等價。
• 對於 σ-緊緻光滑流形 M 與李群 H，包含映射 C^∞_c(M,H) → C^r_c(M,H) 對所有 r ∈ ℕ₀ 是弱同倫等價。
• 加權微分同胚群 Diff_𝒲(X)ᵇ 的同倫群同構於緊緻支集微分同胚群 Diff_K(X) 的同倫群的直積極限，即 πₖ(Diff_𝒲(X)ᵇ) ≅ lim→ πₖ(Diff_K(X))。
• 該結果適用於模型化於 (LF)-空間或 (DFS)-空間的李群（如光滑向量場或微分同胚空間），在適當正則性與逼近條件下成立。