找回密码
 立即注册
查看: 700|回复: 0

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

[复制链接]

4072

主题

535

回帖

1万

积分

论坛元老

积分
13076
发表于 2026-2-17 17:19:31 | 显示全部楼层 |阅读模式
北大谢俊逸、袁新意合作论文,被数学四大顶刊接收!
2 f' H- ], ~! J: {8 g还是四大顶刊中年发文量最少的《Acta Mathematica》
9 L2 H% e+ T5 t/ u2 i( x; V. [ jfltvFfpfS4KpFp7.jpg
! g. S; o$ h7 l. n# R4 [1 \4 D- y- c5 s6 J1 z8 U3 a$ `1 y
这篇论文题为”Partial HEIghts, Entire Curves, and the Geometric Bombieri–Lang Conjecture”(部分高度、整曲线与几何Bombieri–Lang猜想),核心成果是:
9 I! n2 @. Q+ Z& [. |在特征0的函数域上,证明了具有到阿贝尔簇有限态射的代数双曲射影簇的几何Bombieri–Lang猜想。  F% Z; c: P! Z2 X! m. d4 B6 N
论文同时引入了“部分高度”这一全新的解析工具,并提出了“非退化猜想”,为后续研究提供了系统性的框架。0 L$ ]: D1 @6 Q# `  C9 R$ ^( v
论文早在2023年5月便上传至预印本平台arXiv,历经近3年的审稿后终获正式接收。这也是袁新意第5篇被数学四大刊接收的文章、回国后的第3篇,同时也是谢俊逸回国后被四大刊接收的第3篇。4 H2 x  ^+ M2 y) Q" [9 ~: O
o4T2iQgIq94bzRoO.jpg
% n1 Z5 e  X3 Y* u8 G2 Q4 Q9 r. c; Z' x0 W7 I
两位作者目前均任职于北京大学北京国际数学研究中心。
: E  C  s$ g  t3 j从Mordell猜想到Bombieri–Lang猜想:半个多世纪的推进
( H# m) a, {/ M) z理解这篇论文的研究背景,还要回溯丢番图几何领域半个多世纪的发展脉络。
  e3 V. I: @4 ]: R# g1983年,Faltings证明了Mordell猜想,亏格大于1的代数曲线上只有有限多个有理点。
; v) w1 J. H. PBombieri–Lang猜想则是Mordell猜想向高维的推广:它断言满足特定双曲性条件的高维射影簇上,有理点仍然只有有限多个;如果将双曲性条件放宽为“一般型”,则猜想断言有理点的集合不会Zariski稠密。
; z" E* Z1 ]& l PXpJiXmCPkFqp9nI.jpg
5 k# x( L# h5 P. K- c. L+ m; B
5 B: i& E9 d2 Q' L1 |$ n8 x0 R3 Z在数域上,除了Faltings证明的Mordell猜想本身以及阿贝尔簇子簇的情形之外,Bombieri–Lang猜想目前大部分仍悬而未决。
8 {- e8 f3 z% m1 i, t在函数域上,Bombieri–Lang猜想有一个对应的“几何版本”。这一版本此前已在若干情形中被证明:  c. |+ N4 r$ M, E$ u
对于曲线在特征0下完成证明,Samuel(1966年)处理了正特征的情形;对于阿贝尔簇的子簇,由Raynaud(1983年)和Buium(1992年)在特征0下给出证明,Hrushovski(1996年)将结果推广到所有特征;对于余切丛丰沛的光滑射影簇,由Noguchi(1981年)和Martin-Deschamps(1984年)先后完成。
' z9 G" i0 [( K/ M! h, o. M. X那么,谢俊逸和袁新意的这篇论文做出了哪些新的突破?8 {3 a9 m- L. r) C
他们为双曲簇情形的几何Bombieri–Lang猜想引入了一套全新的方法,证明了对于特征0的函数域上具有到阿贝尔簇有限态射的代数双曲射影簇,猜想成立。
. a' J) [- [' Y这一结果涵盖了此前Raynaud和Buium等人关于阿贝尔簇子簇的经典结果,且证明方法与已有工作完全不同。/ I2 X  T( _/ R: r3 B2 F' h7 \! T
论文的核心在于引入了“部分高度”这一新的解析概念。6 h8 E7 j1 U1 U% u* U
在经典框架中,Weil高度函数通过在整条基曲线上积分来衡量代数点的”高度”;而部分高度则将积分区域缩小到曲线上的一个开圆盘,从而获得对高度的一种局部度量。  C7 B& H$ P5 O4 T" b  n
论文提出的“非退化猜想”断言:如果一个有理点序列的Weil高度趋于无穷,那么其部分高度也趋于无穷——两种高度实际上可以相互控制。
( G- T5 Z; [5 ] hMeB5CgzyCEeYfge.jpg 3 s. x+ Y2 L" Q
. G* q( U6 t" E) @
证明的整体策略是反证法:1 A, ]) k9 z7 A. X( S  J/ j
假设一个双曲簇上存在高度无界的有理点序列,由非退化猜想可知部分高度也无界;! Z$ ^3 P6 a' o$ p1 K
进而利用复几何中经典的Brody引理,从这些截面的限制中构造出纤维上的一条整曲线,即从复平面到簇的非常值全纯映射;0 M8 z7 f9 j, v: o- f* q6 D' C
然而双曲性假设恰好排除了整曲线的存在,由此产生矛盾。, F/ B& C+ `7 V  }/ s1 w, D6 m
在本文基础上,谢俊逸和袁新意还上传了另一篇后续论文,将结果从双曲簇推广到更一般的分歧覆盖情形。据了解,已有学者在两人成果的基础上证明了更广泛情形的几何Bombieri–Lang猜想。! ^, c( w4 L3 p" x3 m0 y% Y
EGi2G4Uk2u8ODG42.jpg & u+ a9 p0 T" n: H; E' t5 @
  Y7 R* S# P* R0 w& @" p" x4 @+ u
两位作者的学术轨迹
& W, o+ R& o/ Y( R袁新意,祖籍湖北麻城,2000年参加国际数学奥林匹克竞赛获得金牌,之后进入北大数学系。
9 y9 S7 B; h7 Y他与刘若川、恽之玮、宋诗畅、肖梁、许晨阳等人同为北大数学”黄金一代”,又与张伟、恽之玮、朱歆文并称”数学界四小天鹅”。
0 t: a2 D& o) L8 |2004年袁新意赴哥伦比亚大学深造,师从华人数学家张寿武,2008年获博士学位。同年他成为首位获得美国克雷研究所研究奖的华人。
" K/ I- J9 `. r0 S此后他先后在克雷数学研究所做博士后,担任哥伦比亚大学Ritt助理教授、普林斯顿大学助理教授和加州大学伯克利分校助理教授。2020年,袁新意回到母校北京大学,任北京国际数学研究中心教授至今。
# H7 d" X, K9 E" A袁新意的研究集中在Arakelov几何、代数动力学、丢番图几何、志村簇以及L函数的特殊值等领域。他的独作成果正式发表在另一数学四大顶刊《Annals of Mathematics》上;随后他在第十届世界华人数学家大会上获颁ICCM数学奖金奖。算上本篇论文,袁新意已有5篇文章被数学四大刊接收,其中3篇是回国之后的工作。- r8 H7 ^/ ]& y
R3z60CGGKXHXt0K3.jpg
# }( G4 u' C+ W( u: y6 o% L
& h/ C( Y6 @, G/ \' t& S谢俊逸来自广西,从广西师大附属外语学校考入中国科学技术大学,后通过巴黎高等师范学院国际招生项目赴法深造。
$ S$ L5 `5 \, \* \. K1 f; j/ W他先后在巴黎高等师范学院、巴黎第七大学和巴黎综合理工大学学习,2014年获博士学位,博士论文获新世界数学奖博士论文金奖。2016年他在法国国家科研中心(CNRS,雷恩第一大学)取得终身职位。2021年,谢俊逸辞去法国终身教职,加入北京大学,任北京国际数学研究中心教授至今。& d$ Y% ?5 Q" T- l
谢俊逸的研究兴趣是算术动力系统及相关的丢番图几何、代数几何和复动力系统。谢俊逸与袁新意的合作由来已久:回国第二年,两人合作证明几何Bogomolov猜想的论文便发表在四大顶刊之一的《Inventiones Mathematicae》上;
* ^9 F$ w; I! r0 U a55EzeWe5KdWw4E0.jpg
9 p. Z% u  r$ C5 ^: x$ x! ?5 H/ P% S
两人都将在今年的国际数学家大会(ICM)上分别作45分钟报告。Bombieri–Lang猜想作为算术几何领域的核心猜想之一,仍有大量开放情形等待解决,数域上的Bombieri–Lang猜想至今几乎没有一般性的结果。& i5 v$ f  F* Q/ Q
论文地址:
( m& g# E5 \8 o$ j8 b+ z# E$ Ghttps://arxiv.org/abs/2305.14789
; I* W+ K2 f& U& f参考链接:
9 J( @3 C% f$ C6 w6 ]9 a[1]https://intlpress.com/journals/journalList?p=4&id=1804409921462136833+ P$ c' @" z2 E! p/ N: ]5 r9 I5 B
[2]https://mordell.org
6 S: n! O- i" b. m7 `8 W 文章来源:量子位。
集群智慧云科服专利申请服务
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则


快速回复 返回顶部 返回列表