[論文レビュー] SU(2)/SL(2) knot invariants and KS monodromies

D. Galakhov, А. Миронов+1 more|arXiv (Cornell University)|Oct 19, 2015

Geometric and Algebraic Topology参考文献 57被引用数 4

ひとこと要約

本稿は、Faddeevの量子ディログラフィックおよびKontsevich-Soibelmanのモノドロミーを用いて、$SL_q(2)$の無限次元表現から導かれる非コンパクトなねじれ不変量を調査する。これらの不変量と超越的積分の間の対応関係を確立し、それらが同次差分方程式を満たすことを示す。これは、有限次元$SU_q(2)$表現から得られるコンパクト不変量とは対照的であり、後者は非同次方程式を満たす。主な貢献は、非コンパクト不変量の明示的構成と、漸近的および構造的解析によるコンパクトなジョーンズ多項式との比較である。

ABSTRACT

We review the Reshetikhin-Turaev approach to construction of non-compact knot invariants involving R-matrices associated with infinite-dimensional representations, primarily those made from Faddeev's quantum dilogarithm. The corresponding formulas can be obtained from modular transformations of conformal blocks as their Kontsevich-Soibelman monodromies and are presented in the form of transcendental integrals, where the main issue is manipulation with integration contours. We discuss possibilities to extract more explicit and handy expressions which can be compared with the ordinary (compact) knot polynomials coming from finite-dimensional representations of simple Lie algebras, with their limits and properties. In particular, the quantum A-polynomials, difference equations for colored Jones polynomials should be the same, just in non-compact case the equations are homogeneous, while they have a non-trivial right-hand side for ordinary Jones polynomials.

研究の動機と目的

• 無限次元$SL_q(2)$表現を用いた非コンパクトねじれ不変量を体系的に計算するためのフレームワークを構築すること。
• Reshetikhin-Turaev形式の文脈において、非コンパクト不変量（$SL_q(2)$由来）とコンパクト不変量（$SU_q(2)$由来）の関係を明確にすること。
• これらの不変量が満たす量子A多項式および差分方程式の構造を分析し、非コンパクトの同次形とコンパクトの非同次形との違いを強調すること。
• 非コンパクト不変量の積分表現と、コンパクトなジョーンズ多項式の有限和表現との比較を、漸近的および関数的類似性に焦点を当てて行うこと。

提案手法

• Faddeevの量子ディログラフィックを用いて、$SL_q(2)$の無限次元表現に対する$\mathcal{R}$行列を構成する。
• Reshetikhin-Turaev形式を適用し、ねじれ図式上の$\mathcal{R}$行列およびターン行列の積のトレースとしてねじれ不変量を計算する。
• 非コンパクト不変量を、量子ディログラフィック$\Phi_b(z)$を含む超越的積分として導出し、積分路が重要な役割を果たすことを示す。
• 2次元CFTにおける conformal block のモジュラー変換を介して、不変量をKontsevich-Soibelmanモノドロミーと関連付ける。
• 量子ディログラフィック$\Phi_b(z)$の解析接続および周期性の性質を用いて、積分不変量と離散点上の和との対応関係を確立する。
• 差分方程式および$q$-超幾何関数を用いて、非コンパクト不変量とコンパクト不変量を比較し、構造的類似性および相違点を同定する。

実験結果

リサーチクエスチョン

• RQ1 無限次元$SL_q(2)$表現から構成された非コンパクトねじれ不変量は、有限次元$SU_q(2)$表現から得られるコンパクト不変量とどのように異なるか？
• RQ2 非コンパクト不変量とコンパクト不変量が満たす量子A多項式および差分方程式の間の明確な関係は何か？
• RQ3 非コンパクト不変量の超越的積分表現は、有限和に簡約可能か？ もしそうなら、どのような条件下で可能か？
• RQ4 共通のWard恒等式を持つにもかかわらず、非コンパクト不変量がコンパクト不変量に対してどの程度独立しているか？
• RQ5 Kontsevich-Soibelmanモノドロミーは、3次元Chern-Simons理論の文脈において、非コンパクト不変量の構造をどのように符号化しているか？

主な発見

• 三つ葉結びおよび図8結びの非コンパクト不変量は、Faddeevの量子ディログラフィック$\Phi_b(z)$を含む超越的積分として表現され、積分路はモノドロミー条件によって決定される。
• 非コンパクト不変量は同次差分方程式を満たすが、コンパクトなジョーンズ多項式は非同次方程式を満たし、非自明な右辺を持つ。
• 恒等式$\Phi_b(z)\Phi_b(-z) = e^{i\pi z^2}$を用いることで、三つ葉結びの非コンパクト不変量の積分表現が、離散点上の和に変換され、$q$-超幾何級数に類似した形になる。
• 得られた和表現は、コンパクトなジョーンズ多項式と構造的に類似しているが、同一ではない。これは、深いが非自明な関係を示唆する。
• 2つの不変量—コンパクトおよび非コンパクト—が同じWard恒等式の解であることが示され、非同次項の違いを除いては同一の基本方程式を満たす。これは、それらが同一の基本方程式に対する物理的または数学的解としての異なる解である可能性を示唆する。
• 解析により、非コンパクト不変量の漸近的挙動がコンパクト不変量と一致する一方で、完全な関数的形態は依然として異なるため、それらの独立性に関する問題は未解決のまま残っている。