[論文レビュー] A generalization of several classical invariants of links

David Cimasoni, Vladimir Turaev|arXiv (Cornell University)|May 18, 2006

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

ひとこと要約

本稿は、3次元球面を超えて、境界を持つ3次元多様体（境界の1次ホモロジーの特定の部分モジュールを備えた）「準シリンダー」におけるリンク不変量を一般化する。古典的なリンク不変量（連結数、セイフェルト形式、アレクサンダー多項式、シグニチャ）を、モジュール $V \subset H_1(\partial M; R)$ を介して新たなパラメータを導入することで拡張し、$V$ が境界成分の全ホモロジーである場合に古典的不変量に還元される。

ABSTRACT

We extend several classical invariants of links in the 3-sphere to links in so-called quasi-cylinders. These invariants include the linking number, the Seifert form, the Alexander module, the Alexander-Conway polynomial and the Murasugi-Tristram-Levine signatures.

研究の動機と目的

• 3次元球面上のリンクの古典的不変量を、より一般的な3次元多様体、特に準シリンダーに拡張すること。
• 部分モジュール $V \subset H_1(\partial M; R)$ に依存する一般化された連結数、セイフェルト形式、アレクサンダー不変量を定義し、古典的状況にない新たなパラメータを導入すること。
• これらの一般化された不変量がアーモニック・イソトピーのもとで不変であることを確立し、その位相的意味を検討すること。
• これらの不変量がコボルディズム、コンcordance、および genus 評価においてどのように振る舞うかを調査すること。
• 一般化されたセイフェルト三重組のより広範な枠組みを用いて、多変数不変量および非自明なホモロジー類への理論の拡張を行うこと。

提案手法

• 環 $R$ 上の準シリンダーの概念を導入する。これは、境界を持つ3次元多様体 $M$ と、$V \subset H_1(\partial M; R)$ で、$V \to H_1(M; R)$ が同型であるような部分モジュールを備えるものである。
• 相対的2次チェーンと $M$ 内のホモロジー的交差積を用いて、一般化された連結数 $lk_V(K,L)$ を定義し、境界ホモロジーからの補正項を含む。
• セイフェルト表面を用いて一般化されたセイフェルト形式を構成し、ホモロジー、交差形式、境界写像を符号化する三重組 $(H, \vartheta, d)$ を定義する。
• セイフェルト形式と境界写像の行列 $\Theta$ と $\Psi$ を用いて、行列 $\Gamma = t\Theta - \Theta^T + \Psi$ を用いて一般化されたアレクサンダー・モジュールと多項式を導出する。
• $\varphi$-同値性をセイフェルト三重組に導入し、$\varphi$-拡大および縮小のもとでの不変量を定義することで、イソトピー不変性を保証する。
• 第7節で多変数拡張を確立し、第8節でホモロジー的に非自明なリンクへの一般化を議論する。

実験結果

リサーチクエスチョン

• RQ1 古典的リンク不変量（連結数、アレクサンダー多項式など）を3次元球面を超えてより一般的な3次元多様体にどのように一般化できるか。
• RQ2 部分モジュール $V \subset H_1(\partial M; R)$ が新しい不変量を定義する上で果たす役割は何か。また、これらの不変量は古典的不変量とどのように異なるか。
• RQ3 一般化されたアレクサンダー・モジュールまたは多項式が、アーモニック・イソトピーおよび表面の変形のもとで不変である条件は何か。
• RQ4 一般化されたシグニチャ不変量と、3次元球面上の古典的境界との比較において、どのように異なるか。
• RQ5 理論を多変数不変量および非自明なホモロジー類へ拡張することは可能か。

主な発見

• 境界成分が2つで、$V = H_1(\Sigma; R)$ のとき、一般化されたセイフェルト三重組 $(H, \vartheta, d)$ はアーモニック・イソトピーのもとで不変であり、$\varphi$-拡大に対しても不変性が保たれる。
• 一般化されたアレクサンダー多項式 $\widetilde{\Delta}_L(t)$ は、$t^g$ を法としてwell-definedであり、$g$ は境界曲面 $\Sigma$ の genus である。この多項式は $R[t^{1/2}, t^{-1/2}]$ に属する。
• $R' = R$ かつ $\psi = -\varphi$ のとき、モジュール $\mathcal{A}_{-\varphi}(L)$ はリンク $L$ のイソトピー不変量となり、古典的アレクサンダー・モジュールを一般化する。
• リンクの genus は不等式 $g(L) \geq \frac{1}{2}(\mathrm{span}\, \widetilde{\Delta}_L(t) + 1 - m)$ を満たす。ここで $m$ は成分数を表す。
• 一般化されたシグニチャ不変量は $\varphi$-拡大では保存されないため、古典的シグニチャ理論とは明確な違いを示す。
• 一般化された連結数 $lk_V(K,L)$ は $lk_V(L,K) = lk_V(K,L) + u \cdot_{\partial M} v$ を満たす。ここで $u,v$ は $K,L$ を表す境界サイクルである。非対称性が $u \cdot_{\partial M} v = 0$ のときのみ成立しない。