林伟南、王国祯、徐宙利三位北大校友突破65年数学难题！

DFL

林伟南、王国祯、徐宙利三位北大校友突破65年数学难题！
& h* f; U4 x4 j) p0 }: R原创 量子位  2025年05月06日 12:24 北京
% E! }/ ]' c* y2 f1 a& Q6 E0 A$ ^4 }9 j
65年数学难题新突破！来自复旦大学的林伟南、王国祯以及UCLA的徐宙利合作，解决了126维空间的Kervaire不变量问题。

三位作者都是北大数院出身，该成果去年曾作为北大建校126周年贺礼做报告，现在完整论文终于上传arXiv。他们这次解决的是高维拓扑学中的核心难题之一，也被称为“末日假说”：如果该假说被证伪，许多基于它建立的所有其他猜想都将被推翻！

Kervaire不变量用于判断流形能否通过特定方法转化为球体。当一个流形可以精确地转化为球体时，该不变量等于零；无法转化为球体时，该不变量等于1。

- v2 q& ~" A" N到了1960年，数学家们已经证明Kervaire不变量为1的流形存在于维度2、6、14、30中。前面的问题背景介绍都看不懂也没关系，观察这四个数字很容易得出他们似乎满足2^n-2的规律。数学家们很自然的假设这种流形还会存在于62、126、254等维度，但证明止步于62维，后面停滞了几十年未取得进展。
7 S* @/ @' O' w
直到2009年，终于有人证明了大于等于254维时这样的流形不存在，至此，126维成为了全部问题的最后一块拼图。
( `2 O* ]: W8 X! k
. K( W/ x3 w( O( h' T- h$ f林伟南、王国祯、徐宙利三人这次证明126维的方法结合了计算机计算和理论见解，被学术界评价为“堪称一项宏伟的工程”。

4 i% e: A+ y9 W1 U从105种可能性到唯一解
, x7 }  s- P4 D  U
$ {! z' r8 V* R3 x; ~几十年来，数学家们都在好奇一个问题：哪些维度存在一些奇怪的形状，其扭曲到即使利用特殊手段也无法转化为球体。通俗理解，每增加一个维度就意味着创造了一个新的移动方向，而不同维度都有各自的特性。比如在第8维和第24维（下图），数学家已经证明这两个维度可以让球体排列得特别紧密。而在其他维度中，球体的排列可能就没那么完美，甚至看起来有些“皱巴巴”的，就像一个被揉皱的纸团一样。通过找出这些具有扭曲形状的维度，数学家们可以更好地理解不同维度空间的性质和规律。

而在林伟南等人的研究之前，数学家已经发现这些扭曲形状存在于第2、6、14、30和62维空间中，并且排除了除第126维之外的其他情况。也就是说，唯一不确定的第126维，现在已经被他们最终解决了。
7 f& L0 a: O; ~
2 z0 q% f( n3 [$ ?' j不过要想弄清楚他们是如何解决这个问题的，我们还得回顾一下前人取得的一些进展。
2 |9 T2 Z0 N/ g6 N; |' D, r$ M
相关研究最早可以追溯到20世纪50年代，数学家John Milnor引入了目前流形研究中的一种通用方法——surgery（手术）。其中，流形在数学中指一个复杂的形状，比如一个弯曲的表面或更高维度的空间。而surgery就像是对这个形状进行“整形”。需要先切掉一部分，然后沿着切口的边缘把新的部分缝上去。这个过程必须非常小心，不能留下任何尖锐的角或边缘，因为数学家希望新的形状是平滑的，就像一个完美的球面一样。甚至当涉及到扭曲形状时，surgery还必须符合流形的“框架”，即流形在空间中的摆放位置。比如在下面这个例子中，将一个“甜甜圈”（环面）变成球体，需要经历切割——形状变化——缝合——拓扑等价这几个过程。最终结果是，虽然形状发生了改变，但在拓扑学上却是等价的（基本结构和性质相同）。利用surgery这一方法，数学家们得出以下发现：二维平面不存在奇异球体；在某些更高维度中，surgery可以使一些流形变成普通球体，同时使另一些变成奇异球体；还有一种特殊情况，某些流形无法通过surgery变成球体。这里所谓的奇异球体，是指在某个维度中与普通球体（标准球体）具有相同拓扑性质，但在微分结构上有所不同的球体。微分结构涉及到空间的局部平滑性，比如一个在普通球面上光滑的曲线可能在奇异球面上不光滑。
+ R) T% Z$ t4 N* {6 v& V* b: N
BTW，当初John Milnor就因在七维空间中发现奇异球体而震惊数学界，并且之所以引入surgery，也是想探索不同维度中的奇异球体。基于上述发现，后来的研究聚焦在了第三种特殊情况上——某些流形无法通过surgery变成球体。就像下面这个经过特殊扭曲的二维形状：而为了进一步判断一个流形是否可以通过拓扑surgery变成一个球体，法国数学家Michel Kervaire于1960年正式提出了Kervaire不变量。可以转化为球体，Kervaire不变量为0；无法转化为球体，Kervaire不变量为1。有了这个计算数值，数学家们争相确定不同维度流形的Kervaire不变量。并且几年之内，他们就证明了在第2、6、14和30维空间中存在Kervaire不变量为1的扭曲流形。显然，这几个维度存在一个明显规律：每个数都比2的幂小2。

后来在1969年，数学家William Browder证明了这一规律是唯一可能存在Kervaire不变量为1的地方。沿着这一规律，人们自然假设其他维度还包括62、126、254等等，同时还有人基于这一假设提出了大量相关猜想。不过由于假设并未得到完全证明，导致后来的猜想始终“摇摇欲坠”，所以这一假设也被称为“末日假说”。

再到后来，两项关键证明出现了：一个是在1984年，数学家们证明了62维确实存在扭曲流形；另一个是在2009年，Hopkins等人证明了满足Kervaire不变量为1的流形不可能存在于254维及以上的空间。排除之后，唯一剩下的只有第126维空间了。还是上面提到的William Browder，他在1969年发现了一个解决第126维问题的关键线索：在亚当斯谱序列第126列中的一个特定点，对于理解该问题至关重要。具体而言，这个点可以告诉我们126维流形是否可以被分类为具有Kervaire不变量为0或1的流形。这里要分为两种情况：其一，如果这个点在亚当斯谱序列的“无限”页（也就是最终页）上存活下来，那么这意味着在126维空间中存在两种类型的流形，即Kervaire不变量为0或Kervaire不变量为1。其二，如果这个点在“无限”页上没有存活下来，那么在126维空间中就只存在一种类型的流形，即Kervaire不变量为0的流形。
4 h9 v6 L2 i. u  o. e2 m
* f' l; a- A9 j1 {概括而言，对于第126列中的特殊点，有105种不同的假设方式可能导致它在到达“无限”页之前消失。为了排除这些可能性，林伟南等人进行了合作。其中由林伟南开发的计算机程序，首先排除了101种可能性。后来又花了1年时间，继续排除了最后4种可能。最终他们证明了，William Browder提出的特殊点确实存活到了“无限”页，即第126维具有Kervaire不变量为1的流形。
  Z% a* A0 n# s( C1 f- }' x& o
研究团队三位作者中，王国祯和徐宙利在北大数院本科和硕士期间（2004-2011）一直是同学，硕士阶段还是舍友。从北大数院毕业后，王国祯到MIT读博，2016年来到复旦大学上海数学中心从博士后一路做到教授。
6 J( v0 S: A# R: c+ P- w$ F
△王国祯
: P: W% D7 W9 _7 t! a
6 }6 N+ N6 b$ S9 ]# x$ M, R徐宙利则去了芝加哥大学读博，毕业后先后在MIT、UCSD和UCLA任教，现为UCLA数学系教授。

△徐宙利

6 k, w( l1 e- D% O1 }两人一直保持合作关系，截止目前已在数学四大刊上联手发表了3篇论文。
- b4 n6 r  D- [' f6 b% o& @
! s9 X" U7 [, p林伟南比他们年龄小一些，2011年来到北大数院读本科，后到芝加哥大学读博，徐宙利与林伟南在芝加哥大学都接受Peter May的指导。
& `2 F  ^! H3 B" v7 j
△林伟南

7 T, N0 }$ ?( q2011年，当徐宙利来到芝加哥大学时就致力于研究流形的计算问题，导师Peter May提议他研究126维Kervaire不变量问题，还把他介绍给这方面的专家西北大学教授Mark Mahowald。Mark Mahowald听说后立即否决了这项提议，他认为126维问题“将是一个终生难题”，并指导徐宙利去研究更低维度的相关问题。仅两年后，Mark Mahowald于2013年不幸去世，徐宙利等人却没有停下研究126维Kervaire不变量问题的脚步。十多年后，当这个这个问题被解决，三位作者特别将这篇具有里程碑意义的论文献给了Mahowald，表达对这位代数拓扑学大师的敬意。
( p: f7 r" Z. ^
论文地址：
https://arxiv.org/abs/2412.10879

参考链接：
[1]https://www.quantamagazine.org/dimension-126-contains-strangely-twisted-shapes-mathematicians-prove-20250505/
* @) e4 k) F) X3 h/ c) s8 E0 G/ x[2]https://news.ycombinator.com/item?id=4389619

