《菲尔兹》九天与

1、凌晨3点的讨论 芝加哥大学

　　芝加哥大学数学系的走廊里，凌晨三点，只有应急灯还亮着。

　　邓煜放下钢笔，揉了揉酸胀的眉心。桌上散落着几十页手稿——有些是他自己写的推导，有些是打印出来的参考文献，每一页的边缘都密密麻麻写着批注。他在这间办公室里待了多久，已经记不太清了。窗外是密歇根湖的方向，雪刚停，路灯把校园染成一片昏黄。暖气片偶尔发出咔嗒的响声，是这层楼里除了他之外唯一还在活动的存在。

　　他拿起已经凉透的咖啡杯，发现杯底只剩一层褐色的渍迹。三十五岁，正教授，普林斯顿博士，代数几何领域被引次数最高的学者之一——这些标签放在任何一个学术场合都足以让人肃然起敬。但此刻坐在书桌前的邓煜，只是一个被数学难题困住了两周的男人。

　　问题是关于朗兰兹纲领中某个代数簇的结构。他在一篇论文里读到过一个可能的构造，但那个构造在有限域上的行为并不理想。他试图用另一种方法来绕过这个障碍——étale上同调，刚性解析空间，甚至考虑过回到最基础的交换代数层面重新建立引理。但每次觉得快要触碰到答案的时候，推导就会在某一个细节上断裂。

　　这种挫败感并不陌生。数学本来就是这样的——大部分时间都在黑暗中摸索，偶尔有一束光闪过，然后又是漫长的黑暗。邓煜习惯了这种节奏。但习惯不代表不疲惫。

　　他把手稿推到一边，靠在椅背上，闭上眼睛。办公室里的安静像一层厚重的毯子，把所有的声音都压住了。他听到自己的呼吸，听到暖气片又咔嗒了一声，听到楼下的保安在走廊里巡逻的脚步声逐渐远去。

　　离婚后，他更习惯这样的安静了。

　　林妍在离婚协议上签字时说的话他还记得——不，准确地说，他几乎没有忘记过那句话。她说：“邓煜，你和数学过日子吧。我在你心里从来不是第一位。”

　　他说不出反驳的话。因为她说的，某种程度上是真的。

　　他确实把大部分生命都献给了数学。不是因为数学比林妍更重要，而是因为他不知道怎么在数学和婚姻之间分配比例。林妍想要的是学术圈的影响力、漂亮的履历、被同行认可的成就感。她自己在MIT做到了正教授，她希望邓煜也能走同样的路——多发论文，多拿项目，多出现在学术会议的嘉宾名单上。但邓煜只想做研究。那种纯粹的、不受任何功利目的驱使的研究。他觉得论文够好就够了，数量不重要；他觉得证明本身就是回报，不需要额外的光环来确认。

　　林妍觉得这是不上进。他觉得这是本质。

　　两个人没有谁对谁错，只是对于“数学”和“生活”应该怎么搭配这件事，有着完全不同的配方。最后配方彻底失效了。离婚是邓煜提的，林妍没有挽留。那场婚姻结束得比开始更安静——没有争吵，没有财产纠纷，只有两份签字文件和一个共同的结论：不合适。

　　之后几年，邓煜把全部精力投入了数学。系里的同事觉得他更沉默了，博士生觉得他更严格了，他自己倒没觉得有什么变化。只是偶尔在深夜离开办公室的时候，看到走廊尽头空荡荡的墙壁，会觉得有一瞬间的恍惚——好像自己走在一个没有尽头的隧道里，两边没有门，只有向前延伸的黑暗。

　　他睁开眼，揉了揉太阳穴。凌晨三点，睡意全无。与其在沙发上辗转，不如刷一下论坛换换脑子。

　　MathOverflow——数学圈最活跃的学术讨论社区。全球的数学家、博士生、甚至偶尔有菲尔兹奖得主在这里匿名讨论问题。邓煜不常发帖，他的ID“Deng_UC”注册了五年，发帖记录只有十几条。但他每晚都会刷一刷，看看有没有新的研究动向，或者哪个年轻学者提出了有趣的问题。这对他来说是一种放松——不用想自己的问题，只是看看别人在想什么。

　　他点开首页，热门帖子里大多是常规的讨论：有人问某个引理的证明细节，有人分享新发表的论文链接，有人为一个经典问题的反例争论不休。他漫不经心地往下翻，手指在触控板上机械地滑动。然后一个标题撞进了他的视线。

