[论文解读] Notes on simplicial BF theory

Pavel Mnëv|ArXiv.org|Oct 31, 2006

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

一句话总结

该论文在三角剖分流形上提出了BF理论的单纯形式，通过Batalin-Vilkovisky（BV）形式化和同伦代数，构建了一个与拓扑BF理论等价的有限维场论。研究证明，单形上的有效作用量在上同调上生成了一个$L_\infty$代数结构，且通过在2维和3维中对发散超迹进行正则化，确认了微扰有限性。

ABSTRACT

In this work we discuss the construction of "simplicial BF theory", the field theory with finite-dimensional space of fields, associated to a triangulated manifold, that is in a sense equivalent to topological BF theory on the manifold (with infinite-dimensional space of fields). This is done in framework of simplicial program - program of constructing discrete topological field theories. We also discuss the relation of these constructions to homotopy algebra.

研究动机与目标

• 构建一个在三角剖分流形上与拓扑BF理论等价的有限维单纯BF理论。
• 利用BV积分和链同伦，对三角剖分上的扩展BF理论的有效作用量进行形式化。
• 证明树图级有效作用量在上同调上生成$L_\infty$代数结构，并确认微扰有限性。
• 通过截断和$K_\epsilon$正则化方法，对1圈计算中的发散超迹进行正则化，确保在2维和3维中结果有限。

提出的方法

• 利用Batalin-Vilkovisky形式化，将扩展BF理论定义为流形上的超形式场。
• 应用链同伦（Dupont构造），将de Rham复形$\Omega(M)$与三角剖分$\Xi$上的Whitney复形$\Omega_W(\Xi)$联系起来。
• 通过有效作用量的分解，将BV路径积分约化为单个单形上的有限维积分。
• 利用BV积分的微扰展开，计算单形上的树图级和1圈级有效作用量。
• 通过$K_\epsilon$链同伦正则化，处理单值矩阵超迹中的发散问题。
• 通过BV积分中的期望值映射，构建原始理论与约化理论之间的$L_\infty$拟同构。

实验结果

研究问题

• RQ1 能否构建一个在三角剖分流形上与拓扑BF理论等价的有限维单纯BF理论？
• RQ2 单形上的有效作用量如何编码上同调上的$L_\infty$代数结构？
• RQ3 1圈计算中有效作用量的发散超迹经正则化后是否有限？
• RQ4 2-单形上的树图级有效作用量的显式形式是什么？它与单纯曲率有何关系？
• RQ5 1圈有效作用量能否微扰计算，并在2维和3维中证明其有限性？

主要发现

• 2-单形上的树图级有效作用量在上同调上生成了非平凡的$L_\infty$代数结构，显式项达$\mathcal{O}(\omega^4)$阶。
• 2-单形上的1圈级有效作用量经正则化后结果有限，系数为$\mathcal{A}_2 = -1/36$，$\mathcal{B}_2 = 1/270$。
• 3-单形上的1圈级有效作用量在$K_\epsilon$正则化下也有限，尽管存在潜在的线性发散。
• 在2维中，单值矩阵的超迹在0-形式和1-形式上分别发散，但在总超迹中相互抵消。
• 2-单形上的约化有效作用量重现了包含联络及其非交换修正项的单纯曲率公式。
• $K \to K_\epsilon$正则化在单项式基和坐标基下均得到一致结果，证实了1圈振幅的有限性。