[論文レビュー] Hyperelliptic curves, L-polynomials, and random matrices

Kiran S. Kedlaya, Andrew V. Sutherland|DSpace@MIT (Massachusetts Institute of Technology)|Mar 31, 2008

Advanced Algebra and Geometry参考文献 29被引用数 21

ひとこと要約

本稿では、Q 上の種数 g ≤ 3 の超楕円曲線から得られるユニタリ化された L-多項式 Lp(T) の分布を研究し、Katz-Sarnak のランダム行列予想に対する強い実験的支援を得た。L-多項式は USp(2g) 内のランダム行列の特徴多項式と一致する。種数 2 の Sato-Tate 型予想を提示し、22 つの例外的分布を含み、それぞれが USp(4) のコン pact部分群に対応する。また、既知のすべての曲線がこの分類に含まれることを確認した。

ABSTRACT

We analyze the distribution of unitarized L-polynomials Lp(T) (as p varies) obtained from a hyperelliptic curve of genus g <= 3 defined over Q. In the generic case, we find experimental agreement with a predicted correspondence (based on the Katz-Sarnak random matrix model) between the distributions of Lp(T) and of characteristic polynomials of random matrices in the compact Lie group USp(2g). We then formulate an analogue of the Sato-Tate conjecture for curves of genus 2, in which the generic distribution is augmented by 22 exceptional distributions, each corresponding to a compact subgroup of USp(4). In every case, we exhibit a curve closely matching the proposed distribution, and can find no curves unaccounted for by our classification.

研究の動機と目的

• Q 上の種数 g ≤ 3 の超楕円曲線に対するユニタリ化された L-多項式 Lp(T) の分布を調査すること。
• L-多項式の分布を USp(2g) 内のランダム行列の分布と比較することで、Katz-Sarnak のランダム行列予想を検証すること。
• 一般の場合を除く 22 つの例外的分布を特定・分類することで、種数 2 曲線に対する Sato-Tate 予想を拡張すること。
• 観測されたすべての曲線が、USp(4) 内の 22 つの例外的分布の提案された分類に含まれるかどうかを特定すること。

提案手法

• Q 上の種数 g ≤ 3 の超楕円曲線に対して、さまざまな素数 p におけるユニタリ化された L-多項式 Lp(T) を計算すること。
• Lp(T) の分布を、コン pactリー群 USp(2g) からのランダム行列の特徴多項式の分布と比較すること。
• 曲線に関連する mod p ガロア表現のガロア像を分析することで、例外的分布を特定・分類すること。
• USp(4) 内の部分群分類を用い、22 つの異なるコン pact部分群をモデル化し、それぞれが L-多項式の固有の分布に対応することを示すこと。
• 各提案された例外的分布に一致する明示的な曲線を構成し、理論的分類の妥当性を検証すること。
• 広範な数値実験を実施し、観測された L-多項式分布と予測されたランダム行列モデルとの整合性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 種数 g ≤ 3 の超楕円曲線の L-多項式 Lp(T) の分布は、USp(2g) 内のランダム行列の特徴多項式の分布と一致するか？
• RQ2 一般分布に加え 22 つの例外的分布を含む種数 2 の Sato-Tate 予想を定式化できるか？
• RQ3 22 つの例外的分布は USp(4) のコン pact部分群に対応するか？ また、それぞれが明示的な超楕円曲線によって実現可能か？
• RQ4 Q 上の種数 2 の超楕円曲線で、提案された分類外の L-多項式分布を示すものはあるか？
• RQ5 Katz-Sarnak のランダム行列モデルは、超楕円曲線の文脈における L-多項式の振る舞いをどの程度正確に予測できるか？

主な発見

• 種数 g ≤ 3 の超楕円曲線に対するユニタリ化された L-多項式 Lp(T) の分布は、USp(2g) 内のランダム行列から予測される分布と強い実験的整合性を示した。
• 種数 2 の曲線では、一般分布に加え、USp(4) の異なるコン pact部分群に対応する 22 つの例外的分布が存在する。
• 22 つの例外的分布の各々が、少なくとも 1 つの明示的な超楕円曲線によって実現されており、理論的分類の妥当性が確認された。
• Q 上の種数 2 の超楕円曲線で、提案された 23 種類の分布（1 つの一般 + 22 つの例外）の外側にある L-多項式分布を持つものは発見されなかった。
• ランダム行列理論に基づく一般化された Sato-Tate 予想が、種数 2 の超楕円曲線に対して有効であることを支持する結果を得た。
• 本研究では、L-多項式の分布が、一般の USp(2g) モデルと USp(4) 内の 22 個の例外的部分群の和集合によって完全に説明可能であることが確認された。