[论文解读] Categorifying the $sl(2,C)$ Knizhnik-Zamolodchikov Connection via an Infinitesimal 2-Yang-Baxter Operator in the String Lie-2-Algebra

Lucio S. Cirio, João Faría Martins|arXiv (Cornell University)|Jul 4, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 5

一句话总结

本文在复平面上 $n$ 个不可区分粒子的配置空间中，构造了一个平坦的、虚假平坦的 2-连接，该连接对 $frak{sl}(2,\mathbb{C})$ Knizhnik-Zamolodchikov 连接进行了范畴化。通过在弦李-2-代数中识别出一个无穷小的 2-杨-Baxter 算子，作者证明了该李-2-代数的任意严格范畴表示均会生成此类 2-连接，从而实现了与 $frak{sl}(2,\mathbb{C})$ 表示相关的量子 holonomy 的更高 gauge 理论范畴化。

ABSTRACT

We construct a flat (and fake-flat) 2-connection in the configuration space of $n$ indistinguishable particles in the complex plane, which categorifies the $sl(2,C)$-Knizhnik-Zamolodchikov connection obtained from the adjoint representation of $sl(2,C)$. This will be done by considering the adjoint categorical representation of the string Lie 2-algebra and the notion of an infinitesimal 2-Yang-Baxter operator in a differential crossed module. Specifically, we find an infinitesimal 2-Yang-Baxter operator in the string Lie 2-algebra, proving that any (strict) categorical representation of the string Lie-2-algebra, in a chain-complex of vector spaces, yields a flat and (fake flat) 2-connection in the configuration space, categorifying the $sl(2,C)$-Knizhnik-Zamolodchikov connection. We will give very detailed explanation of all concepts involved, in particular discussing the relevant theory of 2-connections and their two dimensional holonomy, in the specific case of 2-groups derived from chain complexes of vector spaces.

研究动机与目标

• 使用高阶规范场论，构建 $frak{sl}(2,\mathbb{C})$ Knizhnik-Zamolodchikov 连接的范畴化版本。
• 建立弦李-2-代数的范畴表示与不可区分粒子配置空间中平坦 2-连接之间的对应关系。
• 在弦李-2-代数的微分交叉模结构中定义并实现一个无穷小的 2-杨-Baxter 算子。
• 通过高阶代数结构，将 Knizhnik-Zamolodchikov 连接从 1-连接推广为 2-连接。

提出的方法

• 作者利用弦李-2-代数 $\mathfrak{String} = (\partial: \mathbb{F}_0 \to \mathbb{F}_1 \rtimes_{\alpha} \mathfrak{sl}_2, \triangleright)$ 的微分交叉模结构，定义了一个范畴化的规范场论框架。
• 他们在 $\mathfrak{String}$ 中显式构造了一个无穷小的 2-杨-Baxter 算子 $(\bar{r}, P)$，其中 $\bar{r} \in (\mathbb{F}_1 \rtimes_{\alpha} \mathfrak{sl}_2) \otimes (\mathbb{F}_1 \rtimes_{\alpha} \mathfrak{sl}_2)$ 且 $P = P^0 + 4C$ 属于泛包络代数 $\mathfrak{U}^{(3)}$。
• 该 2-连接通过 $\mathfrak{String}$ 在向量空间链复形上的范畴表示导出，利用 $\bar{r}$ 和 $P$ 在表示的张量幂上的作用。
• 通过验证微分交叉模中的四重关系和高阶辫子关系，证明了 2-连接的平坦性与虚假平坦性。
• 该构造利用了 $\mathfrak{sl}_2$ 的伴随表示及其在弦李-2-代数上的提升，给出了 $r$、$\bar{r}$、$P^0$ 和 $C$ 关于标准基 $\{e_{-1}, e_0, e_1\}$ 的显式公式。
• 该 2-连接被证明可下降到商配置空间 $\mathbb{C}(n)/S_n$，在此处通过 2-holonomy 实现了原始 KZ 连接的范畴化。

实验结果

研究问题

• RQ1 如何利用高阶规范场论，将 $frak{sl}(2,\mathbb{C})$ Knizhnik-Zamolodchikov 连接范畴化为 2-连接？
• RQ2 在弦李-2-代数中，何种精确的代数结构——特别是无穷小的 2-杨-Baxter 算子——使得这种范畴化成为可能？
• RQ3 弦李-2-代数的范畴表示如何在不可区分粒子的配置空间中生成平坦且虚假平坦的 2-连接？
• RQ4 微分交叉模结构在实现 2-杨-Baxter 算子以及确保 2-连接一致性方面起到了什么作用？

主要发现

• 在弦李-2-代数的微分交叉模中，显式构造了一个无穷小的 2-杨-Baxter 算子 $(\bar{r}, P)$，其中 $\bar{r} = 2(0,e_1)\otimes(0,e_{-1}) + 2(0,e_{-1})\otimes(0,e_1) - 4(0,e_0)\otimes(0,e_0)$。
• 由该算子导出的 2-连接是平坦且虚假平坦的，这通过李-2-代数框架中的四重关系和高阶辫子关系得到了验证。
• 该 2-连接对 $frak{sl}(2,\mathbb{C})$ Knizhnik-Zamolodchikov 连接进行了范畴化，其 2-holonomy 构成了从 $\mathbb{C}(n)/S_n$ 的基本 2-群胚到表示 2-范畴的 2-函子。
• 该构造与 $\mathfrak{sl}_2$ 的伴随表示及其张量幂相容，提供了生成 2-连接的范畴表示的显式例子。
• 该 2-连接在 $S_n$ 作用下不变，因此可下降到商配置空间 $\mathbb{C}(n)/S_n$，在此处定义了范畴化的量子 holonomy。