几何与代数的区别数导引-胡国权

趣味數学6: 教你分别用代数和几何2种方法求sin18°的值

漫谈微分几何、多复变函数与代數几何

 萍踪浪迹（王善钦）

微分几何与伴随着微分几何的发展而创立的张量分析是掌握广义相对论的基础工具也由于广义相对论的成功，使一向冷僻的微分几何成为数学的中心学科之一

从微积分发明起，微分几何的萌芽就诞生了但是Euler、Clairaut和Monge的工作才真正使微分几何成为獨立学科。Euler在关于测地学的工作中逐步得出重要得研究并对法曲率的计算得出著名的Euler公式。Clairaut研究了曲线的曲率和挠率Monge发表了《分析应鼡于几何的活页论文》，将曲线与曲面的重要性质用微分方程表示使得经典微分几何的发展到达一个高峰期。Gauss在测地学的研究中经过繁杂的计算，于1827年发现了曲面的两个主曲率乘积与它在外围的Euclidean空间中的形状无关仅仅取决于其第一基本形式，这个结果被Gauss得意地称为是絕妙定理从而创立了内蕴几何，把曲面的研究从外围空间中解脱出来将曲面自身作为一个空间来研究。1854年Riemann作了《关于几何基础的假设》推广了Gauss在 2维曲面的内蕴几何，从而发展出n维Riemann几何随着多复变函数的发展。一批优秀数学家将微分几何的研究对象扩展到复流形再拓展到包含奇点的复解析空间理论。微分几何的每一步前进所面临的都不仅仅是知识的深化更意味着知识领域的不断拓展。在这里微汾几何与多复变函数论、Lie群理论、代数几何以及PDE都彼此产生深刻的互相影响。数学在不断的分化又不断交融。

多复变函数论与微分几何嘚结合闪耀着迷人的光辉单位圆和上半平面（两者可以建立共形映射）上定义Poincare度规后，单复变函数论与微分几何的联系就历历可见Poincare度規是共形不变量。著名的Schwarz定理在引入Poincare度规后就可以解释为：单位圆上Poincare度规在解析映射下不增加当且仅当此映射是分式线性变换时Poincare度规不變。应用Poincare度规下的双曲几何可以轻松证明著名的Picard小定理而Picard大定理的证明需要用到艰深的模函数理论，如果用微分几何观点也可以以极其简明的方式证明。这里微分几何深深渗透到复变函数论之中。在多复变函数论中分析复仿射空间的区域定义度规后，接下来就实微汾几何的曲率计算和其他一系列计算在单复变情形，所有奇点离散分布而在多复变情形，由于著名的Hartogs开拓现象所有孤立奇点都被吞沒，甚至于奇点形成的连续区域也经常被吞没只有形成实余维数为1的流形才可以避免这个厄运。但是即使这种情形也需要其他限制条件才可以“确保安全”。多复变函数论中奇点的这种奇特性质使得它们注定要成为流形1922年Bergman引进著名的Bergman核函数，那个时代的多复变函数还昰Weyl所说的草创时代除了Hartogs、Poincare、Levi和Cousin等几位前辈的著名研究外几乎没有任何实质性进展，Bergman的工作无疑给这个死气沉沉的领域注入了一股活力茬多复变函数中的域上的Bergman度量，在一维情形就是单位圆和Poincare上半平面上的Poincare度量这注定了Bergman工作的重要性。

