[论文解读] Algebraic Quantum Field Theory

Hans Halvorson, Michael Mueger|ArXiv.org|Feb 14, 2006

Advanced Operator Algebra Research参考文献 19被引用 37

一句话总结

本文对代数量子场论（AQFT）进行了全面综述，强调了非局域性、粒子诠释和非等价表示等基础问题。文章提供了多普利切尔-罗伯茨重构定理的全新、自包含证明，表明通过使用对称张量∗-范畴的抽象对偶理论，场和规范群可从可观测量代数的物理表示范畴中涌现出来。

ABSTRACT

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by S. Doplicher, R. Haag, and J. E. Roberts (DHR); and we give an alternative proof of Doplicher and Roberts' reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix.

研究动机与目标

• 通过算子代数和范畴论，为量子场论提供一个严格且数学精确的框架。
• 研究量子场论中的基础问题，包括粒子、场和守恒量子数的性质。
• 阐明可观测量代数、物理表示与规范群及场的涌现之间的关系。
• 通过对称张量∗-范畴中的抽象对偶性，提出多普利切尔-罗伯茨重构定理的新证明。
• 分析低维时空中弦统计与辫子群统计的物理意义。

提出的方法

• 利用C*-代数和冯诺依曼代数来形式化时空中区域的局部可观测量。
• 应用模理论和冯诺依曼代数的类型分类来分析局部代数结构。
• 运用瑞希-施利德特定理和漏斗性质，探讨真空纠缠与非局域性。
• 引入局部化且可传输的自同态范畴∆，以对守恒量子数扇区进行分类。
• 利用对称张量∗-范畴的抽象对偶定理（在附录中证明），从可观测量的物理表示中重构场代数。
• 应用图式演算与塔南卡对偶性，建立规范群与表示范畴之间的对应关系。

实验结果

研究问题

• RQ1 守恒量子数扇区如何从可观测量代数中产生？其统计性质由什么决定？
• RQ2 能否从可观测量代数的物理表示范畴中重构场代数与规范群？
• RQ3 在2+1维时空中，弦统计与辫子群统计具有何种物理意义？
• RQ4 非等价表示与粒子概念及自发对称性破缺之间有何关系？
• RQ5 场在多大程度上可被视为物理实体，还是仅仅是多余结构？

主要发现

• 通过对称张量∗-范畴的抽象对偶定理证明了多普利切尔-罗伯茨重构定理，确立了场网与规范群由物理表示范畴唯一确定。
• 在局部化自同态范畴中，不可约对象呈现弦统计当且仅当对应的规范群是非阿贝尔的，从而解决了关于弦子可能不存在的疑虑。
• 在二维空间中，辫子群统计推广了置换统计，且辫子群Bn的表示范畴自然源于自同态张量范畴中的辫子结构。
• 乘积对象ρ⊗⋯⊗ρ（共n个）携带由辫子算符ερ,ρ诱导的辫子群Bn的酉表示，表明辫子统计是代数结构的自然结果。
• 辫子群存在无穷多个不可约表示，意味着若将丰沛性原则应用于群表示，则可能导致不可数多类潜在的粒子类型，对基础假设构成挑战。
• 本文确立了场并非基本实体，而是从可观测量代数及其表示范畴中涌现的多余结构，支持了量子场论中的代数帝国主义观点。