[論文レビュー] Minor theory for surfaces and divides of maximal signature

Sebastian Baader, Pierre Dehornoy|arXiv (Cornell University)|Nov 30, 2012

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

ひとこと要約

本稿では、彩色グラフの新しい平面的マイナー定理を用いて、可縮性の表面を用いて定義される表面マイナー順序が、分割のファイバー表面上でwell-quasi-orderであることを確立する。主な結果は、禁止マイナーを用いた最大シグニaturesを持つファイバー表面の有限特徴付けであり、そのようなリンクとディンキン図の間の対応関係が確立される。

ABSTRACT

The paper is partially withdrawn: in its current form, Lemma 2.3 is false, so that our proof of Theorem A and Proposition B has an important gap. We were unable to fix it yet. Any help is most welcome. We prove that the restriction of surface minority to fiber surfaces of divides is a well-quasi-order. Here surface minority is the partial order on isotopy classes of surfaces embedded in the 3-space associated with incompressible subsurfaces. The proof relies on a refinement of the Robertson-Seymour Theorem that involves colored graphs embedded into the plane. Our result implies that every property of fiber surfaces of divides that is preserved by surface minority is characterized by a finite number of prohibited minors. For the signature to be equal to the first Betti number is such a property. We explicitly determine the corresponding prohibited minors. As an application we establish a correspondance between divide links of maximal signature and Dynkin diagrams.

研究の動機と目的

• 表面マイナー順序が分割のファイバー表面上でwell-quasi-orderであることを証明すること。
• 最大シグニチュード（シグニチュードが1番目のベッチ数に等しい）であるという性質を、有限個の禁止マイナーの集合を用いて特徴付けること。
• 最大シグニチュードを持つ分割リンクと無向ディンキン図の間の対応関係を確立すること。
• ロバートソン＝セイヤーモアのグラフマイナー定理を、彩色グラフの平面埋め込みへ拡張すること。
• 分割表面の文脈において、最大シグニチュードのKuratowski型特徴付けを提供すること。

提案手法

• 埋め込まれた頂点彩色グラフに対する平面的マイナー順序を構築し、標準的なグラフマイナーに加えて平面埋め込みと色の縮約を組み込むことで、それを洗練する。
• 彩色集合がwell-quasi-orderである場合、平面に埋め込まれた彩色グラフの平面的マイナー順序がwell-quasi-orderであることを証明する。
• この結果を分割のファイバー表面に適用する。そのために、分割の双対グラフ（埋め込み済み彩色グラフ）と関連付ける。
• 表面マイナーがこれらの双対グラフ上の平面的マイナー操作に対応することを用いて、well-quasi-orderを表面設定へと移す。
• リーデマイスター移動と双対グラフ解析を用いて、特定の禁止マイナー（分割QおよびXのファイバー表面）を同定する。
• 最大シグニチュードが表面マイナーに関して安定であることに着目し、このような表面が有限個の禁止マイナーのリストによって特徴付けられることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 表面マイナー順序は、分割のファイバー表面の族上でwell-quasi-orderであるか？
• RQ2 最大シグニチュードを持つファイバー表面を特徴付ける完全な有限禁止マイナーのリストは何か？
• RQ3 最大シグニチュードを持つ分割リンクは、ディンキン図とどのように関係しているか？
• RQ4 ロバートソン＝セイヤーモアのグラフマイナー定理を、彩色グラフの平面埋め込みへ拡張できるか？
• RQ5 ファイバー表面の他の自然な性質の中で、有限個の禁止マイナーによって特徴付けられるものは他に存在するか？

主な発見

• 表面マイナー順序は、彩色グラフの新しい平面的マイナー定理を用いて、分割のファイバー表面上でwell-quasi-orderであることが証明された。
• 最大シグニチュード（シグニチュードが1番目のベッチ数に等しい）であるという性質は、2つの禁止マイナー（分割QおよびXのファイバー表面）によって特徴付けられる。
• 分割Pのファイバー表面が最大シグニチュードを持つための必要十分条件は、表面マイナーとしてΣ(Q)またはΣ(X)を含まないことである。
• 最大シグニチュードを持つ分割リンクは、無向ディンキン図に対応する分割のリンクと同相である（F4を除く）。
• 最大シグニチュードかつ連結和自由構造を持つファイバー表面の完全なリストは、A_n、D_n、E_{1,2,2}、E_{1,2,3}、E_{1,2,4}、E_{1,3,3}、E_{1,2,5}、F_{2,3}、F_{2,4}、F_{2,5}のタイプに対応する。
• 証明により、このようなすべての表面が、リーデマイスターIII移動を用いて既知の最小構成に還元可能な双対グラフから生じることを示し、リストの完全性を確認した。