平展上同调(étale cohomology)是一个与一般拓扑空间的有限系数上同调群类似的代数结构。
这一概念作为证明韦伊猜想的工具由亚历山大·格罗滕迪克引入。
平展上同调的理论可以用于构建?进上同调,后者则是代数几何中韦伊上同调理论的一个例子。
这一理论有着众多的应用,包括weil猜想的证明以及李型有限单群的表示的构造。
格罗滕迪克思考问题的方式让塞尔感到不可理解。
塞尔对格罗滕迪克说:“你的这些代数几何的工作,我应该如何用一种例子来看懂?”
格罗滕迪克用怀疑的眼神看着塞尔,用轻蔑的语气说:“你们这些人,怎么老是例子例子的,我听的耳朵都磨出茧子了。”
塞尔说:“我看到了你的分析方式,我觉得我来不了这个,我必须用例子才能去理解很多数学问题。”
格罗滕迪克摇摇头说:“没必要那么麻烦。你每次要找例子的话,会很浪费时间,如果你想提升自己,应该提升自己的逻辑推理能力。”
塞尔对格罗滕迪克说:“你是不是像那个不识字的慧能法师悟佛法那样,使用自己的抽象的思考能力直接思考很多代数几何问题?”
格罗滕迪克说:“你倒是放心,我很懂符号,我也可以不借助符合直接思考抽象问题,这不算太难。甚至比你们借助例子要简单。”
塞尔心想,或许借助例子和直接不借助符合的抽象思考是一回事。但塞尔没说什么。