[论文解读] Hexagon cohomologies and polynomial TQFT actions

I. G. Korepanov, Nurlan M. Sadykov|arXiv (Cornell University)|Jul 10, 2017

Advanced Combinatorial Mathematics参考文献 5被引用 8

一句话总结

本论文通过集合论六边形关系与有限域上的多项式上同调，引入多项式TQFT，利用离散拉格朗日密度构造4-流形的拓扑不变量。通过显式上循环计算，特别是在特征二的情况下，展示了非平凡不变量，表明精细不变量能够区分不同4-流形，如$\tilde{T}_k^4$。

ABSTRACT

Hexagon relations are combinatorial or algebraic realizations of four-dimensional Pachner moves. We introduce some simple set-theoretic hexagon relations and then `quantize' them using what we call `polynomial hexagon cohomologies'. Based on this, topological quantum field theories are proposed with polynomial `discrete Lagrangian densities' taking values in finite fields. First calculations of the resulting manifold invariants, arising from polynomial cocycles of degree three and in characteristic two, show their nontriviality.

研究动机与目标

• 开发一种拓扑量子场论（TQFT）的离散类比，利用集合论六边形关系作为4D帕彻纳移动的组合实现。
• 引入广义经典上同调的多项式六边形上同调，作为TQFT的离散拉格朗日密度。
• 计算并分析来自次数≤6、特征≤5的多项式上循环的流形不变量，特别是在有限域中。
• 通过在$\tilde{T}_k^4$等4-流形上的显式计算，证明这些不变量的非平凡性。
• 探索由着色约束的核-像结构引发的奇异同调理论的潜力。

提出的方法

• 将集合论六边形关系定义为4-单纯形中3-面着色的4D帕彻纳移动的组合模型。
• 通过有限域上多项式上循环的量化，引入多项式六边形上同调。
• 构建多项式‘离散拉格朗日密度’取值于有限域的TQFT，特别是$\field{F}_2$、$\field{F}_4$、$\field{F}_8$和$\field{F}_{16}$。
• 将不变量表述为对允许着色的加权求和，权重为上循环值，类似于离散费曼积分。
• 使用专门的GAP软件包计算不同4-流形（包括$\tilde{T}_k^4$）上着色的概率。
• 通过商空间$L/W$分析所得不变量，并识别潜在的奇异链复形与同调。

实验结果

研究问题

• RQ1 在有限域上，集合论六边形关系是否能为4维PL流形产生非平凡不变量？
• RQ2 次数≤6、特征≤5的多项式上循环如何贡献于TQFT中离散拉格朗日密度的构造？
• RQ3 所得不变量是否足够敏感，能够区分不同4-流形，如$\tilde{T}_k^4$？
• RQ4 着色约束的核-像结构能否被解释为奇异同调理论的一部分？
• RQ5 非恒定$R_u$与变量$A_u$在将当前框架推广至非恒定关系与上循环之外时起什么作用？

主要发现

• 在特征二、次数三时存在非平凡多项式上循环，导致4-流形的不变量非零。
• 对于$F = \field{F}_2$，使用上循环(23)+(24)的精细不变量满足$P_M(0) = 1$且$P_M(1) = 0$，对所有$\tilde{T}_k^4$均成立，表明值之间有明确区分。
• 在$\field{F}_4$中，$\tilde{T}_0^4$与$\tilde{T}_4^4$满足$P_M(0) = 1$且$P_M(1) = 0$，而$\tilde{T}_2^4$给出$P_M(0) = 5/8$，显示出对拓扑的敏感性。
• 在$\field{F}_8$中，$\tilde{T}_2^4$的$P_M(0) = 11/32$，$P_M(\text{other}) = 3/32$，证实了在更高特征下存在非平凡结构。
• 在$\field{F}_{16}$中，$\tilde{T}_2^4$给出$P_M(0) = 23/128$，$P_M(\text{root}) = 3/128$，$P_M(\text{other}) = 9/128$，表明分布非均匀。
• 由多项式上循环导出的不变量对流形的拓扑敏感，不同$\tilde{T}_k^4$流形之间具有不同的概率分布。