九章格数学 PhiloMath · 数学家的故事绘本 · 第七辑

乌伦贝克 · 气泡与规整

第 66 册 · 数学家的故事 · 第七辑 · 1942— · 美国 · 明线:肥皂膜 · 极小曲面 · 气泡 · 规范场论 · 暗线:在断裂处看见——能量聚集的地方,新的结构开口说话
明线 · 一张肥皂膜 · 一个气泡 · 一种规整暗线 · 在断裂处看见1942— · 美国全龄通识 · 三层可读
题解这一册怎么读p.2

凯伦·凯斯库拉·乌伦贝克(1942— ),生于美国俄亥俄州克利夫兰。她是二十世纪后半叶几何分析这门学问的主要奠基者之一,也是二〇一九年阿贝尔奖的第一位女性得主。她一辈子做的事,可以概括成一句话:在几何与方程之间架一座桥——让「形状」的问题由「方程」来回答,再让方程的解变回可以看见的形状。

她做了三件事。第一件是一批定理:肥皂膜一样的极小曲面、拉紧的橡皮膜一样的调和映照——这些由「面积最小」「能量最小」造出来的形状,在哪些地方光滑、在哪些地方出裂缝。她给出了决定性的判据:裂缝处能量不散失,裂缝就可以被填平。第二件是一个现象:气泡。一串越来越好的近似解,能量可能在一点上聚成一个小泡——解在此处碎掉,却碎出一个新的、完整的形状。她与萨克斯一九八一年把这个现象讲清楚,此后它成为几何分析的日常语言。第三件是一座桥:物理学家为基本粒子写的杨–米尔斯方程,解在哪些点会「发炸」。一九八二年她证明:只要能量平方可积,奇点就可以去掉——物理的规范场论从此有了严格的数学地基。

明线四样:一张肥皂膜(面积最小的面)、一个圆锥(带尖点的解)、一个气泡(能量聚集成的新球面)、一种规整(把裂缝填平的定理)。

暗线一句:在断裂处看见——能量聚集的地方,新的结构开口说话。解在哪儿变坏,不是研究的终点,而是信息的所在:碎掉的那一点里藏着一整个球面。坏处即门径,这是这一册暗线的落点。

五幕:第一幕讲从克利夫兰到布兰迪斯(p.6—p.12);第二幕讲肥皂膜与极小曲面(p.13—p.19);第三幕讲气泡(p.20—p.26);第四幕讲规范场与可去奇点(p.27—p.33);第五幕讲桥梁与传承(p.34—p.40)。

三层读法照旧:故事层无需预备知识;数学层只用加减乘除、平方、开方与简单的面积公式(p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37),每一步都从头算起;注疏层给出原始论文、版本与研究文献,逐页可查。

引子不合时宜的学生p.3

一九四二年八月二十四日,她生在克利夫兰。父亲是工程师,家里搬过很多次——工程做什么,家就安在哪儿。这个孩子读书极快,什么都读,唯独没有把「数学家」三个字放进过自己的计划里。那不是一个供女孩选择的名字:她后来回忆,年轻时没人告诉她数学可以作为一生的事业,榜样一个也看不见。

她先进了密歇根大学,起初读的是物理。物理吸引她的是世界;可她慢慢发现,真正让她安心的不是现象,而是现象背后的结构——一条定理为什么必然如此,一步一步,容不下含糊。她转到了数学。一九六四年本科毕业,接着进研究生院。路上的劝告不断:有人说女孩子读数学读不下去,有人说这个行当不收她们。她后来把这段经历讲得很平静——不是没有怀疑,而是没有停。

研究生在布兰迪斯大学,师从帕莱斯。帕莱斯当时的志向是把「形状」与「变换」放进同一个框架——所谓整体分析:不只问一个方程有没有解,还问所有解放在一起构成什么样的空间。这个视野恰好给了她一生的方向:几何的问题,用分析(也就是方程)去做;方程的结论,落回几何去看。一九六八年博士毕业,论文做的是变分问题——从一个「面积最小」的要求出发,看解出的形状长什么样。

毕业那年她二十六岁。接下来的十年,她辗转于几所中西部的州立大学;那个年代,一位有家室的女子想在数学系拿到终身教职,路窄得近乎没有。她没有离开,也没有改口味——她挑的题目一个比一个硬:面积最小的曲面、能量最小的映照。这些题目有一个共同点:方程写得出来,解却处处藏着裂缝。

这本册子要讲的,就是一个人怎样在裂缝里做出一门学问。先看她一生待过的几间屋子。

引子三间屋子:布兰迪斯、中西部、奥斯汀p.4

她的学术生涯可以按三间屋子来分。布兰迪斯给了她方向(整体分析的视野);中西部的十年给了她题目(极小曲面与调和映照);德克萨斯大学奥斯汀分校给了她一间稳定的书房——一九八七年她受聘理查森讲席教授,在那里一待就是三十多年。

中西部十年值得单说。一九六八年毕业后,她在伊利诺伊大学芝加哥校区与厄巴纳校区之间辗转。这不是她的选择:夫婚两地,一套房子在一个城市,一个教职在另一个城市;加上当时公开的偏见——有同事直言数学系不该聘女性。她把这十年过成了另一种样子:教课负担重,发表论文的速度却一点不慢。一九七〇年代中期起,她接连拿出几篇后来被反复引用的论文,题目全是硬骨头。

一九八三年是转折年。她先拿到麦克阿瑟奖学金——那是这个奖项设立的头几年,得主里几乎没有数学家;同年她迁往芝加哥大学,四年后又迁往奥斯汀。此后荣誉接踵:二〇〇〇年获美国国家科学奖章,二〇〇七年获美国数学会斯蒂尔奖,二〇一九年获阿贝尔奖——这个奖一九九三年设立以来,第一次颁给女性。

三间屋子对照着看,正好是三种「看见」。布兰迪斯让她看见框架(问题该这样提);中西部让她看见裂缝(解在哪儿碎、为什么碎);奥斯汀让她看见传承(她带的博士后与学生把方法带到各地,她还创办了支持青年女性的暑期项目)。这一册的故事,大多发生在第二间屋子里。

下一页把这一册要讲的三样东西摆出来:一张肥皂膜、一个气泡、一座桥。

引子三样东西:肥皂膜、气泡、桥p.5

这本册子要处理三样东西。三样都朴素:一张肥皂膜、一个气泡、一座桥。可它们各自牵出这门学问的三个层次:形状、断裂与结构。

第一样是一张肥皂膜。铁丝环浸进肥皂水,拉出来,膜自动张成一张面——面积尽可能小的面。「面积最小」这个要求,几何学家叫它极小曲面。问一个铁丝框张什么形状,就是问一组方程的解长什么样:方程人人会写,解却可能带尖角、带裂缝。哪里光滑、哪里带尖,这便是第二幕的主题。

第二样是一个气泡。取一串越来越好的近似解——每一片膜都张得更好、能量更低。直觉说这串解应当越来越像一张理想的面。可一九八一年她与萨克斯发现:能量可能在某一点上不肯摊开,聚成一枚小小的圆泡——像香皂泡从水面升起。近似解碎掉了,碎掉的地方却补上一枚完整的球。裂缝不是终点:碎处生出新形状,这是这一册暗线的落点。

第三样是一座桥。物理学家为基本粒子写下的杨–米尔斯方程,是二十世纪物理学最深的方程之一;数学家却长期不知道它的解是否存在、坏在哪里。一九八二年她证明:只要能量平方可积,解的奇点个个可以去掉——物理方程从此立在了严格的地基上。此后几何学家顺着这座桥走进了四维空间的最深处。桥是第五幕的主题。

三样东西有一个共同点。它们都从「最小」下手:膜取面积最小,泡取能量最小,桥下的方程取作用量最小。「最小」二字听着温和,解却处处藏着裂缝。下一幕从厨房与书房共有的那张肥皂膜讲起。

第一幕 · 故事一九六八年,一间整体分析的讨论班p.6

一九六八年秋,波士顿近郊的布兰迪斯大学。数学系的研究生讨论班上,一位二十六岁的女博士生在做报告。题目听起来平静:由「面积最小」这个要求造出来的形状,长什么样。会场里没有人知道,这类「形状」内部藏着裂缝;更没有人知道,把裂缝讲清楚,会是往后五十年几何分析的主线之一。做报告的人叫凯伦·乌伦贝克。

她走到这间教室的路,比同届任何人都绕。一九六〇年在密歇根大学,她是物理系学生;转到数学系,是因为发现自己真正安心的是结构的确定——一条定理为什么必然如此,一步一步,容不下含糊。本科毕业进了研究生院,一路听着同一种劝告:这个行当不收女性、早晚要走人。她的回应不是争辩,是把题一道一道做下去。

在布兰迪斯,她遇到了导师帕莱斯。帕莱斯与同行们正在做一件当时很新的事:把「所有解放在一起」当成一个空间来研究。一个方程的解往往有无穷多个;与其一个个地解,不如问这族解整体的形状。这个视野后来叫整体分析。它给了她一生的工具箱:几何的问题交给方程,方程的结论还给几何。

她的博士论文挑了一类最朴素的变分对象。把一束方向钉在球面上,过原点张成一个锥——像一张从灯丝拉向四面八方的帐篷布。问题朴素:怎样的锥面积最小。这问题一代人之前就被证明藏有陷阱:在高维,最小的锥会在中心长出尖点。尖点是裂缝最初的样子。她论文里做的正是这类对象的稳定性——尖点出现时,一切如何崩坏。

这本册子从这一幕开始往下讲:先看「最小」两个字为什么有魔力,再看尖点怎么长出来。

第一幕 · 数学最小:肥皂膜的第一课p.7

「最小」的威力,先从一道两千年的题看起。用一段固定长度的绳子围出一块地,怎样围得的地最大。答案人人知道:围成圆。可是「人人知道」与「必须如此」之间隔着一整门学问。后者叫等周问题:周长固定,面积最大的封闭曲线是什么。答案在圆,证明却到十九世纪才完全站住。

