[论文解读] La correspondance de McKay

Miles Reid|ArXiv.org|Nov 22, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 48

一句话总结

本文建立了有限子群 $ G \to \text{SL}(n,\bbC) $ 的表示理论与商奇点 $ \mathbb{C}^n/G $ 的创痕型解析之间深刻的对应关系，表明 $ G $ 的不可约表示与解析中的例外除子之间存在一一对应。通过导出范畴、动机积分和 $ G $-簇的模空间，将经典的 McKay 对应关系推广至高维，关键结果将同调、K-理论与卡拉比–丘流形的双有理几何联系起来。

ABSTRACT

Let M be a quasiprojective algebraic manifold with K_M=0 and G a finite automorphism group of M acting trivially on the canonical class K_M; for example, a subgroup G of SL(n,C) acting on C^n in the obvious way. We aim to study the quotient variety X=M/G and its resolutions Y -> X (especially under the assumption that Y has K_Y=0) in terms of G-equivariant geometry of M. At present we know 4 or 5 quite different methods of doing this, taken from string theory, algebraic geometry, motives, moduli, derived categories, etc. For G in SL(n,C) with n=2 or 3, we obtain several methods of cobbling together a basis of the homology of Y consisting of algebraic cycles in one-to-one correspondence with the conjugacy classes or the irreducible representations of G.

研究动机与目标

• 将经典 McKay 对应关系推广至 $ n=2 $ 以上，建立有限子群 $ G \subset \text{SL}(n,\bbC) $ 的不可约表示与 $ \mathbb{C}^n/G $ 的创痕型解析中例外集分量之间的一一对应关系。
• 将弦理论、代数几何、动机、导出范畴和模空间等多种数学方法统一为一个连贯的框架，用于研究满足 $ K_M = 0 $ 的 $ M $ 的 $ G $-等变几何。
• 研究 Gorenstein 商奇点的创痕型解析是否存在，以及它们是否可被解释为模空间（特别是 $ G\text{-Hilb} $），并探讨其与导出范畴和 K-理论的关系。
• 探讨分歧除子与体积形式在双有理几何中的作用，特别是通过动机积分和典范形式的拉回 $ \varphi^*s_X $。
• 研究是否存在某种“特殊”几何结构（如复化四元数）可解释卡拉比–丘 3-流形的创痕型解析的存在性。

提出的方法

• 使用商图 $ M \xrightarrow{\pi} X = M/G \xleftarrow{\varphi} Y $，其中 $ M $ 是一个拟射流形且满足 $ K_M = 0 $，且 $ G $ 在典范类上作用平凡。
• 应用 McKay 图构造：对于有限群 $ G \subset \text{SL}(2,\bbC) $，通过张量积 $ V_i \otimes Q $（其中 $ Q $ 为标准二维表示）构建 McKay 图，得到扩展的 Dynkin 图 $ \widetilde{D}_{n+2} $、$ \widetilde{E}_6 $ 等。
• 采用创痕型解析 $ \varphi: Y \to X $ 满足 $ K_Y = \varphi^*K_X $，确保 $ Y $ 具有平凡典范丛，并研究例外集作为形成 Dynkin 图的 $ -2 $-曲线配置。
• 利用导出范畴 $ \operatorname{D}(Y) $ 和 $ K_0(Y) $ 探索是否可在 $ Y $ 的 K-理论或导出范畴中重构 $ G $-模中的 McKay 图或张量积结构。
• 应用动机积分分析例外除子的同调，特别是在 $ \mathbb{C}^4 / (\mathbb{Z}/2) $ 的情形，其解析具有一个例外的 $ \mathbb{P}^3 $，并将其与 $ \mathbb{Z}/2 $ 的特征联系起来。
• 考虑 $ G $ 在 $ \mathbb{C}^n $ 上的作用，研究 $ G\text{-Hilb} $ 是否可作为 $ G $-簇的精细模空间候选，尤其在创痕型解析存在时。

实验结果

研究问题

• RQ1 能否将 McKay 对应关系从 $ n=2 $ 推广至更高维的商奇点 $ \mathbb{C}^n/G $（$ G \subset \text{SL}(n,\bbC) $），使得 $ G $ 的不可约表示与创痕型解析中例外除子的不可约分量一一对应？
• RQ2 是否存在 $ G $-模的张量积与 $ K_0(Y) $ 中张量积之间的直接关系？或能否在 $ \operatorname{D}(Y) $ 中重构 McKay 图？
• RQ3 双有理等价的卡拉比–丘 3-流形是否具有同构的导出范畴？这一性质是否在更一般情形下（如非 flop 情形）也成立？
• RQ4 Gorenstein 商奇点的创痕型解析是否可被解释为模空间（如 Quot 丛或 $ G\text{-Hilb} $）？它们与 $ M/G $ 的几何有何关联？
• RQ5 通过 $ \varphi^*s_X $ 作为体积形式的动机积分，如何与 de Rham 和 Hodge 上同调中的双有理不变量相关联？

主要发现

• 对于 $ G \subset \text{SL}(2,\bbC) $，McKay 对应关系在 $ \mathbb{C}^2/G $ 的最小解析中建立了 $ G $ 的不可约表示与例外除子分量之间的一一对应，其对偶图为扩展 Dynkin 图 $ \widetilde{D}_{n+2} $、$ \widetilde{E}_6 $ 等。
• 解析 $ Y \to X = \mathbb{C}^2/G $ 满足 $ K_Y = 0 $，且例外集由形成与 McKay 图同构的 $ -2 $-曲线配置构成，其中平凡表示对应于扩展图中的额外节点。
• 在高维情形，特别是 $ G \subset \text{SL}(3,\bbC) $ 时，本文表明创痕型解析 $ Y $ 的同调可由与 $ G $ 的不可约表示一一对应的代数循环生成，推广了 $ n=2 $ 的情形。
• 当创痕型解析存在时，导出范畴 $ \operatorname{D}(Y) $ 和 K-理论 $ K_0(Y) $ 预期反映 $ G $ 的表示理论，暗示几何与表示理论之间存在深刻联系。
• 动机积分表明，$ \mathbb{C}^4 / (\mathbb{Z}/2) $ 的例外除子（其为 $ \mathbb{P}^3 $）的同调可分解为对应于特征 $ \pm 1 $ 的部分，且与之相关的层为 $ \mathcal{O}_Y $ 和 $ \mathcal{O}_Y(1) $。
• 本文猜想，3-流形中 Gorenstein 商奇点的创痕型解析可能受一种特殊几何（可能与复化四元数相关）支配，从而解释其存在性，并推测此类解析在存在时为辛结构，如 Verbitsky 和 Kaledin 所示。