[论文解读] Results on the homotopy type of the spaces of locally convex curves on $S^3$

Emília Alves, Nicolau C. Saldanha|arXiv (Cornell University)|Mar 7, 2017

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

一句话总结

本文研究了三维球面 $\mathbb{S}^3$ 上局部凸曲线空间的同伦型，重点关注 $\mathcal{L}\mathbb{S}^3(-I)$ 的非通有分量，这些分量与通有曲线空间不同伦。通过旋量群提升和上同调不变量，证明了这些空间到环路空间 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$ 的包含映射不是同伦等价，并计算了其有理贝蒂数的下界，表明其同伦型比先前已知的分量更为丰富。

ABSTRACT

A curve $γ: [0,1] ightarrow S^n$ of class $C^k$ ($k \geqslant n$) is locally convex if the vectors $γ(t), γ'(t), γ"(t), \cdots, γ^{(n)}(t)$ are a positive orthonormal basis to $R^{n+1}$ for all $t \in [0,1]$. Given an integer $n \geq 2$ and $Q \in SO_{n+1}$, let $LS^n(Q)$ be the set of all locally convex curves $γ: [0,1] ightarrow S^n$ with fixed initial and final Frenet frame $F_γ(0)=I$ and $F_γ(1)=Q$. Saldanha and Shapiro proved that there are just finitely many non-homeomorphic spaces among $LS^n(Q)$ when $Q$ varies in $SO_{n+1}$ (in particular, at most $3$ for $n=3$). For any $n \geqslant 2$, the homotopy type of one of these spaces is well-known, but not of the others. For $n=2$, Saldanha determined the homotopy type of the spaces $LS^2(Q)$. The purpose of this work is to study the case $n=3$. We will obtain information on the homotopy type of one of these $2$ other spaces, allowing us to conclude that its connected components are not homeomorphic to the connected components of the known space.

研究动机与目标

• 理解空间 $\mathcal{L}\mathbb{S}^3(-I)$ 的非同伦收缩连通分量的同伦型，这些分量与通有曲线空间不同胚。
• 确定这些分量到 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$ 的包含映射是否为同伦等价。
• 计算这些空间的有理贝蒂数下界，特别是在第2和第4度数，以区分其同伦型与其他分量。
• 将旋量群提升与弗雷内标架不变量的框架扩展至分析 $\mathbb{S}^3$ 中局部凸曲线的拓扑。

提出的方法

• 作者利用通用双重覆盖 $\mathrm{Spin}_4 \simeq \mathbb{S}^3 \times \mathbb{S}^3$，将局部凸曲线的弗雷内标架曲线提升至旋量群，从而通过初始和最终提升的标架对曲线空间进行更精细的分类。
• 他们定义了空间 $\mathcal{L}\mathbb{S}^3(z_l, z_r)$，即初始和最终提升的弗雷内标架在 $\mathrm{Spin}_4 \simeq \mathbb{S}^3 \times \mathbb{S}^3$ 中固定的局部凸曲线的集合。
• 通过实系数上同调与同调上的诱导同态，分析了每个分量到基于环路空间 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$ 的包含映射。
• 关键技术在于从 $\mathbb{S}^2$ 上的已知映射构造映射 $\hat{h}_{2k-2}: \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(z_l, z_r)$，并证明其在通有曲线空间中同伦于常值映射，但在目标空间中检测到非平凡的上同调类。
• 使用上同调不变量 $\hat{m}_{2k-2}$ 检测 $H^{2k-2}(\mathcal{L}\mathbb{S}^3(z_l, z_r), \mathbb{R})$ 中超出 $H^j(\Omega(\mathbb{S}^3 \times \mathbb{S}^3), \mathbb{R})$ 的额外生成元。
• 证明依赖于低维曲线空间的提升构造与同伦性质，特别是利用 Saldanha（2006）关于 $\mathcal{L}\mathbb{S}^2(Q)$ 的结果。

实验结果

研究问题

• RQ1 空间 $\mathcal{L}\mathbb{S}^3(-I)$ 的非同伦收缩分量，特别是 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$ 和 $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$，是否与通有曲线空间同伦等价？
• RQ2 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1}) \subset \Omega(\mathbb{S}^3 \times \mathbb{S}^3)$ 的自然包含映射是否为同伦等价？
• RQ3 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$ 和 $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$ 的有理上同调结构是什么，超出已知的 $H^j(\Omega(\mathbb{S}^3 \times \mathbb{S}^3), \mathbb{R}) \simeq \mathbb{R}^2$（当 $j=2$ 时）和 $\mathbb{R}^3$（当 $j=4$ 时）？
• RQ4 映射 $\hat{h}_{2k-2}$ 是否在 $\mathcal{L}\mathbb{S}^3(z_l, z_r)$ 中检测到非平凡同伦类，而在通有曲线空间中为平凡？

主要发现

• 包含映射 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1}) \subset \Omega(\mathbb{S}^3 \times \mathbb{S}^3)$ 不是同伦等价，这是由上同调障碍所证明的。
• $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$ 的有理第二贝蒂数满足 $\dim H^2(\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1}), \mathbb{R}) \geq 3$，超过 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$ 的 $\mathbb{R}^2$。
• $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$ 的有理第四贝蒂数满足 $\dim H^4(\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n, \mathbb{R}) \geq 4$，超过 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$ 的 $\mathbb{R}^3$。
• 对于偶数 $k \geq 2$，映射 $\hat{h}_{2k-2}: \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$ 在通有曲线空间中同伦于常值映射，但在 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$ 中检测到非平凡上同调类。
• 对于奇数 $k \geq 2$，映射 $\hat{h}_{2k-2}: \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$ 在通有曲线空间中同伦于常值映射，但在 $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$ 中检测到非平凡上同调类。
• $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$ 和 $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$ 不与 $\mathcal{L}\mathbb{S}^3(\pm\mathbf{i}, \mp\mathbf{i})$ 同伦等价，而后者本身与 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$ 同伦等价。