2022年7月，第29届国际数学家大会将在俄罗斯圣彼得堡举行。今秋，2022年圣彼得堡国际数学家大会官网上公布了本届报告人名单，5位北京大学数学学科教师：鄂维南、朱小华、章志飞、董彬、刘毅受邀成为报告人，其中鄂维南院士将作一小时报告。另有8位北大校友将作45分钟报告，他们分别是：丁剑、李驰、刘钢、汪璐、王国祯、徐宙利、周鑫、朱歆文。
徐宙利，2004年至2011年就读于北京大学数学科学学院，获学士学位和硕士学位，2017年获芝加哥大学博士学位，2017至2020年于麻省理工学院任职摩尔讲师（MooreInstructor），现任加州大学圣地亚哥分校助理教授。主要研究领域是代数拓扑和稳定同伦论，具体是经典的、母体（motivic）和等变的球面稳定同伦群计算及其在色展（chromatic）同伦论和几何拓扑中的联系和应用。2016年获得芝加哥大学研究生的最高荣誉--哈珀毕业论文奖。在AnnalsofMathematics,ActaMathematica等国际顶级期刊上发表数篇论文。
A：受到国际数学家大会的邀请我非常激动也非常荣幸。报告的内容是球面的稳定同伦群的计算和母体（motivic）同伦论，主要介绍我跟王国祯等人的一些工作，关于使用母体同伦论来进行经典的球的稳定同伦群的计算。
Q：能否用较为通俗的语言介绍一下您的研究领域？
A：我研究的领域是代数拓扑学。顾名思义，就是用代数的方法研究一些拓扑学里面的问题。球面的稳定同伦群的计算是拓扑学中的一个基本问题，是关于不同维数球面之间联系的问题。母体同伦论是代数几何学和代数拓扑学的一个交叉分支。
Q：计算球的同伦群是同伦论的一个核心问题。请问您是如何来到这个研究领域的？
A：我记得很清楚，是在大三的国庆节期间，我在北大理科一号楼地下的康美乐健身房跑步，旁边正好是上学期刚刚教过我复变函数课的范后宏老师。我跟他搭讪聊天。他说你上过我的课，上学期考得怎么样，我说考得不太好，然后我们就不聊数学了，开始四处瞎聊，但聊着聊着还是回到了数学，这可能是因为范老师真的很爱聊数学。
他问我对什么数学分支比较感兴趣，我说拓扑学。我当时正好在上同调论这门课，很喜欢里面既用到了空间的直观，又有比较代数的思维方式（我的分析学不是特别好），而且证明的结论也都非常漂亮。范老师说他就是研究拓扑学的，然后就提到了球面的同伦群这个拓扑学的一个基本问题以及它的一些进展，并给我科普了这个问题跟很多其他数学问题的联系。
我当时非常吃惊。这个问题如此基本，就连大三学生的我都能听懂，但是大家对它却所知甚少。这极大地激发了我的好奇心。我非常想知道人们用了什么方法，并也想要自己试试看。就是那天，我对将来做数学研究产生了很大的兴趣。其实我当时并不确定自己将来会不会读博，乃至做数学研究。但范老师重新激起了我对数学的好奇心，所以之后就接着学了下去。还有一个原因可能是我同调论最后考得还不错，九十多分，我就觉得这个事情我还可以干（笑）。
A：先说说62吧。微分拓扑学里面有一个很基本的问题，就是什么时候一个拓扑流形上面有微分结构。当这些概念刚提出来的时候，大家可能觉得所有的拓扑流形上都有微分结构，所以并不太区分这两个概念。后来Kervaire在六十年代第一次发现了一个没有任何微分结构的拓扑流形，并用他定义的Kervaire不变量给出证明。Kervaire发现的这个流形在十维，我们现在知道这种现象最低可以在四维发生。
然后Kervaire和Milnor做了一系列的工作，讨论了一系列这方面的问题：球面上是否存在怪异的微分结构，有多少个，如何分类……例如，Milnor发现的七维怪球，它其实是七维球面的28个微分结构之一；跟自身连通和28次，就得到了标准球面。
61维是我和王国祯合作的一个结果，我们证明了61维球面上的微分结构是唯一的。基于很多前人的工作，我们证明了奇数里面只有1、3、5、61这4个维数，球面的微分结构是唯一的。奇数维解决后，一个很自然的问题是偶数维情形。我们知道四维是非常难的——也就是著名的四维光滑庞加莱猜想。对于大于4的偶数维中，我们知道6维、12维和56维球面上的微分结构是唯一的，在这之外偶维数球面的微分结构是否都不唯一还是一个猜想。最新的进展是对于其中一半以上的维数，这个猜想是对的。5、6、12、56、61这5个球面微分结构唯一的维数，我每次买彩票都喜欢买，可惜还没有中过，如果中的话这个定理就值钱了（笑）。
61维球面的定理收录在本科生教材中
A：我和王国祯不但是本科硕士的同学，我们硕士还住一个宿舍，并且都是范后宏老师的学生。王国祯非常厉害，是我们级当之无愧的第一，他在学校的时候所有数学专业课不是100就是99。
Q：研究中有没有一些困难让自己记忆深刻，最后又怎样被解决？
我印象比较深刻的一次是在和王国祯合作61维球面这个结果的时候。当时是暑假，我在芝加哥，王国祯在国内还是欧洲，我们俩之间有时差。我们当时已经解决了这个问题的大部分，在我们本认为应该不太难的一步，却卡了好几周。我们尝试了各种各样的方法，但是都搞不定。
有一天晚上，我这里已经是半夜3点多了，我正躺在床上玩手机，突然收到王国祯的邮件，说他有一个新的想法。我看到邮件立刻睡意全无，爬起来找了几张纸就开始算，算了几个小时之后，觉得好像确实找到了一个非常细致的证明，就赶紧给他写邮件，这部分证明最终成立了，在论文中占据了十几页。
2021年于美国纽约
我们这次ICM报告的工作是将母体同伦论跟经典代数拓扑中的色展（chromatic）同伦论联系起来。这其实是大家意料之外的发展方向，因为设计母体同伦论的初衷是解决代数几何和数论问题，这些新的联系使我们可以用母体方法解决一些经典同伦论问题。
我觉得计算和理论是代数拓扑中两种不同的数学风格。一方面，代数拓扑是关于不变量的学科，那自然就需要把这些不变量具体地计算出来。另一方面，这些不变量又是具有高阶的自然性的，就衍生出了抽象的理论，比如抽象同伦论。我自己的总结是“一花一世界”，有着从一个小点就可以验证抽象的理论关系，进而推出很多结论的强大力量。这两种风格大相径庭，我觉得都很重要。
关于理论和计算的关系，我的感觉是抽象理论更漂亮。好的理论往往是历史沉淀下来的精华，最核心的理论也会永驻于历史长河中。但是另一方面，这些理论并非凭空产生，而是基于大量的例子。大量的计算被总结成规律，才有了理论的存在，更不用说很多复杂的计算本身就是很优美的。因此我认为这两个方面都很重要。就我个人而言，刚开始是以计算为主，后来也开始使用稳定无穷范畴这样的理论工具。我认为计算和理论在研究中相辅相成，都值得被重视。
Q：您在计算中使用了计算机的辅助，您如何看待计算机在计算同伦论中的地位？
A：现在很多具体计算问题，代数结构可能越来越复杂，涉及到的数据信息也会越来越多。比如经典的同调论，它以整数为分次，每个整数给出一个对应维数的同调群。但是在等变同伦论里，可以定义RO(G)分次，把整数扩展成群的实表示环，这里的信息在等变同伦论中非常重要。即使G是有限阿贝尔群，随着群的阶数越来越大，RO(G)中Z的分量个数越来越多，分次就从一个Z变成两个Z，三个Z，越来越复杂，手动计算也越来越困难，所以计算机的辅助也越来越有用。事实上，现在很多计算中都有着计算机的身影，比如同调代数里的一些运算，即使有手动计算的方法，但当计算量过于庞大时，借助计算机计算大有帮助。
Q：在Lurie的三本千页著作（高等拓扑斯理论、高等代数、谱代数几何）问世之后，无穷范畴正逐渐取代模型范畴成为同伦论的主流语言，您是如何看待无穷范畴？Lurie的这些著作卷帙浩繁，艰深晦涩，完全理解需要大量精力，您在应用无穷范畴的时候怎样跨过这道门槛？
2017年于芝加哥大学博士毕业，右为导师PeterMay
Q：同伦论起源于代数拓扑，经过多年发展之后，已经成为了一个相对独立的学科。您如何看待这门学科的前景与未来发展方向？
A：如你所说，同伦论起源于代数拓扑，拓扑学一个主要的研究对象是流形。代数拓扑在高维流形中取得了不少辉煌的结果，高维很多分类问题都清楚了之后，大家就开始研究低维流形。此时经典代数拓扑的不变量就不够用了。差不多在这个时候，代数拓扑和低维拓扑就分道扬镳了。低维拓扑跟其他许多数学分支产生了各种各样的联系，比如四维流形跟规范场理论的深刻联系。这些带有数学物理背景和PDE风格的理论使大家得以定义一些新的不变量。研究这些低维拓扑问题往往需要先研究清楚上面的分析学问题。另一方面，代数拓扑尤其是稳定同伦论逐渐关心各种各样的广义同调论的抽象性质和背后的一般规律，之后的发展开始变得抽象化，把同样的思想方法进行推广，并应用到如数论和代数几何这些更加有代数风格的数学领域。
近些年来，同伦论的思想方法又回到了一些低维流形的理论中。从代数拓扑的角度来讲，所有的同调论背后都是同伦论，因为同调是同伦不变量，比如低维流形中的一些Floer同调理论，最新的一些研究认为其背后都应该有一个稳定同伦类型。另外最近我和北大05级的林剑锋等人合作得到了一个四维流形里关于11/8猜想的结果，我们在其中也使用了同伦论的方法和技巧。
A：最大的收获是结识了很多有共同兴趣、志同道合的同学、校友，我觉得这是十分珍贵的。我博士是在芝加哥大学，刚到芝加哥大学的时候，01级的肖梁老师在那里当讲师。我当时遇到不会的数论问题，就去问他，对我帮助很大。我有一个好朋友，04级的马临全，他是研究交换代数的，所以我每次有交换代数方面的问题，我也会去问他（笑）。在异国他乡有很多这样的校友感觉是非常好的，就像遇到了亲人一样。我在MIT的时候认识了传说中的“黄金一代”许晨阳、恽之玮、张伟几位师兄，有种追星成功的感觉（笑）。作为一个北大人，不断听到他们研究上的新成果，就很能够激励自己，这是一种很独特的感觉。
Q：在北大学习生活期间，哪些老师让您印象比较深刻，他们是如何潜移默化影响您现在的研究呢？
A：使我印象深刻、对我很好的老师有很多，我着重谈谈范后宏老师吧，因为我受他影响是最大的。我跟范老师做了本科生科研，硕士也是跟范老师读的。在此期间，他教授了我很多思维思想方面的认识，对我的影响非常深远。
范老师非常强调例子的重要性。我当年学数学总会偏好抽象的东西，范老师告诉我，抽象的理论背后都是例子，当你真正完全理解这些例子之后，那些抽象的理论也就相对容易了。我的理解是，例子的积累有点像武侠小说里面修炼内功这样一种感觉，熟悉的例子多了，才能脚踏实地。直到现在，我想问题的时候如果遇到一些抽象的命题，第一想法也是找一些简单的但不那么平凡的例子来尝试。很多时候对各种各样的例子搞明白了，可能一般情形就知道该怎么证了。
2016年于北大未名湖
Q：您平时的工作状态是怎么样的呢？
A：我是一个喜欢夜里工作的人。有人说永远不要相信晚上做出来的数学结果，其实我是不太同意的，因为迄今为止，我还没有在白天想出来过任何问题，我几乎所有的数学结果都是半夜12点之后做出来的（笑）。白天我总是不会特别专注，晚上夜深人静，我特别喜欢就放一盏小台灯，除了灯下面这一圈可以看到，桌面别的地方都是黑的，这样特别能够帮助我集中注意力思考。但是想出来之后，第二天肯定要再检查一下，看看是否真的成立。
Q：请问您如何做好科研和生活的平衡？
Q：现在“卷”这个字非常流行，您在北大读书期间有感觉到压力比较大、大家比较卷的这种现象吗？
A：我本科的时候不是特别刻苦，而且和我们级的大多同学相比，我年龄小一点，所以并没有太多的压力。北大的同学们都很厉害，有的竞赛成绩很好，有的超前地学了很多知识，我觉得还是要找到自己的节奏。
在我发现自己对拓扑学的兴趣之后，就完全没有这方面压力了，取而代之的是很强烈的求知欲，想去学很多东西。我觉得数学研究最大的动力是好奇心，好奇心得到满足是一件非常幸福的事情，找到自己的兴趣，研究数学本身是一件非常快乐的事情。
Q：您在北大的生活中最喜欢去的地方是哪？
A：我最喜欢去的地方是数院的本科生阅览室，我还做过管理员。在那个地方可以读书学习，也可以带着电脑去玩，无拘无束，那是一个可以待到很晚的地方，而且那里的团体氛围也非常好，我很喜欢那里。
Q：如果您现在能够马上传送回北大，你下意识想做的第一件事情是什么？
A：我想去吃康博思的香辣鸡腿饭（笑），但我听说康博思已经没有了。
Q：是的，康博思已经没有了，升级为了更好的家园食堂，但鸡腿饭还在，欢迎您下次回来吃。