[论文解读] 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)$-单纯形的自由和，并表明所有此类多面体均可通过在这些基本形式上堆叠得到。该结果利用刚性理论与组合拓扑，将 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$ 情况完全由单纯形的自由和或一个多边形与一个单纯形构成，且该结论对同调球面同样成立。

提出的方法

• 使用 $g$-向量及定义为 $g_2(K) = f_1(K) - d f_0(K) + inom{d+1}{2}$ 的 $g_2$ 不变量，其中 $K$ 为 $d$-维复形。
• 应用刚性理论与面向量理论结果，特别是下界定理及 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$，满足 $g_2 = 1$ 的单纯形 $d$-多面体的组合类型为何？
• RQ2 能否将 $g_2 = 0$ 多面体（即堆叠多面体）的刻画推广至 $g_2 = 1$ 情况？
• RQ3 所有满足 $g_2 = 1$ 的单纯形 $d$-多面体是否均可通过在两个单纯形的自由和或一个多边形与一个单纯形的自由和上进行堆叠得到？
• RQ4 $g_2 = 1$ 的刻画是否可推广至同调球面？
• RQ5 基本复形在 $g_2 = 1$ 多面体分类中起何作用？

主要发现

• 每个满足 $g_2 = 1$ 且 $d \geq 4$ 的单纯形 $d$-多面体，其组合类型均等价于在两个维度之和为 $d$、且每个维度至少为 2 的单纯形的自由和上进行堆叠所得的多面体。
• 此类多面体亦组合等价于在多边形与一个 $(d-2)$-单纯形上进行堆叠所得的多面体。
• 满足 $g_2 = 1$ 的基本 $d$-多面体恰好为组合同构于两个维度均至少为 2 的单纯形的自由和，或一个多边形与一个 $(d-2)$-单纯形的自由和的复形。
• 该刻画可推广至同调 $(d-1)$-球面：任一基本同调球面若满足 $g_2 = 1$，则其组合等价于上述两种自由和形式之一。
• $g_2$ 不变量在连通和下具有可加性，且结果表明所有 $g_2 = 1$ 多面体均可通过在这些基本形式上堆叠得到。
• 本文给出一个反例，反驳了 Kalai 关于固定 $g_2$ 时基本多面体顶点数有界的断言，表明当 $g_2 = 1$ 时 $f_0$ 可任意大。