亦可归去来

北大数院毕业生，集群优势，成果井喷啊，

带你去远方

林伟南中考以全校第二名考上南安一中；2010年，以高二学生身份参加全国数学奥赛获一等奖，被北京大学预录取；2011年保送北大；2015年2月，被美国芝加哥大学PSD数学系录取，全额奖学金攻读博士学位，大概32岁左右

带你去远方

王国祯、徐宙利都是04级的

爱荷

亦可归去来 发表于 2025-5-15 10:23
% P! G0 k9 _6 L9 w( v! T北大数院毕业生，集群优势，成果井喷啊，

) Y0 \0 q6 V$ M# K! V这也是以前预测的北大数院校友菲奖概率很大。

DFL

, \+ `. m1 t$ F- f5 M1 X: y, i: [6 Y复旦上海数学中心新进人员：

林伟南，2015年毕业于北京大学数学科学学院，2021年获芝加哥大学数学博士学位，2021-2024年任北京大学数学科学学院师资博士后，2025年任复旦大学上海数学中心青年研究员。
9 y9 B7 Q9 T, ^5 `8 T
/ t( w" m- ]9 E/ K陈苗芬（女），2004年以系年级第一的成绩毕业于清华大学数学系 ，因清华与法国的交流，硕士1年级时赴法留学， 2011年博士毕业于法国巴黎第十一大学，随后在德国波恩大学和慕尼黑工业大学从事博士后工作。2012年起就职于华东师范大学，先后任副教授、教授。2022年国家优青，研究方向为算术代数几何， 2024年任复旦大学上海数学中心教授。

史汝西，2013年毕业于复旦大学数学科学学院，2018年获得法国Picardie大学博士学位。先后在芬兰Oulu大学，波兰科学院从事博士后工作。现在法国Sorbonne大学任研究员（chercheur）。 曾主持法国青年研究员基金一项。主要研究方向为动力系统与遍历理论，Fourier分析和调和分析。在Adv. Math.，Math. Ann.，Trans. Amer. Math. Soc.，Isr. J. Math.等杂志发表多篇文章。2025年任复旦大学上海数学中心青年研究员。
4 ]; \" b3 s  q
易凌飞，2016年毕业于北京大学数学科学学院，2021年加州理工学院数学博士，导师朱歆文，2021-2004年明尼苏达大学博士后，2024年7月起复旦大学上海数学中心青年研究员。
; ?, D* _/ l+ F  a9 Y
3 s" `0 P: z, ?$ u+ P
复旦数院，以及复旦与上海数学与交叉研究院双聘的有（老外是不是搞不清楚，写最新简历的几个都把SIMIS写成复旦下属机构了，其实只是李骏做院长，学生在复旦培养，招聘邮箱用的复旦邮箱，并无隶属关系）：

