[论文解读] Seminormal forms and Gram determinants for cellular algebras

Andrew Mathas, Marcos Soriano|arXiv (Cornell University)|Apr 5, 2006

Advanced Topics in Algebra参考文献 1被引用 5

一句话总结

该论文提出了一套通用框架，用于在配备分离的 Jucys–Murphy (JM) 元素的细胞代数中构造拟标准基，从而通过结构常数显式计算不可约模的 Gram 衍生物。此外，该框架还利用由 JM 元素导出的正交幂等元，对非半单细胞代数实现块分解，并将其应用于对称群、 Hecke 代数以及分式域上的 Brauer 代数。

ABSTRACT

This paper develops an abstract framework for constructing ``seminormal forms'' for cellular algebras. That is, given a cellular R-algebra A which is equipped with a family of JM-elements we give a general technique for constructing orthogonal bases for A, and for all of its irreducible representations, when the JM-elements separate A. The seminormal forms for A are defined over the field of fractions of R. Significantly, we show that the Gram determinant of each irreducible A-module is equal to a product of certain structure constants coming from the seminormal basis of A. In the non-separated case we use our seminormal forms to give an explicit basis for a block decomposition of A. The appendix, by Marcos Soriano, gives a general construction of a complete set of orthogonal idempotents for an algera starting from a set of elements which act on the algebra in an upper triangular fashion. The appendix shows that constructions with "Jucys-Murphy elements"depend, ultimately, on the Cayley-Hamilton theorem.

研究动机与目标

• 开发一种构造配备一簇分离 JM 元素的细胞代数中拟标准基的通用公理化方法。
• 将每个不可约模的 Gram 衍生物表示为拟标准基中结构常数的乘积。
• 在非分离（非半单）情形下，显式提供块分解的细胞基。
• 将拟标准形式的适用性扩展至非半单情形，特别是适用于群代数和 Hecke 代数等代数。
• 证明拟标准形式自然地定义在基环的分式域上，包括 Brauer 代数和 BMW 代数。

提出的方法

• 通过基于 JM 元素作用的递归正交化过程，构造一个相对于代数上自然双线性型正交的新细胞基 {f^λ_st}。
• 利用 Cayley–Hamilton 定理和三角矩阵作用，从 JM 元素导出一组完全两两正交的幂等元。
• 通过局部环中极大理想下的剩余类差定义关联类，将标准表的集合进行划分。
• 通过多项式映射 ε_d 作用于 (1−F)f_j 构造正交幂等元，其中 F 为先前构造的幂等元之和。
• 应用模约化方法，将半单情形的结果推广至非半单情形，从而得到代数的块分解。
• 证明每个胞模的 Gram 衍生物等于拟标准基中结构常数的乘积，从而实现显式计算。

实验结果

研究问题

• RQ1 如何系统地构造配备一簇 JM 元素的细胞代数的拟标准形式？
• RQ2 不可约模的 Gram 衍生物与拟标准基的结构常数之间存在何种精确关系？
• RQ3 能否利用 JM 元素在非半单情形下显式描述细胞代数的块分解？
• RQ4 拟标准形式与 Gram 衍生物在模约化下如何表现？
• RQ5 关联类在确定细胞代数的块结构中起何种作用？

主要发现

• 每个不可约 A-模的 Gram 衍生物等于拟标准基中结构常数的乘积，从而为这些衍生物提供了显式公式。
• 当 JM 元素分离代数时，拟标准基存在且定义在基环 R 的分式域上。
• 在非分离情形下，代数可被分解为更小的细胞子代数，其块分解通过新细胞基 {g^λ_st} 显式描述。
• 该块分解源于基于三角矩阵作用的多项式正交化过程所构造的正交幂等元。
• 该方法为对称群代数、A 型 Hecke 代数、Ariki–Koike 代数（q≠1）、以及（循环）q-舒尔代数的块分解提供了显式基。
• 所构造的拟标准形式是典范的，且定义在分式域上，这是 Brauer 代数和 BMW 代数的新结果。