[论文解读] Stability conditions on $A_n$-singularities

Akira Ishii, Kazushi Ueda+1 more|arXiv (Cornell University)|Sep 20, 2006

Algebraic structures and combinatorial models参考文献 38被引用 13

一句话总结

该论文证明了在 $A_n$-奇点的凝聚层的导出范畴上，其局部有限的稳定性条件空间在例外除子上是连通且单连通的。通过使用同调镜像对称、球面对象分类以及 braid 群作用，作者通过一个特殊开子集证明了连通性，该子集中所有点的结构层都是稳定的；并通过证明一个仿射 braid 群作用的忠实性，证明了单连通性，该结果通过形变理论从特征二推广至任意特征。

ABSTRACT

We study the spaces of locally-finite stability conditions on the derived categories of coherent sheaves on the minimal resolutions of $A_n$-singularities supported at the exceptional sets. Our main theorem is that they are connected and simply-connected. The proof is based on the study of spherical objects in math.AG/0409151 and the homological mirror symmetry for $A_n$-singularities.

研究动机与目标

• 研究与 $A_n$-奇点相关的导出范畴上局部有限稳定性条件空间的拓扑结构。
• 确立在导出范畴 $\mathcal{D}$ 上、支持于例外集合的稳定性条件空间是连通且单连通的。
• 将 Bridgeland 对 $K3$ 表面的稳定性流形单连通性猜想推广至 $A_n$-奇点的情形。
• 证明仿射 braid 群在导出范畴 $\mathcal{D}$ 上的作用是忠实的，该结果对单连通性结论至关重要。
• 通过复形的形变理论，将特征二下的忠实性结果提升至任意特征。

提出的方法

• 构造 $\operatorname{Stab}\mathcal{D}$ 的一个特殊开子集，其中所有闭点的结构层都是稳定的，从而保证连通性。
• 利用 Khovanov 和 Seidel 的技术，在特征二下证明仿射 braid 群在 $\mathcal{D}$ 上的作用是忠实的。
• 通过 Inaba 的工作，利用复形的形变理论，将特征二下的忠实性结果提升至任意特征。
• 应用 $A_n$-奇点的同调镜像对称，将导出范畴与 Fukaya 范畴联系起来，从而实现对稳定性条件的几何解释。
• 利用 Ishii 和 Uehara 对 $\mathcal{D}$ 中球面对象的分类，分析稳定性条件的结构。
• 通过 Khovanov 和 Seidel 的拓扑模型，将 $\mathcal{C}$ 的连通性问题约化为圆盘上曲线配置的问题。

实验结果

研究问题

• RQ1 在 $A_n$-奇点的例外集合上支持的导出范畴 $\mathcal{D}$ 的局部有限稳定性条件空间是否连通？
• RQ2 如 Bridgeland 对 $K3$ 表面所猜想的那样，空间 $\operatorname{Stab}\mathcal{D}$ 是否是单连通的？
• RQ3 仿射 braid 群是否在导出范畴 $\mathcal{D}$ 上忠实作用？该忠实性能否从特征二提升至任意特征？
• RQ4 当 $\mathcal{C}$ 不包含任何结构层时，是否可以不依赖结构层来建立 $\operatorname{Stab}\mathcal{C}$ 的连通性？
• RQ5 同调镜像对称在 $A_n$-奇点上的应用，在多大程度上促进了对此类情境下稳定性条件的分析？

主要发现

• 通过识别一个所有结构层都稳定的特殊开子集，证明了空间 $\operatorname{Stab}\mathcal{D}$ 是连通的。
• 通过仿射 braid 群作用的忠实性，证明了空间 $\operatorname{Stab}\mathcal{D}$ 是单连通的。
• braid 群作用的忠实性首先在特征二下证明，随后通过复形的形变理论提升至任意特征。
• 通过约化为圆盘上曲线的配置，结合 Ishii 和 Uehara 的结果以及 Khovanov 和 Seidel 的思想，建立了 $\operatorname{Stab}\mathcal{C}$ 的连通性。
• 结果证实了 Bridgeland 对于 $A_n$-奇点情形下稳定性流形的特殊连通分支的单连通性猜想。
• 证明了 $\mathcal{D}$ 上的一个自同构由一个积分函子给出，支持了导出范畴的几何结构。