[论文解读] Characteristic Numbers and Generalized Path Integrals

Daniel S. Freed|ArXiv.org|Jun 28, 1994

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

一句话总结

本文探讨了特征数——如定向曲面上复线丛的欧拉数等拓扑不变量——如何遵循受量子场论启发的粘合定律。通过形式路径积分，特别是在有限群的‘玩具模型’中，推导出满足非典型粘合定律的广义不变量，展示了从3D陈-西蒙斯不变量直接构造量子群的方法。

ABSTRACT

This is an extended write-up of a talk given in April, 1993 in honor of Raoul Bott's 70th birthday. We first illustrate how some traditional topological and geometric invariants obey ``gluing laws'' inspired by those in classical and quantum field theory. Here we discuss characteristic numbers, particularly the Euler number of a complex line bundle over an oriented surface. In the second part of the paper we show how path integrals give rise to invariants which obey gluing laws. The argument is formal in general, but for a particular example of invariants related to finite groups it is rigorous. In that ``toy model'' we show how to go further and generalize the path integral to obtain more exotic gluing laws. This idea was used--at least in this toy model--to directly construct quantum groups from 3 dimensional Chern-Simons invariants.

研究动机与目标

• 证明诸如欧拉数等传统拓扑不变量遵循与量子场论中类似的粘合定律。
• 展示路径积分如何在形式设定下生成满足此类粘合定律的不变量。
• 在有限群的‘玩具模型’中建立严谨框架，以推广路径积分并推导出非典型粘合定律。
• 通过这种广义路径积分方法，直接从3维陈-西蒙斯不变量构造量子群。
• 通过特征数与路径积分形式化，统一几何不变量与量子场论结构。

提出的方法

• 以定向曲面上复线丛的欧拉数等特征数作为具有粘合性质的拓扑不变量的示例。
• 应用受量子场论启发的形式路径积分技术，生成满足粘合定律的新不变量。
• 聚焦于路径积分形式化可严格化的有限群模型，实现显式计算与推广。
• 引入广义路径积分，产生非典型粘合定律，扩展了拓扑场论中标准的粘合行为。
• 证明这些广义不变量可用于从3D陈-西蒙斯不变量重构量子群。
• 采用AMS-TeX进行形式化表述，并依赖微分几何与代数拓扑工具来构建不变量的框架。

实验结果

研究问题

• RQ1 复线丛的欧拉数等特征数如何满足与量子场论中类似的粘合定律？
• RQ2 形式路径积分在何种方式下可生成满足此类粘合定律的不变量？
• RQ3 路径积分形式化是否可在有限群模型中推广，以产生超越标准拓扑场论的非典型粘合定律？
• RQ4 广义路径积分与从3D陈-西蒙斯不变量构造量子群之间存在何种关系？
• RQ5 如何通过特征数与路径积分不变量的形式化，形式化几何、拓扑与量子场论之间的相互作用？

主要发现

• 如定向曲面上复线丛的欧拉数等特征数表现出与量子场论中类似的粘合定律。
• 即使在缺乏完全严格测度的情况下，形式路径积分也能生成满足这些粘合定律的不变量。
• 在有限群的‘玩具模型’中，路径积分形式化变得严格，使得可推导出具有非典型粘合行为的广义不变量。
• 广义路径积分构造可直接导致从3维陈-西蒙斯不变量中涌现出量子群。
• 该框架展示了拓扑不变量、量子场论与量子群结构之间深刻的联系。
• 本文提供了一条形式化但数学上一致的路径，通过路径积分的推广，从几何不变量通往量子群构造。