[논문 리뷰] Categorifying fractional Euler characteristics, Jones-Wenzl projector and $3j$-symbols

Igor Frenkel, Catharina Stroppel외 1명|arXiv (Cornell University)|2010. 07. 27.

Algebraic structures and combinatorial models참고 문헌 34인용 수 26

한 줄 요약

이 논문은 완전교차환원소를 이용하여 분수 오일러 특징수를 카테고리화하고, 유리수 양자수를 그라디에이션된 오일러 특징수로 나타내는 Ext대수를 통해 실현한다. 이는 단순 하리슈-찬드라 이중모듈러의 Ext대수를 통해 존스-웬즐 프ro젝터, 3j-기호, 6j-기호의 카테고리화된 버전을 제공하며, 양자 불변량과 양자 $υ(\mathfrak{sl}_2)$의 그라디에이션된 표현 이론을 연결함으로써 양자 위상수학과 대수적 위상수학 간의 연결 고리를 확립한다.

ABSTRACT

We study the representation theory of the smallest quantum group and its categorification. The first part of the paper contains an easy visualization of the 3j-symbols in terms of weighted signed line arrangements in a fixed triangle and new binomial expressions for the 3j-symbols. All these formulas are realized as graded Euler characteristics. The 3j-symbols appear as new generalizations of Kazhdan-Lusztig polynomials. A crucial result of the paper is that complete intersection rings can be employed to obtain rational Euler characteristics, hence to categorify rational quantum numbers. This is the main tool for our categorification of the Jones-Wenzl projector, Theta-networks and tetrahedron networks. Networks and their evaluations play an important role in the Turaev-Viro construction of 3-manifold invariants, \cite{TV}. We categorify these evaluations by Ext-algebras of certain simple Harish-Chandra bimodules. The relevance of this construction to categorified colored Jones invariants and invariants of 3-manifolds will be studied in detail in subsequent papers.

연구 동기 및 목표

• 완전교차환원소 위에서의 Ext대수의 그라디에이션된 오일러 특징수를 통해 유리수 양자수를 카테고리화하는 것.
• 단순 하리슈-찬드라 이중모듈러의 Ext대수를 통해 존스-웬즐 프로젝터의 카테고리화된 실현을 제공하는 것.
• 3j-기호와 6j-기호를 Ext대수의 그라디에이션된 오일러 특징수로 해석하여 카즈단-루스트리프 다항식의 일반화를 이루는 것.
• $υ(\mathfrak{sl}_2)$-표현 이론과 3-다양체 불변량 간의 연결 고리를 카테고리화된 텐서 네트워크를 통해 확립하는 것.
• $V_1^{igotimes n}$과 $V_{\mathbf{d}}$의 이전 카테고리화를 적절한 분할과 그라디에이션된 $\mathcal{O}$-카테고리의 도입을 통해 인터티너와 프로젝터를 포함하도록 확장하는 것.

제안 방법

• 완전교차환원소, 예를 들어 그라스만만의 코homology 환원소를 사용하여 유리수 양자수를 그라디에이션된 오일러 특징수로 실현한다.
• 단순 하리슈-찬드라 이중모듈러의 그라디에이션된 Ext대수를 적용하여 존스-웬즐 프로젝터와 네트워크 평가의 카테고리화를 수행한다.
• 완전교차환원소 위에서의 최소 프로젝티브 분해를 사용하여 무한급수를 계산하고, 이는 유리수 $q$-수로 수렴한다.
• 카테고리 $\mathcal{O}$와 몫 함자에 기반한 기하학적·대수적 프레임워크를 도입하여 표준 기저와 캐논칼 기저의 카테고리화된 실현을 가능하게 한다.
• 함자와 수반관계를 활용하여 $\Theta$-네트워크와 테트라헤드론 네트워크를 그라디에이션된 벡터 공간의 도파인 카테고리 내의 Ext대수로 해석한다.
• 3j-기호와 6j-기호가 Ext대수의 그라디에이션된 오일러 특징수로 나타나며, 카즈단-루스트리프 다항식을 일반화함을 입증한다.

실험 결과

연구 질문

• RQ1 유리수 양자수, 예를 들어 $1/[n]_q$와 같은 수는 어떻게 그라디에이션된 오일러 특징수를 통해 카테고리화할 수 있는가?
• RQ2 존스-웬즐 프로젝터는 단순 하리슈-찬드라 이중모듈러의 Ext대수를 통해 카테고리화될 수 있는가?
• RQ3 3j-기호와 6j-기호는 카테고리화된 설정에서 Ext대수의 그라디에이션된 오일러 특징수로 어떻게 나타나는가?
• RQ4 완전교차환원소는 양자군 표현 이론에서 분수 오일러 특징수를 실현하는 데 어떤 역할을 하는가?
• RQ5 $\Theta$-네트워크와 테트라헤드론 네트워크의 카테고리화는 그라디에이션된 모듈의 도파인 카테고리 내에서 일관되게 정의될 수 있는가?

주요 결과

• 완전교차환원소 $H$에 대해 $\operatorname{Ext}^*_{H}(\mathbb{C},\mathbb{C})$의 그라디에이션된 오일러 특징수는 $1/[n]_q$와 같은 유리수 양자수를 무한급수로 실현하며, 이는 유리함수로 수렴한다.
• 존스-웬즐 프로젝터는 단순 하리슈-찬드라 이중모듈러 $L$에 대해 $\operatorname{Ext}^*_{A_{k,\mathbf{d}}}(L,L)$의 Ext대수로 그라디에이션 이동을 제외하고 카테고리화된다.
• 3j-기호는 일반화된 카즈단-루스트리프 다항식으로 실현되며, 삼각형 내의 가중치가 부여된 부호가 있는 선 배열로부터 유도된 명시적 이항식을 통해 그라디에이션 차원으로 나타난다.
• $\Theta$-네트워크의 값은 그라디에이션 이동을 제외하고 $\operatorname{Ext}^*_{A_{k,\mathbf{d}}}(L,L)$의 그라디에이션 차원과 동형이며, 자연스러운 대수적 구조를 지닌다.
• 6j-기호는 특정 모듈 $M,N$에 대해 $\operatorname{Ext}^*_{A_{n,\mathbf{d}}}(M,N)$의 그라디에이션된 오일러 특징수로 실현되며, 유도 동치를 제외하고 다이어그램적 표현에 독립적이다.
• n-색상이 칠해진 뭉치된 끈의 카테고리화는 Ext대수의 그라디에이션 차원으로 $[n+1]_q$로 나타나며, 이는 색상이 칠해진 존스 불변량과의 연결을 확인한다.