[论文解读] Flops of G-Hilb and equivalences of derived categories by variation of GIT quotient

Alastair Craw, Akira Ishii|arXiv (Cornell University)|Nov 22, 2002

Advanced Algebra and Geometry被引用 4

一句话总结

该论文证明了对于有限阿贝尔子群 $G \subset \mathrm{SL}(3,\mathbb{C})$，商奇点 $\mathbb{C}^3/G$ 的每个射影平展解析解都可通过 GIT 商的参数变化作为 $\theta$-稳定 $G$-构型的模空间 $\mathcal{M}_\theta$ 实现。关键结果是通过参数空间 $\Theta$ 的墙-壁结构对这些解析解进行了完整分类，并在相邻墙之间建立了模空间之间的显式导出等价性。

ABSTRACT

For a finite subgroup G in SL(3,C), Bridgeland, King and Reid proved that the moduli space of G-clusters is a crepant resolution of the quotient C^3/G. This paper considers the moduli spaces M_θ, introduced by Kronheimer and further studied by Sardo Infirri, which coincide with G-Hilb for a particular choice of the GIT parameter θ. For G Abelian, we prove that every projective crepant resolution of C^3/G is isomorphic to M_θfor some parameter θ. The key step is the description of GIT chambers in terms of the K-theory of the moduli space via the appropriate Fourier--Mukai transform. We also uncover explicit equivalences between the derived categories of moduli M_θfor parameters lying in adjacent GIT chambers.

研究动机与目标

• 确定对于有限阿贝尔群 $G \subset \mathrm{SL}(3,\mathbb{C})$，$\mathbb{C}^3/G$ 的每个射影平展解析解是否都能通过 GIT 商的参数变化实现为模空间 $\mathcal{M}_\theta$。
• 理解参数空间 $\Theta$ 的墙结构与 $K$-理论及傅里叶-穆凯伊变换之间的关系。
• 构造相邻 GIT 墙中模空间 $\mathcal{M}_\theta$ 的导出范畴之间的显式导出等价性。
• 建立解析解的几何结构与 GIT 构造中稳定性参数 $\theta$ 之间的对应关系。

提出的方法

• 利用几何不变性理论（GIT）构造 $\theta$-稳定与 $\theta$-半稳定的 $G$-构型的模空间 $\mathcal{M}_\theta$ 与 $\overline{\mathcal{M}_\theta}$。
• 利用布里吉德兰、金与里德的导出等价性 $\Phi_C: D(\mathcal{M}_C) \to D^G(\mathbb{C}^3)$，将 $\mathcal{M}_C$ 与等变导出范畴联系起来。
• 定义映射 $L_C: \Theta \to \mathrm{Pic}(\mathcal{M}_C)_{\mathbb{Q}}$，将稳定性参数 $\theta$ 映射到 $\mathcal{O}_{\mathcal{M}_\theta}(1)$ 的正线丛，从而将 $\theta$ 与正锥联系起来。
• 通过双射映射 $\varphi_C^*: \mathrm{Hom}_{\mathbb{Z}}(R(G), \mathbb{Q}) \to K(\mathcal{M}_C)_{\mathbb{Q}}$ 的像分析 $\Theta$ 的墙分解，识别出 $F^1/F^2 \cong \mathrm{Pic}(\mathcal{M}_C)_{\mathbb{Q}}$。
• 利用 McKay 图与表示理论计算 $\mathrm{G\text{-}Ext}^1(Q,S)$，证明其维数等于 $\mathrm{Band}(Q,S)$ 的连通分支数，该数控制刚性与形变。
• 证明 $\mathrm{Band}(Q,S)$ 的连通分支数最多为两个，且连通性意味着商层 $Q$ 的刚性。

实验结果

研究问题

• RQ1 对于有限阿贝尔群 $G \subset \mathrm{SL}(3,\mathbb{C})$，$\mathbb{C}^3/G$ 的每个射影平展解析解是否都能实现为某个 GIT 参数 $\theta$ 对应的模空间 $\mathcal{M}_\theta$？
• RQ2 参数空间 $\Theta$ 的墙结构如何与模空间 $\mathcal{M}_\theta$ 的几何结构相关联？
• RQ3 相邻 GIT 墙中参数对应的模空间 $\mathcal{M}_\theta$ 的导出范畴之间存在何种关系？
• RQ4 $\mathrm{Band}(Q,S)$ 的拓扑性质如何决定 $G$-构型的刚性与形变空间？
• RQ5 傅里叶-穆凯伊变换在连接 $\mathcal{M}_\theta$ 的 $K$-理论与表示环 $R(G)$ 之间起到何种作用？

主要发现

• 对于有限阿贝尔群 $G \subset \mathrm{SL}(3,\mathbb{C})$，$\mathbb{C}^3/G$ 的每个射影平展解析解都同构于某个 GIT 参数 $\theta$ 对应的 $\mathcal{M}_\theta$，证明了所有此类解析解均可作为 $\theta$-稳定 $G$-构型的模空间实现。
• 映射 $L_C: \Theta \to \mathrm{Pic}(\mathcal{M}_C)_{\mathbb{Q}}$ 将每个墙 $C$ 映射到 $\mathcal{M}_C$ 的正锥，建立了稳定性参数与线丛之间的直接联系。
• 对于相邻 GIT 墙中的参数，导出范畴 $D(\mathcal{M}_C)$ 与 $D(\mathcal{M}_{C'})$ 通过显式构造的傅里叶-穆凯伊变换实现等价，该变换源于墙穿越的几何结构。
• $\mathrm{G\text{-}Ext}^1(Q,S)$ 的维数等于 $\mathrm{Band}(Q,S)$ 的连通分支数，且该数最多为两个，连通性意味着商层 $Q$ 的刚性。
• 当 $\mathrm{Fill}(S)$ 单连通时，$G$-层 $S$ 是刚性的，因为所有形变均被自同构消除，表明 $\mathrm{Band}(Q,S)$ 的拓扑性质控制形变理论。
• 该构造通过 $\Theta$ 的墙分解，对 $\mathbb{C}^3/G$ 的平展解析解提供了完整分类，每个墙对应一个不同的解析解。