[論文レビュー] 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$ 個の区別不能な粒子の配置空間において、$\mathfrak{sl}(2,\mathbb{C})$ Knizhnik-Zamolodchikov 接続を高次ゲージ理論的にカテゴリフィケーション化する、平坦かつ偽平坦な 2 接続を構成する。ストリング Lie-2代数内で無限小の 2-Yang-Baxter 演算子を同定することで、著者らは、この Lie-2代数の任意の厳密なカテゴリカル表現が、このような 2 接続を導くことを示し、$\mathfrak{sl}(2,\mathbb{C})$ 表現に付随する量子 holonomy の高次ゲージ理論的カテゴリフィケーションを提供する。

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.

研究の動機と目的

• 高次ゲージ理論を用いて、$\mathfrak{sl}(2,\mathbb{C})$ Knizhnik-Zamolodchikov 接続のカテゴリフィケーション版を構成すること。
• ストリング Lie-2代数のカテゴリカル表現と、区別不能な粒子の配置空間における平坦な 2 接続との間の対応を確立すること。
• ストリング Lie-2代数の微分交叉モジュール構造内に、無限小の 2-Yang-Baxter 演算子を定義し実現すること。
• 高次代数的構造を通じて、1 接続から 2 接続への Knizhnik-Zamolodchikov 接続の一般化を達成すること。

提案手法

• 著者らは、ストリング Lie-2代数 $\mathfrak{String} = (\partial: \mathbb{F}_0 \to \mathbb{F}_1 \rtimes_{\alpha} \mathfrak{sl}_2, \triangleright)$ の微分交叉モジュール構造を用いて、カテゴリフィケーションされたゲージ理論フレームワークを定義する。
• 彼らは、$\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{String}$ 内に明示的な無限小の 2-Yang-Baxter 演算子 $(\bar{r}, P)$ を構成する。ここで $P$ は普遍包あらたな代数 $\mathfrak{U}^{(3)}$ 内にある。
• 2 接続は、ベクトル空間のチェーン複体における $\mathfrak{String}$ のカテゴリカル表現から導出され、表現のテンソル冪への $\bar{r}$ および $P$ の作用を用いる。
• 2 接続の平坦性および偽平坦性は、微分交叉モジュールにおける 4 項関係および高次 braid 関係の検証により証明される。
• 構成は、$\mathfrak{sl}_2$ の随伴表現およびそのストリング Lie-2代数への上昇を活用し、標準基底 $\{e_{-1}, e_0, e_1\}$ を用いた $r$、$\bar{r}$、$P^0$、$C$ の明示的公式を提供する。
• 2 接続は、$\mathbb{C}(n)/S_n$ への商空間へと低下することが示され、そこでは 2 holonomy を通じて元の KZ 接続がカテゴリフィケーション化される。

実験結果

リサーチクエスチョン

• RQ1 どのようにして高次ゲージ理論を用いて、$\mathfrak{sl}(2,\mathbb{C})$ Knizhnik-Zamolodchikov 接続を 2 接続へとカテゴリフィケーション化できるか？
• RQ2 このカテゴリフィケーションを可能にする正確な代数的構造、特にストリング Lie-2代数内での無限小の 2-Yang-Baxter 演算子とは何か？
• RQ3 ストリング Lie-2代数のカテゴリカル表現は、区別不能な粒子の配置空間における平坦かつ偽平坦な 2 接続をどのように生じさせるか？
• RQ4 微分交叉モジュール構造は、2-Yang-Baxter 演算子の実現および 2 接続の一貫性を保証するために果たす役割は何か？

主な発見

• 微分交叉モジュールにおけるストリング Lie-2代数内に、明示的な無限小の 2-Yang-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 接続は、Lie-2代数的枠組みにおける 4 項関係および高次 braid 関係の検証により、平坦かつ偽平坦であることが確認された。
• 2 接続は、$\mathfrak{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 を定義する。