[论文解读] Indecomposable manipulations with simple modules in category O

Kevin Coulembier, Volodymyr Mazorchuk+1 more|arXiv (Cornell University)|Sep 2, 2017

Algebraic structures and combinatorial models参考文献 18被引用 4

一句话总结

本论文研究了𝔰𝔩ₙ的BGG范畴𝒪主块中简单模的翻译的不可约性，证实了当n ≤ 6时的猜想1。通过同调方法、高阶表示理论及范畴𝒪的结构滤子，作者证明了在这些情况下θₓL(y)要么不可约，要么为零，其中n=6的显式计算依赖于Kazhdan-Lusztig多项式与逐案分析。

ABSTRACT

We study the problem of indecomposability of translations of simple modules in the principal block of BGG category $\mathcal{O}$ for $\mathfrak{sl}_n$, as conjectured in \cite{KiM}. We describe some general techniques and prove a few general results which may be applied to study various special cases of this problem. We apply our results to verify indecomposability for $n\leq 6$. We also study the problem of indecomposability of shufflings and twistings of simple modules and obtain some partial results.

研究动机与目标

• 验证猜想1，即𝔰𝔩ₙ的主块中范畴𝒪的翻译θₓL(y)总是不可约或为零。
• 发展适用于范畴𝒪中不可约性问题的一般同调与高阶表示理论方法。
• 探讨范畴𝒪中简单模的洗牌与扭转变换的不可约性相关问题。
• 通过由抛物子群索引的Serre子范畴滤子，建立范畴𝒪的结构性质。
• 通过特例与递归结构，为猜想1的一般情况奠定基础。

提出的方法

• 利用同调方法，将θₓL(y)的自同态代数与扭化投影模的自同态代数进行比较。
• 通过Bruhat序归纳法分析范畴𝒪中翻译函子的结构。
• 通过Soergel双模的2-范畴及Weyl群的2-表示，应用高阶表示理论。
• 利用抛物子群的左与右陪集构造𝒪₀的滤子，其子商等价于更小类型范畴𝒪。
• 借助Koszul对偶性与扭转变换函子的作用，将CₓL(y)与对偶抛物Verma模联系起来。
• 对n=6进行显式逐案计算，使用Kazhdan-Lusztig多项式与已知表格。

实验结果

研究问题

• RQ1 𝔰𝔩ₙ的主块中范畴𝒪的简单模L(y)经翻译函子θₓ作用后是否总是不可约或为零？
• RQ2 θₓL(y)的自同态代数与范畴𝒪中其他不可约模的自同态代数有何关系？
• RQ3 能否通过抛物子群及其关联滤子，递归地分析范畴𝒪的结构？
• RQ4 范畴𝒪中简单模的洗牌与扭转变换之间有何关系？它们是否不可约？
• RQ5 对于固定的x与y，θₓL(y)的性质在不同n下在多大程度上趋于稳定？

主要发现

• 当n ≤ 6时，猜想1对𝔰𝔩ₙ的Weyl群W中所有x,y均成立，通过通用方法与显式逐案分析得到验证。
• 对于n=6，通用技术处理后剩余五个例外情况，需借助Kazhdan-Lusztig多项式进行详细计算。
• 范畴𝒪₀允许由抛物子群索引的Serre子范畴滤子，其子商等价于更小李代数的范畴𝒪。
• 扭转变换函子Cₓ的作用与左陪集滤子相容，而投影函子与右陪集滤子相容。
• 当y = w₀ᵖw₀时，CₓL(y)非零且具有简单底层L(w₀ᵖw₀x)，此结论通过Koszul对偶性与Soergel函子性质得出。
• 简单模的洗牌不可约性等价于其扭转变换的不可约性，且在许多情况下二者均不可约或为零，支持更广泛的猜想。