林治武，1973年出生，现任复旦大学教授、博导。本科毕业于北京大学，硕士毕业于日本东京大学，博士毕业于布朗大学，并在著名的应用数学研究中心美国纽约大学柯朗应用数学研究所做博士后研究，回国前曾任美国乔治亚理工学院数学系终身教授。
主要从事偏微分方程，动力系统及其应用领域的研究工作，在解的稳定性、长时间行为等方面作出一系列原创性的工作，研究成果发表在Invent Math、Memoirs of AMS、CPAM、ARMA、CMP等国际期刊上。担任SIAM. J. Math. Anal. 等杂志的编委。

, N/ F; m- x& N- ~0 V4 t" v林华新，2024年起加入SIMIS，担任教授，2024-2025学年第二学期已在复旦大学教授“实分析”课程。该课程针对复旦大学数学学院大二本科生开设。
之前为美国奥勒岗大学教授, 也在华东师大服务。他在1986年获得普渡大学博士学位，主要研究算子代数及其在动力系统和量子力学方面的应用。他在2008年为教育部长江讲座教授， 2011年受聘国家特聘专家。林华新在2013年成为美国数学会首届会士。2005年获上海市科学技术进步一等奖， 2023年(与龚贵华和牛壮)在国际基础科学大会上获前沿科学奖。

" w8 `' d+ ^) h" I, b尚在久，上海数学与交叉学科研究院教授（与复旦大学双聘）、副院长。曾任中国科学院数学与系统科学研究院研究员、博士生导师、学术委员会委员、数学研究所所长，中国科学院国家数学与交叉科学中心副主任兼数学与物质科学交叉研究院部主任，中国科学院大学岗位教师。现承担《中国科学：数学》（中、英文版）、《应用数学学报》（中、英文版）等期刊编委，《数学译林》常务副主编，国家自然科学基金委员会重大研究计划“未来工业互联网的基础理论和关键技术”指导专家组成员。尚在久的主要研究领域为动力系统几何算法、哈密尔顿动力系统。

