[論文レビュー] The distribution of the number of points on trigonal curves over $\F_q$

Melanie Matchett Wood|arXiv (Cornell University)|Aug 11, 2011

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

ひとこと要約

本稿は、 genus $g \to \infty$ のとき、$ℚ_q$ 上のランダムな3次曲線における $ℚ_q$-有理点の数の極限分布を特定し、期待値が $q+2 - \frac{1}{q^2+q+1}$ に達することを示している。これは $q+1$ を超えており、多くの他の曲線族とは対照的である。手法としては、関数体の立方拡大を用い、Datskovsky-Wrightの数え上げ技法を適応し、$\mathbb{P}^1$ の $ℚ_q$-有理点ごとのファイバーごとの独立性を用いている。

ABSTRACT

We give a short determination of the distribution of the number of $\F_q$-rational points on a random trigonal curve over $\F_q$, in the limit as the genus of the curve goes to infinity. In particular, the expected number of points is $q+2-\frac{1}{q^2+q+1}$, contrasting with recent analogous results for cyclic $p$-fold covers of $\mathbb P^1$ and plane curves which have an expected number of points of $q+1$ (by work of Kurlberg, Rudnick, Bucur, David, Feigon and Lalín) and curves which are complete intersections which have an expected number of points $

研究の動機と目的

• ランダムな3次曲線の genus $g \to \infty$ のとき、$\mathbb{F}_q$ 上の $\mathbb{F}_q$-有理点の数の極限分布を特定すること。
• このような曲線の期待有理点数が $q+1$ を超える理由を、巡回 $p$-重被覆や完全交差など他の曲線族と対比して説明すること。
• 関数体のBhargavaのヒューリスティクスの類似を用いて、全 $S_n$ モノドロミーを有する $n$-有理曲線への一般化を行うこと。
• エタール代数の局所密度に基づいて、全対称モノドロミーを有する $n$-有理曲線の期待有理点数についての予想的枠組みを提示すること。

提案手法

• 3次曲線を $\mathbb{F}_q$ 上の関数体の立方拡大に結びつける。これは $\mathbb{P}^1$ への3次被覆と立方拡大の間の対応を用いる。
• 立方拡大の数え上げに Datskovsky-Wright 法を適用し、$\mathbb{P}^1$ の各 $\mathbb{F}_q$-有理点における指定されたファイバー行動を持つ曲線を数える。
• $\mathbb{P}^1(\mathbb{F}_q)$ の各 $\mathbb{F}_q$-有理点におけるファイバーの有理点数の極限確率分布を計算し、点ごとに独立であることを示す。
• $\mathbb{P}^1(\mathbb{F}_q)$ の $q+1$ 個の点における期待ファイバーサイズの和として、期待有理点数を $q+2 - \frac{1}{q^2+q+1}$ として導出する。
• $\mathbb{P}^1$ の代わりに $\mathbb{F}_q$ 上の任意の滑らかな曲線 $E$ を用いることで、この手法を拡張し、期待有理点数を $\#E(\mathbb{F}_q)\left(1 + \frac{q}{q^2+q+1}\right)$ として計算する。
• 関数体のBhargavaのヒューリスティクスの類似を用いて、全 $S_n$ モノドロミーを有する $n$-有理曲線の期待ファイバーサイズを、共轭類統計と $k_v$-代数の局所密度に基づき予想する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな3次曲線の genus が $\infty$ に近づくとき、$\mathbb{F}_q$-有理点の数の極限分布は何か？
• RQ2 なぜ3次曲線の期待有理点数は $q+1$ を超えるのか？これは多くの他の曲線族とは対照的である。
• RQ3 関数体のBhargavaのヒューリスティクスの類似を用いて、全 $S_n$ モノドロミーを有する $n$-有理曲線の有理点の分布を予測できるか？
• RQ4 固定された $\mathbb{F}_q$-有理点における、ランダムな $n$-有理曲線のファイバー内の $\mathbb{F}_q$-有理点の期待数は何か？
• RQ5 基底曲線の $\mathbb{F}_q$-有理点におけるファイバーの局所的挙動が、$n$-有理曲線全体の有理点数にどのように寄与するか？

主な発見

• $\mathbb{F}_q$-有理点の数の極限分布は、$q+1$ 個の i.i.d. ランダム変数 $X_i$ の和であり、それぞれが値 $\{0,1,2,3\}$ を確率 $\frac{2q^2}{6q^2+6q+6}$, $\frac{3q^2+6}{6q^2+6q+6}$, $\frac{6q}{6q^2+6q+6}$, $\frac{q^2}{6q^2+6q+6}$ でとる。
• ランダムな3次曲線の $\mathbb{F}_q$-有理点の期待数は $q+2 - \frac{1}{q^2+q+1}$ であり、これは $q+1$ よりも厳密に大きい。
• $\mathbb{P}^1(\mathbb{F}_q)$ の $q+1$ 個の点におけるファイバーサイズは漸近的に独立であり、有理点数の分布は、ファイバーサイズ分布の $q+1$ 個の i.i.d. コピーより成る。
• $\mathbb{F}_q$ 上の滑らかな曲線 $E$ に対して、ランダムな $E$ 上の3次被覆の $\mathbb{F}_q$-有理点の期待数は $\#E(\mathbb{F}_q)\left(1 + \frac{q}{q^2+q+1}\right)$ である。
• 全 $S_n$ モノドロミーを有する $n$-有理曲線に対する予想では、基底曲線の各 $\mathbb{F}_q$-有理点における期待ファイバーサイズは $1 + \frac{1}{q} + O\left(\frac{1}{q^2}\right)$ であり、$k_v$-代数の局所密度から導出される。
• $n=4$ の場合、期待ファイバーサイズは $1 + \frac{q^2+q}{q^3+q^2+2q+1}$ であり、$n=5$ の場合、$1 + \frac{q^3+2q^2+2q}{q^4+q^3+2q^2+2q+1}$ である。これは $S_n$ 内の分割統計と共轭類重みに基づく。