Action accessible and weakly action representable varieties of algebras

Resumo Técnico: Variedades de Álgebras Acessíveis por Ação e Fracamente Representáveis por Ação

Enunciado do Problema

Este artigo investiga a relação entre duas propriedades categóricas no contexto de variedades de álgebras não associativas sobre um corpo: acessibilidade por ação e representabilidade fraca por ação.

Em categorias semi-abelianas, ações internas sobre um objeto $X$ correspondem a extensões partidas. Uma categoria é representável por ação se o funtor de ações é naturalmente isomorfo a um funtor hom $\text{Hom}(-, [X])$. Uma noção mais fraca, a representabilidade fraca por ação, requer apenas um monomorfismo natural $\text{Act}(-, X) \hookrightarrow \text{Hom}(-, T)$ para algum objeto $T$. Estabelece-se que a representabilidade por ação implica a representabilidade fraca por ação, que, por sua vez, implica a acessibilidade por ação.

O problema central abordado é se a implicação inversa é válida, especificamente:

1. A representabilidade fraca por ação implica a acessibilidade por ação no contexto de álgebras não associativas? (O artigo observa que o inverso é conhecido como falso em geral, mas busca contraexemplos específicos em álgebras).
2. A propriedade de ser fracamente representável por ação é preservada pela tomada de subvariedades?

Antes deste trabalho, era uma questão em aberto se existia uma variedade de álgebras não associativas acessível por ação que falhasse em ser fracamente representável por ação. Além disso, enquanto J. R. A. Gray havia demonstrado que variedades de grupos $n$-solváveis ($n \geq 3$) não são fracamente representáveis por ação, o status dos grupos nilpotentes ($k \geq 3$) e grupos solváveis ($n=2$) permanecia não resolvido. Da mesma forma, o comportamento dessas propriedades em variedades de álgebras de Lie (especificamente subvariedades nilpotentes e solváveis) era desconhecido.

Metodologia

Os autores empregam um método baseado na propriedade de amalgamação (AP) e em uma proposição específica de J. R. A. Gray (Proposição 1.3). A estratégia central envolve demonstrar que uma variedade específica $\mathcal{X}$ não é fracamente representável por ação construindo um contraexemplo à propriedade de amalgamação dentro dessa variedade, enquanto garante que a amalgamação existe em uma categoria maior, que é representável por ação.

A prova baseia-se na seguinte estrutura lógica (Proposição 1.3):

1. Identificar uma variedade $\mathcal{X}$ como uma subcategoria de Birkhoff de uma categoria representável por ação $\mathcal{C}$ (ex: $\mathcal{C} = \text{Grp}$ ou $\mathcal{C} = \text{Lie}$).
2. Construir dois monomorfismos $m, m': S \hookrightarrow B$ e $S \hookrightarrow B'$ dentro de $\mathcal{X}$ que não podem ser amalgamados em qualquer objeto de $\mathcal{X}$.
3. Mostrar que esses monomorfismos podem ser amalgamados na categoria maior $\mathcal{C}$ via monomorfismos $u, u'$ em um objeto $D$.
4. Demonstrar a existência de um objeto $X$ em $\mathcal{X}$ e um monomorfismo $v: D \hookrightarrow [X]$ (onde $[X]$ é o objeto representante em $\mathcal{C}$) tal que as extensões partidas induzidas pela composição $v \circ u$ e $v \circ u'$ permaneçam dentro da subvariedade $\mathcal{X}$.

Se essas condições forem atendidas, $\mathcal{X}$ não pode ser fracamente representável por ação.

Para executar isso, os autores utilizam:

• Para Grupos: Um exemplo específico de B. H. Neumann envolvendo um grupo abeliano $S$ e grupos 2-nilpotentes $B, B'$ que não podem ser amalgamados em qualquer grupo solvável. Os autores refinam isso construindo representações específicas em $\text{Aut}(X)$ (onde $X = \mathbb{Z}_5^3$) para provar que os produtos semidiretos resultantes são $k$-nilpotentes ou 2-solváveis.
• Para Álgebras de Lie: Uma adaptação do exemplo de Neumann usando álgebras de Lie. Eles constroem uma álgebra abeliana $S$ e duas cópias da álgebra de Heisenberg tridimensional ($B, B'$). Eles provam que, embora $B$ e $B'$ possam ser amalgamados em $\mathfrak{gl}(3, F)$, a amalgamação força a álgebra resultante a conter uma subálgebra isomórfica a $\mathfrak{sl}(2, F)$, que é simples e não solvável. Essa contradição prova a impossibilidade de amalgamação dentro da variedade de álgebras de Lie solváveis (ou nilpotentes).

Principais Contribuições e Resultados

1. Refinamento do Resultado de Gray sobre Grupos:
   O artigo prova que as variedades de grupos $k$-nilpotentes (para $k \geq 3$) e grupos 2-solváveis não são fracamente representáveis por ação. Isso estende o resultado anterior de Gray, que cobria grupos $n$-solváveis para $n \geq 3$.

   • Resultado: Teorema 2.1 e Corolário 2.2.

2. Novos Contraexemplos em Álgebras Não Associativas:
   O artigo estabelece que as variedades de álgebras de Lie $k$-nilpotentes (para $k \geq 3$) e álgebras de Lie $n$-solváveis (para $n \geq 2$) não são fracamente representáveis por ação.

   • Resultado: Teorema 3.1 e Corolário 3.2.
   • Significância: Estes são os primeiros exemplos conhecidos de variedades de álgebras não associativas acessíveis por ação que falham em ser fracamente representáveis por ação.

3. Resolução de Questões em Aberto:
   Os resultados fornecem respostas negativas às questões em aberto postas na literatura anterior:

   • O inverso de "fracamente representável por ação $\implies$ acessível por ação" não ocorre no contexto de variedades de álgebras não associativas.
   • A propriedade de ser fracamente representável por ação não é preservada pela tomada de subvariedades. Especificamente, a variedade de álgebras de Lie ($\text{Lie}$) é representável por ação (e, portanto, fracamente representável por ação), mas suas subvariedades de álgebras $k$-nilpotentes e $n$-solváveis não são.

Significância

O artigo afirma que estas descobertas esclarecem fundamentalmente a hierarquia de propriedades categóricas em variedades algébricas. Ao fornecer contraexemplos concretos nos contextos bem estudados de álgebras de Lie e grupos, os autores demonstram que as restrições estruturais necessárias para a representabilidade fraca por ação não são herdadas por subvariedades, mesmo quando a variedade pai possui a forma mais forte de representabilidade por ação. Isso refina a compreensão da "propriedade de amalgamação" como uma condição necessária para a representabilidade fraca por ação em categorias semi-abelianas. O trabalho não propõe novas aplicações ou propostas experimentais futuras, focando estritamente na classificação teórica destas variedades algébricas.