[论文解读] Factorization Algebras for Bulk-Boundary Systems

Eugene Rabinovich|arXiv (Cornell University)|Nov 2, 2021

Algebraic structures and combinatorial models参考文献 44被引用 4

一句话总结

本文将Costello与Gwilliam的微扰量子规范场论的配分代数框架扩展至带边界的流形，为体-边界系统构造了量子可观测量的配分代数。通过使用Atiyah-Bott型对偶性，建立了经典可观测量模型之间的拟同构，证明了两种可观测量表述的等价性，并通过重整化与量子主方程实现了边界条件约束场论的量子化。

ABSTRACT

Costello and Gwilliam have given both 1) a general definition of perturbative quantum gauge theory on a manifold M and 2) a construction of a factorization algebra of quantum observables assigned to every quantum gauge theory. In this dissertation, we extend these constructions to a certain general class of field theories on manifolds with boundary.

研究动机与目标

• 将Costello与Gwilliam的微扰量子规范场论框架推广至带边界的流形上的场论。
• 为体-边界系统定义量子可观测量的配分代数，扩展现有闭流形上的框架。
• 通过对偶定理建立两种经典可观测量模型——基于紧支集场与基于对偶空间——之间的等价性。
• 利用重整化与量子主方程，为自由与相互作用的体-边界系统开发一种量子化程序。
• 为包含边界条件的量子场论提供严格的数学基础，包括BF理论与拓扑力学的应用。

提出的方法

• 通过引入拉格朗日子层 $\mathscr{L}$，将配分代数框架适配至带边界的流形，定义满足 $\mathscr{L}$ 条件的场。
• 使用 $D$-模理论描述局部作用泛函及其上拉/下推，尤其在边界条件背景下。
• 应用形变收缩映射，将紧支集上链 $\mathscr{E}_{\mathscr{L},c}[1](U)$ 与对偶空间 $\mathscr{E}_{\mathscr{L}}^\vee(U)$ 关联，特别是在边界附近。
• 以Atiyah-Bott引理的形式，利用 $\mathscr{L}^\perp_c(V) \to \mathscr{E}_{\mathscr{L},c}[1](U^\prime)$ 与 $\mathscr{E}_{\mathscr{L}}^\vee(U^\prime) \to \mathscr{L}^\vee(V)$ 之间的拟同构证明对偶性。
• 通过重整化群流与量子主方程构造量子配分代数，利用反项处理发散问题。
• 应用加倍技巧与正则化热核，定义在边界条件下存在的传播子与参数器。

实验结果

研究问题

• RQ1 如何将Costello与Gwilliam的配分代数框架扩展至带边界的流形上的场论？
• RQ2 体-边界系统（特别是边界条件下）的经典与量子可观测量的正确数学表述是什么？
• RQ3 基于紧支集场与对偶空间的两种经典可观测量模型是否拟同构？若然，其条件为何？
• RQ4 如何为体-边界系统（尤其在边界条件下）表述并求解量子主方程？
• RQ5 重整化与反项在构建此类系统一致的量子配分代数中起什么作用？

主要发现

• 自然映射 $ (\mathscr{E}_{\mathscr{L},c}(U)[1]^{{\widehat{\otimes}}_{\beta}k})_{S_k} \to \underline{CVS}((\mathscr{E}_{\mathscr{L}}(U))^{{\widehat{\otimes}}_{\beta}k},\mathbb{R})_{S_k} $ 是不同可微向量空间之间的拟同构，证明了两种经典可观测量模型的等价性。
• 对于边界附近的足够小邻域 $ U^\prime $，映射 $ \mathscr{E}_{\mathscr{L},c}[1](U^\prime) \to \mathscr{E}_{\mathscr{L}}^\vee(U^\prime) $ 是拟同构，通过形变收缩与对偶性建立。
• 当 $ U^\prime = V \times [0,T^\prime) $ 时，复合映射 $ \mathscr{L}^\perp_c(V) \to \mathscr{E}_{\mathscr{L},c}[1](U^\prime) \to \mathscr{E}_{\mathscr{L}}^\vee(U^\prime) \to \mathscr{L}^\vee(V) $ 实现了Atiyah-Bott拟同构。
• 通过重整化与量子主方程构造了量子可观测量的配分代数，反项确保了其一致性。
• 在一维BF理论在 $ \mathbb{R}_{\geq 0} $ 上，该量子化程序被显式验证，量子可观测量通过参数器与费曼图计算得出。
• 该框架成功实现了对拓扑力学与自由泊松sigma模型在带边界的流形上的量子化，展示了该构造的鲁棒性。