[论文解读] On blocks of Deligne's category Rep(S_t)

Jonathan Comes, Ostrik, Victor|Scholars' Bank (University of Oregon)|Oct 29, 2009

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

一句话总结

本文对 Deligne 的范畴 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 中的块进行了分类，表明当 $t$ 不是非负整数时，该范畴是半单的，并分解为有限个非半单块和无限多个平凡块。非半单块作为加法范畴彼此等价，并通过带关系的 quiver 描述，为 Deligne 的半单性定理提供了新证明，并为该范畴的阿贝尔包的进一步研究奠定了结构基础。

ABSTRACT

Recently P. Deligne introduced the tensor category Rep(S_t) (for t not necessarily an integer) which in a certain precise sense interpolates the categories Rep(S_d) of representations of the symmetric groups S_d. In this paper we describe the blocks of Deligne's category Rep(S_t).

研究动机与目标

• 理解当 $t$ 为非负整数时，Deligne 范畴 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 的结构，即该范畴非半单的情形。
• 利用恒等函子的自同态对 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 的块进行分类。
• 通过带关系的 quiver 描述非半单块，并证明它们作为加法范畴彼此等价。
• 通过块分解与恒等函子的自同态，为 $t \notin \mathbb{Z}_{\geq 0}$ 时的 Deligne 半单性定理提供新证明。

提出的方法

• 利用范畴论与表示论技巧，在 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 中构造恒等函子的非平凡自同态。
• 利用恒等函子的自同态环，通过标准表示论方法将范畴分解为块。
• 分析这些自同态在不可约对象上的作用，以确定块的分解。
• 通过构造显式等价，证明所有非半单块作为加法范畴彼此等价。
• 利用杨图的组合数据与对称群表示理论，给出非半单块的带关系 quiver 描述。
• 利用形式幂级数代数中幂等元的提升技术，支持结构结果。

实验结果

研究问题

• RQ1 当 $t$ 为非负整数时，Deligne 范畴 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 的块如何分类？
• RQ2 在 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 中，非半单块的结构是怎样的？它们作为加法范畴是否彼此等价？
• RQ3 能否通过块分解与恒等函子的自同态，重新证明 $t \notin \mathbb{Z}_{\geq 0}$ 时 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 的半单性？
• RQ4 在 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 中，描述非半单块的带关系 quiver 是什么？
• RQ5 在 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 中，不可约对象在块分解下的行为如何？

主要发现

• 范畴 $\underline{\operatorname{Re}}\!\operatorname{p}(S_t)$ 包含无限多个平凡块，每个块与有限维 $F$-向量空间范畴等价。
• 当 $t$ 为非负整数时，存在有限个非半单块。
• 所有非半单块作为加法范畴彼此等价。
• 非半单块通过带关系的 quiver 描述，其构造显式依赖于杨图的组合性质与对称群表示理论。
• 通过块分解与恒等函子的自同态，获得了 Deligne 半单性定理的新证明。
• 结果为研究范畴的阿贝尔包 $\underline{\operatorname{Re}}\!\operatorname{p}^{ab}(S_t)$ 及其通用性质提供了基础。