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

Resumen Técnico: Sobre las multiplicidades del co-carácter central de las álgebras con identidades polinómicas

Planteamiento del Problema
El artículo aborda la clasificación de álgebras asociativas sobre un cuerpo de característica cero basándose en sus secuencias de colongitud y colongitud central. Mientras que la teoría de identidades polinómicas (teoría PI) ha estudiado extensamente las secuencias de codimensiones ($c_n(A)$), que miden la dimensión de los polinomios multilineales módulo identidades, este trabajo se centra en los invariantes estructurales más finos: la colongitud ($l_n(A)$), la colongitud central ($l^z_n(A)$) y la colongitud central propia ($l^\delta_n(A)$).

Estas secuencias cuentan el número de componentes irreducibles (multiplicidades) en la descomposición de los espacios de polinomios multilineales, polinomios centrales y polinomios centrales propios, respectivamente, bajo la acción del grupo simétrico $S_n$. El problema central es clasificar las variedades de álgebras donde estas secuencias están acotadas por una constante. Trabajos previos habían clasificado las variedades con colongitud acotada por 4; este artículo extiende la clasificación a variedades con colongitud acotada por 7 y colongitud central acotada por 2.

Metodología
Los autores emplean una combinación de teoría de representaciones, la teoría de la estructura de álgebras de dimensión finita y la teoría de ideales-T y espacios-T.

1. Teoría de Representación de $S_n$ y $GL_m$: El artículo utiliza la descomposición de los espacios $P_n(A)$, $P^z_n(A)$ y $\Delta_n(A)$ en módulos irreducibles de $S_n$ indexados por particiones $\lambda \vdash n$. Las multiplicidades $m_\lambda$, $m^z_\lambda$ y $m^\delta_\lambda$ se computan utilizando la correspondencia entre los caracteres de $S_n$ y los caracteres del grupo lineal general $GL_m$ (Proposición 3.1).
2. Vectores de peso máximo: Para determinar las multiplicidades no nulas, los autores construyen vectores de peso máximo específicos $f_{T_\lambda}$ asociados a tablas de Young y comprueban si pertenecen al ideal-T o al espacio-T del álgebra (Proposición 3.2).
3. Estructura de Álgebras de Dimensión Finita: La clasificación se basa fuertemente en la descomposición de álgebras de la forma $A = F + J(A)$, donde $J(A)$ es el radical de Jacobson. El radical se descompone en subespacios $J_{10}, J_{01}, J_{00}, J_{11}$ basados en su interacción con el elemento identidad.
4. Contención y Exclusión de Variedades: El núcleo de la metodología implica demostrar que si una variedad $\text{var}(A)$ no contiene álgebras "críticas" específicas (tales como $G_4, A_7, A_9$, etc.), entonces $A$ debe ser PI-equivalente a una suma directa de álgebras más simples. Esto se logra analizando la anulación de productos específicos de componentes del radical (por ejemplo, $J_{10}J_{00} = \{0\}$), lo cual fuerza al álgebra a satisfacer ciertas identidades.

Contribuciones Clave y Resultados

• Computación Explícita de Invariantes: El artículo proporciona descripciones explícitas de las secuencias de co-carácter, co-carácter central y co-carácter central propio, junto con sus respectivas colongitudes, para una amplia gama de álgebras específicas. Estas incluyen:

  • Subálgebras de matrices triangulares superiores ($UT_m$) tales como $A_1, A_2, A_4, \dots, A_{10}$ y sus duales.
  • Álgebras de Grassmann y sus subálgebras ($G, G_{2k}, G_4$).
  • Sumas directas de estas álgebras (por ejemplo, $G_4 \oplus A_1, A_4 \oplus A_2$).
  • El artículo establece los valores exactos de $l_n(A)$, $l^z_n(A)$ y $l^\delta_n(A)$ para estas álgebras para $n$ suficientemente grande.

• Clasificación de Variedades de Colongitud Acotada (Teorema 4.11):
  Los autores establecen una clasificación completa, hasta la equivalencia PI, de todas las álgebras cuya secuencia de colongitud $l_n(A)$ está acotada por 6. El resultado establece que si un álgebra no contiene ninguna de las álgebras de un conjunto específico $I$ (que incluye $A_7, A_8, A_9, A_{10}, G_6$ y varias sumas directas), entonces $A$ es PI-equivalente a una suma directa de un álgebra nilpotente y una de una lista finita de álgebras específicas (por ejemplo, $N, C \oplus N, A_1 \oplus N, G_4 \oplus N$, etc.).

  • Corolario 4.13: Extiende esto para caracterizar álgebras con colongitud exactamente 7.

• Clasificación de Variedades de Colongitud Central Acotada (Teorema 5.6):
  El artículo clasifica las variedades donde la secuencia de colongitud central $l^z_n(A)$ está acotada por 2. Demuestra que si un álgebra $A$ evita un conjunto específico $R$ (que contiene $A_1 \oplus A^*_1, A_4, G_4 \oplus A_1$, etc.), entonces $A$ es PI-equivalente a una suma directa de un álgebra nilpotente y una de un conjunto restringido de álgebras (por ejemplo, $N, C \oplus N, A_1 \oplus N, G_4 \oplus N$).

• Relación entre Crecimiento y Colongitud:
  El trabajo refuerza la conexión entre el crecimiento polinómico de las codimensiones y la acotación de las secuencias de colongitud, extendiendo esta relación a los contextos central y central propio.

Significancia y Reivindicaciones
El artículo afirma extender la literatura existente sobre la clasificación de variedades PI. Mientras que resultados previos (específicamente en [7, 18]) habían clasificado variedades con colongitud acotada por 4, este trabajo empuja el límite hasta 7. Los autores enfatizan que ir más allá de las subvariedades de $\text{var}(UT_2)$ (que cubre colongitudes hasta 4) revela un nivel de complejidad significativamente mayor, requiriendo el estudio de álgebras fuera de esta variedad para comprender colongitudes superiores.

Además, el artículo proporciona la primera clasificación explícita de variedades basadas en secuencias de colongitud central acotadas por una constante (específicamente 2). Los autores señalan que, si bien una clasificación basada en colongitudes centrales propias ($l^\delta_n$) parece difícil debido a la existencia de álgebras con colongitud central propia cero (como las matrices triangulares por bloques con $k>1$), la secuencia de colongitud central ofrece una vía viable y rica para la clasificación.

Los resultados se presentan como una caracterización completa de la forma estructural de las álgebras que satisfacen estas condiciones de acotación, proporcionando una lista definitiva de clases de equivalencia PI para estas restricciones de crecimiento específicas.