[論文レビュー] Calculus of the first non-trivial 1-cocycle of the space of long knots

Victor Tourtchine|ArXiv.org|Feb 24, 2005

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

ひとこと要約

この論文は、$\mathbb{R}^3$ 内の長い紐結びの空間における最初の非自明な 1-コサイクル $v_3^1$ の mod 2 値を、バシリエフの組み合わせ的公式を用いて計算する。このコサイクルの値は、結び目の上での点の特定の配置——例えば、上/下の交差や接線ベクトルの向き——を mod 2 で数えることで決定され、その結果は三つの異なる幾何的条件からの寄与の和となる。複数の条件が同時に満たされる場合には、重複度が加算される。

ABSTRACT

For the space of long knots in R^3, Vassiliev's theory defines the so called finite order cocycles. Zero degree cocycles are finite type knot invariants. The first non-trivial cocycle of positive dimension in the space of long knots has dimension one and order three. We apply Vassiliev's combinatorial formula, and find the value mod 2 of this cocycle on the 1-cycles that are obtained by dragging knots one along the other or by rotating around a fixed line.

研究の動機と目的

• 長く結ばれた紐の空間における最初の非自明な有限型 1-コサイクル $v_3^1$ の mod 2 値を計算すること。
• 結び目の上での点の幾何的配置を用いて、$v_3^1$ の明示的で組み合わせ的な公式を提示すること。
• コサイクルが、バシリエフの特異点の分解に関連するスペクトル系列に対して適切に定義され、安定していることを確認すること。
• コサイクルの値と、アーフ不変量やフレーミング数などの位相的不変量との間の関係を確立すること。

提案手法

• 長く結ばれた紐の文脈で、有限型コサイクルのバシリエフの組み合わせ的公式を適用する。
• 1-サイクルが $v_3^1$ に与える寄与を決定する三つの幾何的条件 (i)、(ii)、(iii) を定義する。
• 交差や接線ベクトルの向きを図式的にモデル化し、配置のタイプに応じて重複度を割り当てる。
• 結び目の合成 S と B に対して乗法則を適用し、各結び目からの寄与の積を計算する。
• mod 2 の代数的簡略化を用い、最終的な値に非自明に寄与するのは唯一の図式 (III) であることを示す。
• 無限次元コhomology に厳密な意味を与えるために、スペクトル系列の安定化と有限次元近似に依存する。

実験結果

リサーチクエスチョン

• RQ1 長く結ばれた紐の空間における一般の 1-サイクル上での最初の非自明な 1-コサイクル $v_3^1$ の mod 2 値は何か？
• RQ2 上/下の交差や接線ベクトルの向きなどの幾何的配置は、$v_3^1$ の値にどのように寄与するか？
• RQ3 コサイクル $v_3^1$ は、明確な重複度を持つ特定の点配置からの寄与の和として表現可能か？
• RQ4 $[k_1,k_2]$ や $\hat{k}$ のような特定の 1-サイクル上での $v_3^1$ の値は、$\mathbb{Z}$ 上の有限型不変量か？
• RQ5 初期点を回転させて得られる 1-サイクル $\tilde{k}$ 上でのコサイクルの値は、有限型不変量をもたらすか？

主な発見

• $v_3^1$ の mod 2 値は、三つの幾何的条件 (i)、(ii)、(iii) のいずれかを満たす点の数（重複度を含む）に等しい。
• 条件 (i) は、五つの点 $a<b<c<d<e$ が $f(a)$ が $f(d)$ より上、$f(e)$ が $f(b)$ より上、$f(c)$ が満たすときに寄与し、$a$ と $d$ の非一意性に起因する重複度が付与される。
• 条件 (ii) は、四つの点 $a<b<c<d$ が $f(a)$ が $f(c)$ より上、$f(b)$ が $f(d)$ より下、かつ $f'(b)$ の射影が右方向を向くときに寄与し、重複度は 1。
• 条件 (iii) は、三つの点 $a<b<c$ が $f(a)$ が $f(b)$ より上だが $f(c)$ より下、かつ $f'(a)$ と $f'(b)$ の射影の間の角度が右方向を含まないときに寄与し、重複度は 1。
• 和 $II + IV + VI \equiv 0 \pmod{2}$ および $I + V \equiv 0 \pmod{2}$ であり、mod 2 計算において非自明な寄与は唯一図式 III のみである。
• 1-サイクル上での $v_3^1$ の最終的な値は、大きな結び目 B のフラットフレーミング数と、小さな結び目 S のアーフ不変量の積であり、mod 2 で表される。