用一把可以动手的尺看圆有多强。取周长都是 4π 的两块地。圆的半径 r=2,面积 A=πr2=4π。换成同样周长的正方形:边长 π,面积 π2≈9.87。而圆是 4π≈12.57——同样一圈栅栏,圆比方多圈近三成地。历史上算过多种形状:正三角形、正六边形、正八边形……边越多越接近圆,却永远差一点。

精确的说法是一条不等式。任何封闭曲线,面积 A 与周长 L 满足 4πA≤L2;等号成立当且仅当曲线是圆。把两个都围过的形状代进去:正方形 4πA=4π·π2≈124,而 L2=(4π)2≈158——不等式说:圆之外,周长总有浪费。

肥皂膜是这条不等式的活演示。膜张成什么形状,由「面积最小」独自决定,不由人的口味决定。两片玻璃之间吹一个泡,泡是球:体积固定时球的表面积最小——同一件事的另一半。几何学把这类由「最小」造出的形状收进一门学问:变分法。下一页看它怎么工作。

圆:周长 L=2πr,面积 A=πr2
同周长 L=4π:圆面积 4π≈12.57;正方形面积 π2≈9.87
等周不等式:4πA≤L2,等号当且仅当圆
比值 L2/4πA:圆=1,正方形=4/π≈1.27,正三角形=9/(π√3)≈1.65

第一幕 · 数学变分法:让形状自己走到位p.8

变分法的想法一句话能说完。要找「最小」的形状,不硬猜,而是把候选形状轻轻推一把——看面积是变大还是变小。最小的形状有个特权:怎么推,面积都不减。推不动,就是平衡。把「推不动」写成方程,解方程,形状自己走到位。发明这套手法的是欧拉与拉格朗日,十八世纪的事。

肥皂膜把「推不动」演给人看。取一个立方体铁丝框浸入肥皂水,拉出来:膜自动分成几片,把立方体撑出复杂的骨架。十九世纪比利时物理学家普拉托对着这些膜看了半辈子,记下一组观察:膜片相交时永远三片一组,两两夹角一百二十度;四条交线相遇时,彼此张成约一百零九点四七度。角度一个不多一个不少,分毫不差——因为只有这些角度让膜「推不动」。

一百零九点四七度可以从正四面体算出来。四条交线从一点指向正四面体的四个顶点,两两夹角相同。以该点为中心,取四条线上的等距点,构成边长为 a 的正四面体;中心到两顶点的向量夹角 θ 满足余弦定理 cosθ=−1/3——度数约 109.47。三片膜的 120 度更简单:三片对称相处,角度平分一圈的三分之一。

普拉托的观察,到一九七六年才由泰勒补成定理。她证明了:面积最小的面在骨架处只许这两种接法——三片一组夹 120 度,或四线一组夹 109.47 度;别的接法都能被局部微调减面积。「最小」由此显出它的严格:肥皂膜不折不扣执行一部几何法典。

平衡判据:面积最小的形状,任意微扰不减面积
三片膜相交:两两夹角 120°
四条交线相遇:cosθ=−1/3,θ≈109.47°
验算:cos2+2cos·cos=… 取顶点向量点积得 −1/3

第一幕 · 数学圆锥:带尖点的最小面p.9

平面上的「最小」好懂,锥把难度升上来。固定一束方向——球面上的一圈点,从原点向它们各引一条射线,射线扫出的面叫锥。问的是哪一束方向张出的锥面积最小。这就是极小锥问题。肥皂膜插在铁丝上张出来的形状,有时恰好是这种锥。

锥的面积可以动手算。把圆锥侧面沿一条母线剪开摊平,得到一个扇形;扇形面积等于弧长乘半径的一半。对底半径 r、高 h 的圆锥,母线 l=√(r2+h2),侧面积 S=πrl。取 r=3、h=4:母线 5,侧面积 15π。同一束方向的锥,面积都在这把尺下量得清清楚楚。

尖点从哪儿进来。锥只有一个中心点,所有母线在这里相会。二维的锥——平面上的角——尖得无害;可数学家在更高维数里发现:自某个维数起,面积最小的锥中心必是尖点,而且这尖点不是事故,是「最小」本身的产物。想用一串光滑面逼近它,逼近串的弯曲只会越来越陡——光滑方案在中心失效。

这正是乌伦贝克博士论文里的处境。她研究的就是这类锥的稳定性:在尖点附近,把形状轻轻扰动,面积怎么变。答案里藏着一个日后反复出现的主题:扰动到最细的地方,麻烦集中在一点上。一点上的麻烦,当时看是技术困难;十年后回头看,那是「气泡」最先露头的地方。

圆锥母线:l=√(r2+h2);例 r=3、h=4 得 l=5
侧面积:S=πrl=15π(上例)
扇形面积=弧长×半径÷2(剪开摊平所得)
极小锥:自 8 维空间起中心出现不可避免的尖点

第一幕 · 暗线被扔掉的那一半p.10

这一页不谈定理,谈一个习惯。几何学里也有「抹平」的惯例:方程的解不够光滑,教科书便说——这是奇点,是病态,排除在外;只研究光滑的部分。极小曲面的书里,尖点占半页纸,光滑部分占两百页。被扔掉的那部分,从来没人觉得可惜。

乌伦贝克的换位只有一个,却彻底。她不扔。别人问「光滑的解是什么样」,她问「解在哪儿碎、碎的时候能量去了哪儿」。一问才发现:碎点不是混沌的出口,而是规律最密的地方——碎点附近的能量有条不紊地聚拢,聚成一枚完整的球。把球接回去,近似序列就重新接得上。扔掉尖点,等于扔掉半个故事。

这也是暗线在第一幕的落点。裂缝里藏着形状,可这形状从没被「看见」过——不是眼睛看不见,是它先被归了类:奇点即失败,失败不配有形状。看见的第一步,是承认对象存在。肥皂膜的尖点、锥的中心、近似序列的断口,全是同一句话的三种说法。

还有一层值得记下。她求学时被劝退的经历,与数学里被扔掉的奇点,在纸面上毫无关系;可她后来的选题透露出一种一致的眼光:别人绕开的不完满处,她偏走进去。眼光比定理稀缺——定理可以查文献,眼光没法查。

下一页把几何与方程两条线正式接上:一间讨论班,两条线在画心相遇。

第一幕 · 交汇几何与方程相遇p.11

把第一幕的两条线接起来。一条线是几何:肥皂膜、圆锥、泡泡——眼睛看得见的形状,带着面积与尖点。另一条线是分析:偏微分方程与不等式——纸面上算得动的对象,带着条件与估计。两条线各走各的走了两百年;把它们缝在一起的动作,是布兰迪斯那间讨论班上的日常:写下方程,解出形状;看破形状,回头改方程。

缝针在哪儿值得看清。「最小」两个字。面积最小的形状,自动满足一组方程(欧拉与拉格朗日的推论);反过来,方程的某些解恰好长成极小形状。同一条缝隙的两面:几何看面,分析看方程。谁先动手都行,可两面都熟的人不多——工具在两套行当里各造各的。

这一步为什么是「看见」而不是「计算」。因为先到的不是证明,是认得。尖点附近能量聚拢——这个现象先被认出来,然后才有定理去证它、去算它的速率。能认出,靠的是把几何那一面看得熟:膜、锥、泡的形状在心里过过手。先认出,再回头补:那是后来许多论文的事。

于是有一条新的工作顺序浮出来。旧顺序:写下方程,求光滑解,绕开坏点。新顺序:解坏在哪儿,坏点里有什么,再把坏点接回去。这不是取代旧顺序——正则性照旧是数学的地基;只是地基之上,多了一种起步的方式。这一册接下来各幕,都按新顺序走。

几何与方程接上了,可「最小」的题目才刚开张。下一幕从一张真正的肥皂膜讲起:一个悬了两百年的问题。

第一幕 · 小结从克利夫兰到布兰迪斯教会的事p.12

第一幕讲完,把要点收一收。一条成长线:克利夫兰出生,密歇根转数学,布兰迪斯博士,论文研究极小锥的稳定性。一门功课:变分法——「最小」的形状自动满足方程,平衡角度可以被算出来(三片膜 120 度,四线 109.47 度),圆锥的尖点在高维不可避免。

三件事值得记住。第一,等周不等式是「最小」威力的样板:同样的边界,圆独占地最大,其余形状按比值排队。第二,变分法的核心动作是「推一把」:推不动的形状才是解;角度与平衡全是推不动的推论。第三,尖点不是事故:在足够的维数里,「最小」本身生产尖点——光滑的想象在那里失效。

还有一个方法论的收获。数学里的「病态」常常是词汇的墙:几何学家说「尖点」,分析学家说「奇点」,说的是同一个中心点,两边都听不懂对方。把墙拆掉的,先是两面都看过的人。她两面的功夫,正是在两套行当的缝隙里练成的。

最后记一个人物细节。她把受劝退的经历讲得平静——不是没有怀疑,而是没有停。这句话在当时只是私人勇气;十年后,当整个领域都要面对「解在哪里碎」的难题时,那种在无人区里不停步的习惯成了专业方法。直觉不产生结论,它决定人看见什么。

下一幕是这一册最有厨房气息的一段:一张肥皂膜、一个悬了两百年的问题,与一份写于教学间隙的定理。

第二幕 · 故事教学间隙里的定理p.13

一九七〇年代中期,伊利诺伊大学厄巴纳校区。白天她在教室里讲课,晚上回家写自己的论文。教学负担不轻,孩子年幼,可那几年她接连写出一批日后被反复引用的东西。题目都有一个共同的骨架:由「能量最小」造出来的解,光滑性到底如何——哪里光滑,哪里出裂缝。

一九七七年,她的正则性论文在《数学学报》发表。论文研究的对象是能量积分的极小解:把一个映射的变率平方积分起来,找让积分最小的映射。直觉说,最小的解应当光滑——能量都省下了,怎么会突然抖动。可直觉错了:在高维,这类极小解确实会在某些点上失去光滑。她的定理给出一张精确的地图:坏点只占极小的集合;而在坏点附近,解的形状被一族标准模型牢牢管住——不会乱。

论文里有一个后来以她命名的结构。越靠近坏点,解的样子越趋向一个固定的极限形状——像夜行列车上望远处的高塔:越近,塔的轮廓越清楚,最后只剩一个标准剪影。这个「坏点处有标准剪影」的观察,后来被同行称为乌伦贝克结构,成为一整类定理的模板。

