A Solomon Mackey formula for graded bialgebras

Resumen Técnico: Una Fórmula de Solomon Mackey para Biálgebras Graduadas

Planteamiento del Problema
El artículo aborda la clasificación de operaciones naturales $k$-lineales en la categoría de biálgebras graduadas $k$. Específicamente, investiga la estructura algebraica formada por las "operaciones de Adams de proyección retorcidas" (twisted projecting Adams operations), denotadas como $p_{\alpha, \sigma}$. Estos operadores se definen para un biálgebra graduada $H$ utilizando comultiplicaciones iteradas $\Delta^{[k]}$, multiplicaciones iteradas $m^{[k]}$, proyecciones $P_\alpha$ sobre componentes multigraduadas y permutaciones $\sigma \in S_k$ actuando sobre factores tensoriales.

Si bien la composición de tales operadores está bien comprendida en los casos especiales donde $H$ es conmutativa o cocommutativa (recuperando la fórmula de Mackey de Solomon para el grupo simétrico y los resultados de Patras sobre operadores de descenso), el caso general para biálgebras graduadas arbitrarias permanecía abierto. En el caso general, el conjunto de operadores $p_{\alpha, \sigma}$ es cerrado bajo composición, pero la fórmula para $p_{\alpha, \sigma} \circ p_{\beta, \tau}$ era previamente desconocida. Además, el artículo busca identificar el álgebra de Hopf combinatoria que gobierna estas operaciones para biálgebras graduadas conexas arbitrarias, de manera análoga a cómo el álgebra de funciones simétricas no conmutativas ($\text{NSym}$) las gobierna en el caso cocommutativo.

Metodología
El autor emplea una combinación de manipulación algebraica directa y construcción combinatoria:

1. Derivación Algebraica: El núcleo del trabajo consiste en derivar una fórmula explícita para la composición $p_{\alpha, \sigma} \circ p_{\beta, \tau}$. Esto requiere establecer una serie de relaciones de conmutación entre los mapas constitutivos: proyecciones ($P_\alpha$), permutaciones ($\sigma$), multiplicaciones iteradas ($m^{[k]}$) y comultiplicaciones iteradas ($\Delta^{[k]}$). Las herramientas técnicas clave incluyen la permutación "Zolotarev shuffle" y lemas específicos sobre cómo estos operadores interactúan con productos tensoriales y componentes graduadas.
2. Independencia Lineal: Para validar la generalidad de las fórmulas derivadas, el autor construye biálgebras de Hopf graduadas conexas "genéricas" específicas (álgebras libres con reglas de comultiplicación específicas) para demostrar que la familia de operadores $\{p_{\alpha, \sigma}\}$ es $k$-linealmente independiente. Esto asegura que las fórmulas de composición derivadas no son artefactos de relaciones algebraicas específicas en un $H$ particular, sino que se mantienen universales.
3. Construcción Combinatoria: El artículo construye un nuevo álgebra de Hopf combinatoria, denominada PNSym (Funciones Simétricas No Conmutativas Permutadas). La base de este álgebra está indexada por "mopiscociones" (composiciones permutadas), que son pares $(\alpha, \sigma)$ consistentes en una composición $\alpha$ y una permutación $\sigma$. La estructura algebraica de PNSym se define para reflejar la composición, el producto de convolución y las propiedades del producto tensorial de los operadores $p_{\alpha, \sigma}$.
4. Conexión con Álgebras de Monoide: La multiplicación interna de PNSym se analiza relacionándola con el monoide de Janus (introducido por Aguiar y Mahajan) y el monoide de caras de la disposición de braid. El autor establece que el álgebra de operadores en el componente graduado $n$-ésimo es isomórfica a la parte $S_n$-invariante del álgebra de Janus.

Contribuciones Clave y Resultados

• La Fórmula de Solomon Mackey Generalizada (Teorema 1.19): El resultado principal es una fórmula explícita para la composición de dos operaciones de Adams de proyección retorcidas:
  $$p_{\alpha, \sigma} \circ p_{\beta, \tau} = \sum_{\gamma} p_{\gamma, \tau[\sigma]}$$
  donde la suma corre sobre todas las matrices de enteros no negativos $\gamma_{i,j}$ de tamaño $k \times \ell$ que satisfacen restricciones específicas de suma de filas y columnas determinadas por $\alpha$ y $\beta$. La permutación resultante viene dada por una operación específica $\tau[\sigma]$ (una composición de tipo producto semidirecto o wreath-product de permutaciones). Esta fórmula generaliza los resultados de Patras de 1994 y la fórmula de Mackey de Solomon a biálgebras graduadas arbitrarias.
• Fórmulas de Convolución y Tensor: El artículo proporciona fórmulas para el producto de convolución ($p_{\alpha, \sigma} \star p_{\beta, \tau} = p_{\alpha\beta, \sigma \oplus \tau}$) y el comportamiento de estos operadores bajo productos tensoriales de biálgebras y dualidad.
• El Álgebra PNSym: Se construye un nuevo álgebra de Hopf combinatoria, PNSym.
  • Posee una multiplicación "externa" (que refleja la convolución) y una multiplicación "interna" (que refleja la composición).
  • Se demuestra que es un álgebra de Hopf cocommutativa graduada conexa bajo el producto externo y un biálgebra no unitaria bajo el producto interno.
  • Existe un morfismo sobreyectivo $p: \text{PNSym} \to \text{NSym}$ que respeta todas las estructuras, mostrando efectivamente que PNSym es un "levantamiento permutado" de las funciones simétricas no conmutativas clásicas.
• Independencia Lineal: El Teorema 1.36 establece que, para una biálgebra de Hopf graduada conexa adecuadamente elegida, los operadores $p_{\alpha, \sigma}$ son linealmente independientes. Esto confirma que las fórmulas derivadas son las identidades más generales posibles.
• Isomorfismo a Subálgebras Invariantes: El artículo prueba que el álgebra de operadores en el componente graduado $n$-ésimo, $\text{PNSym}^{(2)}_n$, es isomórfica a la subálgebra $S_n$-invariante del álgebra de Janus (Teorema 2.18 y Corolario 2.19). Esto conecta el estudio de estos operadores con la rica teoría del álgebra de descenso y el monoide de Tits.

Significancia y Reivindicaciones
El autor presenta este trabajo como un informe preliminar de un proyecto que tiene como objetivo clasificar las identidades entre operaciones naturales en biálgebras graduadas. El artículo afirma que:

1. La fórmula de composición derivada (Teorema 1.19) es un resultado nuevo que generaliza las fórmulas conocidas para los casos cocommutativos y conmutativos al entorno general.
2. El álgebra de Hopf combinatoria PNSym es un objeto nuevo que "gobierna" las operaciones de Adams de proyección retorcidas para biálgebras graduadas conexas arbitrarias, tal como $\text{NSym}$ las gobierna en el caso cocommutativo.
3. Los resultados proporcionan un algoritmo mecánico para verificar identidades funcionales para biálgebras graduadas conexas, reduciéndolas a cálculos dentro del álgebra combinatoria PNSym.

El autor señala explícitamente que las pruebas son "incompletas" (inchoate) y carecen de elegancia, y que el enfoque actual se restringe a las operaciones unarias ($H \to H$), dejando las operaciones de múltiples entradas y múltiples salidas para estudios futuros. El artículo también deja abierta la cuestión de si todas las endomorfismos graduados naturales de biálgebras graduadas conexas pueden expresarse como combinaciones lineales infinitas de los operadores $p_{\alpha, \sigma}$ (Pregunta 1.41), aunque el autor sospecha que la respuesta es afirmativa.