[論文レビュー] Positive knots and knots with braid index three have property_p

William W. Menasco, Xingru Zhang|ArXiv.org|Oct 15, 2000

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

ひとこと要約

この論文は、3次元球面上のすべての正のねじれ付きけんおよび3ブレード指数が3のねじれ付きけんが性質Pを満たすことを証明している。すなわち、非自明なドゥン・サージェリーにより、そのようなねじれ付きけんに対しては単純に連結でない3次元多様体が得られる。証明はカソン不変量と本質的ラミネーションを用い、正のねじれ付きけんは正のカソン不変量を持つ（性質Pを示唆する）こと、また3ブレード指数のねじれ付きけんについては、標準的セイフェルト面とバンド移動の分析に帰着され、サージェリー後に本質的ラミネーションを構成する。

ABSTRACT

We prove that positive knots and knots with braid index three in the 3-sphere satisfy the Property P conjecture.

研究の動機と目的

• 3次元球面上の正のねじれ付きけんが性質P予想を満たすことを確立すること。性質P予想とは、非自明なねじれ付きけんに対して非自明なドゥン・サージェリーを行うと、単純に連結でない3次元多様体が得られるというものである。
• この結果を、これまで性質Pにおいて完全に解かれていなかった、3ブレード指数3のねじれ付きけんという重要なクラスに拡張すること。
• ドゥン・サージェリー後の単純に連結でない多様体を検出するための主要な不変量としてカソン不変量を適用すること。
• 3ブレード指数3のねじれ付きけんに対しては、本質的ラミネーションとセイフェルト面のバンド移動を用いて、1サージェリー多様体内にラミネーションを構成し、単純に連結ではないことを保証すること。

提案手法

• カソン不変量がトポロジカル不変量として用いられ、非ゼロの値をとれば、サージェリー後の3次元多様体が単純に連結ではないことを示す。
• 正のねじれ付きけんに対しては、コンウェイ多項式における $x^2$ の係数がカソン不変量に等しく、正のねじれ付きけんではこの係数が正であるため、不変量は非ゼロとなり、性質Pが証明される。
• 3ブレード指数3のねじれ付きけんに対しては、3ブレード群の生成子 $a_1, a_2, a_3$ を用いた最短語の分析に帰着される。これらの生成子は非減少／非増加順序形式をとる。
• バンド移動ホモトピーを標準的セイフェルト面に適用し、カソン不変量または本質的ラミネーションの議論が適用可能な形に語を再構成する。
• 分岐表面を拡張して1サージェリー多様体内に本質的ラミネーションを構成し、圧縮不能性やディスク接合の不在といったトポロジカルな条件を検証する。
• 3次元多様体が本質的ラミネーションを含むならば、単純に連結ではありえないという事実に依拠している。これにより性質Pが証明される。

実験結果

リサーチクエスチョン

• RQ1 3次元球面上のすべての正のねじれ付きけんは性質P予想を満たすか？
• RQ2 3次元球面上のすべての3ブレード指数3のねじれ付きけんは性質P予想を満たすか？
• RQ3 正のねじれ付きけんに対するドゥン・サージェリーによって得られる3次元多様体が単純に連結ではないことを、カソン不変量を用いて検出できるか？
• RQ4 3ブレード指数3のねじれ付きけんの1サージェリー多様体に本質的ラミネーションを構成できるか？ その構成により単純に連結ではないことが証明できるか？
• RQ5 サージェリー後に本質的ラミネーションを構成可能にする3ブレード語の構造的性質（例：ND順序、語のセクション構造）は何か？

主な発見

• 正のねじれ付きけんはカソン不変量が正の整数であるため、性質Pを満たす。これは、非自明なサージェリーにより単純に連結でない3次元多様体が得られることを示唆する。
• 3ブレード指数3のねじれ付きけんは、バンド移動と分岐表面の拡張を用いて1サージェリー多様体内に本質的ラミネーションを構成することで、性質Pを満たすことが示された。
• 3ブレード指数3の3ブレードの標準的セイフェルト面は最小ジャンルを有しており、これはバンド移動ホモトピーの議論において不可欠である。
• 3ブレード指数3のねじれ付きけんに対しては、語をカソン不変量が非ゼロであるか、またはサージェリー多様体内で完全に持ち込まれた本質的ラミネーションが存在する形に還元することに依拠している。
• 構築された分岐表面にディスク接合がないことにより、ラミネーションが本質的であることが保証され、これにより3次元多様体が単純に連結ではないことが示される。
• この結果により、性質Pが2つの大きなねじれ付きけんのクラス（正のねじれ付きけんおよびすべての3ブレード指数3のねじれ付きけん）に対して成り立つことが確認された。