这篇论文在当时只是一步,却在十几年后显出分量。一九八〇年代,几何学的两大突破——四维空间的微分结构、物理的规范场——都需要同一件工具:判断方程的解会不会在某个点上「发炸」。判断的样板,正是她一九七七年的做法。那是后话;这一幕先把「膜」与「奇点」的地基打好。

先回到厨房里那张膜:它有两百年历史的一个问题悬而未决。

第二幕 · 数学两个圆环之间:悬链面p.14

肥皂膜最经典的一出戏:两枚平行的铁丝圆环,浸入肥皂水再拉出。膜在两环之间张成一张收腰的曲面,像一座鼓形的塔。这张面有个名字:悬链面。它是极小曲面家族里最有名的一员——而且有项纪录:在「绕一根轴旋转出来」的曲面里,除平面之外,它是唯一的极小曲面。悬链面的方程与验证,欧拉与拉格朗日在十八世纪六十年代前后给出。

它的腰是悬链线。把一条链条两端固定、自然下垂,链子垂出的曲线叫悬链线。数学上写成 y=c·cosh(x/c),其中 cosh 是双曲余弦:cosht=(et+e−t)/2。取 c=1:在 x=0 处 y=1,这就是腰;往两边,曲线按 ex/2 的速度上翘。让这条曲线绕水平轴转一圈,扫出的面正是两环之间的那张膜。

「极小」可以从腰上验一下。在腰部取一小块,沿上下方向压一压、沿水平方向拉一拉:两个方向一凹一凸,面积的变化恰好抵消——这一块推不动了。极小曲面的判据正是这个:每一点的每个方向都推不动。写成方程,就是极小曲面方程。悬链面逐点满足它。

可是膜的形状不止一种。两环拉得稍远,膜会「断」——收腰断成两片各自贴环的圆盘;两环靠得近,除悬链面外还可换上一对平面圆盘加一枚环内小膜。同一副铁丝框,膜会在几种形状之间跳。哪一种真正最小,与环距有关;而每一种候选都要查一遍:它内部有没有裂缝。这一幕剩下的篇幅,全在回答这句话。

双曲余弦:cosht=(et+e−t)/2;cosh 0=1
悬链线:y=c·cosh(x/c);绕水平轴旋转得悬链面
悬链面=旋转曲面中除平面外唯一的极小曲面
极小判据:每点每方向微扰,面积一阶不变

第二幕 · 数学伯恩斯坦问题:一列楼梯p.15

「裂缝在哪儿出现」,这个问题有一道漂亮的入口:伯恩斯坦问题。一张膜的形状若能写成函数 z=f(x,y)——一个铺满整个平面的极小图——那它是不是只能是平面。一九一〇年代,伯恩斯坦对两个自变量的世界证明:是的,只能是平面。一个问题就此挂起:三个自变量呢,四个呢。

楼梯一级一级搭上去。一九六九年前后,德乔吉把第三级接上:三个自变量,仍只能是平面;阿尔姆格伦接上第四级;西蒙斯把第五、六、七级一并接上:自变量至多七个,铺满全空间的极小图必是平面。到此为止,光滑是全部真相——没有裂缝。

然后第八级踏空。同年,邦别里、德乔吉与朱斯蒂构造出反例:八个自变量起,存在铺满全空间、却绝不是平面的极小图——一张处处弯曲、整体无限延展的膜。楼梯在第八级断了:光滑的独裁在七维以下成立,八维起被推翻。极小图的世界从此分成两段:低维秩序井然,高维藏着非平面的解。

这张楼梯与乌伦贝克的地图接得上。「哪里必有裂缝」从此有了精确的维数刻度:七是分水岭。而分水岭两侧共用的工具——密度与单调性——正是她那代人所打磨的器械。第八级断口处不是空白:那里站着一张非平面的膜,膜的中心就是尖点。裂缝成了疆域,接下来量它的尺寸。

极小图 z=f(x,y)(2 自变量):必为平面(伯恩斯坦 1910 年代)
3 由德乔吉、4 由阿尔姆格伦、5—7 由西蒙斯:仍必为平面
8 起:存在非平面的整体极小图(邦别里–德乔吉–朱斯蒂 1969)
分水岭:自变量个数 7

第二幕 · 数学量裂缝的尺:密度与单调性p.16

裂缝看不见,但可以量。在曲面上取一点,以它为心画一个半径 r 的小圆窗,数一数窗内那片面的面积。球是现成的算例:半径 r 的球,面积 4πr2,除以 r2 得 4π——这个比值与球的大小无关。一张面在一点附近的「面积密度」,就用这种比值来定义:窗画得越小,比值越趋近一个数,那个数叫密度。

极小曲面有一条出人意料的单调律。对极小曲面,密度随窗口缩小不会变小——只增不减。这是极小性的直接推论:面积既然在处处「省」,小窗里的面积就不会比比例预期的更少。单调律给了数学家一件尺:拿密度去量任何一点,量出来的数不依赖手艺。

这把尺立刻量出两件事。第一件:光滑点的密度是 1——面在附近摊得均匀;尖点处密度大于 1:面在附近「挤」了不止一层。第二件:密度有上界,且坏点若成串,串的规模被死死压住——坏点集合在维数上够不着一整片面,只能占低维的骨架。裂缝从模糊的「病态」变成了有尺寸、有维数的疆域。

乌伦贝克一九七七年的地图,用的正是这类尺。坏点集合测度极小、坏点附近密度被标准模型接管——两句话合起来,就是那张地图的经纬。量裂缝的尺在先,填裂缝的定理在后:下一幕里,近似序列碎成泡的那一点,也要用同一把尺量。

密度:比值(圆窗内面积)/r2 在 r→0 的极限
球算例:4πr2/r2=4π,与 r 无关
单调律:极小面的密度随窗口缩小只升不降
读数:光滑点密度=1;尖点密度>1

第二幕 · 暗线给坏点画地图p.17

十九世纪的几何学家遇到尖点,反应是划走:这块是病态,不研究。二十世纪中叶,处理方式进了半步:证明坏点「很少」——测度为零,于是定理可以声明「除一个小集合外处处光滑」。小集合被括号括起来,像脚注。乌伦贝克那代人把半步走成了整步:坏点不但要括号,还要地图——集合多大、在哪个维数、附近长什么模型,一样样量出来。

量出来之后,坏点反而安静了。七个自变量以下根本没有坏点(伯恩斯坦楼梯前七级);八个起,坏点被压在极薄的骨架上;每个坏点附近,形状趋向一个标准剪影。恐惧来自未知:当裂缝有了维数、有了密度、有了模型,它就从「数学的反面」变成了「数学的一部分」。

这也是暗线在第二幕的落点。断裂处有信息——这句在第一幕还只是态度,到这里已是技术:断口处的密度读数、断口处的极限剪影,都是定理的内容。看见坏点,不是原谅了不完美;是发现所谓不完美处,结构最密。

还有一层值得记下。她一九七七年的论文写在教学与家事的缝隙里,用的工具一半来自意大利学派的几何测度论(德乔吉一路),一半来自她自己打磨的估计。学院派把这类工作叫「技术性的」;十几年后人们回头才看清:所谓技术,正是此后一切大定理的地基。地基没有庆典,楼房先要盖上去才想起它。

下一页把几何与分析在这张地图上正式合流。

第二幕 · 交汇膜与地图合流p.18

把第二幕的两条线接起来。一条线是膜:悬链面收腰,两环拉远会断,断口是裂缝。另一条线是地图:密度、单调律、维数刻度、标准剪影——裂缝被量成疆域。两条线在「极小」的要求下本是一体:膜是几何的一面,地图是分析的一面;合流处,膜上的每个尖点都领到一份档案。

合流的钥匙值得看清:「推不动」在两个世界里各有一套语言。几何的语言是角度与面积——三片膜 120 度;分析的语言是估计与收敛——密度只升不降。同一件事的两面。会两套语言的人把话对上,定理就出来:泰勒一九七六年的奇点分类,一半是几何(角度),一半是分析(测度)。

这一步为什么还是「看见」而不是「计算」。因为先到的是认得:膜在两环拉远时断开、断口上能量聚拢——这现象每个玩过肥皂水的人都撞见过;把「断口值得研究」当成课题,却是眼光。先认出,再回头补:为什么断口必然长成标准形状,那是下一幕的正题。

于是新顺序再进一步。第二幕的顺序:先看见膜会断,再量出断口的尺寸,最后才有定理说明断口为何如此。看见、测量、证明——三层接力。这一册接下来各幕,还是这个走法。

膜与地图合流了,可「最小」的题目还剩最大的一块:一串近似解碎掉的瞬间。下一幕从一串越来越好的膜讲起。

第二幕 · 小结膜与裂缝教会的事p.19

第二幕讲完,把要点收一收。一张膜:两环之间张成悬链面,收腰极小、却会在环距拉远时断开。一道阶梯:伯恩斯坦问题七级搭起、第八级踏空——七个自变量以下极小图必平,八个起出现非平面的解。一把尺:密度与单调律,把裂缝量成有维数、有读数的疆域。一张地图:乌伦贝克 1977 年的部分正则性定理——坏点极少,坏点附近有标准剪影。

三件事值得记住。第一,「极小」由「推不动」定义:角度与平衡全是它的推论。第二,裂缝的出现有维数刻度:七是伯恩斯坦问题的分水岭。第三,坏点可以量:密度读数区分光滑与尖点,单调律保证读数可靠。

还有一个方法论的收获。脚注与地图的区别,是处理未知世界的两种态度:前者把不理解的括起来,后者把不理解的部分画出来。画出来的世界里没有怪物,只有尚未命名的省份。数学的版图,多半是这样一寸寸扩出来的。

最后记一个人物细节。一九七七年的论文发表时,她三十多岁,教书与带孩子的间隙写成。论文里没有一个惊人的猜想,只有一整套把裂缝量干净的器械。器械的价值要等使用者上门——上门的人几年后就到,带着一个物理学来的问题。

下一幕是这一册的核心:一串越来越好的解,碎成一枚气泡。

第三幕 · 故事一串不肯到达的解p.20

