[论文解读] Cohomologie des foncteurs polynomiaux sur les groupes libres

Aurélien Djament, Teimuraz Pirashvili+1 more|arXiv (Cornell University)|Sep 2, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 8

一句话总结

本论文证明了在自由群上的多项式函子之间，其扩张群在完整函子范畴与有界次数子范畴中计算时是同构的。关键结果依赖于上同调消去性质以及自由群群环的关联分次环结构，从而可应用于同调维数与自由群上函子范畴中的伴随函子研究。

ABSTRACT

We show that extension groups between two polynomial functors on free groups are the same in the category of all functors and in a subcategory of polynomial functors of bounded degree. We give some applications. ---- On montre que les groupes d'extensions entre foncteurs polynomiaux sur les groupes libres sont les mêmes dans la catégorie de tous les foncteurs et dans une sous-catégorie de foncteurs polynomiaux de degré borné. On donne quelques applications.

研究动机与目标

• 建立自由群上多项式函子之间扩张群在限制到有界次数子范畴下的不变性。
• 解决自由群上函子范畴中的上同调比较问题，与加法范畴中更复杂的行为形成对比。
• 将主要结果应用于计算阿贝尔化函子张量幂的同调维数，并分析多项式函子范畴中的伴随函子。
• 阐明此前在自由群自同构群稳定同调研究中遇到的神秘伴随函子的上同调行为。

提出的方法

• 利用自由群群环中增广理想所具有的上同调消去性质，灵感来自Pirashvili的工作。
• 分析自由群群环的关联分次环，证明其同构于阿贝尔化上的张量代数。
• 通过交叉效应的函子分解方法分析多项式函子，利用 $d$-阶交叉效应函子 $\mathrm{cr}_d$ 的正合性。
• 构造一个从 $\mathbb{Z}[\mathfrak{S}_d]$-模到 $\mathcal{F}_d(\mathbf{gr})$ 的函子 $\beta_d$，使其成为 $\mathrm{cr}_d$ 的右伴随，并证明其正合性。
• 利用 $\beta_d$ 与 $\mathrm{cr}_d$ 之间的伴随关系，将 $\mathcal{F}_d(\mathbf{gr})$ 中的扩张群与 $\mathbb{Z}[\mathfrak{S}_d]$-模范畴中的扩张群联系起来。
• 应用同构 $\mathrm{Ext}^*_{\mathcal{F}_d(\mathbf{gr})}(F, \beta_d(N)) \simeq \mathrm{Ext}^*_{\mathbb{Z}[\mathfrak{S}_d]}(\mathrm{cr}_d(F), N)$ 推导出主定理。

实验结果

研究问题

• RQ1 自由群上多项式函子之间的扩张群在限制到有界次数子范畴时是否保持不变？
• RQ2 在自由群上多项式函子范畴中，伴随函子 $\beta_d$ 的上同调行为如何？
• RQ3 自由群群环的关联分次环结构如何影响多项式函子的同调代数？
• RQ4 从自由群到有理向量空间的固定次数多项式函子范畴的全局维数是多少？
• RQ5 能否在有界次数多项式函子范畴中计算阿贝尔化函子张量幂的同调维数？

主要发现

• 包含函子 $\mathcal{F}_d(\mathbf{gr}) \to \mathcal{F}(\mathbf{gr})$ 在 $\mathcal{F}_d(\mathbf{gr})$ 中任意对象之间的所有扩张群上诱导同构，从而证明主定理。
• $d$-阶交叉效应函子 $\mathrm{cr}_d$ 在 $\mathcal{F}_d(\mathbf{gr})$ 上是正合的，这是证明中的关键技术要素。
• $P_n^{\mathbf{gr}}$ 上滤子的分次项 $Q_n^d$ 同构于 $\bigoplus_{i_1+\cdots+i_n=d} \mathfrak{a}^{\otimes i_1} \otimes \cdots \otimes \mathfrak{a}^{\otimes i_n} \simeq \mathfrak{a}^{\otimes d}$，表明其与张量幂的一致性。
• 从自由群到有理向量空间的 $d$-次多项式函子范畴具有有限的全局维数。
• 到 $d$-阶交叉效应的伴随函子 $\beta_d$ 是正合的，并在扩张群上诱导同构，从而提供了上同调表征。