Factorizations of linearized polynomials and extremal curves in odd characteristic

技術的要約：奇数標数における線形化多項式の因数分解と極値曲線

問題提起
本論文は、奇数標数の有限体 $\mathbb{F}_q$ 上の極値 van der Geer–van der Vlugt 曲線の構成と分類を扱う。これらの曲線は、非零の $\mathbb{F}_p$-線形多項式 $R(x)$ を用いた方程式 $y^p - y = xR(x)$ によって定義されるアフィン曲線の滑らかなコンパクト化である。曲線が $\mathbb{F}_q$-極値であるとは、その曲線が $\mathbb{F}_q$-極大（maximal）または $\mathbb{F}_q$-極小（minimal）であることを指す。すなわち、有理点の数が Hasse–Weil の上界または下界に達していることを意味する。著者らによって標数 2 の場合におけるこのような曲線の完全な構成法は既に確立されていたが、奇数標数の場合はこれまでこれほど明示的ではなかった。本研究の主な目的は、奇数標数におけるこれらの極値曲線を構成するための完全なレシピを提供し、そのような曲線の集合を特徴付けることである。

手法
著者らは、$\mathbb{F}_p$-線形多項式とその随伴（adjoint）の理論を用いて、これらの曲線の $L$-多項式の明示的な公式を導出する。中心となる手法上の革新は、線形化多項式の「随伴」という概念である。多項式 $f(x) = \sum b_i x^{p^i}$ に対して、その随伴は $f^*(x) = \sum (b_i x)^{p^{-i}}$ と定義される。

構成は以下の手順で行われる：

1. 入力データ： 構成は、ペア $\rho = (W, a)$ から始まる。ここで $W \subset \mathbb{F}_q$ は $\mathbb{F}_p$-線形部分空間であり、$a \in \mathbb{F}_q^\times$ である。
2. 多項式の構成： $W$ から、特定の可分な $\mathbb{F}_p$-線形多項式 $F_W(x)$ を構成する。著者らは、主要な因数分解恒等式
   $$R + R^* = F^* \circ (aF)$$
   （ここで $F = F_W$）を利用する。この因数分解が、条件を満たす多項式 $R_\rho(x)$ を一意に決定する。
3. 曲線の定義： 曲線 $D_\rho$ は $y^p - y = xR_\rho(x)$ によって定義される。
4. $L$-多項式の計算： エタール・コホモロジー、アルティン・シュライヤー・層、およびグロタンディーク・レフシェッツの跡公式を用いて、曲線 $D_\rho$ の $L$-多項式を計算する。これには、有限体上の二次形式に関連する指数和の評価が含まれる。
5. 極値条件： $L$-多項式から導かれるフロベニウス作用の固有値を分析することで、$D_\rho$ が極値であるための必要十分条件を確立する。

主要な貢献と結果

• 明示的な構成レシピ (Theorem 1.2)： 本論文は、奇数標数における $\mathbb{F}_q$-極値 van der Geer–van der Vlugt 曲線の完全な特徴付けを提供している。曲線 $D_\rho$ は、ペア $\rho=(W, a)$ に関連付けられ、跡の条件 $\text{Tr}_{q/p}(a^{-1}v^2) = 0$ がすべての $v \in W$ に対して成立する場合に極値となる。
  • さらに、本論文はルジャンドル記号に基づいて極大と極小の場合を区別している。$D_\rho$ が極大（または極小）であるための必要十分条件は、$\left(\frac{a}{q}\right) \cdot \left(\frac{-1}{\sqrt{q}}\right) = -1$ （または $= 1$）であることである。
• 構成の完全性 (Theorem 1.2(ii)): すべての $\mathbb{F}_q$-極値 van der Geer–van der Vlugt 曲線が、このようなペア $(W, a)$ から導かれることを証明するという重要な結果を示している。これにより、構築された族が極値曲線の集合を網羅していることが確立される。
• $L$-多項式の公式 (Theorem 1.1)： 特徴量と部分空間 $W$ の元に関する積として表される、$L$-多項式の明示的な公式が導出されている。この公式により、有理点の数を直接決定することが可能となる。
• 標数 2 との比較： 本論文は、奇数標数と偶数標数の場合の構造的な類似点と相違点を強調している。奇数標数において、極値条件は二次形式が全等方的（totally isotropic）であることに関連しているのに対し、標数 2 では部分空間に関する群準同型の条件に関連している。
• 商曲線およびエルミート曲線への応用：
  • 許容される範囲内の任意の指定された種数に対して、この族の中に $\mathbb{F}_q$-極大および $\mathbb{F}_q$-極小の曲線が存在することを証明している (Theorem 4.6)。
  • すべての $\mathbb{F}_q$-極大 van der Geer–van der Vlugt 曲線は、エルミート曲線の有限エタール商であることを示している (Theorem 4.10)。これは、元の曲線を覆うように種数を増やしながら曲線を反復的に構成し、最終的にエルミート曲線に対応する最大次数に到達することによって達成される。
• 先行研究との関係： 本論文は、彼らの極値条件が [6] で確立された基準と等価であることを明確にしているが、彼らのアプローチは、構成の全射性（すなわち、すべての極値曲線がこの方法で捉えられること）を証明する、より構成的な枠組みを提供している。

意義
本論文の主な意義は、奇数標数における極値曲線を構成するための「完全なレシピ」を提供し、標数 2 に焦点を当てたか、あるいは非構成的な基準を提供していたこれまでの研究に残された空白を埋めたことにある。これらの曲線の幾何学と、線形化多項式の因数分解および二次形式の理論を結びつけることで、著者らは極大曲線と極小曲線の扱いを統一している。すべての極値 van der Geer–van der Vlugt 曲線がエルミート曲線の商であるという結果は、有限体上の極大曲線におけるエルミート曲線の中心的な役割を強化するものである。本研究は、著者らによる標数 2 の先行研究に対する奇数標数のアナロジーとして機能しており、これらの曲線を研究する数論学者や符号理論学者に対して、並行した理論的枠組みを提供している。