一九七〇年代末,厄巴纳。她的博士生萨克斯带来一个看来水到渠成的问题:两张曲面之间,能不能搭一张「绷得最紧」的膜——能量最小的映照。直觉说能:能量往小里走,总该有个底。可细心一查,直觉错了。取一类合理的曲面做起点,把「绷紧」的过程一步步逼近:每一步都更好,每一步都不是最优,而极限处——能量凭空漏掉了一截。

漏掉的能量像什么。像一串越来越小的肥皂泡:每枚泡都比前一枚小,可枚数无穷,加起来却占掉一块能量。逼近序列越来越好,好到极限处忽然「漏」了——想找的最优解没有出现,出现的是它的一串影子。数学家给这现象起了个名字:能量不达到。存在性问题卡在这里,一卡几年。

师徒二人换了个问法。既然「最小」的解不肯出现,那就盯住这串逼近序列本身:它碎在哪里、碎的时候长什么样。他们先给能量加一点点「刚度」——研究一族略微修改过的问题,每个都保证有解;然后让刚度一点点撤走,撤回原题。撤的过程中,解序列的行为被全程记录:哪里光滑、哪里发紧、能量从哪里漏。

答案在一九八一年揭晓,发表在《数学年刊》。漏掉的能量没有消失:它在一点上聚成一枚完整的球——一张从二维球面出发的调和映照,像一滴从膜上挣脱的泡。序列碎掉的地方,长出了新的解。论文给这枚泡起了后来的通名:气泡。此后它被写进了各国的教材。

这一幕先看「能量」怎么算,再看气泡怎么长出来。

第三幕 · 数学能量:绷紧程度的账本p.21

「绷紧」要有账本。给一张膜(也就是一个映照)记账:膜上每一点都被推到了新位置,推的距离与方向合成一个「变率」;把每一点的变率平方加总——准确说,作积分——就是能量。能量越小,膜绷得越匀;能量最小的映照,叫调和映照。名字来自它与调谐振动的老亲戚:都是「让总账最小」的解。

先看一个能动手的例子。把一根圆周映到另一根圆周:起点绕一圈,终点也绕一圈,映照由一个角度函数决定。取「匀速绕」的映照:变率处处相同,能量等于变率平方乘总长——账本上一笔平账。若把映照改成忽快忽慢,平方会把快段重罚(平方放大差距),总账只多不少。平账即最小——这是调和映照最简单的样子。

能量的账本有个惊人的性质:不怕放大。把整张膜均匀缩小 r 倍再看同一个映照:变率放大 r 倍,平方后放大 r2 倍;可参与积分的面积缩小 r2 倍——一涨一消,总能量分文不动。这不是巧合,是二维能量的特质:缩放不变。记一笔:气泡之所以是「球」,根子在这条不变性上。

缩放不变的后果很霸道。它意味着「局部」与「整体」在二维能量面前平权:一枚芝麻大的泡与一整张膜,用同一把账本记。于是逼近序列无论多乱,只要能量有总账上限,每一小片都可单独审计——审计的方法,就是下一页的气泡。

能量:E(u)=∫|∇u|2(变率平方的积分)
圆周匀速映照:变率恒定,能量=变率2×总长
缩放:ur(x)=u(rx),则 E(ur)=E(u)(二维)
调和映照:能量的极小点(局部推不动)

第三幕 · 数学气泡:能量聚成球p.22

气泡是怎么被「看见」的。盯住逼近序列里能量最密的一小片:以能量最集中的点为心,把那一片反复放大——放大到原来的十倍、百倍、无穷倍。缩放不变保证能量在放大下不缩水;于是极限里浮出一枚完整的对象:一张从球面出发的调和映照。序列碎掉的那一点,在放大镜下不是空白,是一整枚球。

泡的「个头」有下限。从球面映到球面、绕一圈的调和映照,能量有硬下限:4π——恰好是一个单位球面的面积。这不是巧合:二维调和映照是「面积的单调朋友」,它的能量至少盖住所扫过的面积;绕一圈至少盖住一张球面。绕两圈下限翻倍:8π。气泡不是碎屑,是有定量身家的完整对象。

能量守恒是气泡定理的核心。原问题的总能量有上限;序列收敛的部分带走大头,每一枚泡各带走一份,所有份额加起来不超过总账。于是碎裂是「分家」:家产清清楚楚——极限映照一份,气泡一枚一份。漏掉的能量去哪儿,有了精确答案。

气泡一枚还不够。泡上还能再鼓泡:放大一层,看见一枚泡;再放大,泡上又浮出一枚。层层剥下去,得到一串渐渐变小的球——后来叫气泡树。总账封顶保证层数有限:能量每层至少 4π,总能量有限,剥几层就见底。碎裂的世界有结构,不止有现象。

放大镜:ur(x)=u(x0+rx),r→0 取极限
泡的下限:E≥4π×度数(球面映球面绕 k 圈,E≥4πk)
能量分家:E(总)=E(极限映照)+ΣE(各泡)(上限意义下)
气泡树:泡上鼓泡;层数≤总能量/4π

第三幕 · 数学刚度:先把问题钉住p.23

气泡好看,可要先能「钉住」序列。原题的能量对缩放太宽容:序列可以到处乱跑而不违反任何约束。萨克–乌伦贝克的办法是先加刚度:把账本改成 ∫(1+|∇u|2)α 的形状,指数 α 比 1 大一点。平方被更高次一管,变率大的地方重罚加倍——序列被钉住,收敛有了保证,修改后的问题每一步都有解。

钉住之后,再让刚度退潮。令 α 沿着 1 的方向退回去:α=1.1、1.01、1.001……每撤一步,解序列都重新记录一遍。退潮的过程中,原题的「影子序列」现出原形:光滑的部分稳稳定住,能量密集的一点处鼓出气泡。刚度是脚手架——房子(定理)盖好后拆去,墙体(原题的解)自己立着。

这套两步法此后成了标准器械。先加参数保存在性,再取极限看碎裂——被后人反复搬用:热流、波映射、规范场,一路都有同款的「加刚度—退潮」论证。1981 年论文的价值因此有两层:一层是定理本身(存在极小球面),一层是器械(两步法)。

器械与上一幕的尺子合璧。密度尺量「坏点有多少」,刚度法量「坏点上发生了什么」:前者给疆域画边界,后者给断口拍特写。两件器械合用,几何分析的标准作业流程就此定型——下一幕它要迎战一个物理学来的大题目。

刚度账本:Eα(u)=∫(1+|∇u|2)αdv,α>1
退潮:α 自上方趋近 1,逐步记录解序列
两步法:先保存(收敛)→ 再碎裂(气泡)
同款器械:热流、波映射、规范场诸问题

第三幕 · 暗线碎掉的地方长出球p.24

存在性失败,在数学里历来算坏消息。一个问题问了「有没有」,答案是「没有」或「不知道」,这一页通常就翻过去了。萨克–乌伦贝克的气泡把剧情倒转:逼近序列碎掉的地方,恰恰站着原问题想要的对象——一枚调和球面。找最优解没找到,碎片的每一枚却都是另一个问题的标准答案。

倒转的机制值得看清。碎裂不是混乱,是能量的重新编队。总能量守着上限,哪里都摊不薄、又必须有个去处,于是聚成球——而球面上的调和映照正是又一个变分问题的解。失败的序列里住着成功的解:这不是安慰话,是不等式算出来的。

这也是暗线在第三幕的落点。「断裂处有信息」到本幕升级成「断裂处有对象」:第一幕的尖点是形状的信息,第二幕的密度是尺寸的信息,第三幕的气泡干脆是一个新的几何对象。信息一层比一层「实」。数学里最贵重的发现,常常就住在定理够不着的那一点上。

还有一层值得记下。这个发现的出身是「退而求其次」:师徒二人原想证明存在性,被卡住,回头去审问那串失败的序列。审问用的是最笨的办法——放大、再看、再放大。笨办法撞见了泡。聪明的问题常常要笨功夫来接生;而笨功夫的前提,是不肯把失败当废纸扔掉。

下一页把「失败生产对象」变成一条正面的定理。

第三幕 · 交汇失败里长出定理p.25

把第三幕的两条线接起来。一条线是失败:极小化序列不肯收敛,能量在一点漏掉。另一条线是收获:漏掉的能量凝成泡,每枚泡都是调和球面。萨克–乌伦贝克把两条线拧成一条正面定理:任一紧黎曼流形里,必存在极小的二维球面——要么能量下界被原序列达到,要么气泡替它达到。

这条定理的形状值得端详。它不是一个「解出来了」的定理,是一个「一定有」的定理:不管流形多扭曲,极小球面总在。有了这一点,几何学家就领到一件新工具:想知道流形的内部结构,先找它的极小球面——球面的存在与排布,反过来泄露流形的秘密。失败的分析,变成了勘探的钻头。

这一步为什么仍是「看见」优先。气泡不是先被证明、后被观察的:它先在逐层放大的目视经验里现形(序列在一点越缩越紧、剪影越来越圆),然后才有守恒与下限把它锁成定理。看见、测量、证明的接力,在本幕走完一轮完整的三棒。

于是地基齐了。膜(极小曲面)有了地图,泡(气泡)有了守恒律,两步法有了模板。一套针对「能量聚集」的完整器械立起来,而它的下一个用户,带着一个物理世界的问题已在门外:杨–米尔斯方程的解,会发炸吗。

下一幕从一间物理系的报告厅讲起。

第三幕 · 小结气泡教会的事p.26

第三幕讲完,把要点收一收。一本账:能量是变率平方的积分,二维能量在缩放下不变。一串序列:能量最小的候选解可以碎裂,能量在一点聚成一枚调和球面——气泡。一件器械:加刚度、再退潮的两步法,把碎裂的全过程记录成定理。一条正面结论:任何紧流形里必存在极小的二维球面。

三件事值得记住。第一,缩放不变是气泡的温床:局部与整体平权,芝麻大的泡与整张膜用同一本账。第二,泡有定量身家:能量至少 4π 乘度数,总账封顶故层数有限——碎裂有结构。第三,失败可以是原料:逼近序列的断口上,站着另一问的完整答案。

