[論文レビュー] Twisted cohomology pairings of knots I; diagrammatic computation

Takefumi Nosaka|arXiv (Cornell University)|Feb 2, 2016

Geometric and Algebraic Topology参考文献 16被引用数 4

ひとこと要約

本稿では、Seifert面や明示的なホモロジー代表元を必要とせず、リンクの図式のみを用いて3次元球面内のリンクのねじれコホモロジー対の計算を行う図式的手法を提示する。主な貢献は、局所係数と整数ホモロジー2次元類から生じるカップ積の双線形形式についての計算可能な公式であり、古典的不変量（例：Blanchfield対）を一般化し、クオーランプコycle不変量の位相的解釈を提供する。

ABSTRACT

We provide a diagrammatic computation for the bilinear form, which is defined as the pairing between the (relative) cup products with every local coefficients and every integral homology 2-class of every links in the 3-sphere. As a corollary, we construct bilinear forms on the twisted Alexander modules of links.

研究の動機と目的

• リンク補空間における局所係数とのカップ積および相対ホモロジー2次元類から生じるねじれコホモロジー対の図式的計算を開発すること。
• 特に境界条件が存在する非自明な基本群をもつ3次元多様体における相対カップ積の計算の困難さを克服すること。
• 図式的不変量（例：クオーランプコycle不変量）と位相的不変量との間の直接的な関係をカップ積対の形で確立すること。
• リンクの図式のみを用いて、ねじれAlexanderモジュール上の双線形形式の明示的かつ計算可能な定式化を提供すること。

提案手法

• 本手法は、リンク図式の基本群族における鎖を用いて、リンク補空間内の相対ホモロジー2次元類の図式的表現を用いる。
• Seifert面を明示的に構成することなく、縁と交差からなる2サイクル $ C_2(\rho_L, \rho_{\text{bdry}}; Η) $ を構成する。
• カップ積対は、写像の合成 $ H^1(Y, ∂Y; M)^{⊗ n} \xrightarrow{\smile} H^n(Y, ∂Y; M^{⊗ n}) \xrightarrow{\langle\cdot, \mu\rangle} M^{⊗ n} \xrightarrow{\psi} A $ を通じて計算され、$ n=2 $ である。
• 対は、Fox微分と表現 $ f: \pi_1(S^3 \setminus \nu L) \to G $ を用い、$ G $-加群 $ M $ における係数を用いて、図式内の交差に関する和に還元される。
• この構成は、相対群ホモロジーの鎖レベルモデルと、クオーランプコycleを用いた対の定義に依存する。
• 重要な技術的道具は、2サイクル $ \hat{\mu}_{\ell} $ を弧と交差に関連する標準的2鎖の和に還元することであり、これにより対が図式からのみ計算可能になることが保証される。

実験結果

リサーチクエスチョン

• RQ1 Seifert面を構成することなく、リンク図式から直接的にリンク補空間のねじれカップ積対の計算が可能か？
• RQ2 ねじれAlexanderモジュール上の双線形形式は、クオーランプコycle不変量のような図式的不変量とどのように関係するか？
• RQ3 Blanchfield対やCasson-Gordon局所シグネチャといった古典的不変量は、この図式的カップ積構成からどの程度回復可能か？
• RQ4 この構成から自然に生じる $ H_1(Y_L; M) $ から $ H^1(Y_L, \partial Y_L; M) $ への標準的準同型は存在するか？
• RQ5 Fox微分と群ホモロジーを用いて、基本群と縁の生成元のみで表された対を記述できるか？

主な発見

• 本稿では、ねじれコホモロジー対の図式的公式 (1) が確立され、Seifert面を必要とせず、リンク図式、縁、および表現 $ f: \pi_1(S^3 \setminus \nu L) \to G $ のみに依存する。
• ねじれAlexanderモジュール上の双線形形式は、図式内の交差に関する和を用いて、Fox微分と表現データから明示的に計算可能である。
• 三葉結び目と図8結び目について、本手法により明示的な計算が得られ、対の非退化性および対称性の性質が明らかになった。
• $ (m,m) $-トーラスリンク $ T_{m,m} $ の対が明示的に計算され、4次元Lefschetzファイブレーションの研究に応用された。
• 本構成により、3つの古典的不変量が回復された：Blanchfield対、無限サイクリック被覆上のねじれカップ積、Casson-Gordon局所シグネチャであり、これらは単一の図式的枠組みの下で統一された。
• 本手法により、クオーランプコycle不変量がカップ積対の特別な場合として位相的に解釈可能となり、図式的不変量とコホモロジー的構造との間の関係が確立された。