[论文解读] 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-球面上的对合（involution）的Lefschetz数的公式，该3-球面是3-球面关于某链的二重分支覆盖，其表达式以分支链的Murasugi符号数和自旋结构上Frøyshov不变量的和表示。关键结果通过单极 Floer 同调中的精确三角形进行 skein 理论论证，建立起规范理论、纽结不变量与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.

研究动机与目标

• 计算一个有理同调3-球面的对合的Lefschetz数，该3-球面是S³中某链的二重分支覆盖。
• 建立该Lefschetz数与Murasugi符号数等拓扑不变量之间的公式关系。
• 探索在规范理论、纽结理论、接触几何及4维拓扑中的应用。
• 推测该公式的推广形式适用于更高阶对称性，并与Tristram–Levine符号数和Casson不变量建立联系。

提出的方法

• 利用单极 Floer 同调中的精确三角形，将链的双分支覆盖的同调与其化简后的同调联系起来。
• 应用 skein 理论论证，将Lefschetz数与Murasugi符号数及Frøyshov不变量联系起来。
• 利用单极 Floer 同调与Heegaard Floer 同调之间的识别关系，特别是 d(Y,s) = -2h(Y,s)，以连接到更易计算的不变量。
• 通过纽结图的交叉点化简进行归纳论证，证明主公式。
• 利用单极 Floer 同调中接触不变量的自然性，在特定情形（如Brieskorn球面Σ(2,3,7)）中导出矛盾。
• 将Khovanov同调到单极 Floer 同调的谱序列应用于薄链，确立其L-空间性质。

实验结果

研究问题

• RQ1 在有理同调3-球面（其为S³中某链的二重分支覆盖）的约化单极 Floer 同调上，诱导出的对合的Lefschetz数是什么？
• RQ2 单极Lefschetz数如何与分支集的Murasugi符号数及覆盖上自旋结构的Frøyshov不变量相关？
• RQ3 该公式能否推广至更高阶对称性？Tristram–Levine符号数与Casson不变量在推广表达式中如何体现？
• RQ4 当对合在约化同调上作用为负单位映射时，单极 Floer 同调中接触不变量的自然性是否仍然成立？
• RQ5 在何种条件下，链的双分支覆盖是关于有理数的单极L-空间？

主要发现

• 双分支覆盖Σ(L)的约化单极 Floer 同调上对合的Lefschetz数为 Lef(τ*) = (2^{|L|}/16)ξ(L) − ∑_s h(Σ(L),s)，其中ξ(L)为Murasugi符号数，h(Σ(L),s)为自旋结构上的Frøyshov不变量。
• 对于纽结K，公式简化为 Lef(τ*) = (1/8)sign(K) − h(Σ(K))，表明该不变量在 concordance 下具有可加性。
• 不变量 L(K) = (1/8)sign(K) − h(Σ(K)) 非平凡；对于右旋(3,7)-环面纽结，有 L(K) = −1。
• 在F₂上，Khovanov同调为薄链的双分支覆盖是关于ℚ的单极L-空间，即其约化单极 Floer 同调为零。
• 对于Brieskorn球面Σ(2,3,7)，对合在约化单极 Floer 同调上作用为负单位映射，若接触不变量在该对合下保持不变，则与自然性矛盾。
• 该公式表明，单极 Floer 同调中的接触元在作用为负单位映射的对合下不可能保持不变，若接触结构唯一且为紧致，则导致矛盾。