北大谢俊逸袁新意合作论文登数学四大顶刊！合力破解50年猜想 ...

集群智慧张老师

北大谢俊逸、袁新意合作论文，被数学四大顶刊接收！
; H- e* g  t: Q2 W$ @4 W$ G% R还是四大顶刊中年发文量最少的《Acta Mathematica》。


这篇论文题为”Partial HEIghts, Entire Curves, and the Geometric Bombieri–Lang Conjecture”（部分高度、整曲线与几何Bombieri–Lang猜想），核心成果是：
在特征0的函数域上，证明了具有到阿贝尔簇有限态射的代数双曲射影簇的几何Bombieri–Lang猜想。
论文同时引入了“部分高度”这一全新的解析工具，并提出了“非退化猜想”，为后续研究提供了系统性的框架。
论文早在2023年5月便上传至预印本平台arXiv，历经近3年的审稿后终获正式接收。这也是袁新意第5篇被数学四大刊接收的文章、回国后的第3篇，同时也是谢俊逸回国后被四大刊接收的第3篇。

& }! ^$ q& _, ~1 y9 e
两位作者目前均任职于北京大学北京国际数学研究中心。
+ h. f! R7 c; ~: U5 m从Mordell猜想到Bombieri–Lang猜想：半个多世纪的推进
) ^% j7 ~  t2 N* x/ ^2 @3 O5 P# D理解这篇论文的研究背景，还要回溯丢番图几何领域半个多世纪的发展脉络。
2 c% s6 O$ O" x( s: R- k1983年，Faltings证明了Mordell猜想，亏格大于1的代数曲线上只有有限多个有理点。
Bombieri–Lang猜想则是Mordell猜想向高维的推广：它断言满足特定双曲性条件的高维射影簇上，有理点仍然只有有限多个；如果将双曲性条件放宽为“一般型”，则猜想断言有理点的集合不会Zariski稠密。