还有一个方法论的收获。「最小」的目标达不达到,与「过程」里发生了什么,是两个问题。盯着目标的人一无所获,盯着过程的人收下气泡树。过程比目标诚实:它把每一步的代价都记在账上。

最后记一个人物细节。这项工作是她与学生合写的。多年后她谈起指导这件事,说过大意如此的话:好导师不是给出答案的人,是挑出那种连导师也不知道答案的问题的人。师徒并肩面对一串不肯到达的解——那间办公室里的平等,比任何荣誉都更早地属于她。

下一幕换一门语言:物理学家写在纸上的方程,与一位要把它变成数学的人。

第四幕 · 故事一九七七年,一间报告厅的悬请p.27

一九七〇年代行将结束,物理学家与几何学家坐在同一间报告厅里。物理学家带来的理论叫杨–米尔斯:把基本粒子间的力,写成一种几何——「场」是曲面上的联络,「力」是联络的曲率。这套语言漂亮极了,可数学家举手提问:这些方程的解存在吗、坏点怎么办。报告厅安静了——那几年的物理学论文里,方程写在纸上,解的存在却靠约定俗成。

提问的人里有几何学家辛格。他从物理学开完会回来,在牛津把杨–米尔斯讲给纯数学的同行听:这套方程是椭圆型的,四维空间是它的家;物理学家已经在上面找到了一种奇美的特解——瞬子,能量取最小的「自织的结」。辛格的悬请归结为一句话:谁来做严格性。听众里,一件器械早已备好的人不多,乌伦贝克是其中之一。

她接下的题目比气泡更险。气泡是解的序列碎掉;这里是单个的解——联络——本身带着坏点:在某个点上曲率可能「发炸」,方程在那里失去意义。要紧的问题有两个:坏点真的会炸吗;若炸,是方程的毛病,还是描述的毛病。这两个问题她分别在两年里作答——一九八二年与一九八三年,两篇论文,各管一问。

答案的形状先剧透一句。发炸是假象:只要能量平方可积,所谓奇点个个可以去掉——换一副「眼镜」(数学的说法是换一个规范),炸开的联络恢复光滑。物理方程立在数学地基上。这一幕先补齐语言:联络、曲率、规范——三个词过一遍。

第四幕 · 数学联络与曲率:势与场p.28

规范场论的三个词,电磁学里有现成的影子。第一个词是联络:在空间的每一点配一个「怎么比较相邻两处的方向」的规则——好比给山坡上每一点配一个「哪边是下坡」。电磁学里它是势;数学里它是联络。第二个词是曲率:联络沿着小环路绕一圈,方向对不上的差值——好比坡上走一小圈回到原地,方位角却差了一点。电磁学里它是场强;数学里它是曲率。

势与场之间有一条铁律。知道势可以算场(求导即可);知道场却未必还原出唯一的势——差一个「规范变换」:把每一点的方向参照系各转一个角度,联络随之变样,曲率纹丝不动。物理学家说:场是实在,势里有一半是描述的余地。这份余地叫规范自由——它后来越来越重要。

能量把两者连起来。把曲率的「大小」平方后积分,就是这个场的能量:数学写法 E=∫|F|2,其中 F 是曲率。电磁的算例现成:空间一团磁场,能量是磁场平方的积分——库仑场可动手验证,积分收敛、能量有限。杨–米尔斯的能量同型,只是曲率更复杂(带着方向与群)。

关键的问句现在可以问了。杨–米尔斯的解——那些满足场方程的联络——会坏在哪儿:曲率 F 在某一点是否可能突然发散,让方程在该点失去意义。答案分两步:先定「什么算坏」(曲率平方不可积与否),再问「坏了能不能救」。下一页从「炸不炸」的判据说起。

联络=势(比较相邻处方向的规则);曲率 F=场强(绕环路的差值)
规范变换:换参照系,联络变、曲率不变
能量:E=∫|F|2(曲率平方的积分)
问句:F 会在一点「发炸」吗——看 |F|2 是否可积

第四幕 · 数学瞬子:能量最小的结p.29

一九七五年,物理学家在四维欧氏空间里找到一类奇美的解。它们把杨–米尔斯能量压到最低,像一张自己织好的结:空间任何处曲率均匀,「结」的整体却扭出一个绕数。后来它们得名瞬子——瞬间的子,因为它们生活在「虚时间」的四维欧氏空间里,描述量子隧道般的过渡。名字是物理的,形状是几何的:一枚自对偶的联络。

「压到最低」可以算。先记一件拓扑事实:每个杨–米尔斯解都背着一个整数 k——绕数,描述「结」自缠的圈数;这个整数在连续变形下不变。再记一条不等式:能量 E≥8π2·|k|。自对偶解恰好取等号:绕数 1 的瞬子,能量 8π2≈78.96,一分不多一分不少。能量按整数台阶分层——这是拓扑在给几何定价。

整数台阶的后果比数字本身大。能量被拓扑「钉死」在离散的层上:解的序列想连续滑动,能量却不允许——台阶与台阶之间没有立足之地。于是四维杨–米尔斯的世界天然带着一副「防抖」的骨架:能量层面的一切变化都被整数管着。物理学家的直觉由此获得数学的形状。

可是骨架只管「好」的解。瞬子是最优解;一般区域的杨–米尔斯解未必是瞬子,也可能带着坏点:某处曲率堆积、方程失效。瞬子的存在抬高了期望:这样美的方程,解该是规整的。规整与否,要看坏点的能量账本——这正是下一页的主题。

绕数 k:连续变形不变的整数(拓扑荷)
能量下限:E≥8π2|k|;自对偶解取等号
瞬子(k=1):E=8π2≈78.96
能量按整数分层:拓扑给几何定价

第四幕 · 数学可去奇点:炸点是假象p.30

一九八二年的论文回答「炸不炸、坏在哪」。定理的陈述如今写在每一本规范场教材里:四维空间中一枚杨–米尔斯联络,若在挖去一点的小球里能量平方可积——∫|F|2 有限——那么这个「奇点」是假象:存在一个规范变换,换镜之后联络光滑地延过那一点。炸点不是解的缺陷,是描述的缺陷。

证明的钥匙是一笔能量账。能量 ∫|F|2 总量有限,那么一层套一层的球壳分走的总账也有限。有限个数相加,必有一层的份额任意小——取一串半径 r1、r2…… 越缩越小的球壳,使每层壳上的能量趋于零。壳上曲率极小,这是撬动全局的支点。

支点撬出眼镜。在能量极小的壳与壳之间,可以用规范自由给联络「梳头」——选定一种最平顺的参照系(数学的说法:库仑规范),让联络本身也小下来。梳好之后,联络满足的方程从「未知大小」变成一桩温和的椭圆方程;而椭圆方程的解在系数光滑处光滑——延拓水到渠成。炸开的是旧参照系里的描述,不是解本身。

定理一出,地基就位。物理学家约定俗成使用的解,凡能量有限的,如今个个在数学上合法;坏点的存在不再阻断任何推理。一九八三年她再补一刀:曲率 Lp 可积的联络一族,在同一副规范下集体受控——后世称乌伦贝克紧性。两篇论文合起来,是规范场论的全套地基。

定理:∫|F|2 有限(挖点小球上)⇒ 奇点可去
能量账:Σ(壳层能量)=∫|F|2<∞ ⇒ 可选壳层能量→0
梳头:库仑规范 ΔA=−d*F(「A 的散度归零」)
1983 续篇:|F|2 可积一族 ⇒ 统一规范下集体受控

第四幕 · 暗线换一副眼镜p.31

前三幕的坏点都是真的。锥的尖点是形状固有的;气泡是能量真实的去向;密度读数量的是面的真性情。第四幕的「奇点」却与前不同:换一副眼镜它就消失。同一样东西——一枚联络——在一个参照系里发炸,在另一个参照系里光滑。炸与不炸,取决于谁在描述。

这一层与前三层叠起来,暗线多出一个维度。断裂处有信息——前三幕说的是「对象自己」在断裂处说话;第四幕补上「观察者」的位置:有些断裂不属于对象,属于描述。分清这两类断裂,是一切严格性的起点。她的定理之所以是地基,正因为它替整个学科做了这次分诊:哪些炸是真的,哪些炸是眼镜的。

分诊的手法有一个朴素的内核。规范自由本是一桩麻烦——描述带着多余的余地;她把余地变成杠杆:既然描述可以换,就换到对证明最有利的那一个。多余的自由不是负担,是选择权。这与其说是一步技术,不如说是一种观察世界的姿势:把系统的冗余列出来,然后挑一个最好的角度。

还有一层值得记下。物理学家早已在计算里默许「换镜不换物」;把这份默许写成定理,需要的是另一套训练:知道什么时候允许换、换完之后什么还在。桥的两岸说着同一种语言之前,各自都以为自己的话就够了。数学与物理这一回的相遇,两岸都有功劳;把桥墩浇下去的,是可去奇点这样的定理。

下一页看这座桥通车之后运走了什么。

第四幕 · 交汇桥通车之后p.32

把第四幕的两条线接起来。一条线是物理:杨–米尔斯方程与瞬子,严格的解欠着地基。另一条线是数学:气泡与正则性的器械,正愁没有大梁可架。一九八二年与一九八三年两篇论文合龙:能量有限的解个个合法,一族解集体受控。桥一通车,立刻有重车过桥。

第一辆重车,是一九八〇年代最惊人的几何发现之一。唐纳森把瞬子的模空间——全体自对偶解排成的空间——当成一件探测仪器去量四维空间:量出四维微分结构的奇景。整套计算悬在一件小事上:模空间得是干净的空间,不能处处是洞。补洞的正是可去奇点与紧性——桥的地基直接垫在他脚下。

第二辆重车朝物理学开回去。有了严格的模空间,物理学家在纸上的计数(瞬子贡献)第一次有了数学的身份;后来的许多对应与不变量,都从这枚地基上生长。数学与物理的对话,靠的不是客气,是可以逐行核对的语言。规范场的严格化是那次对话里最要紧的一次翻译。

这一步为什么还是「看见」优先。模空间是什么形状,先靠具体的例子「看」出来——瞬子长什么样、何时退化成两枚小瞬子;退化方式的规律(气泡式分裂)先被认出,再被紧性定理锁住。第三幕的气泡在第四幕换了行头又出现一次:能量聚集的语法是同一套。

