[논문 리뷰] Quantizations of Character Varieties and Quantum Knot Invariants

Adam S. Sikora|ArXiv.org|2008. 07. 07.

Geometric and Algebraic Topology참고 문헌 34인용 수 10

한 줄 요약

이 논문은 $G$-character variety의 토러스에 대해 $\mathfrak{g}$-Witten-Reshetikhin-Turaev 양자 불변량을 사용하여 변형 양자화를 수립하며, 이들이 골드먼 괄호를 양자화함을 보여준다. 각 knot $K \subset S^3$에 대해 관련된 양자 이상수 $I_K$를 도입하고, 그 고전적 극한이 knot complement의 $G$-character variety로 가는 사상의 핵에 대응된다고 추측하며, 이는 $q$-홀로노믹 함수와 스케인 모듈을 통해 양자 불변량과 knot 위상수학을 연결한다.

ABSTRACT

Let G be a simple complex algebraic group and g its Lie algebra. We show that the g-Witten-Reshetikhin-Turaev quantum invariants determine a deformation-quantization, C_q[X_G(torus)], of the coordinate ring of the G-character variety of the torus. We prove that this deformation is in the direction of the Goldman's bracket. Furthermore, we show that every knot K defines an ideal I_K in C_q[X_G(torus)]. We conjecture that the homomorphism C_q[X_G(torus)] -> C[X_G(torus)], q -> 1, maps I_K to the ideal whose radical is the kernel of the map C[X_G(torus)] -> C[X_G(S^3 K)]. This conjecture is related to AJ-conjecture for sl(2,\C). The results of this paper are inspired by the theory of q-holonomic relations between quantum invariants of Garoufalidis and Le. Along the way, we disprove Conjecture 2 in Le's "The Colored Jones and the A-polynomial of Two-Bridge knots".

연구 동기 및 목표

• 토러스의 $G$-character variety에 대해 양자 불변량을 사용하여 변형 양자화를 수립하는 것.
• 양자 knot 불변량을 양자 이상수와 고전적 핵 사이의 추측적 대응을 통해 knot complement의 위상수학과 연결하는 것.
• WRT 불변량을 Verma 모듈로 확장하고, 무게 격자 위에 $q$-홀로노믹 함수 $J_{\mathfrak{g},K}$를 정의하는 것.
• 고전적 극한에서 양자 불변량이 골드먼 괄호를 양자화함을 증명하는 것.
• Le2에서 제기한 추측을 반박하고, $q$-홀로노믹성의 역할을 명확히 하는 것.

제안 방법

• $\lambda \in \Lambda_{\mathfrak{g}}$에 대해 모든 $\lambda$에 대해 $J_{\mathfrak{g},K}(\lambda) = WRT_{\mathfrak{g},M(\lambda - \rho)}(K)$로 $\mathfrak{g}$-Witten-Reshetikhin-Turaev 함수를 정의하여, 불변량을 Verma 모듈로 확장한다.
• 관계식 $E_\alpha E_\beta = E_{\alpha+\beta}$, $Q_\alpha Q_\beta = Q_{\alpha+\beta}$, $E_\alpha Q_\beta = q^{(\alpha,\beta)} Q_\alpha E_\beta$를 가진 양자 Weyl 대수 $\mathbb{A}_{\mathfrak{g}}$를 사용한다.
• 토러스의 $G$-character variety의 고전적 좌표환의 변형으로서 양자 좌표환 $\mathbb{C}_q[X_G(\text{torus})]$를 구성한다.
• 각 knot $K$에 대해, $K$의 케이블의 양자 불변량으로 생성되는 양자 이상수 $I_K \subset \mathbb{C}_q[X_G(\text{torus})]$를 정의한다.
• $J_{\mathfrak{g},K}$의 $q$-홀로노믹성을 사용하여 양자 대수 내의 재귀적 구조와 이상수 멤버십을 분석한다.
• $\varepsilon: \mathbb{C}_q[X_G(\text{torus})] \to \mathbb{C}[X_G(\text{torus})]$의 고전적 극한이 사상 $\mathbb{C}[X_G(\text{torus})] \to \mathbb{C}[X_G(S^3 \setminus K)]$의 핵의 루트에 $I_K$를 매핑함을 증명한다.

실험 결과

연구 질문

• RQ1 knot에 대한 $\mathfrak{g}$-WRT 양자 불변량은 Verma 모듈로 확장 가능한가? 그리고 이는 무게 격자 위에 $q$-홀로노믹 함수를 유도하는가?
• RQ2 knot의 양자 불변량을 사용하여 토러스의 $G$-character variety의 양자 좌표환에 양자 이상수를 정의할 수 있는가?
• RQ3 이 양자 이상수의 고전적 극한은 토러스의 character variety에서 knot complement의 것으로 가는 사상의 핵에 복원되는가?
• RQ4 토러스의 $G$-character variety의 변형 양자화가 고전적 극한에서 골드먼 괄호와 호환되는가?
• RQ5 양자 Weyl 대수의 구조는 양자 불변량의 대수적 성질과 그 재귀적 관계를 포괄하는가?

주요 결과

• $\mathfrak{g}$-WRT 불변량은 Verma 모듈로 확장되며, $\mathfrak{g} \neq G_2$인 모든 $\mathfrak{g}$에 대해 무게 격자 위에 $q$-홀로노믹 함수 $J_{\mathfrak{g},K}$를 유도한다.
• 양자 불변량은 토러스의 $G$-character variety에 대한 변형 양자화 $\mathbb{C}_q[X_G(\text{torus})]$를 정의하며, 고전적 극한에서 골드먼 괄호를 양자화한다.
• 각 knot $K \subset S^3$는 양자 좌표환 $\mathbb{C}_q[X_G(\text{torus})]$에 속한 양자 이상수 $I_K$를 정의하며, 그 고전적 극한은 사상 $\mathbb{C}[X_G(\text{torus})] \to \mathbb{C}[X_G(S^3 \setminus K)]$의 핵의 루트에 대해 추측된다.
• 논문은 [Le2]의 추측 2를 반박하며, 양자 불변량 내의 $q$-홀로노믹 관계의 구조를 명확히 한다.
• $G = SL(n,\mathbb{C})$인 경우, 양자 괄호 $\{\tau_{a,b}, \tau_{c,d}\}_A$는 $\Theta$에 의해 고전적 골드먼 괄호 $\{\Theta(\tau_{a,b}), \Theta(\tau_{c,d})\}_G$로 매핑된다.
• $G = SO(n,\mathbb{C}), Sp(2n,\mathbb{C})$인 경우에도 동일한 괄호 호환성이 $\Theta$에 의해 유지되며, 이는 이러한 경우 골드먼 괄호의 양자화를 확인한다.