Hochschild cohomology and lifts of endomorphisms

Resumo Técnico: Cohomologia de Hochschild e Levantamentos de Endomorfismos

1. Problema de Investigação

O artigo aborda um problema fundamental na teoria de deformações e na geometria não comutativa: sob quais condições um endomorfismo de uma álgebra $A$ pode ser "levantado" (lifted) para uma deformação plana de primeira ordem de $A$?

Especificamente, o contexto envolve:

• Um corpo $k$ e uma álgebra $A$ sobre $k$.
• Um anel local $R$ com ideal maximal principal $pR$ tal que $p^2=0$ (uma extensão de primeira ordem, onde $k = R/pR$).
• Um levantamento plano de primeira ordem $\tilde{A}$ de $A$ (uma álgebra plana sobre $R$ tal que $\tilde{A} \otimes_R k \cong A$).
• Um endomorfismo $f: A \to A$.
• A questão central: Existe um homomorfismo de álgebras $\tilde{f}: \tilde{A} \to \tilde{A}$ tal que $\pi \circ \tilde{f} = f \circ \pi$, onde $\pi: \tilde{A} \to A$ é a redução?

O trabalho é motivado pela conjectura de Belov-Kanel e Kontsevich sobre o grupo de automorfismos da álgebra de Weyl, onde a redução para característica positiva transforma a álgebra de Weyl em uma álgebra de Azumaya, permitindo o uso de estruturas geométricas no centro.

2. Metodologia

Os autores utilizam a cohomologia de Hochschild como ferramenta principal para classificar as obstruções ao levantamento. A metodologia segue os seguintes passos:

1. Definição do Defeito Multiplicativo:
   Dado um levantamento linear $R$-linear $\tilde{f}: \tilde{A} \to \tilde{A}$ (que não é necessariamente multiplicativo), define-se o "defeito multiplicativo" $D(x,y) = \tilde{f}(x)\tilde{f}(y) - \tilde{f}(xy)$. Devido à condição $p^2=0$, este defeito induz um mapa bem definido $L_{\tilde{f}}: A \otimes_k A \to p\tilde{A}$.

2. Associação a um 2-Cociclo:
   Utilizando o isomorfismo $p^{-1}: p\tilde{A} \to A$, os autores definem um mapa $C_{\tilde{f}}: A \otimes_k A \to A$. Eles provam que $C_{\tilde{f}}$ é um 2-cociclo no complexo de Hochschild $C^2(A/k, M)$, onde $M = A$ é tratado como um bimódulo com uma ação torcida por $f$ (ação à esquerda e à direita via $f$).

3. Classe de Cohomologia:
   A classe de cohomologia $[C_{\tilde{f}}] \in HH^2(A/k, M)$ é independente da escolha do levantamento linear $\tilde{f}$. O teorema central da seção 3 estabelece que:

   • $[C_{\tilde{f}}] = 0$ se e somente se $f$ admite um levantamento multiplicativo (ou seja, um homomorfismo de álgebras).

4. Restrição ao Centro e Estrutura Poisson:
   Para álgebras de Azumaya, o levantamento $\tilde{A}$ induz naturalmente um colchete de Poisson no centro $Z$ de $A$, definido por $\{z_1, z_2\} = p^{-1}([\tilde{z}_1, \tilde{z}_2])$.
   Os autores analisam a restrição do cociclo $C_{\tilde{f}}$ ao centro $Z$. Eles demonstram que a antissimetria deste cociclo restrito está diretamente ligada à preservação do colchete de Poisson:
   $$c(x \otimes y) - c(y \otimes x) = \{f(x), f(y)\} - f(\{x, y\})$$
   Portanto, se $f$ preserva o colchete de Poisson, o cociclo restrito é simétrico.

5. Algebra de Azumaya e Suavidade Formal:
   O artigo utiliza propriedades de álgebras de Azumaya (especificamente que a restrição da cohomologia de Hochschild do centro é injetiva) e a suavidade formal do centro para provar que cociclos simétricos são cobordos (triviais em cohomologia).

3. Contribuições e Resultados Principais

• Caracterização via Cohomologia (Proposição 3.2): Estabelecem uma correspondência biunívoca entre a existência de levantamentos multiplicativos e a nulidade de uma classe específica em $HH^2(A/k, M)$.

• Relação com Geometria Poisson (Proposição 3.3): Demonstram que a obstrução ao levantamento, quando restrita ao centro, mede exatamente o quanto o endomorfismo falha em preservar a estrutura Poisson induzida pela deformação.

• Teorema Principal (Teorema 4.6):
  Seja $A$ uma álgebra de Azumaya de posto constante sobre um centro $Z$ que é formalmente suave sobre $k$. Um endomorfismo $f: A \to A$ admite um levantamento para $\tilde{A}$ se e somente se:

  1. $f$ preserva o centro ($f(Z) \subseteq Z$); e
  2. $f$ preserva o colchete de Poisson em $Z$ induzido por $\tilde{A}$.
     Nota: Para álgebras de Azumaya de posto constante, a condição $f(Z) \subseteq Z$ é automática (Proposição 4.4).

• Aplicação à Álgebra de Weyl (Observação 4.7): O teorema recupera e generaliza resultados anteriores sobre a álgebra de Weyl $A_n(k)$ em característica positiva. Conclui-se que um endomorfismo de $A_n(k)$ levanta para $A_n(W_2(k))$ se e somente se preserva o colchete de Poisson canônico no centro.

4. Significado e Impacto

• Generalização de Resultados Existentes: O trabalho unifica e generaliza resultados conhecidos sobre a álgebra de Weyl (como os de Belov-Kanel, Kontsevich e Tsuchimoto) para uma classe mais ampla de álgebras (Azumaya sobre centros formalmente suaves), utilizando a linguagem unificada da cohomologia de Hochschild.
• Conexão entre Álgebra e Geometria: Reforça a profunda conexão entre a teoria de deformações de álgebras não comutativas e a geometria Poisson de seus limites semiclássicos (centros). A obstrução puramente algébrica (cohomologia) traduz-se diretamente em uma condição geométrica (preservação de estrutura Poisson).
• Limitações e Direções Futuras: Os autores apontam que a metodologia atual depende fortemente da estrutura de álgebra de Azumaya, que se perde ao tentar levantar de $W_2(k)$ para $W_3(k)$ (onde a álgebra deixa de ser de Azumaya). Isso sugere que problemas de levantamento de ordem superior podem envolver estruturas mais complexas, como o complexo de de Rham-Witt.

Em suma, o artigo fornece um critério cohomológico rigoroso e geometricamente interpretável para a existência de levantamentos de endomorfismos, consolidando a relação entre a teoria de deformações de álgebras e a geometria Poisson.