基本介紹
- 中文名:龐加萊對偶性定理
- 外文名:Poincaré dualitytheorem
- 領域:數學
- 提出者:亨利·龐加萊
- 適用對象:任何係數環
- 相關名詞:拉梅定理
簡介,歷史,現代表述,雙線性配對,概括和相關結果,
簡介
在數學中,以亨利·龐加萊(Henri Poincaré)命名的龐加萊對偶性定理是流形結構的基本結果。 它指出,如果M是一個n維定向的閉合流形(緊湊而沒有邊界),則M的第k個流形與M的(n-k)流形是同構的,對於所有整數k,
![](/img/9/d31/wZ2NnLlNTZ3UDM3I2MjNmZ3MDMwEmYyETMwITNiRWNmBDM5UzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
龐加萊對偶性適用於任何係數環,只要有一個取決於該係數環的方向;特別地,由於每個流形具有獨特的取向模數2,所以龐加萊對偶性保持模數2而沒有任何取向的假設。
歷史
1893年,亨利·龐加萊首次提出了一種“龐加萊”的形式。這是說貝蒂數:閉合(即緊湊且無邊界)可定向的n流形的第k和(n-k)貝蒂數相等。在那個時候,上同調的概念被澄清了大約40年。在他1895年的論文分析中,龐加萊試圖用他發明的拓撲交叉理論來證明這個定理。對他的作品的批評使他意識到他的證明是有嚴重缺陷的。在分析情況的前兩種補充中,龐加萊給出了雙三角的新證明。
龐加萊對偶性在20世紀30年代出現同時性之前沒有採用其現代形式。
現代表述
龐加萊對偶定理的現代表述是關於流形和上同調的:如果M是閉合取向的n流形,並且k是整數,那么第k個流形就有一個規範的同構
到(n-k)流形
,在這裡,同整和同調是採用整數環中的係數,但同構性適用於任何係數環。具體地說,一個將
元素映射到它的卡積,它是面向M的。
![](/img/7/a3e/wZ2NnLmVTY5cTN5kjN1YGZ4QDMmZTMzUGZhFTO1MGZjhjY2Q2LhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
![](/img/2/9fa/wZ2NnLhVDNwITOkNGZidjZ2UDNiNjNwYWM3MTOxEmY1kjYhN2LhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
![](/img/7/a3e/wZ2NnLmVTY5cTN5kjN1YGZ4QDMmZTMzUGZhFTO1MGZjhjY2Q2LhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
對於非緊湊型的流形,必須用緊密的支持來取代上同學。
流形被定義為負的零,所以龐加萊的對偶性尤其意味著,在大於n的角度上,可定向閉合n-流形的流形和上同調群是零。
雙線性配對
假設M是緊密無邊界和可定向的,讓
![](/img/7/34e/wZ2NnL5YWYjJzNxMWOzADMkNDMwMDZygDM2EGMwUjY0QWOldzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
表示
的撓子群。並且讓
![](/img/b/a4b/wZ2NnLmVjMmZTYxkzNkZmM5Y2YkVDM2IWZ2EjZ2YmZ3MmYkR2LhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
![](/img/1/af0/wZ2NnL0ImM4kDO4AjN5MDN2cTO4EWYxQ2YihjZ2EWO0YTOmFzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
是自由部分與整數係數有關的流形。然後是雙線性映射,即對偶性配對。
![](/img/e/133/wZ2NnLwMGOxITOxMjNzkjZxADOzEGM5YWOzUzM3AjN3YzN4MzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
和![](/img/c/86a/wZ2NnLmdDO0YDN0cjY5MTNxQDO1ETYhFmMhdzMmRWO2QmMzYzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
![](/img/c/86a/wZ2NnLmdDO0YDN0cjY5MTNxQDO1ETYhFmMhdzMmRWO2QmMzYzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
第一種形式通常稱為交叉形式,第二種是扭轉聯接形式。 假設流形M是平滑的,則通過擾動流形類別來橫向計算交叉乘積並計算它們的定向交叉數。 對於扭轉連結形式,通過實現nx作為某個類z的邊界來計算x和y的配對。 形式是分子的分數,z的橫向交叉數與y和分母n。
配對是對偶配對的聲明意味著伴隨地圖
![](/img/8/56e/wZ2NnLyUjZ1UmZ1MWZiRWZ5QTNxImZ5YTNwkTMjdTZhRDM3EzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
和
![](/img/1/32f/wZ2NnLjRzM5cjNmdjY1IWZ0gTYwIjYwITZ5QmMjZTZxETOiBzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
是群的同構。
這個結果是龐加萊對偶性的套用。
![](/img/6/f97/wZ2NnL4Y2YlRjYzITOhBTNiJGZkBDZxQ2M4gTNzMWMlNTY1AzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
以及給出識別的通用係數定理
![](/img/f/71f/wZ2NnLwATN5ADZzQGZwkzN0AjZiJDOzQzNzITZmJTNkRjNhN2LhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
因此,龐加萊對偶性表示
和
是同構的,雖然沒有給出同構的自然圖, 並且同樣地,
和
也是同構的。
![](/img/4/c9e/wZ2NnLmJDNxEDM3U2MkdzYzIDM1gzN0UDNyUGNjhjYhRTM0Y2LhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
![](/img/3/9d7/wZ2NnLzUTN1QzY5MjZ0IjM2AjYmJDOhZjM4E2NmJDN2Y2MhZ2LhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
![](/img/7/34e/wZ2NnL5YWYjJzNxMWOzADMkNDMwMDZygDM2EGMwUjY0QWOldzLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
![](/img/d/577/wZ2NnLhdTZyETZ0ITYwQGZiBTZlNzM2MjM5Q2NyE2NmRzM4czLhxWdtJ3bm9SbvNmLz9mYlNmYu4GZj5yZtl2ai9yL6MHc0RHa.jpg)
概括和相關結果
龐加萊對偶性定理是對邊界多邊形的泛化。在不定向的情況下,考慮到地方的方向,可以給出獨立於定向性的聲明:參見扭曲的龐加萊對偶性。
布蘭奇菲爾德對偶性是龐加萊對偶性的一個版本,它提供了一個同源性的一個阿巴爾的覆蓋空間的流形和相應的同態學與緊湊的支持。它用於獲得關於亞歷山大模組的基本結構結果,並可用於定義結點。
隨著流形理論的發展,從1955年開始,包括K-理論和其他非凡的理論,一旦構建了多元化的產品,就認識到H*的流形可以被其他理論所取代。更具體地說,廣義流形理論有一般的龐加萊對偶性定理,它需要一種關於流形理論的方向概念,並且是根據廣義Thom同構定理來制定的。Thom同構定理在這方面可以被認為是廣義流形理論的龐加萊對偶性的生髮觀念。
更為顯著的對偶性是對(可能是單數)幾何對象的適當泛化,如分析空間或方案,而交叉流形則被開發R.McPherson和M.Goresky用於分層空間,如實數或複數代數品種,龐加萊對這種分層空間的對偶性。
代數拓撲中有許多其他形式的幾何對偶性,包括Lefschetz對偶性,亞歷山大對偶性,Hodge對偶性和S對偶性。
更代數地,可以抽象出一個龐加萊複合體的概念,它是一個代數對象,其行為類似於一個流形的奇異鏈複合體,特別是在其流形上滿足龐加萊對偶性,相對於基礎類。龐加萊空間是一個奇異的鏈組合是龐加萊複合體。這些並不是所有的流形,而是它們不成為流形,可以通過阻礙理論來衡量。