[论文解读] Decomposition, condensation defects, and fusion

L. Lin, D. Robbins+1 more|arXiv (Cornell University)|Aug 11, 2022

Black Holes and Theoretical Physics被引用 4

一句话总结

该论文提出了一种通过分解和高阶对称性规范化构建量子场论中非可逆缺陷的框架，表明凝聚缺陷可作为分解后理论中不同宇宙的投影算符。通过θ角和拓扑不变量推导了这些缺陷的融合规则，表明融合乘积受上同调中的lcm(gcd)关系支配，且在2D和3D轨道空间中的显式计算得出了缺陷融合的精确配分函数表达式。

ABSTRACT

In this paper we outline the application of decomposition to condensation defects and their fusion rules. Briefly, a condensation defect is obtained by gauging a higher-form symmetry along a submanifold, and so there is a natural interplay with notions of decomposition, the statement that d-dimensional quantum field theories with global (d-1)-form symmetries are equivalent to disjoint unions of other quantum field theories. We will also construct new (sometimes non-invertible) defects, and compute their fusion products, again utilizing decomposition. An important role will be played in all these analyses by theta angles for gauged higher-form symmetries, which can be used to select individual universes in a decomposition.

研究动机与目标

• 将分解应用于具有(d-1)-形式对称性的d维量子场论中的凝聚缺陷。
• 通过在codimension-p子流形上规范k-形式对称性来构建新的非可逆缺陷。
• 利用拓扑场论技术和上同调数据计算此类缺陷的融合规则。
• 表明θ角可选择分解理论中的单个宇宙，从而实现对缺陷融合的精确控制。

提出的方法

• 利用具有(d-1)-形式对称性的量子场论的分解，将其分解为互不相交的宇宙，每个宇宙由一个θ角标记。
• 通过在子流形上对(d-1)-形式对称性进行p规范，构造凝聚缺陷投影算符，从而得到局部投影算符。
• 在2D和3D中应用轨道空间构造，分别模拟1-形式和2-形式对称性的规范。
• 使用带有扭接丛和gerbes的路径积分形式，计算融合过程，引入H^3上同调类以描述2-gerbes。
• 采用盒结构(Y×I)关联边界数据，并通过同构计数计算融合。
• 通过H^3(Y, Z_gcd)与H^3(Y, Z_lcm)之间的关系推导融合规则，配分函数编码了融合重数。

实验结果

研究问题

• RQ1 在分解后的量子场论中，凝聚缺陷在融合下的行为如何？它们能否被描述为对单个宇宙的投影算符？
• RQ2 在缺陷融合过程中，θ角在区分分解理论各组成部分中起什么作用？
• RQ3 3D中非可逆缺陷的融合规则如何与H^3(Y, Z_k)等上同调数据相关联？
• RQ4 能否系统地构建并融合通过在codimension-p子流形上规范k-形式对称性获得的缺陷，即使它们不是凝聚缺陷？
• RQ5 此类缺陷的融合环结构如何？与已知的TFT相比有何异同？

主要发现

• 凝聚缺陷投影算符等价于分解后量子场论中对单个宇宙的局部投影算符。
• 在3-环面Y=T³上规范B²ℤ_p和B²ℤ_k所获得的两个缺陷的融合结果与B²ℤ_lcm(p,k)的缺陷成正比，乘以因子gcd(p,k)。
• 对于阿贝尔群G=(ℤ₂)³和K=ℤ₂，且p=k=2的情况，融合结果为S_{ℓ₁}(T³) × S_{ℓ₂}(T³) = 4 × S_{ℓ₁+ℓ₂ mod 2}(T³)，表明融合通道存在四重简并。
• 融合产物的配分函数表示为H³(Y, ℤ_lcm)中上同调类的求和，权重为群因子和拓扑不变量。
• 融合过程涉及H³(Y, ℤ_gcd)上的纤维丛结构，表明由公共子-gerbes引起的重复计数可通过变量替换得以消除。
• 该形式化方法可推广至3D中的2-群轨道空间，其中2-形式对称性规范产生新缺陷，其融合规则可通过扭接丛同构计算得出。