[论文解读] Wall-Crossing implies Brill-Noether. Applications of stability conditions on surfaces

Arend Bayer|arXiv (Cornell University)|Apr 27, 2016

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文展示了K3曲面上的Bridgeland稳定性条件中的wall-crossing提供了一个强有力的框架，用于重新证明Lazarsfeld的Brill-Noether定理，表明在|H|中的任意光滑曲线C上，Brill-Noether簇$W^r_d(C)$具有预期维数，而不仅限于通用曲线。该方法利用稳定对象的模空间和Harder-Narasimhan过滤来控制Ext群并建立光滑性，为经典向量丛技术提供了一种基于导出范畴的替代方法。

ABSTRACT

Over the last few years, wall-crossing for Bridgeland stability conditions has led to a large number of results in algebraic geometry, particular on birational geometry of moduli spaces. We illustrate some of the methods behind these result by reproving Lazarsfeld's Brill-Noether theorem for curves on K3 surfaces via wall-crossing. We conclude with a survey of recent applications of stability conditions on surfaces. The intended reader is an algebraic geometer with a limited working knowledge of derived categories. This article is based on the author's talk at the AMS Summer Institute on Algebraic Geometry in Utah, July 2015.

研究动机与目标

• 使用K3曲面上Bridgeland稳定性条件中的wall-crossing重新证明Lazarsfeld的Brill-Noether定理。
• 展示稳定性条件为研究层模空间的双有理几何提供系统性方法。
• 证明对于|H|中的每条曲线$C$，Brill-Noether子簇$W^r_d(C)$的维数均为预期维数，而不仅限于通用曲线。
• 将导出范畴技术与经典代数几何问题（如投影嵌入和向量丛稳定性）联系起来。
• 综述稳定性条件在曲面上的最新应用，包括翻转、收缩以及nef锥的计算。

提出的方法

• 在具有极化$H$的K3曲面$X$的导出范畴$D^b(X)$上构造Bridgeland稳定性条件$\sigma_{\alpha,\beta}$。
• 将具有固定Chern特征$\mathbf{v}$的$\sigma$-稳定对象的模空间$M_\sigma(\mathbf{v})$用作Hilbert概形或层模空间的双有理模型。
• 应用wall-crossing来追踪不稳定化对象，并控制扭曲对象$E(-3)$的Harder-Narasimhan过滤。
• 通过在$F(-3)$的Harder-Narasimhan过滤中控制相位，利用Serre对偶性证明$\mathrm{Ext}^2(F,F) = 0$，从而建立模空间的光滑性。
• 利用Positivity引理和对象的S-等价性来识别nef除子，并描述有效锥与nef锥。
• 通过Mukai-Lazarsfeld丛限制到曲线上时的稳定性，导出Mercat猜想的新反例。

实验结果

研究问题

• RQ1 Bridgeland稳定性条件中的wall-crossing能否用于重新证明Lazarsfeld的Brill-Noether定理等经典结果？
• RQ2 导出范畴框架是否能比经典方法得出更强的结论，例如在|H|中所有曲线上的维数结果保持一致？
• RQ3 稳定性条件如何控制曲面上层模空间的双有理几何？
• RQ4 不稳定化墙的位置与Castelnuovo-Mumford正则性等不变量之间有何关系？
• RQ5 稳定性条件能否用于确定有理曲面上Hilbert概形或层模空间的nef锥？

主要发现

• 在假设(*)下，对于|H|中的每条光滑曲线$C$，Brill-Noether簇$W^r_d(C)$具有预期维数，而不仅限于通用曲线。
• 具有$\sigma$-稳定对象的模空间$M_\sigma(\mathbf{v})$是光滑的，因为通过$F(-3)$的Harder-Narasimhan过滤中的相位控制，证明了$\mathrm{Ext}^2(F,F) = 0$。
• wall-crossing诱导了从Gieseker模空间到Uhlenbeck模空间的收缩，并通过墙序列实现了Thaddeus翻转。
• 对于Picard秩为1且$n$较大的曲面，利用Positivity引理和最小次数曲线可确定$\mathrm{Hilb}^n(X)$的nef锥。
• Mukai-Lazarsfeld丛$M_L$限制到|H|中任意曲线时均为斜率稳定，从而导出Mercat猜想的新反例。
• Hilb^n(\mathbb{P}^2)中一个理想层发生不稳定化的墙，与其Castelnuovo-Mumford正则性密切相关。