[论文解读] Representation type of finite quiver Hecke algebras of type $A^{(2)}_{2\ell}$

Susumu Ariki, Euiyong Park|arXiv (Cornell University)|Aug 4, 2012

Algebraic structures and combinatorial models参考文献 37被引用 5

一句话总结

本文为类型 $A^{(2)}_{2\ell}$ 的有限 quiver Hecke 代数建立了维数公式和表示类型判别准则，推广了 Erdmann 与 Nakano 对 Iwahori-Hecke 代数的结果。证明了当 $k=0$ 时这些代数是单的，当 $k=1$ 时为有限表示类型，当 $k\geq2$ 时为野生表示类型，且不存在狭义表示类型的情况，将已知结果扩展至环型 Hecke 代数之外。

ABSTRACT

We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke algebras, no results of these kind existed for cyclotomic quiver Hecke algebras, and our results are the first instances beyond the case of cyclotomic Hecke algebras.

研究动机与目标

• 将 Erdmann 与 Nakano 对 Iwahori-Hecke 代数的表示类型分类结果，推广至类型 $A^{(2)}_{2\ell}$ 的环型 quiver Hecke 代数。
• 为 $R^{\Lambda_0}(\beta)$ 提供一个长期悬而未决的维数公式，填补环型 quiver Hecke 代数理论中的空白。
• 利用优势序与典范表格的幂等元，为 $R^{\Lambda_0}(\beta)$ 构造一个广义的细胞代数结构。
• 统一确定所有 $\ell \geq 1$ 情况下 $R^{\Lambda_0}(\beta)$ 的表示类型，包括 $A^{(2)}_2$ 的情形。
• 证明在此类代数中，狭义表示类型不会出现，与某些其他李型形成对比。

提出的方法

• 在类型 $A^{(2)}_{2\ell}$ 的 Fock 空间框架下，将 $R^{\Lambda_0}(\beta)$ 定义为与基本权 $\Lambda_0$ 关联的环型 quiver Hecke 代数。
• 利用 Weyl 群轨道与权分解 $\beta = \Lambda_0 - \kappa + k\delta$ 来参数化该代数。
• 通过按优势序排列的移位 Young 图索引的双侧理想 $J^{<\lambda}$ 的滤子，构造广义细胞结构。
• 定义细胞模 $C(\lambda) = Ae_\lambda / J^{<\lambda}e_\lambda$ 与双模 $C(\lambda) \otimes_{B^\lambda} C(\lambda)^{\rm op} \to A/J^{<\lambda}$，其乘法映射诱导出结构。
• 证明对 $(C(\lambda), C(\lambda)^{\rm op})$ 构成弱 Morita 对，从而确立广义细胞代数结构。
• 将广义细胞结构应用于推导维数公式，并通过参数 $k$ 分析表示类型。

实验结果

研究问题

• RQ1 在类型 $A^{(2)}_{2\ell}$ 下，环型 quiver Hecke 代数 $R^{\Lambda_0}(\beta)$ 的维数是多少？
• RQ2 代数 $R^{\Lambda_0}(\beta)$ 的表示类型是什么？它如何依赖于权重参数 $k$？
• RQ3 对所有 $\ell \geq 1$（包括 $\ell=1$）而言，$A^{(2)}_{2\ell}$ 的表示类型分类是否能统一推广 Erdmann 与 Nakano 的结果？
• RQ4 能否利用典范表格与优势序，为 $R^{\Lambda_0}(\beta)$ 构造一个广义细胞结构？
• RQ5 在此类代数中是否存在狭义表示类型？抑或如 $A^{(1)}_{e-1}$ 情形一样，该类型完全不存在？

主要发现

• 代数 $R^{\Lambda_0}(\beta)$ 的维数由一个依赖于权重 $k$ 与 $e$-核心分拆的公式给出，这是首次在环型 Hecke 代数之外获得此类结果。
• 当 $k=0$ 时，代数 $R^{\Lambda_0}(\beta)$ 是单的；当 $k=1$ 时，为有限表示类型但非半单；当 $k \geq 2$ 时，为野生表示类型，且不存在狭义表示类型。
• 表示类型判别准则在所有 $\ell \geq 1$ 情况下保持一致，包括 $A^{(2)}_2$ 情形，与 $A^{(1)}_{e-1}$ 类型行为的预期相反。
• 广义细胞结构通过双侧理想 $J^{<\lambda}$ 的滤子构造，细胞模通过来自典范表格的幂等元 $e_\lambda$ 定义。
• 乘法映射 $\varphi_{A/J^{<\lambda}}$ 与 $\varphi_{B^\lambda}$ 满足弱 Morita 对公理，确认了广义细胞性质。
• 由 $\varphi_{B^\lambda}$ 导出的双线性形式 $\langle x,y \rangle$ 在 $\varphi_{A/J^{<\lambda}}$ 与反自同构可交换时为对称形式，支持广义细胞代数框架。