Factorization of Additive Polynomials and van der Geer--van der Vlugt curves in characteristic 2

技术摘要：特征 2 下加法多项式的分解与 van der Geer–van der Vlugt 曲线

问题陈述
本文针对定义在特征 2 有限域上的 van der Geer–van der Vlugt 曲线，解决其 Frobenius 特征值的显式计算问题。这些曲线由方程 $C_R: y^p - y = xR(x)$ 给出，其中 $R(x)$ 是一个 $\mathbb{F}_p$-线性化多项式。虽然针对奇特征的情况已有通过二次高斯和表达的公式，但 $p_0=2$ 的情形一直更为难以捉摸。作者先前的工作（特别是参考文献 [7]）提供了一个特征 2 下的公式，但该公式依赖于与曲线相关的海森堡群（Heisenberg group）的极大阿贝尔子群的选择。这种对任意选择的依赖使得公式变得复杂，难以应用于显式计算。本文的主要目标是推导一个更简单、与选择无关的公式，并利用它来刻画该族曲线中的极大和极小曲线。

方法论
作者采用了一种新颖的方法，核心在于加法多项式的分解，而非先前工作中使用的海森堡群的群论分析。

1. 伴随多项式与分解：核心洞察涉及 $\mathbb{F}_p$-线性化多项式的伴随算子 $F \mapsto F^*$。作者考虑一对 $(F, t)$，其中 $F$ 是满足特定条件（可分性、$F^*(1)=0$ 以及核约束）的 $\mathbb{F}_p$-线性化多项式，且 $t \in \mathbb{F}_q$。他们证明，对于给定的多项式 $R$，如果它可以表示为由此类对导出的形式 $R = R_{F,t}$，则关联曲线 $C_R$ 同构于由 $y^p - y = x R_{F,t}(x)$ 定义的曲线 $D_{F,t}$。
2. 上同调计算：作者通过将曲线与长度为二的 Witt 向量概形 $W_2$ 上的朗（Lang）挠子联系起来，计算了这些曲线的 $\ell$-进上同调。他们利用朗映射 $L_p: W_2 \to W_2$ 及相关层来分解上同调群。
3. 显式特征值推导：通过分析几何 Frobenius 在这些层上的作用，他们推导出了特征值的显式公式。该公式依赖于一个特征和，其中涉及在伴随多项式 $F^*$ 的核上评估的特定函数 $Q_q$（偶特征下的二次型类比）。
4. 线性代数刻画：本文建立了此类分解的存在性与曲线几何性质（特别是 $R + R^*$ 的核的结构）之间的对应关系。

主要贡献与结果

• 新的显式公式（定理 1.1）：作者提供了一个简化的公式，用于计算曲线 $D_{F,t}$ 的 $L$-多项式。特征值由 $\tau_v = Q_q(t+v)^{-1}(-1-\sqrt{-1})^{[F_q:F_2]}$ 给出，其中 $v$ 属于 $F^*$ 的核。该公式独立于先前文献中所需的辅助选择。
• 极值曲线的刻画（定理 1.2 与 1.3）：本文给出了 van der Geer–van der Vlugt 曲线为 $\mathbb{F}_q$-极大或 $\mathbb{F}_q$-极小的充要条件。
  • 它证明了该族中每个 $\mathbb{F}_q$-极值曲线都源于一个特定的线性代数构造，涉及子空间 $W \subset \mathbb{F}_q$ 和元素 $t$。
  • 这提供了一个构造性方案：通过选择满足特定迹和二次型条件的子空间 $W$ 和元素 $t$，可以生成所有极大/极小曲线。
• $\mathbb{F}_{q^2}$ 上极大曲线的构造（定理 1.4）：作者给出了曲线 $D_{F,t}$ 在 $\mathbb{F}_{q^2}$ 上为极大的显式条件，具体与 $t$ 的迹相关。
• 周期与奇偶性（第 1.4 节与 6.5 节）：本文研究了“周期”（曲线变为极值的最小扩张次数）和“奇偶性”（在该次数下是极大还是极小）。
  • 结果表明周期 $\mu$ 总是偶数。
  • 本文分类了哪些对 $(\mu, \delta)$ 是可实现的。值得注意的是，它证明了对于 $p=2$，对 $(4, 1)$（周期 4，极小）是不可能的。
  • 它确立了如果 $\mathbb{F}_p$ 包含奇整数 $m$ 的原 $m$ 次单位根，则对 $(2m, 1)$ 永远不会实现。

意义
本文声称其主要意义在于新公式的简洁性与实用性。通过消除对海森群极大阿贝尔子群选择的依赖，新方法允许更直接、更显式地计算 Frobenius 特征值。

此外，这项工作提供了特征 2 下 van der Geer–van der Vlugt 曲线族中极大和极小曲线的完整分类。它证明了这些极值曲线并非孤立现象，而是构成了一个子类，可以从线性代数数据（子空间和迹条件）中系统地构造出来。这弥合了此类曲线的抽象存在与其具体构造之间的差距，提供了生成它们的“方案”。结果还细化了对这些曲线周期和奇偶性的理解，排除了此前不确定的特定周期与奇偶性组合。