[論文レビュー] On the complements of 3-dimensional convex polyhedra as polynomial images of ${\mathbb R}^3$

José F. Fernando, Carlos Ueno|arXiv (Cornell University)|Dec 8, 2012

Advanced Differential Equations and Dynamical Systems参考文献 11被引用数 3

ひとこと要約

本稿では、新しいトリミング位置技術を用いて、ℝ³ 内の任意の3次元非有界凸多面体の補集合が ℝ³ の多項式像であることを証明している。高次元とは異なり、3次元ではトポロジー的および幾何的制約が成立するため、この表現が可能である。n ≥ 4 の次元では、同様の手法では一般に多項式像を構成できない。

ABSTRACT

We prove that the complement ${\mathcal S}:={\mathbb R}^3\setminus{\mathcal K}$ of a 3-dimensional convex polyhedron ${\mathcal K}\subset{\mathbb R}^3$ and its closure $\overline{\mathcal S}$ are polynomial images of ${\mathbb R}^3$. The former techniques cannot be extended in general to represent such semialgebraic sets ${\mathcal S}$ and $\overline{\mathcal S}$ as polynomial images of ${\mathbb R}^n$ if $n\geq4$.

研究の動機と目的

• ℝ³ 内の3次元凸多面体の補集合が ℝ³ の多項式像として表現可能かどうかを特定すること。
• 既存の半代数的集合の正則的および多項式的像に関する結果を、3次元における非有界凸多面体に拡張すること。
• 既存の技法を次元 n ≥ 4 に一般化する際の制限を調査すること。
• 凸多面体の補集合が多項式像であるための条件を、非有界の場合に焦点を当てて確立すること。

提案手法

• 著者らは、多面体の補集合を ℝ³ から多項式的に写像できるように再配置するための幾何的技法「トリミング位置」（特に第1および第2トリミング位置）を用いる。
• ℝ³ を (x₁,x₂,0)-平面上への射影 π₃ によるファイブレーションとして定義し、多面体の像がこのような射影下でどのように振る舞うかを分析する。
• 証明の根幹は、頂点を持たない（非退化な）3次元非有界凸多面体 𝒦 に対して、適切な座標配置のもとで π₃(𝒦) が有界であることを示すことにある。
• 方向付き射影とアフィン同型写像の使用が、凸性を保ちつつ像が半代数的かつ多項式的に表現可能であることを保証する。
• 分母を避けるために正則写像ではなく多項式写像を用いることで、計算的および理論的有用性を高めている。
• 高次元における反例は、摂動を加えた交差双多面体を用いて構成され、断面射影が失敗することにより、同様の手法の拡張が阻害されることを示している。

実験結果

リサーチクエスチョン

• RQ1 3次元非有界凸多面体の補集合は、ℝ³ の多項式像として表現可能か？
• RQ2 3次元で成立する多項式構成技法が、次元 n ≥ 4 で失敗する理由は何か？
• RQ3 凸多面体が第1または第2トリミング位置に置けるか否かを決定する幾何的およびトポロジカル性質は何か？
• RQ4 高次元において、非有界半代数的集合を多項式像として表現する際に、内在的な障害は存在するか？
• RQ5 高次元における断面射影の欠如が、トリミング位置技法の使用を妨える条件は何か？

主な発見

• 任意の3次元非有界凸多面体 𝒦 に対して、ℝ³ ∖ 𝒦 およびその内部の補集合 ℝ³ ∖ Int(𝒦) はいずれも ℝ³ の多項式像である。
• n ≥ 4 の次元への一般化は失敗する。これは、断面射影のない有界多面体を用いた反例によって示されている。
• 高次元における主な障害は、射影性質の失敗にある。n ≥ 4 のとき、ある有界凸多面体に対して、その超平面への線形射影が、多面体とその超平面の交差に一致しないような例が存在する。
• n ≥ 4 の次元における ℝⁿ 内の非有界凸多面体で、有界多面体と [0, ∞) の積であるようなものについては、任意の面に対し第1または第2トリミング位置に置くことはできない。
• この技法は、多項式像の無限遠点集合の位相的連結性に依存しており、このような非有界集合では高次元でその性質が成立しない。
• 構成は有効的かつ構成的である。多項式写像は幾何的配置と射影の議論に基づき明示的に構築されている。