[论文解读] On stellated spheres, shellable balls, lower bounds and a combinatorial criterion for tightness

Bhaskar Bagchi, Basudeb Datta|arXiv (Cornell University)|Feb 4, 2011

Advanced Combinatorial Mathematics参考文献 25被引用 10

一句话总结

本文引入了k-星形化球面，并在d ≥ 2k时建立了k-星形化d-球面与k-堆叠(d+1)-球体之间的典范对应关系，证明了此类球面边界唯一且典范定义的k-堆叠球体。关键贡献在于通过μ-向量提出了一种组合紧致性判别准则，表明当d ≥ 2k+2时，𝒲_k(d)类中的2-邻接成员是紧致的，且在下界定理中等号成立的情形恰好发生在此类中。

ABSTRACT

We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In parallel, any $k$-stacked polytopal sphere of dimension $d\geq 2k$ bounds a unique and canonically defined $k$-stacked ball. We consider the class ${\cal W}_k(d)$ of combinatorial $d$-manifolds with $k$-stellated links. For $d\geq 2k+2$, any member of ${\cal W}_k(d)$ bounds a unique and canonically defined "$k$-stacked" $(d+1)$-manifold. We introduce the mu-vector of simplicial complexes, and show that the mu-vector of any 2-neighbourly simplicial complex dominates its vector of Betti numbers componentwise, and the two vectors are equal precisely when the complex is tight. When $d\geq 2k$, we are able to estimate/compute certain alternating sums of the mu-numbers of any 2-neighbourly member of ${\cal W}_k(d)$. This leads to a lower bound theorem for such triangulated manifolds. As an application, it is shown that any $(k+1)$-neighbourly member of ${\cal W}_k(d)$ is tight, subject only to an extra condition on the $k^{th}$ Betti number in case $d=2k+1$. This result more or less settles a recent conjecture of Effenberger, and it also provides a uniform and conceptual tightness proof for all the known tight triangulated manifolds, with only two exceptions. It is shown that any polytopal upper bound sphere of odd dimension $2k+1$ belongs to the class ${\cal W}_k(2k+1)$, thus generalizing a theorem due to Perles. This shows that the case $d=2k+1$ is indeed exceptional for the tightness theorem.

研究动机与目标

• 定义并研究k-星形化与k-堆叠的单纯形球面与球体，建立它们之间的典范对应关系。
• 引入𝒲_k(d)类的组合d-流形（其k-星形化邻域），并分析其性质。
• 发展μ-向量框架，通过其分量对Betti数的支配关系来刻画单纯复形中的紧致性。
• 证明𝒲_k(d)类中2-邻接成员的下界定理，并在特定条件下建立紧致性。
• 解决Effenberger的猜想，并为已知的紧致单纯形流形提供统一的紧致性准则。

提出的方法

• 将k-星形化球面定义为可通过指标小于k的双胞胎移动从标准d-球面获得的球面。
• 将k-堆叠球体定义为所有余维k+1的面均位于边界上的单纯形球体，并通过边界对应关系将其与k-星形化球面关联。
• 引入单纯复形的μ-向量，并证明其分量对Betti向量的支配关系，且等式成立当且仅当复形是紧致的。
• 利用μ-数的交错和，推导出当d ≥ 2k+2时𝒲_k(d)类中2-邻接成员的下界。
• 将该准则应用于证明：当d = 2k+1时，在k-阶Betti数满足弱条件的前提下，𝒲_k(d)类中的(k+1)-邻接成员是紧致的。
• 证明维度为2k+1的多面体上界球面属于𝒲_k(2k+1)，推广了Perles定理。

实验结果

研究问题

• RQ1 对于d ≥ 2k，每个k-星形化d-球面是否都边界唯一k-堆叠(d+1)-球体？
• RQ2 μ-向量能否作为检测单纯复形中紧致性的组合准则？
• RQ3 𝒲_k(d)类中所有(k+1)-邻接成员是否都是紧致的，特别是当d = 2k+1时？
• RQ4 𝒲_k(d)类成员是否在单纯形流形的下界定理中达到等号？
• RQ5 k-星形化球面的结果能否推广至k-堆叠球面？

主要发现

• 当d ≥ 2k时，每个k-星形化d-球面都边界唯一且典范定义的k-堆叠(d+1)-球体。
• 任意2-邻接单纯复形的μ-向量分量对Betti向量具有支配关系，且等式成立当且仅当复形是紧致的。
• 当d ≥ 2k+2时，𝒲_k(d)类中任意(k+1)-邻接成员均为紧致，当d = 2k+1时仅需对k-阶Betti数施加弱条件。
• 𝒲_k(d)类为单纯形流形下界定理的等号情形，推广了Walkup与Kühnel的结果。
• 维度为2k+1的多面体上界球面属于𝒲_k(2k+1)，推广了k=1时的Perles定理。
• 所有已知的紧致单纯形流形（除两个外）均被新紧致性准则覆盖，为它们的紧致性提供了统一证明。