多项式代数的Keller映射和微分算子的研究

The theory of automorphisms and derivations of polynomial algebras has deep roots in geometry, and has continued crossing and integration with combination theory, differential equations and theories of several kinds of algebras.. In the project, we investigate automorphisms and differential operators of polynomial algebras including the following contents: (1) The structure of Keller maps is the central problem in the theory of polynomial automorphisms and affine algebraic geometry. We will study the classification problem of homogeneous (gradient) Keller maps in low dimensions and study the structure, especially the tameness, of Keller maps with low transcendence degree in arbitrary dimensions; Study the co-tameness of wild automorphisms. (2) Study the images of differential operators and derivations of polynomial algebras; use the module theory on Weyl algebras to study the problem of whether the images of higher-order differential operators and locally nilpotent derivations are Matheiu subspaces and study the general theory of Mathieu subspaces. This problem arose from the Jacobian conjecture. (3) Use the method of invariant theory of derivations, homological algebra and K-theory to study the structure of retracts of polynomial algebras. This problem arose from the Zariski cancellation problem for affine varieties.

多项式代数的自同构和导子理论具有深刻的几何背景，并与组合理论、微分方程和各种代数结构理论不断产生交叉融合.. 本项目主要对多项式代数上的Keller映射和微分算子进行研究, 具体包括：(1) Keller映射的结构是多项式代数自同构理论和仿射代数几何的核心问题，我们将研究低维齐次(梯度)Keller映射的分类问题, 以及任意维低超越次数Keller映射的结构, 特别是其tame性；并研究wild自同构的(稳定)co-tame性; (2) 研究多项式代数上微分算子和导子的像, 利用Weyl代数的模理论研究高阶微分算子和局部幂零导子的像是否为Mathieu子空间的问题，并进一步研究Mathieu子空间的一般理论, 该问题源于Jacobi猜想; (3) 利用导子不变量理论以及同调代数和K-理论方法研究多项式代数的收缩的结构，该问题源于仿射簇的Zariski消去问题.

本项目主要围绕多项式代数的Keller映射和微分算子展开研究，这些研究与仿射代数几何领域的一些重要问题(如Jacobi猜想、Zariski消去问题等)密切相关。项目完成了预期目标，主要研究内容和研究成果如下. (1) 我们刻画了一些重要的Keller映射和多项式自同构类的结构, 并对其tame性和co-tame性进行了深入研究。具体包括: 分类了超越次数为3的二次齐次多项式映射和相应的Keller映射, 分类了6维的超越次数为4的二次齐次Keller映射, 证明了超越次数为3的二次齐次Keller映射和超越次数为2的三次齐次Keller映射的co-tame性, 证明了一类3-抛物自同构和所有power-linear自同构的co-tame性。(2) 深入刻画了多项式代数上某些微分算子和导子的像的结构，重点研究了这些微分算子和导子的像是否为Mathieu子空间的问题，该问题来源于Jacobi猜想。 我们解决了特征p情形的任意维数的一般高阶微分算子像猜想。另外，为了研究局部幂零导子的像，我们发展了局部幂零导子的局部切片构造理论，并由此解决了3维局部幂零导子像猜想的一些重要情形。(3) 我们研究了多项式代数上收缩的结构, 该问题来源于仿射簇的Zariski消去问题。我们描述了多项式代数的能够成为局部幂零导子常数环的收缩的结构, 刻画了这类收缩与多项式代数本身的关系。