[论文解读] General linear and functor cohomology over finite fields

Vincent Franjou, Eric M. Friedlander+2 more|arXiv (Cornell University)|Sep 1, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 12

一句话总结

本文在正特征有限域上建立了函子上同调的奠基性结果，将一般线性群模表示的Ext-群与函子范畴联系起来。通过建立计算这些Ext-群的系统性框架，作者们推广了先前的结果，并在表示理论与函子范畴之间建立起上同调桥梁，得出了关于临界次数中上同调的零与非零性的精确结构性定理。

ABSTRACT

In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we extend our ability to make such Ext-group calculations by establishing several fundamental results. Throughout this paper, we work over fields of positive characteristic p.

研究动机与目标

• 扩展有限域上一般线性群模表示的Ext-群计算框架。
• 在正特征下，建立一般线性群上同调与函子上同调之间的系统性联系。
• 提供基础定理，以实现对建模GL(n, F_q)表示的函子范畴中Ext-群的计算。
• 阐明临界次数中上同调的结构，特别是与多项式函子及其导出函子的关系。
• 通过上同调方法，将模表示理论与函子范畴联系起来，推广先前结果。

提出的方法

• 作者采用多项式函子及其导出函子的理论，以在正特征下建模GL(n, F_q)的表示。
• 他们使用从有限维F_p-向量空间到F_p-模的有限生成函子范畴作为核心工具。
• 本文建立了将一般线性群上同调与函子范畴上同调联系起来的谱序列。
• 关键结果通过严格多项式函子及其Ext-群的理论推导得出，特别关注固定次数的多项式函子范畴背景。
• 作者应用K-理论与同调代数的结果，分析函子范畴中Ext-群的结构。
• 他们利用多项式函子与GL(n, F_p)表示之间的对偶性，实现在范畴间传递上同调信息。

实验结果

研究问题

• RQ1 如何通过函子范畴计算GL(n, F_p)模表示的Ext-群？
• RQ2 一般线性群的上同调与有限域上多项式函子的上同调之间存在何种精确关系？
• RQ3 在F_p上多项式函子的函子范畴中，非平凡Ext-群在哪些次数中出现？
• RQ4 多项式函子的上同调性质在多大程度上反映了GL(n, F_p)的表示论结构？
• RQ5 哪些结构性定理控制着有限域上函子范畴中上同调的零与非零性？

主要发现

• 本文证明了在正特征下，一般线性群GL(n, F_p)的上同调同构于某一类多项式函子范畴的上同调。
• 证明了在F_p上、次数为d的多项式函子范畴中的Ext-群是有限维的，且在超过某一依赖于d和p的界限的次数中消失。
• 作者表明，在适当条件下，函子范畴中第一个非零上同调群出现在等于多项式函子次数的次数上。
• 他们推导出一个谱序列，通过相应函子范畴的上同调来计算GL(n, F_p)表示范畴中的Ext-群。
• 本文完整描述了在F_p上次数≤2的多项式函子的函子范畴中Ext-群的结构，表明其结构由对称幂与除法幂控制。
• 建立了GL(n, F_p)上同调与对偶函子范畴上同调之间的对偶性，将经典结果推广至正特征。