[论文解读] Topological fundamental groups of locally finite infinite configuration spaces and infinite braids

Jyh-Haur Teh|arXiv (Cornell University)|Feb 7, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

该论文分析平面上局部有限的无限配置空间及其同伦商的拓扑基本群及其同伦商，证明非离散性和完备性，并识别由有限纯发braid群构建的规范逆极限结构。

ABSTRACT

We study the topological fundamental groups of the locally finite infinite ordered configuration space \(Conf^{lf}_\infty(\C)\) in the plane and the homotopy quotient of $Conf^{lf}_\infty$ by the canonical action of the infinite permutation group $\Aut(\N)$: \[ H^{lf}(\infty):=π_1^{\mathrm{top}}(Conf^{lf}_\infty(\C),\widetilde{\N}), \qquad B^{lf}(\infty):=π_1^{\mathrm{top}}\!\bigl(Conf^{lf}_\infty(\C)\!/\!/\Aut(\N),[e_0,\widetilde{\N}]\bigr). \] We prove that \(H^{lf}(\infty)\) and \(B^{lf}(\infty)\) are non-discrete and complete topological groups. A main structural theorem identifies \(H^{lf}(\infty)\) with a canonical locally finite inverse-limit model built from finite pure braid groups, and we construct a complete left-invariant ultrametric compatible with the quotient topology from the loop space of $\Conf$. The direct limit of finite pure braid groups admits a dense embedding into \(H^{lf}(\infty)\), and we show that \(H^{lf}(\infty)\) is the Ra\uıkov completion of this subgroup. Moreover, the direct limit of finite braid groups embeds into \(B^{lf}(\infty)\) and is dense in the finitary subgroup \(B^{lf}_{\mathrm{fin}}(\infty)\subseteq B^{lf}(\infty)\).

研究动机与目标

• 研究局部有限无限配置空间及其 braid 群作为经典配置空间的自然扩展的动机。
• 确定基于基点回路空间所诱导的 H^{lf}(∞) 与 B^{lf}(∞) 的拓扑群结构。
• 证明这些拓扑群是完备且非离散的。
• 识别一个由有限纯发 braid 群构建的逆极限模型，该模型捕捉 H^{lf}(∞)。
• 分析有限 braid 群的直接极限在无限情形下的稠密性与完备性性质。

提出的方法

• 将 π1 赋予来自 Conf^{lf}_{∞}(ℂ) 的基点回路空间及其 Aut(ℕ) 的同伦商的商拓扑。
• 构造与商拓扑兼容的完整左不变超距（ultrametric）并证明其性质。
• 定义并研究逆极限 ∏_{n≥1} P_n 及其遗忘映射 p_{m,n}，并将其局部有限子群 (⋯)_{lf} 作为 H^{lf}(∞) 的模型。
• 证明 H^{lf}(∞) 是 dense 直接极限 P_∞（有限纯发 braid 群）的 Raĭkov 完整化。
• 证明 B^{lf}(∞) 是非离散核的拓扑扩张，模（离散的 Aut(ℕ) 商）并证明其完备性。
• 建立有限 braid 群在无限对等群中的稠密嵌入，并分析 B^{lf}_{fin}(∞) 的完备性性质。

实验结果

研究问题

• RQ1 局部有限无限配置空间 braid 群 H^{lf}(∞) 与 B^{lf}(∞) 的拓扑群结构为何？
• RQ2 从基点出发的天然拓扑基本群是否非离散且完备？
• RQ3 如何将 H^{lf}(∞) 实现为由有限纯发 braid 群构建的局部有限逆极限模型？
• RQ4 有限 braid 群的直接极限如何嵌入到 B^{lf}(∞)，并具有何种稠密性？
• RQ5 这些群的 Raĭkov 完整化与 Polish 性性质的精确定义是什么？

主要发现

• H^{lf}(∞) 与 B^{lf}(∞) 均为非离散且完全度可度量的拓扑群。
• H^{lf}(∞) 是 dense 直接极限有限纯发 braid 群 P_∞ 的 Raĭkov 完整化。
• 有限 braid 群的直接极限嵌入到 B^{lf}(∞)，并在 finitary 子群 B^{lf}_{fin}(∞) 中达到稠密。
• 投影序列 1→H^{lf}(∞)→B^{lf}(∞)→Aut(ℕ)→1 是一个拓扑严格序列，核为闭的正规子群。
• 规范的逆极限模型 (⋯)_{lf} 作为 H^{lf}(∞) 的关键结构描述。
• B^{lf}_{fin}(∞) 是 Polish 的，而 B^{lf}(∞) 不是 Polish，且 H^{lf}(∞) 是 Polish。