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

技术摘要：Weyl 代数在 $p^2$ 模下的自同态提升

问题陈述
设 $k$ 为正特征 $p > 0$ 的完美域，$A_n(k)$ 表示 $n$ 阶 Weyl 代数。在正特征下，$A_n(k)$ 是一个 Azumaya 代数，其中心为 $Z \cong k[x_1, \dots, x_{2n}]$，其中 $x_i = z_i^p$。中心 $Z$ 携带了一个自然的 Poisson 代数结构，定义为 $\{x_i, x_j\} = -\omega_{i,j}$。

本文探讨的核心问题是：在什么条件下，$k$-代数自同构 $\phi: A_n(k) \to A_n(k)$ 可以被“提升”为一个自同构 $\Phi: A_n(W_2(k)) \to A_n(W_2(k))$，其中 $W_2(k)$ 是长度为 2 的 Witt 向量环（一个特征为 $p^2$ 的环）。另一个相关的次要问题是关于诱导自同构 $\phi_Z$ 在中心 $Z$ 上的性质，即 $\phi_Z$ 是否保持 Poisson 括号（即是否为 Poisson 态射）。

Tsuchimoto 的先前工作已经确立了：如果 $\phi$ 的次数小于 $p/2$，则 $\phi_Z$ 是一个 Poisson 态射。Belov-Kanel 和 Kontsevich 指出，如果存在到特征 $p^2$ 的提升，那么 $\phi_Z$ 必须是一个 Poisson 态射。然而，提升的存在性与 Poisson 性质之间的精确等价关系，以及这些性质的最优次数界限，仍有待完整刻画。

方法论
作者结合了非交换代数、上同调阻碍理论以及特征 $p$ 下的微分方程进行研究。

1. 提升条件： 作者分析了 $A_n(W_2(k))$ 中的交换关系。若 $\phi(z_i) = u_i$，提升要求寻找元素 $v_i \in A_n(k)$，使得扰动后的元素 $u_i + p v_i$ 在模 $p^2$ 下满足 Weyl 关系。这导致了一个涉及交换子 $[u_i, v_j] - [u_j, v_i]$ 以及由 $[u_i, u_j]$ 的展开式导出的阻碍项 $u_{ij}$ 的方程组。
2. 上同调解释： 提升的阻碍被解释为将 $A_n(k)$ 视为一个关于交换李代数的模时的 Chevalley–Eilenberg 复形。通过利用 $A_n(k)$ 在其中心上的特定平凡化，作者将问题映射到多项式环 $S = k[y_1, \dots, y_{2n}]$ 的 de Rham 复形。阻碍被证明对应于第二 de Rham 上同调群 $H^2_{dR}(S/k)$ 中的一个类。
3. Tsuchimoto 框架及其改进： 本文利用了 Tsuchimoto 的方法，该方法涉及将 $A_n(k)$ 作为扩张 $S$ 上的矩阵代数的平凡化。通过研究 $M$ 的特定 $A_n(k)$-线性自同构，作者推导出了控制“误差项”（$\gamma_i$）的微分方程，这些误差项是在比较提升算子与标准算子时产生的。
4. 次数分析： 作者对微分方程解的次数进行了详细的次数分析。他们利用了在特征 $p$ 下，算子 $\partial^{p-1}/\partial y^{p-1}$ 作用于特定单项式的投影性质，从而能够界定阻碍项的次数。

主要贡献与结果

• 提升与 Poisson 态射的等价性： 主要结果（定理 2.7）确立了一个充分必要条件：$A_n(k)$ 的 $k$-代数自同构 $\phi$ 能提升为 $A_n(W_2(k))$ 的自同构，当且仅当其在中心 $Z$ 上诱导的自同构 $\phi_Z$ 是一个 Poisson 态射。这是通过将 $\phi_Z$ 的 Jacobian 矩阵与一个由中心阻碍元素组成的矩阵 $C$ 联系起来来证明的，显示出 $C=0$（提升的条件）等价于 Poisson 条件 $J_\phi \omega^{-1} J_\phi^T = \omega^{-1}$。
• 改进的次数界限： 本文改进了 Tsuchimoto 的结果（定理 3.10）。它证明了如果对于所有 $l=1, \dots, n$，都有 $\deg(\phi(z_l)) + \deg(\phi(z_{n+l})) < 2p$，那么 $\phi_Z$ 是一个 Poisson 态射。因此，这样的 $\phi$ 可以在 $W_2(k)$ 上实现提升。这通过将之前的 $\deg(\phi) < p/2$ 的界限改进为实际上允许 $\deg(\phi) < p$ 的条件。
• 单射性与平坦性： 在 $\deg(\phi) < p$ 的条件下，作者得出结论 $\phi$ 是单射的。这解决了该次数范围内的单射性问题，扩展了已知于 $n=1$ 及特征零的情况。此外，如果 $\phi$ 是双有理的且 $\deg(\phi) < p$，则可以证明它是自同构。
• 提升的微分判据： 本文提供了一个关于 $\phi_Z$ 是 Poisson 态射的显式判据（命题 3.15）。这涉及求解形式为 $\frac{\partial^{p-1}}{\partial x_i^{p-1}} (\dots) = f^p + \frac{\partial^{p-1}f}{\partial x_i^{p-1}}$ 的特定微分方程。当且仅当这些方程的解 $f_i$ 满足对称条件 $\frac{\partial f_i}{\partial x_j} = \frac{\partial f_j}{\partial x_i}$ 时，提升才存在。

意义
本文声称其意义在于将提升自同构到特征 $p^2$ 的代数问题与中心上保持 Poisson 结构的几何性质统一起来。通过建立这种“当且仅当”的关系，作者提供了可提升自同构的结构化特征描述。

将次数界限从 $p/2$ 提高到 $p$（具体为 $\deg(\phi) < p$）被强调为对 Tsuchimoto 工作的重要改进。通过示例 3.11 可以看出，该界限在某些意义上是优化的。这些结果使得作者能够将已知于特征零下 Weyl 代数的性质（如单射性和双有理自同构必为自同构）转移到正特征情形，前提是自同构的次数相对于特征 $p$ 足够小。这项工作架起了特征零下的 Weyl 代数理论与正特征下理论之间的桥梁，为分析后者的自同构提供了新的工具。