刘克峰：知识，技巧与想像力 在国内工作一年多，接触了许多中学生，大学生和研究生。为了吸引优秀的学 生到数学中来，我与他们有了许多的对话与交流，这引发了我对数学教育从各方面 的思考。迄今已有许多文章对我们的教育体制提出批评，认为它扼杀了学生们的 想像力。但我觉得我们的教育从中学起就过分强调技巧，根本没有开拓学生的知 识面才是根本的弊病。见多才能识广，而没有宽广的知识面，想像力就是无源之 水。在中学里，以奥数为甚的题海战术使学生忘记了做题的目的是为了理解知识 。在大学里，有些老师的知识就过於陈旧和狭窄，将学生引入死胡同，更不可能 拓宽学生的知识面了。我觉得对数学专业的学生而言，要首先拓宽眼界，不仅在 数学里的各个学科之间，更包括物理等相关学科。种种感想促成了这篇文章，希 望我自身的经历与体会能起到抛砖引玉的作用。 我将结合自己的治学经验讨论一下知识的重要性以及知识，技巧 与想像力的关系。从我读研究生开始，我的工作就一直围绕着物理学中出现的几何与 拓朴问题。物理学家需要数学作为工具，反过来他们又借助物理理论提出数学上的猜想 ，虽然物理学家的推导很多时候是不严格的，但是这些猜想往往最後都被证明是正确 的。这是非常令人感到惊奇的！ 为了解决物理学家提出的数学猜想，我们发展了全新的数学理论，发现 了不同数学分支之间意想不到的联系。这些数学上的革命又为物理学的继续发展提供了 严格的理论基石。数学和物理学的相互交织造就了科学史上的多次革命，大家熟知 的有“微积分与牛顿力学定律”，“广义相对论与黎曼几何”，近年来的大小例 子更是层出不穷，“量子场论与指标理论结合得到椭圆亏格刚性定理”， “共形场论给出的模空间Verlinde公式”，“Yang-Mills场与4维拓朴”,“陈-Simons 理论与3维拓朴，纽结理论”，“关於弦理论中镜像对称与Calabi-丘空间的镜公 式”，“关于陈-Simons理论，Calabi-丘空间与Gromov-Witten不变量的Marino-Vafa猜 想”，“弦理论与Ricci流，3维拓朴的关系”，“镜像对称与数论的关系”等等。 近20年数学菲尔兹奖得主的获奖工作，有一半与量子场论，弦理论有关。这使得我们有 理由猜测：上帝根据数学公式创造了世界？但毫无疑问，数学是开启大自然的钥匙。 要指出的是物理学家对数学的贡献不仅仅限於预测数学结论，很多时候， 他们也用严格的数学语言为我们指出数学上重要的研究对象。Witten和Vafa是两位杰出 的代表，他们的数学甚至要好过绝大部分数学家。有人形容他们就像从未来时空 穿梭回来的一样，只记住了未来数学支离破碎的景象，凭着记忆叙述出来，成了 挑战当代数学家的猜测。物理学家学习数学的方式也许值得我们借鉴，Witten他 们大概从来不做数学习题，但却用最快的速度学到他们所需要的数学。哈佛大学 数学教授Taubes 曾说，“物理学家先学指标理论，然後才是黎曼几何”。我觉 得我们数学家不仅要时刻留意物理学的发展，更要注意物理学家掌握知识的技巧 ，那就是在研究中学习，在学习中研究。 物理学家特别青睐“无穷”，甚至有时候不惜以牺牲“严格性”作为代价，比 如SL(2,Z)对称，大N极限的陈-Simons理论，路径积分。虽然Feynman的路径 积分还缺少严格的数学基础，该理论因其物理上的直观性和便於形式演算在现 代量子物理中产生了深远的影响。正所谓“妙在无穷，美即有用”。这种不严 格也给了他们无穷的想象空间。那麽我们应该如何学习数学呢？ 我去美国留学时，随身只带了两本书，一本是丘成桐与Schoen着的“微分几何” ，一本是Gilbarg与Trudinger的“二阶椭圆偏微分方程"。我想在分析与几何里大 展身手。1988年9月底，我走进丘成桐先生的办公室，开始了我在哈佛的学习活 。他问我，想开始做研究还是继续学更多的数学。我回答想开始做研究。可是 丘先生对我说，“你要尽可能多的学习数学，因为毕业以後要想学什麽新东西 都不容易了。”他让我学习代数几何，代数数论，几何分析有许多内容直到今 天我仍然无法完全理解。但这却深刻影响了我的学术生涯和人生轨迹。在当上 教授以後，繁重的教学和科研压力让我体会到丘先生的话是多麽的语重心长。 知识与技巧，到底哪一个更加重要呢？我的观点是，对年轻人而言，知识更重 要！知识让我们站得更高，看到正确的方向，因为方向错了，一切努力都不会 有结果。但是也要承认，研究中关键的突破往往来自於技巧上的创新。做个比 喻，一个武林高手，学了很多门派的武功，但是内功不行，就容易走火入魔。 大家知道丘先生在众多数学领域都有开创性工作，得益於他极强的分析功底及 广博的知识面。现在国内热衷的中学生数学竞赛，太过於强调技巧。其实我们 的学生从中学开始就应该接受多方面知识的薰陶，让孩子多看名人传记，培养 对科学的好奇心。我最近读的牛顿传记就写的非常精彩。正是由於好奇心，牛 顿大学二年级给自己提出了几十个有关大自然的问题，为了解决它们，他发展 了微积分作为基础，进而发展了四大物理定律。 下面我将联系自己的经历讨论拥有宽广知识面的重要性，数学与物理、工程学 科交叉的必要性，以及与朋友学术上交流的好处。 我在中国科学院研究生院读书时，同学中有张伟平，周向宇，现在都成了国内 最杰出的青年数学家。那时很少有机会能听到前沿的课程。我们自己组织讨论 班，报告陈类，指标理论，Mordell猜想开始还无法完全弄明白，但是却开阔了 眼界，至少知道了什麽是“好的”、值得学习的数学。这对每个人来说都是非 常重要的，我们需培养自己对於数学的鉴赏力。如果你还是无法确信什麽是好 的数学，那麽就去读大数学家的着作和文章，跟着大师走总是没错的。後来在 我研究中成为重要工具的局部化思想也是在国内学习与做硕士论文期间掌握的 。後来我用局部化思想来理解我所学到的一切数学知识，就像用一根线串起了 许多珠子。 从我来到哈佛大学开始，让我感触最深的就是那里教授和学生勤 奋工作的作风。现在国内最缺少的正是这样一种风气。一流的大学其实就是这 样一流的氛围。而推动他们如此投入的是对数学的好奇与热爱和对知识的渴求 。哈佛举办各种讨论班，参加的学生非常积极，座位不够了，甚至会坐在地上 。我感觉好像一头扎进了知识的海洋，每个早晨都感受到不同的阳光，那是非 常令人兴奋的日子。 Witten的文章“超对称与Morse理论”，对我的工作影响是最大 的，还有哈佛大学教授Bott“厚积薄发，举重若轻”的研究风格也令我颇多受 益。Bott说过，“要顺流而下，不要逆流而上”。就是说做数学永远要顺流而 下，不要太费劲，太勉强，要追求“轻舟已过万重山”般的流畅，但也不要随 波逐流，两方面要协调好，否则就谈不上创新。 数学上的每一次变革都离不开新的思想与方法，以及不同分支学 科的融会贯通。这就要求我们在掌握丰富知识的基础上更具创造性的思考问题， 才能在数学发展的前沿占有一席之地。数学与物理的交互作用无疑将是今後相当 长时间里数学研究的主流分支。举几个学科间交叉的例子，微积分与线性代数结 合创造了微分几何；Faltings用综合代数数论与代数几何的Arakelov理论证明 Mordell猜测；从对称函数或更一般的，从紧群表示论出发，可以得到陈类， K-理论Riemann-Roch公式和指标理论；集模形式，表示论和拓朴于一体的椭圆亏格； 物理学家揭示的弦论中的各种对偶性在数学上的许多应用等等。 数学家对整个社会和人们的日常生活都有很大的贡献。从计算机，互联网， 到生命科学，金融业，处处可见数学的踪影。尽管现在美国找工作不容易， 华尔街还招大量的数学系毕业生，培训三个月就能胜任。诺贝尔经济学奖获 得者中也有好几位是数学家，包括“美丽心灵”的主人公Nash和曾在国际数学 家大会上做过一小时报告的Debreu等。可以说，数学是最无私、最有潜力的专 业。进可努力成为大科学家，退可过有质量的生活。数学要转到别的专业很容 易，但反过来，别的专业要转到数学可就不容易了，数学可以给你很好的逻辑 思维训练，即使以後不做数学了，也可以在别的领域做得很好。我在北大数学 系的150个同学，虽然现在做纯数学的就我一个，但他们现在生活得也都很好。 爱因斯坦说过，“想像力比知识更重要”。可是没有深厚的知识底蕴，想像力 也只能是空中楼阁。所谓“天才”，就是脑袋里时刻放着七八个问题，在阅读 文献的同时，不断用新学到的技巧和方法来分析这些问题，看能否找到突破， 只要用心坚持，总能解决掉其中两三个问题，那麽别人就会觉得你是天才了。 我的博士论文主要研究椭圆亏格，它是指标理论和模形式的结合体，可以看作 环路空间上的指标理论。在Witten受到量子场论启发提出椭圆亏格的刚性猜想 以後，Bott和Taubes花了很大精力研究这个问题，可是他们给出的证明技巧性 太强，很复杂。我参加了哈佛和MIT关於椭圆亏格的讨论班。我注意到环路 空间上椭圆算子在模群SL(2,Z)作用下的对称性，接下来用了几个月时间给出 了刚性猜想的一个简洁证明，其中用到数论中的Jacobi-theta 函数和模形式。 SL(2,Z)对称性也是弦论中的基本原理。这个证明的思想最初萌发於去普林斯顿 参加乒乓球比赛的路上，最後一步证明的豁然开朗则是产生在看一部电影 的时候。记得开始的几次证明总是有漏洞，我苦恼至极。但我坚定地相信这 麽美妙的思想一定是对的，不然数学就一点都不有趣了，也许我也早就放弃 做数学了。这就是我多方面学习培养的数学感觉在起关键作用了。後来我继 续推广了刚性定理，使之与无穷维李代数结合到一起。我不仅通过这新的方 法发现了新的消灭和刚性定理，还凭借数论和代数几何的知识，通过模曲面 的几何来理解刚性现象。这些方法现在仍然非常有用，完全超出了我的预期 。这全新的方法也引发了我与麻晓南，张伟平及董崇英等朋友的合作，将顶 点算子等理论与椭圆算子的刚性结合到一起。 我研究生涯的第一步正是得益於广泛的知识积累。在研究的过程中，我也 更加深了对所学知识的理解。哈佛几年的学习，我觉得最重要的收获是对 “好的数学“的感觉和把握能力。 80年代末，物理学家Verlinde在研究2维共形场论时提出了着名 的计算黎曼面上稳定丛模空间的典则线丛的全纯截面维数的猜测，即Verlinde 公式，这是一个90年代初非常热门的研究专题。黎曼面上稳定丛的模空间在数 学的许多分支中都有研究，特别是代数几何与拓朴学。数学家尝试了很多办法计算其 上典则线丛的全纯截面维数，但都失败了。可是弦论学家却出人意料的给出 了一个非常简洁的闭公式。不久Witten在研究二维规范理论时提出了一个关 於黎曼面上主丛的模空间上相交数闭公式的猜测，原则上Witten公式结合 Riemann-Roch公式或者指标公式就可以得到Verlinde公式。当时我在MIT任教 ，参加了许多关於这方面问题的讨论班，尝试了许多不同的方法来理解 Witten公式，这是一个对紧李群所有不可约表示求和的无穷和式。那段时间 我对辛几何也有了较深刻的理解。 直到有一天在MIT的图书馆里，我和往常一样翻阅感兴趣的文献， 不经意间看到了李群上热核的表达式，是由一个与Witten公式相同类型的无 穷和式给出的。我立刻确信自己找到了证明Witten公式的工具，就是李群的热核。有 了思想只是第一步，还有许多技巧上的困难需要克服，我用了几个月时间才 写下了全部的证明细节。 受到我的工作激励，Bismut得以用我的方法给出了一般Verlinde公式的证明。 “研究”的英文单词“research”，就是反覆寻找，很好的体现了研究的本质 。丘成桐与杨振宁先生都有常在图书馆翻阅杂志的好习惯，不求懂，只为见 多识广。与其他学科一样，数学的每一点进步都是建立在前人工作基础之上 的。可谓“开卷有益”！ 1996年我接到Stanford大学聘书，就在我将要驱车离开波士顿前的一小时， 丘成桐先生打电话来要和我谈论有关镜像对称的问题。1990年英国物理学 家Candelas等人在镜像对称的基础上，提出了五次Calabi-丘空间上有理曲线计 数公式的猜测。近百年来代数几何学家都在试图计算这些有理曲线的数目， 却只能得到不超过3次的有理曲线数目。而Candelas的公式通过计算一个很简 单的三阶常微分方程，即Picard-Fuchs方程，给出了任意次数有理曲线的数目 ，引起很大的轰动。许多数学家尝试证明这个公式，包括Witten,Kontsevich Givental等着名数学家都作出了贡献。我先前并未关注镜像对称这个研究领域 ，於是开始加倍努力的阅读文献。有时候冥思苦想多日却不得其解，甚至会 在经历繁复的计算後换取一个“此路不通”的经验。後来在不经意间，当我 注意到稳定映射模空间上的递归结构的重要性时，问题好像一下子豁然开朗 了，这种美妙的感觉是旁人很难体会的。很快，丘成桐，连文豪和我就给出 了Candelas镜像猜想的第一个完整证明。证明的关键是“函子局部化”技巧， 这在我今後的研究工作中也是一个非常重要的工具。此後我们又一起将镜像 定理推到极其广泛的情形。这是一次非常愉快的合作，我们彼此的特长相互 结合在一起，使困难的问题很快地得到解决。 我在UCLA的这些年中在研究上有很多收获，我们还证明了Grassmann 流形的Hori-Vafa镜像猜测。其中除了函子局部化公式外，还要用到很复杂的组合技 巧与代数几何，这些困难是在与刘剑豪讨论後才得以克服的。剑豪的刻苦和不惧一切困 难的勇气都给了我深刻的印象。所以与好朋友，特别是彼此了解 对方工作与能力的朋友交往是很重要的。 90年代初，Kontsevich证明了Witten的一个着名猜测，即代数曲线模空间 上某些陈类积分（称为Hodge积分）的生成级数满足无穷多个KdV型的微分方程。我很早 就开始关注Kontsevich的这项工作以及相关的发展，而且镜像对称在高亏格的推广也需 要计算更广泛的Hodge积分。2001年Marino和Vafa从Chern-Simons理论和Calabi-Yau空 间的对偶关系出发，猜测曲线模空间上一类更广泛Hodge积分的生成级数可以表达为关 於对称群表示的组合闭公式，也就是Chern-Simons纽结不变量。 我很快就被个漂亮的猜测吸引住了，并且意识到需要先在组合方法上找到突 破口。2002年暑假，正值国际数学家大会在国内召开，我与周坚在北京到杭 州，上海到北京的飞机上讨论了许多例如镜像对称方面的问题，当然也提到 了Marino-Vafa猜想。此後又继续通过email进行了许多富有成果的讨论。不久 ，周坚就理清了Marino-Vafa公式中的组合部分，即对称群表示的组合公式。 他注意到这个组合公式满足一个所谓的“切割－连接”方程。因为这个 “切割－连接”方程等价於一组常微分方程，由解的唯一性定理，剩下的问 题只要证明Marino-Vafa公式中的几何部分，即Hodge积分的生成级数也满足 这个“切割－连接”方程，同时与组合部分具有相同的初值。 Marino-Vafa公式几何部分的证明进行得相当的曲折和困难，我 们用函子局部化技巧作了许多尝试。2003年4月，刘秋菊来到加州大学洛杉矶 分校，参加了我主持的讨论班，我把与周坚的研究进展告诉刘秋菊，在我们三 人的合作努力下，很快就完成了几何部分的证明。记得我们三个人当时曾被极 其复杂的表达式困惑住，百思不得其解，曾经想到放弃而只写下部分结果。最 後刘秋菊从箭头湖赶回来与我讨论，做无奈的最后一试，用了类似我们证明镜 公式的办法，居然成功！那一刹那的感觉是非常令人难忘的。当这个猜想被证明 时，真有一种天地人合一的感觉，那是一种灵魂激荡的美妙感觉。证明的预 印本于2003年6月发表，在国际上引起了很大的反响。 Marino-Vafa公式与Witten-Kontsevich的公式相比，不但前者的Hodge 积分更加广泛，而且Marino-Vafa公式是一个非递归的闭公式。更重要的是，我们的证 明是几何方法与组合技巧的美妙融合，对今後类似公式的证明都具有方法论 上的很好借鉴。我们继续用我们的方法建立了数学拓朴顶点理论。许多更有 意思的结论可由此推出，包括我们建立的与指标理论的联系及我的学生潘鹏 用这新的理论证明了圈形Calabi-丘流形上着名的Gopakumar-Vafa猜想。 近朱者赤，和一群聪明的人在一起，你会变得更聪明。 黎曼面的模空间和Teichmuller空间的几何是一个古老的问题。 丘成桐在80年代初期与郑绍远，莫毅明合作证明Teichmuller空间上Kahler-Einstein 度量的存在性。之後他猜测黎曼面的Teichmuller空间上的Kahler-Einstein度量与经典 Teichmuller度量，Bergman度量等价。最近，通过详细研究两类全新的完备度量， Ricci度量与摄动Ricci度量，丘成桐，孙晓峰和我证明了丘成桐的猜测。 而且还证明了所有经典的完全度量都与我们新引进的度量是等价的，这澄清 了这个领域里许多的老问题。更重要的是我们进一步得到了模空间的 logarithmic余切丛是稳定的代数几何结果。这个结果至今代数几何学家仍不 知如何下手。 在我还是学生时，我就对模空间和Teichmuller空间的几何问题有浓 厚的兴趣。我参加各种讨论班，还写了两篇论文，用模空间上的Weil-Petersson度量的 曲率性质证明了代数几何中的几个重要结果。我认为这是学习一门新课程最 行之有效的方法，比做习题有益的多，理解问题和概念也深刻的多。 孙晓峰是我在Stanford任教时结识的，当时他是Schoen的博士生，跟我上一些 读书课。他人很聪明而且坚持不懈，这是难得的数学家素质。我们与丘先生 一起在黎曼面模空间问题上进行了许多卓有成效的讨论，使得这项工作得以 顺利完成。我们的工作对于黎曼面模空间几何学是很重要的贡献。我们还在 继续研究许多很有意思的问题，许多结果很快会写出来。 通过上面的讨论，希望大家已经能够感受到知识的重要，而要获取知识， 惟有勤奋，而且与朋友多交流，共同创造一个好的探讨和吸收知识的氛围。另一方面， 读懂一篇文章，我们会有成就感，但那只是看别人唱戏，我们需要发展自己的技巧来解 决问题。当知识和技巧插上想像力的翅膀，你会发现一切都变得那麽美妙。 我一直相信大自然都是可以用数学公式来描述的，所以说数学的力量是无穷的。长期以 来，数学已经成了我生活的一部分，是数学的魅力在牵着我走。从某种意义上讲数学就 是人生的一种感觉，这说不出的感觉好极了。 （在2004年首届西湖青年数学家论坛上的演讲） -- --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.128.68.249 ※ 编辑: Linderman 来自: 140.128.68.249 (06/09 18:44) ※ 编辑: Linderman 来自: 140.128.68.249 (06/10 18:59)