[論文レビュー] Optimal Curves of Genus 3 over Finite Fields with Discriminant -19

Е. С. Алексеенко, С. И. Алешников+2 more|arXiv (Cornell University)|Feb 11, 2009

Coding theory and cryptography参考文献 5被引用数 3

ひとこと要約

本稿は、判別式 -19 を持つ有限体上の最適な genus 3 曲線を完全に分類し、$ z^2 = \text{quartic in } x + \text{linear in } y $ の形の明示的方程式を示している。素体まで 997 までの最大・最小曲線の表を構築し、このような体では最大曲線と最小曲線が同時に存在しえないことを示し、任意の such 曲線のヤコビアンが $ \text{F}_q $ 上の最大・最小楕円曲線のべきにアイソジェニであることを確立している。

ABSTRACT

In this work we study the properties of maximal and minimal curves of genus 3 over finite fields with discriminant -19. We prove that any such curve can be given by an explicit equation of certain form. Using these equations we obtain a table of maximal and minimal curves over finite fields with discriminant -19 of cardinality up to 997. We also show that existence of a maximal curve implies that there is no minimal curve and vice versa.

研究の動機と目的

• 判別式 -19 を持つ有限体上の最適（最大または最小）な genus 3 曲線のすべての同型類を分類すること。
• 複素乗法の理論と $ K = \text{Q}(\text{sqrt}(-19)) $ 上の $ \text{O}_K $ におけるヘルミート加群を用いて、このような曲線の明示的多項式方程式を導出すること。
• 判別式 -19 を持つ素体 $ \text{F}_q $ に対して $ q \leq 997 $ の範囲で、最大・最小曲線の包括的な表を構築すること。
• このような体上で最大曲線が存在するならば最小曲線は存在しないこと、逆も同様であることを証明すること。
• Honda-Tate理論と等長類に関するDeligneの定理を応用し、このような曲線のヤコビアンが最大・最小楕円曲線のべきにアイソジェニであることを示すこと。

提案手法

• 判別式 -19 を持つ有限体上の最適曲線のヤコビアンの等長類を分類するために、複素乗法の理論と $ K = \text{Q}(\text{sqrt}(-19)) $ に対する自己準同型環 $ \text{O}_K $ を用いる。
• 普通のアーベル多様体が $ E^g $ にアイソジェニであるようなカテゴリと、$ \text{O}_K $-加群にユニモジュラーヘルミート形式を持つカテゴリとの同倣を活用する。
• リーマン・ロッホと線形系統の解析を用いて明示的モデルを導出する：$ \text{dim}(2D) = 2 $ の場合、除数型に応じて $ z^2 = \text{quartic in } x + \text{linear in } y $ の形の式を得る。
• 点 $ Q $ における付値の議論を用いて、$ x, y, z $ の単項式の線形従属を証明し、$ \text{F}_q(x,y) $ 上の $ z $ の最小多項式の次数が 2 であることを保証する。
• 付値における厳密な三角不等式を適用し、特定の関数の組み合わせが消えること、すなわち曲線方程式の最終形を導く。
• ハッセ＝ワイエルシュトラス＝セールの上限に達しているかどうかを確認することで、最大または最小曲線の存在を検証する。その際、特性多項式 $ L(t) = (1 \mp [2\sqrt{q}]t + qt^2)^3 $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 判別式 -19 を持つ有限体上の最適な genus 3 曲線の同型類の完全な集合は何か？
• RQ2 すべての such 最適曲線は明示的多項式方程式で記述可能か？その方程式の形はどのようなものか？
• RQ3 判別式 -19 を持つどの素体 $ \text{F}_q $ に対して、最大または最小の genus 3 曲線が存在するか？
• RQ4 同じ有限体上に、判別式 -19 を持つ最大曲線と最小曲線の両方が存在しうるか？
• RQ5 $ K = \text{Q}(\text{sqrt}(-19)) $ に対する自己準同型環 $ \text{O}_K $ の構造は、このような曲線のヤコビアンの等長類にどのような制約を課えるか？

主な発見

• すべての判別式 -19 を持つ有限体上の最適な genus 3 曲線は、定理 5.1 で示されたように、$ z^2 = \text{quartic in } x + \text{linear in } y $ の形の明示的方程式を持つ。
• 判別式 -19 を持つ各素数 $ q \leq 997 $ に対して、本稿は最大・最小曲線の完全なリストを提供しており、最大と最小のケースには重複がない。
• このような最適曲線のヤコビアンは、それぞれの状況に応じて、$ \text{F}_q $ 上の最大または最小楕円曲線 $ E $ に対して $ E^3 $ にアイソジェニである。
• 判別式 -19 を持つ $ \text{F}_q $ 上に最大曲線が存在するならば、同じ体上に最小曲線は存在せず、逆も同様である。
• 明示的な例を提示する：$ q = 47 $ の場合、最大曲線は $ y^2 = x^3 + x + 38 $ であり、最小曲線は $ z^2 = 5 + 45x + 30x^2 + 10y $ である。
• $ q = 997 $ の場合、最小曲線は $ y^2 = x^3 + 500x + 934 $ であり、$ z^2 = x^2 + 336x + 564 + 196y $ であり、大規模な素数サイズでも最適曲線が存在することを確認している。