[论文解读] Real projective space as a space of planar polygons

Donald M. Davis|arXiv (Cornell University)|Jan 12, 2015

Computational Geometry and Mesh Generation参考文献 4被引用 3

一句话总结

本文建立了实射影空间 $\mathbb{RP}^{n-3}$ 与具有一个边长为 $n-2$、其余边长为 1 的平面 $n$-边形的等距类模空间 $\overline{M}_{n,n-2}$ 之间的同胚关系。通过在远离顶点的圆上使用角度坐标参数化多边形构型，作者构建了一个到球面 $S^{n-3}$ 的 $\mathbb{Z}/2$-等变同胚，其商空间即为与 $\mathbb{RP}^{n-3}$ 的目标同胚关系，从而将拓扑复杂性与机器人运动规划联系起来。

ABSTRACT

We prove that real projective space RP^{n-3} is homeomorphic to the space of all isometry classes of n-gons in the plane with one side of length n-2 and all other sides of length 1. This makes the topological complexity of real projective space more relevant to robotics.

研究动机与目标

• 建立实射影空间 $\mathbb{RP}^{n-3}$ 与具有一个长边和单位长度其他边的平面 $n$-边形模空间之间的拓扑等价性。
• 将 $\mathbb{RP}^{n-3}$ 几何实现为多边形构型的空间，使抽象的拓扑不变量在机器人技术中更具直观性。
• 澄清多边形空间与球面之间同胚的 $\mathbb{Z}/2$-等变性，解决先前工作中存在的模糊性。
• 将 $\mathbb{RP}^{n-3}$ 的拓扑复杂性与多边形机械臂的运动规划问题联系起来。

提出的方法

• 通过先前顶点和远端顶点为中心的圆的交点，将 $M_{n,r}$ 中的每个多边形用角度坐标 $t_i$ 参数化。
• 定义 $i_0$ 为满足在三角不等式约束下，$x_i$ 到 $x_{n-1}$ 的距离达到最大可能值的最小索引。
• 利用 $C(x_{i-1},1)$ 与 $C(x_{n-1},n-1-i)$ 的交弧，为每个顶点 $x_i$ 定义参数 $t_i \in [-1,1]$，当弧退化时 $t_i = \pm 1$。
• 通过将多边形构型映射到 $S^0$ 的迭代非约化悬垂空间，构造一个 $\mathbb{Z}/2$-等变同胚 $\Phi: M_{n,r} \to S^{n-3}$，并尊重反射与对径对称性。
• 在 $\mathbb{Z}/2$-作用下取商，得到 $\overline{M}_{n,r}$ 与 $\mathbb{RP}^{n-3}$ 之间的同胚。
• 验证通过 $J^{n-3} \times S^0$ 与指定等价关系构建的 $S^{n-3}$ 模型与标准球面同胚，从而实现显式坐标变换。

实验结果

研究问题

• RQ1 实射影空间 $\mathbb{RP}^{n-3}$ 能否作为具有固定边长的平面多边形模空间进行几何实现？
• RQ2 是否存在从具有一个长边的定向 $n$-边形空间到球面 $S^{n-3}$ 的 $\mathbb{Z}/2$-等变同胚？
• RQ3 在反射作用下对这一多边形空间取商，是否得到一个与 $\mathbb{RP}^{n-3}$ 同胚的空间？
• RQ4 该构造如何阐明 $\mathbb{RP}^{n-3}$ 在机器人运动规划背景下的拓扑复杂性？
• RQ5 能否通过多边形构型的几何性质理解 $\mathbb{RP}^{n-3}$ 的拓扑不变量（如上同调）？

主要发现

• 对于 $n \geq 3$，具有一个边长为 $n-2$、其余边长为 1 的平面 $n$-边形的等距类模空间 $\overline{M}_{n,n-2}$ 同胚于 $\mathbb{RP}^{n-3}$。
• 对于 $n-2 \leq r < n-1$，显式构造了 $\mathbb{Z}/2$-等变同胚 $\Phi: M_{n,r} \to S^{n-3}$，解决了早期工作中存在的模糊性。
• 该构造利用来自圆交点的角度参数来参数化多边形构型，其中 $t_i = \pm 1$ 对应该弧退化的情形。
• 将 $\overline{M}_{n,n-2}$ 与 $\mathbb{RP}^{n-3}$ 的识别为多边形构型的几何解释，为机器人运动规划中的拓扑复杂性提供了直观理解。
• 结果确认了 $\overline{M}_{n,n-2}$ 与 $\mathbb{RP}^{n-3}$ 的模 2 上同调环同构，与先前其他研究的推测一致。
• 通过 $S^0$ 的迭代悬垂与在 $\pm 1$ 处的压缩关系构建的 $S^{n-3}$ 模型被证明与标准球面同胚，从而支持了坐标变换的实现。