Classification of Rational Functions of Degree Three over Finite Fields

この論文「有限体上の 3 次有理関数の分類（Classification of Rational Functions of Degree Three over Finite Fields）」は、有限体 $\mathbb{F}_q$ 上の 3 次有理関数を、射影線形群 $PGL(2, \mathbb{F}_q)$ による同値関係（$PGL$-同値）の下で完全に分類する研究です。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記述します。

1. 問題設定と背景

• 対象: 有限体 $\mathbb{F}_q$ 上の非定数有理関数 $f \in \mathbb{F}_q(X)$ で、次数 $\deg f = 3$ のもの。
• 同値関係: 2 つの有理関数 $f, g$ が $PGL$-同値（$f \sim g$）であるとは、$\psi, \phi \in PGL(2, \mathbb{F}_q)$（1 次有理関数）が存在して$g = \psi \circ f \circ \phi$となるときを指す。この同値関係は、関数体の拡張$\mathbb{F}_q(X)/\mathbb{F}_q(f)$ の性質（分岐点の数や種類など）を保存する。
• 研究の動機: 有理関数は、高次既約多項式の構成や、置換多項数・置換有理関数の研究において重要な役割を果たす。
• 既存の成果:
  • 次数 1: すべて同値。
  • 次数 2: 既知（偶数標数・奇数標数でそれぞれ 2 類）。
  • 次数 3（偶数標数）: Mattarei と Pizzato により分類済み。
  • 次数 3（奇数標数）: 同値類の総数 $N(q, 3)$ は既知（Hou による明示式）だが、具体的な代表元の分類は未完成だった。
• 本研究の目的: 奇数標数（$q$ が奇数）の場合における、3 次有理関数の完全な分類（同値類の代表元の構成と分類）を行うこと。

2. 手法とアプローチ

著者らは、関数 $f: \mathbb{P}^1(\mathbb{F}_q) \to \mathbb{P}^1(\mathbb{F}_q)$ の逆像のサイズに基づき、3 次有理関数を 3 つのクラスに分割して分類を行いました。

1. Class I: 任意の $\alpha$ に対して $|f^{-1}(\alpha)| = 1$（全単射、置換有理関数）。
2. Class II: ある $\alpha$ に対して $|f^{-1}(\alpha)| = 2$ であり、かつ $|f^{-1}(\beta)| \neq 3$ となるもの。
3. Class III: ある $\alpha$ に対して $|f^{-1}(\alpha)| = 3$ であり、かつ $|f^{-1}(\beta)| \neq 2$ となるもの（残りの場合）。

主要な技術的アプローチ:

• 分岐点（Ramification Points）の解析: 関数 $f$ の分岐点のタイプ（指数と次数の組）を同値不変量として利用。
• 交比（Cross Ratio）の活用: 分岐点の集合に対する交比を構成し、同値性を判定するための不変量（$\theta, \lambda, \mu^2$ など）を定義。
• 代数曲線の有理点の数え上げ: 特定の同値類に属する関数の存在を示すために、Hasse-Weil 不等式を用いて代数曲線上の有理点の数を評価。
• ケース分け: 標数 $p$ によって扱いが異なるため、$p \ge 5$ と $p=3$ の場合を分けて議論。

3. 主要な結果と分類

Class I と Class II

• Class I: Ferraguti と Micheli による既知の結果を引用。$q \pmod 6$ に応じて 1 または 2 の同値類が存在。
• Class II: 標準形 $X^3+t/X$ および $X^3+X^2+t/X$ に帰着され、これらが互いに同値でないことを証明。同値類の数は $q \equiv 1 \pmod 3$ で $q+2$、そうでなければ $q$。

Class III（本研究の核心）

Class III は、分岐点の構造（多項式 $G_{s,t}(X) = X^4 - 2X^3 - sX^2 - 2tX + t$ の因数分解）に基づき、さらに 4 つのサブクラス（III-a, III-b, III-c, III-d）に細分化されます。

• Class III-a ($G_{s,t}$ が既約)

  • 分岐点タイプ: $(2/4, 2/4, 2/4, 2/4)$。
  • 不変量 $\theta$: $\theta(s,t) = \frac{s^3}{t(1+s+t)}$ を定義。
  • 結果: $\theta$ が非平方数（nonsquare）の値をとる場合、$\theta$ の値が同値類を完全に決定する。同値類の数は $(q-1)/2$。

• Class III-b ($G_{s,t}$ が 2 つの異なる既約 2 次式の積)

  • 分岐点タイプ: $(2/2, 2/2, 2/2, 2/2)$。
  • 不変量の強化: $\theta$ だけでは区別できない場合があるため、分岐点の交比から導かれる新しい不変量 $\lambda$ および $\mu^2$ を導入。
  • 結果: 対 $(\theta, \lambda)$ または $\mu^2$ が同値類を決定する。特に $\mu^2$ は Class III-b のすべての同値類を区別する強力な不変量であることが示された。同値類の数は $(q-5)/2$（$q \equiv 1 \pmod{12}$ の場合の例外処理を含む）。

• Class III-c ($G_{s,t}$ が既約 2 次式の 2 乗)

  • 分岐点タイプ: $(3/2, 3/2)$（$p \ge 5$）。
  • 結果: $q \equiv 1 \pmod 6$ の場合は空集合、そうでなければ 1 つの同値類（代表元 $f_{-3,1}$）のみが存在。

• Class III-d ($G_{s,t}$ が $\mathbb{F}_q$ 上の根を持つ)

  • 分岐点タイプ: $(2/2, 2/2, 3/1)$ または $(3/1, 3/1)$。
  • 結果: 特定の条件を満たすパラメータで代表される 1 つの同値類（または $f_{-3,1}$ との併合）が存在。

標数 $p=3$ の場合

• Class III-c は空集合となる（Hurwitz 種数公式による制約）。
• Class III-b において $\mu^2$ が $(q-3)/2$ 個の値を取り、これが同値類を完全に決定する。

4. 総括と数式

総数の整合性を確認すると、Class III 全体の同値類の数は $N_{III}(q, 3) = q-1$ であり、これは Hou による既知の公式 $N(q, 3)$ と Class I, II の結果を差し引いた値と一致します。
$$N_{III}(q, 3) = (q-1)$$
著者らは、各サブクラスで構成した代表元の集合のサイズが、この $q-1$ に一致することを示すことで、分類の完全性を証明しました。

5. 意義と貢献

1. 完全な分類の達成: 奇数標数における 3 次有理関数の $PGL$-同値類の完全な分類を初めて提供しました。これにより、偶数標数の結果（Mattarei-Pizzato）と合わせて、任意の有限体上の 3 次有理関数の構造が解明されました。
2. 不変量の体系化: 単なるパラメータの列挙ではなく、交比や分岐点の構造に基づいた代数的不変量（$\theta, \lambda, \mu^2$）を構築し、同値性の判定基準を明確にしました。
3. 手法の革新性: 代数曲線上の有理点の数え上げ（Hasse-Weil 境界）と、具体的な多項式の因数分解・結果（Resultant）の計算を組み合わせることで、存在証明と非同値性の証明を両立させました。
4. 応用への寄与: 置換有理関数や高次既約多項式の構成における基礎知識として、今後さらに発展する可能性を秘めています。また、付録では偶数標数の場合との比較や、Mathematica による検証コードも提供されており、再現性が担保されています。

この論文は、有限体上の有理関数の理論において、次数 3 という重要なケースにおける「最終的な解決」を提供する重要な業績です。