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

Sintesi Tecnica: Sollevamenti di Endomorfismi di Algebre di Weyl modulo $p^2$

Enunciato del Problema
Sia $k$ un campo perfetto di caratteristica positiva $p > 0$, e sia $A_n(k)$ l'algebra di Weyl $n$-esima su $k$. In caratteristica positiva, $A_n(k)$ è un algebra di Azumaya con un centro $Z \cong k[x_1, \dots, x_{2n}]$, dove $x_i = z_i^p$. Il centro $Z$ porta una naturale struttura di algebra di Poisson definita da $\{x_i, x_j\} = -\omega_{i,j}$.

Il problema centrale affrontato è determinare le condizioni sotto le quali un endomorfismo di $k$-algebra $\phi: A_n(k) \to A_n(k)$ può essere "sollevato" a un endomorfismo $\Phi: A_n(W_2(k)) \to A_n(W_2(k))$, dove $W_2(k)$ è l'anello dei vettori di Witt di lunghezza due su $k$ (un anello di caratteristica $p^2$). Una questione secondaria, correlata, riguarda le proprietà dell'endomorfismo indotto $\phi_Z$ sul centro $Z$, specificamente se $\phi_Z$ preserva la parentesi di Poisson (ovvero, se è un morfismo di Poisson).

Il lavoro precedente di Tsuchimoto ha stabilito che se il grado di $\phi$ è minore di $p/2$, allora $\phi_Z$ è un morfismo di Poisson. Belov-Kanel e Kontsevich hanno osservato che se un sollevamento a caratteristica $p^2$ esiste, allora $\phi_Z$ deve essere un morfismo di Poisson. Tuttavia, l'esatta equivalenza tra l'esistenza di un sollevamento e la proprietà di Poisson, nonché i limiti di grado ottimali per queste proprietà, non erano stati ancora pienamente caratterizzati.

Metodologia
Gli autori impiegano una combinazione di algebra non commutativa, teoria dell'ostruzione coomologica e equazioni differenziali in caratteristica $p$.

1. Condizioni di Sollevamento: Gli autori analizzano le relazioni di commutatore in $A_n(W_2(k))$. Se $\phi(z_i) = u_i$, il sollevamento richiede la ricerca di elementi $v_i \in A_n(k)$ tali che gli elementi perturbati $u_i + p v_i$ soddisfino le relazioni di Weyl modulo $p^2$. Ciò conduce a un sistema di equazioni che coinvolge i commutatori $[u_i, v_j] - [u_j, v_i]$ e i termini di ostruzione $u_{ij}$ derivati dall'espansione di $[u_i, u_j]$.
2. Interpretazione Coomologica: L'ostruzione al sollevamento è interpretata tramite il complesso di Chevalley–Eilenberg di $A_n(k)$ visto come modulo su un algebra di Lie abeliana. Utilizzando una specifica trivializzazione di $A_n(k)$ sul suo centro, gli autori mappano il problema nel complesso de Rham di un'algebra polinomiale $S = k[y_1, \dots, y_{2n}]$. L'ostruzione è mostrata corrispondere a una classe nel secondo gruppo di coomologia de Rham $H^2_{dR}(S/k)$.
3. Framework di Tsuchimoto e Raffinamento: Il saggio utilizza l'approccio di Tsuchimoto che prevede la trivializzazione di $A_n(k)$ come algebra matriciale su un'estensione $S$. Studiando gli endomorfismi $A_n(k)$-lineari di un modulo specifico $M$, gli autori derivano equazioni differenziali che governano i "termini di errore" ($\gamma_i$) che sorgono confrontando gli operatori sollevati con quelli standard.
4. Analisi del Grado: Gli autori eseguono un'analisi dettagliata del grado sulle soluzioni di queste equazioni differenziali. Utilizzano il fatto che in caratteristica $p$, l'operatore $\partial^{p-1}/\partial y^{p-1}$ agisce come una proiezione su specifici monomi, permettendo loro di limitare i gradi dei termini di ostruzione.

Contributi Chiave e Risultati

• Equivalenza tra Sollevamento e Morfismi di Poisson: Il risultato primario (Teorema 2.7) stabilisce una condizione necessaria e sufficiente: un endomorfismo di $k$-algebra $\phi$ di $A_n(k)$ si solleva a un endomorfismo di $A_n(W_2(k))$ se e solo se l'endomorfismo indotto $\phi_Z$ sul centro è un morfismo di Poisson. Ciò è dimostrato relazionando la matrice Jacobiana di $\phi_Z$ a una matrice $C$ di elementi di ostruzione centrale, mostrando che $C=0$ (la condizione per il sollevamento) è equivalente alla condizione di Poisson $J_\phi \omega^{-1} J_\phi^T = \omega^{-1}$.
• Miglioramento dei Limiti di Grado: Il saggio raffina il risultato di Tsuchimoto (Teorema 3.10). Dimostra che se $\deg(\phi(z_l)) + \deg(\phi(z_{n+l})) < 2p$ per ogni $l=1, \dots, n$, allora $\phi_Z$ è un morfismo di Poisson. Di conseguenza, tale $\phi$ ammette un sollevamento a $W_2(k)$. Questo migliora il precedente limite di $\deg(\phi) < p/2$ a una condizione che effettivamente permette $\deg(\phi) < p$.
• Iniettività e Piattezza: Sotto la condizione $\deg(\phi) < p$, gli autori concludono che $\phi$ è iniettivo. Ciò risolve la questione dell'iniettività per questo intervallo di grado, estendendo i risultati noti per $n=1$ e caratteristica zero. Inoltre, se $\phi$ è birazionale e $\deg(\phi) < p$, si dimostra che esso è un automorfismo.
• Criterio Differenziale per il Sollevamento: Il saggio fornisce un criterio esplicito (Proposizione 3.15) affinché $\phi_Z$ sia un morfismo di Poisson. Questo comporta la risoluzione di specifiche equazioni differenziali della forma $\frac{\partial^{p-1}}{\partial x_i^{p-1}} (\dots) = f^p + \frac{\partial^{p-1}f}{\partial x_i^{p-1}}$. Il sollevamento esiste se e solo se le soluzioni $f_i$ di queste equazioni soddisfano la condizione di simmetria $\frac{\partial f_i}{\partial x_j} = \frac{\partial f_j}{\partial x_i}$.

Significatività
Il saggio rivendica la significatività nell'unificare il problema algebrico del sollevamento di endomorfismi a caratteristica $p^2$ con la proprietà geometrica di preservare la struttura di Poisson sul centro. Stabilendo la relazione "se e solo se", gli autori forniscono una caratterizzazione strutturale degli endomorfismi sollevabili.

Il miglioramento del limite di grado da $p/2$ a $p$ (specificamente $\deg(\phi) < p$) è evidenziato come un significativo raffinamento del lavoro di Tsuchimoto. Questo limite è mostrato essere ottimale in certi sensi (tramite l'Esempio 3.11). I risultati permettono agli autori di trasferire le proprietà note per le algebre di Weyl in caratteristica zero (come l'iniettività e l'implicazione che gli endomorfismi birazionali siano automorfismi) al contesto della caratteristica positiva, a patto che il grado dell'endomorfismo sia sufficientemente piccolo rispetto alla caratteristica $p$. Il lavoro crea così un ponte tra la teoria delle algebre di Weyl in caratteristica zero e in caratteristica positiva, offrendo nuovi strumenti per analizzare gli endomorfismi in quest'ultimo contesto.