[论文解读] Counting triangles formula for the first Chern class of a circle bundle

G. Gangopadhyay|arXiv (Cornell University)|Dec 8, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 4

一句话总结

本文提出了一种新的组合公式，用于通过从三角剖分纤维丛导出的循环字中的三角形计数，计算 $S^1$-丛的首陈类。与依赖线性序并需额外证明循环不变性的Mnev公式不同，该方法通过在循环字结构中计数有向三角形，天然地保持了循环对称性，从而得到一个明显不变的上闭链，计算上更加自然。

ABSTRACT

We consider the problem of the combinatorial computation of the first Chern class of a circle bundle. N.Mnev found such a formula in terms of canonical shellings. It represents certain invariant of a triangulation computed by analyzing cyclic word in 3-character alphabet associated to the bundle. This curvature is a kind of discretization of Konstevich's curvature differential 2-form. We find a new expression of Mnev's curvature by counting triangles in a cyclic word. Our formula is different from that of Mnev. In particular, it is cyclically invariant by its very form. We present also some sample computations of this invariant and also provide a small Mathematica code for the computation of this invariant.

研究动机与目标

• 通过三角剖分纤维丛的组合数据，提供一种新的、具有循环对称性的首陈类公式。
• 用构造上天然具有循环对称性的公式，取代Mnev基于线性序的公式。
• 提供新公式与Mnev原始上闭链表达式之间等价性的直接、独立证明。
• 通过多值截面方法，将该方法推广至首陈类的高维类比。
• 提供用于通过新公式计算不变量的Mathematica实现。

提出的方法

• 通过壳化（shelling）组合表示 $S^1$-丛：即与基空间三角剖分中每个单纯形相关联的一组循环字。
• 通过循环字定义多值截面，其中每个字母对应于在 $(n+1)$-单纯形中其原像有两个提升的顶点。
• 对每个2-单纯形，通过在顶点值之间选择弧（顺时针或逆时针）来计算其边界上所有可能截面延拓的平均指标。
• 统计循环字中对平均指标有正贡献或负贡献的三角形（有向字母三元组）的数量。
• 将首陈类推导为 $\frac{t^{-} - t^{+}}{2k_0k_1k_2}$，其中 $t^{-}, t^{+}$ 分别为负向和正向有向三角形的计数。
• 通过直接计算和拓扑一致性，利用文献[1]中的多值截面技术，验证其与Mnev公式的等价性。

实验结果

研究问题

• RQ1 是否可以构造一个在构造上明显具有循环对称性的首陈类公式，用于 $S^1$-丛？
• RQ2 在循环字中计数有向三角形与在2-单纯形边界上截面的次数之间有何关系？
• RQ3 避免依赖循环字线性序的陈类上闭链的精确组合表达式是什么？
• RQ4 是否存在新三角形计数公式与Mnev原始公式的直接、独立等价性证明？
• RQ5 该方法能否推广至圆丛的高维特征类？

主要发现

• 新公式将首陈类计算为 $\frac{t^{-} - t^{+}}{2k_0k_1k_2}$，其中 $t^{-}$ 和 $t^{+}$ 分别为循环字中负向和正向有向三角形的计数。
• 该公式在构造上即具有循环对称性，而Mnev的原始表达式则需额外证明不变性。
• 对所有截面延拓选择的平均指标为 $\pm \frac{1}{2}$，具体取决于纤维上截面值的循环顺序，从而导出最终表达式。
• 作者通过多值截面方法，独立于Mnev原始论证，提供了定理2的直接证明。
• 该方法已实现为Mathematica代码，可用于对给定循环字显式计算不变量。
• 通过逐项平均与拓扑一致性，严格验证了新三角形计数公式与Mnev公式的等价性。