来源:老何谈几何
作者:顾险峰
本文约 6200字 ,建议阅读 10分钟 。本文从几何的角度介绍了被誉为“扎哈的绝唱”——大兴机场的构造。
伟大的数学和伟大的艺术精神实质是相通的,伟大的数学家和伟大的艺术家通过不同的途径领悟到自然的奥妙玄机,用不同的方式向芸芸众生传达语言难以描绘的优美深邃。这些超越时代的先驱者往往无法被普罗大众所理解,他们的人生充满苦难和挫折。但是依随时代的进步,他们光辉的思想逐渐被社会所认可并欣赏,终归成为人类文明史上的瑰宝。
六芒星
2019年夏天,老顾再度在清华大学丘成桐数学科学中心开课,讲解《计算共形几何》。学生们来自世界各地,既有青葱少年,莘莘学子,也有学识渊博的大学教授。既有工程领域的骨干精英,也有功成名就的金融家,企业家。年轻人才气纵横,锋芒毕露;年长者含蓄内敛,目光深远。很多学员在自己的领域深耕多年,深刻地理解了所在领域的根本问题,并且多年来一直力图解决,因此来学习共形几何,希望跨界的思维会带来实质性的突破。

但是,这一理想情形是非常珍贵而稀少的,一般情形很少有学生能够具有完整的概念链条。例如,为了学习阿贝尔-雅可比定理,我们需要全纯函数、共形结构、黎曼面、亚纯微分、除子、黎曼-罗赫定理等一系列艰深的概念和理论。因此,很多时候,我们借助每个人天然的灵性和对自然几何的感受力来强行推进,直至顿悟。这其实和数学历史的真正发展是一脉相承的。当年,阿贝尔洞察到了阿贝尔定理,并给出了初等证明。但是,无人真正理解其内在深意。此后,人类数学家又花费了一百多年才发展出成熟的数学语言,能够清晰描述阿贝尔定理,才真正到达阿贝尔理论的中心腹地。在短暂的暑期课程中,大多数的时候,我们只能从抽象到抽象,学生们都似乎处在朦胧混沌的状态之中,自行编织知识网络,填补认知漏洞,深化或者颠覆以往的理解。这需要耗费大量的脑力和耐心,非常艰辛。每次上课之前,老顾都会在黑板上画下犹如巫术图腾般的图案:六芒星(如图1所示),因为这一诡异的构型代表了黎曼面上的亚纯微分,深刻联结着黎曼-罗赫定理,阿贝尔-雅可比定理和泰西米勒理论。老顾希望六芒星在年轻人的心头留下微弱的火种,或许数十年之后能够在世界的某个角落,燃起熊熊烈火!
谢师宴
每年老顾回清华讲学,都要宴请当年的班主任黄连生老师,以感谢栽培之恩。三十年前,黄老师力排众议,在清华计算机系极为有限的资源之中为我们理论班十几个年轻学生争取来非常难得的学习机会,并且同时从数学和计算机两个方面培养我们。黄老师的高瞻远瞩,为老顾的学术生涯指明了方向和奠定了基础,从而将数学和计算机科学相结合,和丘成桐先生创立了计算共形几何。
在谢师宴上,黄老师和理论班同学亲切地叙旧,探讨了国际时局。最近,老顾和合作者团队证明了曲面四边形网格和亚纯四次微分的等价性,用阿贝尔-雅可比定理给出了奇异点构型的充要条件。黄老师和老顾详细讨论了证明细节,并且一针见血地指出了关键之处,这令老顾既惊讶又钦佩。黄老师非常关切地询问了今年暑期课程的情况,他意味深长地对老顾说道:“你暑期来清华开课差不多有十年了吧?这十年来,计算共形几何在中国普及得如何呢?相信你依然会坚持下去,只问耕耘、不求收获。”
黄老师对于中国的教育现状理解得非常透彻,对于学术界的优点和问题洞若观火。他向老顾指出了普及计算共形几何不可一蹴而就,要做长久努力,任重而道远。同时,黄老师和老顾都深信,共形几何作为自然界的一部分,其重要性迟早会在各个领域呈现;从陌生到熟悉,共形几何终归被会人们所接受并欣赏。
但是,令我们都出乎意料的是:犹如一夜间,六芒星在北京凌空炸裂,亚纯微分在首都大地恣肆流淌!这一切都是因为一座伟大的建筑横空出世 - 北京大兴国际机场!
图2. 北京大兴国际机场航拍
大兴机场
耗资800亿,号称“新世界七大奇迹”之首的北京大兴机场,是世界上最大的单体航站楼,超过了迪拜世界中心和土耳其伊斯坦布尔第三国际机场,每年运送旅客多达1亿人次,飞机起降80万架次。
图3. 北京大兴国际机场航拍 /李召麒

