Surjectivity of Engel Words on $\mathrm{SL}_2(\mathcal{O})$ and $\mathrm{PSL}_2(\mathcal{O}_2)$

Resumo Técnico: Surjetividade de Palavras de Engel em $SL_2(\mathcal{O})$ e $PSL_2(\mathcal{O}_2)$

Enunciado do Problema
Este artigo investiga a surjetividade de mapas de palavras de Engel em grupos lineares especiais sobre anéis principais locais. Especificamente, aborda se todo elemento em $SL_2(\mathcal{O})$ e $PSL_2(\mathcal{O}_2)$ pode ser expresso como uma palavra de Engel de ordem $m$, $e_m(x,y) = [\dots[[x,y],y],\dots,y]$. O estudo foca em dois cenários primários:

1. $SL_2(\mathcal{O})$, onde $\mathcal{O}$ é um anel principal local completo com corpo resíduo $k \cong \mathbb{F}_q$ de característica $\neq 2$.
2. $PSL_2(\mathcal{O}_2)$, onde $\mathcal{O}_2$ é um anel principal local de comprimento 2 (ou seja, $\mathcal{O}/\pi^2\mathcal{O}$).

O trabalho estende resultados conhecidos de corpos (especificamente $\mathbb{F}_q$) para estas estruturas de anéis, abordando um problema de levantamento (lifting): se um elemento $\bar{A} \in SL_2(k)$ está na imagem do mapa de Engel, o levantamento de cada $A \in SL_2(\mathcal{O})$ também pertence à imagem?

Metodologia
Os autores empregam uma abordagem multifacetada combinando teoria de grupos, técnicas de álgebras de Lie e estratégias de levantamento polinomial:

• Levantamento de Soluções via Lema de Hensel: Uma técnica central envolve o levantamento de soluções de equações polinomiais multivariáveis do corpo resíduo $k$ para o anel $\mathcal{O}_2$ e, subsequentemente, para o anel $\mathcal{O}$. Os autores estabelecem condições sob as quais raízes simples de polinômios de traço (derivados de palavras de Engel) podem ser levantadas. Isso baseia-se no critério do Jacobiano para garantir a existência de levantamentos para elementos semissimples regulares.
• Polinômios de Traço e Análise de Jacobiano: O artigo deriva polinômios de traço explícitos $\Psi_m(s,u,v)$ correspondentes a palavras de Engel, onde $s, u, v$ são traços de $X, XY, Y$. Os autores analisam o Jacobiano destes polinômios para determinar quando o mapa derivativo da palavra de Engel é surjetivo ao nível da álgebra de Lie ($\mathfrak{sl}_2(k)$).
• Ação Coadjunta e Vetores Fixos: Para lidar com o levantamento de elementos não escalares, os autores utilizam a ação coadjunta de $SL_2(k)$ sobre a álgebra de Lie dual $\mathfrak{sl}_2^*(k)$. Eles provam que, se o subgrupo gerado pelos pré-imagens de um elemento não possui vetores fixos não triviais sob esta ação, o levantamento é possível. Isso generaliza métodos usados por Avni, Gelander, Kassabov e Shalev para comutadores.
• Incorporação de Magnus (Magnus Embedding): Para elementos unipotentes, os autores utilizam uma generalização da incorporação de Magnus em um grupo de matrizes triangulares superiores sobre polinômios de Laurent para demonstrar que matrizes unipotentes específicas são imagens de palavras de Engel.
• Análise de Classes de Conjugação: O artigo fornece uma classificação detalhada de classes de conjugação $GL$ em $SL_2(\mathcal{O}_2)$, distinguindo entre elementos semissimpes regulares, escalares e não-regulares semissimples (unipotentes) para tratá-los separadamente.

Principais Contribuições e Resultados

1. Levantamento de Elementos Não Escalares (Teorema 10.1):
   Os autores provam que, para um anel principal local completo $\mathcal{O}$ com corpo resíduo $\mathbb{F}_q$ (característica $\neq 2$), existe uma constante $q_0(m) = 2 \cdot 3^{2m+2}$ tal que para todo $q \geq q_0(m)$, todo levantamento de um elemento não escalar $A \in SL_2(k)$ que está na imagem do $(m+1)$-ésimo mapa de Engel sobre $k$ também está na imagem do $(m+1)$-ésimo mapa de Engel sobre $SL_2(\mathcal{O})$. Este resultado cobre elementos semissimpes regulares e elementos unipotentes específicos.

2. Surjetividade em $PSL_2(\mathcal{O}_2)$ (Teorema 10.4):
   O artigo estabelece que, para um anel principal local $\mathcal{O}_2$ de comprimento 2 com corpo resíduo $\mathbb{F}_q$ ($q \geq q_0(m)$), o mapa de palavra de Engel $(m+1)$ é surjetivo em $PSL_2(\mathcal{O}_2)$. Isso generaliza resultados anteriores de Bandman et al. para corpos.

3. Tratamento de Levantamentos Escalares:

   • Levantamentos da Identidade: Os autores provam que qualquer levantamento da matriz identidade $I$ em $SL_2(\mathcal{O}_2)$ é um comutador (e, portanto, uma imagem de palavra de Engel) desde que $|k| \geq 5$.
   • Levantamentos da Identidade Negativa: Eles mostram que levantamentos de $-I$ são comutadores se $-1$ for uma soma de dois quadrados no corpo resíduo (o que é sempre verdade para corpos finitos de característica ímpar).
   • Levantamentos Unipotentes: Usando a técnica de incorporação de Magnus, eles demonstram que levantamentos de elementos unipotentes (ex: $\begin{pmatrix} 1 & \pi \\ 0 & 1 \end{pmatrix}$) estão na imagem de mapas de Engel para $q$ suficientemente grande.

4. Lemas Técnicos sobre Mapas de Traço:
   O artigo fornece fórmulas recursivas para o traço de palavras de Engel e prova que o mapa derivativo da palavra de Engel é surjetivo sob condições específicas relativas aos centralizadores dos elementos geradores na álgebra de Lie.

Significância e Alegações
O artigo afirma generalizar resultados existentes sobre a surjetividade de palavras de Engel de corpos para anéis locais, abordando especificamente o "problema de levantamento" para grupos lineares sobre anéis principais locais. Os autores posicionam seu trabalho como um passo para resolver a conjectura de Shalev sobre a surjetividade de comutadores e palavras de Engel em $SL_n(\mathbb{Z}_p)$ e estruturas similares.

A significância reside em:

• Estender o problema "tipo Waring" (expressar elementos de grupo como produtos de imagens de mapas de palavras) para o contexto de anéis locais.
• Fornecer um método construtivo para levantar soluções do corpo resíduo para o nível do anel usando polinômios de traço e ações coadjuntas.
• Resolver a surjetividade para $PSL_2(\mathcal{O}_2)$, um caso que estava anteriormente em aberto para palavras de Engel de ordem superior.

Os autores declaram explicitamente que seus resultados dependem de o tamanho do corpo resíduo $q$ ser suficientemente grande ($q \geq 2 \cdot 3^{2m+2}$) e da característica não ser 2. Eles não reivindicam surjetividade para todos os $q$ ou para $SL_2(\mathcal{O})$ no caso projetivo sem a restrição de comprimento 2, observando que o problema permanece em aberto para corpos e anéis gerais em outros contextos.