　　《关于朗兰兹纲领中某个代数簇的结构分析——一个非标准视角》

　　邓煜的手停住了。

　　发帖者的ID是“微光”（Faint Light），注册时间不到三个月，发帖记录寥寥——只有几个简短的回复，没有一个完整的主题帖。这是他的第一个帖子。邓煜看了一眼发帖时间：凌晨两点四十七分。就在刚才。

　　他点了进去。

　　帖子开头没有任何寒暄，直接切入主题。作者提出了一个邓煜从未见过的论证角度——不是主流的研究路径，不是任何一篇经典文献的延伸，而是一种全新的切入点：用代数簇的自同构群构造了一个新的不变量，然后用这个不变量来处理朗兰兹纲领中某个特殊情形下的结构问题。

　　第一步的构造就很巧妙。邓煜发现自己不自觉地坐直了身体。第二步更精彩——作者用étale上同调对这个不变量进行了局部化处理，每一步都踩在逻辑的痛点上。邓煜读过很多论文，见过很多聪明的证明，但这个论证方式是他从未见过的。不是“更好的版本”，而是“不同的物种”——像一个从小被隔离长大的人忽然走进了一个全新的世界，所有的路标都是陌生的，但每一条路都能走通。

　　他翻到帖子的最后一页。作者在结论部分写道：

　　“以上构造在大部分情形下成立。但需要注意的是，第三部分第七行的构造在char=2时是否会出现退化，笔者尚未完全解决。如果社区中有人对此有更好的思路，欢迎讨论。”

　　邓煜盯着这段话，停了很久。

　　不是因为这个问题的难度——char=2的退化是一个经典的技术障碍，很多代数构造都会在这一步卡住。而是因为——作者知道自己的构造在这里有漏洞。他（她？）不仅知道，还主动在帖子里标了出来。

　　这个细节让邓煜对“微光”的判断发生了一个微妙的变化。大部分人在写帖子或论文的时候，都会尽量隐藏自己的弱点——把漂亮的部分展示在前面，把不完美的部分藏在脚注里，或者干脆不提，等着审稿人去发现。但这个人不同。他（她）把最脆弱的环节摆在了台面上，用了一种近乎坦然的语气说：这里我还没解决，如果你能，欢迎讨论。

　　这不是学术不成熟的表现。恰恰相反——这是一个真正在乎数学本身的人才会做的事。不在乎自己的形象，不在乎别人怎么看自己的水平，只在乎这个问题能不能被解决。

　　邓煜端起咖啡杯，发现杯子是空的。他起身去咖啡机旁边接了一杯新的，站在窗边喝了一口。窗外密歇根湖的方向一片漆黑，只有远处的一盏路灯在雪地里投出一圈昏黄的光晕。他端着咖啡回到桌前，重新坐下来，开始逐行推演那个构造。

　　他拿出了一沓新的草稿纸，从第一步开始重新验证。笔尖在纸上移动的声音是这间办公室里唯一的声响。第一步——没问题。第二步——étale上同调的局部化条件是对的。第三步——他停住了。第七行。作者标记的那个位置。

　　邓煜花了二十分钟，在草稿纸上写了满满的推导。最后他的笔停在一个等式上。

　　在char=2的情况下，这个构造确实会出现退化。不是作者杞人忧天，而是确实存在的技术漏洞。退化发生在p=2时的某个同调群上——这个群的秩会从1变成0，导致整个构造失去非平凡性。

　　他靠在椅背上，看着自己的推导。然后他重新拿起笔，开始思考补救方案。几种常见的绕过方式在他的脑子里闪过——换一种上同调理论？加正则性条件？用模空间的语言重新表达？每一种都有可能性，但每一种也都有新的障碍。

　　他没有完全解决。但他知道问题出在哪里，也知道可能的补救方向。

　　邓煜看了看时间。凌晨三点三十七分。他点开“微光”的帖子，在回复框里打字：

　　“很有启发性的工作。有一个小问题想讨论：第三页第七行在char=2时确实会出现退化，原因是此时étale上同调的某个局部化不保持非平凡性。一个可能的替代方向是改用刚性解析空间的语言重新表达第七行的构造，这样可以在不依赖特征假设的前提下保持同调群的结构。如果你有兴趣，我们可以私下进一步讨论。”

