[论文解读] Projective-injective modules, Serre functors and symmetric algebras

Volodymyr Mazorchuk, Catharina Stroppel|ArXiv.org|Aug 6, 2005

Algebraic structures and combinatorial models参考文献 33被引用 5

一句话总结

本文提出了一套在拟旗代数中利用投射-内射模计算 Serre 范函的框架，特别关注 𝔰𝔩ₙ(ℂ) 的抛物型 O 类别。当投射-内射生成元的自同态环为对称时，双中心化性质使得 Serre 范函可显式计算，从而证实了 Khovanov 关于抛物型 O₀ᵘ(𝔰𝔩ₙ) 中投射-内射模的三个猜想。

ABSTRACT

We describe Serre functors for (generalisations of) the category O associated with a semi-simple complex Lie algebra. In our approach, projective-injective modules play an important role. They control the Serre functor in the case of a quasi-hereditary algebra having a double centraliser property with respect to a symmetric algebra. As an application of the double centraliser property and our description of Serre functors, we prove three conjectures of Khovanov about the projective-injective modules in the parabolic category O for sl_n.

研究动机与目标

• 开发一种在拟旗代数中利用投射-内射模作为关键工具计算 Serre 范函的一般方法。
• 研究投射-内射模的自同态环在何种条件下为对称，以及这对代数表示理论的影响。
• 应用双中心化性质验证 Khovanov 关于抛物型 O₀ᵘ(𝔰𝔩ₙ) 中投射-内射模的猜想。
• 建立 Serre 范函、导出范畴与 O 类别结构之间的联系，通过伴随函子与转移函子实现。
• 利用抛物型 O 中的投射-内射模，对对称群及其 Hecke 代数的 Specht 模进行范畴化。

提出的方法

• 利用双中心化性质：若 Q 是投射-内射生成元，则 A ≅ End_{End_A(Q)}(Q)，从而将 A-mod 的研究归约为对 Q 的自同态环的研究。
• 应用 Ringel 对偶性，关联倾斜模与投射-内射模，尤其在拟旗代数中。
• 通过导出范畴中的部分共逼近与伴随函子刻画 Serre 范函。
• 使用扭函子 T_s 与局部化函子 ℒZ_s 分析 Verma 模与单模上的作用，特别在 Kazhdan-Lusztig 猜想的背景下。
• 构造抛物型 O 的导出范畴之间的伴随函子 F 与 G，证明它们在半单子范畴上限制为互逆等价。
• 通过与有限维 𝔰𝔩ₙ-模的张量积，关联不同抛物型块中的投射-内射模，证明中心的同构与范畴的等价。

实验结果

研究问题

• RQ1 投射-内射模的自同态环在何种条件下为对称？
• RQ2 如何利用投射-内射模在拟旗代数中显式计算 Serre 范函？
• RQ3 当使用投射-内射生成元时，双中心化性质在多大程度上控制整个模范畴？
• RQ4 能否通过投射-内射模诱导的函子建立抛物型块之间 O 类别的导出等价？
• RQ5 转移函子如何作用于具有投射-内射表示的模范畴，以及由此产生的范畴化结果是什么？

主要发现

• 𝔰𝔩ₙ(ℂ) 的抛物型 O 类别中某一块的投射-内射生成元的自同态环为对称，确认了双中心化性质的关键条件。
• 在 O 类别的整块中，不可约投射-内射模满足双中心化性质，推广了 Soergel 的 Endomorphismensatz。
• A-mod 的有界导出范畴上的 Serre 范函同构于 Nakayama 范函的左导出函子，且可通过投射-内射模计算。
• 函子 F 与 G 在不同抛物型块中投射-内射模的加法范畴之间定义了互逆等价，证明了定理 5.4。
• 块 𝒪_ξ^μ 与 𝒪_ξ^ν 的中心同构，且该同构由双中心化性质通过导出等价诱导。
• 对称群 S_n 的 Specht 模 S_λ 作为抛物型 O 中具有两步投射-内射表示的模范畴被范畴化，其分次结构源于 [Str03a]。