[論文レビュー] The loop expansion of the Kontsevich integral, abelian invariants of knots and S-equivalence

Stavros Garoufalidis, Lev Rozansky|arXiv (Cornell University)|Mar 28, 2000

Geometric and Algebraic Topology参考文献 24被引用数 15

ひとこと要約

本稿では、コンツェビッチ積分のループに基づく展開を導入し、S同値に関する新しい有限型不変量のクラスを明らかにする。2ループ部分Qは、等変カスロン不変量として作用し、その微分はユニバーサルアーベル被覆におけるリンク関数と関連している。これにより、巡回被覆のカスロン＝ウォーカー不変量、Qの特異点、およびねじれ数の間の線形関係が得られる。

ABSTRACT

. Hidden in the expansion of the Kontsevich integral, graded by loops rather than by degree, is a new notion of finite type invariants of knots, closely related to S-equivalence, and with respect to which the Kontsevich integral is the universal finite type invariant, modulo S-equivalence. In addition, the 2-loop part Q of the Kontsevich integral behaves like an equivariant version of Casson's invariant, and its "first derivative" is given in terms of linking functions associated to the universal abelian cover of the knot complement. As a result, we obtain a linear relation among the Casson-Walker invariant of cyclic branched covers of knots, residues of the Q-function, and the signature of the knot. 1. Introduction 1.1. A brief summary. The study of a graph-valued invariant Z(M,K) of a 0-framed knot K in an integral homology 3-sphere M (all manifolds, forever oriented) defined by Kontsevich for M = S 3 and extended by Le-Murakami-Ohtsuki [LMO] (and also by [A1]) for integral hom...

研究の動機と目的

• 標準的な次数に基づく展開ではなく、フェニマン図のループ数に基づくコンツェビッチ積分のループ展開を用いて、新しい有限型不変量を定義すること。
• この新しい不変量がS同値に関して普遍的であることを確立し、有限型理論におけるコンツェビッチ積分の役割を拡張すること。
• コンツェビッチ積分の2ループ部分Qを、等変カスロン不変量のアナログとして分析すること。
• 巡回被覆のカスロン＝ウォーカー不変量、Q関数の特異点、およびねじれ数を結ぶ線形関係を導出すること。
• Qの微分が、ねじれ補空間のユニバーサルアーベル被覆に関連するリンク関数とどのように関連するかを明らかにすること。

提案手法

• フェニマン図におけるループ数に基づいてコンツェビッチ積分に次数を定義し、総次数ではなくループ数によるグレーディングを導入すること。
• このループに基づく展開を用いて、S同値に関する新しい有限型不変量の概念を定義すること。
• この新しい枠組みにおいて、コンツェビッチ積分の2ループ部分Qが普遍的不変量として機能することを分析すること。
• Qの微分が、ねじれ補空間のユニバーサルアーベル被覆に関連するリンク関数と関連していることを関連付けること。
• 得られた構造を用いて、巡回被覆のカスロン＝ウォーカー不変量、Qの特異点、およびねじれ数の間の線形関係を導出すること。
• LMOおよびアーラウス積分の結果を応用し、整数ホモロジー球体へのこの構成の拡張を行うこと。

実験結果

リサーチクエスチョン

• RQ1 コンツェビッチ積分のループに基づく展開は、S同値に関してどのように新しい有限型不変量を明らかにするか？
• RQ2 コンツェビッチ積分の2ループ部分Qは、カスロンの不変量とどのように関係するか？
• RQ3 ユニバーサルアーベル被覆におけるリンク関数は、Qの微分とどのように関連するか？
• RQ4 巡回被覆のカスロン＝ウォーカー不変量、Qの特異点、およびねじれ数の間で線形関係を確立できるか？
• RQ5 ループ展開されたコンツェビッチ積分は、S同値に関してどの程度普遍的有限型不変量として機能するか？

主な発見

• ループに基づくコンツェビッチ積分の展開は、S同値に関して普遍的な新しい有限型不変量のクラスを生み出す。
• コンツェビッチ積分の2ループ部分Qは、カスロンの不変量の等変版として機能する。
• Qの1階微分は、ねじれ補空間のユニバーサルアーベル被覆に関連するリンク関数で表される。
• 巡回被覆のカスロン＝ウォーカー不変量、Q関数の特異点、およびねじれ数の間で線形関係が確立された。
• LMOおよびアーラウス積分の枠組みを用いて、この構成は整数ホモロジー球体へと拡張可能である。
• この枠組みは、ループ構造とS同値を通じて、有限型不変量の新しい幾何学的・代数的解釈を提供する。