[論文レビュー] New perspectives on self-linking

Ryan Budney, James Conant+2 more|ArXiv.org|Mar 4, 2003

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

ひとこと要約

本稿では、結び目の3点配置空間内の共線性多様体の自己自己リンク数として、コンウェイ多項式の2番目の係数 $c_2$ の新しい幾何的解釈を提示する。結び目の $n$ 番目の評価写像をコンパクト化された配置空間に適用し、最初の3つのマッピング空間モデルのホモトピー型を計算。その結果、3番目のモデルが $c_2$ と同値な整数不変量を定義し、四分点（quadrisecants）と共線点を用いた位相的・有限型不変量としての定式化を達成する。

ABSTRACT

We initiate the study of classical knots through the homotopy class of the n-th evaluation map of the knot, which is the induced map on the compactified n-point configuration space. Sending a knot to its n-th evaluation map realizes the space of knots as a subspace of what we call the n-th mapping space model for knots. We compute the homotopy types of the first three mapping space models, showing that the third model gives rise to an integer-valued invariant. We realize this invariant in two ways, in terms of collinearities of three or four points on the knot, and give some explicit computations. We show this invariant coincides with the second coefficient of the Conway polynomial, thus giving a new geometric definition of the simplest finite-type invariant. Finally, using this geometric definition, we give some new applications of this invariant relating to quadrisecants in the knot and to complexity of polygonal and polynomial realizations of a knot.

研究の動機と目的

• 最も単純な有限型不変量 $c_2$ の新しい位相的解釈を、配置空間技法を用いて開発すること。
• 古典的結び目不変量と結び目の空間のホモトピー論的モデルとの間の関係を確立すること。
• 配置空間内の共線性多様体の自己リンクを通じて、幾何的・整数値不変量を結び目に対して定義すること。
• $c_2$ と四分点および結び目の点配置との関係を明らかにし、新たな計算的・位相的境界を提供すること。
• $n \leq 3$ の場合に、$n$ 番目の評価写像が $\mathbb{Z}$ 上で普遍的な有限型不変量を与えるという予想を支持すること。

提案手法

• 著者らは、結び目をコンパクト化された $n$ 点配置空間に写す $n$ 番目の評価写像を定義し、マッピング空間モデル $AM_n(M)$ を構成する。
• $AM_1(\mathbb{I}^3)$, $AM_2(\mathbb{I}^3)$, $AM_3(\mathbb{I}^3)$ のホモトピー型を計算。$AM_1(\mathbb{I}^3) \simeq \Omega S^2$ であり、$AM_2(\mathbb{I}^3)$ は収縮可能であることを示す。
• $n=3$ の場合、共線する3点の集合の2つの余次元2の部分多様体間のリンク数として $\nu_2$ を定義する。
• 微分位相幾何学的技法とコンパクト化技術を用いて、$C_3[\mathbb{I},\partial]$ 内の共線性多様体 $\mathbf{Co}_1[f]$ と $\mathbf{Co}_3[f]$ を定義・解析する。
• ベズォウの定理を適用し、多項式結び目における共線する4点集合の数を評価し、$|c_2|$ の境界を得る。
• $\nu_2$ と四分点との関係を示し、位相的・幾何的議論により $\nu_2 = c_2$ を示す。

実験結果

リサーチクエスチョン

• RQ1 コンウェイ多項式の2番目の係数は、配置空間を通じて幾何的・位相的解釈を与えられるか？
• RQ2 $AM_3(\mathbb{I}^3)$ という3番目のマッピング空間モデルは、最も単純な有限型不変量を検出可能か？
• RQ3 結び目の共線性と四分点は、有限型不変量および結び目の複雑さとどのように関係するか？
• RQ4 多角形的または多項式的結び目表現から $c_2$ の境界を導出可能か？
• RQ5 評価写像の構成は、$\mathbb{Z}$ 上で普遍的な有限型不変量を与えるか？

主な発見

• 共線性多様体 $\mathbf{Co}_1[f]$ と $\mathbf{Co}_3[f]$ のリンク数として定義される不変量 $\nu_2$ は、コンウェイ多項式の2番目の係数 $c_2$ に等しい。
• $AM_1(\mathbb{I}^3)$ は $\Omega S^2$ にホモトピー同値であり、$AM_2(\mathbb{I}^3)$ は収縮可能である。
• 辺数 $n(K)$ の多角形結び目 $K$ に対して、不等式 $\frac{|c_2|}{2} \leq \binom{n(K)}{4}$ が成り立ち、$c_2$ が4点の辺の組の数によって境界づけられることを示す。
• 先頭係数が1の $n$ 次多項式結び目 $\mathcal{K}$ に対して、$C_4[\mathcal{K}]$ が $\mathcal{C}_4$ に横断的ならば、$|c_2(\mathcal{K})| \leq (2n)^4$ が成り立つ。
• 結び目の交わりを持つ四分点の数は、辺の4点組の数によって境界づけられ、1本の直線に対しては最大2通りの配置がある。
• 共線性による $\nu_2$ の幾何的構成は、量子不変量やコンツェビッチ積分を用いずに、$c_2$ の新しい内面的定義を提供する。