[论文解读] Prime power polynomial maps over finite fields

Joost Berson|arXiv (Cornell University)|Jan 5, 2012

Advanced Differential Equations and Dynamical Systems被引用 1

一句话总结

本文建立了有限域 𝔽_q 上可逆线性化多项式映射与系数取自多项式环 𝔽_q[x] 的可逆矩阵之间的一一对应关系，表明映射的复合运算对应于矩阵乘法。这种结构等价性提供了一个新的代数框架，解决了该类映射的多个重大猜想，包括雅可比猜想。

ABSTRACT

We consider polynomial maps described by so-called (multivariate) linearized polynomials. These polynomials are defined using a fixed prime power, say q. Linearized polynomials have no mixed terms. Considering invertible polynomial maps without mixed terms over a characteristic zero field, we will only obtain (up to a linear transformation of the variables) triangular maps, which are the most basic examples of polynomial automorphisms. However, over the finite field F_q automorphisms defined by linearized polynomials have (in general) an entirely different structure. Namely, we will show that the linearized polynomial maps over F_q are in one-to-one correspondence with matrices having coefficients in a univariate polynomial ring over F_q. Furthermore, composition of polynomial maps translates to matrix multiplication, implying that invertible linearized polynomial maps correspond to invertible matrices. This alternate description of the linearized polynomial automorphism subgroup leads to the solution of many famous conjectures (most notably, the Jacobian Conjecture) for this kind of polynomials and polynomial maps.

研究动机与目标

• 理解定义在有限域上的可逆多项式映射的代数结构，这些映射由线性化多项式给出。
• 阐明此类映射在特征零与有限域设定下行为的根本差异。
• 建立线性化多项式自同构与多项式环上矩阵之间的对应关系。
• 利用该对应关系解决多项式自同构理论中长期存在的猜想，特别是针对此类映射的雅可比猜想。

提出的方法

• 使用系数属于单变量多项式环 𝔽_q[x] 的矩阵来表示 𝔽_q 上的线性化多项式。
• 在 𝔽_q[x] 上的矩阵环中，将多项式映射的复合定义为矩阵乘法。
• 利用矩阵表示的可逆性来刻画可逆线性化多项式映射。
• 建立可逆线性化多项式映射与 𝔽_q[x] 上可逆矩阵之间的双射对应关系。
• 应用矩阵表示来分析自同构群的结构性质。
• 利用代数框架推导出经典多项式自同构理论猜想的推论。

实验结果

研究问题

• RQ1 有限域 𝔽_q 上的线性化多项式映射在结构上与特征零域上的对应物有何不同？
• RQ2 能否系统地利用矩阵等代数对象对 𝔽_q 上的可逆线性化多项式映射进行分类？
• RQ3 此类映射的复合是否对应于其对应矩阵上的自然代数运算？
• RQ4 该矩阵表示框架能否用于解决此类映射的雅可比猜想？
• RQ5 有限域 𝔽_q 上可逆线性化多项式自同构群的精确代数结构是什么？

主要发现

• 𝔽_q 上可逆线性化多项式映射与系数属于多项式环 𝔽_q[x] 的可逆矩阵之间存在一一对应关系。
• 在此表示中，多项式映射的复合运算恰好对应于矩阵乘法。
• 𝔽_q 上线性化多项式的自同构群同构于 𝔽_q[x] 上可逆矩阵的群。
• 这种结构对应关系使得线性化多项式在有限域上的雅可比猜想得以完全解决。
• 该框架揭示了有限域上的线性映射相较于特征零情形，具有更丰富且本质不同的自同构结构。
• 该方法为正特征设定下多项式自同构的分析提供了全新的代数工具集。