袁新意，北京大学

工作描述：

袁新意在算术几何领域作出了奠基性贡献。他开创了Arakelov几何中的算术大性（arithmetic bigness）理论，为研究代数簇上的小点问题建立了全新的理论框架；近年来，他证明了一致Bogomolov猜想，并进一步导出Barry Mazur于20世纪80年代提出的一致Mordell猜想的定量形式，在丢番图几何领域取得了重大突破。

算术几何利用代数几何的方法研究整数解及有理数解问题，是一门源于古希腊数学家丢番图、并在现代数学中蓬勃发展的学科。该领域的重要成果包括Andrew Wiles于1994年证明费马大定理，Gerd Faltings于1983年证明Mordell猜想，以及Emmanuel Ullmo和张寿武于1998年证明Bogomolov猜想。

袁新意创立了算术大性理论。这一理论推广了Lucien Szpiro、Emmanuel Ullmo和张寿武关于小点等分布的开创性工作，为研究算术簇上的小点提供了强有力的新工具，如今已成为算术几何和算术动力系统中的基础理论之一。他利用算术大性理论证明了整体域上的一致Bogomolov猜想，并与虞家伟、周胜铉合作证明了 Mazur提出的一致Mordell猜想的有效定量版本。Dimitrov、高紫阳、Habegger和Kühne于2021年证明了Mazur猜想成立，而袁新意的工作提供了高屋建瓴的几何视角、建立了具有明确数量估计的结果，代表了丢番图几何领域的重要进展。

除上述工作外，袁新意还与张寿武，张伟开展了卓有成效的合作，完成了Gross–Zagier公式的推广，并证明了平均Colmez猜想。这些成果已成为证明Birch–Swinnerton-Dyer猜想若干特例以及André–Oort猜想的重要基础。

袁新意，北京大学北京国际数学研究中心教授，1981年出生于湖北麻城，2003年获北京大学学士学位，2008年获哥伦比亚大学博士学位。