[论文解读] Some moduli spaces of Bridgeland's stability conditions

Hiroki Minamide, Shintarou Yanagida+1 more|arXiv (Cornell University)|Nov 26, 2011

Algebraic Geometry and Number Theory参考文献 10被引用 15

一句话总结

本文建立了在何种条件下，Picard数为1的阿贝尔曲面与K3曲面上的Bridgeland半稳定对象的模空间同构于Gieseker半稳定层的模空间。通过使用扭曲的Fourier-Mukai变换以及由(β, ω)参数化的稳定性条件，作者证明：对于(β, ω)附近的一般(β′, ω′)，Bridgeland模空间与经典的Gieseker模空间一致，并通过对偶性推导出这些空间的ample锥结构。

ABSTRACT

We shall study some moduli spaces of Bridgeland's semi-stable objects on abelian surfaces and K3 surfaces with Picard number 1. Under some conditions, we show that the moduli spaces are isomorphic to the moduli spaces of Gieseker semi-stable sheaves. We also study the ample cone of the moduli spaces.

研究动机与目标

• 建立在Picard数为1的阿贝尔曲面与K3曲面上，Bridgeland半稳定对象的模空间与经典Gieseker半稳定层模空间之间的同构关系。
• 刻画Bridgeland稳定性条件在何种情况下产生与Gieseker模空间同构的射影粗模空间。
• 使用导出范畴技术与Fourier-Mukai变换，描述Bridgeland半稳定对象模空间的ample锥。
• 证明Bridgeland稳定性与导出范畴的对偶性对称性相容，特别是在扭曲Fourier-Mukai变换的背景下。

提出的方法

• 在X的凝聚层导出范畴D(X)上构造Bridgeland稳定性条件σ_{β,ω}，使用通过Mukai格上的Mukai配对定义的稳定性函数Z_{(β,ω)}。
• 利用X × X₁上一个普遍族E的导出对偶与移位，定义一个扭曲的Fourier-Mukai变换Φ: D(X) → D^α(X₁)，该变换在Bridgeland与Gieseker半稳定对象之间建立对应关系。
• 通过r_β(v)、a_β(v)与d_β(v)对Mukai向量进行分量分解，以分析稳定性条件与墙穿跃行为。
• 运用精确三角形论证与Hom复形上的消去定理，证明变换像中的对象为无扭层，并在新稳定性条件下为半稳定。
• 分析相位函数φ_{(β,ω)}，并利用墙穿跃技术，证明当(β′, ω′)在(β, ω)附近一般时，模空间结构中的稳定性条件保持不变。
• 通过Fourier-Mukai变换将模空间M_{(β,ω)}(v)的ample锥与对偶曲面X₁上的自然ample类Ĥ的拉回联系起来，从而推导出该锥。

实验结果

研究问题

• RQ1 在何种条件下，K3或阿贝尔曲面上Bridgeland半稳定对象的模空间同构于Gieseker半稳定层的模空间？
• RQ2 稳定性条件中(β, ω)的选择如何影响模空间的同构类型？
• RQ3 能否使用导出范畴技术显式描述Bridgeland模空间的ample锥？
• RQ4 扭曲Fourier-Mukai变换在Picard数为1的曲面上联系Bridgeland与Gieseker稳定性时起什么作用？
• RQ5 墙穿跃行为如何在(β, ω)的小扰动下影响模空间的结构？

主要发现

• 对于满足Pic(X) = ZH的阿贝尔或K3曲面X，以及满足(β′, H) = (β, H)的(β′, ω′)在(β, ω)附近一般时，Bridgeland半稳定对象的模空间M_{(β′,ω′)}(v)同构于扭曲层的Gieseker模空间M_{H₁}(u)^{ss}，其中Mukai向量u = Φ(v)或u = Φ(v)^∨。
• 当(β, ω)关于v一般时，粗模空间M_{(β,ω)}(v)存在，并同构于射影概形M_{Ĥ}(Φ(v))。
• M_{(β,ω)}(v)的ample锥通过Fourier-Mukai变换从对偶曲面X₁上的自然ample类Ĥ的拉回得到。
• 稳定性条件σ_{(β,ω)}在D(X)上诱导出对偶性对称性，因为Fourier-Mukai变换Φ_{X→X′}^{F∨}将Bridgeland半稳定对象映射到对偶范畴中的半稳定对象。
• 当(β, ω)位于v的任意墙之外，或恰好位于由w₁定义的单个墙上时，Bridgeland与Gieseker模空间之间的同构成立，此时邻域内不存在不稳定化对象。
• 证明依赖于导出范畴中Hom复形的消去性，以及相位函数φ_{(β,ω)}在墙穿跃下的行为，这些性质确保变换保持结果层的半稳定性和无扭性。