[论文解读] Thirty-five years and counting

Ed Swartz|arXiv (Cornell University)|Nov 4, 2014

Advanced Combinatorial Mathematics参考文献 60被引用 24

一句话总结

本文回顾了过去三十年来将 $g$-定理——最初针对单纯多面体边界证明——推广至更广泛的三角剖分球面、同调流形和伪流形的进展。文章通过双胞胎移动、$i$-堆叠流形和 $g_2$ 较小的同调球面，提出了关于 PL-球面的 $g$-猜想的新结果，同时指出了开放问题并给出了对过度泛化的反例。

ABSTRACT

It has been 35 years since Stanley proved that f-vectors of boundaries of simplicial polytopes satisfy McMullen's conjectured g-conditions. Since then one of the outstanding questions in the realm of face enumeration is whether or not Stanley's proof could be extended to larger classes of spheres. Here we hope to give an overview of various attempts to accomplish this and why we feel this is so important. In particular, we will see a strong connection to f-vectors of manifolds and pseudomanifolds. Along the way we have included several previously unpublished results involving how the g-conjecture relates to bistellar moves and small g_2, the topology and combinatorics of stacked manifolds introduced independently by Bagchi and Datta, and Murai and Nevo, and counterexamples to over optimistic generalizations of the g-theorem.

研究动机与目标

• 回顾并综合过去 35 年来将斯坦利的 $g$-定理从单纯多面体推广至更一般的三角剖分球面和流形的各类努力。
• 研究 $i$-堆叠同调流形和伪流形的 $g$-猜想的有效性，尤其关注 $h''$-向量和 $\hat{g}$-向量的作用。
• 阐明 $g$-猜想与贝蒂数等拓扑不变量之间的关系，特别是在带边界的流形背景下。
• 考察具有少量顶点或边的同调球面的 $f$-向量所受的组合与拓扑约束，并评估 $\gamma(\Delta) = h_2 - \text{\# 内部顶点}$ 作为 $g_2$ 的类比的潜力。
• 识别并呈现对 $g$-定理过度乐观泛化的反例，从而精确界定猜想的适用范围。

提出的方法

• 使用 $h$-向量和 $g$-向量形式化方法重新表达 $f$-向量约束，利用恒等式 $h_{\Delta}(x+1) = f_{\Delta}(x)$ 和变换 $h_i = \sum_{j=0}^i (-1)^{i-j} \binom{d-j}{d-i} f_{j-1}$。
• 应用克利对半欧拉复形的公式：$h_{d-i} - h_i = (-1)^i \binom{d}{i} (\chi(\Delta) - \chi(S^{d-1}))$，以分析同调流形中 $f$-向量的行为。
• 通过 $h''$-向量和 $\hat{g}$-向量分析 $i$-堆叠三角剖分，利用 $\Delta$ 是 $i$-堆叠当且仅当 $h''_{i+1} = 0$ 的刻画。
• 利用双胞胎移动研究 PL-球面的 $g$-猜想，探究此类移动如何影响 $g$-向量和 $f$-向量结构。
• 对 $i$-堆叠流形中所有顶点 $v$ 的 $\mathbb{F}[\text{lk}\,v]$ 应用弱 Lefschetz 性质，将代数性质与组合约束联系起来。
• 评估 $\gamma(\Delta) = h_2 - \text{\# 内部顶点}$ 作为带边界的流形中 $g_2$ 的候选值，使用卡莱不等式 $\gamma(\Delta) \geq \binom{d}{2} \beta_1(\partial\Delta) + d \beta_0(\partial\Delta)$（当 $d \geq 5$ 时）。

实验结果

研究问题

• RQ1 能否将 $g$-定理推广至单纯多面体之外的三角剖分球面，特别是在维度 $d \geq 5$ 的情形？
• RQ2 在刻画同调流形的 $f$-向量方面，$i$-堆叠三角剖分起什么作用？它们与柄分解和贝蒂数有何关联？
• RQ3 双胞胎移动如何影响 $g$-向量？它们能否用于证明或证伪 PL-球面的 $g$-猜想？
• RQ4 $\gamma(\Delta) = h_2 - \text{\# 内部顶点}$ 是否是带边界的同调流形中 $g_2$ 的有效推广？其非负性受哪些不等式约束？
• RQ5 在无边界的同调流形中，$\hat{g}_{i+1} = 0$ 在何种条件下蕴含 $i$-堆叠性？这与弱 Lefschetz 性质有何关联？

主要发现

• 对于 $i$-堆叠的 ${\mathbb{F}}$-同调流形（无边界）且 $i < d/2$ 的情形，向量 $(1, \hat{g}_1, \dots, \hat{g}_{\lfloor d/2 \rfloor})$ 即使在非可定向流形中也是 M-向量。
• 若 $\Delta$ 是 $i$-堆叠的 ${\mathbb{F}}$-同调流形（无边界）且 $i < d/2$，则 $\hat{g}_{i+1} = 0$；反之，若 $\hat{g}_{i+1} = 0$ 且 $i+1 < d/2$，则当所有顶点 $v$ 的 $\mathbb{F}[\text{lk}\,v]$ 具有弱 Lefschetz 元素时，$\Delta$ 是 $i$-堆叠的。
• 对于 $i$-堆叠的 ${\mathbb{F}}$-同调流形（无边界），有 $\beta_j = 0$ 对所有 $j \geq i+1$ 成立，且 $\beta_j = 0$ 对所有 $i+1 \leq j \leq d-i-2$ 成立，表明存在强烈的拓扑约束。
• 当 $d \geq 5$ 时，对可定向边界同调流形有 $\gamma(\Delta) \geq \binom{d}{2} \beta_1(\partial\Delta) + d \beta_0(\partial\Delta)$，支持 $\gamma(\Delta)$ 作为 $g_2$ 类比的有效性。
• 在带边界的同调流形中，内部 $j$-面的数量等于对所有 $j$-面 $\sigma$ 的 $h_{d-|\sigma|}(\text{lk}\,\sigma)$ 的总和，该值可直接从 $h$-向量计算得出。
• 当 $d=4$ 时，有 $\gamma(\Delta) \geq 3\beta_1(\partial\Delta) + 4\beta_0(\partial\Delta)$，表明 $\gamma(\Delta)$ 存在与维度相关的下界。