[論文レビュー] Milnor's triple linking numbers and derivatives of genus three knots

JungHwan Park|arXiv (Cornell University)|Mar 30, 2016

Geometric and Algebraic Topology参考文献 15被引用数 3

ひとこと要約

本稿は、3次元の代数的スライス性を持つねじれ数が0の結び目に対するミルナーの三重リンク数の導出に関する研究を行い、このような結び目に対して、固定されたメタボライザーに関連する2つの導出の間の三重リンク数の差が、セイフェルト行列を用いた特定の式によって生成される整数の部分群をなすことを証明する。主な結果として、固定されたセイフェルト面とメタボライザーを持つ単結び目に対して、すべての整数が導出の三重リンク数として実現可能であり、3つの1次元代数的スライス性を持つ結び目の連結和は、非ゼロの三重リンク数を持つ導出を少なくとも1つ持つことが示される。

ABSTRACT

A derivative of an algebraically slice knot $K$ is an oriented link disjointly embedded in a Seifert surface of $K$ such that its homology class forms a basis for a metabolizer $H$ of $K$. We show that for a genus three algebraically slice knot $K$, the set $\{ \barμ_{\{γ_1,γ_2,γ_3\}}(123) - \barμ_{\{γ'_1,γ'_2,γ'_3\}}(123)| \{γ_1,γ_2,γ_3\}$ and $\{γ'_1,γ'_2,γ'_3\}$ are derivatives of $K$ associated with a metabolizer $H\}$ contains $n\cdot \mathbb{Z}$ where $n$ is determined by a Seifert form of $K$ and a metabolizer $H$. As a corollary, we show that it is possible to realize any integer as a Milnor's triple linking number of a derivative of the unknot on a fixed Seifert surface with a fixed metabolizer. In addition, we show that a knot, which is a connected sum of three genus one algebraically slice knots, has at least one derivative which has non-zero Milnor's triple linking number.

研究の動機と目的

• 3次元代数的スライス性を持つ結び目の導出に関するミルナーの三重リンク数の挙動を理解すること。
• 固定されたメタボライザーに関連する異なる導出間の三重リンク数の差の集合を特定すること。
• 固定されたセイフェルト面とメタボライザーを持つ単結び目の導出について、任意の整数が三重リンク数として実現可能であることを示すこと。
• 3つの1次元代数的スライス性を持つ結び目の連結和が、非ゼロの三重リンク数を持つ導出を少なくとも1つ持つことを証明すること。

提案手法

• 本稿は、3次元セイフェルト面の1次元ホモロジーに対するシンプレクティック基底を用い、3つのホモロジー類で張られるメタボライザー H を導入する。
• 基底 {a₁,b₁,a₂,b₂,a₃,b₃} に関してセイフェルト行列 M を構成し、その成分がリンクデータを符号化しており、メタボライザー条件 β_F が H 上で消えるようにする。
• 主な結果は、セイフェルト行列の成分を含む式 ((a−1)(b−1)(c−1) − abc + x₁x₂ + y₁y₂ + z₁z₂) に基づく公式から得られる。この式が、三重リンク数の差の集合を生成する。
• 証明は、セイフェルト形式、メタボライザー、およびミルナーの三重リンク数がリンクコネクション不変量として定義されることの性質に依存する。
• 系は、主定理を単結び目および1次元代数的スライス性を持つ結び目の連結和に特殊化することで得られる。
• 数論的技法、特にGCDおよびベズーの等式を用いて、新たなメタボライザーを構成し、セイフェルト行列を変換する。

実験結果

リサーチクエスチョン

• RQ1 固定されたメタボライザーに関連する3次元代数的スライス性を持つ結び目の異なる導出間のミルナー三重リンク数の差の集合の構造は何か？
• RQ2 固定されたセイフェルト面とメタボライザーを持つ単結び目の導出について、任意の整数がミルナー三重リンク数として実現可能か？
• RQ3 3つの1次元代数的スライス性を持つ結び目の連結和は、常に非ゼロの三重リンク数を持つ導出を少なくとも1つ持つか？
• RQ4 セイフェルト行列およびメタボライザーの選択が、導出の三重リンク数の可能な範囲にどのように影響するか？
• RQ5 セイフェルト行列から導かれる式の整数スパンと、三重リンク数の差の集合 S_{K,H} が正確に一致するか？

主な発見

• 任意の3次元代数的スライス性を持つ結び目 K と固定されたメタボライザー H に対して、H に関連する導出間のミルナー三重リンク数の差の集合は、すべての n ∈ ℤ に対して n·((a−1)(b−1)(c−1) − abc + x₁x₂ + y₁y₂ + z₁z₂) を含む。
• 固定されたセイフェルト面とメタボライザー H を持つ単結び目に対して、その導出の三重リンク数のすべての可能な値の集合はちょうど ℤ に一致する。つまり、すべての整数が実現可能である。
• 3つの1次元代数的スライス性を持つ結び目の連結和は、非ゼロのミルナー三重リンク数を持つ導出を少なくとも1つ持つ。
• 1次元結び目のセイフェルト行列の特定の選択に対して、式 ((e₁−1)(e₂−1)(e₃−1) − e₁e₂e₃) は非ゼロとなり、連結和の場合の非自明性を保証する。
• 主定理により、集合 S_{K,H} は ℤ の非自明な部分群を含むことが示され、等号が成り立つかどうかは未解決のまま残されている。
• この結果は、最も単純な結び目（単結び目）に対しても、導出の三重リンク数が絶対値において任意に大きくなる可能性があることを示しており、不変量の挙動における複雑さを示している。