齊性空間
正文
又稱齊性流形,是容有可遷變換群的微分流形。齊性空間理論與李群論有極為密切的聯繫。在幾何中出現的許多重要流形都是齊性空間。齊性空間在現代數學的許多分支如李群無限維表示論、調和分析、複變函數、數論和代數幾何等方面有廣泛的套用。設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不動的元素全體,即
![齊性空間](/img/7/f30/ml2ZuM3XxkTM2ETO0YTMxgDM5ETMwADMwADMwADMwADMxAzLxEzLxkzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
古典的幾何學(如射影空間的幾何學、非歐幾何學、共形幾何學等等)依(C.)F.克萊因的分類均可視為具有一可遷變換群的集合,因此可歸入齊性空間的範疇。
如果一個黎曼流形的等距變換群 G可遷地作用在其上,就稱它為齊性黎曼流形,其度量稱為G不變黎曼度量,這是一類重要的齊性空間。例如,對歐氏球面Sn,可以看出正交群O(n+1)可遷地作用在Sn上,
![齊性空間](/img/8/dfe/ml2ZuM3X4EDM4QTOyQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL4EzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![齊性空間](/img/9/202/ml2ZuM3X4cjM3ETO0YTMxgDM5ETMwADMwADMwADMwADMxAzLxEzL4czLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![齊性空間](/img/8/dfe/ml2ZuM3X4EDM4QTOyQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL4EzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
李群G的一個自同構σ,如果適合σ2=idG,idG表示恆等元素,那么 σ稱為對合。記Gsigma;為 σ的不動點集,即對g∈Gσ成立σ(g)=g。顯然單位元e∈Gσ,用G
![齊性空間](/img/3/d2a/ml2ZuM3XwgjN0UzNzQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLwgzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![齊性空間](/img/3/d2a/ml2ZuM3XwgjN0UzNzQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLwgzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![齊性空間](/img/d/229/ml2ZuM3XykDO2UzNzQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLykzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![齊性空間](/img/d/229/ml2ZuM3XykDO2UzNzQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLykzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![齊性空間](/img/f/ec9/ml2ZuM3XzATO4ETO0YTMxgDM5ETMwADMwADMwADMwADMxAzLxEzLzAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![齊性空間](/img/2/52d/ml2ZuM3XwEzN3ITO0YTMxgDM5ETMwADMwADMwADMwADMxAzLxEzLwEzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![齊性空間](/img/8/dfe/ml2ZuM3X4EDM4QTOyQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL4EzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![齊性空間](/img/6/1f6/ml2ZuM3X2YTM4UzNzQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL2YzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![齊性空間](/img/5/802/ml2ZuM3XzgjM5UzNzQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzLzgzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
對稱黎曼流形是最重要的一類對稱齊性空間。一個黎曼流形M稱為對稱黎曼流形,如果對M中每點x
![齊性空間](/img/8/dfe/ml2ZuM3X4EDM4QTOyQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL4EzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![齊性空間](/img/d/746/ml2ZuM3X0ADNwYzNzQTNxgDM5ETMwADMwADMwADMwADMxAzL1EzL0AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
對稱齊性空間G/h如果具有G不變黎曼度量,則它也是一個對稱黎曼流形。一個單連通完備黎曼流形是對稱黎曼流形的充要條件為它的曲率張量的協變導數等於零,即曲率張量在平行移動下不變。
藉助李代數的分類定理對於對稱黎曼流形的結構和分類問題進行研究,是一個重要途徑。É.嘉當在1926~1927年首先完成了對稱黎曼流形的完全分類。另一方面,研究齊性空間,特別是對稱黎曼流形的拓撲性質及微分幾何性質也是非常重要的,這些性質常常可以促使對一般流形的性質提出一些很好的問題和猜想。
參考書目
村上信吾著:《齊性流形引論》,上海科學技術出版社,上海,1983。
C.Chevalley,Theory of Lie Groups,Princeton Univ.Press, Princeton, 1946.
S.Helgason,Differential Geometry and SymmetricSpaces,2nd ed., Academic Press, New York, 1979.