[논문 리뷰] Trace decategorification of categorified quantum sl(2)

Anna Beliakova, Kazuo Habiro외 2명|arXiv (Cornell University)|2014. 04. 07.

Quantum Information and Cryptography인용 수 6

한 줄 요약

이 논문은 U*(sl(2))의 추적 분류화(trace decategorification)를 제시하며, 특정 관계를 가진 사상 E^{(a)}_{l^a}1_n로 생성된다는 것을 보여준다. 핵심 결과는 분할에 대한 사전순서(lexicographic order)를 사용한 기저 전환 공식과 자유 아벨군의 구조로 인해 Tr(𝒰*)의 기저가 ZU+(sl2[t])와 직접 비교 가능하게 된다.

ABSTRACT

The trace or the $0$th Hochschild--Mitchell homology of a linear category $\mathcal{C}$ may be regarded as a kind of decategorification of $\mathcal{C}$. We compute traces of the two versions $\dot{\mathcal{U}}$ and $\dot{\mathcal{U}}^*$ of categorified quantum $\mathfrak{sl}_2$ introduced by the third author. One version of the trace coincides with the split Grothendieck group $K_0(\dot{\mathcal{U}})$, which is known to be isomorphic to the the integral idempotented form $\dot{\mathbf{U}}(\mathfrak{sl}_2)$ of quantum $\mathfrak{sl}(2)$. The higher Hochschild--Mitchell homology in this case is zero. The trace of the second version is isomorphic to the idempotented integral form of the current algebra $\mathbf{U}(\mathfrak{sl}_2[t])$.

연구 동기 및 목표

• 분류화된 양자군 U*(sl(2))의 추적 분류화 Tr(𝒰*)+에 대한 표현을 제공하는 것.
• Tr(𝒰*)+(n,m)에 대해 ZU+(sl2[t])의 알려진 기저와 직접 비교할 수 있는 기저를 확립하는 것.
• 분할 λ ∈ P(a)로 색인된 기저와 l1 > l2 > ... > lp ≥ 0를 만족하는 E^{(ai)}_{li}의 복합체로 구성된 기저 사이의 관계를 규명하는 것.

제안 방법

• 정수 분할에 대한 사전순서를 사용하여 Tr(𝒰*)+(n,m)의 기저 원소를 비교하는 것.
• 레마 9.6를 적용하여 E^{(a)}_{ja}E^{(b)}_λ1_n에서 E^{(a+b)}_{ja∪λ}1_n로의 기저 전환에서 주요 항을 계산하는 것.
• 사전순서에서 ja∪λ보다 작은 τ에 대해 합으로 표현된 전개의 주요 항을 유도하는 것.
• 생성자 E^{(a)}_{l^a}1_n과 관계식 (9.3), (9.4), (9.7)을 통해 (Tr𝒰*)+의 표현을 증명하는 것.
• 분할에 대한 사전순서에서의 a와 λ에 대한 귀납적 증명을 통해 임의의 E^{(a)}_λ1_n이 감소하는 l을 가진 E^{(i)}_{li}1_n의 복합체의 ℤ-선형 조합임을 보이는 것.
• 분류화된 양자군의 구조, 특히 함자 ∧a,b와 구조 상수 Nν^{τ,λ}를 활용하여 사상 복합체를 계산하는 것.

실험 결과

연구 질문

• RQ1 분류화된 양자군 U*(sl(2))의 추적 분류화 Tr(𝒰*)+는 명시적인 생성자와 관계식으로 어떻게 표현될 수 있는가?
• RQ2 정수 n, m에 대해 사상 공간 Tr(𝒰*)+(n,m)의 구조는 어떠한가? 그리고 이 공간에 기저를 어떻게 부여할 수 있는가?
• RQ3 분할 λ ∈ P(a)로 색인된 기저는 l1 > l2 > ... > lp ≥ 0를 만족하는 E^{(ai)}_{li}의 복합체로 구성된 기저와 어떻게 관련이 있는가?
• RQ4 E^{(a)}_{ja}E^{(b)}_λ1_n에서 E^{(a+b)}_{ja∪λ}1_n로의 기저 전환에서 주요 항은 무엇이며, 이는 어떻게 사전순서에 의해 제어되는가?
• RQ5 사상 공간 Tr(𝒰*)+(n,m)이 자유 아벨군이며, ZU+(sl2[t])와의 비교를 용이하게 하는 기저를 갖는다는 것을 어떻게 보일 수 있는가?

주요 결과

• m - n = 2a일 때 Tr(𝒰*)+(n,m)는 자유 아벨군이며, 기저 {E^{(a)}_λ1_n | λ ∈ P(a)}를 갖는다.
• E^{(a)}_{ja}E^{(b)}_λ1_n에서 E^{(a+b)}_{ja∪λ}1_n로의 기저 전환에서 주요 항은 E^{(a+b)}_{ja∪λ}1_n이며, 낮은 차수의 항들은 사전순서에서 ja∪λ보다 작은 τ에 의해 색인된다.
• (Tr𝒰*)+는 a,l ≥ 0 및 n ∈ ℤ인 E^{(a)}_{l^a}1_n로 생성되며, 관계식 (9.3), (9.4), (9.7)을 갖는다.
• 관계식 (9.7)은 이항계수를 제공한다: E^{(a)}_{l^a}E^{(b)}_{l^b}1_n = (a+b choose a) E^{(a+b)}_{l^{a+b}}1_n.
• 귀납적 증명을 통해 임의의 E^{(a)}_λ1_n은 감소하는 l을 가진 E^{(i)}_{li}1_n의 복합체의 ℤ-선형 조합임을 보였다. 이는 분할에 대한 사전순서를 기반으로 한다.
• 전개에서의 구조 상수는 Nν^{τ,λ}와 함자 ∧a,b를 포함하며, 이는 분류화된 설정에서 텐서곱의 분해를 제어한다.