[拼音]:qixing kongjian [外文]:homogeneous space 又称齐性流形,是容有可迁变换群的微分流形。齐性空间理论与李群论有极为密切的联系。在几何中出现的许多重要流形都是齐性空间。齐性空间在现代数学的许多分支如李群无限维表示论、调和分析、复变函数、数论和代数几何等方面有广泛的应用。 设M是一个微分流形,李群G可迁地作用在M上,这里可迁的意思是说,对M中任意两点x,y,总存在G中元g将x变到y,即gx=y,这时就称G为M上的一个可迁变换群,M称为齐性空间。 设G是一个李群,h是G的一个闭子群,G关于h 的左陪集空间记为G/h。利用投影映射Π:G→G/h,可以自然地在G/h中引进微分桔构,使其成为一个微分流形。G中的任一元 g将陪集g1h 变为(gg1)h。这样G 就可迁地作用在G/h上。 实际上,齐性空间总可以表达为G/h的形式。在流形M上取定一点x,用h表示G中保持x不动的元素全体,即 古典的几何学(如射影空间的几何学、非欧几何学、共形几何学等等)依(C.)F.克莱因的分类均可视为具有一可迁变换群的集合,因此可归入齐性空间的范畴。 如果一个黎曼流形的等距变换群 G可迁地作用在其上,就称它为齐性黎曼流形,其度量称为G不变黎曼度量,这是一类重要的齐性空间。例如,对欧氏球面Sn,可以看出正交群O(n+1)可迁地作用在Sn上, 李群G的一个自同构σ,如果适合σ2=idG,idG表示恒等元素,那么 σ称为对合。记Gsigma;为 σ的不动点集,即对g∈Gσ成立σ(g)=g。显然单位元e∈Gσ,用G 对称黎曼流形是最重要的一类对称齐性空间。一个黎曼流形M称为对称黎曼流形,如果对M中每点x 对称齐性空间G/h如果具有G不变黎曼度量,则它也是一个对称黎曼流形。一个单连通完备黎曼流形是对称黎曼流形的充要条件为它的曲率张量的协变导数等于零,即曲率张量在平行移动下不变。 借助李代数的分类定理对于对称黎曼流形的结构和分类问题进行研究,是一个重要途径。É.嘉当在1926~1927年首先完成了对称黎曼流形的完全分类。另一方面,研究齐性空间,特别是对称黎曼流形的拓扑性质及微分几何性质也是非常重要的,这些性质常常可以促使对一般流形的性质提出一些很好的问题和猜想。
|