Minimal value set binomials and Frobenius nonclassical curves

技术摘要：极小值集二项式与 Frobenius 非经典曲线

问题陈述
本文研究了有限域理论和代数几何中两个相互关联的问题。首先，它试图对有限域 $\mathbb{F}_q$ 内的二项式（具有两个项的多项式）类别的极小值集多项式 (MVSP) 进行特征化。MVSP 被定义为一种多项式 $F \in \mathbb{F}_q[x]$，其取值集的基数达到了理论下界，即 $\lceil (q-1)/\deg F \rceil + 1$。其次，利用这些二项式的分类，本文旨在对不可约四项式曲线（由具有四个项的多项式定义的曲线）进行分类，这些曲线是 $\mathbb{F}_q$-Frobenius 非经典的。如果一个曲线在 $\mathbb{F}_q$-Frobenius 映射下的任何光滑点的像都落在其切线上，则称该曲线为 Frobenius 非经典曲线。作者关注具有分离变量的曲线，其方程形式定义为 $f(x) = g(y)$。

方法论
作者结合了代数数论和代数曲线理论：

1. 二项式的特征化： 作者分析了形式为 $F(x) = x^a + \beta x^b$ 的二项式。他们利用了 MVSP 的结构定理（定理 2.2），该定理将取值集结构与特定多项式及 Hasse 导数的存在性联系起来。分析根据取值集大小 $|V_F|$ 分为三种情况：

   • $|V_F| = 1$：直接应用 MVSP 的定义和整除性质。
   • $|V_F| = 2$：使用多项式在原基元幂次下的评估的递推关系进行分析。
   • $|V_F| > 2$：应用定理 2.2 来导出关于指数和系数的约束，特别是分析高次展开中的项抵消以及域扩张中范数映射的性质。

2. 曲线的分类： 作者利用了一个已知的联系（来自 [3] 的命题 2.5），该命题指出：曲线 $f(x) = g(y)$ 的不可约分量是 Frobenius 非经典的，当且仅当 $f$ 和 $g$ 是具有相同取值集的 MVSP（在特定条件下）。

   • 他们根据仿射方程的形式将具有分离变量的四项式曲线分为三类：(i) $k_1 x^{m_1} + k_2 x^{m_2} + k_3 y^{n_1} + y^{n_2} = 0$，(ii) $k_1 x^{m_1} + k_2 x^{m_2} + k_3 y^{n_1} + 1 = 0$，以及 (iii) $k_1 x^{m_1} + k_2 x^{m_2} + k_3 x^{m_3} + y^{n_4} = 0$。
   • 对于每种类型，他们将分类后的二项式（以及针对类型 (iii) 推导出的三项式）代入曲线方程。
   • 他们应用不可约性判别准则（命题 5.3）和 Frobenius 非经典性判别准则（命题 5.1）来过滤结果，区分可约分量与不可约分量。

主要贡献与结果

1. 极小值集二项式的分类（定理 A）
本文提供了 $\mathbb{F}_q$ 上二项式作为 MVSP 的完整分类。在乘以一个非零元素的情况下，一个二项式是 MVSP 当且仅当它采取以下形式之一：

• $x^a + \beta$，其中 $\beta \in \mathbb{F}_q^*$ 且 $a \mid (q-1)$。
• $x^{b+\ell(q-1)} - x^b$，对于某些 $b, \ell \in \mathbb{N}$（取值集大小为 1）。
• 涉及 $q=2^{2n}$ 或 $p>2$ 且指数与 $(q-1)/3$ 或 $(q-1)/2$ 相关的特定形式（取值集大小为 2）。
• 满足关于 $t, \beta$ 以及 $\beta$ 的范数的特定约束的 $x^{p^\ell t} + \beta x^t$ 和 $x^{2t} + \beta x^t$（取值集大小 $>2$）。

这些结果被指出与 [6] 中的猜想 1.1 一致。

2. Frobenius 非经典四项式曲线的分类（定理 B）
利用二项式分类以及与分离变量曲线的联系，作者对 $\mathbb{F}_q$ 上不可约的 Frobenius 非经典四项式曲线进行了分类。这些曲线由特定的平面方程给出，包括：

• 类型 (i)： 形式为 $y^{d+q-1} - y^d = \alpha x^{b+q-1} - \alpha x^b$ 的方程。
• 类型 (ii)： 涉及 $y^{q-1}$ 和特定三项式组合的方程（例如，对于 $F_4 \subseteq \mathbb{F}_q$，有 $y^{q-1} = x^{2(q-1)/3} + x^{(q-1)/3} + 1$）。
• 类型 (iii)： 涉及 $p$ 的幂次的更复杂的方程，例如 y^{(p^{2\ell}+p^\ell+1)t} = x^{p^{2\ell}t} + x^{p^\ell t} + x^t} 以及带有子域中系数的变化形式。

作者明确指出，在处理过程中推导出的许多曲线是可约的（通常是 Fermat 曲线与直线的乘积），并且在定理 B 的最终分类中被排除在外。

意义与主张
本文声称是第一篇通过固定单项式数量（特指二项式）来对 MVSP 进行分类的工作。作者将此定位为解决更广泛的 MVSP 分类问题的一种新方法，此前该问题主要是通过固定域大小或从已知多项式构造 MVSP 来研究的。

此外，本文将 Frobenius 非经典曲线的分类从三项式曲线（由第二作者在 [10] 中分类）扩展到了四项式曲线。所得到的结果提供了一个关于具有分离变量的不可约 Frobenius 非经典曲线的确定性列表，这类曲线以可能拥有极高的有理点数量而闻名（超过经典曲线的 Hasse-Weil 界）。这些发现与 [6] 中的猜想 1.1 和定理 2.8 相一致并为其提供了证据。