[论文解读] A braided monoidal category for free super-bosons

Ingo Runkel|arXiv (Cornell University)|Sep 25, 2012

Algebraic structures and combinatorial models参考文献 25被引用 5

一句话总结

本文通过共形块计算和顶点算子代数，为自由超玻色子的拓扑代数构造了一个辫子张量范畴。它显式计算了未扭和在辛费米子情形（$ mathfrak{h} = 0|2$）下的扭表示的张量积、辫子及结合子，首次在对数共形场论中显式计算了这些结构。

ABSTRACT

The chiral conformal field theory of free super-bosons is generated by weight one currents whose mode algebra is the affinisation of an abelian Lie super-algebra h with non-degenerate super-symmetric pairing. The mode algebras of a single free boson and of a single pair of symplectic fermions arise for even|odd dimension 1|0 and 0|2 of h, respectively. In this paper, the representations of the untwisted mode algebra of free super-bosons are equipped with a tensor product, a braiding, and an associator. In the symplectic fermion case, i.e. if h is purely odd, the braided monoidal structure is extended to representations of the Z/2Z-twisted mode algebra. The tensor product is obtained by computing spaces of vertex operators. The braiding and associator are determined by explicit calculations from three- and four-point conformal blocks.

研究动机与目标

• 为自由超玻色子的未扭模式代数的表示范畴构造一个辫子张量范畴。
• 将此结构扩展至包含$ mathbb{Z}/2 mathbb{Z}$-扭表示，特别在辛费米子情形（$ mathfrak{h} = 0|2$）。
• 使用顶点算子构造与共形块渐近行为，显式给出张量积、辫子及结合子的可计算公式。
• 验证五边形与六边形恒等式，确认辫子张量范畴结构。
• 为以辛费米子顶点算子超代数的偶部作为拓扑代数的共形场论分类建立范畴论基础。

提出的方法

• 通过表示之间顶点算子空间定义张量积，使用正规排序指数与模式交换关系。
• 辫子由三点共形块通过渐近行为与超几何函数的单值性性质推导得出。
• 结合理由四点共形块通过围道积分与微分方程计算，显式依赖模参数$x$。
• 在$ mathfrak{h} = 0|2$情形下，通过具有半整数模式与基态条件的顶点算子构造扭表示范畴。
• 关键恒等式如五边形与六边形公理通过椭圆积分$K(x)$与$E(x)$的渐近展开验证。
• 计算依赖于共形块微分方程的显式解，包括辛费米子情形下的二阶零矢量条件。

实验结果

研究问题

• RQ1 如何为自由超玻色子表示范畴显式构造辫子张量结构？
• RQ2 在何种条件下可将张量积扩展以包含$ mathbb{Z}/2 mathbb{Z}$-扭表示？
• RQ3 在辛费米子情形下，辫子与结合子同构如何从共形块渐近行为中产生？
• RQ4 椭圆积分与模参数在结合子计算中起何作用？
• RQ5 在此对数设定下，如何验证五边形与六边形恒等式？

主要发现

• 自由超玻色子模式代数的未扭表示范畴$ mathcal{C}_0$是一个辫子张量范畴，张量积通过顶点算子定义，辫子由三点块导出。
• 在$ mathfrak{h} = 0|2$情形下，辫子张量结构扩展至扭与未扭表示的范畴$ mathcal{C}$，满足五边形与六边形恒等式。
• 三重张量积$ mathcal{C}_1 \times mathcal{C}_1 \times mathcal{C}_1 \to mathcal{C}_1$的结合子通过围道积分与$K(x)$和$E(x)$的渐近行为显式计算，得到包含$K(x)$与$\frac{1-x}{2}K(x) - E(x)$的非平凡表达式。
• 在单个自由玻色子情形（$ mathfrak{h} = 1|0$）下，四点块与已知结果一致：$F(x) \propto (x(1-x))^{-1/8} K(x)^{-1/2} q(x)^{p^2/2}$，与[Zh, 式(1.1)]一致。
• 在辛费米子情形（$ mathfrak{h} = 0|2$）下，四点块简化为$K(x)$与$K(1-x)$的线性组合，与二阶零矢量条件的两个独立解匹配。
• 计算确认结合子满足五边形恒等式，其中围道积分$\oint z u(z)^{-1} dz \propto K(x) - E(x)$在推导中起核心作用。