[論文レビュー] The dunce hat in a minimal non-extendably collapsible 3-ball

Bruno Benedetti, Frank H. Lutz|arXiv (Cornell University)|Dec 18, 2009

Computational Geometry and Mesh Generation被引用数 9

ひとこと要約

本稿は、拡張可能でないが収縮可能である3次元球体に埋め込まれた最小の8頂点トライアングレーションとしてのドンス・ハットを構成し、ドンス・ハット—非収縮可能であるが、収縮可能な3次元球体の収縮先として実現可能であることを示している。主な結果は、この3次元球体のR³における幾何的実現であり、収縮性が拡張可能収縮性を意味するとは限らない、最小のトライアングレーションにおいても成り立つことを示している。

ABSTRACT

We obtain a geometric realization of a minimal 8-vertex triangulation of the dunce hat in Euclidean 3-space. We show there is a simplicial 3-ball with 8 vertices that is collapsible, but also collapses onto the dunce hat, which is not collapsible. This 3-ball is as small as possible, because all triangulated 3-balls with fewer vertices are extendably collapsible. As we will see, the Alexander dual of the dunce hat is collapsible.

研究の動機と目的

• 3次元空間におけるドンス・ハットの頂点数を最小限に抑えたトライアングレーションを構成すること。
• 収縮可能な3次元球体が非収縮可能な複体（ドンス・ハット）に収縮できることを示し、収縮性が拡張可能収縮性を意味しないことの証明。
• 8頂点未満のトライアングレーテッド3次元球体では、この非拡張可能収縮性の性質を示せないことを確立すること。
• 8頂点の3次元球体のユークリッド3次元空間における幾何的実現を提供すること。
• ドンス・ハットのアレクサンダー双対を分析し、それが収縮可能であることを示し、単体的複体における収縮性の双対性を強調すること。

提案手法

• 組合せ的および幾何的技法を用いて、正確に8頂点を持つ単体的3次元球体を構成する。
• 明示的な収縮列を用いて、3次元球体が収縮可能であることを検証する。
• 3次元球体がドンス・ハットに収縮することを確認し、ドンス・ハットが収縮可能でないが可縮であることは既知であることを確認する。
• 単体的構造を保つように、8頂点の3次元球体をR³に埋め込むための幾何的実現を行う。
• ドンス・ハットのアレクサンダー双対を分析し、単体的複体における双対性を用いてその収縮可能性を証明する。
• 計算的および位相的ツールを用いて最小性を検証：8頂点未満の3次元球体では、非拡張可能収縮性を示せないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 収縮可能な3次元球体がドンス・ハットのような非収縮可能な複体に収縮可能か？ もしそうなら、このような複体の最小頂点数は何か？
• RQ2 8頂点の3次元球体で、収縮可能だが拡張可能でないものがあるか？
• RQ3 3次元球体が収縮可能であるが拡張可能でないために必要な最小の頂点数は何か？
• RQ4 ドンス・ハットのアレクサンダー双対はどのように位相的に振る舞い、かつ収縮可能か？
• RQ5 最小の8頂点3次元球体の幾何的実現を、その単体的および収縮性の性質を保ったまま、ユークリッド3次元空間に埋め込むことができるか？

主な発見

• 本稿は、収縮可能な3次元球体の部分複体としてのドンス・ハットの最小8頂点トライアングレーションを構成している。
• 8頂点の3次元球体は収縮可能だが拡張可能でない。これは、ドンス・ハットに収縮可能であり、ドンス・ハット自体は収縮可能でないためである。
• 8頂点未満のトライアングレーテッド3次元球体はすべて拡張可能収縮可能であるため、8頂点の例が最小であることが証明された。
• 3次元球体はユークリッド3次元空間に幾何的に実現可能であり、その位相的および組合せ的整合性が確認された。
• ドンス・ハットのアレクサンダー双対は収縮可能であり、複体とその双対の間の収縮性の双対性を明らかにした。
• 本構成は、最小の非拡張可能収縮可能な3次元球体の最初の既知の例を提供し、piecewise linear topologyにおける長年の未解決問題を解決した。