[论文解读] Stability and periodicity in the modular representation theory of symmetric groups

Nate Harman|arXiv (Cornell University)|Sep 21, 2015

Advanced Algebra and Geometry参考文献 5被引用 12

一句话总结

本文建立了对称群 $S_n$ 和 $S_m$ 的模表示的阿贝尔子范畴之间的范畴等价关系，适用于不同的 $n$ 和 $m$，揭示了在正特征下周期性和稳定化现象。主要贡献是构建了一个将这些等价关系与 $FI$-模的结构性结果相联系的框架，并通过 $p$-进插值和张量范畴构造，证明了 Deligne 在正特征下关于预 Tannakian 范畴的猜想。

ABSTRACT

We study asymptotic properties of the modular representation theory of symmetric groups and investigate modular analogs of stabilization phenomena in characteristic zero. The main results are equivalences of categories between certain abelian subcategories of representations of $S_n$ and $S_m$ for different $n$ and $m$. We apply these results to obtain a structural result for $FI$-modules, and to prove a result conjectured by Deligne in a recent letter to Ostrik.

研究动机与目标

• 发展对称群模表示理论中稳定化与周期性的类型 1 理论，类比于 Deligne 在 $\underline{\text{Rep}}(S_t)$ 中的特征零插值。
• 解决正特征下与特征零相比缺乏描述性范畴结构的问题，后者中此类现象已有充分理解。
• 证明 Deligne 关于从 $\mathbb{F}_p$ 上 $S_n$ 表示构造的预 Tannakian 范畴唯一性的猜想，使用超滤子。
• 通过利用正特征下的范畴等价关系，建立 $FI$-模的结构性结果。
• 为将插值与稳定化技术推广到其他群族（如 $GL(n)$、$O(n)$ 和 $Sp(2n)$）在正特征下的情形提供基础。

提出的方法

• 通过 $p$-进整数环 $\mathcal{R}$ 构造一个 $p$-进插值范畴 $\text{Rep}_{\mathcal{R}}(S_x)$，其中 $x$ 为 $p$-进整数。
• 为特征 $p$ 的域 $k$ 定义一个约化映射 $\text{ev}_t: \mathcal{R} \to k$，从而得到范畴 $\underline{\text{Rep}}_k(S_t)$，即约化范畴的 Karoubian 包。
• 使用稳定表和稳定同态定义 $\underline{\text{Rep}}_k(S_t)$ 上的张量范畴结构，其复合与张量规则源自置换模理论的调整。
• 建立子范畴 $\underline{\text{Rep}}_k(S_t)^{\leq r}$ 与 $S_n$ 表示范畴之间的等价关系，其中 $n$ 足够大且满足 $n \equiv t \pmod{p^\ell}$，确保周期性。
• 通过证明 $H^i(S_n, V_n)$ 的上同调群在 $n$ 上具有 $p$ 的幂为周期的周期性，将理论应用于 $FI$-模，推广了 Nagpal 的结果。
• 使用 Deligne 的超滤子构造，将插值范畴嵌入阿贝尔张量范畴中，从而在正特征下研究预 Tannakian 结构成为可能。

实验结果

研究问题

• RQ1 是否能通过正特征下的范畴等价关系形式化对称群模表示理论中的稳定化与周期性现象，类比于 Deligne 在特征零下的插值？
• RQ2 通过 $p$-进插值构造的范畴 $\underline{\text{Rep}}_k(S_t)$ 是否展现出与 Deligne 的 $\underline{\text{Rep}}(S_t)$ 相同的结构性质，特别是普遍性质与张量结构？
• RQ3 由 $\mathbb{F}_p$ 上 $S_n$ 表示构造的预 Tannakian 范畴是否对每个 $p$-进整数 $t$ 唯一（在等价意义下），正如 Deligne 所猜想？
• RQ4 是否能利用这些周期性范畴等价关系，对 $FI$-模理论进行精炼，以在正特征下获得更强的结构性定理？
• RQ5 Knop 的基于次数的插值框架是否可被调整以适用于正特征，从而恢复范畴 $\underline{\text{Rep}}_k(S_t)^{\leq r}$？

主要发现

• 本文建立了 $\underline{\text{Rep}}_k(S_t)^{\leq r}$ 与所有足够大的 $n$ 满足 $n \equiv t \pmod{p^\ell}$ 的 $S_n$ 表示范畴之间的范畴等价关系，其中 $\ell$ 是 $r$ 的 $p$-进数字个数，证明了以 $p$ 的幂为周期的 $n$ 上的周期性。
• 证明了对有限生成 $FI$-模 $V_n$，上同调群 $H^i(S_n, V_n)$ 在 $n$ 上具有 $p$ 的幂为周期的周期性，证实了 Nagpal 的一个猜想。
• 通过约化 $\text{Rep}_{\mathcal{R}}(S_x)$ 并取 Karoubian 包构造 $\underline{\text{Rep}}_k(S_t)$，得到一个在正特征下明确定义的预 Tannakian 范畴，支持了 Deligne 关于其唯一性（在等价意义下）的猜想。
• $\underline{\text{Rep}}_k(S_t)^{\leq r}$ 被证明与满足 $n \equiv t \pmod{p^\ell}$ 的大 $n$ 的 $S_n$ 表示范畴等价，展示了在对称群之间跨稳定周期结构的存在。
• 该理论为将插值与稳定化技术推广到 $GL(n)$、$O(n)$ 和 $Sp(2n)$ 等其他经典群族在正特征下的情形提供了框架，通过类似构造实现。
• 本文识别出一条潜在路径，可将 Knop 的基于次数的插值方法改进以适用于正特征，提示修改后的次数映射可能恢复范畴 $\underline{\text{Rep}}_k(S_t)^{\leq r}$。