[论文解读] Quadratic Residues and Non-Residues: Selected Topics

Steve Wright|arXiv (Cornell University)|Aug 1, 2014

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

一句话总结

这篇全面的专著以现代且自包含的方式系统阐述了二次剩余与非剩余，强调其在数论中的基础性作用。它系统地发展了关键工具——勒让德符号、高斯和、类域论及狄利克雷L-函数，并通过初等、代数、分析和伽罗瓦理论等多种方法，提供了二次互反律的多种证明，最终深入应用于密度定理和算术级数中剩余的分布模式。

ABSTRACT

Number theory as a coherent mathematical subject started with the work of Fermat in the decade from 1630 to 1640, but modern number theory, that is, the systematic and mathematically rigorous development of the subject from fundamental properties of the integers, began in 1801 with the appearance of the landmark text of Gauss, Disquisitiones Arithmeticae. A major part of the Disquisitiones deals with quadratic residues and nonresidues. Beginning with these fundamental contributions of Gauss, the study of quadratic residues and nonresidues has subsequently led directly to many of the key ideas and techniques that are used everywhere in number theory today, and the primary goal of these lectures is to use this study as a window through which to view the development of some of those ideas and techniques. In pursuit of that goal, we will employ methods from elementary, analytic, and combinatorial number theory, as well as methods from the theory of algebraic numbers.

研究动机与目标

• 为二次剩余与非剩余提供统一、严谨且易于理解的阐述，作为进入核心数论的入门途径。
• 通过初等、代数、分析和伽罗瓦理论方法，呈现二次互反律的多种证明。
• 探讨二次互反律在具有特定剩余性质的素数密度及算术级数中剩余分布方面的应用。
• 将经典结果与现代工具（如狄利克雷L-函数、数域的zeta函数及类数公式）相联系。
• 通过二次剩余的视角，建立代数数论中的基础结果，包括理想理论与类域论。

提出的方法

• 以勒让德符号和欧拉准则为主要工具，刻画模奇素数的二次剩余。
• 运用高斯引理与高斯和理论，通过多种途径推导并证明二次互反律。
• 应用代数数论，包括戴德金的理想分布定理与二次域的zeta函数，证明更深层次的结果。
• 利用狄利克雷L-函数与解析数论技术，包括傅里叶级数及三角级数的收敛性，研究剩余的分布。
• 引入并应用素数的(B, S)-符号概念，以估算算术级数中二次剩余的和。
• 采用特征标理论方法与有限傅里叶分析，证明互反律及相关密度定理。

实验结果

研究问题

• RQ1 如何通过高斯引理、高斯和、理想理论与伽罗瓦理论证明二次互反律？
• RQ2 对于给定整数，其为二次剩余的素数的渐近密度是多少？
• RQ3 二次剩余在算术级数中如何分布？其行为能否被建模为随机分布？
• RQ4 二次域的类数与整数的二元二次型表示之间有何联系？
• RQ5 二次剩余在多大程度上表现出类似随机的行为？如何通过概率数论加以验证？

主要发现

• 本文提供了七种不同的二次互反律证明，涵盖高斯引理、高斯和、理想理论、伽罗瓦理论及有限傅里叶级数。
• 证明了对于固定整数为二次剩余的素数集合具有明确定义的渐近密度，非平方数的密度为1/2。
• 本文证明了算术级数中二次剩余的分布满足类似中心极限定理的行为，支持其具有随机分布假设。
• 通过特征和与狄利克雷L-函数推导出二次域的类数公式，将解析数论与代数数论相联系。
• 证明了具有给定有限个二次剩余的素数集合的渐近密度为正，且可通过乘法特征标理论计算得出。
• 本文提出了一种高效算法，利用高斯和与二次互反律的性质计算勒让德符号，使实际计算更加迅速。