[论文解读] A correspondence dual to McKay's

Jean-Luc Brylinski|ArXiv.org|Dec 3, 1996

Mathematical Analysis and Transform Methods参考文献 7被引用 17

一句话总结

本文建立了 ADE Dynkin 图顶点与 SU(2) 的有限子群的非平凡共轭类之间的双重对应关系，补充了 McKay 原始的顶点与不可约表示之间的对应关系。通过使用最小解析、对数联络和陈类等几何方法，推导出一个行列式公式：$\det(g_j, E_k) = \exp(-2\pi i (C^{-1})_{jk})$，将群单值性与逆 Cartan 矩阵联系起来，并表明由两种对应关系导出的矩阵值傅里叶变换具有几何意义。

ABSTRACT

We give a dual to the McKay correspondence, involving conjugacy classes of subgroups of SU(2). We prove a determinantal formula involving both correspondences. We pose some questions concerning a non-commutative Fourier transform.

研究动机与目标

• 通过将 ADE Dynkin 图的顶点与 SU(2) 的有限子群的非平凡共轭类联系起来，建立 McKay 对应的几何对偶性。
• 通过表示特征函数，推导出连接群单值性算子与逆 Cartan 矩阵的精确公式。
• 利用逆 Cartan 矩阵系数，证明群的交换化指数等于 Dynkin 图的联络指标。
• 探讨结合 McKay 对应与对偶对应后得到的矩阵值傅里叶变换的几何意义。

提出的方法

• 构造最小解析 $\tilde{X} \to \mathbb{C}^2/G$，得到与 Dynkin 图顶点对应的有理曲线 $D_j$ 的配置。
• 利用例外除子补集的基本群，通过环绕 $D_j$ 的小圈将每个顶点 $v_j$ 与一个共轭类关联，从而建立对偶对应。
• 通过与表示相关的向量丛的第一陈类，应用 McKay 对应的几何描述。
• 利用沿例外除子具有对数极点的具有可积联络的向量丛，通过留数计算陈类。
• 通过将单值性留数与逆 Cartan 矩阵系数关联，推导出公式 $\det(g_j, E_k) = \exp(-2\pi i (C^{-1})_{jk})$。
• 利用 Neumann 级数的收敛性 $C^{-1} = \frac{1}{2} \sum_{n \geq 0} 2^{-n} A^n$，证明 $C^{-1}$ 的各项为非负有理数。

实验结果

研究问题

• RQ1 如何将 McKay 对应关系对偶化，以将 Dynkin 图顶点与 SU(2) 的有限子群的共轭类联系起来？
• RQ2 单值性算子与 Dynkin 图的逆 Cartan 矩阵之间存在何种精确的代数与几何关系？
• RQ3 为何群 $G$ 的交换化指数等于 Dynkin 图的联络指标？这对其群结构意味着什么？
• RQ4 矩阵值傅里叶变换在统一 McKay 对应与对偶对应中起什么作用？为何它比标量变换更具几何意义？

主要发现

• 通过对例外除子补集的基本群进行构造，建立了对偶对应，每个顶点通过小圈的单值性对应一个共轭类。
• 通过 Deligne 丛的陈类与对数联络的留数迹，推导出关键公式 $\det(g_j, E_k) = \exp(-2\pi i (C^{-1})_{jk})$。
• 逆 Cartan 矩阵 $C^{-1}$ 的系数全为非负有理数，且满足下界 $ (C^{-1})_{ij} \geq \frac{2^{1-n}}{3} $，其中 $n$ 为顶点间的距离。
• 交换化群 $G^{ab}$ 的指数等于 Dynkin 图的联络指标，且该指标为整数 $n(C^{-1})_{ij}$ 的最大公约数，其值为 1。
• 在 $A_n$ 情形下，矩阵值傅里叶变换退化为 $\mu_{n+1}$ 上的标准傅里叶变换，与阿贝尔群对偶性一致。
• 在非阿贝尔情形如 $D_4$ 中，矩阵值傅里叶变换不是有限阶的，表明其相较于标量变换具有更深层次的几何意义。