[论文解读] Jacobi forms and the structure of Donaldson invariants for 4-manifolds with b_+=1

Lothar Göttsche, Don Zagier|ArXiv.org|Dec 26, 1996

Geometric and Algebraic Topology被引用 13

一句话总结

本文通过将周期点 F 与 G 之间的墙穿插差异与 Jacobi 形式及模性质联系起来，建立了 b_+=1 的 4-流形的 Donaldson 不变量的结构定理。证明了不变量的差满足 k 阶简单型条件，且给出了基于基本类与通用模形式的显式公式，扩展了 Kronheimer-Mrowka 的结果，并通过 Kotschick-Morgan 猜测将结果与 Seiberg-Witten 不变量联系起来。

ABSTRACT

We prove structure theorems for the Donaldson invariants of 4-manifolds with b_+=1, similar to those of Kronheimer and Mrowka in the case b_+>1: We show that for a 4-manifold with b_+=1 and two different period points F, G on the boundary of the positive cone, the difference of the Donaldson invariants at F and G satisfies the k^{th}-order simple type condition for a number k, explicitely given in terms of F and G. We give a formula for this difference in terms of a set of basic classes, expressed in a universal formula involving modular forms. The leading terms coincide with the formulas of Kronheimer and Mrowka in the simple type case. The basic classes are related to the Seiberg Witten invariants. The proof of these results is based on the conjecture of Kotschick and Morgan on the structure of the wall-crossing terms. We relate the problem to new theta functions for indefinite lattices.

研究动机与目标

• 将 Donaldson 不变量的结构定理从 b_+>1 推广至 b_+=1 的情形。
• 理解当 b_+=1 时，Donaldson 不变量在正锥体边界处的行为。
• 在模形式与基本类的基础上，为两个周期点 F 与 G 处不变量的差值建立精确公式。
• 将墙穿插项与不定格点上的 theta 函数联系起来，并在此背景下验证 Kotschick-Morgan 猜测。

提出的方法

• 以 Kotschick 与 Morgan 关于墙穿插项的猜想作为基础假设。
• 应用 Jacobi 形式理论，编码墙穿插下 Donaldson 不变量的结构。
• 推导出一个涉及模形式的通用公式，用以表达两个周期点 F 与 G 处不变量的差值。
• 通过不变量的模结构，将基本类与 Seiberg-Witten 不变量联系起来。
• 引入新的不定格点上的 theta 函数，以模拟墙穿插行为。
• 运用代数几何与模形式理论，分析 b_+=1 情形下的不变量。

实验结果

研究问题

• RQ1 对于 b_+=1 的 4-流形，当穿越正锥体中的墙时，Donaldson 不变量如何表现？
• RQ2 在两个不同的周期点 F 与 G 处，Donaldson 不变量差值的精确模结构是什么？
• RQ3 在 b_+=1 情形下，不变量的基本类如何与 Seiberg-Witten 不变量相关联？
• RQ4 在 b_+=1 情形下，墙穿插项能否通过模形式实现普遍表达？
• RQ5 不定格点上的 theta 函数在描述这些不变量结构中起什么作用？

主要发现

• 在两个周期点 F 与 G 处，Donaldson 不变量的差满足 k 阶简单型条件，其中 k 由 F 与 G 的相对位置明确确定。
• 一个通用公式以模形式与一组基本类表达差值，推广了 Kronheimer-Mrowka 的公式。
• 差值公式的首项与 b_+>1 情形下已知的简单型公式一致。
• 通过不变量的模结构，证明了基本类与 Seiberg-Witten 不变量之间的关联。
• 墙穿插行为通过不定格点上的新 theta 函数建模，为涉及的模形式提供了几何实现。
• 结果依赖于 Kotschick-Morgan 猜测，该猜测被假设为真，以推导主要结构定理。