[논문 리뷰] A Diagrammatic Category for the Representation Theory of U_q(sl_n)

Scott Morrison|ArXiv.org|2007. 04. 12.

Algebraic structures and combinatorial models참고 문헌 25인용 수 45

한 줄 요약

이 논문은 $U_q(\mathfrak{sl}_n)$의 표현 범주로 가는 함자에 대한 핵을 생성하는 관계를 제공하는, 등변 그래프의 도형 범주를 등변 그래프의 위상 동치 모odulo로 구성한다. 핵의 생성자를 유도하기 위해 귀납적 관계를 사용하며, 핵의 대부분을 생성하는 명시적인 관계들(I=H, 사각형 전환, 케쿨레)을 제공하는 체계적인 프레임워크를 제안한다. 주요 기여는 도형적 게르파인드-츠레틴 함자(의미는 'diagrammatic Gel'fand-Tsetlin functor')를 사용한 체계적인 접근으로, 이는 I=H, 사각형 전환, 케쿨레 관계를 포함한 명시적 관계들을 생성하며, 이 관계들이 핵을 완전히 묘사한다고 추측한다.

ABSTRACT

This thesis provides a partial answer to a question posed by Greg Kuperberg in q-alg/9712003 and again by Justin Roberts as problem 12.18 in "Problems on invariants of knots and 3-manifolds", math.GT/0406190, essentially: "Can one describe the category of representations of the quantum group U_q(sl_n) (thought of as a spherical category) via generators and relations?" For each n \geq 0, I define a certain tensor category of trivalent graphs, modulo isotopy, and construct a functor from this category onto (a full subcategory of) the category of representations of the quantum group U_q(sl_n). One would like to describe completely the kernel of this functor, by providing generators. The resulting quotient of the diagrammatic category would then be a category equivalent to the representation category of U_q(sl_n). I make significant progress towards this, describing certain generators of the kernel, and some obstructions to further elements. It remains a conjecture that these relations generate the kernel. My results extend those of q-alg/9712003, MR1659228, math.QA/0310143 and math.GT/0506403. The argument is essentially by constructing a diagrammatic version of the forgetful functor coming from the inclusion of U_q(sl_{n-1}) in U_q(sl_n}. We know this functor is faithful, so a diagram is in the kernel for n exactly if its image under the diagrammatic forgetful functor is in the kernel for n-1. This allows us to perform inductive calculations, both establishing families of elements of the kernel, and finding obstructions.

연구 동기 및 목표

• 등변 그래프와 위상 동치 관계를 사용하여 $U_q(\mathfrak{sl}_n)$의 표현 범주에 대한 도형적 표현을 제공한다.
• 도형 범주에서 $\mathrm{Rep}\,U_q(\mathfrak{sl}_n)$로 가는 표현 함자의 핵에 대한 생성자를 규명한다.
• 등변 그래프의 분기 구조를 기반으로 $U_q(\mathfrak{sl}_{n-1})$ 표현으로의 유도를 통해, 사상들을 분석하는 귀납적 체계를 수립한다.
• 제시된 관계들(I=H, 사각형 전환, 케쿨레)이 핵을 완전히 묘사한다고 추측한다. 이는 생성자와 관계로의 완전한 묘사이다.

제안 방법

• $\mathrm{Sym}_n$이라는 등변 그래프의 텐서 범주를 정의한다. 이는 등변 그래프의 위상 동치 모odulo이며, 방향성이 있는 간선은 1(기본 표현)로 표시된다.
• $\mathrm{Sym}_n$에서 $U_q(\mathfrak{sl}_n)$-표현의 범주로 가는 함자를 구성한다. 이 함자는 도형을 $U_q(\mathfrak{sl}_n)$-표현의 $U_q(\mathfrak{sl}_n)$-준수자로 보낸다.
• 도형적 게르파인드-츠레틴 함자 $dGT$를 도입한다. 이는 $U_q(\mathfrak{sl}_n)$에서 $U_q(\mathfrak{sl}_{n-1})$-표현으로의 忽略 함자(무시 함자)를 모델링한다.
• 귀납적 감소를 사용한다: 도형이 핵에 속해 있음과 그 $dGT$에 의한 이미지가 수준 $n-1$에서 핵에 속해 있음은 동치이다. 이를 통해 재귀적 분석이 가능해진다.
• 핵심 관계를 규명한다: I=H(항등원은 육각형과 같다), 사각형 전환(사각형에서의 브레인드 유사 이동), 케쿨레(4차원에서의 육각형 관계).
• 작은 웹에서의 명시적 계산과 $q$-이항계수 항등식, MOY 유형의 평가 규칙을 사용하여 관계를 검증한다.

실험 결과

연구 질문

• RQ1 등변 그래프의 도형 범주를 통해 $U_q(\mathfrak{sl}_n)$-표현의 범주를 생성자와 관계로 묘사할 수 있는가?
• RQ2 도형 범주에서의 어떤 관계들이 표현 함자의 핵에 대응하는가?
• RQ3 I=H, 사각형 전환, 케쿨레 관계들이 표현 함자의 전체 핵을 생성하는가?
• RQ4 도형적 게르파인드-츠레틴 함자를 사용하여 사상과 그 핵을 재귀적으로 특성화할 수 있는가?
• RQ5 $n \geq 4$에서 도형 범주에 대해 완전하고, 확률적(논리적)으로도 일관된 관계 집합이 존재하는가?

주요 결과

• $\mathrm{Sym}_n$ 도형 범주는 $U_q(\mathfrak{sl}_n)$-표현 이론에 대해 잘 정의되고 위상 불변인 프레임워크를 제공한다.
• I=H 관계는, 번갈아 가며 부호가 붙은 육각형이 항등원과 같다는 것을 의미하며, 핵의 기본 생성자이다.
• 사각형 전환 관계는 사각형 내에서 교차를 바꾸는 것으로, 참임이 입증되었고 비자명한 핵 원소를 생성한다.
• 4차원에서의 케쿨레 관계는 사각형 전환과 이중원 관계로부터 유도되며, 더 깊은 구조적 연결을 시사한다.
• $n=2,3,4,5$에 대해 제시된 관계들은 큰, 가능하면 전체 핵을 생성하며, 작은 웹에서의 명시적 검증이 이루어졌다.
• 모든 핵 원소가 이 관계들에 의해 생성된다고 추측되며, 경로 모델과 다각형 웹의 구조는 귀납적 추론을 뒷받침한다.