[论文解读] BAR COMPLEXES AND EXTENSIONS OF CLASSICAL EXPONENTIAL FUNCTORS

Antoine Touzé|arXiv (Cornell University)|Aug 17, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 15

一句话总结

本文使用bar构造及其与Eilenberg-MacLane空间上同调的联系，通过bar构造计算了在域和整数环上，经典指数函子（对称、外幂和除幂）及其Frobenius扭函子之间的Ext-群。该工作提供了新的独立计算，结果与特征p > 2时的先前成果一致，解决了早期工作中在特征2时的不一致问题，并给出了ℤ上Ext-群的显式公式，扩展了Akin的结果。

ABSTRACT

International audience

研究动机与目标

• 为交换环上严格多项式函子范畴中的Ext-群提供一种新计算方法，尤其针对经典指数函子及其Frobenius扭函子。
• 解决早期计算中的不一致问题，特别是特征2中的问题，其中早期结果（如[C2, 定理3.2]）被证明是错误的。
• 将已知的域上Ext-计算扩展至整数环ℤ，给出Ext∗PZ(Sd, Λd)的显式公式。
• 通过bar构造与Cartan的上同调计算，建立Pk中Ext-群与Eilenberg-MacLane空间奇异上同调之间的联系。
• 阐明参数化扩张函子的代数结构，表明余积由乘积通过指数公式唯一确定。

提出的方法

• 对对称代数使用迭代bar构造，将Ext-群模型化为Eilenberg-MacLane空间的上同调。
• 将Cartan对Eilenberg-MacLane空间上同调（系数为域）的计算结果应用于Pk中Ext-群的计算。
• 引入参数化扩张函子E(X, Y)(V) = ⊕i,d,e ExtiPk(Xd(V), Ye)，其在Pk-分次代数结构下具有卷积积。
• 使用重标度函子Rα(Y)从E(X, Y)计算扭Ext-群E(X(t), Y)，其中α取决于函子类型（S、Λ或Γ）。
• 通过滤子论证与分裂定理（如第14节）证明扩张群中的滤子是平凡的，尤其在奇特征下成立。
• 在特征2中使用严格反对称性论证，证明扩张代数之间映射的单射性，从而实现非平凡Ext-群的计算。

实验结果

研究问题

• RQ1 如何在任意交换环上（特别是ℤ上）计算经典指数函子及其Frobenius扭函子之间的Ext-群？
• RQ2 为何早期结果[C2, 定理3.2]在特征2中失效，如何进行修正？
• RQ3 参数化扩张函子E(X, Y)在Pk中的精确代数结构（分次代数、余积、乘积）是什么？
• RQ4 除幂代数上的bar构造如何与Eilenberg-MacLane空间的上同调相关联，且该关联如何用于计算Ext-群？
• RQ5 能否在整数环上给出Ext∗PZ(Sd, Λd)的简洁显式公式？

主要发现

• 本文对正特征域上经典指数函子之间的Ext-群提供了新的独立计算，确认了[FFSS]的所有结果，并解决了[C2]中的不一致问题。
• 对于奇特征p的域k，Pk-分次代数Ext∗Pk(S(t+s), Γ(s))同构于某些函子I(b)⟨a⟩的除幂与外幂的张量积，且给出了明确的权与次数公式。
• 在整数环上，定理11.8给出了显式公式：ExtiPZ(Sd, Λd)同构于ℤ当且仅当i = 0, 2d−2, 或2d−3，其余情况为零，从而扩展了Akin的结果。
• 本文证明了在特征p的域上，Ext∗Pk(Sp, Γp)的总维数为3，与[C2, 推论4.15]预测的维数2矛盾，并给出了该事实的初等证明。
• 在特征2中，代数E(Λ(t+s), S(s))与E(Γ(t+s), Λ(s))是严格反对称的，该性质被用于证明比较映射的单射性，并验证了计算的正确性。
• 参数化扩张代数E(X, Y)满足指数公式E(X, Y)(V ⊕W) ≃ E(X, Y)(V) ⊗ E(X, Y)(W)，这意味着余积由乘积唯一确定，从而简化了结构分析。