[論文レビュー] Quantizations of Character Varieties and Quantum Knot Invariants

Adam S. Sikora|ArXiv.org|Jul 7, 2008

Geometric and Algebraic Topology参考文献 34被引用数 10

ひとこと要約

本稿は、$ \mathfrak{g}$-Witten-Reshetikhin-Turaev量子不変量を用いて、トーラスの$G$-特徴多様体の変形量子化を確立し、それがゴールドマン括弧を量子化することを示している。各$k$-$K \subset S^3$に対して、量子理想$I_K$を導入し、その古典的極限が、特徴多様体から$k$-補空間への写像の核に対応するとの予想を提示。これにより、$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$-特徴多様体の変形量子化を、量子不変量を用いて確立すること。
• 量子knot不変量を、量子理想と古典的核の間の予想的な対応を通じて、knot補空間の位相と関連付けること。
• WRT不変量をヴェルマ加群へ拡張し、重み格子上の$q$-正規関数$J_{\mathfrak{g},K}$を定義すること。
• 量子不変量が古典的極限においてゴールドマン括弧を量子化することを証明すること。
• [Le2]の予想を反証し、$q$-正規性が量子不変量における役割を明確にすること。

提案手法

• すべての$\lambda \in \Lambda_{\mathfrak{g}}$に対して、$J_{\mathfrak{g},K}(\lambda) = WRT_{\mathfrak{g},M(\lambda - \rho)}(K)$を定義し、不変量をヴェルマ加群へ拡張する。
• $E_\alpha$と$Q_\alpha$によって生成される量子ウェイル代数$\mathbb{A}_{\mathfrak{g}}$を用い、関係式$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$を満たす。
• トーラスの$G$-特徴多様体の古典的座標環の変形として、量子座標環$\mathbb{C}_q[X_G(\text{torus})]$を構成する。
• 各knot$K$に対して、$K$のケーブルの量子不変量によって生成される、$\mathbb{C}_q[X_G(\text{torus})]$に含まれる量子理想$I_K$を定義する。
• $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 $k$-WRT量子不変量はヴェルマ加群へ拡張可能か？また、重み格子上で$q$-正規関数を定めるか？
• RQ2 knotの量子不変量は、トーラスの$G$-特徴多様体の量子座標環における量子理想を定義できるか？
• RQ3 この量子理想の古典的極限は、トーラスの特徴多様体からknot補空間への写像の核に対応するか？
• RQ4 トーラスの$G$-特徴多様体の変形量子化は、古典的極限においてゴールドマン括弧と整合性を持つか？
• RQ5 量子ウェイル代数の構造は、量子不変量の代数的性質とその再帰的関係を捉えているか？

主な発見

• $\mathfrak{g}$-WRT不変量はヴェルマ加群へ拡張され、すべての$\mathfrak{g} \neq G_2$に対して、重み格子上の$q$-正規関数$J_{\mathfrak{g},K}$を生成する。
• 量子不変量は、トーラスの$G$-特徴多様体の変形量子化$\mathbb{C}_q[X_G(\text{torus})]$を定め、古典的極限においてゴールドマン括弧を量子化する。
• 各$k$-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$を介して成り立つ。これにより、これらの場合におけるゴールドマン括弧の量子化が確認された。