[论文解读] Dualit\\'e de Koszul formelle et th\\'eorie des repr\\'esentations des groupes alg\\'ebriques r\\'eductifs en caract\\'eristique positive

Pramod N. Achar, Simon Riche|arXiv (Cornell University)|Jul 23, 2018

Advanced Algebra and Geometry被引用 6

一句话总结

本文引入形式化柯尔祖对偶性（formal Koszul duality）作为统一框架，用于证明在正特征下半单代数群的倾斜表示的特征公式。通过形式化类似于经典柯尔祖对偶性和瑞格尔对偶性的结构——即使不依赖柯尔祖环——作者建立了一种形式对偶性，该对偶性控制导出范畴之间的等价关系，从而通过奇性层与奇异 t-结构证明了一个长期存在的关于特征公式的猜想。

ABSTRACT

In this survey paper, we present the broad outlines of the proof of a character formula for tilting representations of reductive algebraic groups in positive characteristic, obtained partly in collaboration with several other authors. A unifying theme for a number of steps of this proof is the notion of "formal Koszul duality." We explain this notion and discuss some applications. ----- Dans cet article nous pr\\'esentons les grandes lignes de la preuve d'une formule de caract\\`eres pour les repr\\'esentations basculantes des groupes alg\\'ebriques r\\'eductifs sur un corps de caract\\'eristique positive, obtenue partiellement en collaboration avec plusieurs auteurs. Nous unissons les diff\\'erentes \\'etapes de cette preuve dans la notion de "dualit\\'e de Koszul formelle", et en pr\\'esentons quelques applications.

研究动机与目标

• 将模表示论中分散的范畴等价统一于单一概念框架之下。
• 解决在正特征下半单群的倾斜模的特征公式猜想。
• 在不存在柯尔祖环的情况下，将经典柯尔祖对偶性推广，引入形式化柯尔祖对偶性。
• 建立一种形式对偶性，以捕捉拟旗代数设定下瑞格尔对偶性与柯尔祖对偶性之间的相互作用。
• 为奇性层、奇异 t-结构与倾斜模在正特征下的相容性提供结构性解释。

提出的方法

• 引入形式化柯尔祖对偶性的概念，作为一种范畴等价，其性质模仿经典柯尔祖对偶性和瑞格尔对偶性，即使在缺乏底层柯尔祖环的情况下亦成立。
• 利用分次拟旗代数及其倾斜模的框架来定义并分析该对偶性。
• 将该形式对偶性应用于仿射格拉斯曼流形上的 G-等变 perverse 层范畴，利用奇异 t-结构。
• 利用奇性层及其性质，在正特征下构造并验证该对偶性。
• 证明在拟旗代数设定下，形式对偶性与瑞格尔对偶性可交换，从而在导出范畴中产生自对偶结构。
• 借鉴贝林森–金兹堡–索厄格尔及索厄格尔在复数情形下关于柯尔祖对偶性的结果，以指导正特征情形的分析。

实验结果

研究问题

• RQ1 在不存在柯尔祖环的设定下，经典柯尔祖对偶性应如何推广？
• RQ2 在正特征下，倾斜模、奇性层与奇异 t-结构之间相容性的范畴结构是什么？
• RQ3 形式化柯尔祖对偶性能否统一在半单群模表示论中已知的等价关系？
• RQ4 在倾斜模的语境下，瑞格尔对偶性在形式化柯尔祖对偶性中扮演何种角色？
• RQ5 形式对偶性如何解释正特征下倾斜表示的特征公式？

主要发现

• 本文建立了一种形式对偶性，它推广了经典柯尔祖对偶性和瑞格尔对偶性，即使在无柯尔祖环时也适用。
• 该形式对偶性提供了一个概念性框架，统一了由奇性层与奇异 t-结构导出的导出等价关系。
• 证明了在正特征下半单代数群的倾斜模的特征公式，证实了威廉森与里什的猜想。
• 在拟旗代数设定下，该对偶性与瑞格尔对偶性可交换，从而在导出范畴中产生自对偶结构。
• 该框架通过几何表示理论解释了 $p$-典范基的行为及其与倾斜特征的关系。
• 该结果应用于仿射格拉斯曼流形，并支持米尔科维奇–维洛年科关于奇性层与倾斜模的猜想。