[論文レビュー] Counting $S_5$-fields with a power saving error term

Arul Shankar, Jacob Tsimerman|arXiv (Cornell University)|Oct 8, 2013

Advanced Algebra and Geometry参考文献 6被引用数 3

ひとこと要約

本稿は、数体の幾何学における数え上げ手法を精緻化するために、Selberg $\Lambda^2$-sieve を適用することにより、$S_5$-五次体の数え上げにおける最初の既知のエネルギー節約型誤差項を確立した。判別式が $X$ 未満の $S_5$-五次体の個数は、$d_i \prod_p(1 + p^{-2} - p^{-4} - p^{-5})X + O_\epsilon(X^{399/400 + \epsilon})$ と漸近的に等しくなることが示された。ここで $d_0 = 1/240$、$d_1 = 1/24$、$d_2 = 1/16$ であり、主項を超える非自明な誤差項の節約が達成された。

ABSTRACT

We show how the Selberg $Λ^2$-sieve can be used to obtain power saving error terms in a wide class of counting problems which are tackled using geometry of numbers. Specifically, we give such an error term for the counting function of $S_5$-quintic fields.

研究の動機と目的

• 判別式が有界な $S_5$-五次体の数え上げ関数に対してエネルギー節約型誤差項を確立すること。
• 退化した軌道を伴う数体の幾何学的数え上げ問題への Selberg $\Lambda^2$-sieve の応用を拡張すること。
• 従来の漸近的数え上げを、$\delta > 0$ を満たす $O(X^{a - \delta})$ の形をした非自明な誤差項を取得することで精緻化すること。
• 方法を $S_5$-五次体に適用し、この文脈で初めてエネルギー節約型結果を達成すること。

提案手法

• 退化した $G_\mathbb{Z}$-軌道の個数を制御するために、Selberg $\Lambda^2$-sieve を適用する。
• 固定された $A$ に対して、$m$ に関する合同条件の均一な密度推定を用い、$|L \cap F_0(X)| = \mu(L)cX^a\log^bX + O(X^{a - \delta}m^A)$ を保証する。
• ハイブリッド・スieve戦略を採用：まず素数ごとにスieveを適用して、$\bigcap_p S_p(5)$ および $\bigcap_p S_p(1112)$ を介して退化点を制御し、次に2番目のスieveを用いて、順序から体へ移行する。
• Bhargava の $G_\mathbb{Z}$-軌道上の $V_\mathbb{Z}$ における五次環のパラメトライゼーションを用いる。ここで $V_\mathbb{Z}$ は $5 \times 5$ の交代行列の4つ組からなる。
• 文献[5, 系19] の均一性推定を一般化し、最大順序に対して $N(W_d, X) = O_\epsilon(X/d^{2 - \epsilon})$ を得る。
• 最終的な漸近展開における誤差項をバランスさせるために、スieve パrameter $T = X^{1/400}$ を最適化し、$O_\epsilon(X^{399/400 + \epsilon})$ を得る。

実験結果

リサーチクエスチョン

• RQ1 Selberg $\Lambda^2$-sieve を、数体の幾何学的数え上げ問題に体系的に応用することで、エネルギー節約型誤差項を得ることができるか？
• RQ2 判別式が有界な $S_5$-五次体の数え上げにおいて、達成可能な最良の誤差項は何か？
• RQ3 スieve 法を用いて、退化した $G_\mathbb{Z}$-軌道（$S_5$-体でないもの）をエネルギー節約型誤差項で制御することは可能か？
• RQ4 2番目のスieve を用いて、$S_5$-順序から $S_5$-体への移行をエネルギー節約型誤差項で達成できるか？

主な発見

• 判別式が $X$ 未満で、$i$ 個の虚数共役を持つ $S_5$-五次体の個数は、$d_i \prod_p(1 + p^{-2} - p^{-4} - p^{-5})X + O_\epsilon(X^{399/400 + \epsilon})$ と漸近的に等しくなる。ここで $d_0 = 1/240$、$d_1 = 1/24$、$d_2 = 1/16$ である。
• 誤差項 $O_\epsilon(X^{399/400 + \epsilon})$ は、主項を上回るエネルギー節約型改善を示しており、指数 $399/400 = 1 - 1/400$ を示している。
• 方法は、退化した $S_5$-順序の個数を制御するために Selberg $\Lambda^2$-sieve を適用することで、$N^*(V^{\rm deg,(i)}_\mathbb{Z}, X) \ll_\epsilon X^{199/200 + \epsilon}$ を得ることでエネルギー節約を達成した。
• 最終的な順序から体へのスieveでは、$N(W_d, X) = O_\epsilon(X/d^{2 - \epsilon})$ の均一性が利用され、$T = X^{1/400}$ を用いて誤差項をバランスさせた。
• 証明により、最大 $S_5$-順序の密度が $\prod_p(1 - c_p)$ であることが示され、$c_p = O_\epsilon(p^{-2 + \epsilon})$ である。主項は既知の漸近定数と一致する。
• 本結果は、$S_5$-五次体に対して、初めて知られたエネルギー節約型誤差項であり、低次の零点統計と算術統計における主要な課題を解決した。