[論文レビュー] Covering moves and Kirby calculus

Ivelina Bobtcheva, Riccardo Piergallini|ArXiv.org|Jul 2, 2004

Geometric and Algebraic Topology参考文献 33被引用数 9

ひとこと要約

本稿は、4次元2ハンドル体が2同値（ハンドルスライドとキャンセレーション）に関して同値となることと、4次元ボールのリボン面を分岐点として持つ単純な被覆が、局所的リボン移動および安定化に関して同値となることの間で、全単射の対応関係を確立する。これは、キルビー計算を分岐被覆に一般化したものであり、リボン移動R1およびR2が、それぞれハンドルスライドおよびキャンセレーションに正確に対応することを示し、S³に沿った任意の次数の被覆に対して完全な局所的移動の集合を提供する。

ABSTRACT

We show that simple coverings of B^4 branched over ribbon surfaces up to certain local ribbon moves bijectively represent orientable 4-dimensional 2-handlebodies up to handle sliding and addition/deletion of cancelling handles. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over links, in terms of local moves. This result generalizes to coverings of any degree results by the second author and Apostolakis, concerning respectively the case of degree 3 and 4. We also provide an extension of our equivalence theorem to possibly non-simple coverings of S^3 branched over embedded graphs. This work represents the first part of our study of 4-dimensional 2-handlebodies. In the second part (arXiv:math.GT/0612806), we factor such bijective correspondence between simple coverings of B^4 branched over ribbon surfaces and orientable 4-dimensional 2-handlebodies through a map onto the closed morphisms in a universal braided category freely generated by a Hopf algebra object.

研究の動機と目的

• B⁴のリボン面を分岐点として持つ単純な被覆が、その結果得られる4次元2ハンドル体が2同値となるまでに、完全な局所的移動の集合を分類すること。
• 3重および4重被覆に関する先行研究を、任意の次数の被覆に一般化し、リボン移動を用いること。
• 単純でない被覆、特にS³に埋め込まれたグラフを分岐点とする被覆への同値性の拡張。
• 第2部の研究で、ユニバーサルなbraided category構造（ホップ代数対象のユニバーサルbraided category）を用いて4多様体の代数的不変量の基礎的枠組みを提供すること。

提案手法

• B⁴内のリボン面上の2次元1ハンドル体構造と、それに対応する被覆空間上の4次元2ハンドル体構造との間の対応関係を定義する。
• リボン面上でのハンドルスライドおよびキャンセレーションが、被覆空間内に対応する移動を誘導することを示し、2同値性を保つ。
• 分岐被覆を結ぶ基本的移動として、局所的リボン移動R1およびR2（別個のラベルi,j,k,lを有する）を導入する。
• 安定化を次数≥4にまで行い、ラベル付き1-同値移動およびR1/R2移動を組み合わせることで、2同値性に関して4多様体を分類可能であることを証明する。
• キルビー図を用いた分岐リボン面の標準的構成法を導入し、図の構造を保ちつつ、移動の解釈を可能にする。
• 対応関係を活用し、リボン面の同値移動と2変形および微分同相写像との関係を関係づけ、4多様体における2同値性と微分同相写像の区別への道筋を示唆する。

実験結果

リサーチクエスチョン

• RQ1 B⁴のリボン面を分岐点として持つ単純な被覆が、その結果得られる4次元2ハンドル体が2同値となるまでに、完全な局所的移動の集合を分類できるか？
• RQ2 リボン移動R1およびR2に加えて、安定化を施すことによって、同じ4次元2ハンドル体を表す任意の2つの分岐被覆表現を結ぶことができるか？
• RQ3 単純でない被覆、特にS³に埋め込まれたグラフを分岐点とする被覆に対しても、被覆と4多様体との同値性を拡張できるか？
• RQ4 リボン面の同値移動と4多様体の微分同相写像との間に、特に2変形および3ハンドル移動に関連して、構造的な関係が存在するか？
• RQ5 4多様体のキルビー計算が、分岐被覆の分岐データに関する移動の形で完全に記述可能か？

主な発見

• B⁴のリボン面を分岐点として持つ2つの連結単純被覆が、2同値な4次元2ハンドル体を表すための必要十分条件は、それらを同じ次数≥4にまで安定化させた後、ラベル付き分岐リボン面がラベル付き1-同値移動および有限回のリボン移動R1およびR2によって結ばれることである。
• リボン移動R1およびR2は、ラベル付き同値移動に関して逆移動を生成でき、被覆空間内でのすべての2同値移動を実現するために十分である。
• キルビー図から分岐リボン面を構成する方法は、リボン移動に関して一意的であり、図の構造を保ちながら、キルビー計算を分岐データの観点から直接解釈可能にする。
• 本研究は、3次および4次被覆に関する先行研究を一般化し、すべての次数に適用可能な一様な枠組みを提供する。
• 被覆移動とキルビー計算との対応関係は、第2部の研究で、ホップ代数対象のユニバーサルbraided categoryを用いた4多様体の代数的不変量の基礎を築く。
• 本稿は、4多様体における2同値性と微分同相写像の違いが、リボン面の1-同値移動と通常の同値移動の違いによって捉えられる可能性を示唆しており、後者では非リボン的交差やハンドルペアのキャンセレーションを許容する。