[論文レビュー] Finite type invariants of words and Arnold's invariants

Matsusaburô Fujiwara|ArXiv.org|Aug 27, 2008

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

ひとこと要約

本稿では、実際の交差と仮想的交差の間をつなぐ新しい「特異的交差」を定義することで、コンパクトな向き付けられた曲面上の曲線を表す語に対する新しい有限型不変量を導入する。この不変量が、アーノルドの球面曲線に対する不変量を回復・明確化することを示し、それらがポリアックの定式化を用いた明示的なパrameter化により、次数2の有限型不変量であることを示している。

ABSTRACT

We define a new finite type invariant for stably homeomorphic class of curves on compact oriented surfaces without boundaries and extend to a regular homotopy invariant for spherical curves.

研究の動機と目的

• コンパクトな向き付けられた曲面上の曲線を表す語に対する新しい有限型不変量のクラスを、新しい種類の特異的交差を用いて定義すること。
• これらの不変量を球面曲線の正則ホモトピー不変量へ拡張すること。
• 統一的な枠組みを通じて、伊藤の語に対する有限型不変量とアーノルドの不変量の関係を明確化すること。
• アーノルドの基本的不変量 $ J_s^+ $, $ J_s^- $, および $ St_s $ が、特定の係数をもつ語不変量の線形結合として表現可能であることにより、それらが次数2の有限型不変量であることを示すこと。
• 符号付き語と巡回同値類を用いて、球面曲線の次数2の有限型不変量を体系的にパラメータ化すること。

提案手法

• 実際の交差と仮想的交差の間の「特異的交差」（小さな箱で表す）を導入し、中間的な不変量を定義する。
• 実際の交差を特異的交差または仮想的交差に置き換える部分語を用いて、語の有限型不変量を定義し、伊藤の $ SCI_n $ 不変量を一般化する。
• 符号付き語の巡回同値を用いて、曲線の安定なホメオモーティズム類に対する不変量を定義し、正則近傍のホメオモーティズムに関して不変であることを保証する。
• アーノルドの不変量をポリアックの定式化を用いて、係数 $ (p, q, r) $ でパラメータ化された巡回語類 $ ilde{W}_s^* $ 上の有限型不変量の線形結合として表現する。
• 曲線のリーデイマイスター型移動に対応する符号付き語上の正則ホモトピー移動を定義し、それらを用いて不変量のホモトピー下的な挙動を特徴付ける。
• アーノルドの不変量 $ J_s^+ $, $ J_s^- $, および $ St_s $ が、語不変量の線形結合における特定の係数ベクトルと一致する変換則を持つことから、それらが次数2の有限型不変量であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 Itoの $ SCI_n $ 不変量とアーノルドの不変量を統合する新しい語に対する有限型不変量をどのように構成できるか？
• RQ2 有限型不変量の文脈において、特異的交差は実際の交差と仮想的交差をどのように橋渡しするか？
• RQ3 球面曲線のアーノルドの基本的不変量は、完全に次数2の有限型不変量として回復可能か？
• RQ4 符号付き語類の観点から、球面曲線の次数2の有限型不変量の正確な代数的構造は何か？
• RQ5 符号付き語上の正則ホモトピー移動は、曲線上の位相的移動とどのように対応し、不変量はそれらに対してどのように変化するか？

主な発見

• アーノルドの不変量 $ J_s^+ $, $ J_s^- $, および $ St_s $ は、特定の係数をもつ語不変量の線形結合として表現可能であることから、次数2の有限型不変量であることが示された。
• 次数2の有限型不変量 $ v_s $ は、5つの巡回語類 $ ilde{\text{A}}\tilde{\text{A}} $, $ \tilde{\text{A}}\tilde{\text{A}}\tilde{\text{B}}\tilde{\text{B}} $, $ \tilde{\text{A}}\tilde{\text{A}}\bar{\text{B}}\bar{\text{B}} $, $ \tilde{\text{A}}\tilde{\text{B}}\tilde{\text{A}}\tilde{\text{B}} $, および $ \tilde{\text{A}}\bar{\text{B}}\tilde{\text{A}}\bar{\text{B}} $ における値によって完全に決定され、係数 $ (p, q, r) $ でパラメータ化される。
• 不変量 $ J_s^+ $ は係数 $ (p, q, r) = (-1/2, 1, -3) $ に対応し、$ J_s^- $ は $ (-3/2, 1, -3) $ に対応し、$ St_s $ は $ (1/4, -1/2, 1/2) $ に対応する。これにより、それらが有限型であることが証明された。
• 不変量 $ J_s^+ $, $ J_s^- $, および $ St_s $ は、接続和に関して加法的であり、曲線の向きに依存しない。これは、それらの位相的定義と整合的である。
• 標準曲線 $ K_i $（$ i $ 個のネストされたループをもつ）におけるアーノルドの不変量の正規化条件が確認された：$ J_s^+(K_i) = (i-1)^2/2 $, $ J_s^-(K_i) = (i-2)^2/2 - 3/2 $, $ St_s(K_i) = -(i-1)^2/4 $。
• 回転数 $ i $ を含む補正項を用いて、これらの不変量を平面曲線へ拡張可能である。具体的には、$ J^\bullet = J_s^\bullet - \frac{1}{2}i^2 $ および $ St = St_s + \frac{1}{4}i^2 $ と定義される。