[论文解读] Wall crossing of the moduli spaces of perverse coherent sheaves on a blow-up

Kōta Yoshioka|arXiv (Cornell University)|Nov 18, 2014

Algebraic Geometry and Number Theory参考文献 23被引用 4

一句话总结

本文利用布里奇兰德稳定性条件，研究了在爆破曲面上的错位凝聚层模空间中的墙交叉行为。它证明了错位凝聚层的吉泽克型半稳定性在大体积极限下对应于布里奇兰德半稳定性，并表明稳定性参数空间上的墙与墙 chamber 结构源自代数上同调群中的一个正锥体，从而通过布里奇兰德稳定性统一了吉泽克稳定性与 μ-稳定性。

ABSTRACT

We give a remark on the wall crossing behavior of perverse coherent sheaves on a blow-up and stability condition constructed by Toda. We also explain the wall crossing of twisted stability in terms of stability condition.

研究动机与目标

• 理解在爆破曲面上错位凝聚层模空间的墙交叉行为。
• 将错位凝聚层的吉泽克型半稳定性与大体积极限下的布里奇兰德半稳定性联系起来。
• 通过墙与 chamber 结构，利用布里奇兰德稳定性统一吉泽克稳定性与 μ-稳定性。
• 构建从稳定性参数空间到模空间尼龙-塞弗雷群的映射，表明吉泽克 chamber 映射到 nef 锥内。

提出的方法

• 在代数上同调群 $ H^*(X,\mathbb{Q})_{\text{alg}} $ 上使用双线性型，分析 μ-半稳定层的波戈莫洛夫不等式。
• 应用倾斜法，为与双有理映射（特别是爆破）相关的错位凝聚层类别构造稳定性条件。
• 构造一个映射 $ \xi $ 从 $ \operatorname{NS}(X)_{\mathbb{R}} \times \operatorname{Amp}(X)_{\mathbb{R}} $ 到 $ v^\perp $ 中的正锥体，表明墙与 chamber 结构是该锥体的拉回。
• 引入 $ \mathbb{C}^2 $ 中原点的解析邻域 $ U \subset \mathbb{C}^2 $，以研究爆破情形下的墙交叉行为。
• 将同态 $ v^\perp \to \operatorname{NS}(M_H(v))_{\mathbb{Q}} $ 与映射 $ \xi $ 复合，得到映射 $ \operatorname{NS}(X)_{\mathbb{Q}} \times \operatorname{Amp}(X)_{\mathbb{Q}} \to \operatorname{NS}(M_H(v))_{\mathbb{Q}} $。
• 利用贝亚尔与马克拉的结果，证明吉泽克 chamber 的像是模空间 nef 锥内的部分。

实验结果

研究问题

• RQ1 在爆破曲面上，错位凝聚层模空间的墙交叉行为如何与布里奇兰德稳定性条件相关？
• RQ2 在大体积极限下，吉泽克半稳定性与布里奇兰德半稳定性之间有何关系？
• RQ3 稳定性参数空间 $ \operatorname{NS}(X)_{\mathbb{R}} \times \operatorname{Amp}(X)_{\mathbb{R}} $ 上的墙与 chamber 结构如何与模空间的几何相关？
• RQ4 吉泽克 chamber 是否可被表征为布里奇兰德稳定性条件空间中的一个 chamber，且其是否映射到 nef 锥内？
• RQ5 在 $ H^*(X,\mathbb{Q})_{\text{alg}} $ 上的双线性型在控制墙与 chamber 结构中起什么作用？

主要发现

• 在 $ \operatorname{NS}(X)_{\mathbb{R}} \times \operatorname{Amp}(X)_{\mathbb{R}} $ 上的墙与 chamber 结构是 $ v^\perp $ 上墙与 chamber 结构的拉回，意味着纤维上所有半稳定性都相同。
• 吉泽克 chamber 对应于稳定性参数空间中稳定性条件等价于大体积极限下布里奇兰德稳定性的区域。
• 对于满足 $ \operatorname{Pic}(X) = \mathbb{Z}H $ 的曲面 $ X $，由 $ w = v(\mathcal{O}_X) = (1,0,0) $ 定义的墙与 $ r $ 无关，且位于区域 $ s \leq 0 $ 内，其方程为 $ t^2 + s(s - \frac{2a}{(H^2)}) = 0 $。
• 当 $ (v^2) > (H^2) $ 时，在 $ 0 < s < \frac{1}{2} $ 之间无墙，而 $ s = \frac{1}{2} $ 与墙 $ W_{(1,0,0)} $ 之间的区域即为吉泽克 chamber。
• 吉泽克 chamber 在映射到 $ \operatorname{NS}(M_H(v))_{\mathbb{Q}} $ 下的像是位于 nef 锥内，此结论由贝亚尔与马克拉建立。
• 墙的集合是有限的，通过在陈特征分解中对整数 $ r_i, a_i $ 进行有界，结合双线性型与稳定性条件的约束，利用 $ r_i a_i $ 与 $ r_i $ 的有限性得出。