[論文レビュー] 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

ひとこと要約

この論文は、有限体上の多項式自己同型について検討し、非ターミナル自己同型とターミナル自己同型がデルクセン群の元によって模倣可能かどうかを焦点とする。有限体 $\mathbb{F}_q$ 上で、すべてのターミナル自己同型はデルクセン群によって模倣可能であり、また、ターミナル自己同型群が誘導する双対写像は、有限体拡張 $\mathbb{F}_{q^r}$ 上で、全自己同型群のそれと一致する——ただし特徴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^r}^n$ 上に誘導する双対写像によって、ターミナル自己同型と区別可能かどうかを同定すること。
• 有限体 $\mathbb{F}_q$ 上のターミナル自己同型群が、より小さい群、特にデルクセン群によって完全に模倣可能かどうかを調査すること。
• $\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)$ とデルクセン群 $\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))$ を証明し、デルクセン群がすべてのターミナル双対写像を捉えていることを示す。
• 置換の巡回の偶奇性に基づく議論を用いて、$\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 デルクセン群 $\mathrm{DA}_n(\mathbb{F}_q)$ は、有限体 $\mathbb{F}_q$ 上のすべてのターミナル自己同型が誘導する双対写像を模倣可能か？
• RQ3 $\mathrm{GLIN}_n(\mathbb{F}_q) = \mathrm{GTAM}_n(\mathbb{F}_q)$ はすべての $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$ によって生成可能か？

主な発見

• デルクセン群 $\mathrm{DA}_n(\mathbb{F}_q)$ は、すべての $r \in \mathbb{N}^*$ に対して、$\mathbb{F}_{q^r}^n$ 上でターミナル群 $\mathrm{TA}_n(\mathbb{F}_q)$ と同一の双対写像を誘導する。すなわち、$\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)$ の真の部分群であることが裏付けられた。
• 1つの変数を固定するすべての自己同型（例：ナガタ自己同型）は、ターミナル自己同型によって模倣可能であるため、その誘導する双対写像のみでは、このような写像が非ターミナルであることが証明できない可能性がある。
• 正の特徴においては期待されないが、$n \geq 3$ に対して $\mathrm{DA}_n(\mathbb{F}_q) \neq \mathrm{TA}_n(\mathbb{F}_q)$ であるかどうかは、本論文では未解決のまま残されている。