[论文解读] 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.

研究动机与目标

• 证明在 $\mathbb{F}_q$ 上存在度数为 $q+2$ 的非奇异平面曲线，且包含 $\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$ 和特征多项式满足特定数论与代数条件。
• 自同构群结构的证明基于如下事实：满足 $A_0 B = \rho B A_0$ 的 $B \in \mathrm{GL}(3,\mathbb{F}_q)$ 诱导了特征子空间的置换，从而在 $\mathbb{F}_{q^3}$ 上的射影直线上诱导群作用。
• 附录分析了 $\mathrm{GL}(n,\mathbb{F}_q)$ 中矩阵的中心与其在 $\mathrm{PGL}(n,\mathbb{F}_q)$ 中像之间的差异，这对理解自同构群结构至关重要。

实验结果

研究问题

• RQ1 在 $\mathbb{F}_q$ 上是否存在度数为 $q+2$ 的非奇异平面曲线，使其包含 $\mathbb{P}^2$ 的所有 $\mathbb{F}_q$-有理点？
• RQ2 矩阵 $A \in \mathrm{GL}(3,\mathbb{F}_q)$ 的精确条件是什么，使得曲线 $F_A = 0$ 为非奇异？
• RQ3 此类曲线的自同构群结构如何？其与特征值上的伽罗瓦作用有何关系？
• RQ4 Tallini 关于不可约填充曲线的早期结果如何与这些曲线的光滑性及自同构群相联系？
• RQ5 在什么条件下，$A_0$ 的中心化子在 $\mathrm{PGL}(3,\mathbb{F}_q)$ 中的像为非平凡？

主要发现

• 在 $\mathbb{F}_q$ 上存在度数为 $q+2$ 的非奇异平面曲线，且包含 $\mathbb{P}^2$ 的所有 $\mathbb{F}_q$-有理点，且这些曲线由特征多项式在 $\mathbb{F}_q$ 上不可约的矩阵 $A \in \mathrm{GL}(3,\mathbb{F}_q)$ 显式参数化。
• 曲线 $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}$ 对某个整除 3 的 $k > 1$ 成立，且 $A_0$ 的特征多项式仅含次数被 $k$ 整除的项。
• 自同构群结构完全由 $A_0$ 的特征子空间上的伽罗瓦作用决定，当特征多项式不可约且 $q \not\equiv 1 \pmod{3}$ 时，该群同构于 $\mathrm{PGL}(3,\mathbb{F}_q)$。
• 本文确认 Tallini 的不可约性结果蕴含光滑性，并为他的自同构群结果提供了新的线性代数证明，修正并扩展了其原始结论。