[論文レビュー] Markov theorem for doodles on two-sphere

Konstantin Gotin|arXiv (Cornell University)|Jul 14, 2018

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

ひとこと要約

この論文は、2次元球面上のドゥードルに対して、古典的マーカフの定理の類似を確立し、二重（バイト・ライクな構造）が同型な閉包を持つための必要十分条件を示している。すなわち、二重が有限回の4つの移動（共役（M₂）、転置（M₁）、および2つの一般化された安定化移動（M₃、M₄））の系列によって関連付けられるとき、かつそのときのみ、それらの閉包は同型である。この結果は、ドゥードルのアレクサンダー型定理を、完全なマーカフ同型性枠組みへと拡張し、ツイン群によるドゥードル不変量の完全な代数的分類を提供する。

ABSTRACT

In 1997 M.~Khovanov proved that any doodle can be presented as closure of twin, this result is analogue of classical Alexander's theorem for braids and links. We give a description of twins that have equivalent closures, this theorem is analogue of classical Markov theorem.

研究の動機と目的

• 2次元球面上のドゥードルに対する、古典的マーカフ定理に類似したマーカフ型同型関係を確立すること。
• 2つの二重図がS²上に同型なドゥードル閉包を生成するための条件を特定すること。
• 同じドゥードル閉包を持つ二重の間の同型性を生成する完全な移動の集合を提供すること。
• ドゥードルのアレクサンダー型定理（Khovanovによる）を、完全なマーカフ同型性枠組みへと拡張すること。

提案手法

• 有限個の二重交差点と三重交差点のない、R×[0,1]内に配置された単調な弧の配置として二重図を定義する。
• 二重図の上端と下端を接続することでS²上にドゥードルを形成する閉包作用を導入する。
• 共役、転置、およびブレード生成子を含む2つの一般化された安定化移動を含む4つの移動（M₁–M₄）を定義し、M同型性を生成する。
• 一般化された曲げと引き締め操作を用いて、任意のアンナラ図を、円のシフトを除いて一意な最小アンナラ図へと関連付ける。
• 二重が同型な閉包を持つ場合、二重交差点の数に関する帰納法を用いて、リーデマイスター型移動と逆安定化移動を用いてM同型であることを証明する。
• 最小アンナラ図の一意性と、M移動に関して不変であることに着目し、マーカフ同型性を確立する。

実験結果

リサーチクエスチョン

• RQ1 S²上に同型なドゥードル閉包を生成する2つの二重が関連づけられるために必要な十分な移動は何か？
• RQ2 古典的マーカフ定理を、2次元球面上のドゥードルの文脈にどのように適合させられるか？
• RQ3 最小図と一般化された曲げの役割は、ドゥードル閉包の分類において果たすか？
• RQ4 ツイン群の関係と閉包作用が、ドゥードル同型性を保つためにどのように作用するか？

主な発見

• 2つの二重が同型な閉包を持つための必要十分条件は、それらがM₁、M₂、M₃、M₄およびその逆移動の有限列によって関連づけられるときである。
• ドゥードルに対応する最小アンナラ図は、同型と円のシフトを除いて一意であり、各ドゥードル閉包の標準的代表元を保証する。
• 移動M₃とM₄は、R₁移動と一般化された曲げの合成に対応し、二重図を安定化させつつ閉包を保存する。
• 閉包作用はすべてのM移動と可換であり、したがってM同型な二重は同型なドゥードルを生成する。
• 証明は二重交差点の数に関する帰納法に基づき、非最小図がM移動により最小代表元に還元可能であることを示している。
• M同型性関係は、ツイン群によるドゥードル不変量を完全に分類し、古典的マーカフ定理をドゥードルの文脈に一般化する。