[論文レビュー] The approach of St"ohr-Voloch to the Hasse-Weil bound with applications to optimal curves and plane arcs

Fernando Torres|ArXiv.org|Nov 14, 2000

Limits and Structures in Graph Theory参考文献 58被引用数 9

ひとこと要約

本稿は、ハッセ＝ヴォローチの境界を用いて、奇数位数の体上の有限射影平面における完全平面弧のサイズのより鋭い上界を確立し、最適曲線の一意性を示す。線形系列、フロベニウス順序、およびワイエルシュトラス点理論を活用することで、既知の第二最大完全弧サイズの上界を改善し、ゼータ関数と有理点構造に基づいて、ハーミート型およびスズキ曲線のような最大曲線を特徴づける。

ABSTRACT

This is an expository paper concerning topics on rational points of curves defined over finite fields based on a paper by St"ohr and Voloch.

研究の動機と目的

• 奇数位数の有限体上の射影平面における第二最大完全平面弧サイズの上界を精緻化すること。
• Stöhr-Voloch法を用いて、特にハーミート曲線およびスズキ曲線のようなF_q-最大曲線のより強い特徴づけを確立すること。
• 曲線のゼータ関数から導かれる線形系列を用いて、最適曲線の一意性を調査すること。
• 完全弧と関連する平面曲線にStöhr-Voloch境界を適用し、ワイエルシュトラス点理論およびフロベニウス不変量を活用すること。
• Hirschfeld-KorchmárosおよびVolochの最近の結果を用いて、平面曲線のF_q-有理点数の既存の上界を改善すること。

提案手法

• 曲線上の線形系列g^r_dとその不変量ν_0, ν_1, ..., ν_{r-1}を用い、F_q-有理点数の上界をStöhr-Voloch境界により導出する。
• F_q-有理点集合が空でない場合、特にF_q-最大曲線に対して、曲線Xのゼータ関数から除法D_X = |(q_s + 1)P_0|を構成する。
• 除法D_Xにカステルヌーヴォの genus 界およびハルフェンの定理を適用し、最適曲線の幾何的制約を導出する。
• フロベニウス順序およびD-ワイエルシュトラス点理論に依拠し、線形系列の分岐および包絡空間を分析する。
• 完全弧Kを特徴づける特異平面曲線Cを関連付けることで、弧サイズ問題を有理点問題に翻訳する。Cの正規化は線形系列を支持する。
• 平面曲線の有理点数に関するHirschfeld-Korchmárosの境界とVolochの結果を用い、m'(2,q)の上界を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 奇数qに対して、Stöhr-Voloch法を用いることで、P^2(F_q)における第二最大完全平面弧サイズのより鋭い上界が得られるか？
• RQ2 Stöhr-Voloch法は、ハーミート曲線やスズキ曲線のようなF_q-最大曲線の一意性結果をどの程度強化できるか？
• RQ3 曲線のゼータ関数から導かれる線形系列は、以前の不変量よりもF_q-最大性をより強く特徴づけることができるか？
• RQ4 線形系列のフロベニウス順序およびワイエルシュトラス点構造を用いて、平面曲線のF_q-有理点数のよりタイトな上界を導出できるか？
• RQ5 qが奇数の平方であるとき、P^2(F_q)における完全弧の第二最大サイズm'(2,q)の最良の可能な上界は何か？

主な発見

• 本稿では、奇数qに対して、m'(2,q) ≤ q - √q/2 + 5/2 という上界を確立した。これは、第二最大完全弧サイズに関して現在知られている最良の上界である。
• q > 23^2、q ≠ 3^6、およびd ≤ √q - 3 の条件下で、2M_q + M_q' ≤ d(q - √q + 1) が成り立つ。これは、m'(2,q) = q - √q + 1 であるという予想を支持する。
• ハーミート曲線は、ゼータ関数から導かれる除法D_XにStöhr-Voloch法を適用することにより、唯一のF_q-最大曲線として、genusが√q(√q - 1)/2 であると特徴づけられる。
• スズキ曲線は、同じ方法を用いて、genusがq_0(q - 1) で、有理点数がq^2 + 1 個である唯一のF_q-最大曲線として特徴づけられる。
• d = √q - 2 かつqが十分に大きいとき、Aguglia-Korchmárosの2M_q + M_q'に関する結果に基づき、上界がm'(2,q) ≤ q - √q/2 - 11/2 に改善される。
• d ≤ √q - 3 かつqが十分に大きいとき、2M_q + M_q' ≥ d(q - √q + 1) の条件下で、m'(2,q) = q - √q + 1 が成り立つことが証明され、予想される弧サイズが確認された。