Lifts of endomorphisms of Weyl algebras modulo $p^2$

Resumo Técnico: Levantamentos de Endomorfismos de Álgebras de Weyl sobre $\mathbb{Z}/p^2\mathbb{Z}$

Enunciado do Problema
Seja $k$ um corpo perfeito de característica positiva $p > 0$, e denote $A_n(k)$ como a $n$-ésima álgebra de Weyl sobre $k$. Em característica positiva, $A_n(k)$ é uma álgebra de Azumaya com um centro $Z \cong k[x_1, \dots, x_{2n}]$, onde $x_i = z_i^p$. O centro $Z$ carrega uma estrutura natural de álgebra de Poisson definida por $\{x_i, x_j\} = -\omega_{i,j}$.

O problema central abordado é determinar as condições sob as quais um endomorfismo de $k$-álgebra $\phi: A_n(k) \to A_n(k)$ pode ser "levantado" para um endomorfismo $\Phi: A_n(W_2(k)) \to A_n(W_2(k))$, onde $W_2(k)$ é o anel de vetores de Witt de comprimento dois sobre $k$ (um anel de característica $p^2$). Uma questão secundária, relacionada, diz respeito às propriedades do endomorfismo induzido $\phi_Z$ no centro $Z$, especificamente se $\phi_Z$ preserva o braquete de Poisson (ou seja, se é um morfismo de Poisson).

Trabalhos anteriores de Tsuchimoto estabeleceram que, se o grau de $\phi$ for menor que $p/2$, então $\phi_Z$ é um morfismo de Poisson. Belov-Kanel e Kontsevich observaram que, se um levantamento para característica $p^2$ existir, então $\phi_Z$ deve ser um morfismo de Poisson. No entanto, a equivalência precisa entre a existência de um levantamento e a propriedade de Poisson, bem como os limites de grau ótimos para essas propriedades, ainda não haviam sido totalmente caracterizados.

Metodologia
Os autores empregam uma combinação de álgebra não comutativa, teoria de obstrução cohomológica e equações diferenciais em característica $p$.

1. Condições de Levantamento: Os autores analisam as relações de comutador em $A_n(W_2(k))$. Se $\phi(z_i) = u_i$, o levantamento requer encontrar elementos $v_i \in A_n(k)$ tais que os elementos perturbados $u_i + p v_i$ satisfaçam as relações de Weyl módulo $p^2$. Isso leva a um sistema de equações envolvendo os comutadores $[u_i, v_j] - [u_j, v_i]$ e termos de obstrução $u_{ij}$ derivados da expansão de $[u_i, u_j]$.
2. Interpretação Cohomológica: A obstrução ao levantamento é interpretada via o complexo de Chevalley–Eilenberg de $A_n(k)$ visto como um módulo sobre uma álgebra de Lie abeliana. Usando uma trivialização específica de $A_n(k)$ sobre seu centro, os autores mapeiam o problema para o complexo de de Rham de um anel polinomial $S = k[y_1, \dots, y_{2n}]$. A obstrução é mostrada para corresponder a uma classe no segundo grupo de cohomologia de de Rham $H^2_{dR}(S/k)$.
3. Estrutura de Tsuchimoto e Refinamento: O artigo utiliza a abordagem de Tsuchimoto envolvendo a trivialização de $A_n(k)$ como uma álgebra de matrizes sobre uma extensão $S$. Ao estudar endomorfismos $A_n(k)$-lineares de um módulo específico $M$, os autores derivam equações diferenciais que governam os "termos de erro" ($\gamma_i$) que surgem ao comparar os operadores levantados com os padrões.
4. Análise de Grau: Os autores realizam uma análise detalhada de grau nas soluções dessas equações diferenciais. Eles utilizam o fato de que, em característica $p$, o operador $\partial^{p-1}/\partial y^{p-1}$ atua como uma projeção sobre monômios específicos, permitindo-lhes limitar os graus dos termos de obstrução.

Contribuições Principais e Resultados

• Equivalência de Levantamento e Morfismos de Poisson: O resultado principal (Teorema 2.7) estabelece uma condição necessária e suficiente: Um endomorfismo de $k$-álgebra $\phi$ de $A_n(k)$ levanta para um endomorfismo de $A_n(W_2(k))$ se, e somente se, o endomorfismo induzido $\phi_Z$ no centro for um morfismo de Poisson. Isso é provado ao relacionar a matriz Jacobiana de $\phi_Z$ a uma matriz $C$ de elementos de obstrução central, mostrando que $C=0$ (a condição para o levantamento) é equivalente à condição de Poisson $J_\phi \omega^{-1} J_\phi^T = \omega^{-1}$.
• Melhoria dos Limites de Grau: O artigo refina o resultado de Tsuchimoto (Teorema 3.10). Prova-se que, se $\deg(\phi(z_l)) + \deg(\phi(z_{n+l})) < 2p$ para todo $l=1, \dots, n$, então $\phi_Z$ é um morfismo de Poisson. Consequentemente, tal $\phi$ admite um levantamento para $W_2(k)$. Isso melhora o limite anterior de $\deg(\phi) < p/2$ para uma condição que efetivamente permite $\deg(\phi) < p$.
• Injetividade e Flatness: Sob a condição $\deg(\phi) < p$, os autores concluem que $\phi$ é injetivo. Isso resolve a questão da injetividade para essa faixa de grau, estendendo resultados conhecidos para $n=1$ e característica zero. Além disso, se $\phi$ é biracional e $\deg(\phi) < p$, mostra-se que ele é um automorfismo.
• Critério Diferencial para Levantamento: O artigo fornece um critério explícito (Proposição 3.15) para que $\phi_Z$ seja um morfismo de Poisson. Isso envolve resolver equações diferenciais específicas da forma $\frac{\partial^{p-1}}{\partial x_i^{p-1}} (\dots) = f^p + \frac{\partial^{p-1}f}{\partial x_i^{p-1}}$. O levantamento existe se, e somente se, as soluções $f_i$ para essas equações satisfizerem a condição de simetria $\frac{\partial f_i}{\partial x_j} = \frac{\partial f_j}{\partial x_i}$.

Significância
O artigo afirma ter significância ao unificar o problema algébrico de levantar endomorfismos para característica $p^2$ com a propriedade geométrica de preservar a estrutura de Poisson no centro. Ao estabelecer a relação de "se e somente se", os autores fornecem uma caracterização estrutural dos endomorfismos levantáveis.

A melhoria do limite de grau de $p/2$ para $p$ (especificamente $\deg(\phi) < p$) é destacada como um refinamento significativo do trabalho de Tsuchimoto. Este limite é mostrado como ótimo em certos sentidos (via Exemplo 3.11). Os resultados permitem que os autores transfiram propriedades conhecidas para álgebras de Weyl em característica zero (como injetividade e a implicação de que endomorfismos biracionais são automorfismos) para o contexto de característica positiva, desde que o grau do endomorfismo seja suficientemente pequeno em relação à característica $p$. O trabalho assim preenche a lacuna entre a teoria das álgebras de Weyl em característica zero e em característica positiva, oferecendo novas ferramentas para analisar endomorfismos neste último contexto.