[論文レビュー] Homotopy classification of nanophrases with less than or equal to four letters

Tomonori Fukunaga|EPrints - Department of Mathematics, Hokkaido University|Apr 22, 2009

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

ひとこと要約

本稿は、4文字以下のアルファベットを用いた任意のものについて、ナノフレーズの完全なホモトピー分類を提供する。これは、先行研究のナノワードの分類を拡張するものであり、Turaevの語・フレーズ理論を用い、リンク数やホモトピー移動といった不変量を用いてナノフレーズを分類する。その結果、ナノフレーズがホモトープであるための必要十分条件は、構造的パラメータ（インデックス、ラベル、リンク不変量）が完全に一致することである。この分類により、最小交差数 ≤2 である、非可約で順序付けられ、点が指定された、多成分曲線の安定同値類が正確に52個に分類される。

ABSTRACT

In this paper we give the stable classification of ordered, pointed, oriented multi-component curves on surfaces with minimal crossing number less than or equal to 2 such that any equivalent curve has no simply closed curves in its components. To do this, we use the theory of words and phrases which was introduced by V. Turaev. Indeed we give the homotopy classification of nanophrases with less than or equal to 4 letters. It is an extension of the classification of nanophrases of length 2 with less than or equal to 4 letters which was given by the author in a previous paper. This is a corrected version of Hokkaido University Preprint Series in Mathematics #921. I corrected the subsection 5.3 and added proofs of propositions.

研究の動機と目的

• 長さ2のケースにとどまらない、4文字以下のすべてのナノフレーズについて、成分構造に制限を設けずにホモトピー分類を拡張すること。
• 最小交差数 ≤2 である、非可約で順序付けられ、点が指定された、多成分曲線の安定同値類の完全な分類を提供すること。
• ナノフレーズのホモトピー同値性が、リンク数や成分パラメータといった構造的不変量によって決定されることを確立すること。
• 成分数や長さに制限を設けずに、長さが有界なナノフレーズの分類問題を解消すること。

提案手法

• ナノワードとナノフレーズのTuraev理論を用い、ナノフレーズとは、各文字が正確に2回ずつ現れるように連結された語の列である。
• 3種類のホモトピー移動を適用する：連続する同一文字の削除、タイプIIの移動（xAByBAz → xyz かつ |A|=τ(|B|)）、タイプIIIの移動（xAByACzBCt → xBAyCAzCBt かつ |A|=|B|=|C|）。
• ホモトピー類を区別するために、リンク不変量 ((wi,wj)P)i<j を導入し、計算する。
• 成分分割型（例：2+2、2+1+1、1+1+1+1）と亜型（I、II、III）に基づくケースバイケースの分析を用いてナノフレーズを分類する。
• Lemma 6.1 を用いて、空成分と非空成分のナノフレーズ間のホモトピー同値性を除外し、非可約性が保たれることを保証する。
• Theorem 5.5 とリンク不変量の不変性を用いて、パrameterの一致に基づく分類の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Turaevの3種類の移動のもとで、4文字以下のナノフレーズのうち、どのものがホモトープであり、それらを完全に分類できるか？
• RQ2 最小交差数 ≤2 である、非可約で順序付けられ、点が指定された、多成分曲線の安定同値類はいくつ存在するか？
• RQ3 4文字以下のアルファベットを用いた任意のものについて、ナノフレーズのホモトピー同値性を完全に決定する不変量は何か？
• RQ4 長さ制限（例：長さ2）を越えて、4文字以下のすべてのナノフレーズについて、成分長の制限なしに分類を拡張できるか？
• RQ5 非空成分のみを含むナノフレーズは、空成分を含むナノフレーズと、与えられた移動のもとでホモトープか？

主な発見

• 最小交差数 ≤2 である、非可約で順序付けられ、点が指定された、多成分曲線の安定同値類は正確に52個存在する。
• ナノフレーズがホモトープであるための必要十分条件は、成分分割型、インデックス（p,q,r,s）、ラベル（a,b）、およびリンク不変量 ((wi,wj)P)i<j が完全に一致することである。
• リンク不変量 ((wi,wj)P)i<j は、4文字以下のナノフレーズに対して完全なホモトピー不変量である。
• 非空成分のみを含むナノフレーズは、空成分を含むナノフレーズとホモトープでない。これはLemma 6.1によって証明されている。
• 分類は完全であり、パrameter化されている：ホモトピー同値性は、すべての成分タイプにおいて、p, q, r, s, a, b の一致によって決定される。
• 分類は、長さ2の制限を外し、任意の成分数に一般化することで、先行研究の空白を埋めることに成功した。