arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2005.03128math.RT
收藏

在素数单位根处对 Hecke 代数的范畴化,第一部分

Categorifying Hecke algebras at prime roots of unity, part I

Ben Elias, You Qi

AI总结:

本文通过在类型A图解Hecke范畴上引入特殊导子构造p-dg范畴,证明Hecke代数定义关系在p-dg Grothendieck群中成立,并猜想其同构于Iwahori-Hecke代数,同时给出导子分类及Bott-Samelson双模不可分解性的相关结果。

摘要:

我们为类型 $A$ 的图解 Hecke 范畴配备一个特殊导子,使得在特殊化到特征 $p$ 后它成为一个 $p$-dg 范畴。我们证明 Hecke 代数的定义关系在 $p$-dg Grothendieck 群中成立。我们猜想该 $p$-dg Grothendieck 群同构于 Iwahori-Hecke 代数,并为其配备一个可能既不同于 Kazhdan-Lusztig 基也不同于 $p$-canonical 基的基。更精确的猜想将在后续部分中给出。本文还包含其他一些结果。我们给出了图解 Hecke 范畴上所有次数为 $+2$ 的导子分类的一个不完整证明,并给出了那些使 Hecke 代数的定义关系在 $p$-dg Grothendieck 群中成立的导子分类的完整证明。特别地,我们的特殊导子在差一个对偶和等价的意义下是唯一的。我们证明在有限型和仿射型 $A$ 以外的单 laced 型中不存在这样的导子。我们还研究了类型 $A_7$ 中的一个特定 Bott-Samelson 双模,它在特征 $2$ 下不可分解,但在所有其他特征下可分解。我们证明这个 Bott-Samelson 双模在任何特征下都不容许非平凡的 fantastic 滤过,这正是在 $p$-dg 背景下不可分解性的类比。

英文摘要:

We equip the type $A$ diagrammatic Hecke category with a special derivation, so that after specialization to characteristic $p$ it becomes a $p$-dg category. We prove that the defining relations of the Hecke algebra are satisfied in the $p$-dg Grothendieck group. We conjecture that the $p$-dg Grothendieck group is isomorphic to the Iwahori-Hecke algebra, equipping it with a basis which may differ from both the Kazhdan-Lusztig basis and the $p$-canonical basis. More precise conjectures will be found in the sequel. Here are some other results contained in this paper. We provide an incomplete proof of the classification of all degree $+2$ derivations on the diagrammatic Hecke category, and a complete proof of the classification of those derivations for which the defining relations of the Hecke algebra are satisfied in the $p$-dg Grothendieck group. In particular, our special derivation is unique up to duality and equivalence. We prove that no such derivation exists in simply-laced types outside of finite and affine type $A$. We also examine a particular Bott-Samelson bimodule in type $A_7$, which is indecomposable in characteristic $2$ but decomposable in all other characteristics. We prove that this Bott-Samelson bimodule admits no nontrivial fantastic filtrations in any characteristic, which is the analogue in the $p$-dg setting of being indecomposable.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