[論文レビュー] Knots and Contact Geometry

John B. Etnyre, Ko Honda|ArXiv.org|Jun 15, 2000

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

ひとこと要約

この論文は、$S^3$ 上の標準的でタイトな接触構造において、Legendrianおよびtransversalなトーラス型および図8型の結び目を、凸面理論と古典的不変量を用いて分類する。これらの結び目に対して、Legendrian同値型は完全にThurston-Bennequin不変量と回転数によって決定され、transversal同値型は自己自己自己リンク数と結び目型によって決定され、長年の分類問題が解決される。

ABSTRACT

We classify Legendrian torus knots and figure eight knots in the tight contact structure on the 3-sphere up to Legendrian isotopy. As a corollary to this we also obtain the classification of transversal torus knots and figure eight knots up to transversal isotopy.

研究の動機と目的

• 標準的でタイトな接触構造をもつ$S^3$ 上のLegendrianトーラス型結び目を、Legendrian同値型に関して分類すること。
• Legendrian不変量との双対性を用いて、この分類をtransversalトーラス型結び目に拡張すること。
• 図8型結び目のLegendrianおよびtransversalな分類を行い、それらの同値型が古典的不変量によって完全に決定されることを確立すること。
• $(p,-q)$-トーラス型結び目のThurston-Bennequin不変量に対する既知の上限が、特に$q$ が奇数の場合に鋭い限界を示しているかどうかを解明すること。
• 古典的不変量がすべてのLegendrianおよびtransversalな結び目を分類するのに十分かどうかを検討すること、特に特定の結び目型に対して上限が鋭くない場合を踏まえて。

提案手法

• 接触3次元多様体内の曲面上の特徴的foliationと分離曲線を分析するための凸面理論の応用。
• Legendrian実現原理とバーレージョンの付加を用いて、分離集合を操作し、不安定化を検出する。
• ハンドル体の境界上の写像類群作用を用いて、分離曲線の配置を分析する。
• ハンドル体$H = \Sigma \times I$ を構成し、制御された分離集合を備えて、メリディアンディスク上のバーレージョンを介して不安定化を検出する。
• 配置を標準形に還元し、非最大代表元を検出するために$\Psi$-移動および標準的移動（J, G, I, L など）を用いる。
• $S^3$ 上のタイト接触構造の一意性とLegendrianの単位結び目の分類を活用して、より複雑な結び目の帰納的議論を構築する。

実験結果

リサーチクエスチョン

• RQ1 $S^3$ 内のトーラス型結び目のLegendrian同値型は、Thurston-Bennequin不変量と回転数という古典的不変量によって完全に決定されるか？
• RQ2 $(p,-q)$-トーラス型結び目のThurston-Bennequin不変量に対する既知の上限、特に$-pq$ が鋭い限界を示しているか、特に$q$ が奇数の場合にそうか？
• RQ3 トーラス型および図8型結び目のtransversal同値型は、自己自己リンク数によってのみ分類可能か？
• RQ4 図8型結び目はLegendrian単純であるか、すなわちすべてのLegendrian代表元が一意の最大代表元に不安定化するか？
• RQ5 古典的不変量では区別できないLegendrianまたはtransversalな結び目は存在するか？もしあるなら、最小の例は何か？

主な発見

• $S^3$ 内の向き付けられたLegendrianトーラス型結び目に対して、2つの結び目がLegendrian同値であるための必要十分条件は、同じ結び目型、Thurston-Bennequin不変量、および回転数を持つことである。
• 図8型のLegendrian結び目に対しては、同値型が完全にThurston-Bennequin不変量と回転数によって決定され、最大のtb代表元は一意である。
• transversalな図8型結び目の自己自己リンク数は、$-3$ 以下のすべての奇数整数を正確に実現し、transversal同値型は自己リンク数のみによって完全に決定される。
• 本論文は、$q$ が奇数である負の$(p,-q)$-トーラス型結び目に対して、Thurston-Bennequin不変量の既知のすべての上限が鋭くない例を初めて提示し、$\operatorname{tb}(K) \leq -pq$ が最適であることを示している。
• transversalなトーラス型結び目の分類が確立された：2つの結び目がtransversally同値であるための必要十分条件は、同じ結び目型と自己リンク数を持つことである。
• 図8型結び目が安定的に単純であることが示された。つまり、すべてのLegendrian代表元が一意の最大代表元に不安定化する。これは分類の重要な一歩である。