[论文解读] Bisognano-Wichmann property for rigid categorical extensions and non-local extensions of conformal nets

Bin Gui|arXiv (Cornell University)|Dec 23, 2019

Algebraic structures and combinatorial models参考文献 48被引用 2

一句话总结

本文建立了不可约 Möbius 共形协变网的范畴扩展的广义 Bisognano-Wichmann 定理，证明了与区间相关的模算子在 Möbius 群中表现为伸缩变换。进一步，通过在可对偶模的范畴中使用 C*-Frobenius 代数，将结果推广至非局域扩展，表明模结构在该构造下保持不变，并将其与扩展框架中无界场算子的预闭性联系起来。

ABSTRACT

Given an (irreducible) Mobius covariant net $\mathcal A$, we prove a Bisognano-Wichmann theorem for its categorical extension $\mathscr E^{ extrm{d}}$ associated to the braided $C^*$-tensor category $ extrm{Rep}^{ extrm{d}}(\mathcal A)$ of dualizable (more precisely "dualized") Mobius covariant $\mathcal A$-modules. As a closely related result, we prove a (modified) Bisognano-Wichmann theorem for any (possibly) non-local extension of $\mathcal A$ obtained by a $C^*$-Frobenius algebra $Q$ in $ extrm{Rep}^{ extrm{d}}(\mathcal A)$. As an application, we discuss the relation between the domains of modular operators and the preclosedness of certain unbounded operators in $\mathscr E^{ extrm{d}}$.

研究动机与目标

• 将 Bisognano-Wichmann 定理扩展至由可对偶 A-模的辫状 C*-张量范畴生成的 Möbius 共形协变网的范畴扩展。
• 为通过可对偶模范畴中的 C*-Frobenius 代数构造的非局域扩展建立修正的 Bisognano-Wichmann 性质。
• 阐明扩展网中模算子与刚性范畴扩展中无界场算子预闭性之间的关系。
• 通过构造 PSU(1,1) 的万有覆叠群和共形群的酉表示，证明范畴扩展 E_f 的 Möbius 和共形协变性。
• 通过路径延拓和区间上的相对张量积，将几何模理论和 PCT 对称性推广至范畴设置。

提出的方法

• 通过 A-模的辫状 C*-张量范畴 Rep_d(A) 构造 Möbius 共形协变网 A 的范畴扩展 E_d。
• 在 S¹ 的万有覆叠上使用取值于幅角的区间定义局部化的 L 和 R 算子，将标准互换子构造推广至非局域情形。
• 通过 V(g)L(ξ, rI)η = L(gξ, grI)gη 在 Hi ⊗ Hj 上定义 ČPSU(1,1) 的酉表示 V，确保扩展的 Möbius 协变性。
• 利用扩展的局域性及真空向量在群作用下的不变性，证明表示的酉性与强收敛性。
• 应用 Tomita-Takesaki 理论，为区间 I 定义模算子 Δ_I 和共轭算子 J_I，并证明 Δ_I^it = δ_I(-2πt)，即伸缩作用。
• 通过将 ČPSU(1,1) 替换为共形群 GA 并使用变换律 gξg⁻¹ ∈ H_i(gI)，将构造适配于共形协变性。

实验结果

研究问题

• RQ1 对于由可对偶 A-模构造的 Möbius 共形协变网 A 的范畴扩展 E_d，Bisognano-Wichmann 定理是否成立？
• RQ2 在范畴扩展 E_d 中，模算子 Δ_I 是否可识别为伸缩群作用 δ_I(-2πt)？
• RQ3 由 Rep_d(A) 中的 C*-Frobenius 代数 Q 构造的 A 的非局域扩展中，PCT 对称性如何推广？
• RQ4 模算子 Δ_I 的定义域与 E_d 中无界场算子的预闭性之间有何关系？
• RQ5 范畴扩展 E_f 是否具有 Möbius 协变性，且其表示能否在 S¹ 的万有覆叠上一致定义？

主要发现

• Bisognano-Wichmann 定理对刚性范畴扩展 E_d 成立：模算子 Δ_I^it 在区间 I 上的作用等同于伸缩 δ_I(-2πt)。
• 反酉映射 Θ = J_{S¹_+} 在 E_d 上作为 PCT 算子起作用，满足 ΘApI)Θ = Ap_rI) 且 ΘU(g)Θ = U(rgr⁻¹)，对所有 g ∈ PSU(1,1) 成立。
• 对于 Rep_d(A) 中任意 C*-Frobenius 代数 Q，其关联的非局域扩展满足修正的 Bisognano-Wichmann 性质，模数据与代数结构紧密关联。
• 范畴扩展 E_f 具有 Möbius 协变性，其在 Hi ⊗ Hj 上存在由 V(g)L(ξ, rI)η = L(gξ, grI)gη 定义的 ČPSU(1,1) 的酉表示。
• 该构造确保 L(gξ, grI) = gL(ξ, rI)g⁻¹ 且 R(gξ, grI) = gR(ξ, rI)g⁻¹，从而在群作用下保持协变性。
• E_d 中模算子 Δ_I 的定义域与无界场算子的预闭性相关，通过一致有界性和连续性，已证明 L(g_nξ, g_n rI) 强收敛于 L(ξ, rI)。