[論文レビュー] A characterization of simplicial polytopes with g_2=1

Eran Nevo, Eyal Novinsky|ArXiv.org|Apr 10, 2008

Computational Geometry and Mesh Generation参考文献 15被引用数 6

ひとこと要約

本稿は、$g_2 = 1$ である単体的 $d$-多面体およびホモロジー $(d-1)$-球面を特徴づけ、それらが次元が 2 以上の二つの単体の自由和、または多角形と $(d-2)$-単体の自由和と組合せ的に同値であることを証明し、すべての such 多面体がこれらの素因数形へのスタッキングによって得られることを示している。この結果は、剛性理論と組合せ的位相論を用いて、Kalai の $g_2 = 0$ のスタッキング多面体の特徴づけを $g_2 = 1$ の場合に拡張したものである。

ABSTRACT

Kalai proved that the simplicial polytopes with g_2=0 are the stacked polytopes. We characterize the g_2=1 case. Specifically, we prove that every simplicial d-polytope (d>=4) which is prime and with g_2=1 is combinatorially equivalent either to a free sum of two simplices whose dimensions add up to d (each of dimension at least 2), or to a free sum of a polygon with a (d-2)-simplex. Thus, every simplicial d-polytope (d>=4) with g_2=1 is combinatorially equivalent to a polytope obtained by stacking over a polytope as above. Moreover, the above characterization holds for any homology (d-1)-sphere (d>=4) with g_2=1, and our proof takes advantage of working with this larger class of complexes.

研究の動機と目的

• Kalai が $g_2 = 0$ の場合に特徴づけた単体的多面体（スタッキング多面体）の結果を $g_2 = 1$ の場合に拡張すること。
• 組合せ的同値性の意味で、$g_2 = 1$ である素因数の単体的 $d$-多面体およびホモロジー $(d-1)$-球面を分類すること。
• $g_2 = 1$ である任意の単体的 $d$-多面体が、二種類の特定のタイプの素因数多面体へのスタッキングによって得られることを示すこと。
• 自由和（単体の自由和または多角形と単体の自由和）によって $g_2 = 1$ の場合が完全に特徴づけられ、この特徴づけがホモロジー球面に対しても成り立つことを確立すること。

提案手法

• 単体的複体 $K$ に対して $g_2(K) = f_1(K) - d f_0(K) + \binom{d+1}{2}$ で定義される $g$-ベクトルおよび $g_2$ 不変量の使用。
• 下界定理および Kalai の $g_2 = 0$ の特徴づけを含む、顔ベクトル理論および剛性理論の応用。
• 直交空間における多面体の自由和構成 $P \star Q = \text{conv}(P \cup Q)$ の使用。その境界は $\partial P * \partial Q$（ジョイン）として表される。
• ホモロジー球面および多面体において $g_2$ が連結和に関して加法的であるという事実と、連結和分解の使用。
• 欠落している顔と素因数複体の分析：複体が $(d-1)$-次元の欠落した顔を持たず、かつ単体でもないとき、その複体は素因数である。
• Alexander 対称性と Mayer-Vietoris の議論を用いて、$g_2 = 1$ の複体が素因数の場合に PL-球面であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 $d \geq 4$ の場合に、単体的 $d$-多面体で $g_2 = 1$ であるものの組合せ的型は何か？
• RQ2 Kalai が $g_2 = 0$ の多面体を特徴づけた結果を $g_2 = 1$ の場合に拡張できるか？
• RQ3 $g_2 = 1$ であるすべての単体的 $d$-多面体が、二つの単体の自由和または多角形と単体の自由和へのスタッキングによって得られるか？
• RQ4 この特徴づけはホモロジー球面に対しても拡張可能か？
• RQ5 素因数複体は、$g_2 = 1$ の多面体の分類において果たす役割は何か？

主な発見

• $g_2 = 1$ で $d \geq 4$ である任意の単体的 $d$-多面体は、次元の和が $d$ で、それぞれの次元が 2 以上の二つの単体の自由和へのスタッキングによって得られる多面体と組合せ的に同値である。
• 同様に、任意のこのような多面体は、多角形と $(d-2)$-単体のスタッキングによって得られる多面体とも組合せ的に同値である。
• 素因数の $d$-多面体で $g_2 = 1$ であるものは、ちょうど二つの単体（次元 ≥2）の自由和、または多角形と $(d-2)$-単体の自由和と組合せ的に同値であるものに限る。
• この特徴づけはホモロジー $(d-1)$-球面に対しても拡張可能である：任意の素因数ホモロジー球面で $g_2 = 1$ であるものは、二つの自由和タイプのいずれかと組合せ的に同値である。
• $g_2$ 不変量は連結和に関して加法的であり、この結果はすべての $g_2 = 1$ の多面体がこれらの素因数形へのスタッキングによって得られることを示唆する。
• 本稿は、Kalai が固定された $g_2$ に対して素因数多面体の頂点数が有界であると主張した主張に対して反例を提供し、$g_2 = 1$ の場合に $f_0$ が任意に大きく取り得ることを示している。