[论文解读] Free-monodromic mixed tilting sheaves on flag varieties

Pramod N. Achar, Shotaro Makisumi+2 more|arXiv (Cornell University)|Mar 16, 2017

Algebraic structures and combinatorial modelsMathematics参考文献 1被引用 20

一句话总结

本文利用混合模形式导出范畴，构建了基灵–莫迪旗流形上自由单值混合倾斜层的张量范畴，为模形式科兹乌尔对偶奠定了基础框架。关键贡献在于证明了该设定下卷积的函子性，通过图解与同调方法，将特征 0 的结果推广至正特征。

ABSTRACT

In this paper we propose a construction of a monoidal category of "free-monodromic" tilting perverse sheaves on (Kac-Moody) flag varieties in the setting of the "mixed modular derived category" introduced by the first and third authors. This category shares most of the properties of their counterpart in characteristic 0, defined by Bezrukavnikov-Yun using certain pro-objects in triangulated categories. This construction is the main new ingredient in the construction of a "modular Koszul duality" equivalence for constructible sheaves on flag varieties, see [P. Achar, S. Makisumi, S. Riche, and G. Williamson, "Koszul duality for Kac-Moody groups and characters of tilting modules", J. Amer. Math. Soc. 32 (2019)].

研究动机与目标

• 在正特征下构建基灵–莫迪旗流形上自由单值混合倾斜层的张量范畴，推广贝兹鲁卡尼科夫–云的特征 0 理论。
• 利用混合模形式导出范畴，为旗流形上构造性层建立模形式科兹乌尔对偶版本。
• 证明自由单值倾斜复形的卷积满足交换律，从而赋予该范畴张量结构。
• 为基灵–莫迪设定中的倾斜层提供图解与同调框架，兼容单值性与权重过滤。
• 将最小罗瓦耶尔复形上移至模形式设定，并证明其在混合模形式范畴中卷积的函子性。

提出的方法

• 利用伊莱亚斯–威廉森演算的图解方法，构建包含左、右单值作用的自由单值导出范畴。
• 通过 Karoubian 包络与 dgg 代数，在具有左单值或右等变结构的复形上引入三角范畴结构。
• 通过导出范畴中的双模 Hom 空间定义卷积，利用一致性条件证明结合律与单位律。
• 应用局部化函子，通过基变换将混合模形式范畴中态射的陈述约化至有理数情形。
• 在有限二面体情形下，利用琼斯–温兹尔投影算子与最小罗瓦耶尔复形，归纳描述不可约倾斜对象。
• 利用对称代数与多项式环上的分次模，将最小罗瓦耶尔复形从有理数设定上移到模形式设定。

实验结果

研究问题

• RQ1 能否在正特征下构建类似于特征 0 情形的自由单值倾斜层张量范畴？
• RQ2 自由单值倾斜复形的卷积是否满足交换律，从而确保张量结构的存在？
• RQ3 如何将有理数设定下的最小罗瓦耶尔复形上移到模形式混合导出范畴？
• RQ4 单值性在混合模形式导出范畴中倾斜层结构中起何种作用？
• RQ5 能否通过图解与局部化方法，在基灵–莫迪旗流形设定中建立卷积函子性？

主要发现

• 基灵–莫迪旗流形上自由单值倾斜层的范畴通过卷积具备明确定义的张量结构。
• 自由单值倾斜复形的卷积满足交换律，证明卷积函子行为良好且满足结合律。
• 局部化函子在自由单值倾斜复形范畴上是忠实的，使证明可约化至有理数情形。
• 最小罗瓦耶尔复形可从有理数设定上移到模形式设定，且其卷积与单值作用相容。
• 自由单值倾斜层的范畴装备了对倾斜复形张量范畴的模结构，扩展了对偶框架。
• 该构造为 [AMRW] 中所概述的完整模形式科兹乌尔对偶等价关系提供了关键要素。