A Solomon Mackey formula for graded bialgebras

Resumo Técnico: Uma Fórmula de Solomon Mackey para Biálgebras Graduadas

Enunciado do Problema
O artigo aborda a classificação de operações $k$-lineares naturais na categoria de biálgebras graduadas $k$. Especificamente, investiga a estrutura algébrica formada por "operações de Adams de projeção torcida", denotadas por $p_{\alpha, \sigma}$. Esses operadores são definidos para uma biálgebra graduada $H$ usando comultiplicações iteradas $\Delta^{[k]}$, multiplicações iteradas $m^{[k]}$, projeções $P_\alpha$ sobre componentes multigraduadas e permutações $\sigma \in S_k$ atuando sobre fatores de tensor.

Embora a composição de tais operadores seja bem compreendida nos casos especiais onde $H$ é comutativa ou cocomutativa (recuperando a fórmula de Mackey de Solomon para o grupo simétrico e os resultados de Patras sobre operadores de descida), o caso geral para biálgebras graduadas arbitrárias permanecia em aberto. No caso geral, o conjunto de operadores $p_{\alpha, \sigma}$ é fechado sob composição, mas a fórmula para $p_{\alpha, \sigma} \circ p_{\beta, \tau}$ era anteriormente desconhecida. Além disso, o artigo busca identificar a álgebra de Hopf combinatória que governa essas operações para quaisquer biálgebras graduadas conexas, de forma análoga a como a álgebra das funções simétricas não comutativas ($\text{NSym}$) as governa no caso cocomutativo.

Metodologia
O autor emprega uma combinação de manipulação algébrica direta e construção combinatória:

1. Derivação Algébrica: O núcleo do trabalho envolve a derivação de uma fórmula explícita para a composição $p_{\alpha, \sigma} \circ p_{\beta, \tau}$. Isso requer o estabelecimento de uma série de relações de comutação entre os mapas constituintes: projeções ($P_\alpha$), permutações ($\sigma$), multiplicações iteradas ($m^{[k]}$) e comultiplicações iteradas ($\Delta^{[k]}$). Ferramentas técnicas chave incluem a permutação "Zolotarev shuffle" e lemmas específicos sobre como esses operadores interagem com produtos tensoriais e componentes graduadas.
2. Independência Linear: Para validar a generalidade das fórmulas derivadas, o autor constrói algebras de Hopf graduadas conexas "genéricas" específicas (álgebras livres com regras de comultiplicação específicas) para demonstrar que a família de operadores $\{p_{\alpha, \sigma}\}$ é $k$-linearmente independente. Isso garante que as fórmulas de composição derivadas não são artefatos de relações algébricas específicas em um determinado $H$, mas que se sustentam universalmente.
3. Construção Combinatória: O artigo constrói uma nova álgebra de Hopf combinatória, denominada PNSym (Funções Simétricas Não Comutativas Permutadas). A base desta álgebra é indexada por "mopiscotões" (composições permutadas), que são pares $(\alpha, \sigma)$ consistindo em uma composição $\alpha$ e uma permutação $\sigma$. A estrutura algébrica de PNSym é definida para espelhar a composição, convolução e propriedade de produto tensorial dos operadores $p_{\alpha, \sigma}$.
4. Conexão com Álgebras de Monoide: A multiplicação interna de PNSym é analisada relacionando-a ao monoide de Janus (introduzido por Aguiar e Mahajan) e ao monoide de faces da arranjo de braid. O autor estabelece que a álgebra de operadores no $n$-ésimo componente graduado é isomórfica à parte $S_n$-invariante da álgebra de Janus.

Contribuições Principais e Resultados

• A Fórmula de Solomon Mackey Generalizada (Teorema 1.19): O principal resultado é uma fórmula explícita para a composição de duas operações de Adams de projeção torcida:
  $$p_{\alpha, \sigma} \circ p_{\beta, \tau} = \sum_{\gamma} p_{\gamma, \tau[\sigma]}$$
  onde a soma percorre todas as matrizes $k \times \ell$ de inteiros não negativos $\gamma_{i,j}$ satisfazendo restrições específicas de soma de linhas e colunas determinadas por $\alpha$ e $\beta$. A permutação resultante é dada por uma operação específica $\tau[\sigma]$ (uma composição do tipo produto semidireto/wreath-product de permutações). Esta fórmula generaliza os resultados de Patras (1994) e a fórmula de Mackey de Solomon para biálgebras graduadas arbitrárias.
• Fórmulas de Convolução e Tensor: O artigo fornece fórmulas para o produto de convolução ($p_{\alpha, \sigma} \star p_{\beta, \tau} = p_{\alpha\beta, \sigma \oplus \tau}$) e o comportamento desses operadores sob produtos tensoriais de biálgebras e dualidade.
• A Álgebra PNSym: Uma nova álgebra de Hopf combinatória, PNSym, é construída.
  • Ela possui uma multiplicação "externa" (espelhando a convolução) e uma multiplicação "interna" (espelhando a composição).
  • Demonstra-se que ela é uma álgebra de Hopf graduada conexa e cocomutativa sob o produto externo e uma biálgebra não unitária sob o produto interno.
  • Existe um morfismo sobrejetor $p: \text{PNSym} \to \text{NSym}$ que respeita todas as estruturas, mostrando efetivamente que a PNSym é um "levantamento permutado" das clássicas funções simétricas não comutativas.
• Independência Linear: O Teorema 1.36 estabelece que, para uma álgebra de Hopf graduada conexa adequadamente escolhida, os operadores $p_{\alpha, \sigma}$ são linearmente independentes. Isso confirma que as fórmulas derivadas são as identidades mais gerais possíveis.
• Isomorfismo para Subálgebras Invariantes: O artigo prova que a álgebra de operadores no $n$-ésimo componente graduado, $\text{PNSym}^{(2)}_n$, é isomórfica à subálgebra $S_n$-invariante da álgebra de Janus (Teorema 2.18 e Corolário 2.19). Isso conecta o estudo desses operadores à rica teoria da álgebra de descida e do monoide de Tits.

Significância e Alegações
O autor apresenta este trabalho como um relatório preliminar de um projeto que visa classificar identidades entre operações naturais em biálgebras graduadas. O artigo alega que:

1. A fórmula de composição derivada (Teorema 1.19) é um novo resultado que generaliza fórmulas conhecidas para os casos cocomutativos e comutativos para o cenário geral.
2. A álgebra de Hopf combinatória PNSym é um novo objeto que "governa" as operações de Adams de projeção torcida para quaisquer biálgebras graduadas conexas, assim como a $\text{NSym}$ as governa no caso cocomutativo.
3. Os resultados fornecem um algoritmo mecânico para verificar identidades funcionais para algebras de Hopf graduadas conexas, reduzindo-as a cálculos dentro da álgebra combinatória PNSym.

O autor observa explicitamente que as provas são "incompletas" (inchoate) e carecem de elegância, e que o foco atual está restrito a operações unárias ($H \to H$), deixando operações de múltiplas entradas e múltiplas saídas para estudos futuros. O artigo também deixa em aberto a questão de se todas as endomorfismos graduados naturais de biálgebras graduadas conexas podem ser expressos como combinações lineares infinitas dos operadores $p_{\alpha, \sigma}$ (Questão 1.41), embora o autor suspeite que a resposta seja afirmativa.