[论文解读] Stability conditions and extremal contractions

Yukinobu Toda|arXiv (Cornell University)|Apr 3, 2012

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

一句话总结

该论文证明了从光滑射影三维流形和曲面出发的极小收缩，可作为凝聚层导出范畴中 Bridgeland（半）稳定对象的模空间。通过一参数族的稳定性条件，表明原始流形 $X$ 与极小收缩的目标 $Y$ 依据稳定性参数的不同，分别被实现为精细或粗模空间，而收缩则通过对应于从 $Y$ 拉回的 ample 类的临界稳定性条件下的墙穿越来实现。其主要贡献在于通过稳定性条件，对极小模型程序的第一步进行了范畴化实现。

ABSTRACT

We show that any extremal contraction from a smooth projective variety with dimension less than or equal to three appears as a moduli space of (semi)stable objects in the derived category of coherent sheaves.

研究动机与目标

• 研究极小模型程序（MMP）中的极小收缩是否可被实现为凝聚层导出范畴中 Bridgeland（半）稳定对象的模空间。
• 利用稳定性条件，为维数 ≤3 的代数簇建立 MMP 第一步的范畴化解释。
• 构造一参数族的稳定性条件，使得在墙穿越来临时，稳定对象的模空间从 $X$ 转变为 $Y$。
• 验证极小收缩的目标流形 $Y$ 是否由导出范畴中半稳定对象的模函子核心表示。

提出的方法

• 为 $t \in (-1,1)$ 构造一参数族的 Bridgeland 稳定性条件 $\sigma_t = (Z_{f^*\omega + \varepsilon t D}, \mathcal{P}_t)$，其中 $f: X \to Y$ 为极小收缩。
• 定义中心荷 $Z_{f^*\omega}(E) = -\int_X e^{-i f^*\omega} \mathop{\rm ch}\nolimits(E)$，将稳定性条件与 $Y$ 上 ample 除子的拉回联系起来。
• 通过扭曲 perverse 心 $\mathop{\rm Per}\nolimits(X/Y)$ 来定义 $t=0$ 处的中心 $\mathcal{B}_{f^*\omega}$，对应几何腔的边界。
• 证明当 $t < 0$ 时，$X$ 是稳定性条件 $\sigma_t$-稳定对象（满足 $\mathop{\rm ch}\nolimits(E) = \mathop{\rm ch}\nolimits(\mathcal{O}_x)$）的精细模空间；而当 $t > 0$ 时，$Y$ 成为精细模空间。
• 当 $t = 0$ 时，$Y$ 是半稳定对象 $S$-等价类的粗模空间。
• 通过 $\mathop{\rm Hom}(\ast, Z)$ 的函子核心表示，证明 $Y$（或当 $f(D)$ 为曲线时的 $\widetilde{Y}$）核心表示半稳定对象的模函子。

实验结果

研究问题

• RQ1 每个维数 ≤3 的光滑射影代数簇的极小收缩 $f: X \to Y$ 是否都可被实现为 $D^b\mathop{\rm Coh}\nolimits(X)$ 中 Bridgeland 稳定对象的模空间？
• RQ2 稳定性条件空间中的墙穿越来是否对应于 MMP 中从 $X$ 到 $Y$ 的几何转变？
• RQ3 极小收缩的目标流形 $Y$ 是否由导出范畴中半稳定对象的模函子核心表示？
• RQ4 几何腔在稳定性条件空间中的作用是什么？其边界与 $Y$ 的 ample 锥的拉回有何关系？
• RQ5 当稳定性条件穿过 $t=0$ 处的墙时，稳定对象的模空间如何演化？

主要发现

• 对于曲面，一参数族 $\sigma_t$（$t \in (-1,1)$）在 $t < 0$ 时将 $X$ 实现为精细模空间，在 $t = 0$ 时将 $Y$ 实现为粗模空间，在 $t > 0$ 时将 $Y$ 实现为精细模空间，转变发生在 $t=0$。
• 稳定性条件 $\sigma_0 = (Z_{f^*\omega}, \mathcal{B}_{f^*\omega})$ 位于几何腔的边界，对应于将 $Y$ 的 ample 锥拉回到 $X$，从而将 nef 锥与稳定性条件空间联系起来。
• 当 $f(D)$ 为点时，$Y$ 核心表示模函子 $\mathcal{M}^{\sigma_{B,f^*\omega}}([\mathcal{O}_x])$，且映射 $Y \to Z$ 通过核心表示性质诱导而出。
• 当 $f(D)$ 为曲线时，模空间被实现为 $\widetilde{Y} = Y \cup (f(D) \times f(D))$，沿对角线粘合，且 $\widetilde{Y}$ 核心表示模函子。
• 当 $t > 0$ 时，模空间预期与 $Y$ 同构，尽管 $t > 0$ 时稳定性条件 $\sigma_t$ 的显式描述仍为猜想。
• 该构造表明，整个 MMP 步骤可被理解为稳定性条件空间中的墙穿越来实现，且导出范畴编码了双有理几何。