[論文レビュー] Nonsingular plane filling curves of minimum degree over a finite field and their automorphism groups: Supplements to a work of Tallini

Masaaki Homma, Seon Jeong Kim|ArXiv.org|Mar 11, 2009

Algebraic Geometry and Number Theory参考文献 1被引用数 6

ひとこと要約

本稿は、有限体 $\mathbb{F}_q$ 上で、次数 $q+2$ の非特異平面曲線を構成し、それらが射影平面 $\mathbb{P}^2$ のすべての $\mathbb{F}_q$-有理点を含むことを証明する。その存在を示し、線形代数を用いて明示的に分類する。また、行列理論を用いてGiuseppe Talliniの自己同型群に関する結果を再証明し、自己同型群が $\mathrm{PGL}(3,\mathbb{F}_q)$ と位数 $(q^3-1)/(q-1)$ の巡回群の半直積に同型であることを示す。その際、定義行列の特性多項式に条件が課される。

ABSTRACT

Our concern is a nonsingular plane curve defined over a finite field of q elements which includes all the rational points of the projective plane over the field. The possible degree of such a curve is at least q+2. We prove that nonsingular plane curves of degree q+2 having the property actually exist. More precisely, we write down explicitly all of those curves. Actually, Giuseppe Tallini studied such curves in his old paper in 1961. We explain the connection between his work and ours. Moreover we give another proof of his result on the automorphism group of such a curve, from the viewpoint of linear algebra.

研究の動機と目的

• 次数 $q+2$ の $\mathbb{F}_q$ 上の非特異平面曲線が、$\mathbb{P}^2$ のすべての $\mathbb{F}_q$-有理点を含むことを証明すること。
• 線形代数および行列理論を用いて、それらの曲線を明示的に分類すること。
• Talliniの初期結果を補正・拡張し、これらの曲線の自己同型群構造について新しい証明を提供すること。
• Talliniの1961年の不変曲線に関する研究と、本稿の滑らかさおよび自己同型群に関する結果との関係を明確にすること。

提案手法

• 曲線は $F_A = (x,y,z)A^t(y^q z - y z^q, z^q x - z x^q, x^q y - x y^q)$ で定義され、$A \in \mathrm{GL}(3,\mathbb{F}_q)$ であり、$A$ の特性多項式が $\mathbb{F}_q$ 上で既約であるときかつそのときに限り、曲線は非特異である。
• 多項式除法および有限体の性質を用いて、集合 $\mathbb{P}^2(\mathbb{F}_q)$ の斉次イデアル $\mathfrak{h}$ が $y^q z - y z^q$、$z^q x - z x^q$、$x^q y - x y^q$ で生成されることを示した。
• 自己同型群は、$\mathrm{GL}(3,\mathbb{F}_q)$ 内の行列 $A_0$ の中心化群の研究を通じて分析され、中心化群の $\mathrm{PGL}(3,\mathbb{F}_q)$ への像を調べることが鍵となる。
• 次の正規列を構成した：$0 \to \overline{Z_{\mathrm{GL}(3,\mathbb{F}_q)}(A_0)} \to Z_{\mathrm{PGL}(3,\mathbb{F}_q)}(\overline{A}_0) \to S_3$。この列において、$S_3$ への写像の像が巡回的かつ非自明であるのは、$q$ および特性多項式に関するある数論的・代数的条件が満たされるときである。
• 行列 $B \in \mathrm{GL}(3,\mathbb{F}_q)$ が $A_0 B = \rho B A_0$ を満たすと、固有空間の置換を誘導し、$\mathbb{F}_{q^3}$ 上の射影直線への群作用が得られる。
• 付録では、$\mathrm{GL}(n,\mathbb{F}_q)$ 内の行列の中心と、その中心が $\mathrm{PGL}(n,\mathbb{F}_q)$ に写された像との違いを分析し、自己同型群構造を理解する上で重要である。

実験結果

リサーチクエスチョン

• RQ1 次数 $q+2$ の $\mathbb{F}_q$ 上の非特異平面曲線が、$\mathbb{P}^2$ のすべての $\mathbb{F}_q$-有理点を含むものとして存在するか？
• RQ2 行列 $A \in \mathrm{GL}(3,\mathbb{F}_q)$ に対して、曲線 $F_A = 0$ が非特異であるための明確な条件は何か？
• RQ3 このような曲線の自己同型群の構造は何か？また、固有値へのガロア作用とどのように関係するか？
• RQ4 Talliniの初期の不変曲線に関する結果と、本稿の滑らかさおよび自己同型群に関する結果との関係は何か？
• RQ5 $\mathrm{PGL}(3,\mathbb{F}_q)$ 内の中心化群の像が非自明であるための条件は何か？

主な発見

• 次数 $q+2$ の $\mathbb{F}_q$ 上の非特異平面曲線で、$\mathbb{P}^2$ のすべての $\mathbb{F}_q$-有理点を含むものは存在し、特性多項式が $\mathbb{F}_q$ 上で既約である行列 $A \in \mathrm{GL}(3,\mathbb{F}_q)$ をパrameterとする明示的なパラメータ表示が可能である。
• $F_A = 0$ が非特異であることは、$A$ の特性多項式が $\mathbb{F}_q$ 上で既約であることと同値であり、鋭い代数的条件が得られた。
• このような曲線の自己同型群は、位数 $(q^3 - 1)/(q - 1)$ の巡回群と、固有値へのガロア作用によって誘導される置換群の半直積に同型である。
• $A_0$ の中心化群の $\mathrm{PGL}(3,\mathbb{F}_q)$ 内の像は、$S_3$ の巡回部分群に全射であり、その像が非自明であるのは、$q \equiv 1 \pmod{k}$ を満たす $k > 1$ が 3 を割り、かつ $A_0$ の特性多項式がすべての項の次数が $k$ で割り切れるときである。
• 自己同型群の構造は、$A_0$ の固有空間へのガロア作用によって完全に決定され、特性多項式が既約で $q \not\equiv 1 \pmod{3}$ であるとき、群は $\mathrm{PGL}(3,\mathbb{F}_q)$ に同型である。
• 本稿は、Talliniの不変性に関する結果が滑らかさを意味することを確認し、彼の自己同型群に関する結果を補足・拡張する新しい線形代数的証明を提供した。