[論文レビュー] The Large Sieve and Galois Representations

David Zywina|ArXiv.org|Dec 11, 2008

Analytic Number Theory Research参考文献 22被引用数 11

ひとこと要約

本稿は、非アーベル群への大スクリーン法の一般化を行い、アーベル多様体に付随するガロア表現に応用することで、特定の算術的条件を満たす素数の上界を導出する。特に、一般化リーマン予想の下で、文字和推定値を組み合わせることで、スリムな集合、Koblitz予想、および楕円曲線とアーベル多様体におけるLang-Trotter予想に関する定量的結果を確立する。

ABSTRACT

We describe a generalization of the large sieve to situations where the underlying groups are nonabelian, and give several applications to the arithmetic of abelian varieties. In our applications, we sieve the set of primes via the system of representations arising from the Galois action on the torsion points of an abelian variety. The resulting upper bounds require explicit character sum calculations, with stronger results holding if one assumes the Generalized Riemann Hypothesis.

研究の動機と目的

• 古典的大スクリーンを非アーベル群の設定に拡張すること、特にガロア表現の文脈において。
• アーベル多様体の捩れ点から生じる特定の算術的条件を満たす素数の個数を上界づけるための統一的枠組みを提供すること。
• 一般化されたスクリーンを、Koblitz予想やスリムな素数集合といった算術幾何の具体的な問題に応用すること。
• 文字和推定値を用いて明示的な上界を導出し、一般化リーマン予想の下でより強い結果を得ること。
• 将来の、互いに適合するガロア表現を含むスクリーニング理論への応用に向けた実用的ツール（定理3.3）を確立すること。

提案手法

• 双対性の原則と表現論的技法を用いて、非アーベル群に対する一般的大スクリーン不等式を構築する。
• アーベル多様体の捩れ点へのガロア作用から生じる厳密に適合するガロア表現系にスクリーンを適用する。
• 特にシンプレクティック群 $\mathrm{GSp}_{2g}$ および $\mathrm{Sp}_{2g}$ における有限体上の文字和推定値を用いて、スクリーンの誤差項を抑え込む。
• 一般化リーマン予想の下での条件付き文字和推定値を活用し、上界の品質を向上させる。
• Chebotarev型の等分布を用いて、$\mathfrak{S}_n$、$W_{2g}$、および $\mathrm{GSp}_{2g}$ の明示的群論を応用して、フロベニウス共轭類の数え上げに還元する。
• $\mathrm{Sp}_{2g}(\mathbb{F}_q)$ および $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ の共轭類数と群の位数に関する境界を用いて、スクリーンの複雑さを制御する。

実験結果

リサーチクエスチョン

• RQ1 大スクリーン法を非アーベル群の設定にどのように一般化し、算術的数列を研究できるか？
• RQ2 Koblitz予想におけるように、$|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ が素数であるような素数 $\mathfrak{p}$ の個数にどのような上界を確立できるか？
• RQ3 フロベニウストレースが整数のスリムな集合にあるような素数の密度を、大スクリーン法がどの程度制御できるか？
• RQ4 $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 上の文字和推定値は、アーベル多様体の文脈におけるスクリーンの上界の品質にどのように影響するか？
• RQ5 一般化リーマン予想は、大スクリーンから得られる非条件付き上界をどの程度鋭くするか？

主な発見

• 一般化された大スクリーン法により、GRHの下で、$|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ が素数であるような $\mathfrak{p} \in \Sigma_k(x) - S_E$ の素数個数に対して、$O\left(\frac{x}{(\log x)^2}\right)$ の上界が得られる。
• 複素乗法を持たない数体上の楕円曲線に対して、$|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ が素数であるような素数 $\mathfrak{p}$ の個数は、Koblitz予想の下で、$C_{E,k} \frac{x}{(\log x)^2}$ として漸近的に $C_{E,k} > 0$ となる明示的定数で表される。
• $\mathrm{Sp}_{2g}(\mathbb{F}_q)$ および $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ の共轭類の個数は、それぞれ $\kappa_g q^g$ および $\kappa_g q^{g+1}$ で抑えられる。ここで $\kappa_g$ は $g$ のみに依存する定数である。
• $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ のフロベニウス共轭類に対する非条件付き文字和推定値により、スクリーン誤差項は $O\left(\chi(1)|G^\sharp|x \exp(-c_1 [L:\mathbb{Q}]^{-1/2} (\log x)^{1/2})\right)$ のサイズとなる。
• 本手法は、複数のガロア表現からの制約を大スクリーンを用いて統合する体系的な方法を提供し、スリムな集合やLang-Trotter予想への応用を含む。
• 特に $\mathrm{GL}_2(\mathbb{F}_q)$ に対して得られた付録Bの明示的群論的境界により、与えられたトレースと行列式を持つ行列の正確な個数を数えることが可能となり、これはスクリーンの設定において不可欠である。