[论文解读] Affine cellularity of affine Yokonuma-Hecke algebras

Weideng Cui|arXiv (Cornell University)|Oct 9, 2015

Algebraic structures and combinatorial models参考文献 9被引用 3

一句话总结

该论文建立了仿射 Yoko­n­um­a-H­e­ck­e 代数 $ω_{r,n}(q)$ 与仿射 Hecke 代数类型 $A$ 的张量积上的矩阵代数直和之间的显式代数同构，证明了 $ω_{r,n}(q)$ 是仿射胞腔代数。作为关键结果，它表明当 $q$ 不是 Poincaré 多项式的根时，该代数具有有限整体维数，并恢复了其模表示理论。

ABSTRACT

We establish an explicit algebra isomorphism between the affine Yokonuma-Hecke algebra $\widehat{Y}_{r,n}(q)$ and a direct sum of matrix algebras with coefficients in tensor products of affine Hecke algebras of type $A.$ As an application of this result, we show that $\widehat{Y}_{r,n}(q)$ is affine cellular in the sense of Koenig and Xi, and further prove that it has finite global dimension when the parameter $q$ is not a root of the Poincaré polynomial. As another application, we also recover the modular representation theory of $\widehat{Y}_{r,n}(q)$ previously obtained in [CW].

研究动机与目标

• 建立仿射 Yoko­n­um­a-H­e­ck­e 代数 $ω_{r,n}(q)$ 与仿射 Hecke 代数类型 $A$ 的张量积上矩阵代数直和之间的显式代数同构。
• 证明 $ω_{r,n}(q)$ 在 Koenig 和 Xi 意义下是仿射胞腔代数。
• 证明当 $q$ 不是 Poincaré 多项式的根时，$ω_{r,n}(q)$ 具有有限整体维数。
• 恢复 $ω_{r,n}(q)$ 的模表示理论，该理论此前已在 [CW] 中获得。

提出的方法

• 基于 Lusztig 的框架，构造一个辅助代数 $ω E_{r,n}$，其形式为仿射 Hecke 代数类型 $A$ 的扩展张量积上的矩阵代数的直和。
• 证明 $ω E_{r,n}$ 满足 [C2] 中仿射胞腔代数的公理 $P_1, P_2, P_3, P_4$。
• 通过在生成元上定义一个映射 $ψ$ 并线性延拓，建立显式代数同构 $ω Y_{r,n}(q) \to ω E_{r,n}$。
• 利用该同构将 $ω E_{r,n}$ 的性质转移至 $ω Y_{r,n}(q)$，包括仿射胞腔性与有限整体维数。
• 应用 [KX2] 与 [C2] 中关于仿射胞腔代数的结果，推导出结构性质，如导出模范畴的分层结构。
• 利用同构恢复 $ω Y_{r,n}(q)$ 在特征 $p$ 不整除 $r$ 的域上的模表示理论。

实验结果

研究问题

• RQ1 仿射 Yoko­n­um­a-H­e­ck­e 代数 $ω_{r,n}(q)$ 是否在 Koenig 和 Xi 的意义下是仿射胞腔代数？
• RQ2 能否在 $ω_{r,n}(q)$ 与仿射 Hecke 代数类型 $A$ 的张量积上矩阵代数的直和之间构造显式代数同构？
• RQ3 在何种 $q$ 的条件下，$ω_{r,n}(q)$ 具有有限整体维数？
• RQ4 该同构是否允许恢复此前在 [CW] 中建立的 $ω_{r,n}(q)$ 的模表示理论？
• RQ5 $ω_{r,n}(q)$ 的导出模范畴的结构是怎样的？它与渐近代数有何关系？

主要发现

• 构造了 $ω_{r,n}(q)$ 与仿射 Hecke 代数类型 $A$ 的张量积上矩阵代数直和之间的显式代数同构，证明了 $ω_{r,n}(q)$ 是仿射胞腔代数。
• 当 $q$ 不是 Poincaré 多项式的根时，代数 $ω_{r,n}(q)$ 具有有限整体维数。
• 在包含一个 $r$ 次单位根的特征零域上，$ω_{r,n}(q)$ 的单模的参数集是有限个仿射空间的并。
• $ω_{r,n}(q)$ 的导出模范畴具有分层结构，其层为仿射 $k$-代数 $B_l$ 的导出模范畴，这是由仿射胞腔性及各层的幂等生成元所导致的结果。
• 通过同构，恢复了 $ω_{r,n}(q)$ 在代数闭域上特征 $p$ 不整除 $r$ 的模表示理论。
• 当 $q$ 不是 Poincaré 多项式的根时，$ω_{r,n}(q)$ 是仿射准旗代数。