[論文レビュー] A problem on polynomial maps over finite fields

Stefan Maubach|ArXiv.org|Feb 5, 2008

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

ひとこと要約

この論文は、特性2の有限体 $\mathbb{F}_{4}, \mathbb{F}_{8}, \mathbb{F}_{16}, \mathbb{F}_{32}, \ldots$ において、奇数次の多項式自己同型が存在するかを調査する。そのような自己同型が存在するならば、それは非ターミナル的であることが示され、非ターミナル性の簡単な証明が得られ、自己同型群の生成に関するいくつかの予想が反証される。主な貢献は、アフィン代数幾何学における中心的問題への入り口として、明確でアクセスしやすい問題を提示することにある。

ABSTRACT

This is a short note that explains a problem on polynomial maps over finite fields for non-experts. The problem is: Do there exist odd polynomial automorphisms over the finite fields with 4,8,16,32,64,... elements? The explanation is very, very basic. Also, the background of the problem is given, and why it is of such importance. This all with the idea that the problem enters the world of discrete mathematics, and can be approached from completely different angles than normally used by people working in Affine Algebraic Geometry.

研究の動機と目的

• 特性 $q = 2^m$（$m \geq 2$）の有限体 $\mathbb{F}_{q}$ において、奇数次の多項式自己同型が存在するかを特定すること。
• そのような自己同型が多項式自己同型群 $\textup{GA}_{n}(\mathbb{F}_{q})$ の構造に与える影響を調査すること。
• 奇数次の自己同型の存在が、自己同型群の生成に関する主要な予想を反証するかどうかを検証すること。
• 離散数学、数論、組合せ論の研究者らが、アフィン代数幾何学における中心的問題にアクセスしやすい、実用的で理解しやすい入り口を提供すること。

提案手法

• 問題は、多項式自己同型が $\mathbb{F}_{q}^{2}$ に誘導する写像としての像の性質として定式化され、対称群 $\operatorname{Sym}(q^2)$ の元として扱われる。
• 論文は、$\mathbb{F}_{q}^{2}$ 上の誘導された置換の偶奇（偶置換（$\operatorname{Alt}(q^2)$ に属する）または奇置換）を分析する。
• 既知の結果を活用する：$q$ が奇数または $q=2$ の場合、$\operatorname{Sym}(q^2)$ のすべての置換が多項式自己同型から生じるが、$q=2^m$（$m\geq 2$）の場合は、ターミナル自己同型から生じるのは偶置換のみである。
• その方法は、自己同型が奇置換を誘導するならば、それはターミナル群 $\textup{TA}_{2}(\mathbb{F}_{q})$ には属しないという事実に依拠している。これは、$\textup{TA}_{2}(\mathbb{F}_{q})$ が $\operatorname{Alt}(q^2)$ に写されるからである。
• 偶奇性の共役不変性を用いて、すべての線形化可能または変数を固定する自己同型が偶置換であるならば、奇自己同型は野生的であることを示す。
• 奇置換性を直接誘導置換上で確認できるため、多項式自己準同型の計算的または構造的分析を提案する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{F}_{4}$ 上で、$\mathbb{F}_{4}^{2}$ 上に奇置換を誘導する多項式自己同型が存在するか？
• RQ2 そのような自己同型が $\mathbb{F}_{4}$ 上に存在するならば、それは必然的に非ターミナル的か？
• RQ3 $\mathbb{F}_{2^m}$（$m\geq 2$）上に奇数次の多項式自己同型が存在するかどうかを、自己同型群の構造的制約によって除外できるか？
• RQ4 $\mathbb{F}_{4}$ や $\mathbb{F}_{8}$ 上に奇数次の自己同型が存在するならば、$\textup{GA}_{3}(\mathbb{F}_{q})$ が1つの変数を固定する自己同型によって生成されるという予想が反証されるか？
• RQ5 奇数次の自己同型の存在が、$\textup{GA}_{n}(\mathbb{F}_{q})$ が線形化可能な自己同型によって生成されないことを示唆するか？

主な発見

• $\mathbb{F}_{4}, \mathbb{F}_{8}, \mathbb{F}_{16}, \mathbb{F}_{32}, \ldots$ 上の奇数次の多項式自己同型は、$q=2^m$（$m\geq 2$）のとき $\mathcal{E}(\textup{TA}_{2}(\mathbb{F}_{q})) = \operatorname{Alt}(q^2)$ であるため、ターミナル自己同型群 $\textup{TA}_{2}(\mathbb{F}_{q})$ には属しない。
• そのような自己同型の存在は、シエスタコフ＝ウムルバイエフの証明で用いられる複雑な代数的技法を回避して、非ターミナル性の1ページで証明可能な簡単な証明を提供する。
• $\mathbb{F}_{4}, \mathbb{F}_{8}, \ldots$ 上での多項式自己同型の既知のすべての例は偶数であるため、奇数次の自己同型は存在しない可能性が高い。
• 変数を1つ固定する自己同型は、$\mathbb{F}_{4}, \mathbb{F}_{8}, \ldots$ 上では必然的に偶数である。なぜなら、各ファイバー $\mathbb{F}_{q}^2 \times \{a\}$ への制限が2次元での自己同型であり、ジュング＝ヴァン・デル・クールクの定理により偶数であるからである。
• もし奇数次の自己同型が存在するならば、$\textup{GA}_{3}(\mathbb{F}_{q})$ が1つの変数を固定する自己同型によって生成されるという予想は誤りである。
• 同様に、$\textup{GA}_{n}(\mathbb{F}_{q})$ が線形化可能な自己同型によって生成されるという予想も誤りである。なぜなら、$\mathbb{F}_{q}$ 上の線形写像は偶数であり、共役は偶奇性を保つからである。