[論文レビュー] On Weierstrass points and optimal curves

Rainer Fuhrmann, Fernando Torres|ArXiv.org|Sep 10, 1997

Nonlinear Partial Differential Equations参考文献 33被引用数 52

ひとこと要約

本稿は、ワイエルシュトラス点理論とフロベニウス順序を用いて、有限体上の特定の最適曲線の一意性（$\mathbb{F}_q$-同型を除いて）を確立する。$\mathbb{F}_{\ell^2}$ 上の最大曲線で、 genus $g > (\ell-1)(\ell-2)/4$ であるものは、ヘルミート曲線または特定の平面曲線に $\mathbb{F}_{\ell^2}$-同型であることを証明する。また、$\sqrt{q} \notin \mathbb{N}$ のとき、$g = q_0(q-1)$ かつ $q^2+1$ 個の有理点を持つ曲線は、スズキ型デリーニュ＝ルスティグ曲線に $\mathbb{F}_q$-同型であることを示す。

ABSTRACT

We use Weierstrass Point Theory and Frobenius orders to prove the uniqueness (up to isomorphism) of some optimal curves.

研究の動機と目的

• 有限体上の最適曲線（特に最大曲線およびデリーニュ＝ルスティグ曲線）の $\mathbb{F}_q$-同型を除く一意性を確立すること。
• zeta関数とフロベニウス順序から生じる線型系にStöhr-Voloch理論を適用することで、既存の最適曲線に関する結果を拡張・一般化すること。
• ワイエルシュトラス構造と $\mathbb{F}_q$-有理点の分析を通じて、有理点数が最大の曲線を特徴づけること。
• 所定の genus と点数を持つ曲線が、既知の最適曲線（例えばヘリミート曲線やスズキ型曲線）に同型であることを証明すること。
• 特定の線型系に付随する準同型が埋め込みであることを示し、これにより、曲線の genus 計算と構造に関する以前の結果を精緻化すること。

提案手法

• 曲線の zeta 関数を用いて、$P_0$ を $\mathbb{F}_{\ell^2}$-有理点とする線型系 $\mathcal{D} = |(\ell+1)P_0|$ を定義する。
• 線型系 $\mathcal{D}$ に Stöhr-Voloch 理論を適用し、$\mathcal{D}$-分岐除数とワイエルシュトラス点におけるフロベニウス順序を分析する。
• フロベニウス順序 $\{0, 1, q_0, 2q_0, q\}$ を用いて、曲線の構造とその自己同型群を特徴付ける。
• $S^\mathcal{D}$ と $R^\mathcal{D}$ を分析し、有理点における次数と値を計算することで、すべての $\mathbb{F}_q$-有理点が $\mathcal{D}$-ワイエルシュトラス点であることを示す。
• canonical 除数関係 $(2q_0 - 2)\mathcal{D} \sim K_X$ を用いて、非有理点における微分形式の順序に関する情報を導出する。
• 曲線から $\mathbb{P}^4(\mathbb{F}_q)$ への明示的準同型 $\pi = (1:x:y:z:w)$ を構成し、その像がスズキ＝ティーツの卵球 $\mathcal{O}$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}_{\ell^2}$ 上の最大曲線が、$\mathbb{F}_{\ell^2}$-同型を除いて一意に定まる条件は何か？
• RQ2 スズキ群 $Sz(q)$ に付随するデリーニュ＝ルスティグ曲線の同型類の一意性は、その genus と $\mathbb{F}_q$-有理点数のみから示せるか？
• RQ3 最適曲線で $\sqrt{q} \notin \mathbb{N}$ であるものについて、$\mathbb{F}_q$-有理点におけるワイエルシュトラス半群の構造は何か？
• RQ4 フロベニウス順序と Stöhr-Voloch 理論は、最適曲線上の線型系に付随する準同型の特徴づけにどのように寄与するか？
• RQ5 $|(q + 2q_0 + 1)P_0|$ に付随する準同型は埋め込みであるか？ これは曲線の幾何にどのような意味を持つのか？

主な発見

• 奇数の $\ell$ に対して、$\mathbb{F}_{\ell^2}$ 上の最大曲線で genus $g > (\ell-1)(\ell-2)/4$ であるものは、$\mathbb{F}_{\ell^2}$-同型を除いて、ヘルミート曲線 $y^\ell + y = x^{\ell+1}$（$g = \ell(\ell-1)/2$）または平面曲線 $y^\ell + y = x^{(\ell+1)/2}$（$g = (\ell-1)^2/4$）のいずれかに一致する。
• 線型系 $\mathcal{D} = |(\ell+1)P_0|$ に付随する準同型は埋め込みである。これは [FGT, Prop. 1.10] における以前の結果を改善する。
• $q = 2q_0$ で $q_0 = 2^s$ のとき、genus $g = q_0(q-1)$ で $q^2 + 1$ 個の有理点を持つ曲線 $X/\mathbb{F}_q$ は、スズキ群 $Sz(q)$ に付随するデリーニュ＝ルスティグ曲線に $\mathbb{F}_q$-同型である。
• スズキ型曲線の $\mathcal{D}$-ワイエルシュトラス点の集合はちょうど $X(\mathbb{F}_q)$ であり、各 $P \in X(\mathbb{F}_q)$ における $(\mathcal{D},P)$-順序は $0, 1, q_0+1, 2q_0+1, q+2q_0+1$ である。
• 線型系 $\mathcal{D}$ によって定義される準同型 $\pi: X \to \mathbb{P}^4(\mathbb{F}_q)$ の像は、スズキ＝ティーツの卵球 $\mathcal{O}$ である。これにより、曲線と有限幾何学との間に幾何的関係が確立される。
• 代数閉包 $\bar{\mathbb{F}}_q$ 上の曲線の自己同型群は、$PGL(5,q)$ 内のスズキ＝ティーツ卵球の安定化部分群と同型であり、曲線の剛性と一意性が確認される。