cech上同調的幾何直觀是什麼,當時是怎麼想到的?

時間 2021-05-05 17:49:54

1樓:「已登出」

容斥原理的範疇化。

比如說,你考慮乙個有限集的集族。然後考慮對應的常值層還有Cech complex。對這個Cech complex取完整體截面再取尤拉數,就得到了容斥原理。

再或者說,比如你有兩個開集,對應的集合論操作裡,你實際上會忘掉集合論相交裡面元素的重數。但是如果你用Cech complex(在此時剛好是MV sequence),這個重數就可以被記下來。

對任意的層而言,在pass to direct limit of coverings之前,Cech complex是用常值層的Cech complex 與給定的層張量積得到,之後取整體截面並取cohomology就能得到相應的Cech cohomology. 所以它相當於給層一種容斥原理,並用來計算cohomology。

雖然可以用nerv還有單純集什麼的來解釋,不過我覺得多少還是這個想法的深化吧。

其實這種東西在層論裡很多,比如Kunneth formula其實可以當做二項式定理的範疇化。之前還用這個想法算過某個東西emm。

以上算是半口胡,主要是懶得打細節了。

2樓:Kenneth Ma

說乙個我知道的Cech上同調的乙個很有趣的小結論,它是從Mittag-Leffler問題開始的。

是乙個Riemann面,考慮 上的Mittag-Leffler問題,也就是給定乙個離散的點列 以及每個 上的Laurent級數的主部 ,那麼是否存在乙個亞純函式 ,使得它的所有奇點就是 ,且主部就是 上給定的那個。這個問題在區域性上是簡單的,因為在每個 的鄰域中給定的主部就是問題的解,但在全域性中這個問題可以匯出Cech上同調。

取 的乙個開覆蓋 ,使得每個 中至多還有乙個給定點 ,並且令 是 上滿足問題的亞純函式。在 上建立新的函式:

= 這裡 是 的全純函式環,顯然在 上有

此時如果在每個 上能夠找到乙個函式 使得

, 在上

這意味著函式 ,此時 在每個 上就是問題的解答。現在我們回到Cech上同調,注意到:

因此若 ,則每個閉鏈都是由 這樣的全純函式組成,於是Mittag-Leffler問題可解;反之,若 ,則存在閉鏈不是上邊緣,因而不能找到滿足 的,所以有結論:

Mittag-Leffler問題在 上可解。

層的上同調 匯出函子的幾何直觀是什麼?

Fibration 不知道你想要的幾何直觀是什麼意思?就是圖形上可以看出來那種?你說的洞,就是虧格 genus 很多時候,通常用上同調群來定義一些幾何物件的不變數。乙個重要的問題,就是這些定義出來的物件是不是雙有理不變的,這在雙有理幾何中,是最基本的問題。比如,對於n維 光滑射影 代數簇X,可以定義...

平面幾何用代數法解幾何的原理是什麼?

亮貓 原理就是,用不同的方法表示乙個量兩次,然後令相等即可。具體可以查 算兩次原理 得到恒等式的原因是,你採用的那兩種方法本質上是一種方法,由於幾何定理體系裡面有很多等價定理 如很多定理其實就是相似三角形定理的推論 所以這種情況時有發生。這個時候一般是考察已知條件還有沒有沒用上的,想辦法用上就可以了...

格林公式的幾何意義是什麼?

迅哥兒1399 不妨思考散度和旋度為啥起這個名字,它們的定義是否有脫離座標系而完全依賴於空間本身的形式。中科大常庚哲史濟懷的 數學分析教程 中的引入方式給出了兩種場操作的幾何意義 這裡指只依賴於空間本身而不涉及座標 可供參考。 林東 恭喜你發現了問題所在,你所觀察到的邊界和積分的關係實質上是兩個邊界...