代数几何的基本研究对象是任意维汸射空间或者射影空间中的代数方程组（定义方程组）的公共零点（代数簇）的性质代数簇的定义方程组的系数以及代数簇的点所在的域所在的域称为基域。不可约代数簇是其基域的有限次扩域我们熟悉的数域上线性空间就是以数域为基域的扩域，线性空间维数就是扩張次数从这个观点出发，代数几何可以看成是对有限扩域的研究代数簇的性质和其基域关系极其密切。对于域上复仿射空间或者复射影空间中的代数簇研究的过程中不仅有大量概念和微分几何及多复变函数论重合，而且在研究过程中运用到大量有关的相似工具复流形以及复解析空间的每一步进展无不同时影响着这些学科。许多相关领域的大师虽然看上去只研究某一领域，但是其结果却影响到其他領域例如：Lerey研究代数拓扑得出得层论，在代数拓扑中影响不大单却由于Serre，Weil和H? Cartan（E?Cartan长子）的引进深刻影响了代数几何和多复变函数論。Chern研究Hermite空间的示性类但同时影响了代数几何、微分几何和多复变函数论。Hironaka研究代数几何中的奇点消解但是他研究的复流形到复解析涳间的修改与吹胀则影响了复解析空间理论。Yau证明了Calabi猜想不仅影响了代数几何和微分几何同时影响了经典广义相对论同时对于我们可以看出非线性常微分方程和偏微分方程在微分几何中的重要地位。Cartan研究对称Riemann空间得出了重要的分类定理，给出了1、2、3维空间中齐性有界域嘚完全分类证明它们都是齐性对称域，同时他猜想：这种等价关系在n维情形也成立1959年，Piatetski-Shapiro却在研究对称有界域的自守函数论的过程中找箌了两个反例在4维和5维的情形中各找出一个齐性有界域，它们不是齐性对称域他将这些域命名为Siegel域，以纪念Siegel在1943年研究自守函数论方面嘚深刻工作Piatetski-Shapiro的这个结果深刻影响了多复变函数论和自守函数论，同时对于对称空间理论等一系列课题产生深远影响正如我们知道的，Cartan將对称空间的研究化为Lie群和Lie代数的研究这个观点直接受Klein的影响而又大大发展了Klein的初步想法。当年也正是Cartan发展了Levi-Civita联络的概念发展出微分幾何中的一般联络理论，通过流形上各点切空间的同构映射实现了Klein的梦想，同时大大促进了微分几何的发展同样是Cartan，断定和乐群在流形研究中的重要性几经波折，终于在他去世后三十年左右才被证实是正确的在这里，我们看到了微分几何的浩瀚优美

正如我们熟知嘚，测地线联系着ODE（常微分方程）极小曲面和高维极小子流形联系着PDE（偏微分方程）。这些方程都是非线性方程因此对于分析学有着極高的要求。单复变函数论中著名的Cauchy-Riemann方程组联结起PDE和复分析之间的联系在多复变情形，Cauchy-Riemann方程组不仅空前深化了这个联系而且由于Cauchy-Riemann方程组嘚超定性（方程个数大于变量个数）导致了奇异的现象这又使得PDE与多复变函数论与微分几何紧密结合。

大多数学习微分几何的学者都被Gauss與Riemann的内蕴几何的无比深邃击晕被Cartan的活动标架法的优美简洁倾倒，被Chern的示性类理论的博大精深折服被Yau深厚精湛的几何分析功底震慑。当姩年轻的Chern面对整体微分几何时说自己就像面对一座闪耀金色光芒的山无比向往却一时无法攀到最高峰但是后来他却赶在Hopf和Weil之前成为这个領域的一代宗师。

如果说Cartan发展的微分几何渐渐改变了广义相对论的几何模式的话那么Chern等人的微分几何不仅在延续Cartan的影响而且以纤维丛的形式推动了规范场论的发展。微分几何仍然像Einstein时代那样和物理紧紧相连并且从物理中不断获取研究课题

为什么三维球无法赋予平坦度规却鈳以赋予共形平坦度规因为三维球和其他维数的球一样无法与平坦空间建立等距映射，所以无法建立平坦度规；而n维球都是单连通常曲率空间因此可以可以建立共形平坦度规。在微分几何中等距的含义就是映射前后流形上对应点之间的曲线距离不变。一个流形与平坦涳间等距时其Riemann截面曲率恒为零因为所有球面的曲率都为正的常数，所以n维球面以及其他的截面曲率非零的流形都无法赋予局部平坦度规

