×

旗帜品种上的模块化反向滑轮。一: 倾斜和奇偶滑轮。(Faisceaux percures modularies sur les variétés de drapaux.I:Faisceaox basculants et Faisceaux-parité) (英语。法语摘要) Zbl 1386.14178号

设(G)是具有Borel子群(B)的复连通约化群,设(check{G})是具有Borel子群的Langlands对偶群。设\(\mathcal{B}\)为\(G\)的标志种类,设\(\ check{\mathcal{B}}\)是\(\check{G}\)的标记种类。设\(\mathbb{K}\)是特征\(\ell\)的特征字段。
本文的主要结果是在范畴\(\文本{奇偶校验}_{检验{B}}(\check{mathcal{B},\mathbb{K})的\(\check{B}\)-等变奇偶复合物,系数在\{倾斜}_{B} (mathcal{B},mathbb{K})的等变倾斜反常滑轮。可以查看类别\(\text{奇偶校验}_{check{B}}(\check{mathcal{B},\mathbb{K})实现了类别\(\text)的分级版本{倾斜}_{B} (\mathcal{B},\mathbb{K})\)。
作为主结构的一个应用,作者证明了当(mathbb{K})的特征(ell)大于(G)的Coxeter数时,(B)上等变反常带轮的范畴(P_B(mathcal{B},mathbb})是等价的,作为一个最重的范畴,到Soergel的模范畴(mathcal{O}),该模范畴与(mathbb{K})上的连接的还原基团(G{mathbb}K}})有关,该还原基团与(G\)具有相同的根数据。
本文结合Koszul自对偶性,将倾斜的反常带轮发送给简单的反常轮,以及本文的主要结构,证明了Soergel模范畴(mathcal{O})中的分解数与(G{mathbb{K}})相关可以通过Langlands对偶群(check{G})上奇偶滑轮的柄来计算。这是Kahdan-Lusztig猜想的一个模模拟,它断言Verma模中范畴(mathcal{O})中简单模的多重性可以由Kazhdan-Lusztig多项式计算,它可以由旗变种上简单反常轮的柄精确地得到。在Hecke代数中,旗变上的简单反常簇产生了Kazhdan Lusztig基,而奇偶簇平行地产生了\(\ell\)-正则基。

MSC公司:

14月15日 格拉斯曼流形、舒伯特流形、旗流形
14层05 滑轮、滑轮衍生类别等(MSC2010)
20G40型 有限域上的线性代数群
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接