[论文解读] Face enumeration - from spheres to manifolds

Ed Swartz|ArXiv.org|Sep 25, 2007

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

一句话总结

本文通过分析精细h-向量和塔尼克h-向量的仿射包，建立了同调流形和半欧拉复形的f-向量的新组合限制。它对特定流形（如$S^1 \times S^3$、$\mathbb{C}P^2$、K3曲面以及$S^2 \times S^2 \# S^2 \times S^2$）的f-向量提供了完整刻画，并证明了在足够多顶点下，任何维度≥3的闭同调流形的三角剖分均可实现为2-邻接三角剖分。

ABSTRACT

We prove a number of new restrictions on the enumerative properties of homology manifolds and semi-Eulerian complexes and posets. These include a determination of the affine span of the fine $h$-vector of balanced semi-Eulerian complexes and the toric $h$-vector of semi-Eulerian posets. The lower bounds on simplicial homology manifolds, when combined with higher dimensional analogues of Walkup's 3-dimensional constructions \cite{Wal}, allow us to give a complete characterization of the $f$-vectors of arbitrary simplicial triangulations of $S^1 imes S^3, \C P^2,$ $ K3$ surfaces, and $(S^2 imes S^2) # (S^2 imes S^2).$ We also establish a principle which leads to a conjecture for homology manifolds which is almost logically equivalent to the $g$-conjecture for homology spheres. Lastly, we show that with sufficiently many vertices, every triangulable homology manifold without boundary of dimension three or greater can be triangulated in a 2-neighborly fashion.

研究动机与目标

• 确定平衡半欧拉复形的精细h-向量的仿射包以及半欧拉偏序集的塔尼克h-向量的仿射包。
• 利用面环技巧，为单纯同调流形的f-向量建立下界。
• 对特定4-流形（$S^1 \times S^3$、$\mathbb{C}P^2$、K3曲面以及$(S^2 \times S^2)\#(S^2 \times S^2)$）提供f-向量的完整刻画。
• 证明当顶点数足够多时，任何无边界的、维度≥3的可三角剖分同调流形均可实现为2-邻接三角剖分。
• 提出一个关于同调流形的猜想，该猜想与同调球面的g-猜想几乎在逻辑上等价。

提出的方法

• 使用面环（Stanley–Reisner环）推导单纯同调流形中顶点数和边数的下界。
• 应用Walkup在三维情形下的高维推广构造，以构建具有预设f-向量的三角剖分。
• 采用中心重三角剖分和双塞勒移动来修改三角剖分，同时保持拓扑类型不变，并控制f-向量分量。
• 利用三角剖分中的生成简单树来控制邻域结构，从而支持归纳构造。
• 在半欧拉偏序集和复形的背景下分析塔尼克h-向量与精细h-向量，以确定其仿射包。
• 利用g-向量不变量$g_1$和$g_2$来参数化可能的f-向量空间，并证明当$g_1$和$g_2$足够大时，存在对应三角剖分。

实验结果

研究问题

• RQ1 平衡半欧拉复形的精细h-向量与半欧拉偏序集的塔尼克h-向量的仿射包是什么？
• RQ2 哪些f-向量可来自$S^1 \times S^3$、$\mathbb{C}P^2$、K3曲面以及$(S^2 \times S^2)\#(S^2 \times S^2)$的三角剖分？
• RQ3 当顶点数足够多时，是否每个无边界的、维度≥3的可三角剖分同调流形都可实现为2-邻接三角剖分？
• RQ4 是否存在一个关于同调流形的猜想，其与同调球面的g-猜想几乎在逻辑上等价？
• RQ5 第一贝蒂数非零的同调流形的最小f-向量是什么？

主要发现

• 平衡半欧拉复形的精细h-向量与半欧拉偏序集的塔尼克h-向量的仿射包已被完全确定。
• 所有$S^1 \times S^3$、$\mathbb{C}P^2$、K3曲面以及$(S^2 \times S^2)\#(S^2 \times S^2)$的单纯三角剖分的f-向量均已完全刻画。
• Kühnel对圆周上球丛的三角剖分，在所有无边界且第一贝蒂数非零的同调流形中，其f-向量最小。
• 对任意维度至少为三的闭同调流形，存在一个阈值$\gamma(M)$，使得所有满足$f_1 - d f_0 \geq \gamma(M)$的$(f_0, f_1)$对均可由某个三角剖分实现。
• 当$n$足够大时，每个无边界的、维度≥3的可三角剖分同调流形均存在一个具有$n$个顶点的2-邻接三角剖分。
• 2-邻接三角剖分的存在性通过将Walkup在三维情形下的构造推广至高维而得以证明。