[论文解读] Topology of the space of locally convex curves on the 3-sphere

Emília Alves|arXiv (Cornell University)|Aug 16, 2016

Geometric Analysis and Curvature Flows参考文献 17被引用 3

一句话总结

本文研究了三维球面 $ \mathbb{S}^3 $ 上局部凸曲线空间的拓扑结构，重点关注 $ n = 3 $ 情况下的四种非一般同伦型。通过将 $ \mathbb{S}^3 $ 中的一般曲线分解为 $ \mathbb{S}^2 $ 中的曲线对，作者证明了其中两个空间的上同调在一般曲线空间的上同调之外非平凡，从而确立了它们在拓扑上互不相同，并基于二维球面投影提出了一项全局凸性的判定准则。

ABSTRACT

A (positive) locally convex curve in the 2-sphere is a curve with positive geodesic curvature (i.e., which always turns left). In the 3-sphere, it is a curve with positive torsion. In this work we discussed the topology of spaces of such curves with prescribed initial and final jets. The case of the 2-sphere is understood (Saldanha-2013); the case of n=3 is not yet thoroughly clarified. In order to obtain partial information about the homotopy type of such spaces in the case n=3, we represented a positive locally convex curve as a pair of curves on the 2-sphere with some restrictions.

研究动机与目标

• 确定 $ \mathbb{S}^3 $ 上局部凸曲线空间中非一般分支的拓扑结构，特别是那些与一般曲线空间不同胚的分支。
• 将局部凸曲线空间的分类从 $ n = 2 $ 扩展至 $ n = 3 $，其中 Saldanha 之前已解决 $ n = 2 $ 的情形。
• 为 $ \mathbb{S}^3 $ 中的一般曲线开发一种分解方法，将其分解为 $ \mathbb{S}^2 $ 中的曲线对，同时在其中一个分量中保持局部凸性。
• 基于 $ \mathbb{S}^2 $ 上投影曲线的局部凸性，建立判断 $ \mathbb{S}^3 $ 中曲线全局凸性的准则。
• 证明 $ \mathbb{S}^3 $ 中某些局部凸曲线空间在偶数度上的上同调非平凡，且超出一般曲线空间的范围，从而表明其在拓扑上具有区别性。

提出的方法

• 使用 Frenet 框架提升来定义 $ \mathcal{L}\mathbb{S}^n(z) $，即在 $ \mathrm{Spin}_{n+1} $ 中具有固定初始和最终提升框架的局部凸曲线空间。
• 应用 Bruhat 单元分解与同伦理论技术，分析曲线空间的同伦型。
• 构造映射 $ \hat{h}_{2k-2} : \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(z_l, z_r) $，以检测非平凡的同伦群。
• 在 $ \mathcal{L}\mathbb{S}^3(z_l, z_r) $ 上定义上同调类 $ \hat{m}_{2k-2} $，满足 $ \hat{m}_{2k-2}(\hat{h}_{2k-2}) = \pm 1 $，表明其非平凡性。
• 利用拉回映射 $ h_{2k-2}^* $ 及其提升 $ \widehat{h_{2k-2}^*} $，建立 $ \mathbb{S}^2 $ 与 $ \mathbb{S}^3 $ 中曲线空间之间的联系。
• 利用 $ h_{2k-2} $ 在 $ \mathcal{G}\mathbb{S}^2(\mathbf{1}) $ 中同伦于常值映射的事实，推导出其在 $ \mathcal{G}\mathbb{S}^3(\mathbf{1}, -\mathbf{k}) $ 中的同伦平凡性，同时在 $ \mathcal{L}\mathbb{S}^3 $ 中检测到额外的拓扑结构。

实验结果

研究问题

• RQ1 在 $ \mathbb{S}^3 $ 上局部凸曲线空间中，非一般分支是否在拓扑上与一般曲线空间相区别？
• RQ2 对于 $ z \in \mathrm{Spin}_4 $，能否在已知的一般情形之外，确定 $ \mathcal{L}\mathbb{S}^3(z) $ 的拓扑结构？
• RQ3 一个 $ \mathbb{S}^3 $ 中的局部凸曲线是否可分解为 $ \mathbb{S}^2 $ 中的一对曲线，且其中一个分量保持局部凸性？
• RQ4 能否通过其在 $ \mathbb{S}^2 $ 上的投影的局部凸性来判断 $ \mathbb{S}^3 $ 中曲线的全局凸性？
• RQ5 $ \mathcal{L}\mathbb{S}^3(z) $ 的上同调结构是什么？它与 $ \mathcal{G}\mathbb{S}^3(z) $ 有何不同？

主要发现

• 当 $ n = 3 $ 时，空间 $ \mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1}) $ 在 $ j = 2l $ 度上，当 $ l $ 为奇数时，其上同调维数至少为 $ l+2 $，超过一般曲线空间的维数。
• 类似地，$ \mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1}) $ 在 $ j = 2l $ 度上，当 $ l $ 为偶数时，其上同调维数至少为 $ l+2 $，表明其在拓扑上与一般情形不同。
• 映射 $ \hat{h}_{2k-2} : \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(z_l, z_r) $ 在 $ \mathcal{G}\mathbb{S}^3(z_l, z_r) $ 中同伦于常值映射，但能检测到非平凡的上同调类 $ \hat{m}_{2k-2} $，从而证明 $ \mathcal{L}\mathbb{S}^3(z_l, z_r) $ 中存在额外的拓扑结构。
• 任何 $ \mathbb{S}^3 $ 中的一般曲线均可分解为 $ \mathbb{S}^2 $ 中的一对曲线，若原曲线为局部凸，则其中一个投影曲线也具有局部凸性。
• 在 $ \mathbb{S}^3 $ 中，一条局部凸曲线是全局凸的，当且仅当其在 $ \mathbb{S}^2 $ 上对应的曲线是全局凸的，从而提供了一种基于二维球面投影的判定准则。
• 对于 $ z = (-\mathbf{1})^k $ 和 $ z = (-\mathbf{1})^{k-1}\mathbf{k} $（$ k \geq 2 $），空间 $ \mathcal{L}\mathbb{S}^3(z) $ 的上同调在一般曲线空间之外非平凡，确认其与一般曲线空间不保持同伦等价。