[论文解读] 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

一句话总结

本文通过一种新颖的修整位置技术，证明了ℝ³中任意三维无界凸多面体的补集是ℝ³的多项式像。与高维情形不同，这一表示在三维中是可能的，原因在于三维下拓扑与几何约束的存在，而这些约束在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$.

研究动机与目标

• 确定ℝ³中三维凸多面体的补集是否可表示为ℝ³的多项式像。
• 将先前关于半代数集的正规与多项式像结果，推广至三维无界凸多面体。
• 研究现有技术在推广至n ≥ 4维时的局限性。
• 建立凸多面体补集为多项式像的条件，特别关注无界情形。

提出的方法

• 作者使用一种称为'修整位置'的几何技术——具体为第一与第二修整位置——重新定位多面体，使得其补集可从ℝ³多项式映射得到。
• 他们通过将ℝ³投影到(x₁,x₂,0)-平面上的投影π₃定义纤维化结构，分析多面体像在这些投影下的行为。
• 证明的关键在于：对于无顶点（非退化）的三维无界凸多面体，在适当的坐标对齐下，π₃(𝒦)的像是有界的。
• 关键组成部分是使用方向投影与仿射双射，以保持凸性，并确保像保持半代数且可多项式表示。
• 该构造通过使用多项式映射而非有理映射，避免了分母的存在，从而增强了计算与理论上的实用性。
• 通过扰动的正单纯形多面体构造了高维反例，表明截面投影会失效，从而阻碍该方法的推广。

实验结果

研究问题

• RQ1 三维无界凸多面体的补集能否表示为ℝ³的多项式像？
• RQ2 为何在三维中有效的多项式构造技术在n ≥ 4维中失效？
• RQ3 凸多面体的哪些几何与拓扑性质使其可处于第一或第二修整位置，或不可？
• RQ4 在高维中，是否存在将无界半代数集表示为多项式像的内在障碍？
• RQ5 在高维中，截面投影的缺失在何种条件下会阻止修整位置技术的使用？

主要发现

• 任意三维无界凸多面体𝒦的补集ℝ³ ∖ 𝒦及其内部补集ℝ³ ∖ Int(𝒦)均为ℝ³的多项式像。
• 该结果无法推广至n ≥ 4维，通过构造无截面投影的有界多面体反例得以证明。
• 高维中的主要障碍在于投影性质的失效：当n ≥ 4时，存在有界凸多面体，使得其在任意超平面上的线性投影不等于该多面体与该超平面的交集。
• 在n ≥ 4维中，若无界凸多面体是某有界多面体与[0, ∞)的积，则其无法相对于任何面处于第一或第二修整位置。
• 该技术依赖于多项式像在无穷远处点集的拓扑连通性，而该性质在高维中对这类无界集合不再成立。
• 该构造是有效且构造性的：多项式映射通过几何定位与投影论证被显式构建。