Mykola Dedushenko
: q5 ]2 j' l. H3 @Mykola Dedushenko于2025年1月加入上海数学与交叉学科研究院任副教授。此前，他曾任石溪大学西蒙斯几何与物理中心研究副教授，更早前为加州理工学院伯克研究所Sherman Fairchild博士后学者。于2016年在普林斯顿大学获得物理学博士学位。
# H, U9 N; g- V! O工作经历
2025-current: Associate Professor, Shanghai Institute for Mathematics and Interdisciplinary Sciences, Fudan University
9 J$ c2 F" H3 Z5 v2019-2024: Research Associate Professor, Simons Center for Geometry and Physics, Stony Brook University
" B# Y4 x* K" ^+ y$ u2016-2019: Postdoctoral Scholar, Burke Institute for Theoretical Physics, Caltech

Mauricio Andrés Romo Jorquera
Mauricio Romo现任上海数学与交叉学科研究院副教授。他于2012年获美国加州大学圣塔芭芭拉分校理论物理学博士学位，此后曾任职于日本东京大学卡弗里数物连携宇宙研究机构（Kavli IPMU）及美国普林斯顿高等研究院博士后研究员。
工作经历
2024- Associate Professor Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS), Fudan University
6 c* O6 L( L) {/ P6 M! t! B* Q2018-2024 助理教授 清华大学丘成桐数学科学中心
1 ?9 C% I- _$ q/ _. D, z5 ?
' S* Z$ H6 W4 ~尤翀是复旦大学与上海数学与交叉学科研究院双聘副教授，主要研究方向包括变分贝叶斯、混合模型、变量选择、疾病预测、诊断统计学、传染病建模。其研究成果发表于Science Advances、Journal of the American Statistical Association、Biometrics等国际顶尖期刊。2010年、2015年分别获得悉尼大学理学学士、统计学博士。

1 s+ w* I4 a# o2 _* J5 H曹露现任复旦大学与上海数学与交叉学科研究院双聘副教授，于悉尼大学应用数学专业获得博士学位，研究方向包括平均场博弈、机制设计、 数学科学与行星物理学的交叉研究。曾先后任悉尼大学讲师、北京大学北京国际数学研究中心博士后研究员。曾任悉尼某投资集团研究总监，主导完成研究报告、投资策略开发等。
  e  k' S- F/ o) n. `) I
2 f+ t; J# A% s4 V
  U" Y: H# C4 J1 v1 w6 K3 M

DFL

带你去远方 发表于 2025-5-15 10:26
* M1 L0 v* g6 ^" ~王国祯、徐宙利都是04级的

* Q0 r/ r* o5 s+ F王国祯还是年级第一名

DFL

DFL 发表于 2025-5-15 11:39
, G' x" F6 ^' X: M- m; p复旦上海数学中心新进人员：
! e2 s% z5 @2 {# V% g3 M
林伟南，2015年毕业于北京大学数学科学学院，2021年获芝加哥大学数学博士学位 ...

翻看了上海数学与交叉研究院的人员，感觉主要解决了两大问题：
+ P/ R, J! U, Y* t, Y
一个是解决了大批年轻博士后的出路问题，相当一部分是来自北京雁栖湖、清华邱中心，以及北大国际数学中心和上海数学中心的博士后，转为助理教授。
# V& ^; S' N8 D" ]! L; E' t
二是解决了一批老同志全职回国或从国内各地到上海的问题，包括几个哈佛博士李逸（从东南大学到上海）、莫仲鹏（从苏州大学到上海）、刘克峰（2024年从美国回上海，现在重庆理工），以及林华新（从美国回上海）、尚在久（从北京中科院数学所所长到上海）等。
/ {0 _7 \! D0 ?; z+ O# J
还有就是引进了一些老外，尤其是俄国人。

亦可归去来

DFL 发表于 2025-5-15 12:46
" N. c0 f- F8 j5 ^( m. k+ ~, ^# M翻看了上海数学与交叉研究院的人员，感觉主要解决了两大问题：

$ X7 ]* K1 X3 E8 d一个是解决了大批年轻博士后的出路问题， ...

' n* d% m- H4 E2 S7 W  l国内这个级别的新体制的数学中心，除了你上面列的，是不是就是南开陈所了，

DFL

亦可归去来 发表于 2025-5-15 12:54
% x* m' @. D/ i! U! u0 M3 @国内这个级别的新体制的数学中心，除了你上面列的，是不是就是南开陈所了， ...

2 v( ]: o7 v: ~浙大数学高研院和南开陈所
* }& y+ A& T( R, u2 g