　　他重新读了一遍自己的回复，把措辞中可能显得傲慢的地方改掉了。又把“替代方向”的具体细节补充了一下。然后点击发送。

　　帖子刷新。他的回复出现在评论区第一条。

　　邓煜关掉网页，合上电脑，靠在椅背上。窗外还是一片漆黑。他应该去沙发上躺一会儿——明天有早课，他需要至少三小时的睡眠。但他的脑子还在转。

　　“微光”。三个月的新用户。代数直觉极强。构造方式极为独特。知道自己的漏洞，并坦然标注。这个人是谁？他不认识Caltech有这种水平的学者。如果是博士后或者教授，应该会有公开的论文记录。如果是博士生——能在博士阶段写出这种水平的构造，那他的导师该有多强？

　　他闭上眼睛，强迫自己不去想了。不管这个人是谁，明天应该会有回复。或者后天。他只需要等。

　　邓煜不知道的是，在同一时刻，两千英里之外，加州的帕萨迪纳，凌晨一点四十七分——比芝加哥晚两小时——有一个女孩正趴在实验室的桌上，对着屏幕笑了。

　　---
　　加州理工学院。

　　沈知微坐在地上，背靠着服务器机柜，笔记本电脑搁在膝盖上。这是她在实验室里最喜欢的位置——服务器出风口吹出的暖风刚好能烘到她的后背，冬天特别舒服。虽然现在是12月，加州的冬天并不冷，但她还是习惯性地挨着机柜坐，像一只找到了暖气片的猫。

　　面前的白板上写满了公式。最上面的一行就是她今晚发在论坛上的那个构造——用代数簇的自同构群构造新的不变量。这是她过去两周在做的副项目。主要项目是AI模型的训练，那个才是她的博士课题；但这个代数问题是她偶然在文献里看到的，觉得有趣，就开始自己推导。推导到一半发现了一个很有意思的结构，就越写越多，最后变成了一整套构造。

　　她知道自己发在论坛上的版本有一个漏洞。char=2的退化是她写到最后一步才发现的。她没有急着修补，因为她觉得这个问题本身很有趣——退化发生在一个意想不到的位置，说明构造里还有更深的结构她没看清。她想看看社区里有没有人能发现这个漏洞，或者提出她没想到的方案。

　　这是一种试探。也是一种孤独的表现。

　　17岁上大学，20岁本科毕业，马上
　　直博Caltech。她的履历在任何场合都能让听者沉默。但履历的背后是一个简单的事实：她从小没什么朋友。不是别人不愿意跟她交朋友——是她的节奏和别人不一样。同龄人在追偶像剧的时候她在看数论。同龄人在讨论哪个男生好看的时候她在白板上写证明。她不是不想融入，是她在融入的过程中发现自己总是要放慢速度来等人，而等待久了，她会忘记自己本来的速度。

　　久而久之，她习惯了独处。在论坛上偶尔和人讨论学术问题，是她为数不多的社交方式。因为在论坛上，没有人知道她多大。没有人知道她14岁上大学，没有人知道她是MorningStar的创始人，没有人用“天才少女”这个标签来取代她的真实面孔。在论坛上，她只是一个ID——“微光”。她的论点被人批评或赞同，是基于她的数学，而不是基于她是谁。

　　这是一种自由。

　　她今晚发那个帖子的时候，其实做好了没人回复的准备。论坛上每天有几百个帖子，大多数都沉在下面无人问津。但她的帖子才发出去不到一小时，就收到了第一条回复。

　　她点开提醒。用户ID：Deng_UC。

　　这个名字她见过。在她逛论坛的这几个月里，偶尔会在热帖里看到这个ID的回复——每次都是极精准的技术评论，从不废话，从不炫耀，但每一句都能切中要害。她有一次翻到了一篇三年前的帖子，Deng_UC在那篇帖子下的回复被论坛管理员标注了“最佳答案”。那是关于代数几何中一个经典问题的讨论，Deng_UC的回答只有五百字，但清晰得像一篇迷你论文。

　　她后来出于好奇搜了一下这个ID。公开资料很少，只知道是芝加哥大学的教授。华人姓氏——邓。可能是“邓”或者“等”，但结合华人学术圈的背景，大概率是邓。

　　她读过他的论文。关于朗兰兹纲领和代数簇的自同构群的几篇代表作。文笔简洁，逻辑极为严密，每一步推导都像齿轮咬合一样精准。她那时候就想：这个人，一定是个老教授。大概四五十岁，头发花白，戴眼镜，穿着深色西装，讲数学的时候不怎么看学生，盯着黑板自言自语。