% q" F6 y& X/ F5 l, Q
! ]5 V2 [( W; j" n9 \: L在数域上，除了Faltings证明的Mordell猜想本身以及阿贝尔簇子簇的情形之外，Bombieri–Lang猜想目前大部分仍悬而未决。
: W- o: z4 A/ O' ~" E% t  F) s在函数域上，Bombieri–Lang猜想有一个对应的“几何版本”。这一版本此前已在若干情形中被证明：
对于曲线在特征0下完成证明，Samuel（1966年）处理了正特征的情形；对于阿贝尔簇的子簇，由Raynaud（1983年）和Buium（1992年）在特征0下给出证明，Hrushovski（1996年）将结果推广到所有特征；对于余切丛丰沛的光滑射影簇，由Noguchi（1981年）和Martin-Deschamps（1984年）先后完成。
那么，谢俊逸和袁新意的这篇论文做出了哪些新的突破？
他们为双曲簇情形的几何Bombieri–Lang猜想引入了一套全新的方法，证明了对于特征0的函数域上具有到阿贝尔簇有限态射的代数双曲射影簇，猜想成立。
9 Y& ~8 T/ l4 t8 n; h# V# o这一结果涵盖了此前Raynaud和Buium等人关于阿贝尔簇子簇的经典结果，且证明方法与已有工作完全不同。
论文的核心在于引入了“部分高度”这一新的解析概念。
在经典框架中，Weil高度函数通过在整条基曲线上积分来衡量代数点的”高度”；而部分高度则将积分区域缩小到曲线上的一个开圆盘，从而获得对高度的一种局部度量。
论文提出的“非退化猜想”断言：如果一个有理点序列的Weil高度趋于无穷，那么其部分高度也趋于无穷——两种高度实际上可以相互控制。
( i3 h8 g7 q- S
/ {3 a( N8 d3 h0 H9 K7 M# y
! L0 \2 q* g8 n& P0 R0 g3 _证明的整体策略是反证法：
假设一个双曲簇上存在高度无界的有理点序列，由非退化猜想可知部分高度也无界；
9 T8 I; g- G/ t) ?, V/ _进而利用复几何中经典的Brody引理，从这些截面的限制中构造出纤维上的一条整曲线，即从复平面到簇的非常值全纯映射；
1 S9 ?' n# J& E, T3 K. W7 Z4 h. [3 c然而双曲性假设恰好排除了整曲线的存在，由此产生矛盾。
' a1 c( e0 V% B  l; A6 \在本文基础上，谢俊逸和袁新意还上传了另一篇后续论文，将结果从双曲簇推广到更一般的分歧覆盖情形。据了解，已有学者在两人成果的基础上证明了更广泛情形的几何Bombieri–Lang猜想。
* r0 N5 [( W- W6 v

& _$ v1 x7 y0 `两位作者的学术轨迹
袁新意，祖籍湖北麻城，2000年参加国际数学奥林匹克竞赛获得金牌，之后进入北大数学系。
' F( s( Q5 `% j& u9 ^7 r3 U. z他与刘若川、恽之玮、宋诗畅、肖梁、许晨阳等人同为北大数学”黄金一代”，又与张伟、恽之玮、朱歆文并称”数学界四小天鹅”。
2004年袁新意赴哥伦比亚大学深造，师从华人数学家张寿武，2008年获博士学位。同年他成为首位获得美国克雷研究所研究奖的华人。
此后他先后在克雷数学研究所做博士后，担任哥伦比亚大学Ritt助理教授、普林斯顿大学助理教授和加州大学伯克利分校助理教授。2020年，袁新意回到母校北京大学，任北京国际数学研究中心教授至今。
, p5 w0 {5 w/ c5 U; B9 j袁新意的研究集中在Arakelov几何、代数动力学、丢番图几何、志村簇以及L函数的特殊值等领域。他的独作成果正式发表在另一数学四大顶刊《Annals of Mathematics》上；随后他在第十届世界华人数学家大会上获颁ICCM数学奖金奖。算上本篇论文，袁新意已有5篇文章被数学四大刊接收，其中3篇是回国之后的工作。
- p/ E4 H/ a; [

! \& Q( c/ e/ M7 S2 @  @, O3 w3 s谢俊逸来自广西，从广西师大附属外语学校考入中国科学技术大学，后通过巴黎高等师范学院国际招生项目赴法深造。
& m. a2 a& K4 \) ^% Z5 X  {他先后在巴黎高等师范学院、巴黎第七大学和巴黎综合理工大学学习，2014年获博士学位，博士论文获新世界数学奖博士论文金奖。2016年他在法国国家科研中心（CNRS，雷恩第一大学）取得终身职位。2021年，谢俊逸辞去法国终身教职，加入北京大学，任北京国际数学研究中心教授至今。
! X2 ~: V% ?* {, {谢俊逸的研究兴趣是算术动力系统及相关的丢番图几何、代数几何和复动力系统。谢俊逸与袁新意的合作由来已久：回国第二年，两人合作证明几何Bogomolov猜想的论文便发表在四大顶刊之一的《Inventiones Mathematicae》上；
5 c, U4 R8 u4 a# C2 A% d
0 V. ]2 [; @* g+ H5 e  L
两人都将在今年的国际数学家大会（ICM）上分别作45分钟报告。Bombieri–Lang猜想作为算术几何领域的核心猜想之一，仍有大量开放情形等待解决，数域上的Bombieri–Lang猜想至今几乎没有一般性的结果。
2 `1 K3 T, I# M$ X8 e8 r论文地址：
https://arxiv.org/abs/2305.14789
参考链接：
; r0 A/ m4 Q: D" s. q' H[1]https://intlpress.com/journals/journalList?p=4&id=1804409921462136833
: d# e! A( a4 k' F1 X0 }' n4 [[2]https://mordell.org
文章来源:量子位。