Ishii's conjecture and Bridgeland stability conditions for dihedral reflection groups

技术摘要：Ishii 猜想与二面体反射群的 Bridgeland 稳定性条件

问题陈述
本文探讨了 Ishii 猜想，该猜想涉及在非创解（non-crepant resolutions）背景下，双有理几何与非交换代数表示模空间之间的关系。具体而言，对于有限子群 $G \subset GL_2(\mathbb{C})$，该猜想断言：商奇点 $\mathbb{C}^2/G$ 的一个解 $X$ 被对 $(\mathbb{C}^2/G, B)$（其中 $B$ 为边界除子）的最大解所支配，当且仅当 $X$ 同构于某个通用 King 稳定性参数 $\theta \in \Theta(G)$ 下的 $\theta$-稳定 $G$-构型（$G$-constellations）的模空间 $M_\theta$。尽管该猜想此前已在阿贝尔群和小群情形下得到证明，随后 Capellan 利用 $\mathbb{C}^3$ 上的 GIT 变分证明了二面体反射群情形，但本文旨在利用 Bridgeland 稳定性条件的框架，专门为二面体反射群提供一个新的证明。

方法论
作者的策略依赖于导出 McKay 对应，将问题从 $G$-构型的代数背景转换到特定 Deligne-Mumford (DM) 叠上的 Bridgeland 稳定性条件的几何背景。

1. 几何设定：设 $G$ 为二面体反射群，$H = G \cap SL_2(\mathbb{C})$。作者考虑 $Y_H = H\text{-Hilb}(\mathbb{C}^2)$，即 $\mathbb{C}^2/H$ 的最小解，并构造叠 $Y = [Y_H / (G/H)]$。该叠 $Y$ 充当 Ishii 猜想中的最大解。
2. 导出等价：一个关键工具是由 $H$-簇（$H$-clusters）的普适族诱导的精确等价 $\Phi: D^b_c(Y) \cong D^b_c([\mathbb{C}^2/G])$，它将叠的导出范畴与商叠的导出范畴联系起来。
3. 几何构造（$\mu_{geom}$）：借鉴 Toda 关于曲面的工作，作者构建了一个从参数空间（涉及轨道 Neron-Severi 群 $NS_{orb}(Y)_\mathbb{R}$）到稳定性流形 $\text{Stab}_n(Y)$ 的连续映射 $\mu_{geom}$。这包括：
   • 定义与收缩 $Y \to X$ 相关的特定 $t$-结构心（$\mathcal{C}^0_{Y/X}$）。
   • 在 $D^b_c(Y)$ 上构建中心荷 $Z_{\omega, B}^{t, s}$，这些荷同时融合了了解的几何性质和叠的扭曲扇区。
   • 确立对于特定开室 $U(X)$ 中的参数，具有类 $[\pi^* \mathcal{O}_y]$ 的稳定对象的 Bridgeland 模空间同构于收缩 $X$。
4. 代数构造（$\mu_{alg}$）：作者利用 Bayer–Craw–Zhang 构造，该构造提供了一个从 King 稳定性参数空间 $\Theta(G)$ 到 $\text{Stab}([\mathbb{C}^2/G])$ 的连续映射 $\mu'_{alg}$。
5. 比较与拼接：核心技术成就在于比较这两种构造。通过 $\Phi$ 识别稳定性流形，并应用旋转作用及参数变换（通过同构 $\gamma$ 和 $\delta$），作者证明了在其公共定义域上，几何截面 $\mu_{geom}$ 与代数截面 $\mu_{alg}$ 重合。这需要在一个辅助参数空间 $B$ 中进行变形，以确保定义域重叠，因为稳定性流形的标准实切片并不非平凡地相交。

主要贡献与结果

• 定理 A：对于最大解的任意光滑收缩 $Y \to X$，存在一个连通开子集 $U(X) \subset \text{Stab}_n(Y)$，使得对于任意 $\sigma \in U(X)$，Bridgeland 模空间 $M_\sigma([\pi^* \mathcal{O}_y])$ 同构于 $X$。此外，如果 $X$ 和 $X'$ 通过单次吹胀相关联，则它们对应室的交集具有实余维数一。
• 定理 B：在通过导出等价 $\Phi$ 识别稳定性流形并应用特定的参数变换和旋转后，几何映射（$\mu_{geom}$）和代数映射（$\mu'_{alg}$）的局部截面在其公共定义域上重合。
• 推论 1.3（二面体群的 Ishii 猜想）：结合定理 A 和定理 B，作者复现了 Capellan 的结果：对于每个收缩 $Y \to X$，存在一个 GIT 室 $V(X) \subset \Theta(G)$，使得对于通用 $\theta \in V(X)$，有 $M_\theta \cong X$。这证实了二面体反射群的 Ishii 猜想。
• 模空间的存在性：本文通过将 Bridgeland 模空间实现为通过导出等价得到的 King 模空间，解决了该非射影情形下 Bridgeland 模空间的存在性问题。

意义与主张
本文声称提供了二面体反射群 Ishii 猜想的“新证明”，该证明提供了不同于以往方法的视角。

• 概念框架：与 Capellan 的证明（依赖于将 $\mathbb{C}^2$ 嵌入 $\mathbb{C}^3$ 并研究 $\mathbb{C}^3$ 上的 GIT 变分）不同，该方法利用 Bridgeland 稳定性保持在二维设定内。
• 灵活性：作者认为，他们的方法将 Ishii 的原始方法修改为更灵活的框架（Bridgeland 模空间）。Ishii 的原始证明依赖于最小解支配特定商，而这一条件在二面体反射群情形下并不满足（在某种意义上，$\mathbb{C}^2/G$ 本身已是“最小解”）；Bridgeland 方法规避了这一障碍。
• 描述的简洁性：本文指出，在此背景下，Bridgeland 模空间的描述“非常简单”：对于收缩 $f: Y \to X$，模空间构造为 $\{L f^* \mathcal{O}_x \mid x \in X\}$。
• 壁跨越：该工作将最大解 $Y$ 的双有理几何编码到 Bridgeland 模空间的壁跨越现象中，将 Toda 对最小模型纲领（MMP）的诠释扩展到了这一特定的非创解、叠论背景。

作者在范围上保持谦逊，指出所考虑的叠类“相当特殊”，但该设定容纳了丰富的稳定性条件族。这项工作被呈现为二面体情形下猜想的证明，并展示了 Bridgeland 稳定性如何为 Ishii 猜想提供新视角，这可能适用于更一般的设定。