航站楼的屋顶被两族曲线剖分,和谐优雅,流畅灵动。 站在航站楼内部,仰望穹庐,六芒星的构型更加突兀明显。 老顾的学生们齐声尖叫: 调和叶状结构,全纯二次微分!

图5. 北京大兴国际机场内部仰望穹顶结构
自由弯曲的曲面,诡异妖媚的曲线,稍微对建筑艺术有所了解的人一眼就可以看出: 这绝对是建筑女魔头扎哈·哈迪德的典型风格! 不错,大兴国际机场正是扎哈的遗世绝唱,天鹅之歌!
扎哈·哈迪德(ZahaHadid)天纵奇才,旧世界的颠覆者,新世界的征服者,第一个女性普利兹克奖获奖者! 她彻底解构了传统的建筑美学标准,大胆运用几何结构来构造空间,其参数化(parametricism)设计使得建筑挣脱了重力的羁绊,在空中自由翱翔,其标志性的曲线更给她带来了无数的赞美和争议。

图7. 望京Soho

数学分析扎哈的突破
那么,从数学家的角度如何来评价扎哈的设计作品呢? 扎哈的本质突破在哪里? 其作品是精神失常的产物吗? 还是归结为几何的必然?
- 几何的突破: 在传统建筑行业,几乎所有的作品都是横梁、立柱、平墙、方窗,换言之几乎所有的建筑表面都是平直的,高斯曲率几乎处处为零。这意味着传统建筑是基于欧几里得几何。只有极少数天才的设计突破了零曲率几何,例如高迪和扎哈。扎哈是绝无仅有的肆无忌惮地使用黎曼几何进行建筑设计的第一人。人类历史上,在长达数千年的期间,人类都认为平直的欧几里得几何是天然的、唯一真实的几何,直到爱因斯坦创建了广义相对论,人类才意识到原来自然时空是弯曲的,黎曼几何才是世界的真实图景。从这个角度而言,扎哈使人类明白了真实的建筑世界应该是弯曲的黎曼几何。

图9. 大兴机场内部的纽结结构
- 拓扑的突破: 在传统建筑中,几乎所有的楼宇都是简单的拓扑球面,即大楼的整体表面没有环柄。扎哈以睥睨天下的气魄,将高亏格曲面大胆应用。图8的 澳门新濠天地酒店大楼表面就是一张亏格为3的黎曼面,即3个环柄。三维欧几里得空间中的曲线可以彼此缠绕,从而形成各种纽结。图9显示了大兴机场内部栈桥被设计成纽结结构。这些复杂的拓扑构型,在传统建筑中极为罕见,这是扎哈在拓扑方面的突破。
- 叶状结构: 身为曲线之王,曲面的叶状结构(foliation)成为扎哈的终身标志。Foliation本意是落叶层叠之意,在拓扑中代表将高维流形规则地分解为低维流形,因此本质上是具有美学价值的解构。

图10. 小猫曲面的叶状结构



图13. 叶状结构中度为6的奇异点

