[论文解读] K-Theory in Quantum Field Theory

Daniel S. Freed|ArXiv.org|Jun 18, 2002

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

一句话总结

本文建立了拓扑K-理论与量子场论之间的深刻联系，证明K-理论在协边为二维的拓扑量子场论（TQFT）中自然出现，此时边界态构成K-模。该研究进一步通过狄拉克算子的Pfaffian将K-理论与异常联系起来，并与超弦理论中Ramond-Ramond电荷的量子化相关联，表明微分K-理论为异常抵消提供了几何框架。关键成果包括：将Verlinde代数识别为扭曲等变K-群，以及K-理论在Green-Schwarz异常抵消中的作用。

ABSTRACT

We survey three different ways in which K-theory in all its forms enters quantum field theory. In Part 1 we give a general argument which relates topological field theory in codimension two with twisted K-theory, and we illustrate with some finite models. Part 2 is a review of pfaffians of Dirac operators, anomalies, and the relationship to differential K-theory. Part 3 is a geometric exposition of Dirac charge quantization, which in superstring theories also involves differential K-theory. Parts 2 and 3 are related by the Green-Schwarz anomaly cancellation mechanism. An appendix, joint with Jerry Jenquin, treats the partition function of Rarita-Schwinger fields.

研究动机与目标

• 解释拓扑K-理论如何在扩展的拓扑量子场论中于协边为二维时自然出现，特别是通过边界态的结构。
• 建立扭曲K-理论与三维陈-西蒙斯理论之间的联系，将Verlinde代数识别为扭曲等变K-群。
• 表明费米子场论中的几何异常（以Pfaffian线丛编码）可通过微分K-理论进行计算。
• 证明在超弦理论中，支配Ramond-Ramond电荷量子化的并非普通上同调，而是K-理论。
• 通过微分K-理论中的精细几何Atiyah-Singer指标定理，统一局部与全局异常的Green-Schwarz机制。

提出的方法

• 使用扩展TQFT形式化，将K-模赋予(n−2)维流形，推广标准TQFT中对态空间的赋值。
• 通过一个有限规范σ-模型作为TQFT的具体实现，其中边界态范畴为扭曲K-模。
• 应用Atiyah-Singer指标定理计算拓扑异常，将其与狄拉克算子符号的K-理论类联系起来。
• 引入一族狄拉克算子的Pfaffian线丛作为几何异常，包含赫米特度量与联络。
• 利用微分K-理论精炼指标定理，实现对几何异常的计算，并将其与异常抵消机制联系起来。
• 使用K-理论中的广义微分上同调类描述电荷与磁荷流，编码局部动力学与全局电荷量子化。

实验结果

研究问题

• RQ1 在协边为二维的扩展拓扑量子场论中，拓扑K-理论如何出现？
• RQ2 二维拓扑场论中边界态范畴的精确数学结构是什么？其与K-理论有何关系？
• RQ3 陈-西蒙斯理论中的Verlinde代数能否被识别为扭曲等变K-群？
• RQ4 费米子路径积分中的几何异常（以Pfaffian线丛编码）与微分K-理论有何关联？
• RQ5 为何K-理论而非普通上同调支配超弦理论中Ramond-Ramond电荷的量子化？

主要发现

• 二维拓扑量子场论中边界态的范畴自然构成K-模，为K-理论的出现提供了物理依据。
• 在紧致规范群下的三维陈-西蒙斯理论中，Verlinde代数被识别为扭曲等变K-群，扩展了有限群情形的结果。
• 费米子场论中的拓扑异常通过Atiyah-Singer指标定理计算，其指标取值于K-理论。
• 几何异常（即带有度量与联络的Pfaffian线丛）可在微分K-理论中计算，提供了精细的指标公式。
• 超弦理论中的Ramond-Ramond电荷在K-理论中实现量子化，当电荷耦合异常与费米子异常均以微分K-理论描述时，二者可相互抵消。
• 通过一族几何Atiyah-Singer指标定理，Green-Schwarz异常抵消机制得以统一，其中局部与全局异常均被微分K-理论所捕捉。