[论文解读] Simple commutative algebras in Deligne's categories Rep($S_t$)

Luke Sciarappa|arXiv (Cornell University)|Jun 24, 2015

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

一句话总结

该论文对Deligne范畴Rep(Sₜ)中当t为超越数时的简单交换代数对象进行分类，证明其唯一来源于通过典范归纳函子从Rep(Sₖ)中的简单代数诱导而来。这些代数插值了Sₙ中H×Sₙ₋ₖ子群的陪集上的函数代数，其中H是Sₖ的固定子群，且当t为超越数时，这些代数是唯一的此类简单代数。

ABSTRACT

We show that in the Deligne categories $\mathrm{Rep}(S_t)$ for $t$ a transcendental number, the only simple algebra objects are images of simple algebras in the category of representations of a symmetric group under a canonical induction functor. They come in families which interpolate the families of algebras of functions on the cosets of $H imes S_{n-k}$ in $S_n$, for a fixed subgroup $H$ of $S_k$.

研究动机与目标

• 对Deligne范畴Rep(Sₜ)中t为超越数时的所有简单交换代数对象进行分类。
• 确定此类代数是否通过典范归纳函子从有限对称群表示中诱导而来。
• 在不存在到向量空间的纤维函子的情况下，理解Rep(Sₜ)中简单代数的结构。
• 确立当t为超越数时，Rep(Sₜ)中唯一的简单代数是那些插值Sₙ中H×Sₙ₋ₖ子群陪集上函数代数的代数。

提出的方法

• 使用从Rep(Sₖ)到Rep(Sₜ)的典范归纳函子，从Rep(Sₖ)中的简单代数构造Rep(Sₜ)中代数的族。
• 应用代数几何中构造集的理论，分析Rep(Sₜ)中代数对象的支撑与结构。
• 利用Karoubi包络与幂等完备化，将Rep(Sₜ)定义为具有由划分给出的态射的有限集范畴的幂等完备化。
• 利用Rep(Sₜ)的张量结构以及对称群在陪集空间上的作用，分析代数对象的性质。
• 应用群论结果，特别是关于对称群及其子群作用的结果，对轨道的可能稳定子进行分类。
• 利用当n足够大时，Rep(Sₙ)中代数在投影到Rep(Sₜ)时，必须源自与Sₖ×Sₙ₋ₖ相容的子群结构这一事实。

实验结果

研究问题

• RQ1 当t为超越数时，Rep(Sₜ)中所有简单交换代数对象是否均来自某个k的Rep(Sₖ)中的简单代数的诱导？
• RQ2 当不存在到向量空间的纤维函子时，Rep(Sₜ)中简单代数的精确结构是什么？
• RQ3 Sₙ中H×Sₙ₋ₖ子群陪集上的函数代数如何插值到Rep(Sₜ)中？
• RQ4 能否通过归纳与投影将Rep(Sₜ)中简单代数的分类归约为Rep(Sₙ)中的分类？
• RQ5 构造集与轨道结构在刻画Rep(Sₜ)中代数对象时起什么作用？

主要发现

• 当t为超越数时，Rep(Sₜ)中所有简单交换代数对象均来自Rep(Sₖ)中简单代数在典范归纳函子下的像。
• 这些代数同构于从Sₙ中子群Sₖ×Sₙ₋ₖ诱导的代数ℂ[Sₖ/H] ⊠ ℂ，其中H ≤ Sₖ为固定子群。
• Rep(Sₜ)中代数族插值了Sₙ中H×Sₙ₋ₖ子群陪集上的函数代数，且在t变化时结构保持不变。
• 当n足够大时，Rep(Sₙ)中代数在投影到Rep(Sₜ)时，同构于来自形如H′×Sₙ₋ⱼ′的子群（其中j′ ≤ k）的诱导代数。
• 当t为超越数时，Rep(Sₜ)中唯一的简单代数是那些源自Sₙ在H×Sₙ₋ₖ子群陪集上具有传递作用的代数。
• 该分类是完整的：当t为超越数时，Rep(Sₜ)中不存在其他简单交换代数。