而顾险峰教授作为美国纽约州立大学石溪分校终身教授、清华大学丘成桐数学科学中心访问教授、计算共形几何创始人,也许提供了参考信息。他说,微分几何的中心是空间弯曲,空间弯曲的精确表示是各种各样的曲率张量。曲率本身是抽象而费解的概念。直观而言,几何中的曲率就是物理中的力。比如,我们沿着一条空间曲线速度恒定地开车,所感受到的力,就是曲线的曲率。高斯曲率是内蕴的,通过法丛和曲率微分形式,将其转换为外蕴。法丛理论统一了离散和光滑曲率理论,而庞加莱猜想的证明,虽然雪崩效应还没被大众所察觉,但雪崩已经不可逆转地开始。 作为拓扑学最为基本的问题,庞加莱猜想的突破,是给定一个拓扑流形四面体网格的组合结构,可为每条边指定一个长度,使得每个四面体都是一个欧式的四面体,这样就给出了一个黎曼度量。所谓黎曼度量,就是定义在流形上的一种数据结构,使得可以确定任意两点间的最短测地线。黎曼度量自然诱导了流形的曲率。曲率是表征空间弯曲的一种精确描述。给定曲面上三个点,用测地线连接它们成一个测地三角形。如果曲面为欧几里德平面,那么测地三角形内角和为180度。球面测地三角形的内角和大于180度,马鞍面的测地三角形的内角和小于180度。测地三角形内角和与180度的差别就是三角形的总曲率。给定一个拓扑流形,能否选择一个最为简单的黎曼度量,使得曲率为常数吗?答案是肯定的,这就是曲面微分几何中最为根本的单值化定理。 单值化定理是说大千世界,各种几何形状有数目繁多的变种,但是万变不离其宗,解答的方法必须借助于共形几何和经典的计算几何。共形变换是保持角度不变,从某种意义来说,共形变换就是保持德洛内(Delaunay)三角剖分角度不变。共形几何中的单值化定理是说:各种曲面千变万化,不可穷尽;但是在共形变换下,都归结为三种标准曲面中的一种:球面,欧式平面,双曲圆盘,即单位球面,欧几里德平面和双曲平面。单值化定理也断言所有封闭曲面可以配有三种几何中的一种:球面几何,欧氏几何和双曲几何。 曲面微分几何中,几乎所有的重要定理都绕不过单值化定理。但顾险峰教授作为拓扑学家和微分几何学家,也有顾此失彼的地方。例如,环面与球面,拓扑学有不同伦之说,微分几何有亏格之分。用庞加莱猜想定理可证单位球面和单位平面是同伦的,而与环面不同伦。由彭罗斯非常直观明白的韦尔张量和里奇张量统一标准解释,单值化定理也可以断言:球面几何和欧氏几何归属韦尔张量。环面几何归属里奇张量。双曲几何归属庞加莱张量;后者是因庞加莱设计过一种有限而无界的双曲空间宇宙模型,它把正负虚实零配对的全域宇宙张量空间都包括进去了,为正负虚实零的量子信息隐形传输提供了坚实的数学基础,值得永远尊敬。 而大千世界的万有引力,实际环面和球面是包含在一起,如原子和原子核。陈雁北教授说,为了建立引力波信号的理论模型,人们需要求解爱因斯坦的引力方程。爱因斯坦方程作为自然科学中最为复杂的方程之一,针对现实引力波源解析求解基本没有希望,于是人们就寻求数值求解之道。数值相对论是理论研究方向:但对于“过分复杂”的爱因斯坦方程,即使是数值求解也已经折磨得人们痛哭流涕。经过约半个世纪的苦苦挣扎,数值相对论在2005年后得到突破性发展,并在2005至今年的这十多年内日臻完善。最终结合广义相对论的后牛顿近似,为成功探测到引力波信号,量身打造的有效单体数值相对论理论模型,才被建立起来。 而且望眼欲穿的引力波,可以用4对在真空中,相距4公里的40千克的玻璃镜子的距离,以原子核尺寸千分之一大小的振幅振动的瞬间十几次的测量,观察微乎其微的振动被打在这些镜子上的100千瓦的激光读出。这种人类第一次“近距离的接触”到黑洞的引力波探测的成功,为人类观察宇宙提供了一个崭新的窗口。这是在一个自由下落的物体参照系中,引力波可以看成是一个“潮汐引力场”。距离这个物体越远的物体,它感受到的引力场越大。在自由物体之间,潮汐引力场会引起它们相对位移按比例的“应变”。引力波的振幅h,通常就用这个应变来代表。虽然地球上产生的引力波很微弱,但宇宙空间天文现象导致足够强的引力波用共振法测量,具体也是用一个很大的金属物体,利用引力波在物体的谐振频率上引起共振的特点,从这个物体的振动中提取引力波的信号。 由于引力波对物体之间距离的变化,和物体之间本来的距离成正比。如果把物体之间的距离拉的很远,并且把它们做成镜子,然后用激光测距的方法测量镜子之间的距离,就可以成倍的提高对引力波测量的精度。如1975年天文学家发现一对脉冲双星,1982年通过其轨道频率的演化,推断出了这个双星正在丢失能量,而这个能量丢失率和引力波导致的是一致。这给引力波的存在提供了一个强有力的间接证据,引力波终于从纸上走了出来。美国普林斯顿大学的赫尔斯和泰勒在1993年因此获得诺贝尔奖,以表彰他们对新型脉冲星的发现为研究广义相对论和中子星系统,开辟了新的可能性。 这里我们还要补充的是,2016 年见证的虚拟现实/增强现实(VR/AR)技术的实际应用,不但为微分几何提出了新的理论挑战,也涉及研究宇宙“软毛发”、暗物质暗能量的直接相关的逼近理论、几何数据压缩理论、映射和变形理论等方法。在计算机中,光滑曲面都是用三角形多面体网格来近似逼近。由于硬件计算和存储能力有限,所用的三角网格尽量的简单,三角面片尽量的少。但如何用简单的离散三角网格来逼近复杂的光滑曲面,成为VR/AR应用中的技术关键。 顾险峰教授说,历史上有一种错误的观点:认为只要采样密度足够高,三角面片足够小,那么离散曲面自然会逼近光滑曲面。但数学家许瓦茨(Hermann Schwartz)早在1880年构造了一个反例,被后世称为许瓦茨的灯笼。许瓦茨的灯笼是对光滑圆柱面的离散逼近:假设在光滑柱面的等高线上采样,每个等高线上取个采样点,然后建立三角剖分,如此趋向无穷得到一系列离散曲面。可以证明离散曲面到光滑曲面的豪斯道夫距离趋于零,但是离散曲面的面积并不趋于光滑曲面的面积,离散高斯曲率测度并不收敛于光滑高斯曲率测度,离散平均曲率测度也并不收敛于光滑平均曲率测度。
|