[论文解读] Flips of moduli spaces and transition formulas for Donaldson polynomial invariants of rational surfaces

Robert Friedman, Zhenbo Qin|ArXiv.org|Oct 12, 1994

Algebraic Geometry and Number Theory参考文献 18被引用 8

一句话总结

本文研究了在有理曲面上极化变化时，秩-2层的模空间如何变化，表明这些模空间通过一系列翻转（flips）相连。利用这一结果，作者推导出唐纳森多项式不变量的显式过渡公式，为具有有效反 canonical 除子的有理曲面提供了完整计算，该结果亦由 Matsuki-Wentworth 和 Ellingsrud-Göttsche 独立获得。

ABSTRACT

We study the change of moduli spaces of Gieseker-semistable torsion free rank-$2$ sheaves on algebraic surfaces as we vary the polarizations. When the surfaces are rational with an effective anti-canonical divisor, the moduli spaces are linked by a series of flips (blowups and blowdowns). Using these results, we compute the transition formulas for Donaldson polynomial invariants of rational surfaces. Part of the work is also obtained independently by Matsuki-Wentworth and Ellingsrud-G{\" o}ttsche.

研究动机与目标

• 理解在有理曲面上，当极化变化时，Gieseker-半稳定的秩-2无挠层的模空间如何变化。
• 分析当曲面具有有效反 canonical 除子时，这些模空间之间的几何过渡。
• 推导出在这些几何翻转下，唐纳森多项式不变量的显式过渡公式。
• 为有理曲面上唐纳森不变量的墙穿跃行为提供完整描述。

提出的方法

• 利用代数几何与稳定性理论的技术，分析极化变化下模空间的变化。
• 证明当曲面为有理曲面且具有有效反 canonical 除子时，模空间通过一系列翻转（即爆破与反爆破）相连。
• 应用翻转理论，关联不同模空间，并推导唐纳森不变量的变换规则。
• 利用翻转的结构，推导出 ample 锥不同壁间不变量之间的递归过渡公式。
• 借助有理曲面的几何结构与秩-2层的性质，控制墙穿跃行为。
• 将结果与 Matsuki-Wentworth 和 Ellingsrud-Göttsche 的独立工作进行比较，以确认一致性。

实验结果

研究问题

• RQ1 当极化在有理曲面上变化时，秩-2层的模空间如何变换？
• RQ2 这些模空间之间的几何过渡的本质是什么？是否能通过翻转来描述？
• RQ3 在 ample 锥的不同壁之间，支配唐纳森多项式不变量变化的精确公式是什么？
• RQ4 在具有有效反 canonical 除子的有理曲面上下文中，不变量在墙穿跃时的行为如何？
• RQ5 过渡公式是否能完全从模空间之间翻转的几何结构中推导得出？

主要发现

• 具有有效反 canonical 除子的有理曲面上，Gieseker-半稳定的秩-2层的模空间通过一系列翻转相连。
• 模空间之间的过渡由有限序列的爆破与反爆破所控制，且论文中对此有明确描述。
• 推导出唐纳森多项式不变量的显式过渡公式，展示了其在 ample 锥不同壁之间的变化方式。
• 公式与 Matsuki-Wentworth 和 Ellingsrud-Göttsche 的独立计算结果一致，验证了其正确性。
• 结果为有理曲面上唐纳森不变量的墙穿跃行为提供了完整描述。
• 该方法在有理曲面的模空间代数几何与 4-流形的拓扑不变量之间建立了桥梁。