[論文レビュー] On the cube of the equivariant linking pairing for knots and 3-manifolds of rank one

Christine Lescop|arXiv (Cornell University)|Aug 30, 2010

Geometric and Algebraic Topology参考文献 28被引用数 12

ひとこと要約

本稿は、第一ベッチ数が1である絡み目および3次元多様体に対して、無限サイクリック被覆における等長ブランチフェルト自己結合形式から構成される、等長立方不変量$\mathcal{Q}$を導入する。手術公式を確立し、アレクサンドル多項式に重根がない場合、$\overline{\mathcal{Q}}(M)$が非自明なホモロジー球体との連結和を検出することを示し、また、大塚のLMOに基づく不変量の2ループ部分と、予想的には同値である。

ABSTRACT

Let M be a closed oriented 3-manifold with first Betti number one. Its equivariant linking pairing may be seen as a two-dimensional cohomology class in an appropriate infinite cyclic covering of the space of ordered pairs of distinct points of M. We show how to define the equivariant cube Q(K) of this Blanchfield pairing with respect to a framed knot K that generates H_1(M)/Torsion. This article is devoted to the study of the invariant Q. We prove many properties for this invariant including two surgery formulae. Via surgery, the invariant Q is equivalent to an invariant of null-homologous knots in rational homology spheres, that coincides with the two-loop part of the Kricker rational lift of the Kontsevich integral, at least for knots with trivial Alexander polynomial in integral homology spheres.

研究の動機と目的

• 第一ベッチ数が1である3次元多様体におけるフレーム付き絡み目$\mathbb{K}$に対して、等長自己結合形式から導かれる新しい不変量$\mathcal{Q}(\mathbb{K})$を定義すること。
• ホモロジーが自明な絡み目を持つホモロジー球体における不変量と関連する手術公式を確立すること。
• 異なる生成絡み目によって生じる変動を除いた情報を取り込むために、商不変量$\overline{\mathcal{Q}}(M)$を定義すること。
• Krickerのコンツェビッチ積分の有理化の2ループ部分と$\mathcal{Q}$との関係を調査すること。
• アレクサンドル多項式に重根がない場合、$\overline{\mathcal{Q}}(M)$が非自明なホモロジー球体との連結和を検出する条件を特定すること。

提案手法

• 3次元多様体$M$における相異なる2点の順序付き対の配置空間$\widetilde{C}_2(M)$の無限サイクリック被覆における、等長自己結合形式が、コhomology類に引き上げられる。
• 等長立方$\mathcal{Q}(\mathbb{K})$は、この形式を表す閉2次形式の立方積を適切な配置空間上で積分することで定義される。
• フレーム付き絡み目が$H_1(M;\mathbb{Z})/\text{Torsion}$を生成する場合のドゥーリング手術における$\mathcal{Q}$の変化を分析することで、手術公式が導かれる。
• $\mathcal{Q}$は$\mathbb{Q}$上の多項式環$R$に値をとり、$\mathcal{Q}(\mathbb{K}') - \mathcal{Q}(\mathbb{K})$の部分空間が特定され、これにより商$\overline{\mathcal{Q}}(M)$が定義される。
• ローレンツ多項式とアレクサンドル多項式$\Delta(M)$を用いた代数的技法により、$\delta(x)\delta(y)\delta(z)$が環$\Lambda(M)$内で消える条件を分析し、連結和の検出可能性を特定する。
• ガルー ファリスとルーザンスキーの結果を用いて、アレクサンドル多項式が自明な整数ホモロジー球体内の絡み目に対して、$\hat{\mathcal{Q}}(\hat{K})$がコンツェビッチ積分のKricker有理化の2ループ部分と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 第一ベッチ数が1である3次元多様体の等長自己結合形式を立方化することで、新しい位相的不変量を定義する方法は何か？
• RQ2 フレーム付き絡み目におけるドゥーリング手術における$\mathcal{Q}$の振る舞いを支配する手術公式は何か？
• RQ3 $\mathcal{Q}$は、コンツェビッチ積分のKricker有理化の2ループ部分とどのように関係するか？
• RQ4 $\overline{\mathcal{Q}}(M)$が非自明なホモロジー球体との連結和を検出する条件は何か？
• RQ5 $\overline{\mathcal{Q}}(M)$は、予想的には大塚のLMOに基づく不変量の2ループ部分と同値か？

主な発見

• $\mathcal{Q}(\mathbb{K})$は、第一ベッチ数が1である3次元多様体$M$において、$H_1(M;\mathbb{Z})/\text{Torsion}$を生成するフレーム付き絡み目$\mathbb{K}$に対して、well-definedである。
• 手術公式により、$\mathcal{Q}$はホモロジーが自明な絡み目を持つホモロジー球体における不変量$\hat{\mathcal{Q}}$と同値であることが示される。
• 整数ホモロジー球体内のアレクサンドル多項式が自明な絡み目に対して、$\hat{\mathcal{Q}}(\hat{K})$はコンツェビッチ積分のKricker有理化の2ループ部分と一致する。
• アレクサンドル多項式$\Delta(M)$に重根がない場合、$\overline{\mathcal{Q}}(M)$は、非自明なウォーカー不変量を持つホモロジー球体との連結和をとった多様体$M$に対して非自明である。
• $R$における$\mathcal{Q}(\mathbb{K}') - \mathcal{Q}(\mathbb{K})$の生成する部分空間は代数的に特定され、$\overline{\mathcal{Q}}(M)$は$\mathcal{Q}(\mathbb{K})$の商類として定義される。
• アレクサンドル多項式$\Delta(M)$に重根がない場合、$\delta(x)\delta(y)\delta(z)$は$\Lambda(M)$内で消えないため、非自明なウォーカー不変量を持つホモロジー球体$N$に対して、$\overline{\mathcal{Q}}(M\sharp N) \neq \overline{\mathcal{Q}}(M)$が保証される。