A Solomon Mackey formula for graded bialgebras

Sintesi Tecnica: Una formula di Solomon Mackey per le bialgebre graduate

Enunciato del Problema
Il saggio affronta la classificazione delle operazioni naturali $k$-lineari sulla categoria delle bialgebre graduate su $k$. Nello specifico, investiga la struttura algebrica formata dalle "operazioni di Adams proiettanti ritorte" (twisted projecting Adams operations), denotate $p_{\alpha, \sigma}$. Tali operatori sono definiti per una bialgebbra graduata $H$ mediante comultiplicazioni iterate $\Delta^{[k]}$, moltiplicazioni iterate $m^{[k]}$, proiezioni $P_\alpha$ sulle componenti multigraduate e permutazioni $\sigma \in S_k$ che agiscono sui fattori tensoriali.

Sebbene la composizione di tali operatori sia ben compresa nei casi speciali in cui $H$ è commutativa o cocommutativa (recuperando la formula di Mackey di Solomon per il gruppo simmetrico e i risultati di Patras sugli operatori di discesa), il caso generale per arbitrarie bialgebre graduate è rimasto aperto. Nel caso generale, l'insieme degli operatori $p_{\alpha, \sigma}$ è chiuso rispetto alla composizione, ma la formula per $p_{\alpha, \sigma} \circ p_{\beta, \tau}$ era precedentemente ignota. Inoltre, il saggio mira a identificare l'algebra di Hopf combinatoria che governa queste operazioni per arbitrarie bialgebre graduate connesse, analogamente a come l'algebra delle funzioni simmetriche non commutative ($\text{NSym}$) le governa nel caso cocommutativo.

Metodologia
L'autore impiega una combinazione di manipolazione algebrica diretta e costruzione combinatoria:

1. Derivazione Algebrica: Il nucleo del lavoro consiste nel derivare una formula esplicita per la composizione $p_{\alpha, \sigma} \circ p_{\beta, \tau}$. Ciò richiede l'instaurazione di una serie di relazioni di commutazione tra le mappe costituenti: proiezioni ($P_\alpha$), permutazioni ($\sigma$), moltiplicazioni iterate ($m^{[k]}$) e comultiplicazioni iterate ($\Delta^{[k]}$). Gli strumenti tecnici chiave includono la permutazione "Zolotarev shuffle" e lemmi specifici riguardanti l'interazione di tali operatori con i prodotti tensoriali e le componenti graduate.
2. Indipendenza Lineare: Per validare la generalità delle formule derivate, l'autore costruisce specifiche bialgebre di Hopf graduate connesse "generiche" (algebre libere con regole di comultiplicazione specifiche) per dimostrare che la famiglia di operatori $\{p_{\alpha, \sigma}\}$ è $k$-linearmente indipendente. Ciò assicura che le formule di composizione derivate non siano artefatti di specifiche relazioni algebriche in un particolare $H$, ma valgano universalmente.
3. Costruzione Combinatoria: Il saggio costruisce una nuova algebra di Hopf combinatoria, denominata PNSym (Funzioni Simmetriche Non Commutative Permutate). La sua base è indicizzata da "mopiscotazioni" (composizioni permutate), ovvero coppie $(\alpha, \sigma)$ composte da una composizione $\alpha$ e una permutazione $\sigma$. La struttura algebrica di PNSym è definita per rispecchiare le proprietà di composizione, convoluzione e prodotto tensoriale degli operatori $p_{\alpha, \sigma}$.
4. Connessione con le Algebre di Monoidi: La moltiplicazione interna di PNSym viene analizzata relazionandola al monoido di Janus (introdotto da Aguiar e Mahajan) e al monoido di faccia dell'arrangiamento di braid. L'autore stabilisce che l'algebra degli operatori sulla $n$-esima componente graduata è isomorfa alla parte invariante sotto $S_n$ dell'algebra di Janus.

Contributi Chiave e Risultati

