[論文レビュー] Monopoles and lens space surgeries

P. B. Kronheimer, Tomasz Mrowka+2 more|ArXiv.org|Oct 13, 2003

Geometric and Algebraic Topology参考文献 29被引用数 20

ひとこと要約

この論文は、モノポールフローホモロジーとスケーリング長完全列を用いて、非自明な絡み目の3次元球面におけるドゥーン同相により、実射影3次元空間（RP³）が得られることはないことを証明している。主な結果として、唯一の図形がレンズ空間同相をもたらす（RP³がL(2,1)として含まれる）ことが解明され、すべての有理数スロープに対してゴードンの予想が解決された。これは、ねじれのない葉層とレンズ空間同相の分類に応用される。

ABSTRACT

Monopole Floer homology is used to prove that real projective three-space cannot be obtained from Dehn surgery on a non-trivial knot in the three-sphere. To obtain this result, we use a surgery long exact sequence for monopole Floer homology, together with a non-vanishing theorem, which shows that monopole Floer homology detects the unknot. In addition, we apply these techniques to give information about knots which admit lens space surgeries, and to exhibit families of three-manifolds which do not admit taut foliations.

研究の動機と目的

• 3次元球面におけるゴードンの予想を解決し、レンズ空間同相をもたらすのは唯一の図形（unknot）であることを示す。RP³はL(2,1)として含まれる。
• 非自明な絡み目のドゥーン同相によって、RP³やp > 2のレンズ空間が得られることはないことを確立する。
• モノポールフローホモロジーの技法を用いて、双曲的絡み目の同相におけるねじれのない葉層の存在を妨げる。
• genus 2以上の絡み目のレンズ空間同相を分類し、特定のトーラス絡み目（例：(2,5)）のみが同様の同相をもたらすことを示す。
• Seifertファイバー同相のための新たな障害を提供し、ねじれのない葉層を持たない無限族の双曲的3次元多様体を構成する。

提案手法

• ねじれのない葉層を持つ多様体におけるモノポールフローホモロジーの非消滅性を用いる。
• 絡み目の同相におけるモノポールフローホモロジー群のスケーリング長完全列（完全三角形）を適用する。
• 帰納法を用いる：もし絡み目Kがp-標準的（つまり、S³_p(K)が図形と同じフローホモロジーを持つ）ならば、Kは(p−1)-標準的である。
• 非消滅定理を用いて、0-標準的絡み目は必ず図形であることを示し、基本ケースを確立する。
• 非整数有理スロープへと結果を拡張する。S³_r(K) ≅ S³_r(U) ならば、Kはp = ⌈r⌉に対してp-標準的であることを示す。
• 完全三角形を、交差するリンクの2重被覆およびプレッツェルおよびボロメアンリンクの同相に適用し、ねじれのない葉層を妨げる。

実験結果

リサーチクエスチョン

• RQ1 非自明な絡み目Kに対して、S³におけるドゥーン同相によりRP³が得られるか？
• RQ2 S³内のどの絡み目がレンズ空間同相をもち、与えられた genus に対して得られるレンズ空間は何か？
• RQ3 特に双曲的絡み目の同相において、ねじれのない葉層を持たないのはどの同相か？
• RQ4 モノポールフローホモロジーは、非自明な絡み目の同相と図形の同相を区別できるか？
• RQ5 genus やアレクサンダー多項式の次数の観点から、Seifertファイバー同相をもたらすための障害は何か？

主な発見

• RP³は、S³内のいかなる非自明な絡み目に対してもドゥーン同相によって得られず、ゴードンの予想が解決された。
• p = 2（つまり、RP³）のレンズ空間同相をもたらすのは唯一の図形であり、非自明な絡み目はS³_r(K) ≅ L(2,q)（qが奇数）をもたらさない。
• genus 2の絡み目においては、唯一のレンズ空間同相は(2,5)トーラス絡み目から生じ、L(9,7)およびL(11,4)をもたらす。
• n ≥ 3の(-2,3,2n+1)プレツェル絡み目は、すべてのr ≥ 2n+4に対して、ねじれのない葉層を持たない双曲的同相をもたらす。
• 非自明な交差するリンクに沿ったS³の2重被覆は、ねじれのない葉層を持たない。
• ボロメアンリングの同相において、a,b,c ≥ 1の有理数に対して、ねじれのない葉層を持たない3次元多様体が得られ、これはウィークス多様体M(1,5/2,5)を含む。