[论文解读] The Theta Divisor and Three-Manifold Invariants

Peter Ozsváth, Zoltán Szabó|ArXiv.org|Jun 26, 2000

Geometric and Algebraic Topology参考文献 15被引用 5

一句话总结

本文引入了一种新的针对具有正第一贝蒂数的定向三维流形的拓扑不变量 θ，该不变量通过海格德分裂和黎曼曲面的 theta 除子定义。该不变量计算退化度量与雅可比簇中拉格朗日子簇的带符号交点数，且被证明与选择无关、具有有限支集，并与赛伯格-威滕理论相关，关键结果为谱流公式中的 μ = ±2。

ABSTRACT

In this paper we study an invariant for oriented three-manifolds with $b_1>0$, which is defined using Heegaard splittings and the theta divisor of a Riemann surface. The paper is divided into two parts, the first of which gives the definition of the invariant, and the second of which identifies it with more classical (torsion) invariants of three-manifolds. Its close relationship with Seiberg-Witten theory is also addressed.

研究动机与目标

• 通过海格德分裂和黎曼曲面的 theta 除子，为第一贝蒂数 b₁(Y) > 0 的定向三维流形定义一个新的拓扑不变量 θ。
• 证明 θ 是良定义的，且与海格德分裂、度量和扰动的选择无关。
• 将 θ 与经典 torsion 不变量及三维赛伯格-威滕理论联系起来。
• 通过谱流和阿蒂亚-辛格指标定理，在一个模型情形下显式计算该不变量。
• 确定谱流公式中的通用常数 μ，证明其值为 ±2，且与亏格无关。

提出的方法

• 将 theta 除子定义为从 Sym^{g−1}(Σ) 到亏格 g 曲面 Σ 的雅可比簇 J 的阿贝尔-雅可比映射的像。
• 对每个以 Σ 为边界的处理体 U，通过 U 的同调取值于 S¹，关联一个 J 中的拉格朗日子簇 L(U)。
• 构造 Σ 上的一族一维参数度量 h_t，使得 t=0 时为 U₀-允许的，t=1 时为 U₁-允许的，从而诱导一个映射 Θ: [0,1] × Sym^{g−1}(Σ) → J。
• 在将 L₀ 和 L₁ 扰动为横截后，将 θ(𝔰) 定义为满足 Θ(h_s)(D) ∈ L₀ 且 Θ(h_t)(D) ∈ L₁ 的点 (s,t,D) 的带符号计数。
• 通过雅可比簇的覆盖空间解决链接歧义，并利用预像的 linking 数定义带符号计数。
• 通过构造一个连通和 S¹×S² 的两参数度量族与联络，并应用阿蒂亚-辛格指标定理，计算谱流公式 SF(D(s)) = μ · #(H ∩ Θ) 中的 μ。

实验结果

研究问题

• RQ1 能否通过 theta 除子和海格德分裂为 b₁(Y) > 0 的三维流形定义一个新的不变量？
• RQ2 该不变量 θ 是否良定义且与海格德分裂、度量和扰动的选择无关？
• RQ3 不变量 θ 与经典 torsion 不变量及赛伯格-威滕理论有何关系？
• RQ4 谱流公式 SF(D(s)) = μ · #(H ∩ Θ) 中的通用常数 μ 的值是多少？
• RQ5 不变量 θ 是否满足对称性，如 θ(𝔰) = θ(𝔰̄) 和 θ_Y(𝔰) = (−1)^{b₁+1}θ_{−Y}(𝔰)？

主要发现

• 不变量 θ: Spin^c(Y) → ℤ 是良定义的，且与海格德分裂、度量和扰动的选择无关。
• 不变量 θ 满足 θ(𝔰) = θ(𝔰̄) 和 θ_Y(𝔰) = (−1)^{b₁+1}θ_{−Y}(𝔰)，反映了复共轭和方向反转下的对称性。
• 对于任意满足 b₁(Y) > 0 的 Y，仅有有限多个 Spin^c 结构满足 θ(𝔰) ≠ 0，确保了不变量具有有限支集。
• 谱流公式 SF(D(s)) = μ · #(H ∩ Θ) 成立，且 μ = ±2，与海格德曲面的亏格 g 无关。
• 在模型情形下的计算——使用 g 重连通和 S¹×S² 及两参数联络族——通过阿蒂亚-辛格指标定理确认了 μ = ±2。
• 不变量 θ 在几何上可解释为阿贝尔-雅可比映射下预像的 linking 数，经提升至雅可比簇的覆盖空间后得到。