[论文解读] McKay correspondence and the branching law for finite subgroups of $\mathbf{SL}_3\mathbb{C}$

Frédéric Butin, Gadi S. Perets|arXiv (Cornell University)|Sep 3, 2009

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文通过为每个有限子群 $ \Gamma \subset \mathrm{SL}_3\mathbb{C} $ 构造一个广义 Cartan 矩阵 $ C_{\Gamma} $，将 McKay 对应关系推广到三维情形，并证明了 $ \mathrm{SL}_3\mathbb{C} $ 的不可约表示在限制到 $ \Gamma $ 时的分支规则由有理生成函数编码。关键结果是通过特征相关矩阵的同时对角化，提出一种基于矩阵的方法来计算这些重数，从而为所有有限子群显式给出有理函数。

ABSTRACT

Given $Γ$ a finite subgroup of $\mathbf{SL}_3\mathbb{C}$, we determine how an arbitrary finite dimensional irreducible representation of $\mathbf{SL}_3\mathbb{C}$ decomposes under the action of $Γ$. To the subgroup $Γ$ we attach a generalized Cartan matrix $C_Γ$. Then, inspired by B. Kostant, we decompose the Coxeter element of the Kac-Moody algebra attached to $C_Γ$ as a product of reflections of a special form, thereby suggesting an algebraic form for the McKay correspondence in dimension 3.

研究动机与目标

• 将 McKay 对应关系从二维推广到三维，为每个有限子群 $ \Gamma \subset \mathrm{SL}_3\mathbb{C} $ 构造一个广义 Cartan 矩阵 $ C_{\Gamma} $。
• 确定 $ \mathrm{SL}_3\mathbb{C} $ 的有限维不可约表示 $ V(m,n) $ 在 $ \Gamma $ 作用下的分解，即计算 $ V(m,n) $ 中每个 $ \Gamma $ 的不可约特征标出现的重数。
• 证明编码这些重数的生成函数 $ P_{\Gamma}(t,u)_i = \sum_{m,n} m_i(m,n) t^m u^n $ 为有理函数。
• 为 $ \mathrm{SL}_3\mathbb{C} $ 的所有有限子群（包括例外型 $ A, B, C, D, L $）提供显式有理函数，方法基于矩阵分解与特征表数据。

提出的方法

• 该方法利用将 $ V(m,n) $ 与 $ \mathrm{SL}_3\mathbb{C} $ 的标准表示张量积导出的递推关系，得到关于重数 $ m_i(m,n) $ 的线性系统。
• 通过从 $ \Gamma $ 的特征表构造的两个矩阵的同时对角化，反转该递推关系，其特征值为群的特征标。
• 将生成函数 $ P_{\Gamma}(t,u)_i $ 表示为标量矩阵与有理矩阵的矩阵积，从而将问题简化为矩阵乘法。
• 为每个 $ \Gamma $ 关联一个广义 Cartan 矩阵 $ C_{\Gamma} $，并将其对应的 Kac-Moody 代数的 Coxeter 元素分解为来自相互正交根系的反射之积。
• 该方法推广了 Kostant 在 $ \mathrm{SL}_2\mathbb{C} $ 情形下的方法，后者通过类似矩阵技巧证明了有理性。
• 为所有有限子群显式计算了有理函数，其中类型 $ A, B, C, D $ 与 $ L $ 的分母与分子均明确给出。

实验结果

研究问题

• RQ1 如何系统地计算 $ \mathrm{SL}_3\mathbb{C} $ 的不可约表示在有限子群 $ \Gamma \subset \mathrm{SL}_3\mathbb{C} $ 限制下的分支规则？
• RQ2 能否通过涉及特征表的矩阵方法，确立重数函数生成函数的有理性？
• RQ3 三维 McKay 对应关系背后的代数结构是什么？它如何推广二维情形？
• RQ4 如何将与 $ \Gamma $ 关联的 Kac-Moody 代数的 Coxeter 元素分解为来自正交根系的反射之积？
• RQ5 哪些显式有理函数描述了 $ \mathrm{SL}_3\mathbb{C} $ 所有有限子群（包括例外型）的重数生成函数？

主要发现

• 证明了所有有限子群 $ \Gamma \subset \mathrm{SL}_3\mathbb{C} $ 的不可约特征标在 $ V(m,n) $ 中的重数生成函数 $ P_{\Gamma}(t,u)_i $ 均为有理函数。
• 对于 $ A_1 $ 型（循环群），有理函数为 $ \widehat{P}_A(t) = \frac{1 - t^3}{(1 - t)^2(1 + t + t^2)} $，分母为 $ (1 - t)^2(1 + t + t^2) $。
• 对于 $ D_4 $ 型，生成函数的分母为 $ (t - 1)^3(t^2 + t + 1)^3(t^2 + 1)(t^4 - t^2 + 1)(t^4 + t^3 + t^2 + t + 1)(t^8 - t^7 + t^5 - t^4 + t^3 - t + 1)(t + 1)^2(t^2 - t + 1)^2 $。
• 对于例外型 $ L $-型群，分母为 $ (t - 1)^3(t^2 + t + 1)^3(t^2 + 1)(t^4 - t^2 + 1)(t^4 + t^3 + t^2 + t + 1)(t^8 - t^7 + t^5 - t^4 + t^3 - t + 1)(t + 1)^2(t^2 - t + 1)^2 $。
• 对于 $ L $-型群，有理函数为 $ \widehat{P}_L(t) = \frac{-t^{30} + t^{15} - 1}{(t - 1)^3(t^2 + t + 1)^3(t^2 + 1)(t^4 - t^2 + 1)(t^4 + t^3 + t^2 + t + 1)(t^8 - t^7 + t^5 - t^4 + t^3 - t + 1)(t + 1)^2(t^2 - t + 1)^2} $。
• 该方法为所有子群给出了显式有理函数，且存在对称关系如 $ M_L(t,u)_3 = M_L(u,t)_2 $，表明分支规则中存在对偶性。