概念

局部-整体原理

哈塞原理：某些方程整体有解当且仅当在所有局部域有解，Adele 与 Idele 是统一的语言。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

局部-整体原理代数数论

01定义

哈塞原理：某些方程在

\mathbb{Q}

上有解，当且仅当在

\mathbb{R}

与所有

\mathbb{Q}_p

上有解。「处处局部有解

\Rightarrow

整体有解」对二次型成立（哈塞-闵可夫斯基），对三次曲线失效——失效的度量正是沙法列维奇-泰特群。

局部拼整体：二次型成功，高次现障碍

阿代尔环 $\mathbb{A}_\mathbb{Q}=\mathbb{R}\times\prod_p'\mathbb{Q}_p$ （受限直积）把全部完备化打包成一个局部紧环；二次型的局部-整体原理即阿代尔点存在 $\Rightarrow$ 有理点。

沙法列维奇-泰特群 $\text{Ш}(E/\mathbb{Q})$ 度量椭圆曲线局部有解而整体无解的程度；BSD 猜想预言其有限且阶数可由 L-函数读出。

高维簇的有理点失败可由布劳尔群解释（马宁障碍）；局部-整体原理的现代形态是「障碍的分类学」。

X(\mathbb{Q})\neq\varnothing\ \overset{?}{\Longleftarrow}\ X(\mathbb{R}),\ X(\mathbb{Q}_p)\neq\varnothing\ \forall p

哈塞 1920 年代证二次型的局部-整体原理；塞尔默 1951 年给出首个局部有解而整体无解的三次曲线；格罗滕迪克引入布劳尔群障碍，沙-泰特群成为 BSD 猜想核心。

BSD 猜想的精细形式、有理点的可计算性研究、代数群的分类（内形式理论）、密码学中同源的局部不变量。

Hasse 原则：x² + y² = n 的局部-整体判定拖 n：所有局部（R 与每个 Qp）可解 ⟺ 全局整数可解

n 目标值65