局部-整体原则

局部-整体原则探讨一个方程如果在实数域和所有p-adic域上都有解，那么它是否一定在有理数域上也有解；对于二次型，答案是肯定的，这体现了局部化的强大力量。

Definition

局部-整体原则是一种启发式方法，认为一个Diophantine问题在一个全局域上存在解，当且仅当它在该域的所有完备化上都存在解；Hasse-Minkowski定理证实了它对有理数域上的二次型成立。

Scope

本主题涵盖了有理数的“位”（实数位和每个素数对应的p-adic位）概念，汇集所有完备化的adelic环，可解性的Hasse原则，二次型遵循该原则的Hasse-Minkowski定理，支持性的乘积公式和Hilbert互反律，以及该原则在高次形式和某些三次曲线上的著名失效案例，这些失效案例促成了Brauer-Manin障碍的研究。

Core questions

• 有理数的位和完备化是什么？adeles如何同时编码它们？
• 为什么二次型满足Hasse原则？乘积公式和Hilbert互反律如何使其成立？
• 局部化如何将一个全局可解性问题简化为检查每个完备化？
• 该原则何时失效？哪些障碍可以解释这些失效？

Key theories

Hasse-Minkowski定理

有理数域上的二次型非平凡地表示零，当且仅当它在实数域和所有p-adic域上都非平凡地表示零，这是局部-整体原则的典范性成功。

乘积公式和Hilbert互反律

一对有理数在所有位上的局部Hilbert符号的乘积为一；这个乘积公式，等价于二次互反律，是Hasse-Minkowski证明的动力。

失效与adelic观点

该原则可能对三次及更高次形式以及亏格为一的曲线失效；adelic框架和Brauer-Manin障碍解释并量化了这些失效。

Clinical relevance

局部-整体方法通过将许多Diophantine问题简化为有限的局部检查，使其变得可判定，而adelic框架则支撑着自守形式和L函数的分析理论，这些理论为Langlands纲领和计算数论提供了基础。

History

Minkowski在19世纪90年代对有理二次型进行了分类，Hasse在20世纪20年代利用p-adic数重新阐述并扩展了该理论，并提出了局部-整体原则。Chevalley的adeles和ideles以及Tate在1950年的论文将该原则置于一个强大的基于adeles的调和分析框架内。

Key figures

• Helmut Hasse
• Hermann Minkowski
• Claude Chevalley
• John Tate

Seminal works

• serre1973

Frequently asked questions

局部-整体原则总是成立吗？

不。它对二次型成立（Hasse-Minkowski定理），但可能对高次方程和某些曲线失效；这些失效通过Brauer-Manin障碍等进行研究。

有理数的“位”是什么？

“位”是绝对值的等价类：有理数有一个给出实数的阿基米德位，以及每个素数对应一个给出p-adic域的非阿基米德位。