[论文解读] FI-modules and the cohomology of modular representations of symmetric groups

Rohit Nagpal|arXiv (Cornell University)|May 16, 2015

Algebraic structures and combinatorial models参考文献 38被引用 50

一句话总结

该论文证明了在特征为 $ p $ 的域上，有限生成的 FI-模的上同调群 $ H^t(\frak{S}_n, V_n) $ 关于 $ n $ 是最终周期性的，且周期恒为 $ p $ 的幂。该结果可推广至维度至少为 2 的紧致、定向流形 $ \mathcal{M} $ 的无序配置空间 $ \operatorname{conf}_n(\mathcal{M}) $ 的 mod-$ p $ 上同调，证明其具有 $ p $-幂周期性。

ABSTRACT

An FI-module $V$ over a commutative ring $\bf{k}$ encodes a sequence $(V_n)_{n \geq 0}$ of representations of the symmetric groups $(\mathfrak{S}_n)_{n \geq 0}$ over $\bf{k}$. In this paper, we show that for a "finitely generated" FI-module $V$ over a field of characteristic $p$, the cohomology groups $H^t(\mathfrak{S}_n, V_n)$ are eventually periodic in $n$. We describe a recursive way to calculate the period and the periodicity range and show that the period is always a power of $p$. As an application, we show that if $\mathcal{M}$ is a compact, connected, oriented manifold of dimension $\geq 2$ and $\mathit{conf}_n(\mathcal{M})$ is the configuration space of unordered $n$-tuples of distinct points in $\mathcal{M}$ then the mod-$p$ cohomology groups $H^{t}(\mathit{conf}_n(\mathcal{M}),\bf{k})$ are eventually periodic in $n$ with period a power of $p$.

研究动机与目标

• 建立在正特征域上，由有限生成 FI-模编码的对称群表示上同调的周期性。
• 通过 FI-模框架，将周期性结果从平凡表示推广至一致表示序列。
• 将周期性定理应用于维度 $ \geq 2 $ 的流形 $ \mathcal{M} $ 的无序配置空间 $ \operatorname{conf}_n(\mathcal{M}) $ 的 mod-$ p $ 上同调。
• 描述周期的递归结构及其与特征 $ p $ 的依赖关系。

提出的方法

• 利用诺特环上的 $ \sharp $-过滤 FI-模理论，分析正特征下有限生成 FI-模的结构。
• 引入“良好提升”构造，以保持周期性的方式提升扭曲循环并分析上同调不变量。
• 对与配置空间相关的 FI-模复形应用谱序列技术，表明上同调群以周期方式稳定。
• 采用有限生成 FI-模的归纳描述，其中 $ n \geq N $ 时的 $ V_n $ 由满足 $ j \leq N $ 的早期 $ V_j $ 决定，从而控制上同调行为。
• 利用同构关系 $ H^t(\frak{S}_n, V_n) \cong \operatorname{Hom}_{\frak{S}_n}(\mathcal{B}_y(\frak{S}_n), H^x(V^\bullet)_n) $，实现谱序列分析。
• 结合格罗滕迪克-莱夫谢茨不动点定理及 [CEF2] 中的结果，将 FI-模与代数簇上的点计数联系起来，支持该框架的广泛适用性。

实验结果

研究问题

• RQ1 在 $ \mathbb{F}_p $ 上的有限生成 FI-模 $ V $ 下，上同调 $ H^t(\frak{S}_n, V_n) $ 是否关于 $ n $ 表现出最终周期性？
• RQ2 该上同调的周期是否可递归计算，且是否恒为 $ p $ 的幂？
• RQ3 对于维度 $ \geq 2 $ 的紧致、定向流形 $ \mathcal{M} $，无序配置空间 $ \operatorname{conf}_n(\mathcal{M}) $ 的 mod-$ p $ 上同调是否表现出最终周期性，且周期为 $ p $-幂？
• RQ4 由 $ \mathbb{Z} $ 上的有限生成 $ \sharp $-过滤 FI-模给出的 $ \frak{S}_n $-表示的上同调是否最终周期？
• RQ5 对于正特征域 $ \mathbb{K} $ 上的有限生成 FI-模，Ext-群 $ \operatorname{Ext}_{\mathbb{K}[\frak{S}_n]}(V_n, W_n) $ 是否也表现出最终周期性？

主要发现

• 在特征 $ p $ 的域上，有限生成 FI-模 $ V $ 的上同调群 $ H^t(\frak{S}_n, V_n) $ 关于 $ n $ 是最终周期性的，且周期恒为 $ p $ 的幂。
• 通过良好提升构造和 $ \sharp $-过滤 FI-模的组合引理，可递归计算周期范围与周期。
• 对于维度 $ \geq 2 $ 的紧致、连通、定向流形 $ \mathcal{M} $，$ \operatorname{conf}_n(\mathcal{M}) $ 的 mod-$ p $ 上同调关于 $ n $ 是最终周期性的，周期为 $ p $ 的幂。
• 上同调群 $ H^t(\operatorname{conf}_n(\mathcal{M}), \mathbb{K}) $ 的维数最终是次数不超过 $ 2t $ 的多项式，谱序列分析给出 $ \vec{M}^t_\infty $ 的最大平移量上界为 $ (t+3)(2t+2) $。
• 结果不适用于整数系数：$ H^2(\operatorname{conf}_n(S^2), \mathbb{Z}) $ 不是最终周期性的，表明正特征的必要性。
• 本文提出一个猜想：对于 $ \operatorname{FI}_d $-模，$ \dim H^t(\frak{S}_n, V_n) $ 是次数不超过 $ d-1 $ 的拟多项式，推广了周期性模式。