[論文レビュー] Malle's Conjecture for $G imes A$, with $G = S_3, S_4, S_5$

Riad Masri, Frank Thorne+2 more|arXiv (Cornell University)|Apr 9, 2020

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

ひとこと要約

この論文は、$G = S_3, S_4, S_5$ および任意の有限アーベル群 $A$ に対して、ガロア群 $G \times A$ の場合にマーレの予想を証明し、有界判別式を持つこのような数体の漸近的個数を確立する。著者らは、$A$ を割り切る素数に制限を設けないよう前人研究を拡張し、精緻な平均化法と一様性推定を用いて、予測されたべき乗則的増加 $N(X, G \times A) \sim c(G \times A) X^{1/|A|}$ を確認する。$b(G \times A) = 1$ のため対数因子が存在しない。これは算術統計における重要なケースを解決し、$S_d$-ユニタリ CM 領域におけるコルメツ予想を支持する。

ABSTRACT

We prove Malle's conjecture for $G imes A$, with $G=S_3, S_4, S_5$ and $A$ an abelian group. This builds upon work of the fourth author, who proved this result with restrictions on the primes dividing $A$.

研究の動機と目的

• ガロア群 $G \times A$ に対してマーレの予想を証明すること。ここで $G = S_3, S_4, S_5$ であり、$A$ は任意の有限アーベル群である。
• $A$ を割り切る素数に制限を設けていた先行研究を拡張し、改善された解析的技法によりこの制限を除去すること。
• 有界判別式を持つ $G \times A$-拡大体の数について、正確な漸近公式を確立すること。
• これらの体の分布が算術幾何におけるコルメツ予想、特に $S_d$-ユニタリ CM 領域に関連する方法を接続すること。
• 他の場合、例えば $A_d$- や $\mathrm{PSL}_2(\mathbb{F}_q)$-ユニタリ CM 領域についての予想的漸近公式のための枠組みを提供すること。

提案手法

• $S_d$-拡大体と $A$-拡大体の間で、合成構成を用いて、精緻な平均化法を適用する。
• 計数関数の誤差項を制御するため、$L$-関数のモーメントに関する一様性仮説 (1.2.B) を適用する。
• 判別式の範囲を $Y$ でインデックス化した二分法的分解を用い、大判別式を持つ体の和を切り詰める。
• 誤差項 $\ll Y^{\beta + \varepsilon}$ の指数 $\beta < 0$ を示すことにより、指数的減衰を確立する。
• 列 $C_Y = \lim_{X \to \infty} N_Y(X, S_d \times A)/X^{1/|A|}$ の単調性と有界性を用いて、主要項の収束を証明する。
• キーホール輪郭法とモーメント推定を用いて、大ランクまたは大判別式を持つ体の寄与を制御する。

実験結果

リサーチクエスチョン

• RQ1 マーレの予想は、$G = S_3, S_4, S_5$ および任意の有限アーベル群 $A$ に対して、$A$ を割り切る素数に制限を設けない $G \times A$-拡大体について成り立つか？
• RQ2 有界判別式を持つ $S_d \times A$-数体の漸近的個数は、マーレの予想が予測するように、正確なべき乗則的増加 $X^{1/|A|}$ を示せるか？
• RQ3 漸近公式における定数 $c(G \times A)$ の役割は何か？また、ガロア群の構造と分裂条件とどのように関係するか？
• RQ4 $S_d$-ユニタリ CM 領域の分布はコルメツ予想とどのように関連するか？また、その漸近的密度は計算可能か？
• RQ5 本研究で用いられた手法は、$A_d$ や $\mathrm{PSL}_2(\mathbb{F}_q)$ などの他の群に一般化可能か？そのユニタリ CM 領域の漸近的個数を予測できるか？

主な発見

• マーレの予想は、$G = S_3, S_4, S_5$ および任意の有限アーベル群 $A$ に対して $G \times A$ の場合に証明され、$A$ を割り切る素数に制限を設ける前向きな制限が撤廃された。
• 漸近公式 $N(X, S_d \times A) \sim c(S_d \times A) X^{1/|A|}$ は $X \to \infty$ のとき成り立ち、$b(S_d \times A) = 1$ のため対数因子が存在しない。
• 定数 $c(S_d \times A)$ は正かつ有限であり、予測された密度を持つ無限個のこのような体が存在することを確認する。
• 結果は、任意の有限個の分裂条件集合を持つ体の数え上げにも拡張可能であり、漸近的べき乗則を保持する。
• 誤差が $Y^{\beta + \varepsilon}$ と $\beta < 0$ で減衰することを確認し、$N_Y(X, S_d \times A)$ の切り詰め和と $N(X, S_d \times A)$ の完全な個数との間の誤差が収束することを裏付ける。
• この枠組みは、$S_d$-ユニタリ CM 領域の予想的漸近公式を支持し、$N_{2d}^\textrm{unitary}(X, S_d \times C_2) \sim c'(S_d \times C_2) X^{1/2}$ が $X \to \infty$ のとき成り立つことを示唆する。