x_p
的离散几何性质与模
p
的特征标、p
进伽罗瓦表示等经典算术对象之间的深刻联系。她证明了几个关键的“对应定理”,表明在
x_p
的离散复结构下,算术的“对称性”(伽罗瓦群作用)可以用几何的“离散全纯自同构”来刻画。
二人携手,历时两日。他们几乎是在现场,为这门名为“离散解析数论”的新兴学科,奠定了严格的数学基础。每一步定义都经过激烈而高效的讨论(德利涅
和志村
不时从台下提出关键意见),每一个定理的证明都力求清晰严谨。与会者们仿佛目睹了一座宏伟建筑的钢结构,在眼前以惊人的速度焊接、铆合、拔地而起。一门全新的、强大的数学分支,不再只是构想,而是在众目睽睽之下,获得了坚实的合法性。
第四日:神说,卡塔兰方程要有其几何化身,于是便有了p进离散模型的图论亏格。
第四日,全体核心成员再次齐聚台上。目标明确:将卡塔兰猜想这个具体的算术问题,“翻译”成新范式的语言。
在格罗腾迪克
的总体指引和德利涅
的精确把控下,他们开始了一场精妙的“联合推演”。陈景润
和丘成桐
负责将卡塔兰方程
x^a
-
y^b
=
1
的解,与一系列素数
p
的几何对象
x_p