[论文解读] Polynomial automorphisms over finite fields: Mimicking non-tame and tame maps by the Derksen group

Stefan Maubach, Roel M. Willems|ArXiv.org|Dec 17, 2009

Advanced Differential Equations and Dynamical Systems参考文献 9被引用 6

一句话总结

本文研究有限域上的多项式自同构，重点关注非坦自同构与坦自同构是否能被 Derksen 群的元素所模拟。研究结果表明，所有 $\mathbb{F}_q$ 上的坦自同构均可被 Derksen 群模拟，且坦自同构群在 $\mathbb{F}_q$ 上所诱导的双射与完整自同构群一致——但特征为 2 时例外，此时 $\mathrm{GLIN}_n(\mathbb{F}_2) \subsetneq \mathrm{GTAM}_n(\mathbb{F}_2)$，揭示了该情形下的关键差异。

ABSTRACT

If $F$ is a polynomial automorphism over a finite field $\F_q$ in dimension $n$, then it induces a bijection $π_{q^r}(F)$ of $(\F_{q^r})^n$ for every $r\in \N^*$. We say that $F$ can be `mimicked' by elements of a certain group of automorphisms $\mathcal{G}$ if there are $g_r\in \mathcal{G}$ such that $π_{q^r}(g_r)=π_{q^r}(F)$. We show that the Nagata automorphism (and any other automorphism in three variables fixing one variable) can be mimicked by tame automorphisms. This on the one hand removes the hope of showing that such an automorphism is non-tame by studying one bijection it induces, but on the other hand indicates that the bijections of tame automorphisms coincide with bijections of all automorphisms. In section 5 we show that the whole tame group $\TA_n(\F_q)$ in turn can be mimicked by the Derksen subgroup $\DA_n(\F_q)$, which is the subgroup generated by affine maps and one particular element. It is known that if a field $k$ has characteristic zero, then $\TA_n(k)=\DA_n(k)$, which is not expected to be true for characteristic $p$. In section 6 we consider the subgroups $\GLIN_n(k)$ and $\GTAM_n(k)$ of the polynomial automorphism group (which are candidates to equal the entire automorphism group). We show that $\GLIN_n(\F_q)=\GTAM_n(\F_q)$ if $q ot = 2$, and $\GLIN_n(\F_2)\subsetneq \GTAM_n(\F_2)$.

研究动机与目标

• 确定有限域上的非坦自同构是否能通过其在有限域扩张上所诱导的双射与坦自同构区分开来。
• 研究 $\mathbb{F}_q$ 上的坦自同构群是否能被更小的群（特别是 Derksen 群）完全模拟。
• 澄清 $\mathrm{GLIN}_n(k)$ 与 $\mathrm{GTAM}_n(k)$ 之间的关系，尤其关注特征 2 的情形。
• 探讨这些模拟结果对有限域动力系统与计算代数中实际应用的启示。

提出的方法

• 定义多项式自同构 $F$ 在 $\mathbb{F}_{q^r}$ 上所诱导的双射 $\pi_{q^r}(F)$，并研究此类映射何时可被目标群 $\mathcal{G}$ 的元素所模拟。
• 利用模拟概念比较坦自同构群 $\mathrm{TA}_n(\mathbb{F}_q)$ 与 Derksen 群 $\mathrm{DA}_n(\mathbb{F}_q)$ 在 $\pi_{q^r}$ 下的像。
• 使用群论工具（包括置换奇偶性与共轭）分析自同构在 $\mathbb{F}_2^n$ 与 $\mathbb{F}_{2^2}^n$ 上的作用。
• 借助 MAGMA 等计算代数系统计算指数 $[\pi_4(\mathrm{GLIN}_2(\mathbb{F}_2)):\pi_4(\mathrm{GA}_2(\mathbb{F}_2))] = 2$，确认严格包含关系。
• 证明对所有 $r$，有 $\pi_{q^r}(\mathrm{DA}_n(\mathbb{F}_q)) = \pi_{q^r}(\mathrm{TA}_n(\mathbb{F}_q))$，表明 Derksen 群捕获了所有坦双射。
• 通过置换循环的奇偶性论证，证明 $\pi_2(\mathrm{GLIN}_n(\mathbb{F}_2)) \subseteq \mathcal{A}_{2^n}$（交错群），而 $\pi_2(\mathrm{GTAM}_n(\mathbb{F}_2)) = \mathrm{Bij}(\mathbb{F}_2^n)$。

实验结果

研究问题

• RQ1 有限域上的非坦自同构能否通过其在 $\mathbb{F}_{q^r}^n$ 上所诱导的双射被检测到？
• RQ2 Derksen 群 $\mathrm{DA}_n(\mathbb{F}_q)$ 是否足以模拟 $\mathbb{F}_q$ 上所有坦自同构所诱导的双射？
• RQ3 对所有 $q$，是否成立 $\mathrm{GLIN}_n(\mathbb{F}_q) = \mathrm{GTAM}_n(\mathbb{F}_q)$？
• RQ4 $\mathrm{GLIN}_n(\mathbb{F}_2)$ 与 $\mathrm{GTAM}_n(\mathbb{F}_2)$ 之间的关系如何？与 $q \neq 2$ 的情形有何不同？
• RQ5 坦自同构群 $\mathrm{TA}_n(\mathbb{F}_q)$ 是否可由仿射映射与有限集 $E$ 生成？

主要发现

• Derksen 群 $\mathrm{DA}_n(\mathbb{F}_q)$ 在 $\mathbb{F}_{q^r}^n$ 上所诱导的双射集合与坦自同构群 $\mathrm{TA}_n(\mathbb{F}_q)$ 完全相同，即对所有 $r \in \mathbb{N}^*$，有 $\pi_{q^r}(\mathrm{DA}_n(\mathbb{F}_q)) = \pi_{q^r}(\mathrm{TA}_n(\mathbb{F}_q))$。
• 当 $q \neq 2$ 时，$\mathrm{GLIN}_n(\mathbb{F}_q) = \mathrm{GTAM}_n(\mathbb{F}_q)$；但当 $q = 2$ 时，$\mathrm{GLIN}_n(\mathbb{F}_2) \subsetneq \mathrm{GTAM}_n(\mathbb{F}_2)$，表明特征 2 时存在结构性差异。
• 双射 $\pi_2(\mathrm{GLIN}_n(\mathbb{F}_2))$ 完全位于交错群 $\mathcal{A}_{2^n}$ 内，而 $\pi_2(\mathrm{GTAM}_n(\mathbb{F}_2))$ 为完整的对称群 $\mathrm{Bij}(\mathbb{F}_2^n)$，证实了严格包含关系。
• 通过 MAGMA 计算得出指数 $[\pi_4(\mathrm{GLIN}_2(\mathbb{F}_2)):\pi_4(\mathrm{GA}_2(\mathbb{F}_2))] = 2$，表明 $\mathrm{GLIN}_2(\mathbb{F}_2)$ 是 $\mathrm{GA}_2(\mathbb{F}_2)$ 的真子群。
• 所有固定一个变量的自同构（如 Nagata 自同构）均可被坦自同构模拟，暗示这些映射无法通过其诱导双射被证明为非坦自同构。
• 本文未解决 $n \geq 3$ 时 $\mathrm{DA}_n(\mathbb{F}_q) \neq \mathrm{TA}_n(\mathbb{F}_q)$ 是否成立，尽管在正特征下此情况并不被预期。