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

Technische Samenvatting: Liftings van Endomorfismen van Weyl-algebra's modulo $p^2$

Probleemstelling
Laat $k$ een perfect lichaam zijn van positieve karakteristiek $p > 0$, en laat $A_n(k)$ de $n$-de Weyl-algebra over $k$ zijn. In positieve karakteristiek is $A_n(k)$ een Azumaya-algebra met een centrum $Z \cong k[x_1, \dots, x_{2n}]$, waarbij $x_i = z_i^p$. Het centrum $Z$ draagt een natuurlijke Poisson-algebra-structuur die wordt gedefinieerd door $\{x_i, x_j\} = -\omega_{i,j}$.

Het centrale probleem dat wordt behandeld, is het bepalen van de voorwaarden waaronder een $k$-algebra endomorfisme $\phi: A_n(k) \to A_n(k)$ kan worden "gelift" naar een endomorfisme $\Phi: A_n(W_2(k)) \to A_n(W_2(k))$, waarbij $W_2(k)$ de ring van Witt-vectoren van lengte twee over $k$ is (een ring van karakteristiek $p^2$). Een secundaire, gerelateerde vraag betreft de eigenschappen van het geïnduceerde endomorfisme $\phi_Z$ op het centrum $Z$, specifiek of $\phi_Z$ de Poisson-haak behoudt (oftewel een Poisson-morfisme is).

Vorig werk door Tsuchimoto heeft vastgesteld dat als de graad van $\phi$ kleiner is dan $p/2$, dan $\phi_Z$ een Poisson-morfisme is. Belov-Kanel en Kontsevich merkten op dat als een lift naar karakteristiek $p^2$ bestaat, dan $\phi_Z$ een Poisson-morfisme moet zijn. Echter, de precieze equivalentie tussen het bestaan van een lift en de Poisson-eigenschap, evenals de optimale graad-grenzen voor deze eigenschappen, bleven niet volledig gekarakteriseerd.

Methodologie
De auteurs maken gebruik van een combinatie van niet-commutatieve algebra, cohomologische obstructietheorie en differentiaalvergelijkingen in karakteristiek $p$.

1. Lifting-voorwaarden: De auteurs analyseren de commutator-relaties in $A_n(W_2(k))$. Als $\phi(z_i) = u_i$, vereist lifting het vinden van elementen $v_i \in A_n(k)$ zodat de geperturbeerde elementen $u_i + p v_i$ aan de Weyl-relaties voldoen modulo $p^2$. Dit leidt tot een stelsel vergelijkingen die de commutatoren $[u_i, v_j] - [u_j, v_i]$ en de obstructie-termen $u_{ij}$ bevatten, afgeleid van de expansie van $[u_i, u_j]$.
2. Cohomologische Interpretatie: De obstructie voor lifting wordt geïnterpreteerd via de Chevalley–Eilenberg-complex van $A_n(k)$, beschouwd als een module over een abelse Lie-algebra. Met behulp van een specifieke trivialisering van $A_n(k)$ over zijn centrum, mappen de auteurs het probleem naar de de Rham-complex van een polynoomring $S = k[y_1, \dots, y_{2n}]$. De obstructie wordt getoond te corresponderen met een klasse in de tweede de Rham-cohomologiegroep $H^2_{dR}(S/k)$.
3. Tsuchimoto's Framework en Verfijning: Het artikel maakt gebruik van Tsuchimoto's benadering waarbij de trivialisering van $A_n(k)$ als een matrix-algebra over een uitbreiding $S$. Door $A_n(k)$-lineaire endomorfismen van een specifieke module $M$ te bestuderen, leiden de auteurs differentiaalvergelijkingen af die de "fout-termen" ($\gamma_i$) beheersen die ontstaan bij het vergelijken van de gelifte operatoren met de standaard operatoren.
4. Graad-analyse: De auteurs voeren een gedetailleerde graad-analyse uit op de oplossingen van deze differentiaalvergelijkingen. Zij maken gebruik van het feit dat in karakteristiek $p$ de operator $\partial^{p-1}/\partial y^{p-1}$ fungeert als een projectie op specifieke monomialen, waardoor zij de graden van de obstructie-termen kunnen begrenzen.