　　她不知道自己猜得对不对。但此刻，这个“邓教授”回复了她的帖子。

　　知微读完回复，放下泡面碗，把笔记本电脑往膝盖上挪了挪。他发现了那个漏洞。和她预想的一样，char=2的情况确实退化了。但他没有只是指出问题——他还给了一个可能的替代方向：刚性解析空间。

　　她的眼睛亮了。

　　刚性解析空间。她怎么没想到。如果用刚性解析空间的语言重新表达那个构造，确实有可能绕过特征依赖的问题。这个思路不是完美的——她自己脑子里已经飞快地闪过了几个可能的障碍——但比她自己想到的任何补救方案都更优雅。

　　这个人不是随便敷衍了一句“这里有问题”。他是认真读了她的构造，理解了她的思路，然后用他的知识体系给出了一个可能的出口。

　　那种感觉很难描述。像一个在黑暗中摸索了很久的人，忽然看到对面也亮着一盏灯。虽然那盏灯还在很远的地方，中间隔着未知的距离，但它的存在本身就是一种安慰：你不是一个人。有人和你走在同一条路上。

　　知微把泡面推到一边，开始在键盘上敲击。她的回复写了很长——先感谢他的发现，然后详细分析了刚性解析空间方法的可行性，附上了一个初步的构造思路。她写道：

　　“关于char=2的情况，可以改用étale上同调绕过。具体构造我已经写好了，方便的话私下讨论？”

　　她附上了一张手写推导的扫描件。拍照的时候她注意只拍了推导本身——没有拍桌面，没有拍白板，没有任何能透露她身份的背景信息。她用的是白色打印纸，字迹工整但不算特别女性化。她刻意用了中性化的笔迹——做数学的人都知道，在论坛上暴露性别有时候会影响别人对你工作的判断。她不想让任何人知道她是女生。至少现在还不想。

　　点击发送。

　　她靠在服务器机柜上，感受着后背传来的暖风。电脑风扇嗡嗡地转着，屏幕的光映在她脸上。她发现自己不是在想那个数学问题，而是在想——那个邓教授，会不会回复她。会不会觉得她的补救方案值得继续讨论。会不会愿意和她一直这样聊下去。

　　她拿起泡面碗，发现面已经坨了。她心不在焉地用叉子搅了搅坨成一团的面条，脑子里还在过那个刚性解析空间的构造。明天可以跟导师聊聊这个方向，虽然导师不是做代数几何的，但应该能给她一些技术上的建议。然后她忽然想到一个细节——她在回复里说了“方便的话私下讨论”，等于主动把讨论从公开帖子转到了私信。

　　她会不会太主动了？

　　应该不会。做数学的人之间私下讨论是很正常的事。很多合作都是从一封邮件开始的。这不是什么暗示。这只是——学术交流。

　　她合上电脑，把泡面碗扔进垃圾桶，拿起记号笔走到白板前。她把刚才脑子里闪过的新构造写到白板上，退后两步，歪着头审视。构造到一半的时候停了下来。有一个地方需要调整——她盯着那个式子，脑子里开始自动推演调整的方案。

　　推演到一半，她发现自己脸上挂着一个笑。

　　不是因为那个构造——是因为那个人。那个凌晨三点在论坛上认真读完她的推导、找出她的漏洞、然后用一种老派礼貌的语气说“如果你有兴趣，我们可以私下讨论”的人。

　　她不知道他长什么样，不知道他多大年纪，不知道他有没有家室。她只知道他的ID是Deng_UC，他在芝加哥大学，他的数学很好，他说话的方式让人觉得很舒服。

　　这就够了。至少对现在来说，够了。

　　她重新拿起记号笔，继续在白板上写下去。

　　芝加哥的凌晨三点三十七分，和加州的凌晨一点三十七分之间，隔着两千英里的距离、两小时的时差、和两个都在黑暗中摸索着同一道数学题的人。他们还不知道对方的名字，不知道对方的年龄，不知道这场讨论会在未来把他们带到什么地方。

　　但此刻，他们都看到了对面那盏灯。

　　那盏名叫“微光”的灯，和那盏叫“Deng_UC”的灯，在同一个夜晚，隔着整个北美大陆，同时亮了起来。