[论文解读] Algebraic surfaces and Seiberg-Witten invariants

Robert Friedman, John W. Morgan|ArXiv.org|Feb 27, 1995

Algebraic Geometry and Number Theory参考文献 17被引用 128

一句话总结

该论文证明，对于几何亏格为零的极小代数一般型曲面，保向微分同胚保持典范类的拉回与例外曲线的同调类（符号除外），其依据是Seiberg-Witten不变量。该结果可推广至吹倍与负定和项，表明此类不变量与全纯几何一致地约束光滑拓扑，尤其在 b₂⁺ = 1 的情形下。

ABSTRACT

In this revised version, we add some expository material and references and make some minor corrections.

研究动机与目标

• 将 Seiberg-Witten 不变量的应用扩展至 b₂⁺ = 1 的凯勒曲面，特别是几何亏格为零的一般型极小曲面。
• 证明保向自微分同胚保持典范类的拉回与例外曲线类（符号除外）。
• 将这些结果推广至吹倍与凯勒曲面中的负定 4-流形和项。
• 通过 Seiberg-Witten 理论证明复曲面的 plurigenera 是光滑不变量。
• 研究 Seiberg-Witten 理论在区分具有同构上同调与基本类但非形变等价的曲面时的局限性。

提出的方法

• 使用凯勒度量下的 Seiberg-Witten 不变量，特别是其在微分同胚作用下与腔室结构的行为。
• 应用吹倍公式及 Seiberg-Witten 模空间中腔室的性质。
• 利用在 pg=0 且 b₂⁺=1 的情形下，典范类与例外类受不变量约束的事实。
• 利用自旋c结构及微分同胚对腔室与基本类的作用。
• 证明对例外类的反射保持 Seiberg-Witten 腔室 S₀，从而推出典范类的不变性。
• 通过基本的上同调与拓扑论证，将结果扩展至可化曲面与椭圆曲面。

实验结果

研究问题

• RQ1 对于几何亏格为零的一般型极小曲面，保向微分同胚是否保持典范类的拉回（符号除外）？
• RQ2 Seiberg-Witten 不变量能否检测此类曲面吹倍后例外曲线的同调类？
• RQ3 Seiberg-Witten 不变量在多大程度上约束 b₂⁺=1 的凯勒曲面的光滑结构？
• RQ4 复曲面的 plurigenera 是否为光滑不变量？能否通过 Seiberg-Witten 理论证明？
• RQ5 是否存在超越典范类与例外曲线的光滑不变量，可用来区分具有同构上同调但非形变等价的曲面？

主要发现

• 对于几何亏格为零的一般型极小曲面 X，每个保向自微分同胚 f 满足 f∗K₀ = ±K₀ 且 f∗[Eᵢ] = ±[Eⱼ]，其中 Eᵢ 为例外曲线。
• 在 X 的 ℓ 个点上进行吹倍得到的 ˜X 中，相同的不变性依然成立：f 保持典范类与例外曲线类（符号除外）。
• 若 ˜X 微分同胚于 M#N 且 N 为负定，则 N 的例外类对应于 ˜X 中的 ±[Eᵢ]。
• 对于任意非有理或可化曲面 X，定理 1.1 与 1.2 的结论均成立，包括 pg=0 的椭圆曲面。
• Plurigenera Pₙ(X) 是光滑不变量：若 X 与 X′ 为微分同胚的复曲面，则对所有 n ≥ 1 有 Pₙ(X) = Pₙ(X′)。
• 在具有正数量曲率的度量下，Seiberg-Witten 不变量在腔室 C₀ 中为零，且 ψ∗C₀ = ±C₀，从而推出典范类在微分同胚下不变。