[論文レビュー] Instantons and L-space surgeries

John A. Baldwin, Steven Sivek|arXiv (Cornell University)|Oct 29, 2019

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿では、フレーム付きインスタントンフローホモロジーにおけるcobordism写像の新しい分解定理を用いて、インスタントンL空間絡み目がファイバリングであり、強く擬正であることを確立する。非自明なS³内の絡み目Kに対して、有理数スロープr ≥ 2g(K)−1のドゥーリン手術がSU(2)-アーベルであるのは、Kがファイバリングであり、強く擬正である場合に限ることを証明する。これは、KronheimerとMrowkaの性質P結果をr ≤ 2を超えて広く一般化し、非自明な絡み目の4回目のドゥーリン手術に非自明なSU(2)表現が存在することを確認する。

ABSTRACT

We prove that instanton L-space knots are fibered and strongly quasipositive. Our proof differs conceptually from proofs of the analogous result in Heegaard Floer homology, and includes a new decomposition theorem for cobordism maps in framed instanton Floer homology akin to the $ extrm{Spin}^c$ decompositions of cobordism maps in other Floer homology theories. As our main application, we prove (modulo a mild nondegeneracy condition) that for $r$ a positive rational number and $K$ a nontrivial knot in the $3$-sphere, there exists an irreducible homomorphism \[π_1(S^3_r(K)) o SU(2)\] unless $r \geq 2g(K)-1$ and $K$ is both fibered and strongly quasipositive, broadly generalizing results of Kronheimer and Mrowka. We also answer a question of theirs from 2004, proving that there is always an irreducible homomorphism from the fundamental group of 4-surgery on a nontrivial knot to $SU(2)$. In another application, we show that a slight enhancement of the A-polynomial detects infinitely many torus knots, including the trefoil.

研究の動機と目的

• インスタントンフローホモロジーにおけるゲージ理論的技法を用いて、インスタントンL空間絡み目がファイバリングであり、強く擬正であることを確立すること。
• KronheimerとMrowkaのSU(2)-アーベル手術に関する結果をr ≤ 2を超えて一般化し、特にr ≥ 3の場合に拡張すること。
• KronheimerとMrowkaが2004年に提起した問いを解決し、任意の非自明な絡み目に対して4回目のドゥーリン手術が非自明なSU(2)表現を有することを証明すること。
• A多項式のわずかな拡張が、無限個のトーラス絡み目を検出できることを示すこと、特にトレフォイルを含む。
• SU(2)-反発的絡み目およびその極限スロープに対する強い制約を与えること。これにより、それらはファイバリングであり、強く擬正でなければならず、極限スロープは2g(K)−1より大きくなければならない。

提案手法

• フレーム付きインスタントンフローホモロジーにおけるcobordism写像の新しい分解定理を導入し、他のフローホモロジー理論におけるSpin^c分解に類似させる。
• この分解定理を用いて、絡み目の手術におけるインスタントンフローホモロジーを研究し、特に0回目の手術多様体の奇数次元インスタントンホモロジーに注目する。
• インスタントンホモロジーにおける表面類の作用のオイラー標数および固有空間次元を用いて、可能な絡み目の型を制約する。
• KlassenとLinによるSU(2)表現およびキャラクター多様体に関する結果を応用し、ドゥーリン手術の多様体Yに対する表現多様体R(Y)の構造を分析する。
• 薄い絡み目およびその genus 界に関する理論を用いて、特定のr-薄さ条件を満たす非トーラス絡み目を除外する。
• r-薄い絡み目であり、rに関してある数論的条件を満たすならば、その絡み目はトーラス絡み目でなければならないことを利用し、スパイス構成における genus 加法性を応用する。

実験結果

リサーチクエスチョン

• RQ1 非自明なS³内の絡み目Kに対して、有理数スロープrが何の条件下で、3次元多様体S³_r(K)がSU(2)-アーベルでなくなるか？
• RQ2 r = 3およびr = 4の場合、特にr ≥ 2g(K)−1のとき、ドゥーリン手術に非自明なSU(2)表現が存在することを示せるか？
• RQ3 g(K) = 2でr = 3のファイバリングかつ強く擬正な絡み目は、SU(2)-アーベル手術をもたらすか？ もしそうならば、トレフォイル以外にそれらの性質を持つ絡み目は存在するか？
• RQ4 A多項式またはその拡張は、T_{p,q}（p, qが素数）のような特定のトーラス絡み目を検出できるか？
• RQ5 SU(2)-表現多様体は、SU(2)-反発的絡み目に対してどのような制約を課えるか？ 特に、極限スロープおよび位相的型に関して。

主な発見

• インスタントンL空間絡み目がファイバリングであり、強く擬正であることが証明され、インスタントンフローホモロジーによる新たな特徴付けが得られた。
• 任意の非自明な絡み目Kに対して、S³_4(K)は非自明なSU(2)表現を有する。これはKronheimerとMrowkaの予想を確認する。
• S³_3(K)は、Kがファイバリングであり、強く擬正で、genusが2である場合に限り、SU(2)-アーベルでない。
• 拡張されたA多項式は、無限個のトーラス絡み目を検出でき、特にT_{p,q}、T_{p²,q}、T_{p²,q²}、T_{4,q}（q > 3）、T_{4,q²}を含む。
• 任意のSU(2)-反発的絡み目はファイバリングでなければならない。また、その鏡像を含め、その絡み目またはその鏡像は強く擬正で、極限スロープは2g(K)−1より大きくなければならない。
• r > 12で平方自由かつ奇数で、少なくとも2つの異なる素因数を持つ、またはr = p²qまたはp²q²（p, qは異なる素数でq ≥ 3）である場合、任意のr-薄い絡み目はトーラス絡み目でなければならない。