[论文解读] Superized Troesch complexes and cohomology for strict polynomial superfunctors

Christopher M. Drupieski, Jonathan R. Kujawa|arXiv (Cornell University)|Dec 15, 2021

Algebraic structures and combinatorial models参考文献 20被引用 2

一句话总结

本文将 Troesch 的 p-复结构推广至特征 p ≥ 3 的域上的严格多项式超函子范畴，构造了其超化版本的 Troesch 复形，其上同调实现扭曲的（超）对称幂函子。关键贡献在于利用这些复形为偶数与奇数 Frobenius 拉伸函子构建了内射解析，并通过类似经典结果的上积同构关系计算了扩张群，尽管由于超结构的存在，上同调分布在多个度数上。

ABSTRACT

We adapt a construction due to Troesch to the category of strict polynomial superfunctors in order to construct complexes of injective objects whose cohomology is isomorphic to Frobenius twists of the (super)symmetric power functors. We apply these complexes to construct injective resolutions of the even and odd Frobenius twist functors, to investigate the structure of the Yoneda algebra of the Frobenius twist functor, and to compute other extension groups between strict polynomial superfunctors.

研究动机与目标

• 将 Troesch 的 p-复形构造从经典严格多项式函子推广至严格多项式超函子范畴。
• 构造由内射对象构成的超化 Troesch 复形，其上同调实现扭曲的（超）对称幂函子。
• 利用这些复形为偶数与奇数 Frobenius 拉伸函子构建显式的内射解析。
• 通过上积同构关系计算严格多项式超函子之间的扩张群。
• 利用新复形将经典的上同调有限生成技术推广至超函子范畴。

提出的方法

• 将 Troesch 的 p-复形构造适配至严格多项式超函子范畴，定义一个由内射对象构成的 p-复形 Bprn(r)。
• 将 p-复形 Bprn(r) 约化，得到复形 T(Sn, r)，其上同调位于度数 ℓ·(pr − 1)（0 ≤ ℓ ≤ n）。
• 利用涉及符号函子 Π 的拼接技术，为偶数与奇数 Frobenius 拉伸函子 I(r)₀ 与 I(r)₁ 构造内射解析。
• 应用上同调谱序列与广义 Koszul 复形分析扩张群。
• 利用上积映射与五引理，证明对称/外代数幂的 Ext 群与高阶 Ext 群之间的同构关系，其中对称与外代数幂作用于无限维空间。
• 借助超函子的 De Rham 复形类比与归纳论证，模仿 FFSS 方法在超函子范畴中的实现。

实验结果

研究问题

• RQ1 Troesch 的 p-复形构造能否推广至正特征下的严格多项式超函子范畴？
• RQ2 与经典情形相比，超化 Troesch 复形的上同调在度数分布上有哪些不同？
• RQ3 约化后的超化 Troesch 复形 T(Sn, r) 是否可用于为 Frobenius 拉伸函子构造内射解析？
• RQ4 在超函子范畴中，是否存在类似于经典 FFSS 框架中的上积同构？
• RQ5 广义 Koszul 复形与谱序列技术能否被适配以计算超函子范畴中的扩张群？

主要发现

• 超化 Troesch 复形 Bprn(r) 是严格多项式超函子范畴中由内射对象构成的 p-复形，其上同调同构于扭曲的（超）对称幂函子 Sn(r)。
• Bprn(r) 的约化复形 T(Sn, r) 在度数 ℓ·(pr − 1)（0 ≤ ℓ ≤ n）上具有非平凡上同调，与经典情形不同，后者形成内射解析。
• 当 n = 1 时，复形 T(I, r) 与 Π ◦ T(I, r) ◦ Π 可通过拼接构造出偶数与奇数 Frobenius 拉伸函子 I(r)₀ 与 I(r)₁ 的显式内射解析。
• 上积映射 Ext•P(I(r)₁, Spr−j(j)₀)⊗d → Ext•P(Γd(r)₁, Sdpr−j(j)₀) 及其外代数幂情形的类似映射，诱导出格向量空间的同构，其中对称与外代数幂作用于无限维空间。
• 与谱序列中微分 ∂ 相关的广义 Koszul 复形 Q(∂) 的上同调同构于 S(coker ∂) ⊗ Λ(ker ∂)，从而实现扩张群的归纳计算。
• 结合五引理与符号函子 Π 的共轭作用，谱序列论证确立了关键上积映射为同构，将经典结果推广至超函子范畴。