陈省身 -几何结构及等价问题
(转自《中国现代数学家传》)
R.帕勒 滕楚莲
作者简介 R.帕勒(Richard Palais)1931年出生于美国麻省凌县(Lynn,Massachusetts).哈佛大学博士(1956).现为勃朗蒂(Brandeis)大学教授.
滕楚莲(Chuu-Lian Terng) 1949年出生于台湾花莲.美国勃朗蒂大学博士(1976).现任美国加州大学教授.
本文的材料主要取自:《陈省身论文选集》(S.S.Chern,Se-lected papers,vol.1—vol.4,Springer-Verlag,1978—1989);《陈省身文选——传记、通俗演讲及其它》(科学出版社,1989);以及作者与陈省身本人的多次谈话.文中,记号[1—25],[1—30]等分别表示文献中所列的陈省身的出版物的序号.
陈省身
几何结构及等价问题
陈省身的早期工作主要是研究各种不同的等价问题,也就是如何有效地决定两个同种的几何结构是局部等价的.例如:两条空间曲线是否全等(即它们在空间的旋转和平移下互相重合),或两个黎曼结构是否局部等距.在古典几何里我们常设法找出几何结构的较易了解又简单的不变量及其关系,然后证明这些不变量是完全的,即两个同种的几何结构等价的充要条件是其不变量相同.最终目的是得到类似于平面几何中三角形全等判定定理的结论.光滑空间曲线的等价问题在上世纪初已解决,它在刚体运动群下的完全不变量组是其曲率和挠率.欧氏空间中曲面的等价问题较复杂,但在19世纪末也得到完满的解决,它的完全不变量组是两个二次型,第一个二次型(即度量张量)是正定的,而且这两个二次型须满足高斯-科达奇方程.黎曼度量的局部等价问题也由克里斯托费尔(E.B.Christoffel)和李普希茨(R.Lipschitz)解决,它的解更复杂,且从表面上看与上面的例子无关.
在陈省身开始做研究工作的初期,寻找上述个别例子的共性,及如何有系统地解决等价问题是当时几何学家面临的主要挑战.嘉当用他的活动标架方法已朝这个方向迈了一步.他将一般的等价问题演化成微分形式组的等价问题.具体地说,就是在给定Rn上的一个几何结构之后,可以选取1)GL(n,R)的一个子群G;2)在Rn上的n个线性无关的一次形式θ1,…,θn,使得几何结构的等价问题变成形式的等价问题.至于Rn上
结构为一个G-结构,它是陈省身为了系统地整理和解释嘉当的等价方法
是显而易见的,但是多数自然的几何结构可以表成适当的G-结构.
嘉当不仅将几何结构的等价转换成G-结构的等价,而且也发展了一套方法找出完全不变量组.可是他的方法需要运用困难的普法夫方程组理论及其拓展方法,以致至今仍未广为人知.事实上,嘉当在晚年虽被认为是卓越的几何学家,但是同时代的学者认为他的文章难读,因而充其量也只有极少数的数学家真正了解他在几何学上的创新和贡献.例如韦尔(H.Weyl)在评嘉当的书时曾说:“嘉当是当今最伟大的几何学家……但我必须承认我觉得他的书和他的文章一样难读……”
在大家都觉得嘉当的文章难懂的情形下,可以想象他在等价问题上的重要见解会被埋没.幸而命运的安排并非如此.因陈省身随克勒及嘉当学习,故他成为能对等价问题有更深一层了解的自然人选.在他头20年的研究工作中有许多篇关于等价问题的好文章,而且他对等价问题给了详尽的解释.纤维丛及主丛上的联络理论在此20年间发展起来绝非偶然.这些理论是许多人多年研究工作的结晶,在几何学、拓扑学上均有很大的启发性.陈省身在等价问题方面的工作以及相关的示性类理论是此20年数学的主要进展之一.
为要了解陈省身在等价问题上的重要贡献,下面先解释由陈省身引进的定义:用现代语言来说,所谓的n维流形M上的一个G-结构是指M上由余切GL(n,R)-主丛约化的G-主丛.假定这个G-主丛是π∶P→M,其中P是全空间,由允许的余切标架θ=(θ1,…,θn)组成.在P上有n个自然的一次微分形式ωi,使得ωi|θ=π*(θi).令V表示dπ的核,则V是切丛TP的子丛,称为纵子丛,且ωi在V上的值为零.因为G作用在P的右边,而且在纤维上的作用是单可迁的,所以在点θ的纵子空间Vθ可以看作G的李代数L(G)(由G上的左不变向量场组成).那么P上的G-联络是TP上的一个横子丛,也就是与V互补、并且在G的作用下不变的子丛H.给定H与给定从TP到V上的射影是一样的,后者相当于在P上给定一个L(G)-值的一次形式ω,称为联络形式.用Rg表示元素g∈G在P上的右作用,则H在G的作用下不变的条件写成关于ω的条件就是Rg*(ω)=ad(g-1)·ω(其中ad是G在L(G)上的伴随表示),简称ω满足等变条件.由于L(G)是L(GL(n,R))的子代数,故ω可表示成n×n矩阵,其第i行、第j列的元素ωij是P上的一次微分形式.
令σ:[0,1]→M是M上从点p到点q的一条光滑曲线,σθ是P中通过点θ的、曲线σ的唯一的横提升.用πσ表示从纤维Pp到纤维Pq的映射,其定义为πσ(θ)=σθ(1).πσ称为沿曲线σ的平移.一般说来,此平移与所取的曲线σ有关.如果联络ω的平移只与σ的同伦类有关,则称ω是平坦的.联络ω是平坦的充分必要条件是横子丛H是可积的,或者
量ω平坦与否的测度,郎dω=ω∧ω—Ω.因ω是等变的,故Ω也是等变的.将Ω作外微分,得到比安基恒等式dΩ=Ω∧ω—ω∧Ω.把P上的局部截面θ:U→P称为允许的局部余切标架场.若是P在U上的另一个截面,则存在唯一的一个光滑映射g:U→G,使得
(x)=Rg(x)θ(x).令ψ=θ*(ω),
=
*(ω),
=θ*(Ω),
=
*(Ω),则有
=dg·g-1+g·ψ·g-1,
=g·Ψ·g-1.
但是联络与等价问题的联系在哪里?嘉当的等价方法用于一般的G-结构是复杂的,除非G成为平凡子群{e}(e是群的单位元素).他发现,有时可以添进对应于群G的坐标的“新变量”得到一个新的流形,使得M上的G-结构成为新流形上的{e}-结构.陈省身看出这个新流形只是G-主丛的全空间P,嘉当的约化方法恰好是探测P上是否有“内蕴联络”的方法,而G-结构的完全不变量组可以由这个联络的曲率形式算出来.最重要的黎曼度量的等价问题即可以用此法来解,其内蕴联络当然是它的列
示M上由ei决定的法坐标,则g和g*在此坐标下是相同的.注意到g在法坐标下的麦克劳林展开式的系数可以表为它在点p的曲率及其共变导数的通用多项式.因此,黎曼度量的完全不变量组是在法坐标系下的曲率张量及其各阶共变导数在一点的值.
线性标架的G-主丛P可以扩充为仿射标架的相配N(G)-主丛N(P).在[1-43]里,陈省身发现如果能在N(P)上找到内蕴N(G)-联络,则与上例类似的结果仍成立.N(G)-联络的曲率形式Ω是L(N(G))-值的二次微分形式.然而L(N(G))=Rn+L(G),故Ω也有相应的分解.Ω中相应于Rn的部分τ称为此联络的挠率.陈省身发现,如果在τ上加适当条件,可以定义内蕴的N(G)-联络.例如,列维-奇维塔联络是τ=0的唯一的N(O(n))-联络.事实上,在[1-43]中陈省身证明:若L(G)满足一个代数条件(“性质C”),则内蕴N(G)-联络存在.他更进一步证明:若G是一紧群,则L(G)必满足性质C.在该文中他还用嘉当的伪群观点来解释为何有些G-结构上不存在内蕴联络.G-结构(π:P→M)的伪群是由所有保持P不变的M上局部微分同胚组成的,所以当G-结构上有一内蕴联络时,该联络必在上述伪群作用下不变.但是在P上保持一个固定联络不变的丛自同构成为一个有限维李群,而确实存在其伪群是无限维的G-结构:例如当n=
陈省身还解决了许多具体的等价问题.例如,[1—6],[1—13]关于三阶常微分方程式定义的轨道几何,此时G结构是关于R2的单位切向量的切触流形定义的,G是保圆切触变换的群.在[1—10],[1—11]中他把上述考虑推广到n阶常微分方程组的轨道几何.在[1—23]中他考虑广义的射影几何,即Rn中k维子流形的(k+1)(n-k)-参数族的几何;[1—20]和[1—21]是关于Rn中超曲面的(n—1)-参数族定义的几何.在[1—105](与莫泽(J.Moser)合作)及[1—107]中他考虑Cn中的实超曲面,此二文成为CR流形理论的经典著作.
(转自《中国现代数学家传》)