[论文解读] Perverse coherent sheaves on blow-up. I. a quiver description

Hiraku Nakajima, Kōta Yoshioka|ArXiv.org|Feb 21, 2008

Algebraic structures and combinatorial models参考文献 10被引用 12

一句话总结

本文提供了对射影平面的爆破上奇点凝聚层模空间的箭图理论描述，证明在特定稳定性区域中，这些模空间同构于原始曲面上的无挠层模空间。关键贡献在于通过参数化为 $(\zeta_0, \zeta_1)$ 的稳定性条件，几何实现布里吉德兰的奇点 $t$-结构，其中区域 $\zeta_0 < 0, \zeta_1 < 0$ 对应奇点凝聚层，并导致与 $\mathbb{P}^2$ 上模空间的同构。这揭示了一种类比于极化变化的墙穿跃现象。

ABSTRACT

This is the first of two papers studying moduli spaces of a certain class of coherent sheaves, which we call {\it stable perverse coherent sheaves}, on the blowup of a projective surface. They are used to relate usual moduli spaces of stable sheaves on a surface and its blowup. In this first part, we give a quiver (or ADHM) description of moduli spaces for framed perverse coherent sheaves on the blowup of the projective plane.

研究动机与目标

• 提供对 $\mathbb{P}^2$ 的爆破上奇点凝聚层模空间的箭图理论描述。
• 通过稳定性区域转换，将 $\widehat{\mathbb{P}}^2$ 上带框架的层模空间与 $\mathbb{P}^2$ 上的模空间联系起来。
• 证明在区域 $\zeta_0 < 0, \zeta_1 < 0$ 中，带框架的奇点凝聚层模空间同构于 $\mathbb{P}^2$ 上带框架的无挠层模空间。
• 阐明稳定性条件在爆破的导出范畴中布里吉德兰 $t$-结构背景下的作用。

提出的方法

• 将 $\widehat{\mathbb{P}}^2$ 上的带框架层表示为带关系的箭图表示，利用几何不变性理论（GIT）商。
• 引入双参数稳定性条件 $\zeta = (\zeta_0, \zeta_1)$，以参数化稳定性空间中的不同区域。
• 通过 $\operatorname{Hom}(\mathcal{O}_C, E)$ 和 $\operatorname{Hom}(E(-C), \mathcal{O}_C)$ 的消失，将区域 $\zeta_0 < 0, \zeta_1 < 0$ 识别为对应奇点凝聚层。
• 利用箭图表示证明在此区域中 $d$ 是满射，从而推出框架维数 $k=0$。
• 从 $^{0}\zeta$-稳定表示的模空间到 $\mathbb{P}^2$ 上无挠层模空间的态射构造，当 $k=0$ 时证明同构。
• 分析由 $m\zeta_0 + (m+1)\zeta_1 = 0$ 定义的墙之间的穿跃行为，对应于涉及 $\mathcal{O}_C(-m-1)$ 的扩张。

实验结果

研究问题

• RQ1 如何利用带稳定性条件的箭图表示来描述 $\mathbb{P}^2$ 的爆破上的奇点凝聚层？
• RQ2 带框架的层在 $\widehat{\mathbb{P}}^2$ 上的模空间与在 $\mathbb{P}^2$ 上的模空间之间存在何种几何关系？
• RQ3 在稳定性参数空间的哪个区域中，奇点凝聚层的模空间会同构于 $\mathbb{P}^2$ 上无挠层的模空间？
• RQ4 稳定性参数空间中的穿跃结构如何与爆破的几何及导出范畴相关联？
• RQ5 框架在实现对应于奇点凝聚层的稳定性条件中起什么作用？

主要发现

• 当 $k=0$ 时，$^{0}\zeta$-稳定表示的模空间 $\widehat{M}_{{}^{0}\zeta}(r,0,n)$ 同构于 $\mathbb{P}^2$ 上无挠层的模空间 $M(r,n)$，这通过同构 $d$ 的逆构造得以证明。
• 在区域 $\zeta_0 < 0, \zeta_1 < 0$ 中，态射 $\widehat{M}_{{}^{0}\zeta}(r,k,n) \to M(r,\dim V_0)$ 是良定义的，且 $d$ 是满射，从而推出当 $k > 0$ 时 $\widehat{M}_{{}^{0}\zeta}(r,k,n) = \emptyset$。
• 墙 $m\zeta_0 + (m+1)\zeta_1 = 0$ 对应于涉及 $\mathcal{O}_C(-m-1)^{\oplus p}$ 的扩张，穿越该墙会交换扩张序列中核与余核的角色。
• 与 $\zeta_0 + \zeta_1 = 0$ 相邻的区域对应于 $\widehat{\mathbb{P}}^2$ 上带框架局部自由层的金稳定性条件，其模空间同构于带框架模空间的乌伦贝克紧化。
• $\operatorname{Hom}(\mathcal{O}_C, E) = 0$ 的条件等价于 $p_*E$ 在爆破点处为无挠，且该条件在关于 $\mathcal{O}(-mC)$ 的扭变下保持不变。
• 箭图描述通过参数化稳定性条件的GIT商，实现了布里吉德兰在 $\mathrm{D}^b(\mathrm{Coh}(\widehat{\mathbb{P}}^2))$ 上的奇点 $t$-结构，表明奇点凝聚层在此框架中自然出现。