第五百四十章 格羅滕迪克平展上同調(diào)與L進上同調(diào)(代數(shù)幾何)
平展上同調(diào)(étale cohomology)是一個與一般拓撲空間的有限系數(shù)上同調(diào)群類似的代數(shù)結(jié)構(gòu)。
這一概念作為證明韋伊猜想的工具由亞歷山大·格羅滕迪克引入。
平展上同調(diào)的理論可以用于構(gòu)建?進上同調(diào),后者則是代數(shù)幾何中韋伊上同調(diào)理論的一個例子。
這一理論有著眾多的應(yīng)用,包括Weil猜想的證明以及李型有限單群的表示的構(gòu)造。
格羅滕迪克思考問題的方式讓塞爾感到不可理解。
塞爾對格羅滕迪克說:“你的這些代數(shù)幾何的工作,我應(yīng)該如何用一種例子來看懂?”
格羅滕迪克用懷疑的眼神看著塞爾,用輕蔑的語氣說:“你們這些人,怎么老是例子例子的,我聽的耳朵都磨出繭子了。”
塞爾說:“我看到了你的分析方式,我覺得我來不了這個,我必須用例子才能去理解很多數(shù)學(xué)問題。”
格羅滕迪克搖搖頭說:“沒必要那么麻煩。你每次要找例子的話,會很浪費時間,如果你想提升自己,應(yīng)該提升自己的邏輯推理能力。”
塞爾對格羅滕迪克說:“你是不是像那個不識字的慧能法師悟佛法那樣,使用自己的抽象的思考能力直接思考很多代數(shù)幾何問題?”
格羅滕迪克說:“你倒是放心,我很懂符號,我也可以不借助符合直接思考抽象問題,這不算太難。甚至比你們借助例子要簡單。”
塞爾心想,或許借助例子和直接不借助符合的抽象思考是一回事。但塞爾沒說什么。