[論文レビュー] A universal equivariant finite type knot invariant defined from configuration space integrals

Christine Lescop|arXiv (Cornell University)|Jun 7, 2013

Geometric and Algebraic Topology参考文献 9被引用数 7

ひとこと要約

この論文は、有理ホモロジー球面上のノルムホモロジーカークノットに対して、配置空間積分を用いて普遍的等変性有限型不変量 $\tilde{Z}$ を構成し、それが連結和に関して乗法的であり、ノルムラグランジュ部分空間を保存する surgery 公式を満たすことを証明する。これらの結果から、$\tilde{Z}$ が、整数ホモロジー球面上のアレクサンドル多項式が自明な knot に対して、コンツェビッチ積分のクリッカー有理化と同値であることが示される。

ABSTRACT

In a previous article, we constructed an invariant Z for null-homologous knots in rational homology spheres, from equivariant intersections in configuration spaces. Here we present an equivalent definition of Z in terms of configuration space integrals, we prove that Z is multiplicative under connected sum, and we prove null Lagrangian-preserving surgery formulae for Z. Our formulae generalize similar formulae that are satisfied by the Kricker rational lift of the Kontsevich integral for null Borromean surgeries. They imply that Z is universal with respect to a natural filtration. According to results of Garoufalidis and Rozansky, they therefore imply that Z is equivalent to the Kricker lift of the Kontsevich integral for null-homologous knots with trivial Alexander polynomial in integral homology spheres.

研究の動機と目的

• 有理ホモロジー球面上のノルムホモロジーカークノットに対して、配置空間積分を用いて普遍的等変性有限型不変量 $\tilde{Z}$ を定義すること。
• $\tilde{Z}$ が連結和に関して乗法的であることを証明し、knot の合成と整合性を保つこと。
• $\tilde{Z}$ に対して、ノルムラグランジュ部分空間を保存する surgery 公式を確立し、クリッカー有理化の既知の公式を一般化すること。
• $\tilde{Z}$ が、アレクサンドル多項式が自明な knot に対して、ガルークファリス・ロザンスキーのフィルトレーションに関して普遍的であることを示すこと。
• 整数ホモロジー球面上のアレクサンドル多項式が自明なノルムホモロジーカークノットに対して、$\tilde{Z}$ がコンツェビッチ積分のクリッカー有理化と同値であることを示すこと。

提案手法

• 有理ホモロジー球面上の knot 埋め込みの配置空間における等変交差を用いて不変量 $\tilde{Z}$ を定義すること。
• 微分形式とプロパゲーターを用いた配置空間積分の形に $\tilde{Z}$ を再表現することで、解析的計算を可能にすること。
• 擬似平行化と等変交差を用いて、各次数 $n$ に対して $\tilde{Z}_n(K, \tau)$ を定義し、定義の明確さと不変性を保証すること。
• 修正されたプロパゲーター $\tilde{\tau}$ を構成し、縦方向移動の議論を用いて連結和の各成分からの寄与を分離すること。
• 相対ポントリャーギン数と微分形式の技術を用いて、異常項を制御し、surgery における一貫性を保証すること。
• 配置空間を各和成分に関連する部分に分解することで乗法性を証明し、寄与が加法的に合算されることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 不変量 $\tilde{Z}$ は knot の連結和に関して乗法的か？
• RQ2 $\tilde{Z}$ は、クリッカー有理化の既知の公式を一般化するノルムラグランジュ部分空間を保存する surgery 公式を満たすか？
• RQ3 $\tilde{Z}$ は、整数ホモロジー球面上のアレクサンドル多項式が自明なノルムホモロジーカークノットの有限型不変量の中で普遍的か？
• RQ4 $\tilde{Z}$ は、微分形式と配置空間積分を用いて同値に定義可能か？
• RQ5 有理ホモロジー球面上のアレクサンドル多項式が自明な knot に対して、$\tilde{Z}$ はコンツェビッチ積分のクリッカー有理化と同値か？

主な発見

• 不変量 $\tilde{Z}$ は連結和に関して乗法的である：$\tilde{z}_n(K^{-} \natural K^{+}, \tau) = \tilde{z}_n(K^{-}, \tau^{-}) + \tilde{z}_n(K^{+}, \tau^{+})$。
• 不変量 $\tilde{Z}$ は、既知のクリッカー有理化の公式を一般化するノルムラグランジュ部分空間を保存する surgery 公式を満たす。
• これらの surgery 公式から、$\tilde{Z}$ が、アレクサンドル多項式が自明なノルムホモロジーカークノットに対してガルークファリス・ロザンスキーのフィルトレーションに関して普遍的であることが示される。
• その結果、$\tilde{Z}$ は、このような knot に対して整数ホモロジー球面上のコンツェビッチ積分のクリッカー有理化と同値である。
• この構成は有理ホモロジー球面へ拡張され、デルフィーヌ・ムサールドの結果から、この設定でも $\tilde{Z}$ がクリッカー不変量と同値であることが示される。
• 擬似平行化と等変交差を用いた定義により $\tilde{Z}$ は適切に定義され、微分形式の技術によって異常項が制御される。