[论文解读] Highest weight categories and strict polynomial functors

Henning Krause|arXiv (Cornell University)|May 7, 2014

Algebraic structures and combinatorial models参考文献 22被引用 7

一句话总结

本文通过使用 Weyl 赋函子作为标准对象以及 Schur/Weyl 赋函子理论，为任意交换基环上的严格多项式赋函子建立了一个最高权范畴结构。关键结果是严格多项式赋函子范畴具有 Ringel 自对偶性，且外幂作为特征倾斜对象，从而通过此框架证明了 Schur 代数是拟旗伦代数。

ABSTRACT

Highest weight categories are described in terms of standard objects and recollements of abelian categories, working over an arbitrary commutative base ring. Then the highest weight structure for categories of strict polynomial functors is explained, using the theory of Schur and Weyl functors. A consequence is the well-known fact that Schur algebras are quasi-hereditary.

研究动机与目标

• 为任意交换基环上的最高权范畴提供一个统一框架，使用标准对象和黏合结构（recollements）
• 通过 Schur 与 Weyl 赋函子理论，将严格多项式赋函子范畴表征为最高权范畴
• 通过识别一个特征倾斜对象，建立严格多项式赋函子的 Ringel 对偶性
• 通过证明严格多项式赋函子范畴是 Ringel 自对偶的，证明 Schur 代数是拟旗伦代数

提出的方法

• 使用阿贝尔范畴的黏合结构来描述最高权范畴，推广至任意交换环
• 应用除幂理论与严格多项式赋函子理论，构造权空间与标准对象
• 识别 Weyl 赋函子为最高权结构中标准对象 Δ(λ) 的形式
• 利用 Cauchy 分解，将投影对象滤过为 Weyl 赋函子的直和
• 通过与 Γ^d_k 的张量积，将外幂赋函子 Λ^d 作为特征倾斜对象
• 通过证明 Λ^d ⊗_{Γ^d_k} − 在标准对象的滤过范畴与余标准对象的滤过范畴之间诱导出等价关系，建立 Ringel 自对偶性

实验结果

研究问题

• RQ1 如何通过标准对象与黏合结构，在任意交换基环上描述最高权范畴？
• RQ2 严格多项式赋函子范畴的最高权结构是什么？哪些赋函子作为标准对象？
• RQ3 严格多项式赋函子范畴是否具有特征倾斜对象？若有，其形式为何？
• RQ4 严格多项式赋函子范畴是否具有 Ringel 自对偶性？这对 Schur 代数意味着什么？
• RQ5 Cauchy 分解如何与严格多项式赋函子范畴中投影对象的滤过结构相关联？

主要发现

• Weyl 赋函子 W_λ 恰好是严格多项式赋函子范畴最高权结构中的标准对象 Δ(λ)。
• Cauchy 分解为任意投影对象提供了一个滤过结构，其相应的分次对象是 Weyl 赋函子的直和。
• 外幂赋函子 Λ^d 是严格多项式赋函子范畴的特征倾斜对象。
• 赋函子 Λ^d ⊗_{Γ^d_k} − 在标准对象的滤过范畴与余标准对象的滤过范畴之间诱导出一个等价关系。
• 严格多项式赋函子范畴是 Ringel 自对偶的，其特征倾斜对象为 ⨁_λ Λ^λ。
• 作为推论，Schur 代数是拟旗伦代数，通过这一新的同调框架确认了已知结果。