[论文解读] The Family Blowup Formula of the Family Seiberg-Witten Invariants

Ai-Ko Liu|ArXiv.org|May 20, 2003

Algebraic Geometry and Number Theory参考文献 19被引用 3

一句话总结

本文在光滑四维流形纤维丛的背景下，建立了 Seiberg-Witten 不变量的族型爆破公式，将经典爆破公式推广至族的情形。通过使用自旋^c 结构、旋量丛及相对上同调技术，推导出爆破前后不变量之间的通用公式，其应用涵盖枚举几何，并解决了关于曲线计数与 Harvey-Moore 猜想的若干问题。

ABSTRACT

In the paper we formulate and derive the family blowup formula of family Seiberg-Witten invariants. The formula has been used in the enumerative application of counting singular curves on algebraic surfaces. We first give a topological derivation of the formula by using family index theorem. Then we define the algebraic (family) Seiberg-Witten invariants for algebraic surfaces and then give an algebraic derivation of the family blowup formula for the algebraic family Seiberg-Witten invariants.

研究动机与目标

• 建立 b₂⁺ ≥ 1 的四维流形纤维丛的 Seiberg-Witten 族型爆破公式的框架。
• 通过光滑族与单值不变的自旋^c 结构，将经典爆破公式推广至相对情形。
• 为枚举几何中的应用提供基础工具，特别是针对具有指定重数的奇异曲线计数问题。
• 证明代数曲面上代数 Seiberg-Witten 不变量的族型爆破公式。
• 通过导出像层与射影丛，构造族 Seiberg-Witten 不变量的典范障碍丛。

提出的方法

• 使用 C^∞ 自旋^c 旋量与联络的语言，在光滑范畴中推导族型爆破公式。
• 应用管状邻域定理，在沿截面进行纤维爆破后构造相对几乎复结构。
• 定义例外线丛 E 与相对自旋^c 结构的拉回，将修改后的不变量表示为 L + mE（其中 m 为奇数）。
• 通过全族上层的零阶导出像构造典范代数族 Kuranishi 模型，使用局部自由层 R⁰(fₙ)ₐ*(𝒪(∑mᵢEᵢ)⊗ℰ)。
• 引入典范障碍丛 Obs_canonical;C−∑mᵢEᵢ 为 H⊗π*W_canon，其中 W_canon 是带重数的结构层的导出像，定义在 P(V_canon) 上。
• 建立描述连续爆破障碍丛之间关系的短正合列，揭示混合不变量的递归结构。

实验结果

研究问题

• RQ1 在四维流形丛的纤维爆破下，族型 Seiberg-Witten 不变量如何变换？
• RQ2 族情形下障碍丛的精确代数几何结构为何？
• RQ3 族型爆破公式如何用于枚举几何中混合不变量的计算？
• RQ4 代数 Seiberg-Witten 不变量与光滑族不变量之间存在何种关系？
• RQ5 典范障碍丛在连续爆破下如何演化？其在混合不变量不变性中扮演何种角色？

主要发现

• 在 C^∞ 范畴中，通过自旋^c 旋量与联络推导出族型爆破公式，将经典爆破公式推广至族的情形。
• 典范代数族 Kuranishi 模型构造为 (V_canon, W_canon, Φ)，其中 W_canon 是局部自由层，秩为 ∑ᵢ(mᵢ+1)mᵢ/2。
• 典范障碍丛 Obs_canonical;C−∑mᵢEᵢ 定义为 P(V_canon) 上的 H⊗π*W_canon，并存在一个自然的短正合列描述连续爆破之间的关系。
• 混合不变量满足递归公式：AFSW_{M_{n+1}→M_n}(c, C−∑mᵢEᵢ) = ∑ₚ AFSW_{M_{n+1}→M_n}(c∪cₚ(S^{mₙ−1}(ℂ_B⊕T*M_n/M_{n−1})), C−∑_{i≤n−1}mᵢEᵢ)。
• 该公式清晰地解释了混合不变量的结构，其本质为相对余切丛的对称幂。
• 该框架使 Göttsche、Yau-Zaslow 的若干猜想得以解决，并通过族型爆破机制证明了 Harvey-Moore 猜想。