Differential graded Hopf algebra structure on free symmetric cosimplicial operads

Resumen Técnico: Estructura de Álgebra de Hopf Graduada Diferencial en Operados Simétricos Cosimpliciales Libres

Problema y Motivación
Este artículo aborda la construcción de estructuras algebraicas en operados diferenciales graduados (dg) multiplicativos, simétricos, conexos y libres. Motivados por trabajos recientes sobre operados multiplicativos puntuados de Batkam y Tcheka, los autores buscan establecer un marco algebraico integral que extienda los resultados conocidos sobre operados asociativos al contexto más amplio de operados simétricos libres generales. Específicamente, el trabajo tiene como objetivo construir nuevas álgebras de complejos de cadenas, álgebras de bicomplejos y una estructura de álgebra de Hopf graduada diferencial en estos operados, aprovechando la interacción entre la composición operádica, las estructuras cosimpliciales y los productos tensoriales.

Metodología
Los autores emplean un enfoque constructivo fundamentado en la teoría de operados sobre una categoría monoidal simétrica aditiva (específicamente, espacios vectoriales sobre un cuerpo $K$). La metodología procede a través de los siguientes pasos:

1. Definiciones y Preliminares: El artículo establece las definiciones necesarias para los operados $\Sigma$-dg, incluyendo composiciones parciales y totales, equivariancia y el diferencial. Distingue entre operados multiplicativos (que poseen un elemento de grado cero con dos entradas $\mu$) y operados puntuados o conexos (que poseen un punto base $1_0$ en aridad 0).
2. Construcción de la Estructura Cosimplicial: Para un operado dg multiplicativo puntuado libre, los autores definen aplicaciones de cofrente ($D^i$) y codegeneración ($s_i$) utilizando la composición parcial con la multiplicación $\mu$ y el punto base $1_0$. Estas aplicaciones inducen un operador de frontera $\partial$ (suma alternada de codegeneraciones) y un operador de cofrontera $\delta$ (suma alternada de cofrentes).
3. Definiciones de Productos Algebraicos:
   • El producto $\odot$ se define mediante la multiplicación $\mu$ como $x \odot y = (\mu \circ_2 y) \circ_1 x$.
   • Un producto de mezcla torcido (denotado $\nabla$) se define sobre el producto tensorial de los componentes del operado, incorporando el signo de las mezclas y la acción del grupo simétrico: $x \nabla y = \sum_{\sigma \in \Sigma(p,q)} \text{sgn}(\sigma)(x \odot y) \cdot \sigma^{-1}$.
4. Construcción del Álgebra de Hopf: En el caso no diferencial graduado (concentrado en grado cero), los autores definen un coproducto $\Delta$ utilizando aplicaciones lineales específicas ($es^j_k$) derivadas de codegeneraciones iteradas. Verifican la compatibilidad de este coproducto con la estructura algebraica y construyen una antípoda $A$ de forma recursiva basada en el número de entradas de los generadores.

Contribuciones y Resultados Clave

• Álgebras de Bicoplejos y Complejos de Cadenas: Los autores demuestran que para un operado dg multiplicativo simétrico conexo libre $(O, d)$:

  • El par $((O, d), \odot)$ forma un álgebra de complejo de cadenas.
  • Los triples $((O, d), \partial, \odot)$ y $((O, d), \delta, \odot)$ forman álgebras de bicomplejos.
  • El triple $((O, d), \nabla)$ constituye un álgebra diferencial graduada torcida, que generaliza la estructura de álgebra torcida de Malvenuto-Reutenauer sobre el operado asociativo ($Ass$).

• Estructura de Álgebra de Hopf Graduada Diferencial: Centrándose en el caso donde el operado está concentrado en grado cero (con $d=0$), el artículo construye una estructura de álgebra de Hopf graduada diferencial.

  • Coproducto: Se establece una estructura de coalgebra diferencial graduada coaugmentada mediante la aplicación $\Delta: O(k) \to \bigoplus_{j=0}^k O(j) \otimes O(k-j)$.
  • Antípoda: Se define una antípoda recursiva $A$, que satisface las identidades antipodales requeridas.
  • Teorema Principal: Se demuestra que el quintuplete $((O, \delta), \odot, \eta, \Delta, \epsilon)$ es un álgebra de Hopf graduada diferencial.

• Estructuras Inducidas: La construcción induce naturalmente una estructura de álgebra de convolución en el anillo de endomorfismos $\text{End}(O)$. Esto conduce a la definición de operaciones de cadena de Adams ($\phi_k$) y establece que estas operaciones forman un monoide bajo convolución. Además, el producto de convolución induce una estructura de álgebra de Lie en $\text{End}(O)$ mediante el corchete conmutador.

• Aplicación al Operado Asociativo ($Ass$): La teoría se aplica al operado asociativo $Ass = \bigoplus_{n \geq 0} K[S_n]$. Los autores demuestran que el coproducto construido $\Delta$ coincide con el coproducto clásico de Malvenuto-Reutenauer $\Delta_{MR}$ (bajo la identificación del cuerpo $K$ con el anillo $\mathbb{Z}$). En consecuencia, el artículo confirma que $Ass$ porta una estructura de álgebra de Hopf graduada diferencial, extendiendo así el resultado clásico de Malvenuto-Reutenauer a una clase más amplia de operados simétricos conexos multiplicativos libres.

Significado
El artículo afirma extender el resultado de Malvenuto-Reutenauer al demostrar que todo operado simétrico conexo multiplicativo libre porta naturalmente una estructura de álgebra de Hopf graduada diferencial. Al unificar la estructura cosimplicial con la composición operádica y el producto $\odot$, el trabajo proporciona un marco general para interpretar estructuras multiplicativas en homología. La construcción del álgebra diferencial graduada torcida y la subsiguiente estructura de álgebra de Hopf ofrece nuevas herramientas para estudiar estructuras algebraicas invariantes bajo homotopía y sus jerarquías, particularmente dentro del contexto de la teoría de homotopía racional y complejos de grafos. La identificación de las estructuras de álgebra de convolución y de álgebra de Lie inducidas en el anillo de endomorfismos conecta además la teoría operádica con operaciones algebraicas clásicas como las operaciones de Adams.