[论文解读] Applications of the Sato-Tate conjecture

Ayla Gafni, Jesse Thorner+1 more|arXiv (Cornell University)|Mar 19, 2020

Advanced Algebra and Geometry参考文献 7被引用 5

一句话总结

本文利用 GL₂ 上非 CM 平方自由水平的全纯尖形式的有效 Sato-Tate 一致性猜想，对 Atkin-Serre 猜想实现无条件推进，并分析傅里叶系数中极值素数的分布。通过应用来自 Sato-Tate 等分布的有效误差界，作者建立了傅里叶系数达到最大绝对值的素数在频率与密度上的定量结果。

ABSTRACT

We use the effective version of the Sato-Tate conjecture for non-CM holomorphic cupsidal newforms $f$ of squarefree level on $\mathrm{GL}_2$ proved by the second author to make some unconditional progress toward the Atkin-Serre conjecture and study the distribution of extremal primes for the Fourier coefficients of $f$.

研究动机与目标

• 利用 GL₂ 上非 CM 平方自由水平全 holomorphic 尖形式的有效 Sato-Tate 分布，对 Atkin-Serre 猜想实现无条件推进。
• 研究非 CM 尖形式中极值素数——即傅里叶系数达到最大绝对值的素数——的分布。
• 利用平方自由水平形式的有效 Sato-Tate 猜想版本，推导出定量结果。
• 在 GL₂ 模形式的背景下，建立极值素数密度与频率的界。
• 在不依赖广义黎曼假设等标准猜想假设的前提下，提供明确的无条件结果。

提出的方法

• 利用 GL₂ 上非 CM 全纯尖形式在平方自由水平下的有效 Sato-Tate 猜想。
• 应用来自 Sato-Tate 等分布的有效误差估计，以控制傅里叶系数的分布。
• 将 Sato-Tate 测度界转化为对极值素数的算术约束。
• 结合谱理论与自守 L-函数，推导出系数大小的有效界。
• 利用平方自由水平条件简化伽罗瓦表示，确保有效等分布。
• 通过有效 Sato-Tate 框架，建立在给定界限内极值素数数量的定量上界。

实验结果

研究问题

• RQ1 对于平方自由水平的非 CM 尖形式，其傅里叶系数的极值素数的密度是多少？
• RQ2 如何利用有效 Sato-Tate 猜想实现对 Atkin-Serre 猜想的无条件推进？
• RQ3 傅里叶系数达到最大绝对值的素数数量的定量界是什么？
• RQ4 平方自由水平条件在系数分布的有效分析中起到多大作用？
• RQ5 是否仅通过有效 Sato-Tate 结果即可证明极值素数稀疏，而无需额外猜想？

主要发现

• 本文建立了非 CM 尖形式在平方自由水平下极值素数数量的无条件上界。
• 提供了 Sato-Tate 等分布的定量有效版本，使傅里叶系数分布得以明确控制。
• 作者推导出极值素数的非平凡密度界，表明其在所有素数中的分布是稀疏的。
• 该方法在 Sato-Tate 等分布中产生了明确的误差项，足以推导出算术结论，而无需假设广义黎曼假设。
• 对于所考虑形式类，Atkin-Serre 猜想在无条件前提下得到推进，特别是在控制傅里叶系数在素数处的大小方面。
• 结果表明，在有效 Sato-Tate 框架下，当 |a_p(f)| 达到最大值时，极值素数的密度为零。