[論文レビュー] Two-variable Conway polynomial and Cochran's derived invariants

Sergey A. Melikhov|arXiv (Cornell University)|Nov 29, 2003

Geometric and Algebraic Topology参考文献 17被引用数 11

ひとこと要約

本稿では、色付きリンクのための多変数版コンウェイ多項式を導入し、その係数が有限型不変量であり、ミルナーのμ不変量およびコッブランの導出不変量を一般化することを示している。主な貢献は、特に正規化されたバージョン∇*ₗがTOP同相下で不変であり、すべての位相的リンクへ連続に拡張可能であることを証明したことであり、有限型不変量による同相型の同定可能性に関する長年の問いを解決している。

ABSTRACT

We note that the Conway potential function $Ω_L$ of an $m$-component link $L$, $m>1$, can be expressed as $Ω_L(x_1,\dots,x_m)=Θ_L( abla_L(x_1-x_1^{-1},\dots,x_m-x_m^{-1}))$ for a unique $ abla_L\in\mathbb Z[z_1,\dots,z_m]$, where $Θ_L$ is a certain endomorphism of the additive group of $\mathbb Z[x_1^{\pm1},\dots,x_m^{\pm1}]$ which depends only on the pairwise linking numbers of the components of $L$. Motivated by applications to topological isotopy, we study the formal power series $\bar abla_L$, obtained by dividing $ abla_L$ by the Conway polynomials of the components of $L$. For a $2$-component link with $lk(L)=0$, the coefficient $α_{1,2k-1}$ of $\bar abla_L(u,v)$ at $uv^{2k-1}$ equals Cochran's derived invariant $(-1)^{k+1}β^k(L)$. While this can be deduced from a result of G.-T. Jin, which he proved using the surgical view of the Alexander polynomial, we provide an alternative proof, using Seifert matrices. Our main result is a formula for the same coefficient $α_{1,2k-1}$ in the geometrically subtler case $lk(L)=1$. Namely we express it in terms of generalized Cochran invariants $β_F^{ij}(P,Q)$, which were studied by Gilmer--Livingston (when $P=Q$) and by Tsukamoto--Yasuhara (when $j=0$) and are closely related to the Cochran pairing in the infinite cyclic covering of a knot.

研究の動機と目的

• 色付きリンクのためのコンウェイ多項式の多変数一般化を確立し、有限型不変量を捉えること。
• 多変数アレクサンダー多項式とミルナーのμ不変量やコッブランの導出不変量などの幾何的不変量との関係を明確化すること。
• 正規化されたコンウェイ多項式∇*ₗの特定の係数がTOP同相下で不変であり、すべての位相的リンクへ拡張可能であることを証明すること。
• 有限型不変量がPL同相型の差を同定できるかどうかという問題を解決し、そのような不変量によってPLとTOP同相型の差が同定できないことを示すこと。

提案手法

• 多変数アレクサンダー多項式のポテンシャル関数から導かれる多変数コンウェイ多項式∇ₗ(x₁−x₁⁻¹,…,xₘ−xₘ⁻¹)をℤ上の多項式として定義する。
• リンクLの成分Kᵢを用いて∇*ₗ := ∇ₗ / (∇ₖ₁⋯∇ₖₘ)を定義し、有限型不変量を分離する。
• ∇*ₗの係数が偶数長のミルナーのμ不変量の整数上昇であり、コッブランのβᵏ不変量を含むことを証明する。
• HOMFLYおよびカウフマン多項式の指数関数的パrameterizationを用いてH*ₗおよびF*ₗを定義し、C⁰近似下での不変性およびすべての位相的リンクへの拡張を示す。
• PL同相型に関してwell-definedな型k不変量がk準同相下で不変であることを示し、これによりk準同相とTOP同相の関係を確立する。
• k準同相の理論を応用し、有限型不変量によってPLとTOP同相型の差を同定できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 有限型不変量は、リンクのPL同相型とTOP同相型の差を同定できるか？
• RQ2 多変数コンウェイ多項式の係数は、ミルナーのμ不変量およびコッブランの導出不変量とどのように関係しているか？
• RQ3 正規化されたコンウェイ多項式∇*ₗの係数はTOP同相下で不変であり、すべての位相的リンクへ拡張可能か？
• RQ4 ∇*ₗの係数は、関連する3次元多様体のカッシン＝ウォーカー不変量と幾何的にどのように関係しているか？
• RQ5 HOMFLYおよびカウフマン多項式を用いて、すべての位相的リンクへ拡張可能な有限型不変量を構成できるか？

主な発見

• ∇*ₗの係数は、偶数長のミルナーのμ不変量の整数上昇であり、コッブランの導出不変量βᵏを含む。
• ∇*ₗの係数c₂は、キーキング＝リビングストン理論および真の有限型理論の両方において型2でないため、型分類に対する非自明な障害を示している。
• HOMFLYおよびカウフマン多項式から導かれる正規化不変量H*ₗおよびF*ₗは、C⁰近似下で不変であり、すべての位相的リンクへ連続に拡張可能である。
• 係数2ĥβ¹ / lk²（ĥβ¹はβ¹の非ゼロ自己自己結合数への拡張）は、リンク成分における0-スケーリングによって得られるQ-ホモロジー球面のカッシン＝ウォーカー不変量に等しい。
• 有限型不変量によってPLとTOP同相型の差を同定できない。なぜなら、PL同相型に関してwell-definedな有限型不変量は、すべてのkについてk準同相下で不変であるからである。
• ∇*ₗおよびH*ₗの係数はTOP同相下で不変であり、すべての位相的リンクへ拡張可能であり、この不変性を保っている。