[論文レビュー] Alexander and Markov theorems for virtual doodles

Neha Nanda, Mahender Singh|arXiv (Cornell University)|Jun 12, 2020

Geometric and Algebraic Topology参考文献 19被引用数 7

ひとこと要約

本稿は、任意の genus の閉じた向き付け可能な曲面上のドゥードルに対して、アレクサンダーおよびマークフォーの定理の仮想的類似物を確立する。仮想ツイン群を導入し、ツイン群の一般化としての基本的代数的構造を提供する。すべての仮想ドゥードルは仮想ツインの閉包であることが示され、仮想ドゥードルの同相型はマークフォー移動の下での仮想ツインの共役型と一対一対応することが示され、古典的結果が高genusの曲面へと拡張される。

ABSTRACT

Study of certain isotopy classes of a finite collection of immersed circles without triple or higher intersections on closed oriented surfaces can be thought of as a planar analogue of virtual knot theory where the genus zero case corresponds to classical knot theory. Alexander and Markov theorems for the genus zero case are known where the role of groups is played by twin groups, a class of right angled Coxeter groups with only far commutativity relations. The purpose of this paper is to prove Alexander and Markov theorems for higher genus case where the role of groups is played by a new class of groups called virtual twin groups which extends twin groups in a natural way.

研究の動機と目的

• 2次元球面上のドゥードルに対する古典的アレクサンダーおよびマークフォーの定理を、高genusの曲面へと拡張する。
• 仮想ドゥードルの同相型をモデル化するため、ツイン群の自然な一般化として仮想ツイン群を導入する。
• 平面におけるバーティングプロセスを用いて仮想ツインの位相的実現を確立する。
• 仮想ドゥードル図のガウスデータを定義し、それらを仮想ツイン表現に関連付ける。
• 仮想ドゥードルの同相型が、マークフォー移動の下での仮想ツインの共役型と一対一対応することを証明する。

提案手法

• 仮想ツイン群 $VT_n$ を、ツイン群 $T_n$ の抽象的拡張として定義し、仮想的交差をモデル化するための追加生成子 $\rho_i$ を含める。
• $n$ 個の弧が $\mathbb{R} \times [0,1]$ 内に配置された構成として、仮想ツインの位相的モデルを構築する。この際、仮想的交差を許容する。
• 任意の仮想ドゥードル図を、同相型を保ちつつ閉じた仮想ツイン図に変換するバーティングプロセスを用いる。
• 図を関連付けるために、仮想リードマイスター移動 ($VR_1, VR_2, VR_3$, $MVR_1$, $MVR_2$) と古典的移動 ($R_1, R_2$) の系列を適用する。
• 2つの仮想ツイン図が同相な仮想ドゥードルを表すための必要十分条件として、それらに対応する仮想ツインが $M0$–$M5$ 移動によって関連付けられることを証明する。
• $VT_n$ から対称群 $S_n$ への上昇写像を用いて、純粋仮想ツイン群をその核として定義し、古典的状況における純粋ツイン群と類似の役割を果たす。

実験結果

リサーチクエスチョン

• RQ1 2次元球面上のドゥードルに対するアレクサンダーの定理は、高genusの曲面へ一般化可能か？
• RQ2 高genusの場合の仮想ドゥードルに対して、ツイン群に代わる代数的構造は何か？
• RQ3 genus $g \geq 1$ の曲面上のドゥードルの同相型分類に、仮想的交差はどのように影響するか？
• RQ4 仮想リンクの古典的マークフォー定理に類似した仮想ドゥードル用のマークフォー型定理は存在するか？
• RQ5 仮想ドゥードルの同相型は、仮想ツインの共役型によって完全に特徴付けられるか？

主な発見

• 仮想ツイン群 $VT_n$ は、生成子 $\rho_i$ を用いて仮想的交差を組み込んだツイン群 $T_n$ の自然な拡張として導入される。
• 任意の閉じた向き付け可能な曲面（genus $g$）上の仮想ドゥードルは、仮想ツインの閉包として表され、古典的アレクサンダーの定理が一般化される。
• 2つの仮想ドゥードルが同相であるための必要十分条件は、それらに対応する仮想ツイン図が $M0$–$M5$ 移動によって関連付けられることである。これにより仮想マークフォー定理が確立される。
• 仮想ドゥードル図のガウスデータは、$M0$ および $M2$ 移動の下での共役型を除き、対応する仮想ツインを一意に定める。これにより代数的不変性が保証される。
• バーティングプロセスにより、任意の仮想ドゥードル図を同相型を保ちつつ閉じた仮想ツイン図に変換でき、これにより代数的分類が可能になる。
• $VT_n \to S_n$ の上昇写像の核として定義される純粋仮想ツイン群は、古典的状況における純粋ツイン群と類似した役割を果たす。