[论文解读] Hilbert's irreducibility theorem and the larger sieve

David Zywina|arXiv (Cornell University)|Nov 30, 2010

Algebraic Geometry and Number Theory参考文献 30被引用 32

一句话总结

本文通过广义大筛法，发展了希尔伯特不可约性定理的显式定量版本，实现了对多项式族与椭圆曲线中伽罗瓦群行为密度的精确估计。结果表明，在大多数有理函数族的特殊化中，椭圆曲线阿代尔表示的伽罗瓦像尽可能大，且误差界精确依赖于数域和维数。

ABSTRACT

We describe an explicit version of Hilbert's irreducibility theorem using a generalization of Gallagher's larger sieve. We give applications to the Galois theory of random polynomials, and to the images of the adelic representation associated to elliptic curves varying in rational families.

研究动机与目标

• 通过筛法为希尔伯特不可约性定理提供显式的定量界。
• 研究随机次数为 $ n $ 的多项式的伽罗瓦群，确定伽罗瓦群为满群的特殊化之自然密度。
• 分析有理函数域上椭圆曲线族的阿代尔伽罗瓦表示的像，尤其当基域为 $ \mathbb{Q} $ 或一个不同于 $ \mathbb{Q} $ 的数域 $ k $ 时。
• 利用高度与 $ \ell $-进范数，建立伽罗瓦像小于一般像的特殊化密度的误差项。
• 改进经典大筛法，并将其应用于大筛法框架，以实现算术几何中有效密度估计。

提出的方法

• 将盖勒的广义大筛法推广至处理具有显式误差项的多项式族与伽罗瓦表示。
• 将大筛法应用于域 $ k(T) $ 上多项式 $ f(x,T) $ 的分裂域，估计满足 $ G_t \neq G $ 的特殊化 $ t \in k^n $ 的数量。
• 利用 $ k^n $ 上的高度函数 $ H(t) $ 与 $ \|t\| $ 定义自然密度，并度量特殊化集合的大小。
• 采用 $ \ell $-进表示与 $ \operatorname{SL}_2(\mathbb{Z}/\ell\mathbb{Z}) $ 的结构，分析模 $ \ell $ 下伽罗瓦群的像。
• 将问题约化为模 $ m $ 的代数群中的点计数，利用换位子群与有限商群控制像的结构。
• 将大筛法应用于商群 $ G(m)/[\mathcal{H}_E(m), \mathcal{H}_E(m)] $，得到阶为 $ O(B^{[k:\mathbb{Q}](n-1/2)} \log B) $ 的误差项。

实验结果

研究问题

• RQ1 对于 $ k \neq \mathbb{Q} $，满足 $ f(x,t) $ 的伽罗瓦群小于一般伽罗瓦群 $ G $ 的特殊化 $ t \in k^n $ 的自然密度是多少？
• RQ2 对于 $ k(T_1,\dots,T_n) $ 上的椭圆曲线族，阿代尔伽罗瓦表示 $ \rho_{E_t} $ 的像与一般像 $ \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $ 相比如何？
• RQ3 当 $ k = \mathbb{Q} $ 时，$ \rho_{E_t} $ 的像未能达到最大可能时，密度估计的精确误差项是什么？
• RQ4 在希尔伯特不可约性定理的背景下，大筛法如何改进经典大筛法的估计？
• RQ5 在何种条件下，对几乎所有 $ t \in k^n $，$ \rho_{E_t} $ 的像会稳定为完整的像 $ \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $？

主要发现

• 当 $ k \neq \mathbb{Q} $ 时，对自然密度为 1 的特殊化 $ t \in k^n $，有 $ \rho_{E_t} $ 的像等于 $ \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $，误差项为 $ O(B^{-[k:\mathbb{Q}]/2} \log B) $。
• 当 $ k = \mathbb{Q} $ 时，对几乎所有 $ t $，有 $ \rho_{E_t}(\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})) $ 是 $ \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $ 的子群，其指数为 $ r $，其中 $ r $ 是依赖于 $ E $ 的正整数。
• 满足 $ \|t\| \leq B $ 且 $ G_t \neq G $ 的特殊化 $ t \in \mathcal{O}_k^n $ 的数量被控制为 $ \ll_{n,f,k} B^{[k:\mathbb{Q}](n-1/2)} \log B $，优于经典大筛法的界。
• 对于 $ G_t \subseteq C $ 的特殊化数量，其中 $ C \subset G $ 是一个真共轭不变子集，同样被控制为 $ \ll_{n,f,k} B^{[k:\mathbb{Q}](n-1/2)} \log B $。
• 当 $ \ell \geq 5 $ 时，对 $ U(k) $ 中自然密度为 1 的 $ u $，有 $ \ell $-进像 $ \rho_{E_{u},\ell}(\operatorname{Gal}(\overline{k}/k)) $ 包含 $ \operatorname{SL}_2(\mathbb{Z}/\ell\mathbb{Z}) $，误差为 $ O(B^{-[k:\mathbb{Q}]/2 + \varepsilon}) $。
• 当 $ \rho_{E_u}(\operatorname{Gal}(\overline{k}/k^\text{cyc}})) $ 的像未能达到完整群 $ G = \mathcal{H}_E \cap \operatorname{SL}_2(\widehat{\mathbb{Z}}) $ 的特殊化密度为 $ O(\log B / B^{1/2}) $，证明了对几乎所有 $ u $，其像为完整群。