[논문 리뷰] Towards a Diagrammatic Analogue of the Reshetikhin-Turaev Link Invariants

Ami Haviv|arXiv (Cornell University)|2002. 11. 02.

Algebraic structures and combinatorial models참고 문헌 19인용 수 10

한 줄 요약

이 논문은 복소 단순 리 대수에 대한 Etingof-Kazhdan 양자화의 다이어그램적 동치를 만들기 위해 유도된 Jacobi 다이어그램을 사용하는 다이어그램적 프레임워크를 제안한다. 이 프레임워크는 Reshetikhin-Turaev 불변량과 유사한 프레임된 링크 불변량 $\mathbf{Z}_{\text{EK}}$를 정의하고, 방향성 있는 휠 다이어그램의 지수 함수를 포함하는 단순화된 공식을 통해 그 값이 원환선에서 어떻게 주어지는지 추측한다. 또한 자연스러운 사상 $\iota$를 통해 Kontsevich 적분과의 연결을 확립한다. 이 구성은 유도된 구조와 리 이대수 자료를 사용하여 양자군 양자화의 다이어그램적 실현을 제공한다.

ABSTRACT

By considering spaces of directed Jacobi diagrams, we construct a diagrammatic version of the Etingof-Kazhdan quantization of complex semisimple Lie algebras. This diagrammatic quantization is used to provide a construction of a directed version of the Kontsevich integral, denoted $Z_EK$, in a way which is analogous to the construction of the Reshetikhin-Turaev invariants from the R-matrices of the Drinfel'd-Jimbo quantum groups. Based on this analogy, we conjecture (and prove in a restricted sense) a formula for the value of the invariant $Z_EK$ on the unknot. This formula is simpler than the Wheels formula of [BGRT], but the precise relationship between the two is yet unknown.

연구 동기 및 목표

• 복소 단순 리 대수에 대한 Etingof-Kazhdan 양자화의 다이어그램적 동치를 유도된 Jacobi 다이어그램을 사용하여 개발한다.
• Reshetikhin-Turaev 불변량의 $R$-행렬 기반 구성과 유사한 방식으로 프레임된 링크 불변량 $\mathbf{Z}_{\text{EK}}$를 구성한다.
• 원환선에서 $\mathbf{Z}_{\text{EK}}$의 값에 대한 단순화된 공식을 추측한다. 이 공식은 기본적인 유도된 휠 다이어그램의 지수 함수의 추적으로 표현된다.
• $\iota$ 사상(비유도 다이어그램에서 유도 다이어그램으로의 사상)을 통해 $\mathbf{Z}_{\text{EK}}$와 Kontsevich 적분 간의 관계를 명확히 한다.
• 이 다이어그램적 프레임워크와 가상 린크 이론에서의 Polyak의 화살표 다이어그램 간의 연결 고리를 탐색한다.

제안 방법

• 유도된 IHX 및 STU 관계에 모odulo된 유도된 Jacobi 다이어그램의 대수 $\overset{{}_{\to}}{\mathcal{A}}$를 도입한다.
• 유도된 프레임워크 내에서 유도된 PBW 동형사상과 벨라 모듈을 정의하여 Etingof-Kazhdan 양자화를 다이어그램적으로 모델링한다.
• 유도된 쿼지트라이앵귤라 쿼지-호프 대수의 구조를 기반으로, Etingof-Kazhdan 절차와 유사한 다이어그램적 휘감김을 사용하여 불변량 $\mathbf{Z}_{\text{EK}}$를 구성한다.
• KZ 구조와 $\overset{{}_{\to}}{\mathcal{A}}$-공간 위의 KZ 연관자들을 활용하여, Reshetikhin-Turaev 구성과 유사한 방식으로 링크 불변량을 정의한다.
• $\iota$ 사상을 사용하여 비유도 다이어그램에서 유도 다이어그램으로의 사상으로 $\mathbf{Z}_{\text{EK}}$를 Kontsevich 적분과 연결한다.
• 유도된 액클릭 Jacobi 다이어그램의 개념을 활용하고, 유도된 관계에 모odulo된 액클릭 다이어그램의 몫으로서 공간 $\overset{{}_{\to}}{\mathcal{P}}$를 정의한다.

실험 결과

연구 질문

• RQ1 복소 단순 리 대수의 Etingof-Kazhdan 양자화는 유도된 Jacobi 다이어그램을 사용하여 완전히 다이어그램적으로 실현될 수 있는가?
• RQ2 이 다이어그램적 프레임워크를 통해 구성된 프레임된 링크 불변량 $\mathbf{Z}_{\text{EK}}$는 Kontsevich 적분과 등가 또는 밀접하게 관련되어 있는가?
• RQ3 원환선에서 $\mathbf{Z}_{\text{EK}}$의 값은 Wheels 공식보다 더 단순한 공식을 갖는가? 특히, 유도된 휠 다이어그램의 지수 함수를 포함하는가?
• RQ4 공간 $\overset{{}_{\to}}{\mathcal{P}}^{\otimes 2}$ 내에서 다이어그램적 $r$-행렬을 양자화하는 양자 Yang-Baxter 방정식의 해가 존재하는가?
• RQ5 $\overset{{}_{\to}}{\mathcal{A}}_{\text{EK}}$의 유도 대수에서의 $R$-행렬 $R_{\text{EK}}$는 사상 $j: \overset{{}_{\to}}{\mathcal{P}}^{\otimes 2} \to \overset{{}_{\to}}{\mathcal{A}}^{\otimes 2}$의 이미지 안에 있는가?

주요 결과

• 논문은 유도된 Jacobi 다이어그램을 사용하여 Etingof-Kazhdan 양자화의 다이어그램적 형태를 구성하여, 다이어그램적 맥락에서 양자화 절차의 새로운 실현을 제공한다.
• $\mathbf{Z}_{\text{EK}}$는 프레임된 링크 불변량으로서, 유도된 Jacobi 다이어그램 공간에 값을 취하며, Reshetikhin-Turaev 구성과 유사하다.
• 원환선에서 $\mathbf{Z}_{\text{EK}}$에 대한 추측된 공식은 $\operatorname{Tr}(\exp(\frac{1}{2} \cdot \text{휠 다이어그램}))$로 주어지며, Wheels 공식보다 더 단순하다.
• $\iota$ 사상은 비유도 다이어그램에서 유도 다이어그램으로의 사상으로서 $\mathbf{Z}_{\text{EK}}$와 Kontsevich 적분 간의 관계를 밝혀내며, 잠재적인 등가성 또는 밀접한 관련성을 시사한다.
• 유도된 액클릭 Jacobi 다이어그램의 공간 $\overset{{}_{\to}}{\mathcal{P}}$는 액성의 유도로 유도되는 동형사상에 의해 $\overset{{}_{\to}}{{\mathcal{P}}^{c}}$로, 즉 유도된 끈 다이어그램 공간과 동형이다.
• 사상 $j: \overset{{}_{\to}}{\mathcal{P}} \to \overset{{}_{\to}}{\mathcal{A}}$가 단사인지 여부는 열려 있으나, 전사가 아니며, $R_{\text{EK}}$가 $j$의 이미지 안에 있는지 여부는 여전히 미해결 문제로 남아 있다.