[论文解读] Geometrical McKay Correspondence for Isolated Singularities

Anda Degeratu|ArXiv.org|Feb 6, 2003

Advanced Algebra and Geometry参考文献 23被引用 7

一句话总结

本文通过证明 $G$-Hilbert 丛 $\mathbb{C}^3/G$ 的凝聚层的 Grothendieck 群与 $G$ 的表示环同构，建立了三维孤立奇点的几何 McKay 对应，其中对偶基结构通过陈特征配对编码上同调环，并采用与欧拉特征配对兼容的表示基。

ABSTRACT

A Calabi-Yau orbifold is locally modeled on C^n/G where G is a finite subgroup of SL(n, C). In dimension n=3 a crepant resolution is given by Nakamura's G-Hilbert scheme. This crepant resolution has a description as a GIT/symplectic quotient. We use tools from global analysis to give a geometrical generalization of the McKay Correspondence to this case.

研究动机与目标

• 将经典的 McKay 对应从表面奇点 ($\mathbb{C}^2/G$) 推广到三倍体 ($\mathbb{C}^3/G$)，使用共形解析。
• 理解有限子群 $G \subset SL(3,\mathbb{C})$ 的 $\mathbb{C}^3/G$ 的共形解析的上同调与 $K$-理论结构。
• 建立解析的 $K$-理论与 $G$ 的表示环之间的对偶性，且与欧拉配对兼容。
• 通过傅里叶-穆凯伊变换与表示论修正，构造 $K(X)$ 中对 $K_c(X)$ 基的对偶基。

提出的方法

• 使用中村的 $G$-Hilbert 丛作为共形解析 $\pi: X \to \mathbb{C}^3/G$。
• 应用傅里叶-穆凯伊变换 $\Phi: K(X) \to K^G(\mathbb{C}^3)$，将层 $\mathcal{R}_k$ 映射为 $R_k \otimes \mathcal{O}_{\mathbb{C}^3}$，并应用 $\Phi_c: K_c(X) \to K_c^G(\mathbb{C}^3)$，将 $\mathcal{S}_k$ 映射为 $R_k \otimes \mathcal{O}_0$。
• 在 $R(G)$ 中引入修正基 $\{R_k - \dim(R_k) R_0\}$，以确保与 $K_c(X)$ 基的对偶性。
• 使用陈特征配对 $\langle \mathrm{ch}_c(\mathcal{S}_k), \mathrm{ch}(\mathcal{R}_l) \rangle = \int_X \mathrm{ch}_c(\mathcal{S}_k) \cup \mathrm{ch}(\mathcal{R}_l) \hat{A}(X)$ 将 $K$-理论与上同调联系起来。
• 依赖于由乘法 $\lambda = -Q + \Lambda^2 Q$ 给出的同构 $\kappa: R(G) \to R(G)$，其矩阵表示为 $\kappa = \begin{bmatrix} 0 & 0 \\ 0 & C \end{bmatrix}$。
• 证明修正后的 $K(X)$ 基与 $\{\mathcal{S}_k\}$ 保持对偶性，维持配对结构。

实验结果

研究问题

• RQ1 如何从 $\mathbb{C}^2/G$ 推广 McKay 对应到 $\mathbb{C}^3/G$ 的 $K$-理论与上同调？
• RQ2 $\mathbb{C}^3/G$ 的共形解析中，$K$-理论群 $K(X)$ 与 $K_c(X)$ 之间的精确对偶结构是什么？
• RQ3 如何修改表示环 $R(G)$ 以确保与 $K$-理论中欧拉配对的兼容性？
• RQ4 傅里叶-穆凯伊变换在实现 $K(X)$ 与 $K^G(\mathbb{C}^3)$ 之间同构的过程中起什么作用？
• RQ5 陈特征配对如何编码解析中上同调环的代数结构？

主要发现

• G-希尔伯特丛为有限子群 $G \subset SL(3,\mathbb{C})$ 的 $\mathbb{C}^3/G$ 提供了共形解析 $\pi: X \to \mathbb{C}^3/G$。
• 层 $\{\mathcal{R}_0, \ldots, \mathcal{R}_r\}$ 构成 $K(X)$ 的基，$\{\mathcal{S}_0, \ldots, \mathcal{S}_r\}$ 构成 $K_c(X)$ 的对偶基。
• 傅里叶-穆凯伊变换诱导出同构 $\Phi: K(X) \to K^G(\mathbb{C}^3)$ 与 $\Phi_c: K_c(X) \to K_c^G(\mathbb{C}^3)$，两者同构于 $R(G)$。
• 由乘法 $\lambda = -Q + \Lambda^2 Q$ 诱导的映射 $\kappa: R(G) \to R(G)$ 的矩阵为分块对角矩阵，右下角块为 $C$。
• 修正基 $\{R_k - \dim(R_k) R_0\}$ 确保了 $K$-理论中的配对与 $R(G)$ 中的自然配对一致。
• 陈特征配对 $\int_X \mathrm{ch}_c(\mathcal{S}_k) \cup \mathrm{ch}(\mathcal{R}_l) \hat{A}(X)$ 与表示论对偶性兼容。