关于Curtis与Nguyen论文中Fin₃(𝕊¹)同伦构造及Bott单连通性结果的技术求助

我太懂你啃这篇论文时的挫败感了——超空间的同伦构造本身就容易绕，加上引用的老结果难找，简直是双重折磨。下面我从两个方向给你理清楚：

一、关于Bott的单连通性结果 #

你找不到Bott的原文献很正常，这个结果大概率不是他单独发表的论文，而是他早期研究环面配置空间时的一个副产物，或者是在哈佛的拓扑讲义里提到的零散结论。其实不用死磕原文献，我们可以从$\text{Fin}_3(\mathbb{S}^1)$的结构本身来理解它为什么单连通，甚至能自己推出来。

$\text{Fin}_3(\mathbb{S}^1)$是三个分层空间的并：

• 单点集空间：就是$\mathbb{S}^1$本身，基本群是$\mathbb{Z}$；
• 两点不同点的配置空间$\text{Conf}_2(\mathbb{S}^{1)$：这是$\mathbb{S}}1 \times \mathbb{S}^1$去掉对角线，同伦等价于一个无限圆柱面，基本群也是$\mathbb{Z}$；
• 三点不同点的配置空间$\text{Conf}_3(\mathbb{S}^1)$：这个空间的基本群是$\mathbb{Z} \oplus \mathbb{Z}$，但它在$\text{Fin}_3(\mathbb{S}^{1)$里是“附着”在$\text{Conf}_2(\mathbb{S}}1)$上的——当三个点中有两个重合时，就退化成两点集。

用Seifert-van Kampen定理就能推导出整个$\text{Fin}_3(\mathbb{S}^{1)$的基本群是平凡的：把$\text{Fin}_3(\mathbb{S}}1)$拆成两个开集，一个包含单点集和两点集的邻域，另一个包含两点集和三点集的邻域，它们的交集是两点集的邻域。计算每个开集的基本群后，会发现生成元都被抵消了，最终得到单连通的结论。

二、拆解论文里的同伦构造 #

你提到的“t的域”和“看不懂的交集”，应该是论文里分阶段构造的同伦——这类同伦通常是分区间处理不同类型的子集，重点保证在边界处的连续性。我猜它的逻辑大概是这样的：

• 设同伦参数$t \in [0,1]$，整个同伦分三个阶段：
  1. 阶段1（$t \in [0, 1/3]$）：处理三点集。把三点集中的任意一个点沿着$\mathbb{S}^1$缓慢移动到另一个点的位置，让三点集退化成两点集。这里的“交集”应该是指当两个点重合时，要保证同伦在这个边界点上和下一阶段的同伦连续衔接，不能出现跳变。
  2. 阶段2（$t \in [1/3, 2/3]$）：处理两点集。把两点集中的一个点移动到另一个点的位置，退化成单点集。同样要保证这个过程和前后阶段的连续性。
  3. 阶段3（$t \in [2/3, 1]$）：处理单点集。把单点集沿着原来的环路收缩到起点，完成整个环路的收缩。

你可以试着把每个阶段的同伦单独写出来，然后验证在$t=1/3$和$t=2/3$这两个边界点上，前后阶段的同伦结果是否一致——只要这一点满足，整个同伦就是连续的，也就证明了环路可以缩成一点。

如果还是卡壳，建议你先画一下$\text{Conf}_2(\mathbb{S}^1)$的可视化（无限圆柱面），再想象三点集如何附着在这个圆柱面上，这样能帮你建立直观的拓扑感觉。

备注：内容来源于stack exchange，提问作者Bryant