[论文解读] On stellated spheres and a tightness criterion for combinatorial manifolds

Bhaskar Bagchi, Basudeb Datta|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Jul 24, 2012

Topological and Geometric Data Analysis参考文献 19被引用 9

一句话总结

本文引入了 $k$-星形球面以及具有 $k$-星形顶点邻域的单纯剖分 $d$-流形的类 $\mathcal{W}_k(d)$ 和 $\mathcal{W}_k^*(d)$，并通过 $\mu$-向量建立了紧致性的判别准则。研究证明，当 $d \geq 2k+2$ 时，$\mathcal{W}_k^*(d)$ 中的成员具有预设的同调类型；当 $d \neq 2k+1$ 时，所有此类成员均为紧致——解决了 Effenberger 最近提出的问题，并统一了大多数已知紧致单纯剖分流形的紧致性证明。

ABSTRACT

We introduce the $k$-stellated spheres and consider the class ${\cal W}_k(d)$ of triangulated $d$-manifolds all whose vertex links are $k$-stellated, and its subclass ${\cal W}^{\ast}_k(d)$ consisting of the $(k+1)$-neighbourly members of ${\cal W}_k(d)$. We introduce the mu-vector of any simplicial complex and show that, in the case of 2-neighbourly simplicial complexes, the mu-vector dominates the vector of its Betti numbers componentwise; the two vectors are equal precisely for tight simplicial complexes. We are able to estimate/compute certain alternating sums of the components of the mu-vector of any 2-neighbourly member of ${\cal W}_k(d)$ for $d\geq 2k$. As one consequence of this theory, we prove a lower bound theorem for such triangulated manifolds, as well as determine the integral homology type of members of ${\cal W}^{\ast}_k(d)$ for $d \geq 2k+2$. As another application, we prove that, when $d eq 2k+1$, all members of ${\cal W}^{\ast}_k(d)$ are tight. We also characterize the tight members of ${\cal W}^{\ast}_k(2k + 1)$ in terms of their $k^{ m th}$ Betti numbers. These results more or less answer a recent question of Effenberger, and also provide a uniform and conceptual tightness proof for all except two of the known tight triangulated manifolds. We also prove a lower bound theorem for triangulated manifolds in which the members of ${\cal W}_1(d)$ provide the equality case. This generalises a result (the $d=4$ case) due to Walkup and Kuehnel. As a consequence, it is shown that every tight member of ${\cal W}_1(d)$ is strongly minimal, thus providing substantial evidence in favour of a conjecture of Kuehnel and Lutz asserting that tight triangulated manifolds should be strongly minimal.

研究动机与目标

• 定义并研究 $k$-星形球面及其在组合流形中的作用。
• 引入类 $\mathcal{W}_k(d)$ 和 $\mathcal{W}_k^*(d)$，即所有顶点邻域为 $k$-星形的 $d$-流形，以及具有 $(k+1)$-邻接结构的成员。
• 建立一个通过 $\mu$-向量对紧致单纯复形进行刻画的准则，即其分量在 Betti 数上分量支配。
• 为 $\mathcal{W}_1(d)$ 中的单纯剖分流形证明一个下界定理，推广 Walkup 与 Kühnel 的结果。
• 通过刻画 $\mathcal{W}_k^*(d)$ 中的紧致性并证明大多数已知紧致单纯剖分流形的强极小性，解决 Effenberger 最近提出的问题。

提出的方法

• 将单纯复形的 $\mu$-向量作为与 Betti 数比较的工具，证明在 2-邻接复形中分量支配关系成立。
• 利用 bistellar 变换与堆叠球面理论分析 $k$-星形球面的结构。
• 将 $\mathcal{W}_k(d)$ 定义为所有顶点邻域均为 $k$-星形的 $d$-流形的类，将 $\mathcal{W}_k^*(d)$ 定义为其中具有 $(k+1)$-邻接结构的子类。
• 为 $d \geq 2k$ 时 $\mathcal{W}_k(d)$ 中 2-邻接成员的 $\mu$-向量各分量建立交错和公式，从而实现同调计算。
• 证明当 $d \geq 2k+2$ 时，$\mathcal{W}_k^*(d)$ 中成员的整同调类型由其第 $k$ 个 Betti 数完全决定。
• 应用该理论证明当 $d \neq 2k+1$ 时，$\mathcal{W}_k^*(d)$ 的所有成员均为紧致，且在 $\mathcal{W}_k^*(2k+1)$ 中紧致性由第 $k$ 个 Betti 数的值刻画。

实验结果

研究问题

• RQ1 在什么条件下 $\mathcal{W}_k^*(d)$ 的成员是紧致的？其第 $k$ 个 Betti 数的取值如何决定这一性质？
• RQ2 $\mu$-向量能否用于刻画 2-邻接单纯复形的紧致性？在何种情况下其等于 Betti 数向量？
• RQ3 $\mathcal{W}_1(d)$ 的下界定理是否可推广至更高 $k$？其是否蕴含紧致单纯剖分流形的强极小性？
• RQ4 当 $d \neq 2k+1$ 时，$\mathcal{W}_k^*(d)$ 的所有成员是否均为紧致？这与已知例子有何关联？
• RQ5 $k$-星形球面的结果能否推广至 $k$-堆叠球面，特别是关于 $\sigma$-向量与紧致性的关系？

主要发现

• 当 $d \geq 2k+2$ 时，$\mathcal{W}_k^*(d)$ 中任意成员的整同调类型完全由其第 $k$ 个 Betti 数决定。
• 当 $d \neq 2k+1$ 时，$\mathcal{W}_k^*(d)$ 的所有成员均为紧致，且 $\mathcal{W}_k^*(2k+1)$ 中的紧致性由第 $k$ 个 Betti 数的值刻画。
• 对于 $d \geq 2k$ 的 $\mathcal{W}_k(d)$ 中任意 2-邻接成员，其 $\mu$-向量在分量上支配 Betti 数向量，且等式成立当且仅当复形为紧致。
• $\mathcal{W}_1(d)$ 是对单纯剖分流形的广义下界定理的等号成立情形，推广了 Walkup 与 Kühnel 在 $d=4$ 时的结果。
• 所有已知在 $\mathcal{W}_k^*(d)$ 中 $k=1,2$ 且 $d \geq 2k+2$ 的紧致单纯剖分流形均为强极小，支持了 Kühnel 与 Lutz 的一个猜想。
• 本研究统一并推广了对已知例子的紧致性证明，包括 15 个顶点的 $S^3 \times S^1$ 与 $S^3 \times_{-} S^1$ 的单纯剖分，以及 16 个顶点的 $K3$-曲面。