[論文レビュー] Hyperelliptic curves in characteristic 2

Jasper Scholten, Hui June Zhu|ArXiv.org|Dec 19, 2000

Algebraic Geometry and Number Theory参考文献 8被引用数 4

ひとこと要約

この論文は、$n \geq 2$ に対して、$\overline{\mathbb{F}}_2$ 上の genus $2^n - 1$ の超楕円的 supersingular 曲線は存在しないことを確立し、このような曲線のニュートン多角形の最初のスロープが $h = \lfloor \log_2(g+1) + 1 \rfloor$ に対して少なくとも $1/h$ であることを証明している。さらに、$\overline{\mathbb{F}}_2$ 上の超楕円的 supersingular 曲線のモジュライ空間の次元は $g-2$ 以下であり、genus 4 では等号が成り立つ。このとき、すべての曲線は特定の標準形 $y^2 - y = x^9 + c_5x^5 + c_3x^3$ を持つ。結果は $2$-adic 分析とニュートン多角形の境界を用いて得られた。

ABSTRACT

In this paper we prove that there are no hyperelliptic supersingular curves over F_2bar of genus 2^n-1 for any integer n>1. Let g be a natural number, and h=floor(log_2(g+1)+1). Let X be a hyperelliptic curve over F_2bar of genus g>2 and 2-rank zero, given by an affine equation y^2-y=c_{2g+1} x^{2g+1} +...+ c_1 x. We prove that the first slope of the Newton polygon of X is bigger than or equal to 1/h. We also prove that the equality holds if (I) g<2^h-2, c_{2^h-1} is nonzero; or (II) g=2^h-2, c_{2^h-1} or c_{3(2^{h-1})-1} is nonzero. We prove that genus-4 hyperelliptic curve over F_2bar are precisely those with equations y^2 - y = x^9 + a x^5 + b x^3.

研究の動機と目的

• 超楕円的 supersingular 曲線が $\overline{\mathbb{F}}_2$ 上に genus $2^n - 1$ ($n \geq 2$) で存在するかを特定すること。
• $\overline{\mathbb{F}}_2$ 上の $2$-rank がゼロの超楕円的曲線のニュートン多角形の最初のスロープに対する下界を確立すること。
• $\overline{\mathbb{F}}_2$ 上の超楕円的 supersingular 曲線のモジュライ空間 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ の次元を genus $g \geq 3$ に対して特定すること。
• すべての genus 4 の超楕円的 supersingular 曲線を、標準形を提供することによって分類すること。

提案手法

• 著者たちは、方程式 $y^2 - y = \sum_{i=1}^{2g+1} c_i x^i$ の係数 $c_i$ の $2$-adic 分析を用いて、ニュートン多角形のスロープを決定する係数に関する合同条件を導出する。
• 彼らは $h = \lfloor \log_2(g+1) + 1 \rfloor$ を定義し、$\overline{\mathbb{F}}_2$ 上の $2$-rank がゼロの超楕円的曲線に対して、ニュートン多角形の最初のスロープが少なくとも $1/h$ であることを証明する。
• 等式 $\mathrm{NP}_1(X) = 1/h$ は、特定の係数条件のもとで成り立つ：$g < 2^h - 2$ のとき $c_{2^h - 1} \neq 0$、または $g = 2^h - 2$ のとき $c_{2^h - 1} \neq 0$ または $c_{3 \cdot 2^{h-1} - 1} \neq 0$。
• 証明は Deuring–Shafarevich 公式と曲線の同型を用いて行われ、方程式を奇数次の単項式に正規化し、$c_{2g+1} = 1$ にし、特定の係数を座標変換で消去する。
• genus 4 の場合、著者たちはニュートン多角形分析からの係数の消滅条件を用いて、すべての supersingular 曲線が $y^2 - y = x^9 + c_5x^5 + c_3x^3$ の形を持つことを示す。
• 彼らは $c_7 \neq 0$ ならば $\mathrm{NP}_1(X) > 1/3$ であることに着目し、supersingular 曲線では $c_7 = 0$ でなければならないことから、標準形が得られる。

実験結果

リサーチクエスチョン

• RQ1 $\overline{\mathbb{F}}_2$ 上に genus $2^n - 1$ ($n \geq 2$) の超楕円的 supersingular 曲線は存在するか？
• RQ2 $\overline{\mathbb{F}}_2$ 上の $2$-rank がゼロの超楕円的曲線に対して、ニュートン多角形の最初のスロープの最小値は何か？
• RQ3 $\overline{\mathbb{F}}_2$ 上の超楕円的 supersingular 曲線のモジュライ空間 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ の次元は何か（$g \geq 3$）？
• RQ4 すべての genus 4 の超楕円的 supersingular 曲線は、1つの標準形で記述可能か？

主な発見

• $n \geq 2$ に対して、$\overline{\mathbb{F}}_2$ 上に genus $2^n - 1$ の超楕円的 supersingular 曲線は存在しない。これはニュートン多角形のスロープ境界と係数条件によって示された。
• 任意の $\overline{\mathbb{F}}_2$ 上の $2$-rank がゼロの超楕円的曲線（genus $g \geq 3$）に対して、ニュートン多角形の最初のスロープは $h = \lfloor \log_2(g+1) + 1 \rfloor$ に対して少なくとも $1/h$ である。
• 等式 $\mathrm{NP}_1(X) = 1/h$ は、$g < 2^h - 2$ かつ $c_{2^h - 1} \neq 0$、または $g = 2^h - 2$ かつ $c_{2^h - 1} \neq 0$ または $c_{3 \cdot 2^{h-1} - 1} \neq 0$ のとき成り立つ。
• $\overline{\mathbb{F}}_2$ 上のモジュライ空間 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ の次元は $g \geq 3$ に対して $g - 2$ 以下であり、$h \geq 3$ で $g = 2^h - 2$ のとき $g - 3$ 以下である。
• genus 4 の場合、モジュライ空間 $\mathcal{HS}_4/\overline{\mathbb{F}}_2$ は既約で次元が 2 であり、すべての曲線は $c_5, c_3 \in \overline{\mathbb{F}}_2$ に対して $y^2 - y = x^9 + c_5x^5 + c_3x^3$ の形を持つ。
• 任意の genus 4 の超楕円的 supersingular 曲線では係数 $c_7$ が消える必要がある。なぜなら $c_7 \neq 0$ ならば $\mathrm{NP}_1(X) > 1/3$ となり、supersingularity に矛盾するからである。