[论文解读] An inequality for the h-invariant in instanton Floer theory

Kim A. Frøyshov|ArXiv.org|Nov 4, 2001

Geometric and Algebraic Topology参考文献 12被引用 4

一句话总结

本文在瞬子弗洛尔同调中建立了尖锐不等式，将同调球面边界 Y 的 h-不变量与 b₂⁺ = 1 的 4-流形中自交数为 +1 的嵌入曲面的亏格联系起来。通过模空间技术与酉群 U(2) 的投影平坦联络，证明了不等式 h(Y) + ⌈g/2⌉ ≥ e(ℒ)，其中 e(ℒ) 是由曲面类的正交补格所导出的格不变量，该结果推广了唐纳森的对角化定理，并可用于控制在对扭结进行 ±1 手术时 h-不变量的变化范围。

ABSTRACT

In math.DG/9903083 (henceforth referred to as EA) we defined an integer invariant $h(Y)$ for oriented integral homology 3-spheres $Y$ which only depends on the rational homology cobordism class of $Y$ and is additive under connected sums. In this paper we establish lower bounds for $h(Y)$ when $Y$ is the boundary of a smooth, compact, oriented 4-manifold with $b_2^+=1$. As applications, we give an upper bound for how much $h$ changes under -1 surgery on knots in terms of the slice genus of the knot, and compute $h$ for a family of Brieskorn spheres. This paper contains, in revised form, most of the material from v1 of EA that was left out in the final version of that paper. In particular, Theorem 1 of the present paper is virtually the same as Theorem 1 of v1 of EA. The proof is also essentially the same, but the exposition has been improved, with more details.

研究动机与目标

• 为具有同调球面边界且 b₂⁺ = 1 的 4-流形，建立瞬子弗洛尔同调中 h-不变量的新不等式。
• 将 h-不变量与嵌入曲面的亏格（自交数为 +1）及其在上同调中正交补格的结构联系起来。
• 通过弗洛尔理论不变量与格不变量 e(ℒ)，推广唐纳森的对角化定理。
• 利用有理同调叉积 cobordism，推导出在扭结上进行 ±1 手术时 h-不变量变化的界。

提出的方法

• 使用瞬子弗洛尔理论，将 h-不变量定义为从同调叉积群到 ℤ 的满同态。
• 应用带有边界的 4-流形上 SO(3) 联络的模空间技术，重点研究参数化族与可约联络。
• 为单模负定格 ℒ 引入格不变量 e(ℒ)，其通过极小向量与特征类的求和来定义。
• 采用投影平坦 U(2) 联络及其与 3-流形上平坦 SU(2) 联络的关系，以计算弗洛尔链复形。
• 分析 3-环面上平坦 SO(3) 联络模空间的结构，证明恰好存在两个非退化的平坦联络，其指标差为 4。
• 使用度量族与截断技术，控制模空间的边界与末端行为。

实验结果

研究问题

• RQ1 同调球面边界 Y 的 h-不变量如何与 b₂⁺ = 1 的 4-流形中嵌入曲面的亏格及自交数相关联？
• RQ2 格不变量 e(ℒ) 在以曲面亏格表示 h-不变量上界时的精确作用是什么？
• RQ3 是否可以对扭结的 ±1 手术下 h-不变量进行有界控制？此类界的紧致性如何？
• RQ4 h(Y) 与 e(ℒ) 在连通和与叉积下的行为如何？
• RQ5 平坦 SO(3) 联络在 3-环面上的模空间结构是怎样的？其与弗洛尔同调有何关联？

主要发现

• 对任意光滑、紧致、定向的 4-流形 X，其边界为同调球面 Y 且 b₂⁺(X) = 1，不等式 h(Y) + ⌈g/2⌉ ≥ e(ℒ) 成立，其中 g 为满足 Σ·Σ = 1 的嵌入曲面 Σ 的亏格。
• 格不变量 e(ℒ) 当且仅当 ℒ 为对角形式时为零，且当 ℒ 为对角形式且 k ≥ 0 时，有 e(−kE₈ ⊕ ℒ) = k。
• 对 Brieskorn 球面 Σ(2,2k−1,4k−3)，h-不变量精确为 ⌊k/2⌋，通过不等式及上下界匹配计算得出。
• 在对亏格为 g 的扭结进行 −1 手术时，h-不变量的变化量至多为 ⌈g/2⌉，即 0 ≤ h(Y_{γ,−1}) − h(Y) ≤ ⌈g/2⌉。
• 平坦 SO(3) 联络在 3-环面上的模空间恰好包含两个非退化点，其指标差为 4，与弗洛尔同调上已知的 4 次对合一致。
• 通过投影平坦 U(2) 联络的构造，可显式计算出 T³ 上非平凡 SO(3) 主丛的弗洛尔链复形。