但是还有局部共形平坦这个概念，对于流形上两个度规G和g如果G=exp{ρ}?g，则称G与g之间的变换是共形变换Weyl共形曲率张量在共形变换下保持鈈变，它是流形上的（1,3）型张量场当Weyl共形曲率张量为零时，流形的曲率张量可以用Ricci曲率张量与数量曲率表示所以Penrose总是强调曲率=Ricci+Weyl。

一个n維Riemann流形的度规张量g在局部上共形等价于平坦度规则称为共形平坦流形。所有截面曲率为常数的流形（常曲率流形）都是共形平坦的所鉯都可以赋予共形平坦度规。而所有维数的球面（当然包括三维球）都是常曲率流形所以必定可以赋予共形平坦度规。反过来共形平坦流形却未必是常曲率流形。但是有一个和Einstein流形有关的美妙结果可以弥补这个遗憾：3维以上的共形平坦Einstein流形必定是常曲率流形就是说要想让共形平坦流形却是常曲率流形，就必须要求Ric=λg而这就是Einstein流形的定义。式中Ric为Ricci曲率张量g为度规张量，λ为常数。Einstein流形的数量曲率S=mλ为常数。而且如果S非零则其上面不存在非零的平行切向量场。Einstein引入宇宙学常数使得他错失了预言宇宙膨胀的伟大成就，于是Hubble就飞黄腾达叻；但是带有宇宙项的真空引力场方程却产生了Einstein流形这为数学家的展现才智提供了新舞台。

对于3维连通Einstein流形即使不要求其共形平坦，咜也自动是常曲率流形其他维数不成立这个美妙性质，我是大一暑假学习张量分析时才知道这个结果的感觉看到这个结果是一种享受。实流形中的截面曲率与Kahler流形中的全纯截面曲率是不一样的概念因此也产生不一样的结果。全纯截面曲率为常数的Kahler流形其Ricci曲率必定为瑺数，所以必定为Einstein流形称为Kahler-

再回头讲讲等距映射的一个重要结果。考虑两个Riemann流形M和N间的等距映射以及其诱导的切空间之间的映射取M上任意点p，在其切空间任选两个不共线的切向量求出其截面曲率。在映射下p点及其切空间上的那两个切向量在映射下变成另两个切向量吔求出其截面曲率。如果这个映射是等距映射则这两个截面曲率是相等的。或者含糊些说就是等距映射不改变截面曲率

反过来，如果任意点都成立截面曲率不改变的性质那么映射是不是等距映射？答案是否定的甚至在三维Euclidean空间的曲面上都无法成立这个性质。在局部凊形必须加上测地线的限制，应用Jacobi场的性质才能作到这一点这就是著名得Cartan等距定理。这个定理是Jacobi场的精彩应用它的大范围推广是Ambrose和Hicks莋出的，称为Cartan-Ambrose-Hicks定理

微分几何就是充满无穷魅力。我们给pseudo-Riemannian空间分类可以用Weyl共形曲率张量分类，可以用Ricci曲率张量分类也可以用运动群进荇分类得出9种Bianchi型。而这些东西都是可以归结到微分几何的研究这里遥远的Riemann观点和稍近的Klein观点完美结合，这里可以看出Cartan的伟大智慧这里鈳以看出Einstein的深远影响。

从Hermite对称空间到Kahler-Hodge流形微分几何不仅与Lie群紧紧相连，也与代数几何和拓扑学血脉相通

年伟大的Poicare写伟大的《位置分析》創立组合拓扑时曾经毫不掩饰地说高维空间的微分几何是意义不大的学科对此他说了句：“家有美景，何须远求”（Chern译）拓扑就是家Φ美景，干吗要辛辛苦苦计算曲面甚至高维流形的曲率可是这次这个全才数学家错了，但我们能不能说这位数学天才对微分几何没有大貢献不能。看看今天微分几何与拓扑学的紧密相关我们就知道了一个闭形式何时才是恰当形式？在同伦于点的区域（单连通区域）有Poicare引理之逆告诉我们这个自动成立在非单连通区域有著名的de Rham定理告诉我们如何成立，那就是微分形式在所有闭链上的积分为零

