1985 年 7 月 19 日,刘一峰出生于上海。家庭并非学术名门——父母是普通知识分子/职工背景(公开材料未渲染家世,他自己也从不提“天才血统”)。少年在上海完成基础教育后,凭数学竞赛实力于 2003 年考入北京大学数学科学学院(正是那批后来被称为“北大数学黄金一代”的班级:同届有张伟、袁新意、恽之玮、朱歆文等)。这四年对他的意义,不是某门课拿 A ,而是被扔进一个同龄人互相碾压、但老师又把门敞开的生态:王长平、田刚、张继平等人的讨论班文化让他早早习惯“你不懂就问到懂,证明不牢就别放下”。2007 年获北京大学数学学士学位。他拿到哥伦比亚大学全奖,投奔的正是当代数论与算术几何的顶级宗师之一 ——张寿武(Shouwu Zhang)(普林斯顿博士、沃尔夫奖得主、丘成桐长期合作者/弟子辈)。这个师承关系,等于把他直接送进 Langlands 纲领算术面的核心谱系。2012 年获哥伦比亚大学博士学位,论文题目:“Arithmetic Inner Product Formula for Unitary Groups"”—研究的是酉群上自守形式的周期积分与其 L 函数中心值的算术关系(Gross–Zagier 类公式在高维酉群的设置)。这个题目本身就是“前沿中的前沿”,博士一毕业就发在 memoir/顶级期刊链上。MIT 数学系的 C.L.E. Moore Instructor 席位,是全美给最强新博士的“硬核认证”——每年只给几个,要求你既能做最抽象的数论,又能跟几何/PDE 的人对话。刘一峰在这三年把迹公式(trace formula)技术磨到了极高精度——后来这成了他杀手锏。从博士到常春藤正教授只用了不到十年,而且方向是最抽象的数论,不是更容易出产的领域。2021 年 6 月,他辞去耶鲁正教授,全职加盟浙江大学数学高等研究院(IASM)——励建书创建的这个机构,对标的就是普林斯顿 IAS 模式:少数永久成员+访问学者+长期研讨班。他是第四位永久成员(前三位:励建书、阮勇斌、孙崧,刘一峰加入时为第四/第五,取决于计数方式,官方称“第四位”)。2025 年 7 月,他被聘为浙江大学数学科学学院常务副院长——从“纯研究者”踏入学科治理。同年,39 岁的他进入中国科学院院士增选有效候选人名单,成为当年最年轻的候选人之一。
三篇顶刊,钉住 Langlands 算术面的三处“百年接缝”
Annals 2021(Ⅰ):完全解决全局 Gan–Gross–Prasad 猜想,Beuzart-Plessis–刘一峰–张伟–朱歆文,发在Annals of Mathematics 194 (2021) 519–584 。Gan–Gross–Prasad 猜想说的是:某些自守表示(酉群系综)的“周期积分是否非零”与对应的 L 函数在该点是否为零之间,存在精确对应——它本质上是“自守形式能否从对称群中‘分离出来’”的判据。刘一峰团队的关键创新是发展了谱分离技术(isolation of cuspidal spectrum)——用迹公式把"尖点谱"从连续谱的噪音里干净地隔离出来,并证明这个隔离本身就能推出周期非零<=> L 值条件——等于把猜想完全证明。这是该方向近三十年来最硬的闭环之一。
Annals 2021(Ⅱ):高维 Gross–Zagier 与 Chow 群 L-导数(与田一超、肖梁、张伟、朱歆文),“Chow groups and L-derivatives of automorphic motives for unitary groups, I”,Annals 194 (2021) 817–901。Gross–Zagier 公式的原始版本说的是:椭圆曲线上的 Heegner 点高度 × 某个 L 函数导数 = 某个有理数倍数——它是 BSD 猜想最成功的“可证特例”。刘一峰等人首次把它从曲线情形推到高维(酉群/自守动机构架)——等于告诉业界:这套“高度 ←→ L 导数”的神圣对应,不只在二维活着,在高维也能系统性延展。
Inventiones 2022 :Beilinson–Bloch–Kato 猜想的首次“无限维系列”部分验证,“On the Beilinson–Bloch–Kato conjecture for Rankin–Selberg motives”,Inventiones228 (2022) 107–375(269 页)。BBK 猜想是“某 L 函数在中心点的零点阶=某 Chow 群的秩”——即“解析信息 = 代数信息”的终极宣称。刘一峰与合作者首次对一整族 Rankin–Selberg 动机构成的几何对象(维数可趋向无穷)给出部分验证——不是“证了猜想”,但是把猜想从“哲学信仰”往前推到了“可核查的无限族”。
Inventiones 2024 :p 进算术内积公式——把 Gross–Zagier 带进 p 进世界,“A p-adic arithmetic inner product formula”,Inventiones 236 (2024) 219–371。这是博士课题的 p 进深化版:在 p 进完备化的设定下建立酉群的内积公式——对 Iwasawa 理论/欧拉系统这类“下一代工具”非常关键。