On the multiplicities of the central cocharacter of algebras with polynomial identities

技术摘要：关于具有多项式恒等式的代数之中心特征标的多重性

问题陈述
本文研究了在特征为零的域上，基于其序列的余长度（colength）和中心余长度（central colength）对结合代数进行分类的问题。虽然多项式恒等式理论（PI理论）已经广泛研究了余维数序列（$c_n(A)$，即衡量多线性多项式模去恒等式后的维数），但本研究侧重于更精细的结构不变量：余长度（$l_n(A)$）、中心余长度（$l^z_n(A)$）以及适当中心余长度（$l^\delta_n(A)$）。

这些序列在对称群 $S_n$ 的作用下，计算了多线性多项式空间、中心多项式空间及适当中心多项式空间的不可约分量（重数）。核心问题是分类那些由常数限制其序列的代数簇。此前的工作已完成了对余长度由 4 限制的代数簇的分类；本文将分类范围扩展到了余长度由 7 限制以及中心余长度由 2 限制的代数簇。

方法论
作者结合了表示理论、有限维代数的结构理论以及 T-理想（T-ideals）与 T-空间（T-spaces）理论。

1. $S_n$ 与 $GL_m$ 的表示理论： 本文利用了将 $P_n(A)$、$P^z_n(A)$ 和 $\Delta_n(A)$ 空间分解为由分划 $\lambda \vdash n$ 索引的不可约 $S_n$-模的过程。通过 $S_n$-特征标与一般线性群 $GL_m$ 特征标之间的对应关系（命题 3.1），计算了重数 $m_\lambda$、$m^z_\lambda$ 和 $m^\delta_\lambda$。
2. 最高权重向量： 为了确定非零重数，作者构造了与杨表（Young tableaux）相关的特定最高权重向量 $f_{T_\lambda}$，并测试它们是否属于该代数的 T-理想或 T-空间（命题 3.2）。
3. 有限维代数的结构： 分类工作很大程度上依赖于形式为 $A = F + J(A)$ 的代数的分解，其中 $J(A)$ 是 Jacobson 根。Jacobson 根根据其与单位元的相互作用被分解为子空间 $J_{10}, J_{01}, J_{00}, J_{11}$。
4. 簇包含与排除： 该方法的核心在于证明：如果一个代数簇 $\text{var}(A)$ 不包含特定的“临界”代数（如 $G_4, A_7, A_9$ 等），那么 $A$ 必须在 PI 等价意义下是更简单代数的直和。这是通过分析根成分乘积的消失情况（例如 $J_{10}J_{00} = \{0\}$）来实现的，这种消失强制了代数满足某些恒等式。

主要贡献与结果

• 不变量的显式计算： 本文为一系列特定代数提供了其共特征标（cocharacter）、中心共特征标及适当中心共特征标序列及其相应余长度的显式描述。这些代数包括：

  • 上三角矩阵（$UT_m$）的子代数，如 $A_1, A_2, A_4, \dots, A_{10}$ 及其对偶。
  • Grassmann 代数及其子代数（$G, G_{2k}, G_4$）。
  • 这些代数的直和（例如 $G_4 \oplus A_1, A_4 \oplus A_2$）。
  • 本文为这些代数在充分大的 $n$ 时确立了 $l_n(A), l^z_n(A)$ 和 $l^\delta_n(A)$ 的精确值。

• 有界余长度代数簇的分类（定理 4.11）：
  作者在 PI 等价意义下，对所有余长度序列 $l_n(A)$ 被 6 限制的代数进行了完整分类。结果表明，如果一个代数不包含来自特定集合 $I$（该集合包括 $A_7, A_8, A_9, A_{10}, G_6$ 以及各种直和）的任何代数，那么 $A$ 在 PI 等价意义下是一个幂零代数与有限个特定代数（如 $N, C \oplus N, A_1 \oplus N, G_4 \oplus N$ 等）的直和。

  • 推论 4.13： 将此结论扩展到刻画余长度恰好为 7 的代数。

• 有界中心余长度代数簇的分类（定理 5.6）：
  本文分类了中心余长度序列 $l^z_n(A)$ 被 2 限制的代数簇。它证明了如果一个代数 $A$ 避开了特定的集合 $R$（包含 $A_1 \oplus A^*_1, A_4, G_4 \oplus A_1$ 等），那么 $A$ 在 PI 等价意义下是一个幂零代数与受限集合中一个代数的直和（例如 $N, C \oplus N, A_1 \oplus N, G_4 \oplus N$）。

• 增长与余长度之间的关系：
  这项工作强化了余维数的多项式增长与余长度序列的有界性之间的联系，并将这一关系扩展到了中心及适当中心的情境中。

意义与主张
本文声称扩展了现有关于 PI 簇分类的文献。虽然之前的研究（特别是 [7, 18]）已经对余长度由 4 限制的代数簇进行了分类，但本研究将边界推向了 7。作者强调，超越 $var(UT_2)$ 的子簇（该簇涵盖了余长度最高为 4 的情况）意味着揭示了显著更高的复杂性，需要通过研究该变体之外的代数来理解更高阶的余长度。

此外，本文提供了首个基于中心余长度序列被常数（具体为 2）限制的代数簇的显式分类。作者指出，虽然基于适当中心余长度（$l^\delta_n$）的分类似乎由于存在适当中心余长度为零的代数（如 $k>1$ 的分块三角矩阵）而较为困难，但中心余长度序列提供了一个可行且丰富的分类途径。

研究结果以一种完整的结构形式呈现，为这些满足特定增长约束的代数提供了 PI 等价类的确定性列表。