[论文解读] Gorenstein homological algebra for rngs and Lie superalgebras

Kevin Coulembier|arXiv (Cornell University)|Jul 17, 2017

Algebraic structures and combinatorial models参考文献 19被引用 6

一句话总结

本文将 Gorenstein 同调代数与 Frobenius 扩张推广至任意阿贝尔范畴，通过在底层李代数的范畴 𝒪 上的 Frobenius 扩张结构，证明了李超代数的 BGG 范畴 𝒪 是 Gorenstein 的。主要贡献在于从范畴角度解释了李超代数模在限制到其底层李代数时，其投射维数为何是内在不变量，并引入了 Serre 自函子与 Gorenstein 扩张群的新公式。

ABSTRACT

We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius extensions of noetherian rings into a setting which allows for direct generalisation to arbitrary abelian categories. The abstract theory is then applied to the BGG category O for Lie superalgebras, which can now be seen as a "Frobenius extension" of the corresponding category for the underlying Lie algebra and is therefore "Gorenstein". In particular we obtain new and more general formulae for the Serre functors and instigate the theory of Gorenstein extension groups.

研究动机与目标

• 将 Frobenius 扩张与 Gorenstein 同调代数从环推广至任意阿贝尔范畴。
• 解释李超代数模在限制到其底层李代数时，其投射维数为何是范畴上的内在性质。
• 通过证明李超代数的范畴 𝒪 是其底层李代数范畴 𝒪 的 Frobenius 扩张，确立该范畴 𝒪 是 Gorenstein 的。
• 在该推广框架下，开发新工具，包括 Gorenstein 扩张群与 Serre 自函子的新刻画。

提出的方法

• 为阿贝尔范畴提出 Frobenius 扩张的新定义，该定义在诺特环上模范畴的情形下恢复经典 Frobenius 扩张。
• 使用标准同调代数技巧，将 Gorenstein 投射对象、G-维数与 Tate 上同调等概念推广至任意阿贝尔范畴。
• 将抽象框架应用于具有足够投射与内射对象的局部有限 k-线性阿贝尔范畴，特别关注具有足够幂等元与诺特性质的环（rngs）。
• 利用李超代数的普遍包络代数是其底层李代数普遍包络代数的 Frobenius 扩张这一事实，将 Gorenstein 性质提升至范畴 𝒪。
• 将该理论应用于 gl(m|n) 的 BGG 范畴 𝒪，计算 Gorenstein 扩张群并证明特定类模的消去结果。
• 运用平移函子与奇性反射分析在超代数设定下最高权模及其扩张性质。

实验结果

研究问题

• RQ1 Frobenius 扩张与 Gorenstein 同调代数如何从环推广至任意阿贝尔范畴？
• RQ2 为何李超代数模在限制到其底层李代数时，其投射维数是范畴上的内在不变量？
• RQ3 在李超代数的 BGG 范畴 𝒪 中，Gorenstein 扩张群的结构是怎样的？
• RQ4 能否利用新框架更简洁地刻画范畴 𝒪 中的 Serre 自函子？
• RQ5 在 gl(m|n) 的范畴 𝒪 中，Gorenstein 扩张在何种条件下在单模之间消失？

主要发现

• 李超代数的范畴 𝒪 是 Gorenstein 的，且模的 G-维数等于其在底层李代数上限制的投射维数。
• Gorenstein 扩张群与普通 Ext 群构成长正合列，推广了文献 [AM] 中的关键结果。
• 对于 gl(m|1)，任意有限维非典型单模 L 与任意单模 L′，均有 GExt1(L, L′) = 0，表明具有强消去性质。
• 当权为典型时，GExt1(L(λ), L(μ)) 的维数等于在李代数情形下 Ext1(L(λ), L(μ)) 的维数。
• 对于 gl(2|1)，当 L 或 L′ 至少有一个为非典型时，均有 GExt1(L, L′) = 0，证实了低秩情形下的消去性质。
• 获得了 Serre 自函子的新刻画，简化并推广了 [MM] 中的先前结果。