[论文解读] Homotopy type of spaces of curves with constrained curvature on flat surfaces

Nicolau C. Saldanha, Pedro Zühlke|arXiv (Cornell University)|Oct 30, 2014

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文确定了在平坦曲面上（例如欧几里得平面）具有曲率约束于开区间的 $C^r$ 曲线空间的同伦类型，且初始和终点位置与方向固定。结果表明，此类空间的每个连通分支要么是可缩的，要么同伦等价于球面 $\mathbf{S}^n$（$n \geq 1$），并提供了基于终点 $q$ 和方向 $z$ 的几何参数显式构造方法以计算 $n$。该结果完全分类了在曲率约束下这些无穷维曲线空间的拓扑结构。

ABSTRACT

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a given open interval, in terms of all parameters involved. Any connected component of such a space is either contractible or homotopy equivalent to an $n$-sphere, and every $n\\geq 1$ is realizable. Explicit homotopy equivalences between the components and the corresponding spheres are constructed.

研究动机与目标

• 对完整平坦曲面上曲率被限制在开区间的 $C^r$ 曲线空间的同伦类型进行分类。
• 确定此类曲线空间在何时为可缩，何时同伦等价于球面 $\mathbf{S}^n$（$n \geq 1$）。
• 提供一种显式的几何构造方法，以计算每个分支同伦等价于的球面的维数 $n$。
• 分析同伦类型对终点 $q$ 和最终方向 $z$ 的依赖关系，特别是当 $z \neq -1$ 时。
• 证明每个 $n \geq 0$（包括 $n = \infty$）均可实现为某个分支的同伦类型。

提出的方法

• 针对 $Q = (q,z)$ 且 $z \neq -1$ 的情形，使用 $C^r$ 拓扑（$r \geq 2$）研究最小总转角曲线的空间 $\mathscr{M}(Q)$。
• 通过编码曲线上曲率符号变化序列的“顶端符号串” $\tau$ 对临界曲线进行分类。
• 构造具有固定顶端符号串 $\tau$ 的曲线空间 $\mathscr{N}(Q)$，并证明其通过一个典范投影与 $\mathscr{M}(Q)$ 同伦等价。
• 利用布劳威尔的区域不变性定理进行次数计算，确认 $\mathscr{M}(Q)$ 与 $\mathbf{S}^{n-1}$ 之间映射复合的次数为 $\pm 1$，从而证明其同伦等价于球面。
• 拓扑结构由 $q$ 相对于以 $iz - i$、$i - iz$ 和 $\pm(i + iz)$ 为中心、半径依赖于 $k$ 的三个圆的位置关系决定。
• 通过结合文献 [22] 中关于临界曲线的结果与一种新的显式同伦等价到球面的构造，得出最终结果。

实验结果

研究问题

• RQ1 对于哪些 $q$ 和 $z$ 值，空间 $\mathscr{M}(Q)$ 同伦等价于球面 $\mathbf{S}^n$？
• RQ2 同伦类型 $\mathscr{M}(Q)$ 如何依赖于 $q$ 和 $z$ 的几何构型？
• RQ3 每个整数 $n \geq 1$ 是否都可实现为某个分支 $\mathscr{M}(Q)$ 的同伦类型？
• RQ4 在平面上的哪个精确区域中，有 $\mathscr{M}(Q) \simeq \mathbf{E} \times \mathbf{S}^{2k}$ 或 $\mathbf{E} \times \mathbf{S}^{2k+1}$？
• RQ5 当 $n \to \infty$ 时，满足 $\mathscr{M}(Q) \simeq \mathbf{S}^n$ 的点 $q$ 的集合 $S_n(z)$ 的面积行为如何？

主要发现

• 当 $z \neq -1$ 时，若 $q$ 位于由三个圆界定的特定开区域内部，其中半径分别为 $4k+4$、$4k+2$ 和 $4k+6$，则空间 $\mathscr{M}(Q)$ 同伦等价于 $\mathbf{E} \times \mathbf{S}^{2k}$ 或 $\mathbf{E} \times \mathbf{S}^{2k+1}$。
• 若 $q$ 位于所有此类区域的闭包之外，则 $\mathscr{M}(Q) \approx \mathbf{E}$，即可分的希尔伯特空间。
• 当 $q$ 位于此类区域的边界上时，$\mathscr{M}(Q)$ 同胚于 $\mathscr{M}((q - \delta(1+z), z))$，对所有充分小的 $\delta > 0$ 成立。
• $\mathscr{M}(Q) \simeq \mathbf{S}^n$ 的点 $q$ 的集合 $S_n(z)$ 的面积满足 $\lim_{n \to \infty} \text{Area}(S_n(z)) = +\infty$。
• 对于 $Q_x = (x,1)$ 且 $x \in \mathbb{R}$，当 $\frac{x}{4} \in (\sqrt{k^2 + k}, k+1]$ 时，有 $\mathscr{M}(Q_x) \approx \mathbf{E} \times \mathbf{S}^{2k}$；当 $\frac{x}{4} \in (k+1, \sqrt{k^2 + 3k + 2}]$ 时，有 $\mathbf{E} \times \mathbf{S}^{2k+1}$。
• 每个整数 $n \geq 1$ 均可实现为某个分支 $\mathscr{M}(Q)$ 的同伦类型，且 $n = \infty$ 对应该可缩情形 $\mathbf{E}$。