[论文解读] Flops and mutations for crepant resolutions of polyhedral singularities

Álvaro Nolla de Celis, Yuhi Sekiya|arXiv (Cornell University)|Aug 11, 2011

Algebraic structures and combinatorial models参考文献 32被引用 5

一句话总结

本文建立了 $\mathbb{C}^3/G$ 的多面体奇点的创痕解析中与排除平凡顶点的 McKay 伴随quiver带势的变异之间的一一对应关系。它表明所有射影创痕解析均可作为稳定性条件空间中各区域的伴随表示模空间实现，并通过墙穿跃与伴随quiver变异，明确描述了创痕的几何与代数结构，利用收缩代数确认了某些曲线的非创痕性。

ABSTRACT

Let $G$ be a polyhedral group $G\subset SO(3)$ of types $\mathbb{Z}/n\mathbb{Z}$, $D_{2n}$ and $\mathbb{T}$. We prove that there exists a one-to-one correspondence between flops of $G$-Hilb$\mathbb{C}^3$ and mutations of the McKay quiver with potential which do not mutate the trivial vertex. This correspondence provides two equivalent methods to construct every projective crepant resolution for the singularities $\mathbb{C}^3/G$, which are constructed as moduli spaces $\mathcal{M}_C$ of quivers with potential for some chamber $C$ in the space $Θ$ of stability conditions. In addition, we study the relation between the exceptional locus in $\mathcal{M}_C$ with the corresponding quiver $Q_C$, and we describe explicitly the part of the chamber structure in $Θ$ where every such resolution can be found.

研究动机与目标

• 建立 $\mathbb{C}^3/G$ 的所有射影创痕解析的完整分类，其中 $G$ 为 $SO(3)$ 的有限子群。
• 证明每个此类解析均可作为稳定性条件空间 $\Theta$ 中某区域 $C$ 的伴随表示模空间 $\mathcal{M}_C$ 实现。
• 证明这些解析之间的创痕与不作用于平凡顶点的 McKay 伴随quiver带势的变异之间存在双射关系。
• 描述每个解析中例外子从的几何结构以及每个解析被实现的 $\Theta$ 中的区域结构。
• 通过收缩代数分析特定有理曲线（如四面体情形下的 $(-3,1)$-曲线）的非创痕性。

提出的方法

• 为稳定性条件空间 $\Theta$ 中的通用稳定性条件 $\theta$ 的各区域 $C \subset \Theta$ 构造所有射影创痕解析，作为 McKay 伴随quiver带势的表示模空间 $\mathcal{M}_C$。
• 在稳定性条件空间 $\Theta$ 中使用墙穿跃，将创痕视为相邻区域 $C$ 与 $C'$ 之间的转变，仅当墙穿跃诱导创痕时，模空间 $\mathcal{M}_C$ 与 $\mathcal{M}_{C'}$ 同构。
• 对不包含平凡顶点的 McKay 伴随quiver带势应用伴随quiver变异，生成新伴随quiver，其关联的模空间可在不同区域中实现相同的解析。
• 依赖于带势伴随quiver的导出范畴与解析上凝聚层的导出范畴之间的等价性，确保变异保持 NCCR 结构。
• 通过从模 $M = \bigoplus M_i$ 中移除一个顶点（如 $M_3$）获得收缩代数，以检验收缩的小性并确定曲线的非创痕性。
• 使用显式矩阵表示与特征值分析，表明某些曲线（如 $(-3,1)$-曲线）由于收缩行为非小，故非创痕。

实验结果

研究问题

• RQ1 在 $G$-Hilb($\mathbb{C}^3$) 中，是否存在与排除平凡顶点的 McKay 伴随quiver带势变异之间的一一对应关系？
• RQ2 每个 $\mathbb{C}^3/G$ 的射影创痕解析是否均可作为 $\Theta$ 中某区域 $C \subset \Theta$ 的模空间 $\mathcal{M}_C$ 实现？
• RQ3 在 $\mathcal{M}_C$ 中的例外子从如何与区域 $C$ 关联的伴随quiver $Q_C$ 的结构相关？
• RQ4 $\Theta$ 中参数化所有此类创痕解析的区域结构是什么？
• RQ5 四面体情形下的 $(-3,1)$-曲线是否可创痕化？能否通过收缩代数从代数上确定？

主要发现

• 在 $G$-Hilb($\mathbb{C}^3$) 中的创痕与不作用于平凡顶点的 McKay 伴随quiver带势变异之间存在一一对应关系，为所有射影创痕解析提供了两种等价构造方式。
• 所有 $G$ 为 $SO(3)$ 的多面体子群时的 $\mathbb{C}^3/G$ 的射影创痕解析，均可作为 $\Theta$ 中区域 $C$ 的模空间 $\mathcal{M}_C$ 实现。
• $\mathcal{M}_C$ 中的例外子从对应于具有非平凡 Jordan-Hölder 因子的 $\theta$-稳定表示，其几何结构由伴随quiver $Q_C$ 编码。
• $\Theta$ 中的区域结构是有限个凸多面锥的并集，每个区域通过 $\mathcal{M}_C$ 对应一个不同的解析。
• 四面体情形下的 $(-3,1)$-曲线不可创痕化，通过构造收缩代数并证明相关收缩非小，且奇异直线的原像为非约化概形，从而证实。
• 收缩代数 $\Gamma = \mathrm{End}_{S^G}(M/M_3)$ 同构于带关系的路径代数，其模空间 $Y$ 包含一条奇异直线，确认映射非小，因此该曲线不可创痕化。