桥通了,车过了,名声也来了。下一幕回到她自己:一间稳定的书房,一串她带出来的人。

第四幕 · 小结规范场教会的事p.33

第四幕讲完,把要点收一收。三个词:联络是势,曲率是场,能量是曲率平方的积分。一个下限:能量按绕数的整数台阶分层,自对偶解取等号——瞬子。一条定理:能量平方可积,则奇点可去——发炸是描述的假象。一件器械:乌伦贝克紧性,让一族解在同一副眼镜下集体受控。

三件事值得记住。第一,拓扑给几何定价:整数台阶让能量的变化离散化。第二,坏点分两种:对象真的坏了,与描述的眼镜坏了——分清它们是严格性的起点。第三,描述的余地可以变成杠杆:规范自由不是负担,是选择权。

还有一个方法论的收获。跨行的相遇需要一个双语者:物理有直觉与约定,数学有定义与证明;中间隔着的是「允许换什么、什么不变」的清单。辛格把问题搬过桥,乌伦贝克把地基浇在桥心。大问题的解决常常这样分工:有人指出桥该架在哪,有人真把它架起来。

最后记一个人物细节。两篇论文的篇幅都不长:一九八二年那篇不足二十页。此后四十余年,引用它的清单从几何一路排到物理。短论文扛长岁月,靠的不是修辞,是定理一寸不让的边界:条件说清,结论说死,其余留给时代。

下一幕回到人本身:荣誉、学派,与一座她亲手搭起来的桥——通向后来的人。

第五幕 · 故事奥斯汀的书房与一串名字p.34

一九八七年,德克萨斯州奥斯汀。四十五岁的她受聘德克萨斯大学数学系的讲席教授——一份体面、稳定、不再需要每年证明自己的职位。此后的三十多年,她在这里做研究、带学生、把几何分析的一方疆土经营成学派。中西部辗转十年换来的那间「稳定的书房」,这次是真的。

书房外发生的事更值得记。她带的博士与博士后一批批走向各地,把气泡、紧性、规范场的语言带到不同的系。她带学生的方式有点特别:问题给得大,路让年轻人自己找;她后来说过大意如此的话——许多导师怕学生撞墙,她觉得撞墙也是课程的一部分。到这一册写作时,由她直接、间接带出的几何分析学者已经排成几代人的名单。

一九九〇年代,她做了一件在数学界并不常见的事。与同行女数学家一起,在普林斯顿高等研究院办起面向女性学生的暑期数学项目:每年夏天,把本科生与研究生请到一起,上真正的数学课、见真正的数学家。项目的立意朴素:让「数学家」这个名字早点出现在年轻女性的视野里——她年轻时缺的那个榜样,由她来补。

荣誉也在这些年里排成长队。一九八三年麦克阿瑟奖学金;二〇〇〇年美国国家科学奖章;二〇〇七年美国数学会斯蒂尔奖;二〇一九年阿贝尔奖——设立二十六年来的第一位女性得主。挪威科学院的表彰词把她的一生浓缩成一行:几何偏微分方程、规范理论与可积系统的开创性成就。

荣誉是回声,回声之前是声音。这一幕先把她的器械箱打开看看:那些定理后来怎样变成一门学科的家常饭。

第五幕 · 数学四维的独特:能量不怕缩放p.35

杨–米尔斯的能量住在四维空间里,这不是巧合。二维的能量(气泡那本账)缩放不变;四维的规范场能量 ∫|F|2 也缩放不变:曲率在放大 r 倍时缩小 r 倍,平方后乘 r4——恰被四维的体积放大 r4 消掉。一涨一消,账面分文不动。能量在四维「天然不怕放大」,正如它在二维;这决定了四维是规范场论的家。

不怕放大,坏点就有了相同的拍子。第三幕的放大镜在这里照用:能量若在某一点堆积,逐层放大那一点,极限里浮出一枚标准对象——在规范场这里,就是一枚自对偶的瞬子。气泡的语法原样搬进四维:序列碎裂处,长出一枚带整数绕数的结。唐纳森数出的「奇景」,第一步正是这样看出来的。

整数台阶在四维还有第二重用途:计数。绕数 k 是整数,能量 8π2k 是台阶;把每一层上解的数目数出来,就得到一组只认微分结构、不认拓扑结构的指纹——两个四维空间可以拓扑相同而指纹不同。数数的前提是「解的家族」规整:没有多出来的洞、没有丢掉的极限。规整由谁保证——可去奇点与紧性,她的两篇论文。

于是四维的故事有了一个闭环。能量怕不怕缩放,决定坏点长什么拍子;坏点的拍子,决定模空间有没有洞;模空间的形状,决定四维空间的秘密露出多少。从一条缩放不等式读到微分结构的分类——这条因果链,是二十世纪几何最漂亮的一段推理。

四维缩放:|F|2 乘 r4,体积乘 r4,故 E=∫|F|2 不变
四维气泡:能量堆积点重标后,极限为自对偶瞬子(8π2k)
计数:每层绕数 k 上数解的个数——微分结构的指纹
规整前提:可去奇点(1982)+紧性(1983)

第五幕 · 数学器械箱:三步放大镜p.36

把她的器械箱摊开,核心是一台「三步放大镜」。第一步,找能量最密的点:在一张能量有上限的解序列里,能量不会均匀摊开,总有一处最密。第二步,重标放大:以该点为心,按能量最密的尺度把世界放大——缩放不变保证能量不因放大而失真。第三步,取极限:放大到无穷,碎点处浮出一枚标准对象(球面或瞬子)。三步一循环,循环到能量分完为止。

每一步都有一笔小账。第一步的账:总能量有限,则能量超过半数的区域越缩越小——否则总账爆掉。第二步的账:缩放不变,前文已验。第三步的账:每枚泡至少带走 4π(二维)或 8π2(四维)的能量,总账封顶,故循环次数有限。三笔账合起来,碎裂的世界既有边界又有层次。

这台放大镜的产量清单值得一看。极小曲面:奇点附近的切锥——剪切影是锥。调和映照:气泡——剪切影是球。规范场:瞬子分裂——剪切影是两枚小瞬子。同一台镜子,三个世界照出三种标准像;照出像,才谈得上分类与延拓。此后半个世纪的几何分析论文里,这台镜子的影子处处可见。

机器背后的人也值得记一笔。这套流程没有一步用到大机器:求导、缩放、取极限,全是十九世纪就有的动作。她的功夫在于把动作排成不漏一步的次序,并且给每一步配上不等式当岗哨。数学里最耐用器械,多半是这样「平凡动作的严格次序」——没有任何一步天才,合起来却翻山。

第一步:找最密点 x0(能量集中处)
第二步:重标 ur(x)=u(x0+rx),r→0
第三步:取极限得标准像(球/瞬子/切锥)
循环次数:≤ 总能量 ÷ 每泡下限(4π 或 8π2)

第五幕 · 数学把断口接回去:一笔验算p.37

「可去」二字值得亲手验一遍。取一枚绕数 1 的瞬子,让它整体收缩:把解沿缩放 ur(x)=u(rx) 缩 r 倍——缩放不变,能量照旧是 8π2;可这团能量被压缩进半径 r 的小球。取极限 r→0:小球外处处平坦(能量为零),小球内藏着一枚完好的瞬子。极限解在原点有个「洞」——洞里恰站着 8π2 的能量。

用她的定理接回这个洞。第一步查账:挖去原点的空间里 ∫|F|2=8π2——有限,条件满足。第二步换镜:库仑规范把联络梳顺。第三步延拓:椭圆方程的解光滑地长过原点。结果:收缩序列的极限是一枚「带一个点状能量包的平坦解」;把能量包按规程读出来,就是一枚完整的瞬子——洞没了,账也没丢。

这笔验算是当代文献的日常动作。热流会碎——碎点用放大镜接回;波映射会碎——同款;杨–米尔斯流会碎——还是同款。每一次「接回」都是三步:查能量、换规范、延拓。后来者为把这笔账算到分毫不差(能量恒等式),又奋斗了二十年:二〇〇〇年前后,一般情形的能量分家被严格证明——泡的账目从此精确到零头。

收束这一幕的数学。从「碎」到「接回」,工具链完整了:看见碎点(放大镜)→ 量碎点(密度)→ 接碎点(可去奇点)→ 数碎点(计数不变量)。四个动词排成一列,就是几何分析处理「断裂」的全部语法。语法是她的那代人写下的;用语法写出的句子,属后来所有人。

验算:缩放 ur 后 E=8π2 不变,能量压入半径 r 的小球
查账:挖点空间 ∫|F|2=8π2<∞ ⇒ 条件满足
接回:库仑规范 → 椭圆延拓 → 洞被完整瞬子补上
能量恒等式:一般情形之精确分家于 2000 年代获证

第五幕 · 暗线三处断裂的自传p.38

回望她六十年的研究,可以数出三处断裂。第一处,一九六八年的锥尖:博士论文里那些高维极小锥的中心——形状在那里折断。第二处,一九八一年的泡点:逼近序列的极限里能量聚成球——存在性在那里折断。第三处,一九八二年的炸点:规范联络在坏点发炸——描述在那里折断。三处断裂,三种身份:对象的裂缝、过程的裂缝、语言的裂缝。

三处断裂各交出一件东西。锥尖交出「坏点要画地图」的方法;泡点交出「碎裂有结构」的守恒律;炸点交出「换镜可除假象」的判据。三件合起来,是几何分析的骨架。一个人一生在同一个主题上走三轮——每轮都从断裂处进去、带着新结构出来——这样的研究轨迹不多见。

这也是暗线全书的落点。「在断裂处看见」不是一句鸡汤,是一套可以清单化的作业:承认断裂存在(不扔)、量出断裂的尺寸(密度)、看破断裂的假象(规范)、接回断裂的两端(延拓)、数清断裂的代价(守恒)。五个动作,本册各幕各演了一遍。断裂在此册里从不扮演失败;它扮演门。

还有一层值得记下。她的断裂清单里还有一处纸外的:年轻时那道「女性不做数学」的门。处理方式与三处数学断裂如出一辙——不承认它是对象的属性,只承认它是描述的故障;换一副眼镜,路是通的。这门门外站着的人,后来由那个暑期项目一批批领进来。