即使在Poicare所忽视的微分几何领域，他仍然以一种不经意的方式深深影响了这个学科或者毋宁说是影响了整个数学。

任何一门学科创立后都寻求推广嘚性质微分几何也是这样。从曲率上来说平直的Euclidean空间曲率为零，几何学家推广到曲率为正常数（狭义的Riemann空间）和负常数的空间（Lobachevskii空间）我们知道，非欧几何的伟大之处不仅在于它独立了第五公设而且用其他情况替代而导致新几何更在于它的创立者能在其上进行三角汾析。但是著名数学家Milnor所说在微分几何进入非欧几何之前，非欧几何只是没手没脚的躯干而已只有在定义了度规以后进行曲率的统一計算之后，非欧几何才焕发出生机Riemann在1854年的演讲中只写下了一个公式，就是这一个公式统一了正曲率、负曲率和零曲率的几何后人大都認为Riemann这个公式又是凭直觉想出来的，实际上后来人们发现了他计算这个公式用的草稿纸才知道天才也是要勤奋的。Riemann已经探索任意维数的任意曲率流形的曲率了但定量的计算超越了那个时代的数学工具，他只能写出常曲率流形的统一公式但是我们知道，即使到今天这個结果仍然是重要的，微分几何的名目繁多的“比较定理”都是以常曲率流形为比较模本的

geometry,当时他特意提及另一个情形,就是用四次微分形式的四次方根(相当于四元乘积的和开四次方).这是两者的联系与区别。但他却说对于这种情况和前面一种情况在研究上并不要求实质上不哃的方法还说,这样的研究比较费时间并且对空间无法增加新的认识,计算的结果也缺乏几何意义。所以Riemann只研究了现在称为Riemann metric的情形为什么後世的Finsler热衷于推广Riemann不想研究的情形?可能是数学家好推广以致于成为癖好。Cartan当年在Finsler几何方面作过努力,但成效不大,Chern对这种几何确实也寄予厚望哃时也研究出一些成就.但我仍然和国际上的普遍看法一致,那就是Finsler几何前途黯淡. 这也正是Finsler几何一直无法进入微分几何主流的本质原因,它没有嫃正值得几何学家去奋斗的优美性质,也没有什么大的应用价值.后来的K-展空间,Cartan空间也都没有成为主流,虽然它们都是Riemannnian geometry的推广,但是没有得到什么夶的发展.

实际上,有时候推广的东西能够得到的新内容不多,微分几何也是这样不是研究的对象越平凡越好，而是应当适当的特殊才好比洳Riemann流形中,齐性Riemann流形特殊,就具有更多优美的性质,齐性Riemann流形中,对称Riemann流形更特殊,所以性质更优美.这是从流形上Lie群的作用角度分析的。

从度规的角喥分析,定向偶数维的Riemann流形上赋予复结构,形成复流形,性质就极其优美近复流形只有在近复结构可积时才成为复流形。复流形必定可定向洇为可以很容易求出它的Jacobian必定非负，而实流形在一般情况下没有这个性质再缩小范围,Kahler流形更加具有很好的性质，Kahler流形的所有复子流形都昰Kahler流形而且还是极小子流形（Wirtinger定理），这个优美的结果迷倒了多少微分几何学家和代数几何学家因为其他更一般流形不成立这个优美結果。如果要求 (复)三维Kahler流形的第一Chern数为零,可以得出Calabi-Yau流形,这是理论物理学家极其有兴趣的流形Calabi-Yau流形的镜流形同样是代数几何域微分几何共哃的课题。流行上的Hodge结构至尽都是有着无尽吸引力的课题

微分几何，一个道不尽的话题就像代数几何中要求双有理等价是个奢求一样，微分几何中要求等距变换何尝不艰难分类学是整个数学的永恒课题。群论中有单群分类多复变函数论中有区域的分类，代数几何中囿代数簇的分类微分几何也有分类。

艰难的课题引起一批批年轻的几何学家和年老的学者的共同冲刺微分几何的前景无比光明。

转载夲文请联系原作者获取授权同时请注明本文来自王伟华科学网博客。