[论文解读] McKay correspondence

Miles Reid|arXiv (Cornell University)|Feb 25, 1997

Homotopy and Cohomology in Algebraic Topology被引用 76

一句话总结

本文将 McKay 对应关系表述为有限子群 $G \subset \operatorname{SL}(n,\mathbb{C})$ 的不可约表示与商奇点 $\mathbb{C}^n/G$ 的创痕型展开 $Y$ 的同调类之间的自然双射，建立了表示论与代数几何之间的深刻联系。其关键贡献是一个基于例子和 Nakamura 的 $G$-Hilbert 算法的猜想性范畴框架，通过 тор几何与弦论不变量实现这一对应关系，尤其在三维情形下表现突出。

ABSTRACT

This is a rough write-up of my lecture at Kinosaki and two lectures at RIMS workshops in Dec 1996, on work in progress that has not yet reached any really worthwhile conclusion, but contains lots of fun calculations. History of Vafa's formula, how the McKay correspondence for finite subgroups of SL(n,C) relates to mirror symmetry. The main aim is to give numerical examples of how the 2 McKay correspondences (1) representations of G cohomology of resolution (2) conjugacy classes of G homology must work, and to restate my 1992 Conjecture as a tautology, like cohomology or K-theory of projective space. Another aim is to give an introduction to Nakamura's results on the Hilbert scheme of G-clusters, following his preprints and his many helpful explanations. This is partly based on joint work with Y. Ito, and has benefited from encouragement and invaluable suggestions of S. Mukai.

研究动机与目标

• 建立有限群 $G \subset \operatorname{SL}(n,\mathbb{C})$ 的不可约表示与商空间 $\mathbb{C}^n/G$ 的创痕型展开 $Y$ 的同调类之间的自然对应关系。
• 为高维情形（尤其是 $n=3$）的 McKay 对应关系提供几何与上同调基础，超越已知的二维情形。
• 通过 Vafa 的弦论欧拉示性数与猜想 $e_{\text{string}}(M,G) = e(Y)$，将 McKay 对应关系与镜像对称及弦论联系起来。
• 提出 McKay 对应关系可作为上同调或 K-理论中的范畴性陈述推导而出，类似于 $\mathbb{P}^n$ 的结构。
• 探讨 Nakamura 的 $G$-Hilbert 算法作为特殊创痕型展开的作用，尤其在三流形中，及其作为 toric 算法的实现方式。

提出的方法

• 使用 GSp–V 线丛（范畴线丛）作为关键工具，将表示论与 $Y$ 的上同调联系起来。
• 应用 Nakamura 的 $G$-Hilbert 算法构造，定义一个规范的创痕型展开 $Y = G\text{-Hilb}$，尤其在 $n=3$ 时，取代非唯一的极小模型。
• 采用 toric 几何与年轻单纯形的剖分方法，将展开 $Y$ 描述为具有显式扇结构的 toric 算法。
• 利用牛顿多边形与格点分析，对 $G$-簇进行分类，并通过三脚架与类似拼图的三元组拼接方式描述展开的几何结构。
• 采用弦论欧拉示性数公式 $e_{\text{string}}(M,G) = \sum_{H \subset G} e(X_H) \cdot \#\{\text{共轭类在 } H\}$，将拓扑不变量与群特征理论联系起来。
• 构建 McKay quiver 及其基本域，以编码 $Y$ 的同调结构，给出局部坐标中 $G$-簇的显式方程。

实验结果

研究问题

• RQ1 McKay 对应关系能否被表述为 $G$ 的表示论与创痕型展开 $Y$ 的同调之间的范畴等价？
• RQ2 Nakamura 的 $G$-Hilbert 算法在 $n=3$ 维情形是否提供一个规范的创痕型展开，从而解决极小模型的非唯一性问题？
• RQ3 弦论欧拉示性数 $e_{\text{string}}(M,G)$ 与创痕型展开 $Y$ 的欧拉示性数之间有何关系？
• RQ4 在 $G$-Hilb 的 toric 描述中，两种不同的拼接规则（'上'与'下'三元组）的几何意义是什么？
• RQ5 McKay 对应关系能否从更深层的原理（如 $G$-镜像对称）推导而出，作为卡拉比-丘几何零维极限的情形？

主要发现

• McKay 对应关系被猜想为不可约表示与 $H^*(Y,\mathbb{Z})$ 的一组基之间的范畴等价，且与杯积和对偶性相容。
• 在 $n=3$ 时，共轭类对应关系的弱版本（2）已在 [IR] 中得到证明，提示了向完整推广的路径。
• $G$-Hilbert 算法为 $\mathbb{C}^3/G$ 提供了一个特殊的创痕型展开，解决了三流形中极小模型的非唯一性问题。
• 展开 $Y = G\text{-Hilb}$ 通过年轻单纯形的剖分被实现为 toric 算法，其显式扇结构编码了几何信息。
• $G$-簇的几等于牛顿多边形（三脚架）中，两种不同的拼接规则对应于 $\uparrow$ 与 $\downarrow$ 构型，可通过分层剥离操作相互关联。
• 对于 $\frac{1}{37}(1,5,31)$ 的 McKay quiver 基本域，可导出显式方程如 $x^4 = \lambda y^2 z$，$y^4 = \mu x z^3$，$z^5 = \nu x^2 y$，描述展开的局部结构。