[论文解读] Face numbers of manifolds with boundary

Satoshi Murai, Isabella Novik|arXiv (Cornell University)|Sep 17, 2015

Topological and Geometric Data Analysis参考文献 8被引用 5

一句话总结

该论文通过分析相对单纯复形 $(\Delta, \partial\Delta)$，引入相对复形的 $\sigma$- 和 $\mu$-数，证明了当 $d \geq 3$ 时，$g_2(\Delta, \partial\Delta) \geq \binom{d+2}{2}(\tilde{b}_1(\Delta, \partial\Delta) - \tilde{b}_0(\Delta, \partial\Delta))$，从而在单纯复形流形边界情形下建立了面数的精确下界，将经典的下界定理推广至带边流形的情形。

ABSTRACT

We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's $σ$- and $μ$-numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the $μ$-numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.

研究动机与目标

• 为解决高维（尤其是六维及以上）三角剖分带边流形在面数上缺乏组合约束的问题。
• 通过引入相对不变量，将经典下界定理从闭流形推广至带边流形的情形。
• 为相对单纯复形建立 $\sigma$- 和 $\mu$-数的理论，以改进对面数的拓扑界。
• 对满足广义下界不等式等号的带边流形提供全局刻画。
• 解决与带边流形中 $h_2$-向量和 $g_2$-不变量相关的开放猜想与反例。

提出的方法

• 分析相对单纯复形 $(\Delta, \partial\Delta)$ 而非仅 $\Delta$，以将边界拓扑纳入面数约束。
• 引入 $\sigma$- 和 $\mu$-数的相对版本，将斯坦利-雷思纳模技术推广至相对复形。
• 应用弱莱布尼茨性质（WLP）将复形的联系扩展至更高维内部面，从而推广下界。
• 利用相对复形的德恩-索姆维尔型关系，证明对具有边界的方向同调流形有 $h^{\prime\prime}_i(\Delta, \partial\Delta) = h^{\prime\prime}_{d-i}(\Delta)$。
• 通过不等式 $g_2(\Delta, \partial\Delta) \geq \binom{d+2}{2}(\tilde{b}_1(\Delta, \partial\Delta) - \tilde{b}_0(\Delta, \partial\Delta))$ 建立相对下界定理，其中 $d \geq 3$。
• 证明等号成立当且仅当所有内部顶点邻域均为堆叠球面，且所有边界顶点邻域均为单纯形边界复形与无内部顶点的 $\mathbb{F}$-同调球面的连通和。

实验结果

研究问题

• RQ1 在单纯复形正规伪流形带边情形下，内部面数的精确下界是什么？
• RQ2 如何通过相对同调与面数将经典下界定理推广至带边流形？
• RQ3 何种顶点邻域条件可刻画带边流形在广义 $g_2$-不等式中等号成立的情形？
• RQ4 弱莱布尼茨性质能否用于将 $f$-向量的下界从边推广至更高维面？
• RQ5 何种全局拓扑条件可刻画实现相对 $g_2$-界等号的带边流形？

主要发现

• 该论文建立了精确下界：当 $d \geq 3$ 时，$g_2(\Delta, \partial\Delta) \geq \binom{d+2}{2}(\tilde{b}_1(\Delta, \partial\Delta) - \tilde{b}_0(\Delta, \partial\Delta))$，将经典下界定理推广至带边流形。
• 该不等式等号成立当且仅当每个内部顶点邻域为堆叠球面，且每个边界顶点邻域为单纯形边界复形与无内部顶点的 $\mathbb{F}$-同调球面的连通和。
• 对于满足弱莱布尼茨性质的带边流形，论文通过 $\mu$-数将边界扩展至更高维内部面。
• 相对 $h^{\prime\prime}$-向量满足 $h^{\prime\prime}_i(\Delta, \partial\Delta) = h^{\prime\prime}_{d-i}(\Delta)$，当 $0 < i < d$ 时成立；对连通复形，该等式也对 $i=0$ 和 $i=d$ 成立。
• 推论 1.4 通过证明当 $d \geq 4$ 时有 $h_2(\Delta) \geq f_0(\Delta, \partial\Delta) + \binom{d+2}{2}(\tilde{b}_1(\Delta, \partial\Delta) - \tilde{b}_0(\Delta, \partial\Delta))$，强化了文献 [28] 中的猜想不等式。
• 通过从一个堆叠流形中删除一个顶点，构造了对 [28, 猜想 5.7] 的反例，表明 $h_2$-界等号并不意味着所有顶点邻域均为堆叠球面或其顶点移除的变体。