[论文解读] The inversion formulae for automorphisms of polynomial algebras and differential operators in prime characteristic

V. V. Bavula|ArXiv.org|Apr 21, 2006

Advanced Differential Equations and Dynamical Systems参考文献 8被引用 7

一句话总结

本文为素特征下的多种代数（包括多项式代数、微分算子环、Weyl代数及形式幂级数代数）的自同构建立了显式反演公式。通过使用导子、高阶导子及类似迹的映射等代数运算，作者构造了一个通用的反演公式，利用典范生成元与保持结构的映射来表达逆自同构，从而解决了素特征 p > 0 情形下长期存在的空白。

ABSTRACT

Let $K$ be an {\em arbitrary} field of characteristic $p>0$, let $A$ be one of the following algebras: $P_n:= K[x_1, ..., x_n]$ is a polynomial algebra, $\CD (P_n)$ is the ring of differential operators on $P_n$, $\CD (P_n) P_m$, the $n$'th {\em Weyl} algebra $A_n$, the $n$'th {\em Weyl} algebra $A_n P_m$ with polynomial coefficients $P_m$, the power series algebra $K[[x_1, ..., x_n]]$, $T_{k_1, ..., k_n}$ is the subalgebra of $\CD (P_n)$ generated by $P_n$ and the higher derivations $\der_i^{[j]}$, $0\leq j

研究动机与目标

• 为素特征下多项式代数与微分算子环的自同构发展反演公式，此前此类公式尚不存在。
• 将特征零情形下的反演方法推广至正特征，解决该情形下增加的复杂性与新出现的现象。
• 为中央单代数、Weyl代数及具有高阶导子的代数提供统一的反演公式框架。
• 解决素特征下显式代数反演工具的缺失问题，特别是针对雅可比猜想与迪克西梅尔问题的类比情形。
• 建立一种系统化方法，利用典范生成元与保持结构的映射（如 ϕ 和 ψ）计算逆自同构。

提出的方法

• 该方法通过代数运算对恒等映射进行分解：将 id_A(a) 表示为 ∑λ_α,y_α(a) x^α，其中 λ 为依赖于参数 y_α 的代数泛函。
• 在代数 T = T_{k_1,…,k_n} ⊗ P_m 上引入典范映射 ϕ 与 ψ，其定义基于高阶导子与伴随作用，用于从元素中提取系数。
• 关键技巧在于使用映射 ϕ_Z,σ，其用于计算某些微分算子与经 σ 变换的生成元复合后的迹。
• 通过将 σ 作用于恒等分解并利用变换后的映射 ϕ_σ 与 ψ_σ 解出 σ⁻¹(a)，从而导出反演公式。
• 该公式通过迭代应用伴随作用 (−ad x_j)^β_j 构造，并在素特征下使用二项式系数。
• 该方法将 [3] 中特征零情形下的方法推广至素特征，适配于正特征下 D(P_n) 与 A_n 不同构的情况。

实验结果

研究问题

• RQ1 如何显式计算特征为正的域上多项式代数自同构的逆？
• RQ2 在素特征下，微分算子环 D(P_n) 上自同构的逆具有何种代数结构？
• RQ3 能否为 Weyl 代数 A_n 及其与多项式代数的张量积在正特征下构造一个通用的反演公式？
• RQ4 在 T_{k_1,…,k_n} ⊗ P_m 中，高阶导子与典范生成元如何促成素特征下反演公式的构造？
• RQ5 对于域上中央单代数的自同构 σ，哪些代数运算足以表达 σ⁻¹(a)？

主要发现

• 为特征 p > 0 域上的多项式代数 P_n 的自同构构造了仅依赖代数运算的显式反演公式。
• 在 T = T_{k_1,…,k_n} ⊗ P_m 中，σ⁻¹(a) 的公式为 ∑_{α,β,γ} (−1)^{|α|} ϕ_{Z,σ}(∂′^{[γ]}(ϕ_σ(δ′^β(a) ∂′^{[α]}))) ∂^{[β]} x^α X^γ。
• 该公式亦可等价地用 ψ_σ 表示：∑_{α,β,γ} ϕ_{Z,σ}(∂′^{[γ]}(ψ_σ(∂′^{[α]} δ′^β(a)))) x^α ∂^{[β]} X^γ。
• 映射 ϕ_σ 与 ψ_σ 通过 σ 变换的生成元定义，并在自同构作用下保持代数结构。
• 该公式适用于摘要中列出的所有代数，包括 D(P_n)、A_n、A_n ⊗ P_m、形式幂级数代数以及 T_{k_1,…,k_n} ⊗ P_m。
• 该构造解决了素特征下此类反演公式的缺失问题，扩展了特征零情形下的先前结果。