下一页把个人与传承合在一张图上。

第五幕 · 交汇一个人的桥与一群人的桥p.39

把第五幕的两条线接起来。一条线是荣誉:麦克阿瑟、国家科学奖章、斯蒂尔奖、阿贝尔——一座个人成就的桥。另一条线是传承:学生、博士后、暑期项目、被她的器械武装起来的整整一代人——一座集体行走的桥。两条桥在二〇一九年六月奥斯陆的颁奖礼上交汇:台上领奖的人,台下坐着她的谱系。

交汇处有个耐人寻味的细节。表彰词点名的三项成就——几何偏微分方程、规范理论、可积系统——没有一项是「一个人的题目」:每一项如今都是一群人、几代人的方向。她最多的产出不是定理而是开端:开一题,留一地,走人。以「开端」计产量的数学家,比以「完成」计产量的更稀少,也更被后来者感念。

这一步为什么仍是「看见」优先。她的影响力先被「看见」再被计量:引用数字、奖项清单都是后来的事;最早看见她价值的是同一间办公室里的学生——问题给得大、门槛放得平、墙让人自己撞。看见一个人的好,先于给这好定价。传承的起点从来是一次看见。

于是全书只剩收束。第一幕到第五幕,一条暗线贯穿:断裂处有信息、有对象、有地基、有门。下一页起三页收束:先回望全册的三级台阶,再盘三种读法,最后把没做完的问题摊在桌上。

第五幕 · 小结桥教会的事p.40

第五幕讲完,把要点收一收。一间书房:奥斯汀三十余年的讲席,一个学派的根据地。一台器械:三步放大镜——找最密点、重标、取极限,配上三笔小账。一笔验算:收缩瞬子的洞如何被接回——查账、换镜、延拓。一座传承:学生几代,暑期项目三十年,以及把「断裂处」写成学科语法的那支笔。

三件事值得记住。第一,四维是规范场的家,因为能量在那里不怕缩放——坏点的拍子由缩放律定调。第二,器械的耐用不在深奥而在次序:平凡动作配严格岗哨,翻山越岭。第三,荣誉表彰的多是「开端」:她开题,后人盖楼;桥的价值以通行为计。

还有一个方法论的收获。影响一个人的最好的方式,常常不是说服而是提供位置:一个暑期、一间书房、一道留白的问题。她年轻时缺位置,后来就造位置。这大概是最朴素的一种公共产品:把当年没有的灯,装在当年最暗的路口。

最后记一个人物细节。阿贝尔奖公布那天,记者问她感觉如何。她的回答大意是:惊喜,以及一种想要马上回去工作的念头。七十多岁的数学家说完这句,回去工作了。荣誉是回声;回声再大,声源始终在书桌上。

下一页起是收束三页:三级台阶、三种读法、三个没做完的问题。

收束回望:五十一年的三级台阶p.41

把这一册的时间摊平,只见三处台阶。一九六八年,二十六岁,博士论文在极小锥的尖点旁落地;一九八一年,三十九岁,气泡在《数学年刊》上成形;一九八二年,四十岁,规范场的炸点被拆成假象。三处台阶,一处比一处高,也一处比一处看得远。

第一处台阶是「定方向」。布兰迪斯的整体分析给了她一副看问题的骨架:几何与方程互译。这一步练的是脚跟:两边都会走,路才可能是自己的。

第二处台阶是「造器械」。气泡与两步法把「失败的序列」变成生产定理的原料;正则性定理把「坏点」画成有尺寸的地图。器械在先,大梁在后——没有这两样,物理学来的桥无处落脚。

第三处台阶是「浇地基」。可去奇点与紧性两篇论文不制造新闻,只制造可能:此后四维空间的奇景、物理方程的合法性,全踩在这块地基上。浇地基的人不需要上楼;她上楼的方式是继续盖新的屋子——可积系统、传承、教科书。

三处台阶之间隔着同一件事的三种形态。定方向,是承认两边都值得学;造器械,是承认失败有用;浇地基,是承认严格性是公共产品。三样凑齐,一个人就为一门学问立了骨架。下一页把这一册压成三样东西。

收束三种读法:膜、泡、桥p.42

这一册可以只用三样东西记住。一张肥皂膜:把「面积最小」变成一门关于光滑与尖点的学问;一枚气泡:把「失败的序列」变成有守恒律的结构;一座桥:把物理的方程接到数学的地基上。

三样东西互相扣住。没有膜的裂缝,气泡只是数值计算的怪相;没有气泡的守恒律,裂缝只是一句「这里会碎」的牢骚;没有气泡与正则性的器械,规范场的桥就缺了桥墩。膜提出现象,泡给出结构,桥通向别处——三步都是「在断裂处看见」的变奏。

这也是数学工作的一般形状。先有一个碎裂的现象,再为碎裂立一套账目,最后让账目去支撑别处的大厦。三步之间没有固定顺序——本册是从膜走到桥;旁的学问也可能从桥走回膜。顺序可换,三步缺一不可。

给读者的建议只有一条。不必记住每个常数与小数点;记住那个动作——遇碎勿弃,先放大看一看。生活里处处是断口:中断的计划、失败的尝试、谈崩的对话。放大看一看断口,常常就有新东西。

下一页是这一册里唯一不谈成就的一页:三个没做完的问题。它们至今还开着。

收束三个没做完的问题p.43

第一个问题:能量的账能不能算到底。气泡分家的账,如今在很一般的条件下可以精确到零头;可最一般的情形——四维杨–米尔斯流的完整能量恒等式——仍留有技术缺口。缺口虽小,地位要紧:它管着「碎裂是否总可数」这类根本问题。器械已备,只欠最后几步。

第二个问题:质量间隙。杨–米尔斯理论最深的悬问:除平凡真空外,理论是否必然存在一个正的质量下限——物理学家在计算里早已默认,数学家至今无法从方程严格推出。这是克雷研究所悬赏百万美元的七个问题之一,与黎曼猜想并列。桥通了五十年,对岸的灯塔仍未点亮。

第三个问题:四维之外还有多少「温柔」。气泡与瞬子的语法在二维、四维最好用——因为能量在那里缩放不变;三维、五维的相应问题各有各的难处,六维、七维的规范场刚起步。高维的碎裂世界还缺自己的地图——量裂缝的尺要重新造。

三个问题的共同点:都是「器械已见、定理未到」。第一个差几步技术;第二个差一个全新的想法;第三个差一整代器械。看见给出方向,证明给出真假——三条门缝里的光,都在等下一双手。

下一页换一种语气:给愿意动手的人准备两件小事。第一件是量膜的角度,第二件是算一笔分家的账。

动手做亲手量:膜的夹角p.44

普拉托定律可以亲手量。取细铁丝弯成三岔木马架,浸入肥皂水(洗涤剂与水按约一比五调开即可)轻轻提出:三片膜自动张起,沿中央竖线相遇。用量角器贴膜量那道竖缝:两侧各一百二十度。换各种粗细、各种角度的铁丝架,重做十遍——答案纹丝不动。膜不认识那副铁丝,只认识「面积最小」。

一百二十度可以从对称算出。三片膜沿一条交线相遇,彼此对称相处:一整圈三百六十度,三片平分,每份一百二十度——这是「推不动」的直接推论:任何别的分法,微调一下就能减面积。四线相遇更精巧:四条交线从一点指向正四面体顶点,两两夹角由余弦定理 cosθ=−1/3 定出,约一百零九点四七度。

第二件事量密度。先验球的算例:半径 2 的球面积 4π·22=16π,除以 22=4,得 4π;半径 3 的球面积 36π,除以 9,仍是 4π——比值不随大小变。再验尖点:一只圆锥的侧面摊成扇形,锥尖处的面积与半径平方之比随锥角变——角越尖比值越大,永远大于一张平面的 1。密度这把尺,纸上就能跑。

把两件事并在一起看。膜的角度是「推不动」的几何读数,密度是「摊不薄」的分析读数——同一只肥皂泡,几何与分析各量一遍,量数都对得上。下一页把「分家」的账也动手算一遍。

三片膜相遇:360°÷3=120°(对称平分)
四线相遇:cosθ=−1/3,θ≈109.47°
密度球算例:16π/4=36π/9=4π,与半径无关
锥尖:面积/r2 随锥角变尖而增大,恒>1

动手做亲手算:一笔分家的账p.45

气泡分家可以动手算。设一串二维解的总能量上限是 12π。每枚泡至少带 4π,极限映照还要占一份——分家方案立刻可以枚举:至多两枚泡(4π+4π=8π,剩 4π 给极限);若极限映照恰是绕一圈的球面映照(自身 4π),则最多两枚泡;总账 12π 恰好花完。上限一变,枚举重来——这笔账小学生也能算,几何学家天天算。

再算收缩的密度。一枚能量 4π 的球面映照缩进半径 r 的圆盘:平均变率平方约是能量除以面积 πr2,即 4π/(πr2)=4/r2。取 r=1:平均 4;r=1/2:平均 16;r=1/4:平均 64——半径减半,平均变率平方翻四倍。序列越来越「抖」,可总能量纹丝不动:抖是局部的,账是整体的。

四维的同一笔账。一枚绕数 1 的瞬子能量 8π2≈78.96;收缩进半径 r 的四维小球,平均曲率平方约 78.96÷(π2r4/2)=158/r4(取整)。r=1:约 158;r=1/2:约 2527;r=1/4:约 40430——半径减半,密度涨十六倍。四维的碎裂更急,可总能量分文不动。

把两笔账并排。维数越高,「点」越金贵:同样的能量压进更小的球,平均密度涨得越凶(二维翻四倍,四维翻十六倍)——这正是四维空间里规范场如此敏感、又如此丰富的原因。算完这两笔,本册数学层就收摊了:所有公式,回头都能在 p.21、p.29、p.35 找到出处。

分家枚举:总账 12π=极限 4π+两泡 4π×2(上限意义下)
二维收缩:平均密度 4/r2;r=1/2 时 16,r=1/4 时 64
四维收缩:平均密度≈158/r4;r=1/2 时≈2527
验算:24=16、44=256,158×256≈40448(正文取约 40430 之整)

