[論文レビュー] Improving the error term in the mean value of $L( frac{1}{2},\chi )$ in the hyperelliptic ensemble

Alexandra Florea|arXiv (Cornell University)|May 12, 2015

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

ひとこと要約

本稿は、関数体上の双曲的系における二次ディリクレL関数の臨界点における平均値の漸近公式の誤差項を改善する。解析的整数論の技法、特に特徴和、ガウス和、および contour 積分を用いて、|D|^{1/3} log_q |D| のサイズの追加の主要項を同定し、誤差項を O(|D|^{1/4 + \epsilon}) にまで縮小した。これは、アンドレイドとキーティングが得た O(|D|^{3/4 + \log_q 2}) の以前の境界を著しく改善するものである。

ABSTRACT

Andrade and Keating computed the mean value of quadratic Dirichlet $L$--functions at the critical point, in the hyperelliptic ensemble over a fixed finite field $\mathbb{F}_q$. Summing $L(1/2,\chi_D)$ over monic, square-free polynomials $D$ of degree $2g+1$, the main term is of size $|D| \log_q |D|$ (where $|D|=q^{2g+1}$) and Andrade and Keating bound the error term by $|D|^{\frac 34+ \frac{\log_q(2)}{2}}$. For simplicity, we assume that $q$ is prime with $q \equiv 1 \pmod 4$. We prove that there is an extra term of size $|D|^{1/3} \log_q|D|$ in the asymptotic formula and bound the error term by $|D|^{1/4+\epsilon}$.

研究の動機と目的

• 関数体上の双曲的系における二次ディリクレL関数の臨界点における第一モーメントの漸近公式を精緻化すること。
• AndradeとKeatingの以前の境界 O(|D|^{3/4 + \log_q 2}) から、L(1/2, χ_D) の平均値における誤差項の境界を O(|D|^{1/4 + \epsilon}) に改善すること。
• 漸近展開に |D|^{1/3} \log_q |D| のサイズの追加の主要項を同定し、含めること。
• 関数体におけるガウス和と特徴和の性質を活用して、平方根のキャンセルを超える分析を可能にすること。
• 数体設定における予想されるモーメントと整合性を確認し、関数体設定における整数モーメントに関するAndradeとKeatingの予想を支持すること。

提案手法

• 関数体上でのポisson和公式を、ガウス和と特徴和を用いて適用し、次数 2g+1 のモニックかつ平方自由多項式の和を解析する。
• 生成関数とオイラー積を用いて、L関数を含む特徴和を表現し、F_q[x] 上のゼータ関数およびディリクレL関数を統合する。
• 複素平面上の生成関数に対して contour 積分を実行し、主要項を分離し誤差項を有界化するための積分路の注意深い選択を行う。
• ガウス和と解析接続を組み込んだ修正された生成関数 B(V; w, u) を導入し、特徴和の平均値の精密な推定を可能にする。
• 既知の推定値 [2] を用いて、s = 1/2 におけるL関数の有界性を制御し、誤差項の大きさを制御する。特に |L(q^{-1/2}, χ_D)| に対する推定を適用する。
• ハッセ＝ダベンポート関係を用いて、q が素数のときから q = p^k で q ≡ 1 (mod 4) となる素数べきへの一般化を行い、ガウス和の正規化を適切に調整する。

実験結果

リサーチクエスチョン

• RQ1 双曲的系における L(1/2, χ_D) の第一モーメントの漸近展開に、以前に考慮されていなかった主要項が存在するか？
• RQ2 AndradeとKeatingが確立した O(|D|^{3/4 + \log_q 2}) の境界を超えて、L(1/2, χ_D) の平均値における誤差項を改善できるか？
• RQ3 関数体におけるガウス和の構造は、平方根のキャンセルを超えるキャンセルを可能にし、より厳密な誤差制御を可能にするか？
• RQ4 結果は、特に低次の項に関して、数体における二次L関数の予想されるモーメントとどのように一致するか？
• RQ5 本手法は、双曲的系における L(1/2, χ_D) の第二および第三モーメントを計算するために拡張可能か？

主な発見

• 第一モーメントの漸近展開に、AndradeとKeatingの元の公式に存在しなかった |D|^{1/3} \log_q |D| のサイズの追加の主要項が同定された。
• ∑_{D ∈ H_{2g+1}} L(1/2, χ_D) の誤差項は、任意の ε > 0 に対して O(|D|^{1/4 + \epsilon}) で有界であり、以前の O(|D|^{3/4 + \log_q 2}) の境界を著しく改善した。
• 漸近公式の主要項には、C(1)/ζ(2) を含む定数係数が含まれており、ここで C(s) は既約多項式に関するオイラー積である。加えて、C'(1)/log q を含む補正項が存在する。
• サイズ |D|^{1/3} の第二の主要項は、特定の導手構造を持つ平方自由多項式の寄与から生じており、次数 1 の多項式 R(2g+1) を通じて捉えられた。
• 本手法は平方根のキャンセルを超えて成功裏に拡張され、数体設定で達成可能なものよりも強い誤差境界を可能にした。
• 第一モーメントの結果は、AndradeとKeatingの予想される整数モーメントと整合しており、本稿で計算された第二および第三モーメントも同様の予想と一致している。