[論文レビュー] New Structure of Knot Invariants

Kefeng Liu, Pan Peng|arXiv (Cornell University)|Dec 13, 2010

Advanced Combinatorial Mathematics被引用数 5

ひとこと要約

本稿では、LMOV予想の証明を用いて、ねじれのチャーン・サイモンズ分配関数の無限積公式を導出する。量子 $υ_{N}$ 不変量をヤング図形と整数不変量の積として表現する。主な結果は、$q \to q^{-1}$ およびランク・レベル双対性の下で不変な構造を明らかにし、チャーン・サイモンズ／トポロジカル弦双対性に関する新たな知見を提供する。

ABSTRACT

Based on the proof of Labastida-Mari{ñ}o-Ooguri-Vafa conjecture \cite{lmov}, we derive an infinite product formula for Chern-Simons partition functions, the generating function of quantum $\fsl_N$ invariants. Some symmetry properties of the infinite product will also be discussed.

研究の動機と目的

• LMOV予想の証明を用いて、ねじれのチャーン・サイモンズ分配関数の閉形式無限積表現を導出すること。
• 特に $q \to q^{-1}$ およびランク・レベル双対性の下で現れる、量子 $υ_{N}$ 不変量の隠れた対称性構造を解明すること。
• ねじれ不変量の構造とトポロジカル弦分配関数のモジュラー性の関係を結ぶこと。
• 同様の組合せ的構造を用いて、無限積公式をねじれからリンクへ一般化すること。

提案手法

• ヤング図形でラベル付けられたシュール関数と表現を用いて、HOMFLYスキーンモデルにより量子 $υ_{N}$ 不変量を定義する。
• LMOV予想の証明を適用し、無限積のパrameterとしての整数不変量 $\check{n}_{\mu;\,k,Q}$ を抽出する。
• 無限積公式を導出：$ Z_{CS} = \prod_{\mu}\prod_{Q\in\mathbb{Z}/2}\prod_{m=1}^{\infty}\prod_{k=-\infty}^{\infty}\big{\langle}1-q^{k+m}t^{Q}x^{\mu}\big{\rangle}^{-m\check{n}_{\mu;\,k,Q}} $、ここで $\langle\cdot\rangle$ は対称積を表す。
• $q \to q^{-1}$ の下での振る舞いを、$|q| > 1$ の場合に再展開することで分析し、双対形を得て対称性を確認する。
• ランク・レベル双対性を証明し、$ W_{A^{t}}(q^{-1},t) = (-1)^{|A|}W_A(q,t) $ を得る。これにより、対応する対称性 $ \check{n}_{\mu;\,g,-Q} = (-1)^{\ell(\mu)}\check{n}_{\mu;\,g,Q} $ を導出する。
• HOMFLYスキーン関係式と $1/N$ 展開を用いて、不変量における $t$-依存性の次数構造を正当化し、双対性の主張を支持する。

実験結果

リサーチクエスチョン

• RQ1 チャーン・サイモンズ分配関数は、LMOV予想を用いてどのように無限積として表現できるか？
• RQ2 無限積構造におけるねじれ不変量に、特に $q \to q^{-1}$ の下で現れる対称性は何か？
• RQ3 整数不変量 $\check{n}_{\mu;\,k,Q}$ におけるランク・レベル双対性はどのように現れるか？
• RQ4 モジュラー性はチャーン・サイモンズ分配関数の構造にどのように関与し、無限積にどのように反映されるか？
• RQ5 整数不変量 $\check{n}_{\mu;\,k,Q}$ は、ラベル付けられた表現の双対変換の下でどのように変化するか？

主な発見

• ねじれのチャーン・サイモンズ分配関数は、ヤング図形 $\mu$、$q$-べき、$t$-チャージ $Q$、整数 $m$ の上での無限積として表現され、指数は $-m\check{n}_{\mu;\,k,Q}$ で与えられる。
• 無限積公式は $q \to q^{-1}$ に対して不変であり、$|q| > 1$ の場合に級数を再展開することで双対形が得られ、分配関数の対称性が確認される。
• 整数不変量 $\check{n}_{\mu;\,k,Q}$ は、$ \check{n}_{\mu;\,g,-Q} = (-1)^{\ell(\mu)}\check{n}_{\mu;\,g,Q} $ を満たし、ランク・レベル双対性を反映する。
• 強い形のランク・レベル双対性が証明された：$ W_{A^{t}}(q^{-1},t) = (-1)^{|A|}W_A(q,t) $ および $ W_A(q,-t) = (-1)^{|A|}W_A(q,t) $、これは量子 $\mathfrak{sl}_N$ 不変量に対して成り立つ。
• 無限積の構造は、モジュラー性と深い関係を有しており、標準的なねじれ理論では見えない、分配関数のモジュラー性を示唆している。
• 複数の成分を持つリンクへ一般化するにあたり、関連するシュール関数 $s_{A^\alpha}(x^\alpha)$ を用いた積への拡張が可能である。