[论文解读] The average dual surface of a cohomology class and minimal simplicial decompositions of infinitely many lens spaces

Ed Swartz|arXiv (Cornell University)|Oct 8, 2013

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

一句话总结

本文引入了单纯序集中与上同调类对偶的离散法向曲面的平均欧拉特征，证明其仅依赖于三角剖分的f-向量。将此结果应用于满足 $2k = qr + 1$ 的透镜空间 $L(2k,q)$，证明其最小单纯序集（结晶体）恰好包含 $4(q + r)$ 个单形，从而解决了无限多个3-流形的最小三角剖分问题。

ABSTRACT

Discrete normal surfaces are normal surfaces whose intersection with each tetrahedron of a triangulation has at most one component. They are also natural Poincaré duals to 1-cocycles with $\ZZ/2\ZZ$-coefficients. For a fixed cohomology class in a simplicial poset the average Euler characteristic of the associated discrete normal surfaces only depends on the $f$-vector of the triangulation. As an application we determine the minimum simplicial poset representations, also known as crystallizations, of lens spaces $L(2k,q),$ where $2k=qr+1.$ Higher dimensional analogs of discrete normal surfaces are closely connected to the Charney-Davis conjecture for flag spheres.

研究动机与目标

• 确定满足 $2k = qr + 1$ 的透镜空间 $L(2k,q)$ 的最小单纯序集（结晶体）表示。
• 建立与固定上同调类 $[\phi] \in H^1(\Delta; \bbZ/2\bbZ)$ 对偶的离散法向曲面的平均欧拉特征仅依赖于三角剖分的f-向量。
• 将离散法向曲面及其对偶性框架扩展至单纯序集，将其与旗球面的Charney-Davis猜想联系起来。
• 利用上同调与组合技术，解决无限多个不可约3-流形的最小三角剖分问题。

提出的方法

• 将离散法向曲面定义为与每个单形至多相交于一个连通分支的曲面，其构成1-上循环的 $\bbZ/2\bbZ$-庞加莱对偶。
• 引入固定上同调类 $[\phi] \in H^1(\Delta; \bbZ/2\bbZ)$ 中所有上循环上离散法向曲面的平均欧拉特征，证明其等于 $\sum_{j=0}^d (-1/2)^j f_j$。
• 利用f-向量公式，对与非平凡上同调类对偶的离散法向曲面的欧拉特征进行上界估计。
• 将该上界应用于满足 $2k = qr + 1$ 的透镜空间 $L(2k,q)$，利用Bredon与Wood的嵌入定理处理非可定向曲面。
• 证明可定向分量（除球面外）不会增加欧拉特征，并通过同调论证排除球面分量。
• 利用不等式 $4f_0 - f_3 \leq 8\chi(S_\psi)$ 及 $\chi(S_\psi)$ 的最大可能值 $\leq (4 - q - r)/2$，推导出下界 $f_3 \geq 4(q + r)$。

实验结果

研究问题

• RQ1 当 $2k = qr + 1$ 时，透镜空间 $L(2k,q)$ 的单纯序集三角剖分（结晶体）中，最小单形数量是多少？
• RQ2 与固定上同调类对偶的离散法向曲面的平均欧拉特征如何依赖于三角剖分的f-向量？
• RQ3 能否利用独立于特定流形结构的上同调与组合不变量，确定 $L(2k,q)$ 的最小结晶体？
• RQ4 单纯序集中的离散法向曲面在多大程度上反映了贝蒂数或嵌入障碍等拓扑不变量？
• RQ5 离散法向曲面的平均欧拉特征与旗球面的Charney-Davis猜想有何关联？

主要发现

• 与固定上同调类 $[\phi] \in H^1(\Delta; \bbZ/2\bbZ)$ 对偶的离散法向曲面的平均欧拉特征仅依赖于单纯序集 $\Delta$ 的f-向量，其值为 $\sum_{j=0}^d (-1/2)^j f_j$。
• 对于任意满足 $2k = qr + 1$ 的 $L(2k,q)$ 的最小结晶体，其单形数量恰好为 $4(q + r)$，与已知构造一致，且已被证明为最小。
• 在 $L(2k,q)$ 中，非可定向离散法向曲面的可能最大欧拉特征为 $\frac{4 - q - r}{2}$，此结果由Bredon与Wood的嵌入定理决定。
• 在 $L(2k,q)$ 中，离散法向曲面的可定向分量不会增加欧拉特征，除非其为球面，而球面分量已通过同调论证被排除。
• 结合不等式 $4f_0 - f_3 \leq 8\chi(S_\psi)$ 与 $\chi(S_\psi)$ 的上界，得出下界 $f_3 \geq 4(q + r)$，从而证明了最小性。
• 该结果证实了 $L(2k,1)$ 的标准结晶体是最小的，并将其推广至所有满足 $2k = qr + 1$ 的 $L(2k,q)$，从而解决了该无限族的最小三角剖分问题。