[論文レビュー] Sub-chord diagrams of knot projections

Noboru Ιτο, Yusuke Takimura|arXiv (Cornell University)|May 1, 2020

Geometric and Algebraic Topology被引用数 8

ひとこと要約

本稿では、結び目の射影の弦図形における特定の部分弦図形（⊗、3、および）の数え上げに基づいて導かれる、新しい整数値不変量λ(P)を紹介する。これらの数え上げの変化を5種類のリーデマイスター移動（特にRIおよび強力なRI​I​I）の下で分析することで、著者らはλ(P)がRIおよび強力なRI​I​Iに関して不変であることを確立し、7個の二重点以下の素で削減可能な結び目の射影を完全に分類することに成功した。また、これらの移動によって単純な閉曲線に還元可能な結び目の射影の必要十分条件を提示した。

ABSTRACT

A chord diagram is a circle with paired points with each pair of points connected by a chord. Every generic immersed spherical curve provides a chord diagram by associating each chord with two preimages of a double point. Any two spherical curves can be related by a finite sequence of three types of local replacement RI, RII, and RIII, called Reidemeister moves. This study counts the difference in the numbers of sub-chord diagrams embedded in a full chord diagram of any spherical curve by applying one of the moves RI, strong RII, weak RII, strong RIII, and weak RIII defined by connections of branches related to the local replacements (Theorem 1). This yields a new integer-valued invariant under RI and strong RIII that provides a complete classification of prime reduced spherical curves with up to at least seven double points (Theorem 2, Fig. 24): there has been no such invariant before. The invariant expresses the necessary and sufficient condition that spherical curves can be related to a simple closed curve by a finite sequence of RI and strong RIII moves (Theorem 3). Moreover, invariants of spherical curves under flypes are provided by counting sub-chord diagrams (Theorem 4).

研究の動機と目的

• 制限付きのリーデマイスター移動の下で結び目の射影を分類するための新しい不変量を開発すること。
• RIおよび強力なRI​I​I移動のみを用いて結び目の射影が単純な閉曲線に還元可能かどうかを特定する必要十分条件を同定すること。
• 弦図形理論を拡張し、RI​IおよびRI​I​I移動の強力版と弱い版を区別すること。
• フライング移動（flype）に関して不変である不変量を提供し、球面上の曲線の位相的同値性の理解を深めること。
• 新しい不変量λ(P)を用いて、7個の二重点以下の素で削減可能な結び目の射影を完全に分類すること。

提案手法

• 結び目の射影Pの全弦図形CD_P内に埋め込まれた部分弦図形を定義する。
• ブランチの接続性に基づき、5種類のリーデマイスター移動（RI、弱いおよび強力なRI​I、弱いおよび強力なRI​I​I）を定義する。
• 各移動における部分弦図形（⊗、3、および）の数の変化を計算し、整数の増減を示す。
• 不変量λ(P) = |3·3(P) - 3·(P) + ⊗(P)| / 4を構成し、RIおよび強力なRI​I​Iに関して整数値をとり、不変であることを証明する。
• ポリャクの公式を用いて、RI移動が符号付き部分弦図形の数に影響しないことを検証する。
• 不変量λ(P)を用いて、7個の二重点以下のすべての素で削減可能な結び目の射影を分類し、図22〜24の表および図を用いる。

実験結果

リサーチクエスチョン

• RQ1 RIおよび強力なRI​I​I移動の下で結び目の射影を分類する新しい整数値不変量を構成可能か？
• RQ2 RIおよび強力なRI​I​I移動のみを用いて結び目の射影を単純な閉曲線に還元可能かどうかの必要十分条件は何か？
• RQ3 弱いおよび強力なRI​IおよびRI​I​I移動の下で、特定の部分弦図形（⊗、3、および）の数の変化はどのように変化するか？
• RQ4 フライング移動に関して不変である不変量は存在するか？ それらは結び目の射影の同値類を区別できるか？
• RQ5 新しい不変量λ(P)は、7個の二重点以下の素で削減可能な結び目の射影を完全に分類可能か？

主な発見

• 不変量λ(P) = |3·3(P) - 3·(P) + ⊗(P)| / 4は整数であり、RIおよび強力なRI​I​I移動に関して不変であり、新たな非自明な不変量を提供する。
• λ(P)は、図24に示すように、RIおよび強力なRI​I​I移動の下で、7個の二重点以下のすべての素で削減可能な結び目の射影を完全に分類可能である。
• 結び目の射影PがRIおよび強力なRI​I​I移動により単純な閉曲線に還元可能であるための必要十分条件は、H(P) = 0かつλ(P) = 0である。ここでH(P)は3(P) = 0により定義される。
• ⊗型部分弦図形の数はフライング移動に関して不変であり、フライング同値類を区別する新たな不変量を提供する。
• 不変量λ(P)は加法的であることが命題1で示され、分類および結び目の射影の合成における応用を支援する。
• 7個の二重点以下のすべての素で削減可能な結び目の射影について、λ(P)の値を計算し、表にまとめた。その結果、唯一のペア（7_B, 7_4）がRIおよび強力なRI​I​I移動で接続されていないことが判明した。