A structural classification of algebras with graded involution and quadratic codimension growth

Resumen Técnico: Una Clasificación Estructural de Álgebras con Involución Graduada y Crecimiento Cuadrático de Codimensión

Planteamiento del Problema
El artículo aborda un problema central en la teoría de álgebras con identidades polinómicas (teoría PI): la clasificación de las variedades de acuerdo con el comportamiento asintótico de sus secuencias de codimensión. Mientras que el caso de crecimiento lineal ha sido comprendido plenamente y el caso de crecimiento exponencial ha sido caracterizado por la presencia de álgebras específicas (el álgebra de Grassmann $G$ y el álgebra de matrices triangulares superiores de $2 \times 2$, $UT_2$), la clasificación general de las variedades con crecimiento cuadrático sigue siendo un desafío abierto significativo.

Específicamente, los autores se centran en álgebras asociativas unitarias $G$-graduadas dotadas de una involución graduada (denominadas álgebras $(G, \ast)$), donde $G$ es un grupo finito. El objetivo es proporcionar una clasificación completa, según la equivalencia $T^*_G$, de las variedades unitarias con crecimiento de codimensión cuadrática. Una cuestión abierta clave que motiva este trabajo es si cada variedad de crecimiento polinómico está generada, hasta su equivalencia, por una suma directa de álgebras que generan variedades mínimas.

Metodología
Los autores emplean un enfoque estructural basado en la teoría de la representación de los grupos simétricos y la teoría de los polinomios propios. La metodología procede de la siguiente manera:

1. Cocaracteres Propios: El estudio utiliza el espacio de los $(G, \ast)$-polinomios propios, $\Gamma^\sharp_n$, que generan el ideal de identidades para álgebras unitarias. La secuencia de codimensiones $c^\sharp_n(A)$ se relaciona con las codimensiones propias $\gamma^\sharp_n(A)$ mediante una suma binomial.
2. Análisis de Multiplicidad: Los autores descomponen los cocaracteres propios $\pi_{n_1, \dots, n_{2k}}(A)$ en caracteres irreducibles del producto de los grupos simétricos $S_{n_1} \times \dots \times S_{n_2k}$. El núcleo del análisis consiste en determinar las multiplicidades no nulas ($m_{\lambda_1, \dots, \lambda_{2k}}$) en esta descomposición.
3. Variedades Mínimas como Bloques de Construcción: El artículo se apoya en una clasificación previa de las variedades mínimas de crecimiento cuadrático (por Cota y Vieira [7] y otros). Estas variedades mínimas están generadas por álgebras de dimensión finita específicas, que incluyen:
   • Subálgebras conmutativas de matrices triangulares superiores ($C_m$) con graduaciones e involuciones específicas.
   • Subálgebras de matrices triangulares superiores ($N_m, U_m$) con graduaciones elementales.
   • Subálgebras del álgebra de Grassmann ($G_2$) con diversas involuciones ($\psi, \tau, \gamma$).
   • Subálgebras conmutativas específicas de $UT_4$ ($W$) con involuciones definidas.
4. Teorema de Correspondencia: Los autores establecen una correspondencia directa entre las multiplicidades no nulas en la descomposición de los cocaracteres propios de un álgebra $A$ y las variedades mínimas contenidas dentro de la variedad generada por $A$.
5. Descomposición en Suma Directa: Mediante el análisis de las multiplicidades para los grados $n=1$ y $n=2$ (dado que el crecimiento cuadrático implica la anulación de las identidades propias para $n \ge 3$), los autores construyen una suma directa de álgebras mínimas que es $T^*_G$-equivalente al álgebra original.

Contribuciones Clave y Resultados

• Clasificación de Variedades Mínimas: El artículo consolida y utiliza la clasificación de las variedades $(G, \ast)$-mínimas unitarias de crecimiento cuadrático. Enumera explícitamente los ideales $T^*_G$, las secuencias de codimensión y los cocaracteres propios para un conjunto exhaustivo de álgebras generadoras (denotado como el conjunto $\mathcal{I}$ en el texto).
• Correspondencia Multiplicidad-Estructura: La principal contribución teórica es la demostración de que, para un álgebra $(G, \ast)$-unitaria $A$ con crecimiento cuadrático, las multiplicidades no nulas en su descomposición de cocaracteres propios determinan de forma única las variedades mínimas contenidas en $\text{var}^\sharp(A)$. Específicamente:
  • Las multiplicidades de tipo $m_{((1)h^+)}$ corresponden a la presencia de $C^h_2$.
  • Las multiplicidades de tipo $m_{((2)g^-)}$ corresponden a $C^g_{3,\ast}$.
  • Las multiplicidades de tipo $m_{((1,1)1^+)}$ corresponden a $U^1_{3,\ast}$.
  • Las multiplicidades de tipo $m_{((1)s^\epsilon, (1)t^\delta)}$ (iguales a 1 o 2) corresponden a sumas específicas de álgebras como $G_{s,t} \oplus W_{s,t}$ o a álgebras individuales como $W_{s,t}$, dependiendo del valor de la multiplicidad.
• Teorema Principal (Teorema 4.10): El artículo demuestra que cualquier álgebra $(G, \ast)$-unitaria $A$ con crecimiento de codimensión cuadrática es $T^*_G$-equivalente a una suma directa finita de álgebras del conjunto $\mathcal{I}$. Crucialmente, al menos un componente en esta suma debe pertenecer al subconjunto $\mathcal{I} \setminus \{F, C^h_2, C^g_{2,\ast}\}$ (los álgebras que generan crecimiento estrictamente cuadrático).
• Corolario 4.11: Los autores concluyen que un álgebra $(G, \ast)$-unitaria de dimensión finita tiene un crecimiento de codimensión acotado por $O(n^2)$ si y solo si es $T^*_G$-equivalente a una suma directa finita de álgebras que generan variedades mínimas con, a lo sumo, crecimiento cuadrático.

Significado
El artículo afirma que sus resultados constituyen un paso significativo hacia una clasificación exhaustiva de las variedades de crecimiento de codimensión cuadrática en el contexto de los álgebras graduadas con involución. Al establecer que cada tal variedad está generada por una suma directa de variedades mínimas, el trabajo proporciona una descomposición estructural que refleja los resultados conocidos para el crecimiento lineal y los álgebras PI ordinarias. El enfoque cierra la brecha entre la teoría abstracta del crecimiento de codimensión y las propiedades estructurales concretas de los álgebras generadoras, ofreciendo una caracterización completa para el caso unitario. Los resultados se presentan como intrínsecos a la teoría PI, extendiendo el marco de clasificación a álgebras con estructuras adicionales (graduación e involución).