[論文レビュー] Grope cobordism of classical knots

Jim Conant, Peter Teichner|arXiv (Cornell University)|Dec 14, 2000

Geometric and Algebraic Topology参考文献 16被引用数 8

ひとこと要約

本稿は、ねじれ理論における反復的群交換子の幾何的実現として grope コボルディズムを導入し、根付き単三価木を介して有限型不変量と直接結びつける。2つのねじれがクラス $ c $ の grope コボルディズムであることは、それらが grope次数 $ \geq c $ の単純クラッパーの手術によって関係付けられていることと同値であり、ヴァシリエフ不変量の幾何的解釈を提供するとともに、コクラン＝オール＝タイヒナーのフィルトレーションおよびカスン＝ゴードン不変量と対称的 grope コボルディズムを通じて関連づける。4次元空間における grope コボルディズムは、ねじれの濃縮と関連する。

ABSTRACT

We explain the notion of a grope cobordism between two knots in a 3-manifold. Each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants. An interesting refinement we study are knots modulo symmetric grope cobordism in 3-space. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it maps onto the Cochran-Orr-Teichner filtration of the knot concordance group, via symmetric grope cobordism in 4-space. In particular, the graded theory contains information on finite type invariants (with degree h terms mapping to Vassiliev degree 2^h), Blanchfield forms or S-equivalence at h=2, Casson-Gordon invariants at h=3, and for h=4 one has the new von Neumann signatures of a knot.

研究の動機と目的

• ねじれ理論における反復的群交換子の幾何的実現を、grope コボルディズムの概念によって提供すること。
• ねじれの grope コボルディズム類と有限型不変量の間の明確な対応関係を確立すること。
• ねじれ群の導来交換子系列を、対称的 grope コボルディズムを通じて3次元的幾何的構造と結びつけること。
• ヴァシリエフ理論とコクラン＝オール＝タイヒナーのフィルトレーションを、gropesに基づく共通の幾何的枠組みを通じて統一すること。
• クラッパーの手術と grope コボルディズムの関係を明確にし、文献における過去の誤解を是正すること。

提案手法

• 基本群の下部中心系列に基づいて、反復的表面段階を用いて3多様体内のねじれ間の grope コボルディズムを定義する。
• 根付き単三価木を用いて grope コボルディズムの型をラベル付けし、木の構造が反復的交換子の複雑さに対応するようにする。
• ハビロのクラッパー計算、特に単純な木クラッパーおよびその手術の概念を用い、grope コボルディズムと有限型不変量を結びつける。
• ホープ連結ペアの葉を辺に変換することで、クラッパーの手術を grope コボルディズムに変換し、grope次数を保存する。
• 次数 $ 2c+1 $ のクラッパーの手術は、次数 $ c $ のヴァシリエフ不変量を保存することを用い、低次の手術への還元を可能にする。
• キャップを4次元的コボルディズムに押し込むことで、キャップ付き grope コボルディズムからリボン濃縮を構成し、grope コボルディズムがリボン濃縮を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 ねじれ補空間の基本群における反復的群交換子は、3次元多様体内でどのように幾何的に実現可能か？
• RQ2 クラス $ c $ の grope コボルディズムと次数 $ 2^c $ のヴァシリエフ不変量との間の明確な関係は何か？
• RQ3 4次元空間における対称的 grope コボルディズムは、ねじれ濃縮群のコクラン＝オール＝タイヒナーのフィルトレーションとどのように関係するか？
• RQ4 クラッパーの手術を用いて明示的な grope コボルディズムを構成できるか？逆に、grope コボルディズムからクラッパーの手術を構成できるか？
• RQ5 キャップ付きとキャップなしの gropes は、ねじれの同値関係を定義する上で果たす役割は何か？

主な発見

• 2つのねじれがクラス $ c $ の grope コボルディズムであることは、それらが grope次数 $ \geq c $ の単純クラッパーの手術の系列によって関係付けられていることと同値であり、直接的な幾何的対応関係を確立する。
• クラス $ c $ の grope を境界とするねじれの有限型不変量の次数は $ 2^c $ で抑えられ、この上限は鋭い。
• 対称的 grope コボルディズムの次数付き理論は、ヴァシリエフ理論（次数 $ 2^c $）、ブランシュタイン形式（$ c=2 $ で）、カスン＝ゴードン不変量（$ c=3 $ で）、フォン・ノイマンの符号（$ c=4 $ で）に射影される。
• 次数 $ 2c+1 $ の単純クラッパーは、次数 $ c $ のヴァシリエフ不変量を保存するため、ハビロの定理により低次の手術への還元が可能である。
• クラス $ c $ のキャップ付き grope コボルディズムは、次数 $ c $ の単純クラッパーの手術によって生成される同値関係 $ \mathcal{F}^v_c $ と同値である。
• $ \mathbb{R}^3 \times [0,1] $ 内で1つのキャップ付き先端を持つ grope コボルディズムは、リボン濃縮に拡張可能であり、grope コボルディズムがリボン濃縮を意味することを示す。