[論文レビュー] The lines of the Kontsevich integral and Rozansky's rationality conjecture

Andrew Kricker|ArXiv.org|May 31, 2000

Geometric and Algebraic Topology参考文献 11被引用数 39

ひとこと要約

この論文は、Rozanskyが提起した予想を証明している。すなわち、結び目のKontsevich積分は、有理関数のラベルが付いた図式の和として表現可能であり、分母は結び目のアレクサンダー多項式によって上限が与えられる。Aarhus風の手術公式とLMO不変量を用いて、Kontsevich積分のループ展開が、有理係数を持つ図式の「ライン」に整理されることを示している。各ラインは、アレクサンダー多項式によって定義される空間に属する辺ラベルを持つ図式の有限${\mathbb{Q}}$-線形結合に対応する。

ABSTRACT

This work develops some technology for accessing the loop expansion of the Kontsevich integral of a knot. The setting is an application of the LMO invariant to certain surgery presentations of knots by framed links in the solid torus. A consequence of this technology is a certain recent conjecture of Rozansky's. Rozansky conjectured that the Kontsevich integral could be organised into a series of ``lines'' which could be represented by finite $\Qset$-linear combinations of diagrams whose edges were labelled, in an appropriate sense, with rational functions. Furthermore, the conjecture requires that the denominator of the rational functions be at most the Alexander polynomial of the knot. This conjecture is obtained from an Aarhus-style surgery formula for this setting which we expect will have other applications.

研究の動機と目的

• 結び目のKontsevich積分が、有理関数ラベルが付いた図式の「ライン」に分解可能であるというRozanskyの予想を証明すること。
• LMO不変量と形式的ガウス積分を用いて、固有のトーラス内のストリングリンクに対する図式値不変量を構築すること。
• Kontsevich積分とLMO不変量、アレクサンダー多項式を関連付けるAarhus風の手術公式を確立すること。
• 得られた図式における辺ラベルが、アレクサンダー多項式の分母を割る有理関数によって生成される${\mathbb{Q}}$-ベクトル空間に属することを示すこと。
• 巻き付き行列の位相的解釈と、それがKontsevich積分を有理関数のラインに整理する役割を果たすことを明らかにすること。

提案手法

• ホップ代数$B^{ST}(X)$とコプロダクト構造を用いて、固有のトーラス内のストリングリンクに対する図式値不変量を構築する。
• 手術表現とLMO不変量を結ぶ重要な要素として、巻き付き行列$W(T,t)$を定義する。
• 固有のトーラス内で形式的ガウス積分を適用し、LMO不変量の経路積分を計算することで、Kontsevich積分の生成関数を得る。
• Aarhus風の手術公式を用いて、固有のトーラス内のフレーム付きリンクのLMO不変量と、得られる結び目のKontsevich積分を関連付ける。
• 巻き付き行列の逆行列$W^{-1}(T,e^k)$の各成分が、分母がアレクサンダー多項式を割る有理関数の空間$L_{(M,K)}$に属することを示す。
• 得られるKontsevich積分の図式が、$L_{(M,K)}$に属する有理関数ラベルを持つ図式の有限${\mathbb{Q}}$-線形結合であることを示す。

実験結果

リサーチクエスチョン

• RQ1 結び目のKontsevich積分は、有理関数ラベルが付いた図式の「ライン」に整理可能か？各ラインは、有理関数ラベルが付いた図式の有限${\mathbb{Q}}$-線形結合に対応するか？
• RQ2 Kontsevich積分の展開におけるこれらの有理関数ラベルの分母は、結び目のアレクサンダー多項式を割るか？
• RQ3 固有のトーラス内のフレーム付きリンクのLMO不変量と、得られる結び目のKontsevich積分を関連付けるAarhus風の手術公式は存在するか？
• RQ4 巻き付き行列$W(T,t)$は、Kontsevich積分の展開における有理関数構造を制御できるか？
• RQ5 LMO不変量の経路積分の計算により、群的要素が得られ、その対数が$L_{(M,K)}$に属する有理関数ラベルを持つ図式に対応するか？

主な発見

• 整数ホモロジー球内の結び目のKontsevich積分は、アレクサンダー多項式$A_{(M,K)}(t)$の分母を割る有理関数によって生成される${\mathbb{Q}}$-ベクトル空間$L_{(M,K)}$に属するラベルが付いた図式の和として表現可能である。
• 巻き付き行列の逆行列$W^{-1}(T,e^k)$の成分は$L_{(M,K)}$に属しており、図式展開における辺ラベルが分母が制御された有理関数であることを保証する。
• LMO不変量と形式的ガウス積分を用いて導かれた手術公式により、Kontsevich積分のループ展開が、有理関数ラベルが付いた図式の有限${\mathbb{Q}}$-線形結合に対応する「ライン」に整理されていることが示された。
• LMO不変量の対数における項$q^{(i)}$は、多項式生成図式の脚を接続して得られる連結図式に対応し、ラベルは$L_{(M,K)}$に属する。この項はKontsevich積分の次数$i$の部分に寄与する。
• 巻き付き行列$W(T,e^k)$の行列式は$\pm A_{(M,K)}(e^k)$に等しく、図式展開における有理関数の分母がアレクサンダー多項式によって上限が与えられていることを確認した。
• 結果は群的であり、Aarhus公式と行列式の恒等式と整合的であり、展開の有理関数性が裏付けられた。