[論文レビュー] Generalization of Sabitov's Theorem to Polyhedra of Arbitrary Dimensions

Alexander A. Gaifullin|arXiv (Cornell University)|Oct 19, 2012

Point processes and geometric inequalities参考文献 6被引用数 6

ひとこと要約

この論文は、任意の次元 n ≥ 3 の多面体へ、体積剛性に関するサビトフの定理を一般化し、2次元の面がすべて三角形である任意の多面体の符号付き体積が、その辺の長さの平方に関するモニック多項式関係を満たすことを証明する。この結果により、ベルローズ予想がすべての次元で成立することが示され、すべての2次元の面が合同な連続的変形を保つ柔軟な多面体の体積が一定に保たれることを示し、直交する辺の長さから複素単体的多面体の体積の推定値が得られる。

ABSTRACT

In 1996 Sabitov proved that the volume of an arbitrary simplicial polyhedron P in the 3-dimensional Euclidean space $\R^3$ satisfies a monic (with respect to V) polynomial relation F(V,l)=0, where l denotes the set of the squares of edge lengths of P. In 2011 the author proved the same assertion for polyhedra in $\R^4$. In this paper, we prove that the same result is true in arbitrary dimension $n\ge 3$. Moreover, we show that this is true not only for simplicial polyhedra, but for all polyhedra with triangular 2-faces. As a corollary, we obtain the proof in arbitrary dimension of the well-known Bellows Conjecture posed by Connelly in 1978. This conjecture claims that the volume of any flexible polyhedron is constant. Moreover, we obtain the following stronger result. If $P_t$, $t\in [0,1]$, is a continuous deformation of a polyhedron such that the combinatorial type of $P_t$ does not change and every 2-face of $P_t$ remains congruent to the corresponding face of $P_0$, then the volume of $P_t$ is constant. We also obtain non-trivial estimates for the oriented volumes of complex simplicial polyhedra in $\C^n$ from their orthogonal edge lengths.

研究の動機と目的

• 3次元の単体的多面体に対してすでに証明済みのサビトフの定理を、3次元を超えて任意の次元 n ≥ 3 へ拡張すること。
• R^n に存在する、2次元の面がすべて三角形である任意の多面体の体積が、その辺の長さの平方に関するモニック多項式関係を満たすことの確立。
• ベルローズ予想をすべての次元で証明すること：すべての2次元の面が合同のまま連続的に変形される柔軟な多面体の体積は一定に保たれる。
• 直交する辺の長さから、C^n における複素単体的多面体の符号付き体積に対する非自明な推定値を導出すること。
• 体積が辺の長さに代数的に依存することを、凸でない、自己交差する、退化している多面体に対しても、埋め込みや非退化性の仮定なしに拡張すること。

提案手法

• 代数幾何学および可換代数、特に有理関数体における場（places）および整拡大の理論を用いる。
• オムニ向き多面体の一般化された三角形分割を構成し、符号付き体積を代数的に表現するためにケイリー＝メンジャー行列式を適用する。
• 主な技術的手段として、拡張体への写像におけるチェーンの台を分析し、体積の表現が代数的拡大のもとでも有限に保たれることを保証する。
• 著者らは、ある部分複体が体の拡大のもとで崩壊することを示す「主補題」を用い、体積が辺の長さの不変量に対して代数的整数的であることを示す。
• ネーター環および素イデアルの理論を用いて、問題を、辺の長さの平方上で有限である場において体積の表現が有限であることを確認する問題に還元する。
• 単体の次元に関する帰納法と、代数的閉包性質を用いて、非単体的だが2次元の面が三角形である多面体を扱うことで、3次元および4次元の既存結果を任意の次元へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 R^n に存在する2次元の面がすべて三角形である多面体の体積は、任意の n ≥ 3 に対して、辺の長さの平方に関するモニック多項式関係を満たすか？
• RQ2 R^n における柔軟な多面体の体積は、すべての2次元の面が合同のまま連続的変形が行われる間、一定に保たれるか。これは任意の次元におけるベルローズ予想の証明である。
• RQ3 C^n における複素単体的多面体の符号付き体積に対して、直交する辺の長さから非自明な代数的推定値を導出できるか？
• RQ4 体積が辺の長さに代数的に依存することは、凸でない、自己交差する、または退化している多面体に対しても、非退化性や埋め込みの仮定なしに拡張可能か？
• RQ5 体積の多項式関係は、辺の長さの平方および2次元の面の対角線長の平方に対して、整数係数を持つように強化可能か？

主な発見

• R^n に存在する2次元の面がすべて三角形である任意の多面体の符号付き体積は、辺の長さの平方に関するモニック多項式関係を満たし、サビトフの3次元結果がすべての次元 n ≥ 3 へ一般化される。
• ベルローズ予想はすべての次元で証明された：すべての2次元の面が合同のまま連続的に変形される柔軟な多面体の体積は一定に保たれる。
• より強い結果が得られた：任意の連続的変形 P_t において、各2次元の面が初期状態の面と合同のまま保たれるとき、P_t の体積は一定である。
• C^n における複素単体的多面体に対して、直交する辺の長さから符号付き体積の非自明な推定値が導出され、実体積の代数的性質が複素数の場合へ拡張される。
• 体積の多項式関係は、2次元の面が三角形でなくても、辺の長さの平方および2次元の面の対角線長の平方に対して、整数係数を持つように強化可能である。
• この結果は、凸でない、自己交差する、または退化している多面体を含め、すべての多面体に対して成り立ち、単体の埋め込みや非退化性の仮定は不要である。