The left-to-right minima basis of the group algebra of the symmetric group (updated version)

Resumen Técnico: La base de los mínimos de izquierda a derecha del álgebra de grupo del grupo simétrico

Autores: Darij Grinberg y Ekaterina A. Vassilieva (2026).

1. El Problema

El estudio se centra en el álgebra de grupo $A = k[S_n]$ del grupo simétrico $S_n$ sobre un anillo conmutativo $k$. Un objeto central en este contexto es el álgebra de descenso $\Sigma_n$, un subálgebra de $A$ introducida por Solomon, cuya base clásica es la base $B$ (denotada como $(B_I)$), donde cada elemento es la suma de permutaciones cuyo conjunto de descensos está contenido en un subconjunto $I \subseteq [n-1]$.

El problema fundamental que aborda el artículo es la construcción de una nueva base $(\beta_w)_{w \in S_n}$ para todo el álgebra de grupo $A$ que sea "compatible" con la acción de la álgebra de descenso. Específicamente, los autores buscan una base sobre la cual la acción por la derecha de $\Sigma_n$ sea triangular. Esto convertiría a esta nueva base en un análogo de una base celular (en el sentido de la teoría de álgebras de Graham y Lehrer), permitiendo un análisis estructural más profundo de las representaciones.

2. Metodología

La investigación emplea una combinación de combinatoria de permutaciones, teoría de álgebras libres y estructuras de filtración:

• Estadística de Permutaciones: Utilizan los mínimos de izquierda a derecha (LRM) de una permutación $w$. Se define un conjunto desplazado $LRM'(w)$ y una composición asociada $c_{LRM'}(w)$.
• Filtración por Ideales: Construyen una filtración del álgebra $A$ mediante ideales de la derecha $R_\beta = B_\beta A$, indexados por composiciones $\beta$ y ordenados mediante la relación de refinamiento de particiones ($\preceq_\pi$).
• Álgebra Libre y Elementos de Dynkin: Para demostrar la compatibilidad de la base con la filtración, los autores recurren al álgebra libre $F_n$ (polinomios no conmutativos). Utilizan los elementos de Dynkin (commutadores anidados) $V_S$ y su interacción con la base $B$ mediante la fórmula de Mackey de Solomon.
• Inducción y Orden Lexicográfico: Emplean argumentos de inducción fuerte y comparaciones lexicográficas para probar la independencia lineal y la estructura triangular de la base propuesta.

3. Contribuciones Clave y Resultados

El artículo presenta tres resultados principales:

1. Construcción de la Base LRM: Definen la nueva base como los elementos de la forma:
   $$\beta_w = B_{LRM'(w)} \cdot w$$
   Donde $B_{LRM'(w)}$ es el elemento de la base de descensos asociado a la composición de los mínimos de izquierda a derecha de $w$. Demuestran que este conjunto es efectivamente una base de $A$ al mostrar que expande unitriangularmente en la base estándar de permutaciones.

2. Compatibilidad con la Filtración (Teorema Principal): Demuestran que esta nueva base es "adaptada" a la filtración de ideales de la derecha. Específicamente, el subespacio generado por los elementos $\beta_w$ tales que su composición de LRM refina una partición $\alpha$ coincide exactamente con el ideal $R_\alpha$.

3. Acción Triangular y Autovalores (Corolario 3 y 4): Prueban que para cualquier elemento $a \in \Sigma_n$, la aplicación de la izquierda $L(a)$ (multiplicación por $a$) está representada por una matriz triangular superior con respecto a la base LRM. Además, proporcionan una fórmula explícita para los autovalores de esta matriz, los cuales dependen de los escalares $\eta_\beta(\alpha)$ derivados de la fórmula de Solomon.

4. Significancia

La importancia de este trabajo radica en varios niveles:

• Teórico: Proporciona una construcción explícita de una base que revela la estructura de la acción de la álgebra de descenso sobre el álgebra de grupo, algo que se sabía que existía teóricamente pero cuya construcción concreta era desconocida para anillos conmutativos generales.
• Representacional: Al establecer una estructura triangular, el trabajo facilita el estudio de las representaciones de $S_n$ y la descomposición de $A$ como módulo sobre $\Sigma_n$.
• Generalización: El método abre la puerta a investigar si estructuras similares existen para otros grupos de Coxeter, extendiendo la combinatoria de descensos más allá del grupo simétrico.