[论文解读] Irreducible representations of the rational Cherednik algebra associated to the Coxeter group H_3

Martina Balagović, Arjun Puranik|arXiv (Cornell University)|Apr 13, 2010

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

一句话总结

本文使用表示论技巧与 MAGMA 计算，计算了与例外 Coxeter 群 $H_3$ 及任意复参数 $c$ 相关的有理 Cherednik 代数在范畴 $\Omega_c(H_3, \mathfrak{h})$ 中所有不可约表示的特征标。关键结果是对有限维不可约表示的完整分类，表明当 $c = \frac{1}{2}$ 时，仅有 $L_c(\mathbf{1}_+)$、$L_c(\mathbf{3}_-)$ 和 $L_c(\widetilde{\mathbf{3}}_-)$ 为有限维，并通过分次、协变形式与伽罗瓦不变性推导出明确的格罗滕迪克群表达式。

ABSTRACT

This paper describes irreducible representations in category O of the rational Cherednik algebra H_c(H_3,h) associated to the exceptional Coxeter group H_3 and any complex parameter c. We compute the characters of all these representations explicitly. As a consequence, we classify all the finite dimensional irreducible representations of H_c(H_3,h).

研究动机与目标

• 计算有理 Cherednik 代数在范畴 $\mathcal{O}_c(H_3, \mathfrak{h})$ 中所有不可约表示的特征标，该代数与例外 Coxeter 群 $H_3$ 及任意复参数 $c$ 相关。
• 通过确定哪些 $c$ 和 $\tau$ 使得模 $L_c(\tau)$ 为有限维，对 $H_c(H_3, \mathfrak{h})$ 的所有有限维不可约表示进行分类。
• 利用特征标理论与表示论约束，以标准 Verma 模 $M_c(\sigma)$ 的形式，提供不可约模在格罗滕迪克群中的显式表达式。
• 通过证明 $c = \frac{1}{2}$ 对 $H_3$ 是非光滑的，识别并分析该猜想的第一个反例，即非光滑参数 $c$ 位于 $(-1,0)$ 的猜想。
• 建立当半整数 $c \geq \frac{3}{2}$ 时，范畴 $\mathcal{O}_c$ 与 $\mathcal{O}_{c+1}$ 之间的等价关系，从而将特征标公式扩展至初始有限参数集之外。

提出的方法

• 利用已知等价关系将参数集 $(c, \tau)$ 约化为有限集：$\mathcal{O}_c \cong \mathcal{O}_{-c}$，$\mathcal{O}_{1/d} \cong \mathcal{O}_{r/d}$（当 $d \neq 2$ 时），以及当 $c$ 较大时 $\mathcal{O}_c \cong \mathcal{O}_{c+1}$。
• 利用 $H_c(H_3, \mathfrak{h})$ 中的 $\mathfrak{sl}_2$-分次结构，该结构赋予 $\mathcal{O}_c$ 中所有表示一个分次，其分量为有限维的 $H_3$-表示。
• 使用 Verma 模上的协变形式 $B$，通过特定分次分量中的秩计算来确定不可约商模的维数，特别利用 MAGMA 进行数值验证。
• 应用在 $\sqrt{5} \mapsto -\sqrt{5}$ 下字符迹的伽罗瓦不变性，以约束格罗滕迪克群分解中的系数，尤其针对 $L_c(\mathbf{1}_+)$。
• 利用像 $(12345)$ 这类群元素的作用，对表示施加迹为零的条件，从而固定字符公式中未知的系数。
• 证明当 $c = r/2$，$r$ 为奇数且 $r \geq 3$ 时，函子 $S_c^+$ 是范畴的等价，从而可将特征标公式扩展至所有满足 $r > 3$ 的 $c = r/2$。

实验结果

研究问题

• RQ1 在范畴 $\mathcal{O}_c(H_3, \mathfrak{h})$ 中，哪些不可约表示 $L_c(\tau)$ 对任意复参数 $c$ 为有限维？
• RQ2 所有不可约模 $L_c(\tau)$ 在 $\mathcal{O}_c(H_3, \mathfrak{h})$ 中的显式特征标公式是什么？
• RQ3 $c = \frac{1}{2}$ 是否为 $H_3$ 的非光滑参数？它是否与非光滑参数位于 $(-1,0)$ 的猜想相矛盾？
• RQ4 函子 $S_c^+$ 和 $S_c^-$ 如何作用于范畴 $\mathcal{O}_c$？在何种条件下它们是等价函子？
• RQ5 $H_3$-不变量与伽罗瓦对称性对格罗滕迪克群分解中 $L_c(\tau)$ 的系数施加了哪些约束？

主要发现

• 在 $H_c(H_3, \mathfrak{h})$ 中，仅当 $c = \frac{1}{2}$ 时存在有限维不可约表示，且为 $L_c(\mathbf{1}_+)$、$L_c(\mathbf{3}_-)$ 和 $L_c(\widetilde{\mathbf{3}}_-)$。
• 模 $L_{1/2}(\widetilde{\mathbf{3}}_-)$ 的 $H_3$-不变量为平凡，确认 $c = \frac{1}{2}$ 是第一个推翻非光滑参数位于 $(-1,0)$ 猜想的反例。
• 在 $c = \frac{1}{2}$ 时，$L_c(\mathbf{1}_+)$ 的格罗滕迪克群表达式为 $M_c(\mathbf{1}_+) - M_c(\mathbf{5}_+) + M_c(\mathbf{5}_-) + n_{\mathbf{1}_+,\mathbf{3}_+}M_c(\mathbf{3}_+) + n_{\mathbf{1}_+,\widetilde{\mathbf{3}}_+}M_c(\widetilde{\mathbf{3}}_+)$，其中 $n_{\mathbf{1}_+,\mathbf{3}_+} = n_{\mathbf{1}_+,\widetilde{\mathbf{3}}_+} = 1$。
• 对于 $L_c(\mathbf{3}_-)$ 和 $L_c(\widetilde{\mathbf{3}}_-)$，其格罗滕迪克群分解中的系数满足 $n_{\mathbf{3}_- , \mathbf{3}_+} + n_{\mathbf{3}_- , \widetilde{\mathbf{3}}_+} = -1$ 与 $n_{\widetilde{\mathbf{3}}_- , \mathbf{3}_+} + n_{\widetilde{\mathbf{3}}_- , \widetilde{\mathbf{3}}_+} = -1$，且通过迹条件可唯一确定所有系数均为 $-1$。
• 当 $c = r/2$ 且 $r$ 为奇数、$r \geq 3$ 时，函子 $S_c^+$ 是范畴的等价，从而可将特征标公式扩展至所有此类 $c$。
• 在 $L_c(\mathbf{3}_-)$ 和 $L_c(\widetilde{\mathbf{3}}_-)$ 的分次分量度数为 $-3$ 处，协变形式 $B$ 的核为 5 维，确认了这些模的有限维性。