• La Formula di Solomon Mackey Generalizzata (Teorema 1.19): Il risultato primario è una formula esplicita per la composizione di due operazioni di Adams proiettanti ritorte:
  $$p_{\alpha, \sigma} \circ p_{\beta, \tau} = \sum_{\gamma} p_{\gamma, \tau[\sigma]}$$
  dove la sommatoria avviene su tutte le matrici $k \times \ell$ di interi non negativi $\gamma_{i,j}$ che soddisfano specifici vincoli di somma per righe e colonne determinati da $\alpha$ e $\beta$. La permutazione risultante è data da una specifica operazione $\tau[\sigma]$ (una composizione di tipo prodotto semidiretto/wreath-product di permutazioni). Questa formula generalizza i risultati di Patras del 1994 e la formula di Mackey di Solomon ad arbitrarie bialgebre graduate.
• Formule di Convoluzione e Tensore: Il saggio fornisce formule per il prodotto di convoluzione ($p_{\alpha, \sigma} \star p_{\beta, \tau} = p_{\alpha\beta, \sigma \oplus \tau}$) e il comportamento di tali operatori sotto prodotti tensoriali e dualità.
• L'Algebra PNSym: Viene costruita una nuova algebra di Hopf combinatoria, PNSym.
  • Essa possiede una moltiplicazione "esterna" (che rispecchia la convoluzione) e una moltiplicazione "interna" (che rispecchia la composizione).
  • Si dimostra che PNSym è un'algebra di Hopf cocommutativa graduata connessa sotto il prodotto esterno e una bialgebra non unitaria sotto il prodotto interno.
  • Esiste un morfismo suriettivo $p: \text{PNSym} \to \text{NSym}$ che rispetta tutte le strutture, mostrando efficacemente che PNSym è un "lift" permutato delle classiche funzioni simmetriche non commutative.
• Indipendenza Lineare: Il Teorema 1.36 stabilisce che, per una scelta appropriata di un'algebra di Hopf graduata connessa, gli operatori $p_{\alpha, \sigma}$ sono linearmente indipendenti. Ciò conferma che le formule derivate sono le identità più generali possibili.
• Isomorfismo con Sottialgebre Invarianti: Il saggio dimostra che l'algebra degli operatori sulla $n$-esima componente graduata, $\text{PNSym}^{(2)}_n$, è isomorfa alla sottalgebra invariante sotto $S_n$ dell'algebra di Janus (Teorema 2.18 e Corollario 2.19). Ciò connette lo studio di questi operatori alla ricca teoria dell'algebra di discesa e del monoido di Tits.

Significato e Rivendicazioni
L'autore presenta questo lavoro come un rapporto preliminare di un progetto volto a classificare le identità tra operazioni naturali su bialgebre graduate. Il saggio afferma che:

1. La formula di composizione derivata (Teorema 1.19) è un nuovo risultato che generalizza le formule note per i casi cocommutativi e commutativi al contesto generale.
2. L'algebra di Hopf combinatoria PNSym è un nuovo oggetto che "governa" le operazioni di Adams proiettanti ritorte per arbitrarie bialgebre graduate connesse, proprio come $\text{NSym}$ governa le operazioni nel caso cocommutativo.
3. I risultati forniscono un algoritmo meccanico per verificare le identità funzorali per le bialgebre di Hopf graduate connesse, riducendo tali verifiche a calcoli all'interno dell'algebra combinatoria PNSym.

L'autore nota esplicitamente che le prove sono "incompiute" (inchoate) e prive di eleganza, e che l'attenzione è attualmente limitata alle operazioni unarie ($H \to H$), lasciando le operazioni con più input e più output a studi futuri. Il saggio lascia inoltre aperto il quesito se tutte le endomorfismi naturali graduati delle bialgebre connesse possano essere espressi come combinazioni lineari infinite degli operatori $p_{\alpha, \sigma}$ (Domanda 1.41), sebbene l'autore sospetti che la risposta sia affermativa.