Belangrijkste Bijdragen en Resultaten

• Equivalentie van Lifting en Poisson-morfismen: Het primaire resultaat (Theorem 2.7) stelt een noodzakelijke en voldoende voorwaarde vast: een $k$-algebra endomorfisme $\phi$ van $A_n(k)$ lift naar een endomorfisme van $A_n(W_2(k))$ dan en slechts dan als het geïnduceerde endomorfisme $\phi_Z$ op het centrum een Poisson-morfisme is. Dit wordt bewezen door de Jacobian-matrix van $\phi_Z$ te relateren aan een matrix $C$ van centrale obstructie-elementen, waarbij wordt getoond dat $C=0$ (de voorwaarde voor lifting) equivalent is aan de Poisson-voorwaarde $J_\phi \omega^{-1} J_\phi^T = \omega^{-1}$.
• Verbeterde Graad-grenzen: Het artikel verfijnt het resultaat van Tsuchimoto (Theorem 3.10). Het bewijst dat als $\deg(\phi(z_l)) + \deg(\phi(z_{n+l})) < 2p$ voor alle $l=1, \dots, n$, dan $\phi_Z$ een Poisson-morfisme is. Dienovereenkomstig bezit een dergelijke $\phi$ een lift naar $W_2(k)$. Dit verbetert de vorige grens van $\deg(\phi) < p/2$ naar een voorwaarde die effectief toestaat dat $\deg(\phi) < p$.
• Injectiviteit en Vlakheid: Onder de voorwaarde $\deg(\phi) < p$, concluderen de auteurs dat $\phi$ injectief is. Dit lost de injectiviteitsvraag binnen dit graadbereik op, en breidt bekende resultaten voor $n=1$ en karakteristiek nul uit. Bovendien, indien $\phi$ birationaal is en $\deg(\phi) < p$, wordt aangetoond dat het een automorfisme is.
• Differentiaal Criterium voor Lifting: Het artikel biedt een expliciet criterium (Proposition 3.15) voor $\phi_Z$ om een Poisson-morfisme te zijn. Dit houdt in dat specifieke differentiaalvergelijkingen van de vorm $\frac{\partial^{p-1}}{\partial x_i^{p-1}} (\dots) = f^p + \frac{\partial^{p-1}f}{\partial x_i^{p-1}}$ worden opgelost. De lifting bestaat dan en slechts dan als de oplossingen $f_i$ van deze vergelijkingen voldoen aan de symmetrie-voorwaarde $\frac{\partial f_i}{\partial x_j} = \frac{\partial f_j}{\partial x_i}$.

Significantie
Het artikel claimt significant te zijn door de algebraïsche vraag van het liften van endomorfismen naar karakteristiek $p^2$ te verenigen met de geometrische eigenschap van het behouden van de Poisson-structuur op het centrum. Door de "dan en slechts dan als"-relatie vast te stellen, bieden de auteurs een structurele karakterisering van liftbare endomorfismen.

De verbetering van de graad-grens van $p/2$ naar $p$ (specifiek $\deg(\phi) < p$) wordt benadrukt als een significante verfijning van het werk van Tsuchimoto. Deze grens wordt getoond optimaal te zijn in bepaalde zin (via Voorbeeld 3.11). De resultaten stellen de auteurs in staat om eigenschappen die bekend zijn voor Weyl-algebra's in karakteristiek nul (zoals injectiviteit en de implicatie dat birationele endomorfismen automorfismen zijn) over te dragen naar de positieve karakteristiek setting, mits de graad van het endomorfisme relatief klein is ten opzichte van de karakteristiek $p$. Dit werk overbrugt de kloof tussen de theorie van Weyl-algebra's in karakteristiek nul en positieve karakteristiek, en biedt nieuwe instrumenten voor het analyseren van endomorfismen in dat laatste kader.