[论文解读] Some homological properties of category O. IV

Kevin Coulembier, Volodymyr Mazorchuk|arXiv (Cornell University)|Sep 15, 2015

Algebraic structures and combinatorial models被引用 4

一句话总结

本文为BGG范畴𝒪的抛物-奇异块中结构性模——如标准模、余标准模、单模、内射模、投影模及倾斜模——建立了明确的公式，用于计算其投射维数与分次长度。利用Weyl群的长度函数ℓ与Lusztig的a-函数，这些不变量通过两个关键函数sλ和dλ表达，并证明了𝒪的块不总是弱Guichardet的，从而解决了表示论中的一个开放问题。

ABSTRACT

We study projective dimension and graded length of structural modules in parabolic-singular blocks of the BGG category O. Some of these are calculated explicitly, others are expressed in terms of two functions. We also obtain several partial results and estimates for these two functions and relate them to monotonicity properties for quasi-hereditary algebras. The results are then applied to study blocks of O in the context of Guichardet categories, in particular, we show that blocks of O are not always weakly Guichardet.

研究动机与目标

• 确定BGG范畴𝒪中抛物-奇异块内所有结构性模的投射维数与分次长度。
• 将主块𝒪₀的结果推广至任意抛物-奇异块。
• 研究这些不变量与准遗传代数中单调性性质之间的关系。
• 解决范畴𝒪的块是否为弱Guichardet的问题，特别是在Guichardet范畴的背景下。
• 将结果应用于李超代数表示论中的开放问题以及范畴𝒪的块。

提出的方法

• 作者为x ∈ Xλ定义了两个函数：sλ(x) = pd𝒪λ L(x·λ) 与 dλ(x) = pd𝒪λ Δ(x·λ)，用于索引奇异块中单模与标准模。
• 在抛物-奇异块𝒪μλ中，用sλ、dλ、ℓ（长度函数）与a（Lusztig的a-函数）表达所有投射维数与分次长度。
• 本文使用Kazhdan–Lusztig组合学，包括最长元w₀与抛物Weyl群w₀μ的作用。
• 应用先前关于Koszul对偶与范畴𝒪中分次结构的研究成果，以计算分次长度。
• 作者利用Serre子范畴理论与块分解方法分析不可约块，特别是通过具有相同中心特征的权集[λ]。
• 采用李超代数表示论中的技术，包括奇性反射与限制函子，以关联内射模及其投射维数。

实验结果

研究问题

• RQ1 范畴𝒪的抛物-奇异块中所有结构性模的投射维数与分次长度是什么？
• RQ2 公式sλ(x) ≥ a(w₀x) + a(w₀w₀λ)是否在类型A之外也成立？
• RQ3 等式sλ(x) = a(w₀x) + a(w₀w₀λ)是否对所有满足Wλ为极大Coxeter子群的积分极大权λ成立？
• RQ4 对于固定右细胞R̂，块𝒪₀^R̂的有限型维数是多少？此类块中的内射模是否具有有限投射维数？
• RQ5 定理57的图示中蕴含关系是否可逆：S₁(μ,λ)是否蕴含C₁(μ,λ)？

主要发现

• 在𝒪μλ中，单模L(x·λ)的投射维数为sλ(x) − 2ℓ(w₀μ)，其分次长度为0。
• 在𝒪μλ中，标准模Δμ(x·λ)的投射维数为dλ(x)，其分次长度为ℓ(w₀) − ℓ(x) + ℓ(w₀μ) − dλ(x)。
• 在𝒪μλ中，内射模I(x·λ)的投射维数为2a(w₀x)，其分次长度为ℓ(w₀) + ℓ(x)。
• 在𝒪μλ中，倾斜模T(x·λ)的投射维数为a(x)，其分次长度为2ℓ(w₀) − 2ℓ(x)。
• 任意块𝒪[λ]的有限型维数上界为2ℓ(w₀)，若块中包含通用权，则等于2ℓ(w₀)。
• 本文证明了范畴𝒪的块不总是弱Guichardet的，通过特定有限型维数条件的失效，解决了[Fu, Ga]中的一个问题。