[論文レビュー] On the Frøyshov invariant and monopole Lefschetz number

Jianfeng Lin, Daniel Ruberman+1 more|arXiv (Cornell University)|Feb 21, 2018

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

ひとこと要約

本稿は、3次元球面 S³ 上の絡み目の上での2重分岐被覆として得られる有理ホモロジー3次元球面における対合のリーマン数の公式を確立する。この公式は、分岐絡み目のムラスギ符号数とスピン構造上のフロイショフ不変量の和を用いて表される。主な結果は、モノポールフローホモロジーにおける正確な三角形を用いたスキーン的議論により得られ、ゲージ理論、ねじれ不変量、4次元多様体位相の間の橋渡しを果たす。

ABSTRACT

Given an involution on a rational homology 3-sphere $Y$ with quotient the $3$-sphere, we prove a formula for the Lefschetz number of the map induced by this involution in the reduced monopole Floer homology. This formula is motivated by a variant of Witten's conjecture relating the Donaldson and Seiberg--Witten invariants of 4-manifolds. A key ingredient is a skein-theoretic argument, making use of an exact triangle in monopole Floer homology, that computes the Lefschetz number in terms of the Murasugi signature of the branch set and the sum of Frøyshov invariants associated to spin structures on $Y$. We discuss various applications of our formula in gauge theory, knot theory, contact geometry, and 4-dimensional topology.

研究の動機と目的

• S³ 内の絡み目の上での2重分岐被覆として得られる有理ホモロジー3次元球面における対合のリーマン数を計算すること。
• このリーマン数がムラスギ符号数やフロイショフ不変量といった位相的不変量とどのように関係するかを示す公式を確立すること。
• ゲージ理論、ねじれ理論、接触幾何学、4次元位相幾何学への応用を探索すること。
• この公式を高次の対称性へ一般化する仮説を提示し、トリスツラム＝レヴィン符号数とカスン不変量が一般化された式にどのように関与するかを明らかにすること。

提案手法

• 絡み目の2重分岐被覆のホモロジーとその解消におけるホモロジーを結ぶモノポールフローホモロジーにおける正確な三角形の使用。
• スキーン的議論を用いてリーマン数とムラスギ符号数、フロイショフ不変量を関連付ける。
• モノポールフローホモロジーとヘーガードフローホモロジーの同定、特に d(Y,s) = -2h(Y,s) の関係を活用し、より計算可能な不変量へ接続する。
• 交差の解消を用いたリンク図式に関する帰納的議論により、主な公式を証明する。
• モノポールフローホモロジーにおける接触不変量の自然性を用いて、例えば Brieskorn 球面 Σ(2,3,7) のような特定のケースで矛盾を導く。
• カホワノフホモロジーからモノポールフローホモロジーへのスペクトル系列を適用し、スリムリンクにおける L-空間性を確立する。

実験結果

リサーチクエスチョン

• RQ1 S³ 内の絡み目の上での2重分岐被覆 Σ(L) として得られる有理ホモロジー3次元球面における、削減されたモノポールフローホモロジー上の対合のリーマン数は何か？
• RQ2 モノポールリーマン数は、分岐集合のムラスギ符号数と被覆上のスピン構造におけるフロイショフ不変量とどのように関係するか？
• RQ3 この公式を高次の対合へ拡張できるか。また、トリスツラム＝レヴィン符号数とカスン不変量は一般化された式にどのように現れるか？
• RQ4 削減されたホモロジー上で負の単位行列として作用する対合において、モノポールフローホモロジーにおける接触不変量の自然性は保たれるか？
• RQ5 どのような条件下で、絡み目の2重分岐被覆が有理数上でのモノポール L-空間となるか？

主な発見

• 2重分岐被覆 Σ(L) の削減されたモノポールフローホモロジー上の対合のリーマン数は、Lef(τ*) = (2^{|L|}/16)ξ(L) − ∑_s h(Σ(L),s) で与えられる。ここで ξ(L) はムラスギ符号数、h(Σ(L),s) はスピン構造上のフロイショフ不変量である。
• ねじれ K に対して、公式は Lef(τ*) = (1/8)sign(K) − h(Σ(K)) に簡略化され、これは濃縮に関する加法性を示す。
• 不変量 L(K) = (1/8)sign(K) − h(Σ(K)) は非自明である。右ねじの (3,7)-トーラスねじれに対しては L(K) = −1 である。
• F₂ 上のカホワノフホモロジーがスリムである絡み目の2重分岐被覆は、有理数上でのモノポール L-空間である。これは、その削減されたモノポールフローホモロジーが自明であることを意味する。
• Brieskorn 球面 Σ(2,3,7) に対して、対合は削減されたモノポールフローホモロジー上で負の単位行列として作用する。接触不変量がこの対合に関して保存されるならば、これは自然性に矛盾する。
• この公式は、対合が負の単位行列として作用する場合、モノポールフローホモロジーにおける接触元が保存されえないことを示唆し、接触構造が一意的かつタイトであるならば、これは矛盾を引き起こす。