Differential graded Hopf algebra structure on free symmetric cosimplicial operads

Sintesi Tecnica: Struttura di Algebra di Hopf Differenziale Graduata su Operadi Simmetrici Liberi Cosimpliciali

Problema e Motivazione
Questo articolo affronta la costruzione di strutture algebriche su operadi differenziali graduati (dg) moltiplicativi connessi simmetrici liberi. Motivati da lavori recenti sugli operadi moltiplicativi puntati di Batkam e Tcheka, gli autori mirano a stabilire un quadro algebrico completo che estenda i risultati noti sugli operadi associativi al contesto più ampio degli operadi simmetrici liberi generali. Nello specifico, il lavoro mira a costruire nuove algebre di complessi di catene, algebre di bicomplessi e una struttura di algebra di Hopf differenziale graduata su questi operadi, sfruttando l'interazione tra composizione operadica, strutture cosimpliciali e prodotti tensoriali.

Metodologia
Gli autori adottano un approccio costruttivo fondato sulla teoria degli operadi su una categoria monoidale simmetrica additiva (in particolare spazi vettoriali su un campo $K$). La metodologia procede attraverso i seguenti passaggi:

1. Definizioni e Preliminari: L'articolo stabilisce le definizioni necessarie per gli operadi $\Sigma$-dg, incluse le composizioni parziali e totali, l'equivarianza e il differenziale. Distingue tra operadi moltiplicativi (che possiedono un elemento di grado zero a due ingressi $\mu$) e operadi puntati o connessi (che possiedono un punto base $1_0$ in arità 0).
2. Costruzione della Struttura Cosimpliciale: Per un operado dg moltiplicativo puntato libero, gli autori definiscono le mappe di cofaccia ($D^i$) e di codegenerazione ($s_i$) utilizzando la composizione parziale con la moltiplicazione $\mu$ e il punto base $1_0$. Queste mappe inducono un operatore di bordo $\partial$ (somma alternata delle codegenerazioni) e un operatore di cobordo $\delta$ (somma alternata delle cofacce).
3. Definizioni di Prodotti Algebrici:
   • Il prodotto $\odot$ è definito tramite la moltiplicazione $\mu$ come $x \odot y = (\mu \circ_2 y) \circ_1 x$.
   • Un prodotto shuffle attorcigliato (denotato $\nabla$) è definito sul prodotto tensoriale delle componenti dell'operado, incorporando la firma degli shuffle e l'azione del gruppo simmetrico: $x \nabla y = \sum_{\sigma \in \Sigma(p,q)} \text{sgn}(\sigma)(x \odot y) \cdot \sigma^{-1}$.
4. Costruzione dell'Algebra di Hopf: Nel caso non differenziale graduato (concentrato in grado zero), gli autori definiscono un coprodotto $\Delta$ utilizzando mappe lineari specifiche ($es^j_k$) derivate da codegenerazioni iterate. Verificano la compatibilità di questo coprodotto con la struttura algebrica e costruiscono un'antipoda $A$ in modo ricorsivo basandosi sul numero di ingressi dei generatori.

Contributi e Risultati Chiave

• Algebre di Bicomplessi e di Complessi di Catene: Gli autori dimostrano che per un operado dg moltiplicativo connesso simmetrico libero $(O, d)$:

  • La coppia $((O, d), \odot)$ forma un'algebra di complesso di catene.
  • Le terne $((O, d), \partial, \odot)$ e $((O, d), \delta, \odot)$ formano algebre di bicomplessi.
  • La terna $((O, d), \nabla)$ costituisce una algebra differenziale graduata attorcigliata, che generalizza la struttura di algebra attorcigliata di Malvenuto-Reutenauer sull'operado associativo ($Ass$).

• Struttura di Algebra di Hopf Differenziale Graduata: Concentrandosi sul caso in cui l'operado è concentrato in grado zero (con $d=0$), l'articolo costruisce una struttura di algebra di Hopf differenziale graduata.

  • Coprodotto: Viene stabilita una struttura di coalgebra differenziale graduata coaumentata tramite la mappa $\Delta: O(k) \to \bigoplus_{j=0}^k O(j) \otimes O(k-j)$.
  • Antipoda: Viene definita un'antipoda ricorsiva $A$, che soddisfa le identità antipodali richieste.
  • Teorema Principale: Il quintuplo $((O, \delta), \odot, \eta, \Delta, \epsilon)$ è dimostrato essere un'algebra di Hopf differenziale graduata.

• Strutture Indotte: La costruzione induce naturalmente una struttura di algebra di convoluzione sull'anello degli endomorfismi $\text{End}(O)$. Ciò porta alla definizione di operazioni di cochain di Adams ($\phi_k$) e stabilisce che queste operazioni formano un monoide rispetto alla convoluzione. Inoltre, il prodotto di convoluzione induce una struttura di algebra di Lie su $\text{End}(O)$ tramite il parentesi commutatore.

• Applicazione all'Operado Associativo ($Ass$): La teoria è applicata all'operado associativo $Ass = \bigoplus_{n \geq 0} K[S_n]$. Gli autori dimostrano che il coprodotto $\Delta$ costruito coincide con il classico coprodotto di Malvenuto-Reutenauer $\Delta_{MR}$ (sotto l'identificazione del campo $K$ con l'anello $\mathbb{Z}$). Di conseguenza, l'articolo conferma che $Ass$ porta una struttura di algebra di Hopf differenziale graduata, estendendo così il risultato classico di Malvenuto-Reutenauer a una classe più ampia di operadi moltiplicativi connessi simmetrici liberi.

Significato
L'articolo afferma di estendere il risultato di Malvenuto-Reutenauer dimostrando che ogni operado moltiplicativo connesso simmetrico libero porta naturalmente una struttura di algebra di Hopf differenziale graduata. Unificando la struttura cosimpliciale con la composizione operadica e il prodotto $\odot$, il lavoro fornisce un quadro generale per interpretare le strutture moltiplicative in omologia. La costruzione dell'algebra differenziale graduata attorcigliata e la successiva struttura di algebra di Hopf offrono nuovi strumenti per lo studio di strutture algebriche invarianti per omotopia e delle loro gerarchie, in particolare nel contesto della teoria dell'omotopia razionale e dei complessi di grafi. L'identificazione delle strutture di algebra di convoluzione e di algebra di Lie indotte sull'anello degli endomorfismi collega ulteriormente la teoria operadica alle operazioni algebriche classiche come le operazioni di Adams.