On the representability of actions of unital algebras

Resumo Técnico: Sobre a Representabilidade de Ações de Álgebras Unitárias

Enunciado do Problema
O artigo investiga a representabilidade de ações internas no contexto de álgebras não associativas unitárias sobre um corpo. Na álgebra categórica, uma categoria é representável em ações se o functor das extensões divididas (ou ações internas) sobre um objeto $X$ for naturalmente isomorfo ao functor hom $\text{Hom}(-, [X])$, onde $[X]$ é um objeto chamado de "ator". Embora essa propriedade valha para grupos (onde $[X] = \text{Aut}(X)$) e álgebras de Lie, sabe-se que falha para muitas variedades de álgebras não associativas, como as álgebras associativas comutativas.

Trabalhos anteriores estabeleceram que, no cenário de categorias semi-abelianas (que incluem álgebras não unitárias), a representabilidade em ações é uma propriedade altamente restritiva, caracterizando essencialmente apenas álgebras abelianas e de Lie. Os autores abordam a questão de saber se essa restrição persiste ao limitar a atenção às álgebras unitárias. Especificamente, eles examinam as categorias idealmente exatas de álgebras unitárias (que geralmente não são pontuadas, ao contrário das categorias semi-abelianas) para determinar se a presença de uma unidade multiplicativa restaura a representabilidade em ações.

Metodologia
Os autores empregam uma combinação de técnicas de álgebra categórica e álgebra universal:

1. Categorias Idealmente Exatas: Eles trabalham no âmbito das categorias idealmente exatas (introduzidas por G. Janelidze), que generalizam as categorias semi-abelianas para incluir cenários não pontuados, como a categoria de anéis unitários ($\text{Ring}$) e anéis comutativos unitários ($\text{CRing}$). A representabilidade em ações neste contexto é definida relativamente à categoria fatia semi-abeliana $(\mathcal{U} \downarrow 0)$.
2. Atores Fracos Externos: Para variedades operádicas e acessíveis em ações de álgebras não associativas, os autores utilizam a construção do ator fraco externo $E(X)$. Trata-se de uma álgebra parcial construída a partir de pares de endomorfismos que satisfazem identidades específicas (as regras $\lambda/\mu$) derivadas das equações definidoras da variedade.
3. O Mapa Canônico: Uma ferramenta central é o homomorfismo canônico de álgebras parciais $\text{Inn}: X \to E(X)$, definido ao mapear um elemento $x$ para seus operadores de multiplicação à esquerda e à direita $(L_x, R_x)$.
4. Variedades Fechadas por Unidade: A análise foca em variedades fechadas por unidade, onde adjuntar uma unidade externa a uma álgebra preserva a pertinência à variedade. Isso permite aos autores relacionar propriedades de álgebras unitárias de volta à variedade não unitária subjacente.

Principais Contribuições e Resultados

• Falha de Acessibilidade em Categorias Unitárias Gerais: O artigo demonstra que, em geral, as categorias de álgebras unitárias não são nem mesmo acessíveis em ações (uma condição mais fraca que a representabilidade). Especificamente, a Proposição 4.11 prova que as categorias de álgebras comutativas unitárias ($\text{Com}_1$) e de álgebras não associativas unitárias ($\text{Alg}_1$) falham em ser acessíveis em ações. Isso é mostrado construindo uma álgebra comutativa unitária específica de dimensão 6 onde as extensões divididas não admitem morfismos para objetos fiéis.

• Caracterização da Unitariedade via o Ator Fraco Externo: Para uma variedade operádica, acessível em ações e fechada por unidade $\mathcal{V}$, os autores provam uma equivalência crucial (Teorema 5.6): Para qualquer álgebra $X$ em $\mathcal{V}$, o mapa canônico $\text{Inn}: X \to E(X)$ é um isomorfismo se e somente se $X$ for uma álgebra unitária.

  • Se $X$ for unitária, o núcleo de $\text{Inn}$ (o aniquilador) é trivial, e a existência de uma unidade permite que cada elemento do ator fraco externo seja unicamente determinado pela sua ação sobre a unidade, garantindo a sobrejetividade.
  • Se $\text{Inn}$ for um isomorfismo, a imagem inversa do par identidade $(\text{id}_X, \text{id}_X)$ fornece uma unidade multiplicativa para $X$.

• Teorema Principal sobre Representabilidade em Ações: O resultado central (Teorema 5.7) afirma que, se $\mathcal{V}$ for uma variedade operádica, acessível em ações e fechada por unidade, então a categoria idealmente exata $\mathcal{V}_1$ de álgebras unitárias em $\mathcal{V}$ é representável em ações. Além disso, o ator de qualquer álgebra unitária $X$ é a própria $X$.

  • Isso implica que, para tais variedades, o functor das extensões divididas de uma álgebra unitária $X$ é representado por $X$.
  • Este resultado aplica-se a álgebras associativas unitárias, álgebras associativas comutativas unitárias, álgebras alternativas unitárias e álgebras Jacobi-Jordan unitárias (em característica 3).

• Extensão para Álgebras de Poisson: Os autores estendem essas descobertas para álgebras de Poisson unitárias ($\text{Pois}_1$) e álgebras de Poisson comutativas unitárias ($\text{CPois}_1$). Ao utilizar a construção explícita do ator geral estrito universal (USGA) para categorias de interesse de Orzech, eles provam (Teoremas 6.7 e 6.8) que essas categorias são representáveis em ações, sendo o ator de uma álgebra de Poisson unitária a própria álgebra.

Significado e Alegações
O artigo alega resolver um contraste significativo entre os cenários não unitário e unitário na álgebra não associativa. Enquanto a representabilidade em ações no cenário semi-abeliano (não unitário) é rara (limitada essencialmente a álgebras de Lie), a introdução de uma unidade multiplicativa em variedades operádicas, acessíveis em ações e fechadas por unidade restaura essa propriedade universalmente.

Os autores destacam que, para álgebras unitárias nessas variedades específicas, o "ator" não é um objeto externo complexo (como uma álgebra de bimultiplicadores ou uma álgebra de derivações), mas a própria álgebra. Isso simplifica a estrutura categórica das ações para álgebras unitárias, sugerindo que a presença de uma unidade altera fundamentalmente o comportamento das extensões divididas e das ações internas, tornando-as representáveis de maneira direta e intrínseca. O trabalho também fornece um método concreto para verificar a representabilidade em ações em novas variedades, verificando a propriedade de fechamento por unidade e a existência de regras $\lambda/\mu$.