[论文解读] The mu vector, Morse inequalities and a generalized lower bound theorem for locally tame combinatorial manifolds

Bhaskar Bagchi|arXiv (Cornell University)|May 22, 2014

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

一句话总结

本文提出了单纯复形的 μ 向量的新定义，使得广义 Morse 不等式在无需 2-邻接性假设的情况下普遍成立。该文建立了连通、局部紧致的组合流形的广义下界定理（GLBT）：对于维度 $ d $ 和 $ 1 \leq \ell \leq \frac{d-1}{2} $，有 $ g_{\ell+1}(M) \geq \binom{d+2}{\ell+1} \sum_{i=1}^{\ell} (-1)^{\ell-i} \beta_i(M;\mathbb{F}) $，且等式成立当且仅当 $ M $ 是 $ \ell $-堆叠的。该结果证实了 Novik 和 Swartz 对 3-流形的猜想，并将 GLBT 推广至同调流形。

ABSTRACT

In a recent work [2] with Datta, we introduced the mu vector (with respect to a given field) of simplicial complexes and used it to study tightness and lower bounds. In this paper, we modify the definition of mu vectors. With the new definition, most results of [2] become correct without the hypothesis of 2-neighbourliness. In particular, the combinatorial Morse inequalities of [2] are now true of all simplicial complexes. As an application, we prove the following generalized lower bound theorem (GLBT) for connected locally tame combinatorial manifolds. If $M$ is such a manifold of dimension $d$, then for $1 \leq \ell \leq \frac{d-1}{2}$ and any field $\mathbb{F}, ~ g_{\ell+1} (M) \geq \binom{d+2}{\ell+1} \sum\limits_{i=1}^\ell (-1)^{\ell-i} β_i (M;\mathbb{F})$. Equality holds here if and only if $M$ is $\ell$-stacked. We conjecture that, more generally, this theorem is true of all triangulated connected and closed homology manifolds. A conjecture on the sigma vectors of triangulated homology spheres is proposed, whose validity will imply this GLB Conjecture for homology manifolds. We also prove the GLBC for all connected and closed combinatorial 3-manifolds. Thus, any connected closed combinatorial manifold $M$ of dimension three satisfies $g_2 (M) \geq 10 β_1 (M;\mathbb{F})$, with equality iff $M$ is 1-stacked. This result settles a question of Novik and Swartz [6] in the affirmative.

研究动机与目标

• 为消除先前工作中对 2-邻接性的假设，重新定义 μ 向量。
• 利用新定义的 μ 向量，建立对所有单纯复形都成立的广义 Morse 不等式。
• 为连通、局部紧致的组合流形建立广义下界定理（GLBT）。
• 证实三维闭合组合流形的 GLBT，解决 Novik 和 Swartz 提出的问题。
• 提出关于同调球面的 σ 向量的猜想，该猜想若成立，将蕴含所有三角剖分同调流形的 GLBT。

提出的方法

• 通过新定义避免 2-邻接性假设，重新表述 μ 向量。
• 将新 μ 向量应用于推导对所有单纯复形都成立的组合 Morse 不等式。
• 使用归纳法与顶点邻域分析，证明局部紧致流形的广义下界定理。
• 利用 bistellar 变换和顶点邻域结构，分析 $ \ell $-堆叠性与 $ g $-向量行为。
• 通过同调单射性和邻域分解，证明 GLBT 中等式成立当且仅当流形为 $ \ell $-堆叠。
• 通过验证 $ d=3, \ell=1 $ 的情形，将结果应用于 3-流形，证明 $ g_2(M) \geq 10\beta_1(M;\mathbb{F}) $，且等式成立当且仅当 $ M $ 为 1-堆叠。

实验结果

研究问题

• RQ1 广义下界定理是否对所有连通、局部紧致的组合 $ d $-流形成立，且无需 2-邻接性假设？
• RQ2 μ 向量能否被重新定义，使得 Morse 不等式对所有单纯复形（而不仅是 2-邻接的）成立？
• RQ3 三维闭合组合流形的 GLBT 是否成立，即 $ g_2(M) \geq 10\beta_1(M;\mathbb{F}) $，且等式在何时成立？
• RQ4 GLBT 中的等式是否蕴含局部紧致流形的 $ \ell $-堆叠性？该结论能否推广至非局部紧致情形？
• RQ5 关于三角剖分同调球面的 σ 向量的猜想是否能蕴含所有三角剖分同调流形的 GLBT？

主要发现

• 广义下界定理对所有连通、局部紧致的组合 $ d $-流形成立：对于 $ 1 \leq \ell \leq \frac{d-1}{2} $，有 $ g_{\ell+1}(M) \geq \binom{d+2}{\ell+1} \sum_{i=1}^{\ell} (-1)^{\ell-i} \beta_i(M;\mathbb{F}) $。
• GLBT 中等式成立当且仅当流形 $ M $ 为 $ \ell $-堆叠。
• 对三维闭合组合流形，有 $ g_2(M) \geq 10\beta_1(M;\mathbb{F}) $，且等式成立当且仅当 $ M $ 为 1-堆叠，证实了 Novik 和 Swartz 的猜想。
• 修订后的 μ 向量使组合 Morse 不等式对所有单纯复形成立，而不仅限于 2-邻接复形。
• 证明表明，GLBT 中等式成立蕴含流形为 $ \ell $-堆叠，其构造方法是利用顶点邻域性质构造一个边界为 $ M $ 的同调球。
• 本文提出了关于三角剖分同调球面的 σ 向量的猜想，若该猜想成立，则可推出所有闭同调流形的 GLBT。