[论文解读] Graded polynomial identities and exponential growth

Eli Aljadeff, Antonio Giambruno+1 more|ArXiv.org|Mar 10, 2009

Advanced Topics in Algebra参考文献 12被引用 14

一句话总结

该论文证明了在特征零域上，有限维G-分次代数的G- codimension序列呈指数增长，且G-指数——即第n个G- codimension的n次根的极限——存在并为一个非负整数。G-指数等于某一特定半单G-分次子代数的维数，通过对称群的表示理论和不可约特征标度的渐近分析，将已知的普通多项式恒等式结果推广至分次情形。

ABSTRACT

Let A be a finite dimensional algebra over a field of characteristic zero graded by a finite abelian group G. Here we study a growth function related to the graded polynomial identities satisfied by A by computing the exponential rate of growth of the sequence of graded codimensions of A. We prove that the G-exponent of A exists and is an integer related in an explicit way to the dimension of a suitable semisimple subalgebra of A.

研究动机与目标

• 确定特征零域上有限维G-分次代数的G- codimension序列的指数增长速率。
• 确立G-指数的存在性，定义为第n个G- codimension的n次根的极限，并证明其为整数。
• 显式计算G-指数，以代数A的某一合适半单G-分次子代数的维数表示。
• 通过表示理论技术，将普通（非分次）情形下关于PI-指数的已知结果推广至分次情形。

提出的方法

• 作者分析相对自由G-分次代数 $ F\langle X,G\rangle / \mathrm{Id}^G(A) $ 的多重线性分量，重点关注维度 $ c_n^G(A) $，即G- codimensions。
• 他们使用对称群 $ S_n $ 的表示理论，特别是与有界高度的杨图相关联的不可约表示的度数。
• 该方法涉及为G-单代数构造多重交错G-分次多项式，这些多项式是下界估计codimensions的关键。
• 应用不可约 $ S_n $-表示度数的渐近估计，依赖斯特林公式和多项式系数的界。
• 证明利用了Jacobson根和半单子代数的结构，表明某些多项式仅在代入过多根元素时才为零。
• 最终界限通过将G- codimensions与多项式系数及半单分量的维数关联起来推导得出，从而得到具有相同底数的指数下界和上界。

实验结果

研究问题

• RQ1 对于任意特征零域上的有限维G-分次代数A，G-指数 $ \exp^G(A) = \lim_{n\to\infty} \sqrt[n]{c_n^G(A)} $ 是否存在？
• RQ2 若G-指数存在，它是否恒为整数，且能否显式地用代数A的代数结构表示？
• RQ3 G- codimensions的增长率与A的某一半单G-分次子代数的维数有何关系？
• RQ4 对称群的表示理论在多大程度上控制了分次代数中G- codimensions的渐近行为？
• RQ5 G- codimensions的指数增长能否被上下界函数同时控制，且具有相同的指数底数，从而定义出明确的G-指数？

主要发现

• 对于任意特征零域上的有限维G-分次代数A，G-指数 $ \exp^G(A) $ 存在，且为一个非负整数。
• G-指数等于A的某一特定半单G-分次子代数的维数，该子代数由A的Wedderburn-Malcev分解中的单代数分量的直和构成。
• G- codimensions序列 $ c_n^G(A) $ 满足不等式 $ C_1 n^{k_1} d^n \leq c_n^G(A) \leq C_2 n^{k_2} d^n $，其中常数 $ C_1, C_2, k_1, k_2 $ 存在，且 $ d = \dim C $，$ C $ 为半单G-分次子代数。
• 指数底数 $ d $ 与域扩张无关，因此当基域扩展到其代数闭包时，G-指数保持不变。
• G- codimensions的下界通过构造仅在代入过多根元素时才为零的多重交错G-分次多项式得到，使用了杨对称化子和特征标度数。
• 渐近分析依赖于斯特林公式，且与有界高度杨图相关联的不可约表示的度数呈多项式乘以指数的形式增长，其中指数底数由半单分量的维数决定。