[논문 리뷰] 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)|2012. 07. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 5

한 줄 요약

이 논문은 복소평면 내 $n$개의 구분할 수 없는 입자의 구성공간에서 $ℓ(2,\mathbb{C})$ Knizhnik-Zamolodchikov 접속을 고차원 게이지이론적 분류화하는 평탄하고 가짜평탄한 2-접속을 구성한다. 스트링 Lie-2대수 내에서 무한소 2-양버스터 연산자를 식별함으로써, 저자들은 이 Lie-2대수의 임의의 엄격한 카테고리적 표현이 그러한 2-접속을 유도함을 보이며, $ℓ(2,\mathbb{C})$ 표현과 관련된 양자 호로노미의 고차원 게이지이론적 분류화를 제공한다.

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.

연구 동기 및 목표

• 고차 게이지이론을 이용하여 $ℓ(2,\mathbb{C})$ Knizhnik-Zamolodchikov 접속의 분류화된 형태를 구성하는 것.
• 스트링 Lie-2대수의 카테고리적 표현과 구분할 수 없는 입자들의 구성공간에서의 평탄하고 가짜평탄한 2-접속 사이의 대응관계를 확립하는 것.
• 스트링 Lie-2대수의 미분 교환모듈 구조 내에서 무한소 2-양버스터 연산자를 정의하고 실현하는 것.
• 고차 대수적 구조를 통해 Knizhnik-Zamolodchikov 접속을 1-접속에서 2-접속으로 일반화하는 것.

제안 방법

• 저자들은 스트링 Lie-2대수 $\mathfrak{String} = (\partial: \mathbb{F}_0 \to \mathbb{F}_1 \rtimes_{\alpha} \mathfrak{sl}_2, \triangleright)$의 미분 교환모듈 구조를 사용하여 분류화된 게이지이론적 프레임워크를 정의한다.
• explicit한 무한소 2-양버스터 연산자 $(\bar{r}, P)$를 $\mathfrak{String}$ 내에서 구성하며, $\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-접속의 평탄성과 가짜평탄성은 미분 교환모듈 내의 4항관계와 고차 브레이드 관계의 검증을 통해 증명된다.
• 구성은 $ℓ_2$의 수반 표현과 그 스트링 Lie-2대수로의 올림을 활용하며, 표준 기저 $\{e_{-1}, e_0, e_1\}$에 대한 $r$, $\bar{r}$, $P^0$, $C$의 명시적 공식을 제공한다.
• 2-접속은 $\mathbb{C}(n)/S_n$으로의 몫 구성공간으로 내림내림되며, 여기서 2-호로노미를 통해 원래 KZ 접속의 분류화를 이루고 있다.

실험 결과

연구 질문

• RQ1 어떻게 고차 게이지이론을 이용하여 $ℓ(2,\mathbb{C})$ Knizhnik-Zamolodchikov 접속을 2-접속으로 분류화할 수 있는가?
• RQ2 이 분류화를 가능하게 하는 정확한 대수적 구조—특히 스트링 Lie-2대수 내에서의 무한소 2-양버스터 연산자—는 무엇인가?
• RQ3 스트링 Lie-2대수의 카테고리적 표현은 어떻게 평탄하고 가짜평탄한 2-접속을 구분할 수 없는 입자들의 구성공간에서 유도하는가?
• RQ4 미분 교환모듈 구조는 2-양버스터 연산자를 실현하고 2-접속의 일관성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 스트링 Lie-2대수의 미분 교환모듈 내에서 명시적인 무한소 2-양버스터 연산자 $(\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-접속은 4항관계와 Lie-2대수적 프레임워크 내의 고차 브레이드 관계를 통해 평탄하고 가짜평탄함이 검증되었다.
• 이 2-접속은 $ℓ(2,\mathbb{C})$ Knizhnik-Zamolodchikov 접속을 분류화하며, 2-호로노미는 $ℓ(n)/S_n$의 기본 2군족에서 표현의 2카테고리로의 2함수를 유도한다.
• 구성은 $ℓ_2$의 수반 표현과 그 텐서곱과 호환되며, 2-접속을 유도하는 카테고리적 표현의 명시적 예를 제공한다.
• 2-접속은 $S_n$-작용에 대해 불변이며, 이로 인해 몫 구성공간 $\mathbb{C}(n)/S_n$으로 내림내림되며, 여기서 분류화된 양자 호로노미를 정의한다.