[论文解读] Logarithmic bulk and boundary conformal field theory and the full centre construction

Ingo Runkel, Matthias R. Gaberdiel+1 more|arXiv (Cornell University)|Jan 30, 2012

Algebraic structures and combinatorial models参考文献 46被引用 8

一句话总结

本文在对偶代数的任意阿贝尔辫子张量范畴中，利用全中心构造，建立了一个系统化的代数框架，用于从边界理论构造最大化的全息共形场论。证明了范畴中代数的全中心提供了与给定边界理论非退化耦合的唯一最大全息理论，并在 $c=0$ 的 $W_{2,3}$-模型中验证了该理论，通过显式计算结构常数和关联函数，确认了其一致性和最大性。

ABSTRACT

We review the definition of bulk and boundary conformal field theory in a way suited for logarithmic conformal field theory. The notion of a maximal bulk theory which can be non-degenerately joined to a boundary theory is defined. The purpose of this construction is to obtain the more complicated bulk theories from simpler boundary theories. We then describe the algebraic counterpart of the maximal bulk theory, namely the so-called full centre of an algebra in an abelian braided monoidal category. Finally, we illustrate the previous discussion in the example of the W(2,3)-model with central charge 0.

研究动机与目标

• 定义并表征能够与给定边界理论在对数共形场论中一致且非退化耦合的最大全息共形场论。
• 使用阿贝尔辫子张量范畴中代数的全中心，对最大全息理论构造进行代数重表述。
• 建立共形场论中物理最大性条件与范畴论中全中心概念之间的严格对应关系。
• 在具体例子中验证该构造：$c=0$ 的 $W_{2,3}$-模型，包括显式计算结构常数和关联函数。
• 证明全中心构造产生唯一且一致的全息理论，其与边界理论的耦合无退化。

提出的方法

• 通过复平面和上半平面的相关函数定义全息与边界共形场论，施加一致性条件，包括模不变性和非退化性。
• 将最大全息理论定义为可与给定边界理论非退化耦合的最大理论，确保完整相关函数系统的自洽性。
• 使用阿贝尔辫子张量范畴的代数框架，特别是 Deligne 乘积 $\mathcal{C} \boxtimes \mathcal{C}^{\mathrm{rev}}$，来建模全息理论范畴。
• 将范畴 $\mathcal{C}$ 中代数 $A$ 的全中心定义为 $\mathcal{C} \boxtimes \mathcal{C}^{\mathrm{rev}}$ 中的交换代数，其编码了与 $A$ 关联的最大全息理论。
• 通过共轭与辫子结构，构造张量积函子的右伴随 $R$，以代数方式表征全中心。
• 将形式化应用于 $c=0$ 的 $W_{2,3}$-模型，显式计算 $R(\mathcal{W}(0))$ 和 $R(\mathcal{W}^*)$，并验证模不变性与 OPE 一致性。

实验结果

研究问题

• RQ1 在对数共形场论中，能够与给定边界理论一致耦合的最大全息共形场理论的代数表征是什么？
• RQ2 在阿贝尔辫子张量范畴中，全中心构造如何实现全息理论的物理最大性条件？
• RQ3 全中心构造是否可在非平凡的对数共形场论模型中显式验证，例如 $c=0$ 的 $W_{2,3}$-模型？
• RQ4 从 $W_{2,3}$-模型边界理论构造的最大全息理论中，显式结构常数和关联函数是什么？
• RQ5 在 $W_{2,3}$-模型中，$z \leftrightarrow w$ 交换对称性要求如何约束 OPE 系数？

主要发现

• 在辫子张量范畴 $\mathcal{C}$ 中，代数 $A$ 的全中心提供了与由 $A$ 定义的边界理论非退化耦合的唯一最大全息理论。
• 在 $c=0$ 的 $W_{2,3}$-模型中，全中心构造产生了一个具有明确定义且非退化 OPE 结构的全息理论，包括对数奇点。
• OPE $\omega(z)\omega(0)$ 包含对数项：$\omega(z)\omega(0) = X\cdot\eta(0) + \big{\{}Y + X\ln(|z|^2)\big{\}}\omega(0) + \cdots$，其中 $X=Y=0$ 为保持一致性的必要条件。
• OPE $\mathcal{T}(z)\eta(0)$ 的系数被约束为 $R=0$ 和 $A=0$，以保持三点多函数 $\langle\mathcal{T}\mathcal{T}\eta\rangle$ 中的 $z \leftrightarrow w$ 对称性。
• 当 $R=0$ 时，三点多函数 $\langle\mathcal{T}(z)\mathcal{T}(w)\eta(0)\rangle$ 恒为零，确认其满足 $z \leftrightarrow w$ 对称性要求。
• 全中心构造成功重现了已知的 $W_{2,3}$-模型 OPE，包括 $\mathcal{T}(z)\mathcal{T}(w) \sim \frac{R^2}{z^2 w^2}$，并通过对称性约束确认了无虚假项的存在。