[论文解读] On some moduli of complexes on K3 surfaces

Jason Lo|arXiv (Cornell University)|Mar 7, 2012

Algebraic Geometry and Number Theory参考文献 14被引用 12

一句话总结

本文在特定斜率条件下，建立了K3曲面$X$上Bridgeland半稳定复形的模堆栈与它的Fourier-Mukai对偶$ \hat{X}$上$\mu$-半稳定局部自由层的模堆栈之间的同构关系。该结果通过一个到射影概形的态射，实现了Uhlenbeck紧化的一种几何实现，推广了Bruzzo-Maciocia的Hilbert概形同构，并为先前工作中基于集合论双射的结果提供了一种代数几何的替代方案。

ABSTRACT

We consider moduli stacks of Bridgeland semistable objects that previously had only set-theoretic identifications with Uhlenbeck compactification spaces. On a K3 surface $X$, we give examples where such a moduli stack is isomorphic to a moduli stack of slope semistable locally free sheaves on the Fourier-Mukai partner $\hat{X}$. This yields a morphism from the stack of Bridgeland semistable objects to a projective scheme, which induces an injection on closed points. It also allows us to extend a theorem of Bruzzo-Maciocia on Hilbert schemes to a statement on moduli of complexes.

研究动机与目标

• 建立K3曲面上Bridgeland半稳定复形的模堆栈与它的Fourier-Mukai对偶上$\mu$-半稳定局部自由层的模堆栈之间的几何同构关系。
• 为[LQ, 定理5.4]中Bridgeland半稳定对象与Uhlenbeck紧化空间之间基于集合论的双射提供一种代数几何替代方案，特别是在非互质秩-度数情况下。
• 将Bruzzo-Maciocia关于Hilbert概形与Gieseker稳定层模空间之间的同构关系，推广到包含$\mu$-半稳定层的更广泛模堆栈类。
• 证明Bridgeland半稳定对象的模堆栈是普遍闭的，即通过展示$\hat{X}$上所有$\mu_{\hat{\omega}}$-半稳定层均来自$X$上Bridgeland半稳定对象在Fourier-Mukai变换下的像。

提出的方法

• 利用Fourier-Mukai变换$\Psi: D(X) \to D(\hat{X})$，将$X$上Bridgeland半稳定对象与$\hat{X}$上$\mu$-半稳定层联系起来，借助$X$与$\hat{X}$之间的导出等价性。
• 应用Huybrechts关于导出等价K3曲面的结果，确保存在一个细模空间$\hat{X}$，用于参数化$X$上斜率$\mu_{\omega} = \beta\omega$的$\mu_{\omega}$-稳定局部自由层。
• 从$X$上Bridgeland半稳定对象的模堆栈$\mathcal{M}^{\sigma ss}_{X,ch}$构造一个态射$\gamma\alpha\Psi_{\mathcal{M}}: \mathcal{M}^{\sigma ss}_{X,ch} \to M^{ss}_{C,(r,d)}$，映射到光滑曲线$C \subset \hat{X}$上半稳定层的射影概形。
• 利用有界性与基变换结果（如[HL, 定理8.2.12]），确保当$m \gg 0$时，到曲线$C \in |m\hat{\omega}|$的限制映射在闭点集上诱导出单射。
• 使用中心荷公式$Z(E) = \text{rk}(E)\frac{\omega^2}{2} + i(c_1(E)\omega - \text{rk}(E)\beta\omega) + c(E)$定义Bridgeland稳定性，并将相位1的对象识别为满足$\mu_{\omega}(E) = \beta\omega$的对象。
• 应用$t$-结构的中心$\mathcal{A}(\beta,\omega)$来定义Bridgeland稳定性条件，确保相位1的半稳定对象与临界情况下的多项式半稳定对象一致。

实验结果

研究问题

• RQ1 K3曲面上Bridgeland半稳定复形的模堆栈能否与它的Fourier-Mukai对偶上$\mu$-半稳定局部自由层的模堆栈同构？
• RQ2 从Bridgeland模堆栈到曲线上半稳定层射影概形的态射，是否即使在不假设秩-度数互质的情况下，也能在闭点集上诱导出单射？
• RQ3 能否通过Bridgeland稳定性，将Bruzzo-Maciocia关于Hilbert概形与Gieseker稳定层模空间之间的同构关系，推广到包含$\mu$-半稳定层的情形？
• RQ4 所有给定陈特征$\hat{ch}$的$\mu_{\hat{\omega}}$-半稳定无扭层是否都是$X$上Bridgeland半稳定对象在Fourier-Mukai变换下的像？

主要发现

• 在条件$\mu_{\omega}(E) = \beta\omega$下，K3曲面$X$上Bridgeland半稳定对象的模堆栈$\mathcal{M}^{\sigma ss}_{X,ch}$与它的Fourier-Mukai对偶$\hat{X}$上$\mu$-半稳定局部自由层的模堆栈$\mathcal{M}^{\mu ss,lf}_{\hat{X},\hat{ch}}$之间存在同构关系。
• 构造了一个从Bridgeland模堆栈到光滑曲线$C \subset \hat{X}$上半稳定层射影概形的态射$\gamma\alpha\Psi_{\mathcal{M}}: \mathcal{M}^{\sigma ss}_{X,ch} \to M^{ss}_{C,(r,d)}$，该态射在闭点集上诱导出单射。
• 证明表明，所有给定陈特征$\hat{ch}$的$\mu_{\hat{\omega}}$-半稳定无扭层在$\hat{X}$上都是$X$上$\sigma$-半稳定对象在Fourier-Mukai变换下的像，这意味着对于此$\hat{ch}$，不存在非局部自由的$\mu$-半稳定层。
• 模堆栈$\mathcal{M}^{\sigma ss}_{X,ch}$是普遍闭的，因为它是通过一个普遍闭态射从一个普遍闭堆栈像得到的。
• 该结果将Bruzzo-Maciocia关于$\text{Hilb}^n(X)$与$\hat{X}$上Gieseker稳定层模空间之间的同构关系，推广到包含$\mu$-半稳定层的情形，通过将Hilbert概形视为Bridgeland半稳定复形的一个子堆栈来实现。