Hochschild cohomology and lifts of endomorphisms

1. Il Problema di Ricerca

Il lavoro si inserisce nel contesto della quantizzazione per deformazione e dello studio delle algebre non commutative, in particolare delle algebre di Weyl. Il problema centrale è determinare le condizioni sotto le quali un endomorfismo di un'algebra $A$ (definita su un campo $k$ di caratteristica positiva) può essere "sollevato" (lifted) a un endomorfismo di una sua deformazione piatta del primo ordine $\tilde{A}$ (definita su un anello locale $R$ con ideale massimale principale $\mathfrak{p}$ tale che $\mathfrak{p}^2=0$).

In termini specifici, dato un endomorfismo $f: A \to A$, si cerca un omomorfismo di anelli $\tilde{f}: \tilde{A} \to \tilde{A}$ tale che la riduzione modulo $\mathfrak{p}$ di $\tilde{f}$ coincida con $f$. La motivazione profonda risiede nella congettura di Belov-Kanel e Kontsevich, che collega il gruppo degli automorfismi dell'algebra di Weyl al gruppo dei simplettomorfismi polinomiali, e nella stabilità delle congetture di Jacobian e Dixmier.

2. Metodologia e Strumenti Matematici

Gli autori utilizzano un approccio basato sulla coomologia di Hochschild per analizzare gli ostacoli al sollevamento degli endomorfismi.

• Definizione del Difetto Moltiplicativo: Per un sollevamento lineare su $R$ (ma non necessariamente moltiplicativo) $\tilde{f}: \tilde{A} \to \tilde{A}$, si definisce un "difetto moltiplicativo" $D(x,y) = \tilde{f}(x)\tilde{f}(y) - \tilde{f}(xy)$. Poiché $\tilde{f}$ è lineare su $R$ e $\mathfrak{p}^2=0$, questo difetto induce una mappa ben definita $L_{\tilde{f}}: A \otimes_k A \to \mathfrak{p}\tilde{A}$.
• Cocicli di Hochschild: Tramite l'isomorfismo tra $\mathfrak{p}\tilde{A}$ e $A$ (garantito dalla piattezza), si costruisce un 2-cociclo $C_{\tilde{f}} \in C^2(A/k, M)$, dove $M$ è il bimodulo $A$ con un'azione "twistata" (distorta) da $f$: $a \cdot m \cdot b = f(a)mf(b)$.
• Classe di Coomologia: La classe di coomologia $[C_{\tilde{f}}] \in HH^2(A/k, M)$ è un invariante che non dipende dalla scelta del sollevamento lineare $\tilde{f}$.
  • Teorema Fondamentale: La classe $[C_{\tilde{f}}]$ è nulla se e solo se $f$ ammette un sollevamento moltiplicativo (cioè un vero endomorfismo di $\tilde{A}$).
• Riduzione al Centro: Per algebre di Azumaya, gli autori studiano la restrizione di questo cociclo al centro $Z$ dell'algebra. Dimostrano che la parte antisimmetrica del cociclo ristretto è legata alla variazione della struttura di Poisson sul centro indotta dal sollevamento dell'algebra.
• Lemmi di Scissione: Sfruttano le proprietà delle algebre di Azumaya (in particolare la scissione dell'applicazione di moltiplicazione) per mostrare che la mappa di restrizione in coomologia di Hochschild $HH^2(A) \to HH^2(Z)$ è iniettiva.

3. Contributi Chiave e Risultati Principali

A. Caratterizzazione Coomologica del Sollevamento

Il risultato principale (Proposizione 3.2) stabilisce che l'ostacolo al sollevamento di un endomorfismo è codificato in una classe specifica di coomologia di Hochschild. Se la classe è banale, il sollevamento esiste.

B. Relazione con la Geometria Poissoniana

Gli autori dimostrano che se l'endomorfismo $f$ preserva il centro $Z$ e la struttura di Poisson su $Z$ (indotta dal sollevamento dell'algebra), allora la restrizione del cociclo 2-ciclico al centro è simmetrica.

• Lemma 3.4: Se il centro $Z$ è formalmente liscio (formally smooth) su $k$, ogni 2-cociclo simmetrico nella coomologia di Hochschild di $Z$ è un cobordo (quindi la sua classe è nulla).

C. Teorema Principale per Algebre di Azumaya (Teorema 4.6)

Questo è il risultato centrale del paper. Siano:

• $A$ un'algebra di Azumaya di rango costante sul suo centro $Z$.
• $Z$ formalmente liscio su $k$.
• $f: A \to A$ un endomorfismo.

Teorema: $f$ ammette un sollevamento a un endomorfismo di $\tilde{A}$ se e solo se $f$ preserva la parentesi di Poisson su $Z$ indotta dal sollevamento di $A$.
Inoltre, per le algebre di Azumaya di rango costante, la condizione $f(Z) \subseteq Z$ è automatica (Proposizione 4.4), semplificando notevolmente l'applicazione del teorema.

D. Applicazione alle Algebre di Weyl

Il teorema generalizza e ri-deriva il risultato precedente degli stessi autori (e di Tsuchimoto) sulle algebre di Weyl $A_n(k)$ in caratteristica positiva. Si conferma che un endomorfismo di $A_n(k)$ si solleva a $A_n(W_2(k))$ (dove $W_2$ sono i vettori di Witt di lunghezza 2) se e solo se preserva la parentesi di Poisson canonica sul centro.

4. Significato e Implicazioni

1. Generalizzazione Teorica: Il lavoro sposta l'analisi dal caso specifico delle algebre di Weyl a un quadro generale basato sulla coomologia di Hochschild e sulle algebre di Azumaya, fornendo un linguaggio unificato per studiare gli ostacoli al sollevamento.
2. Connessione Non-Commutativa/Commutativa: Dimostra come le proprietà di sollevamento in un contesto non commutativo (l'algebra $A$) siano governate interamente da proprietà geometriche (preservazione della struttura Poisson) sul suo centro commutativo ($Z$), sfruttando la natura "di Azumaya" che lega strettamente l'algebra al suo centro.
3. Limiti e Prospettive Future: Gli autori notano che il metodo non si estende immediatamente a sollevamenti di ordine superiore (da $W_m(k)$ a $W_{m+1}(k)$ per $m \ge 2$), poiché l'algebra di Weyl su $W_2(k)$ non è più di Azumaya. Suggeriscono che per questi casi più complessi potrebbero essere necessari strumenti più raffinati, come il complesso di de Rham-Witt.

In sintesi, il paper fornisce un criterio necessario e sufficiente elegante e potente per il sollevamento di endomorfismi in contesti di deformazione di algebre di Azumaya, collegando direttamente l'algebra omologica (coomologia di Hochschild) alla geometria Poissoniana del centro.