[論文レビュー] 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

ひとこと要約

本稿は、一辺の長さが $n-2$、他のすべての辺の長さが 1 である平面 $n$-角形の等長類の空間 $¯{M}_{n,n-2}$ と実射影空間 $¯{\mathbb{RP}}^{n-3}$ の間の同相写像を確立する。各多角形を遠くの頂点を中心とする円の交点における角座標でパラメータ化することで、著者たちは、反射と反対称性を尊重する $¯{\mathbb{Z}}/2$-同相写像を球面 $S^{n-3}$ に構成し、その商が望ましい $¯{\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}$ と、一辺が長く、他の辺がすべて長さ 1 の平面 $n$-角形のモジュライ空間との間の位相的同値性を確立すること。
• 抽象的な位相的不変量をロボティクスの文脈でより直感的・幾何学的に理解できるように、$\mathbb{RP}^{n-3}$ を多角形配置の空間として幾何的実現すること。
• 多角形空間と球面との間の $\mathbb{Z}/2$-同相写像の $\mathbb{Z}/2$-同変性を明確にすることにより、先行研究における曖昧さを解消すること。
• 実射影空間 $\mathbb{RP}^{n-3}$ の位相的複雑性と、多角形型ロボットアームの運動計画問題との関連を明らかにすること。

提案手法

• 各多角形 $M_{n,r}$ を、直前の頂点と遠くの頂点を中心とする円の交点から得られる角座標 $t_i$ でパラメータ化する。
• 三角不等式の下で、$x_i$ から $x_{n-1}$ までの距離が最大に達する最小の添え字 $i_0$ を定義する。
• 円 $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}$ の位相的不変量（例えばコhomology）は、多角形配置の幾何学を通して理解可能か？

主な発見

• $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}$ の mod-2 コhomology 環が同型であることが確認された。
• 特定の同値関係を用いた $S^0$ の反復サスペンションによる $S^{n-3}$ のモデルが、標準的な球面と同相であることが示され、座標変換が可能になった。