[论文解读] Crepant resolutions and brane tilings I: Toric realization

Sergey Mozgovoy|ArXiv.org|Aug 24, 2009

Algebraic structures and combinatorial models参考文献 23被引用 27

一句话总结

本文利用 quiver 表示的模空间，提供了从 brane tilings 衍生的三维 Calabi-Yau 变体的所有交换型 crepant 分辨的 toric 描述。它建立了 brane tilings、非交换型 crepant 分辨与三维情形下的 McKay 对应之间的联系，表明通过完美匹配构造的显式 toric 图形，交换型与非交换型 crepant 分辨的导出范畴是等价的。

ABSTRACT

Given a brane tiling, that is, a bipartite graph on a torus, we can associate with it a singular 3-Calabi-Yau variety. In this paper we study its commutative and non-commutative crepant resolutions. We give an explicit toric description of all its commutative crepant resolutions. We also explain how the McKay correspondence in dimension 3 can be interpreted using brane tilings.

研究动机与目标

• 提供从 brane tilings 衍生的奇异 3-维 Calabi-Yau 变体的所有交换型 crepant 分辨的显式 toric 描述。
• 证明与一致 brane tiling 相关的 quiver 潜在代数是相应奇点的非交换型 crepant 分辨。
• 通过 brane tilings 和完美匹配解释三维 McKay 对应。
• 从 brane tiling 的完美匹配重构 crepant 分辨的 toric 图形。
• 证明 quiver 潜在代数的 $\theta$-半稳定表示的模空间实现 $G$-簇的 Hilbert 方程，从而为 crepant 分辨赋予 toric 结构。

提出的方法

• 利用面与顶点之间的对偶性，构造 torus 上 brane tiling 的对偶 quiver $Q$ 和潜在 $W$。
• 定义 quiver 潜在代数 $\mathbb{C}Q/( abla W)$，并在一致性条件下证明其为 3-维 Calabi-Yau 代数。
• 利用 Van den Bergh 定理证明：维度 $\alpha = (1,\dots,1)$ 的 $\theta$-半稳定表示的模空间 $\mathcal{M}_\theta$ 给出交换型 crepant 分辨。
• 通过其余支撑刻画 $\mathcal{M}_\theta$ 中的轨道：0-维轨道对应三个完美匹配的并集，1-维轨道对应两个的并集，2-维轨道对应单个完美匹配。
• 利用与完美匹配 $I$ 相关的 $\mathbb{Q}$-值函数 $\overline{\chi}_I$，将其映射至 $M_\mathbb{Q}^\vee$，从而从完美匹配重构 $\mathcal{M}_\theta$ 的 toric 图形。
• 对于有限阿贝尔子群 $G \subset \mathrm{SL}_3(\mathbb{C})$，构造一个 brane tiling，其 quiver 潜在代数给出 $\mathbb{C}^3/G$ 的非交换型 crepant 分辨，并证明对合适的 $\theta$ 有 $\mathcal{M}_\theta \cong \mathrm{Hilb}^G(\mathbb{C}^3)$。

实验结果

研究问题

• RQ1 如何以显式 toric 术语描述从 brane tiling 衍生的 3-维 Calabi-Yau 变体的所有交换型 crepant 分辨？
• RQ2 branetiling 中的完美匹配与相应 crepant 分辨的 toric 数据之间的确切关系是什么？
• RQ3 三维情形下的 McKay 对应如何从 brane tilings 和 quiver 表示的结构中浮现？
• RQ4 能否将 $\mathbb{C}^3$ 中 $G$-簇的 Hilbert 方程实现为从 brane tiling 衍生的 quiver 与潜在的表示模空间？
• RQ5 $\theta$-稳定性在决定 crepant 分辨的 toric 结构中起什么作用？

主要发现

• 所有从 brane tiling 衍生的奇异 3-维 Calabi-Yau 变体的交换型 crepant 分辨，均作为 quiver 潜在代数的 $\theta$-半稳定表示的模空间 $\mathcal{M}_\theta$ 实现。
• 通过 brane tiling 的完美匹配重构 $\mathcal{M}_\theta$ 的 toric 图形，每个完美匹配在 $M_\mathbb{Q}^\vee$ 中贡献一个向量。
• $\mathcal{M}_\theta$ 中 0-维轨道的余支撑是三个完美匹配的并集，1-维轨道对应两个的并集，2-维轨道对应单个完美匹配。
• 对于 $G = \mathbb{Z}_6$ 且作用为 $\frac{1}{6}(1,2,3)$ 的情形，$\theta$-稳定完美匹配列于表 2，其并集确定了 $\mathrm{Hilb}^G(\mathbb{C}^3)$ 的 toric 图形，与 Nakamura 的构造一致。
• 对应 Hilbert 方程的 $\theta$ 的模空间 $\mathcal{M}_\theta$ 同构于 $\mathrm{Hilb}^G(\mathbb{C}^3)$，确认了该分辨的 toric 结构。
• 交换型与非交换型 crepant 分辨的导出范畴是等价的，通过 Van den Bergh 框架推广了 McKay 对应。