On cyclic invariants of the free associative algebra

A continuación presento un resumen técnico detallado del artículo "On Cyclic Invariants of the Free Associative Algebra" (Sobre los invariantes cíclicos del álgebra asociativa libre), escrito por Silvia Boumova y Vesselin Drensky.

1. Planteamiento del Problema

El artículo se sitúa en el ámbito de la teoría de invariantes no conmutativa. El problema central es estudiar la estructura del álgebra de invariantes $K\langle X_d \rangle^G$, donde:

• $K\langle X_d \rangle$ es el álgebra asociativa libre de rango $d \ge 2$ sobre un campo $K$ de característica 0.
• $G$ es un subgrupo del grupo lineal general $GL_d(K)$.
• Específicamente, el foco está en el grupo cíclico $C_d$ generado por una permutación cíclica de las variables: $\rho(x_1)=x_2, \dots, \rho(x_d)=x_1$.

El trabajo aborda dos perspectivas principales:

1. La estructura del álgebra de invariantes como un álgebra libre (generadores libres y serie de Hilbert).
2. La estructura del álgebra de invariantes como un álgebra S (o álgebra de Kharchenko-Koryukin). Esto implica considerar la acción adicional del grupo simétrico $Sym(n)$ sobre la componente homogénea de grado $n$, que permuta las posiciones de las variables dentro de los monomios. El objetivo es determinar si este álgebra es finitamente generada como álgebra S y encontrar un conjunto de generadores.

2. Metodología

Los autores emplean una combinación de teoría de representaciones, álgebra combinatoria y teoría de invariantes clásica y no conmutativa:

• Cambio de Base: Para facilitar el cálculo, transforman la base estándar $X_d = \{x_1, \dots, x_d\}$ a una base de eigenvectores $Y_d = \{y_0, y_1, \dots, y_{d-1}\}$ bajo la acción del generador $\rho$. En esta nueva base, la acción es diagonal: $\rho(y_k) = \varepsilon^k y_k$, donde $\varepsilon$ es una raíz $d$-ésima primitiva de la unidad.
• Análisis Combinatorio de Monomios: Caracterizan los invariantes mediante condiciones de congruencia en los índices de los monomios en la base $Y_d$. Un monomio $y_{i_1} \dots y_{i_n}$ es invariante si y solo si $\sum i_j \equiv 0 \pmod d$.
• Teoría de Semigrupos Libres: Utilizan el hecho de que el álgebra de invariantes es libre (resultado previo de Lane y Kharchenko) para construir bases de generadores libres identificando los "átomos" del semigrupo de invariantes (monomios que no pueden descomponerse en productos de otros invariantes).
• Series de Hilbert: Aplican el teorema de Dicks-Formanek para calcular la serie de Hilbert de los invariantes no conmutativos, análoga a la fórmula de Molien en el caso conmutativo.
• Transferencia de Resultados: Demuestran que los resultados obtenidos para $K=\mathbb{C}$ se transfieren a cualquier campo de característica 0, aprovechando que las dimensiones y las relaciones de dependencia no dependen del campo específico en este contexto.

3. Contribuciones y Resultados Clave

A. Serie de Hilbert y Generadores Libres

Los autores calculan explícitamente la serie de Hilbert del álgebra de invariantes $K\langle X_d \rangle^{C_d}$:
$$H(K\langle X_d \rangle^{C_d}, t) = \frac{1 - (d-1)t}{1 - dt}$$
Esto implica que la dimensión de la componente homogénea de grado $n$ es $d^{n-1}$.
Además, proporcionan un algoritmo constructivo para obtener un conjunto de generadores libres homogéneos. Un conjunto de generadores libres consiste en todos los monomios $y_{i_1} \dots y_{i_n}$ tales que:

1. $\sum_{j=1}^n i_j \equiv 0 \pmod d$.
2. Para todo $m < n$, la suma parcial $\sum_{j=1}^m i_j \not\equiv 0 \pmod d$ (condición de irreducibilidad).

B. Estructura de Álgebra S (Generadores Finitos)

El resultado más significativo es la demostración de que, aunque el álgebra de invariantes como álgebra libre tiene infinitos generadores, como álgebra S (bajo la acción de $Sym(n)$) es finitamente generada.

• Teorema 4.1: Demuestran que los mismos monomios que generan el álgebra de invariantes conmutativa $C[Y_d]^{C_d}$ (como álgebra polinomial) también generan el álgebra de invariantes no conmutativa $C\langle Y_d \rangle^{C_d}$ como álgebra S.
• Esto conecta la teoría conmutativa clásica con la no conmutativa bajo la acción de Kharchenko-Koryukin.

C. Caso Específico $d=3$

El artículo realiza un análisis detallado para $d=3$ (el grupo cíclico de orden 3):

• Base Conmutativa: Se identifican los generadores: $y_0, y_1y_2, y_1^3, y_2^3$.
• Generadores en la Base Estándar: Se traducen estos generadores a la base original $X_3 = \{x_1, x_2, x_3\}$, obteniendo sumas cíclicas:
  • $v_1 = x_1 + x_2 + x_3$
  • $v_2 = x_1x_2 + x_2x_3 + x_3x_1$
  • $v_{31} = x_1^2x_2 + x_2^2x_3 + x_3^2x_1$
  • $v_{32} = x_1x_2^2 + x_2x_3^2 + x_3x_1^2$
• Se demuestra que el conjunto $\{v_1, v_2, v_{31}, v_{32}\}$ genera el álgebra S $(K\langle X_3 \rangle^{C_3}, \circ)$ y que este conjunto es mínimo.

D. Conjetura sobre Minimidad

Los autores proponen la Conjetura 5.2: "Cualquiera dos sistemas de generación mínimos de un subálgebra S de $(K\langle X_d \rangle, \circ)$ tienen el mismo número de elementos de un grado dado". El caso $d=3$ presentado en el artículo sirve como evidencia empírica que confirma esta conjetura para ese caso específico.

4. Significado e Impacto

• Avance en Teoría No Conmutativa: El trabajo resuelve problemas abiertos sobre la estructura de invariantes para grupos cíclicos en el contexto no conmutativo, extendiendo resultados conocidos para grupos simétricos y diédricos.
• Puente entre Conmutativo y No Conmutativo: Al demostrar que los generadores de la versión conmutativa (como álgebra S) sirven para la versión no conmutativa, unifica conceptos de ambas teorías bajo la acción del grupo simétrico.
• Finitud: Refuerza el resultado de Koryukin de que los invariantes bajo grupos reductivos son finitamente generados como álgebras S, proporcionando ejemplos explícitos y constructivos para el caso cíclico.
• Herramientas Computacionales: El algoritmo presentado para construir generadores libres y la descripción explícita de los generadores para $d=3$ ofrecen herramientas prácticas para cálculos en álgebra computacional y teoría de representaciones.

En resumen, el artículo proporciona una descripción completa y constructiva de los invariantes cíclicos en álgebras libres, determinando su serie de Hilbert, sus generadores libres y, crucialmente, su estructura finita como álgebra bajo la acción de permutación de posiciones.