小典术语十二条p.46

极小曲面:由「面积最小」要求造出的曲面;判据为每点每方向微扰面积一阶不变(p.7、p.14)。极小锥:由一束方向张成、面积为最小的锥;高维中心出现不可避免的尖点(p.9)。调和映照:能量(变率平方的积分)取极小的映照;肥皂膜的「绷紧」即其形象(p.21)。能量:∫|∇u|2 或 ∫|F|2;变率或曲率平方的积分(p.21、p.28)。

密度与单调律:小圆窗内面积与 r2 之比的极限;极小面密度只升不降,光滑点为 1(p.16)。重标:以坏点为心按尺度放大序列的动作,ur(x)=u(x0+rx)(p.22、p.36)。气泡:能量在一点聚成的调和球面;泡上可再鼓泡,成气泡树(p.22)。两步法:加刚度保收敛、退刚度观碎裂的证明流程(p.23)。

联络:比较相邻处方向的规则,对应物理的势(p.28)。曲率:联络沿小环路绕一圈的差值,对应物理的场强(p.28)。瞬子:四维杨–米尔斯方程的自对偶解,能量取 8π2k 之最低台阶(p.29)。可去奇点:能量平方可积时,联络的「发炸点」经换规范可光滑延过(p.30)。附一条以她命名的器械:乌伦贝克紧性——曲率平方可积的联络族在同一规范下集体受控(p.30)。

小典人物十位p.47

欧拉(1707—1783)与拉格朗日(1736—1813):变分法的两位奠基人;「最小」的形状满足方程,由他们写成通法(p.8)。普拉托(1801—1883):比利时物理学家,用肥皂膜做了一辈子实验,记下膜的三岔与四线定律(p.8)。伯恩斯坦(1880—1968):证明两个自变量的极小图必为平面,留下一列挂了半世纪的楼梯(p.15)。

道格拉斯(1897—1965):一九三一年解决普拉托问题的存在性(与拉多各自独立),把「膜总存在」变成定理(p.46 相关)。德乔吉(1928—2025):几何测度论的大师,接上伯恩斯坦楼梯第三级,其部分正则性思想是她那代人的公共遗产(p.15、p.16)。西蒙斯(1938— ):证明伯恩斯坦问题止于七维、八维起极小锥带尖点——分水岭的划定者(p.9、p.15)。

泰勒(1939— ):一九七六年证明普拉托定律——奇点只许两种接法,肥皂膜有了成文法典(p.8)。萨克斯( — ):她的博士生,一九八一年与她合写气泡论文(p.20)。唐纳森(1957— ):把瞬子模空间当探测仪器量四维空间,一九八六年菲尔兹奖;桥的第一辆重车(p.32)。

延伸一座桥之后p.48

可去奇点与紧性落成之后,桥上的交通逐年繁忙。第一条岔路是四维拓扑:唐纳森之后,塞伯格–维滕方程以更轻的器械重写同一场戏——两枚方程解的模空间同样由她的紧性撑着。第二条岔路回到物理:格点计算、瞬子气体、规范场的计数——凡是「解的家族」要当空间用的地方,都要先查她的账本。

第三条岔路通向她自己晚年的题目:可积系统。一类「永远不碎」的方程——孤子、涡旋、单极子——解的家族规整得能被逐个点名。她与后来者们把这类系统的模空间一座座量清:泡泡的世界之外,还有一片永远光滑的国土;量清它,才知道「碎」与「不碎」的分界在哪儿。

三条岔路的共同点值得看清。都从「解的家族当成一个空间」这个动作出发——整体分析的老手艺。六十年代布兰迪斯讨论班上的视野,八十年年代成了四维拓扑的主引擎,九十年之后成了数学物理的通用语。一件工具用六十年而年年出新,这在数学史上不多见。

给继续走这条路的读者指三个入口。入口一:极小曲面——从悬链面读到近年验证的诸多猜想,肥皂水至今还在出题;入口二:调和映照与气泡——从 1981 年论文到能量恒等式,一条线五十余年;入口三:规范场——从 1982 年的十九页到千禧年悬问。三个入口的文献都在 p.49 的表里对号。

延伸一张可以自己算的小表p.49

本册出现过的常数与比值,归成一张可以自己验算的小表。第一行是「最小」的价格表:同周长下圆、正方形、正三角形的面积效率比 L2/4πA,分别为 1、4/π≈1.27、9/(π√3)≈1.65——越「不像圆」越浪费。第二行是「平衡」的角度表:三片膜 120 度,四线 cosθ=−1/3 即约 109.47 度。第三行是「碎裂」的价目表:二维每枚泡至少 4π;四维每层瞬子 8π2k——绕数 1、2、3 的台阶是 78.96、157.91、236.87。

表上每一格都能自己动手验。比值行:拿 4π 周长分别围圆与方,算面积、算比值(p.7 的算式原样照抄)。角度行:余弦定理一步;泡沫实验配 p.44 的量角器。价目行:8π2=8×9.8696=78.9568,乘 2、乘 3 即得后两格;二维的 4/r2 密度表见 p.45。

表的功能不止复习。三行表恰好是本册三层语法:效率(等周)、平衡(角度)、碎裂(价目)——「最小」这门语言的三个词性。读者若肯把九个格全部亲手算一遍,本册的数学层就真正归了自己;注疏层(各页注文)则负责把每个格送回原始文献。

表会继续生长。第一行往下,还有别的形状排队;第二行的角度在更高维有新接法;第三行的台阶之上,是 p.43 那三个没做完的问题。一张小表是空地图;空着的地方,属于拿着尺与笔的人。

效率行:L2/4πA=1(圆)、4/π≈1.27(方)、9/(π√3)≈1.65(三角)
角度行:三片膜 120°;四线 cosθ=−1/3,θ≈109.47°
价目行:二维每泡≥4π;四维每层 8π2k=78.96·k
验算:8×3.14162=78.9568;×2=157.91;×3=236.87

家长导读怎样陪孩子读这一册p.50

这一册的入口比前几册更「物质」。故事从肥皂膜开始——那就先玩肥皂水:一根铁丝弯个圈,一盆水加一点洗涤剂,p.8 的三岔、p.14 的收腰、p.44 的一百二十度,全在这一盆水里。先玩后读,p.13—p.19 的字句会自己立起来。高年级读者可直接进 p.21—p.23 的能量账本。

三个亲子问题可以带着读。问题一(对应 p.7):同样的绳子围出的形状,谁的地最大——先猜后算。问题二(对应 p.22):为什么泡总是圆的——把「能量省着走」讲成生活话。问题三(对应 p.30):为什么同样的东西换个说法就「不炸了」——这是整册最深的一问,不必求答案,求共鸣即可。

三层读法照旧分工。故事层(各幕第一页与暗线页)无需预备知识,小学高年级可独立读;数学层(p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37)只用加减乘除、平方、开方与面积公式,每步从头算;注疏层给需要查证的大人——所有文献逐页可对。

两条提醒。其一,本册的人物是位仍在世的数学家——「数学家是活人」这件事本身值得告诉孩子:数学在长,不是遗迹。其二,孩子若问「气泡有什么用」——唐纳森用它量出了四维空间的秘密;不过更好的回答是先带他再吹一枚泡:用途的问题,玩过的人自己会升级。

家长导读五个常见误区p.51

误区一:「极小」就是「最平最简单」。正解:极小只指「推不动」——面积最小的形状可以带尖点、可以碎裂(p.9、p.22)。把「极小」听成「平凡」,是本册最常见的第一道误读;圆锥与气泡都是极小,却一个比一个出人意料。

误区二:「奇点=错误」。正解:奇点分两种——对象真坏的与描述坏掉的(p.31)。前者是数学的一部分(八维起极小锥必有尖点),后者换个规范就消失。看见「炸点」先分诊,再下结论;这一课不止适用于数学。

误区三:「看见=证明完毕」。正解:本册的工作顺序是看见、测量、证明三层接力(p.11、p.18、p.25)——看见开路,证明验收,缺一不可。屏幕上的像、放大镜下的剪影都是「待证句」,不是「已证句」;把看见当终点,是另一道误读。

误区四:「物理方程不需要数学证明」。正解:物理学家的计算自有一套内部校验,但「解存在、不炸、可数」要数学的地基——可去奇点与紧性就是这块地基(p.30、p.32)。两岸语言不同,谁也替代不了谁;千禧年悬问还开着,就是明证。

误区五:「她是『女性数学家』所以特别」。正解:她的定理不看性别,看条件与结论——这是数学的骄傲。奖项史上的「第一位」值得记,记法却是这样的:那道本不该存在的门被她走过之后,暑期项目让后来的走法变得平常。把「特别」还给门,把「平常」留给路。

版权与编目版权页p.52

《数学家的故事》第七辑 · 第 66 册:乌伦贝克 · 气泡与规整。本册明线为凯伦·乌伦贝克的学术传记:从克利夫兰到布兰迪斯、从极小锥到气泡、从规范场的可去奇点到阿贝尔奖的领奖台;暗线为「在断裂处看见」——对象的裂缝、过程的裂缝、语言的裂缝,各交出一件结构。全册五十二页、插图四十幅、五幕加收束。

体例与分工。三层结构:故事层面向所有读者,数学层只用初等运算且每步从头算起,注疏层逐页给出原始文献与研究出处。页码分工:p.2 题解、p.3—p.5 引子、p.6—p.40 五幕正文、p.41—p.43 收束、p.44—p.45 动手做、p.46—p.47 小典、p.48—p.49 延伸、p.50—p.51 家长导读、p.52 版权页。

史料口径。生卒、任职、奖项依《麦克图托数学史档案》与挪威科学与文学院阿贝尔奖官方资料;五篇核心文献的卷期页码逐条对过原刊信息;凡涉及传主自述者均以「大意」标明,不作逐字引语;凡学界尚无定论者,注文标明「概括」或「通说」。

下一册预告。第七辑 · 第 67 册将走进一步:从一位把「最小」做成学问的人,走向一位把「弯曲的空间」当游乐场的几何学家——米尔扎哈尼与黎曼曲面。她的故事同样从一张「看不见的图」开始。