[论文解读] The homotopy and cohomology of spaces of locally convex curves in the sphere -- II

Nicolau C. Saldanha|arXiv (Cornell University)|May 13, 2009

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

一句话总结

本文确定了2-球面上局部凸曲线空间中两个非同伦收缩连通分支的第二整上同调群与第二同伦群，证明了 $ H^2({\cal L}_{+1};\mathbb{Z}) = \mathbb{Z}^2 $，$ H^2({\cal L}_{-1,n};\mathbb{Z}) = \mathbb{Z} $，且这两个分支均为单连通。通过运用涉及环路操作与Mayer-Vietoris序列的几何与代数拓扑技术，作者揭示了这些无穷维空间在已知同伦收缩分支之外的结构。

ABSTRACT

A smooth curve $γ: [0,1] o S^2$ is locally convex if its geodesic curvature is positive at every point. J. A. Little showed that the space of all locally positive curves $γ$ with $γ(0) = γ(1) = e_1$ and $γ'(0) = γ'(1) = e_2$ has three connected components $L_{-1,c}$, $L_{+1}$, $L_{-1,n}$. The space $L_{-1,c}$ is known to be contractible but the topology of the other two connected components is not well understood. We prove that all connected components of $L_I$ are simply connected, that $H^2(L_{+1};Z) = Z^2$ and $H^2(L_{-1,n};Z) = Z$.

研究动机与目标

• 确定2-球面上局部凸曲线空间中非同伦收缩连通分支的第二整上同调群与第二同伦群。
• 解决 $ \mathcal{L}_{+1} $ 与 $ \mathcal{L}_{-1,n} $ 的拓扑结构，尽管 $ \mathcal{L}_{-1,c} $ 的同伦收缩性已知，但此前对这两个分支的结构理解甚少。
• 通过为上同调群与同伦群提供上界，扩展先前关于同伦满射性的结果，完整描绘出这些无穷维空间的拓扑结构。

提出的方法

• 使用 $ \Delta^\sharp $ 构造来操控曲线中的环路，实现不相交环路覆盖与同伦约化。
• 应用Mayer-Vietoris序列，其中开集 $ A $ 包含星形曲线 $ \mathcal{T}_0 $，$ B $ 包含其补集，以计算 $ H^2(\mathcal{L}_{+1}) $。
• 利用已知的浸入空间 $ \mathcal{I}_{\pm 1} \simeq \Omega S^3 $ 的同伦类型，并将其与子空间 $ \mathcal{L}_{\pm 1} $ 比较，分析包含映射在同伦与上同调上的诱导作用。
• 运用横截性与三角剖分技术，将从球面到 $ \mathcal{L}_I \setminus (\mathcal{L}_{-1,c} \cup \mathcal{T}_0) $ 的映射约化为具有不相交环路覆盖的同伦映射。
• 使用Hurewicz定理关联 $ \pi_2 $ 与 $ H^2 $，并通过交数与几何代表元识别这些群的生成元。
• 定义一个几何生成元 $ \mathbf{f}_2 \in H^2(\mathcal{L}_{+1};\mathbb{Z}) $，即与余维2子复形 $ \mathcal{F}_2 \subset \mathcal{T}_1 $ 的交数。

实验结果

研究问题

• RQ1 2-球面上局部凸曲线空间的分支 $ \mathcal{L}_{+1} $ 的第二整上同调群是什么？
• RQ2 2-球面上局部凸曲线空间的分支 $ \mathcal{L}_{-1,n} $ 的第二整上同调群是什么？
• RQ3 $ \mathcal{L}_{+1} $ 与 $ \mathcal{L}_{-1,n} $ 的连通分支是否为单连通？
• RQ4 $ \mathcal{L}_{+1} $ 与 $ \mathcal{L}_{-1,n} $ 的同伦群与上同调群与全空间 $ \mathcal{I}_{\pm 1} $ 的同伦群与上同调群相比如何？
• RQ5 能否证明 $ \mathcal{L}_{\pm 1} $ 到 $ \mathcal{I}_{\pm 1} $ 的包含映射在 $ \pi_2 $ 与 $ H^2 $ 上诱导同构？

主要发现

• $ \mathcal{L}_{+1} $ 的第二整上同调群为 $ H^2(\mathcal{L}_{+1};\mathbb{Z}) = \mathbb{Z}^2 $，由标准类 $ \mathbf{x} $ 与一个由与余维2子复形的几何交数生成的附加类 $ \mathbf{f}_2 $ 生成。
• $ \mathcal{L}_{-1,n} $ 的第二整上同调群为 $ H^2(\mathcal{L}_{-1,n};\mathbb{Z}) = \mathbb{Z} $，由标准类 $ \mathbf{x} $ 生成，且包含映射到 $ \mathcal{I}_{-1} $ 在 $ H^2 $ 上诱导同构。
• $ \mathcal{L}_{+1} $ 的第二同伦群为 $ \pi_2(\mathcal{L}_{+1}) = \mathbb{Z}^2 $，由代表映射 $ \mathbf{g}_2 $ 及其 $ \nu_2 $-扭变 $ \nu_2 * \mathbf{g}_2 $ 生成。
• $ \mathcal{L}_{-1,n} $ 的第二同伦群为 $ \pi_2(\mathcal{L}_{-1,n}) = \mathbb{Z} $，且包含映射到 $ \mathcal{I}_{-1} $ 在 $ \pi_2 $ 上诱导同构，意味着具有相同结构。
• $ \mathcal{L}_{+1} $ 与 $ \mathcal{L}_{-1,n} $ 均为单连通，通过证明任意从 $ \mathbb{S}^1 $ 到这些空间的映射在适当的环路操控后同伦于常值映射得以确立。
• 对包含 $ \mathcal{T}_0 $ 及其补集的分解应用Mayer-Vietoris序列，确认了 $ H^2(\mathcal{L}_{+1};\mathbb{Z}) = \mathbb{Z}^2 $，其中第二个生成元源于 $ \mathcal{T}_1 $ 的法丛。