[论文解读] Coinduction functor in representation stability theory

Wee Liang Gan, Liping Li|arXiv (Cornell University)|Feb 24, 2015

Algebraic structures and combinatorial models参考文献 23被引用 8

一句话总结

本文在特征为0的域上，针对FI₉和VI范畴的表示稳定性理论，引入并分析了余归纳函子。通过利用余归纳函子及其与限制函子的伴随关系，作者们提供了稳定性结果的新同调证明，并确立了这些范畴上所有有限生成的投射模都是内射模，这是表示稳定性理论中的一个关键结构性结果。

ABSTRACT

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective.

研究动机与目标

• 在FI₉-和VI-模范畴中发展并应用余归纳函子，以研究同调性质。
• 利用余归纳函子与限制函子，提供表示稳定性结果的新、函子性证明。
• 在基域特征为0的条件下，确立有限生成投射模在FI₉和VI范畴上为内射模。
• 阐明余归纳模（特别是Q(kC eₘ)）在FI₉和VI设定下的结构。
• 展示余归纳函子在证明有限生成投射模满足条件(RS3)方面的效用。

提出的方法

• 余归纳函子Q被定义为由嵌入ι: C → C, n ↦ 1 ⊕ n 所诱导的限制函子S的右伴随。
• 作者们计算了FI₉和VI范畴中Q(kC eₘ)的表达式，表明在适当条件下，其包含kC eₘ₊₁作为直和项。
• 他们利用Eckman-Shapiro引理，通过伴随关系(S, Q)关联Ext群，从而实现内射性性质的转移。
• 在VI范畴中，当q（有限域的大小）在k中可逆时，构造了从Q(kC eₘ)到kC eₘ₊₁的非平凡满射。
• 内射性的证明依赖于归纳法，起点为已知的在特征0下kC e₀的内射性。
• 通过Wreath积群表示和Pieri公式对幂级数的分析，研究了诱导模的结构。

实验结果

研究问题

• RQ1 在FI₉和VI范畴中，余归纳函子在标准模kC eₘ上的行为如何？
• RQ2 余归纳函子能否用于提供表示稳定性结果的新同调证明？
• RQ3 为何在特征0域上，FI₉和VI范畴上的有限生成投射模是内射模？
• RQ4 Q(kC eₘ)在FI₉和VI范畴中的精确结构是什么？其与kC eₘ₊₁有何关系？
• RQ5 余归纳函子在这些范畴中是否保持或反映内射模？

主要发现

• 在FI₉范畴中，当k为交换环时，Q(kC eₘ)同构于kC eₘ ⊕ kC eₘ₊₁。
• 在VI范畴中，若q是k中的单位，则Q(kC eₘ)包含kC eₘ₊₁作为直和项。
• 在特征0域上，任意有限生成的VI-模都是内射模。
• 在特征0域上，任意有限生成的FI₉-模都是内射模。
• 余归纳函子使得有限生成蕴含条件(RS3)的证明成为可能。
• 通过Pieri公式分析Wreath积上的诱导模结构，表明当n ≥ 2m时，ν ↦ ħ(ν)是双射。