图14. 叶状结构中度为8的奇异点

图15. 度为5的奇异点
至此,我们得出结论,大兴机场的整体设计是共轭调和叶状结构,设计中心是叶状结构的奇异点。 那么,我们自然会产生一系列的疑问,这些疑问的解答只能依赖于深刻的共形几何理论。
- 第一个问题:为什么一定是六芒星?而不是五芒,或者七芒星?
图13-15 详尽地解答了这个问题: 仔细观察图13和图14,沿着格线,我们的确能够得到两族彼此共轭的调和叶状结构。 但是,图15中,沿着格线,我们得到的不止两族圆圈,并且每族圆圈都无法覆盖整个曲面。 换言之,图15中的任意一族局部彼此平行的圆圈都无法构成曲面的叶状结构。 理论上,曲面上的叶状结构的奇异点通常是如图13所示那样,局部是一颗六芒星。 图14中度为8的奇异点不稳定,经过微小扰动,可以分解成两颗六芒星。 因此,大兴机场的六芒星构型本质上代表了调和叶状结构的稳定奇异点(唯一)结构,这是几何原理所限制的必然。
扎哈并没有精神失常,她的极端理性和审美导致了唯一的设计方案。 扎哈天才地悟到了调和叶状结构的唯一性,和奇异点结构的唯一性。
- 第二个问题:在一般曲面上,扎哈追求的共轭调和叶状结构存在吗?有多少个?
这个问题非常深刻。 共轭调和叶状结构满足特定的椭圆型偏微分方程,解的存在性和解空间的大小由曲面的拓扑所决定,叶子的形状和分布由曲面的黎曼度量和叶状结构的整体拓扑性质所决定。 一对共轭的调和叶状结构等价于曲面的一个全纯二次微分。 如果部分指定奇异点的位置,那么所有满足条件的调和叶状结构构成一个线性空间,空间的维数由黎曼-罗赫定理所决定。 有兴趣的同学可以参看 老顾关于黎曼-罗赫定理的讲义 。
- 第三个问题:在一般曲面上,共轭调和叶状结构的奇异点如何确定?
调和叶状结构,或者等价的,全纯二次微分具有很强的刚性。 刚性这里意味着如果所有的奇异点位置确定下来,那么相应的全纯二次微分和叶状结构也就确定下来了。 对于设计而言,要么整体大改,要么不改,局部微调是不可能的。 并且所有的奇异点之间存在很强的约束,随意给定几个点,基本上不存在以这些点为奇异点的全纯二次微分。 那么如何确定给定的点可否作为奇异点来求得调和叶状结构? 答案在于,这些点应该满足阿贝尔定理。 同学们可以参看 阿贝尔定理讲义 和 雅可比定理讲义 。
扎哈的大兴机场整体设计是共轭调和叶状结构,设计中心是叶状结构的奇异点。 据说这些柔顺的曲线都是扎哈手绘出来的。 大兴机场还没有对外开放,老顾还没有实地考察过内部设计。 理论上,调和叶状结构都是可以自动计算出来的,但是现存于世的方法不超过两种。 老顾团队在2017年给出了一种基于图值调和映射的算法,详细解释请参阅【1】和【2】。

这里老顾从共形几何角度,对扎哈设计理念进行透彻分析,将大兴机场整体设计思想归结为共轭调和叶状结构(全纯二次微分)及奇异点。 虽然扎哈具有数学本科的背景,她不太可能深刻理解黎曼-罗赫,阿贝尔定理和叶状结构的共形几何理论。 但令人无比惊讶的是,扎哈仅仅凭借敏锐的审美,就从本质上深刻洞察到这些抽象的几何理论。 这也正是扎哈无与伦比的伟大之处: 对人世英勇无畏,对自然敬畏纯真。
图17. 大兴机场的调和叶状结构和奇异点,六芒星
参考文献:
编辑:王菁 校对:林亦霖