韋依猜想的上同調解釋
來自專欄數學沉思錄4 人贊了文章
設 是 上的 維光滑射影簇,約定 .
在1936年,Hasse發現可以把 的計數問題轉化成純幾何的問題:
在射影簇 上,我們可以定義Frobenius自同態 . 射影簇 上 -點集 恰好是自同態 的不動點集!
而關於不動點集的計算,回顧經典的
(Lefschetz不動點定理)對於復代數簇 ,自同態 誘導 的 -線性自同態 . 假定 的圖 和恆同映射的圖 橫截相交,我們定義不動點為這些交點在 上的投影. 則不動點的個數
所以我們期望對於有限域上的 定義「正確」的上同調論,使得Lefschetz不動點定理的類比成立。
韋依上同調
這種「正確的」上同調就是韋依上同調:
給定域 (任意特徵)和 (特徵為 ),記 上光滑射影簇的範疇 ,分次 代數的範疇為 . 定義韋依上同調函子為反變函子 ,對所有 維射影簇 ,滿足如下公理:
- (有限公理) 都是有限維 -線性空間;
- (消沒公理) ,除非 ;
- (定向公理) ;
- (龐加萊對偶)存在非退化配對 ;
- (Kunneth公式)有典範同構 ; 上述5條公理是一般上同調論的共性,我們希望韋依上同調還能給出代數幾何特有的
- (閉鏈映射)記 為 中余維數為 的代數閉鏈的有理等價類所張成的 -線性空間. 要求存在閉鏈映射 滿足函子性,與Kunneth公式相容,並在 退化為單點時給出嵌入 .
- (弱Lefschetz定理)
- (強Lefschetz定理)
4種經典的韋依上同調
設 是一個域 上的光滑射影簇. 令 ,這裡 是 的可分閉包.
- (Betti(奇異)上同調)如果存在嵌入 ,則定義 的Betti(奇異)上同調為
- (代數德拉姆上同調)如果 ,則定義 的德拉姆上同調為
- (l-進平展上同調)與Betti上同調構成提升/約化的關係.
- (晶體上同調)代數德拉姆上同調的「模 約化」,以Witt向量為係數.
它們之間有如下關係:
- 奇異上同調與德拉姆上同調
- 奇異上同調與平展上同調
Lefschetz不動點定理
事實上,Lefschetz不動點定理的成立僅僅依賴於韋依上同調公理(1)-(6).
設 是一個韋依上同調, .
則我們有
(Lefschetz不動點定理)設 是一個自同態. 則不動點的個數為
韋依猜想中「有理性」,「函數方程」和「Betti數」的證明
假設存在一個韋依上同調 . 我們將證明韋依猜想中「有理性」和「函數方程」.設 是 上的 維光滑射影簇,約定 .
引理:設 是有限維線性空間 的自同態,則
引理:設 是一個特徵為 的域. 設 ,則 當且僅當存在整數 和 使得對所有 Hankel行列式
為 .
(有理性)Zeta函數 . 更精確地, 可寫成如下有限交錯積的形式: 其中 和 ,而對於 , 是整係數多項式.
證明:由定義知
.
因為 的不動點的重數都是 ,所以由Lefschetz不動點定理可知
則命題可由上述兩個引理給出.
(函數方程和龐加萊對偶)Zeta函數 滿足如下函數方程: 其中 和 是 的歐拉示性數.
證明:這可由龐加萊對偶定理推知.
總結一下,我們現在的目標是:
- 在特徵為 的域上構造一個韋依上同調理論,要求滿足(1)-(6),這樣我們就能證明「有理性」,「函數方程」和「Betti數」了!
- 它還能滿足(7)和(8),尋求更深入的理論,以求證明黎曼假設!
在1960年,Grothendieck定義出係數為 -進域 的平展上同調,還定義出了晶體上同調,並證明這種上同調滿足韋依上同調的要求。這樣,Grothendieck就證明了韋依猜想的前兩部分。對於韋依猜想的第三部分——黎曼假設,Grothendieck並沒有試圖直接去證明,而是轉向了更為寬闊的視野。首先,Grothendieck提出了Motive理論,然後,在此基礎上形成了他著名的「標準猜想」。這樣,如果能夠證明「標準猜想」,那麼「人們就可以通過用簇的Motive理論替代曲線的雅克比,來將韋依關於曲線情形的韋依猜想的證明擴展到任意維的代數簇的情形」,即可推出黎曼假設。
欲知後事如何,請聽下回分解
失學兒童:平展上同調——碧海潮生
推薦閱讀:
※為什麼0不能作除數?
※奪命數學......
※微擾量子場論
※周末燒燒腦:超5星難度的奧數題(18年6月2日)
※數學擺(1):周期與角度的關係